Cluster tilting modules and noncommutative projective schemes

In this paper, we study the relationship between equivalences of noncommutative projective schemes and cluster tilting modules. In particular, we prove the following result. Let $A$ be an AS-Gorenstein algebra of dimension $d\geq 2$ and ${\mathsf{tails}\,} A$ the noncommutative projective scheme associated to $A$. If $\operatorname{gldim}({\mathsf{tails}\,} A)< \infty$ and $A$ has a $(d-1)$-cluster tilting module $X$ satisfying that its graded endomorphism algebra is $\mathbb N$-graded, then the graded endomorphism algebra $B$ of a basic $(d-1)$-cluster tilting submodule of $X$ is a two-sided noetherian $\mathbb N$-graded AS-regular algebra over $B_0$ of global dimension $d$ such that ${\mathsf{tails}\,} B$ is equivalent to ${\mathsf{tails}\,} A$.Comment: 16 page

Auslander's Theorem for permutation actions on noncommutative algebras

When $A = \mathbb{k}[x_1, \ldots, x_n]$ and $G$ is a small subgroup of $\operatorname{GL}_n(\mathbb{k})$, Auslander's Theorem says that the skew group algebra $A \# G$ is isomorphic to $\operatorname{End}_{A^G}(A)$ as graded algebras. We prove a generalization of Auslander's Theorem for permutation actions on $(-1)$-skew polynomial rings, $(-1)$-quantum Weyl algebras, three-dimensional Sklyanin algebras, and a certain graded down-up algebra. We also show that certain fixed rings $A^G$ are graded isolated singularities in the sense of Ueyama

Ample Group Action on AS-regular Algebras and Noncommutative Graded Isolated 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(\operatorname{tails} S^G)\cong {\mathcal D}^b(\operatorname{mod} kQ_{S, G})$ when $S$ is of dimension 2.Comment: 25 page

Stable Categories of Graded Maximal Cohen-Macaulay Modules over Noncommutative Quotient Singularities

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 graded maximal Cohen-Macaulay modules has a tilting object. In particular, the category ${\underline {\operatorname {CM}}}^{\Bbb Z}(S^G)$ is triangle equivalent to the derived category of a finite dimensional algebra.Comment: 28 pages, an error in the previous version has been correcte

Local cohomology associated to the radical of a group action on a noetherian algebra

An arbitrary group action on an algebra $R$ results in an ideal $\mathfrak{r}$ of $R$. This ideal $\mathfrak{r}$ fits into the classical radical theory, and will be called the radical of the group action. If $R$ is a noetherian algebra with finite GK-dimension and $G$ is a finite group, then the difference between the GK-dimensionsof $R$ and that of $R/\mathfrak{r}$ is called the pertinency of the group action. We provide some methods to find elements of the radical, which helps to calculate the pertinency of some special group actions. The $\mathfrak{r}$-adic local cohomology of $R$ is related to the singularities of the invariant subalgebra $R^G$. We establish an equivalence between the quotient category of the invariant $R^G$ and that of the skew group ring $R*G$ through the torsion theory associated to the radical $\mathfrak{r}$. With the help of the equivalence, we show that the invariant subalgebra $R^G$ will inherit certain Cohen-Macaulay property from $R$.Comment: 26 page

Pertinency of Hopf actions and quotient categories of Cohen-Macaulay algebras

We study invariants and quotient categories of fixed subrings of Artin-Schelter regular algebras under Hopf algebra actions.Comment: to appear at JNC