Some invariant subalgebras are graded isolated singularities (Q2153799)

Let \(G \subset \mathrm{GL}_n(\mathbb{C})\) be a finite group acting naturally on \(V:=\mathbb{C}^n\). It is well-known that \(V/G:=\mathrm{Spec}(\mathbb{C}[V]^G)\) has isolated singularities if and only if \(G\) acts freely on \(V\backslash\{0\}\). This definition does not generalize immediately to the noncommutative setting, but there is a suitable generalization due to \textit{K. Ueyama} [J. Algebra 383, 85--103 (2013; Zbl 1314.16016)]. A noetherian connected \(\mathbb{N}\)-graded algebra is a \emph{graded isolated singularity} if \(\mathrm{tails} B\) has finite global dimension. However, in the setting of Artin-Schelter regular algebras there is an alternative characterization that is more amenable to computation. Let \(R\) be a noetherian Artin-Schelter regular algebra and let \(G\) be a finite subgroup of graded automorphisms of \(R\). The \emph{pertinency} of \(R\), as defined by \textit{Y. Bao} et al. [J. Noncommut. Geom. 13, No. 2, 667--710 (2019; Zbl 1422.16004)], is \[ \mathfrak{p}(R,G) = \mathrm{GKdim}(R)-\mathrm{GKdim}(R\#G/(e_0)) \] where \(e_0 = \sum_{g \in G} 1\# g \in R\#G\). Then \(R^G\) is a graded isolated singularity if and only if \(\mathfrak{p}(R,G)=\mathrm{GKdim}(R)\) [\textit{I. Mori} and \textit{K. Ueyama}, Trans. Am. Math. Soc. 368, No. 10, 7359--7383 (2016; Zbl 1378.16020)]. In [Proc. Am. Math. Soc. 147, No. 5, 1881--1896 (2019; Zbl 1470.16021)], the reviewer et al. found a handful of examples of groups acting on the \((-1)\)-skew polynomial ring \(A=\mathbb{C}_{-1}[x_1,\dots,x_n]\) so that \(A^G\) is a graded isolated singularity. \textit{K. Chan} et al. [Trans. Am. Math. Soc. 373, No. 6, 4319--4358 (2020; Zbl 1460.14078)] found further examples in their study of the cyclic group \(C_n\) acting on \(A\). They conjectured that \(A^{C_n}\) is a graded isolated singularity if and only if \(n\) is not divisible by 3 or 5. The present paper resolves this conjecture. The author rewrites \(A\#C_n\) as in the Chan-Young-Zhang paper. What follows is a clever inductive argument and a close analysis of the elements in the skew group ring.