No Arabic abstract
We introduce the notion of right pre-resolutions (quasi-resolutions) for noncommutative isolated singularities, which is a weaker version of quasi-resolutions introduced by Qin-Wang-Zhang. We prove that right quasi-resolutions for noetherian bounded below and locally finite graded algebra with right injective dimension 2 are always Morita equivalent. When we restrict to noncommutative quadric hypersurfaces, we prove that a noncommutative quadric hypersurface, which is a noncommutative isolated singularity, always admits a right pre-resolution. Besides, we provide a method to verify whether a noncommutative quadric hypersurface is an isolated singularity. An example of noncommutative quadric hypersurfaces with detailed computations of indecomposable maximal Cohen-Macaulay modules and right pre-resolutions is included as well.
Let $Gsubseteq GL(n)$ be a finite group without pseudo-reflections. We present an algorithm to compute and verify a candidate for the Cox ring of a resolution $Xrightarrow mathbb{C}^n/G$, which is based just on the geometry of the singularity $mathbb{C}^n/G$, without further knowledge of its resolutions. We explain the use of our implementation of the algorithms in Singular. As an application, we determine the Cox rings of resolutions $Xrightarrow mathbb{C}^3/G$ for all $Gsubseteq GL(3)$ with the aforementioned property and of order $|G|leq 12$. We also provide examples in dimension 4.
We prove $L_{infty}$-formality for the higher cyclic Hochschild complex $chH$ over free associative algebra or path algebra of a quiver. The $chH$ complex is introduced as an appropriate tool for the definition of pre-Calabi-Yau structure. We show that cohomologies of this complex are pure in case of free algebras (path algebras), concentrated in degree zero. It serves as a main ingredient for the formality proof. For any smooth algebra we choose a small qiso subcomplex in the higher cyclic Hochschild complex, which gives rise to a calculus of highly noncommutative monomials, we call them $xidelta$-monomials. The Lie structure on this subcomplex is combinatorially described in terms of $xidelta$-monomials. This subcomplex and a basis of $xidelta$-monomials in combination with arguments from Groebner bases theory serves for the cohomology calculations of the higher cyclic Hochschild complex. The language of $xidelta$-monomials in particular allows an interpretation of pre-Calabi-Yau structure as a noncommutative Poisson structure.
In this note, we correct an error in arXiv:1702.04949 by adding an additional assumption of join completeness. We demonstrate with examples why this assumption is necessary, and discuss how join completeness relates to other properties of a skew lattice.
These are significantly expanded lecture notes for the authors minicourse at MSRI in June 2012, as published in the MSRI lecture note series, with some minor additional corrections. In these notes, we give an example-motivated review of the deformation theory of associative algebras in terms of the Hochschild cochain complex as well as quantization of Poisson structures, and Kontsevichs formality theorem in the smooth setting. We then discuss quantization and deformation via Calabi-Yau algebras and potentials. Examples discussed include Weyl algebras, enveloping algebras of Lie algebras, symplectic reflection algebras, quasihomogeneous isolated hypersurface singularities (including du Val singularities), and Calabi-Yau algebras.
We construct comparison morphisms between two well-known projective resolutions of a monomial algebra $A$: the bar resolution and Bardzells resolution; the first one is used to define the cup product and the Lie bracket on the Hochschild cohomology $HH^*(A)$ and the second one has been shown to be an efficient tool for computations of these cohomology groups. The constructed comparison morphisms allow us to show that the cup product restricted to even degrees of the Hochschild cohomology has a very simple description. Moreover, for $A=k Q/I$ a monomial algebra such that $dim_k e_i A e_j = 1$ whenever there exists an arrow $alpha: i to j in Q_1$, we describe the Lie action of the Lie algebra $HH^1(A)$ on $HH^{ast}(A)$.