The question of whether a noncommutative graded quotient singularity $A^G$ is isolated depends on a subtle invariant of the $G$-action on $A$, called the pertinency. We prove a partial dichotomy theorem for isolatedness, which applies to a family of noncommutative quotient singularities arising from a graded cyclic action on the $(-1)$-skew polynomial ring. Our results generalize and extend some results of Bao, He and the third-named author and results of Gaddis, Kirkman, Moore and Won.
We establish a version of Knörrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and take $B=A/(f)$. Then there exists a bijection between the set of isomorphism classes of indecomposable non-free maximal Cohen-Macaulay modules over $B$ and those over (a noncommutative analog of) its second double branched cover $(B^\#)^\#$. Our results use and extend the study of twisted matrix factorizations, which was introduced by the first three authors with…
We present a faster method to determine all singularities of quiver moduli spaces up to smooth equivalence. We show that every quiver controls a large family of noncommutative compact manifolds.
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 n…
We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a calculus on Coext over Cotor. More precisely, the cyclic duals of the chain resp. cochain spaces computing the two classical derived functors lead to complexes that compute the more exotic ones, giving a cyclic opposite module over an operad with multiplication that induce operations such as a Lie derivative, a cap product (or contraction), and a (cyclic) differen…
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 $…
Tilting objects play a key role in the study of triangulated categories. A famous result due to Iyama and Takahashi asserts that the stable categories of graded maximal Cohen-Macaulay modules over quotient singularities have tilting objects. This paper proves a noncommutative generalization of Iyama and Takahashi's theorem using noncommutative algebraic geometry. Namely, if $S$ is a noetherian AS-regular Koszul algebra and $G$ is a finite group acting on $S$ such that $S^G$ is a "Gorenstein isolated singularity", then the stable category ${\underline {\operatorname {CM}}}^{\Bbb Z}(S^G)$ of gra…
Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by…
In this short note, by combining the work of Amiot-Iyama-Reiten and Thanhoffer de Volcsey-Van den Bergh on Cohen-Macaulay modules with the previous work of the author on orbit categories, we compute the (nonconnective) algebraic K-theory with coefficients of cyclic quotient singularities.
In this paper, we introduce a notion of ampleness of a group action $G$ on a right noetherian graded algebra $A$, and show that it is strongly related to the notion of $A^G$ to be a graded isolated singularity introduced by the second author of this paper. Moreover, if $S$ is a noetherian AS-regular algebra and $G$ is a finite ample group acting on $S$, then we will show that ${\mathcal D}^b(\operatorname{tails} S^G)\cong {\cal D}^b(\operatorname{mod} \nabla S*G)$ where $\nabla S$ is the Beilinson algebra of $S$. We will also explicitly calculate a quiver $Q_{S, G}$ such that ${\mathcal D}^b(\…
Recantly, William Crawley-Boevey proposed the definition of a Poisson structure on a noncommutative algebra $A$ based on the Kontsevich principle. His idea was to find the {\it weakest} possible structure on $A$ that induces standard (commutative) Poisson structures on all representation spaces $ \Rep_V(A) $. It turns out that such a weak Poisson structure on $A$ is a Lie algebra bracket on the 0-th cyclic homology $ \HC_0(A) $ satisfying some extra conditions; it was thus called in an {\it $ H_0$-Poisson structure}. This paper studies a higher homological extension of this construction. In ou…
Noncommutative surfaces finite over their centres can be realised as orders over surfaces. The aim of this paper is to present a noncommutative generalisation of rational singularities, which we call numerical rationality, for such orders. We show that numerical rationality is independent of the choice of resolution. Our main result is that the log terminal orders arising from the noncommutative minimal model program, in particular, canonical orders are numerically rational. Both of these generalise well known facts about rational singularities in commutative algebraic geometry.
This paper solves the rational noncommutative analog of Hilbert's 17th problem: if a noncommutative rational function is positive semidefinite on all tuples of hermitian matrices in its domain, then it is a sum of hermitian squares of noncommutative rational functions. This result is a generalization and culmination of earlier positivity certificates for noncommutative polynomials or rational functions without hermitian singularities. More generally, a rational Positivstellensatz for free spectrahedra is given: a noncommutative rational function is positive semidefinite or undefined at every m…
对于交换局部环$R$，考虑形式为$Λ= End_R(M)$的（非交换）$R$ -代数$Λ$，其中$M$是具有非零自由直和项的自反$R$ -模。这种有限整体维数的代数$Λ$可以被看作是$Spec R$奇点的分解的潜在替代物或类似物。例如，Van den Bergh证明了一个具有孤立终端奇点的三维Gorenstein正规$C$ -代数具有奇点的crepant分解当且仅当它有这样一个具有有限整体维数的代数$Λ$，并且它是$R$上的极大Cohen-Macaulay（一个“奇点的非交换crepant奇点的分解”）。我们在两种情况下产生具有有限整体维数的代数$Λ=End_R(M)$：当$R$是约化的一维完全局部环时，或当$R$是有限Cohen-Macaulay型的Cohen-Macaulay局部环时.如果在后一种情况下，$R$是Gorenstein，那么该构造给出了Van den Bergh意义下的奇点的非对易的crepant奇点的分解。
We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this conjecture for all cyclic quotient surface singularities, the Kleinian D_n and E_6 surface singularities, the conifold singularity, and a non-isolated singularity, using appropriate quiver algebras. This conjecture provides a possible new generalization of the classical McKay correspondence. Then, using symplectic reduction within these rings, we obtain new, n…
For a skew version of a graded $(A_\infty)$ hypersurface singularity $A$, we study the stable category of graded maximal Cohen-Macaulay modules over $A$. As a consequence, we see that $A$ has countably infinite Cohen-Macaulay representation type and is not a noncommutative graded isolated singularity.
In this paper we study endomorphism rings of finite global dimension over not necessarily normal commutative rings. These objects have recently attracted attention as noncommutative (crepant) resolutions, or NC(C)Rs, of singularities. We propose a notion of a NCCR over any commutative ring that appears weaker but subsumes all previous notions. Our results yield strong necessary and sufficient conditions for the existence of such objects in many cases of interest. We also give new examples of NCRs of curve singularities, regular local rings and normal crossing singularities. Moreover, we introd…
We present an algorithm that finds all toric noncommutative crepant resolutions of a given toric 3-dimensional Gorenstein singularity. The algorithm embeds the quivers of these algebras inside a real 3-dimensional torus such that the relations are homotopy relations. One can project these embedded quivers down to a 2-dimensional torus to obtain the corresponding dimer models. We discuss some examples and use the algorithm to show that all toric noncommutative crepant resolutions of a finite quotient of the conifold singularity can be obtained by mutating one basic dimer model. We also discuss …
