REVIEW 1 major objections 3 minor 19 references
Actions of Small Groups on Two-Dimensional Artin-Schelter Regular Algebras
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For every small group of graded symmetries of a two-dimensional quantum or Jordan plane, the Auslander map is an isomorphism.
desk verdict Solid invariant theory for the degree-one-generated case, but the main theorem overclaims: the classification omits weighted 2D AS regular algebras, so Theorem 1.3 is unproven for an infinite family. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by three objects. First, the Auslander map $\varphi(ag)(b)=a(g\cdot b)$ from the skew group algebra $A\#G$ to the endomorphism ring $\mathrm{End}_{A^G}(A)$, whose isomorphism is the goal. Second, the trace $\mathrm{Tr}_A(g)$ of a graded automorphism, used to define quasi-reflections, in dimension $2$ meaning $\mathrm{Tr}_A(g)=\frac{1}{(1-t)(1-\lambda t)}$ with $\lambda\neq 1$, and to compute Hilbert series of invariant rings by averaging traces. Third, the criterion from the literature that the Auslander map is an isomorphism for AS regular, GK-Cohen-Macaulay algebras with $\mathrm{GKdim}\,A \geq 2$ exactly when $\mathrm{GKdim}\big((A\#G)/\langle \sum_{g\in G} g\rangle\big) \leq \mathrm{GKdim}\,A - 2$; since $\mathrm{GKdim}\,A=2$, the proof reduces to showing the quotient is finite dimensional.
What would settle it
For a candidate pair $(A,G)$, compute the growth dimension of the quotient $(A\#G)/\langle \sum_{g\in G} g\rangle$; the criterion used in the paper makes the Auslander map an isomorphism exactly when this dimension is at most $0$, so any small action for which this quotient has growth dimension $1$ would disprove the theorem. The most likely place to look is a two-dimensional AS regular algebra not generated in degree one, since the classification of pairs assumes but does not prove that the degree-one list is complete.
Extended reading notes
Core claim
The central claim is Theorem 1.3: for any two-dimensional AS regular algebra $A$ and any small subgroup $G$ of $\mathrm{Aut}_{\mathrm{gr}}(A)$, the graded map $\varphi: A \# G \to \mathrm{End}_{A^G}(A)$ defined by $\varphi(ag)(b) = a(g\cdot b)$ is an isomorphism. The proof rests on a classification, Theorem 3.13: up to conjugation, every noncommutative pair $(A,G)$ is either a diagonal cyclic group $\frac{1}{n}(1,a)$ acting on the quantum plane $\Bbbk_q[u,v]$ with $\gcd(a,n)=1$, a group $G_{n,k}$ acting on the $(-1)$-quantum plane $\Bbbk_{-1}[u,v]$ with $\gcd(n,k)=1$ and $k \not\equiv 2 \bmod 4$, or the scalar cyclic group $\frac{1}{n}(1,1)$ acting on the Jordan plane $\Bbbk_J[u,v]$. For each family the paper verifies the criterion that $(A \# G)/\langle \sum_{g\in G} g \rangle$ has growth dimension at most $0$, which forces the Auslander map to be an isomorphism.
Load-bearing premise
The classification of all possible small actions assumes that every two-dimensional AS regular algebra is generated in degree one and therefore is one of the two known algebras, the quantum plane or the Jordan plane, but the paper states this only for algebras generated in degree one and does not prove or cite completeness of the list for all such algebras.
Editorial extensions
If this is right
- Every pair in Theorem 3.13 has an isomorphic Auslander map, so the corresponding invariant rings have the graded-isolated-singularity property and satisfy the module bijections of Theorem 4.9 linking simple $kG$-modules, indecomposable summands of $A$ over $A^G$, and maximal Cohen-Macaulay $A^G$-modules.
- For diagonal actions on $\Bbbk_q[u,v]$, the invariant ring has an explicit presentation as a $q$-deformed version of the commutative quotient-singularity presentation, and it is a factor of a quantum polynomial ring.
- For scalar actions on the Jordan plane, the invariant ring is generated by $n+1$ elements and is a factor of an AS regular algebra of dimension $n+1$, with relations obtained from binomial-coefficient identities.
- For the nondiagonal actions on $\Bbbk_{-1}[u,v]$, the invariant ring is commutative exactly when $n$ or $k$ is even, and in that case it is a cyclic quotient singularity or a type D surface quotient singularity; when $n$ and $k$ are both odd, explicit generators are written down using a continued fraction expansion of $n/\frac{1}{2}(n+k)$.
- Smallness is sufficient in dimension two even when the homological determinant, the noncommutative analogue of the usual determinant, is nontrivial, extending the previously known trivial-determinant case.
Reading between the lines
- If the suspected converse also holds, dimension two would be an exact noncommutative analogue of the commutative theorem: the Auslander map is an isomorphism if and only if the acting group is small, and the classification in Theorem 3.13 would double as a classification of all pairs with an isomorphism.
- The continued-fraction description of generators for noncommutative $\Bbbk_{-1}[u,v]^{G_{n,k}}$ suggests that, for all coprime odd $n$ and $k$, these invariant rings are factors of AS regular algebras obtained by adjoining a central element; the fully worked $(n,k)=(7,3)$ example provides a template for such a proof.
- The module bijections of Theorem 4.9 could seed a noncommutative Auslander-Reiten theory for these invariant rings, with the continued-fraction data playing a role similar to the dual graphs that encode commutative surface quotient singularities.
- Because the commutative invariant rings in case (ii) realize every type D quotient singularity, properties visible in the explicit noncommutative presentations might transfer information back to the classical singularity theory, and vice versa.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a noncommutative analogue of Auslander's theorem for two-dimensional Artin–Schelter regular algebras: for a small finite subgroup G of graded automorphisms of such an algebra A, the natural map φ: A#G → End_{A^G}(A) is an isomorphism. The proof proceeds by classifying, up to conjugation, all small subgroups of Aut_gr(A) when A is a quantum plane or the Jordan plane (Theorem 3.13), and then verifying the Chan–Kirkman–Walton–Zhang criterion that (A#G)/⟨g⟩ is finite dimensional (Theorems 4.3 and 4.8). The paper also gives presentations for many of the resulting invariant rings and identifies commutative ones with quotient surface singularities.
Significance. If the main theorem is established in the stated generality, this is a valuable extension of both Auslander's classical theorem and the Hopf-action results of Chan–Kirkman–Walton–Zhang in dimension 2. The paper is carefully written and contains many explicit, detailed computations, including a classification of small group actions on the quantum and Jordan planes, and substantial information about the invariant rings, including realizations as factors of AS regular algebras. The main obstruction to accepting the paper in its current form is that the classification step is not complete under the paper's own Definition 2.1, so the central theorem is not proved for all claimed cases.
major comments (1)
- [Section 2.3 and Section 3, opening; Theorems 1.3, 1.4, 3.13] The reduction to A being either the quantum plane k_q[u,v] or the Jordan plane k_J[u,v] is made without justification and is false under Definition 2.1, which does not require generation in degree one. For example, A = k[x,y] with deg x = 1 and deg y = 2 is connected graded and has Hilbert series 1/((1-t)(1-t^2)); the resolution 0 → A(-3) → A(-1)⊕A(-2) → A → k → 0 shows that it has global dimension 2 and is AS regular of dimension 2, and it is not graded-isomorphic to k[u,v] with the standard grading. The same holds for the weighted quantum plane k⟨x,y⟩/(yx - qxy) with deg x = 1, deg y = 2. On such an A, the action of G = ⟨diag(-1,-1)⟩ has graded trace Tr_A(g) = 1/((1+t)(1+t^2)), which is regular at t = 1; by Definition 2.2 this element is not a quasi-reflection, so G is small. This pair is not in the list of Theorem 3.13. Since Theorem 1.4 and the proof of Theorem 1.3 are predicated on the exhaustiveness of that list, the main theorem is unproven for an infinite family of 2D AS regular algebras. The authors should either explicitly restrict the main theorem to algebras generated in degree one or extend the classification to all 2D AS regular algebras; the present statement is not supported.
minor comments (3)
- [Theorem 4.8 proof] In the paragraph after Lemma 4.5, the text says that multiplying (u^{2(ℓ+r)} - v^{2(ℓ+r)})G_ℓ on the left by (u^{2(ℓ+r)} + v^{2(ℓ+r)}) shows that (u^{4(ℓ+r)} - v^{4(ℓ+r)}) ∈ ⟨g⟩. As written, the factor G_ℓ is dropped. The correct conclusion is (u^{4(ℓ+r)} - v^{4(ℓ+r)})G_ℓ ∈ ⟨g⟩, which is sufficient because summing over ℓ and applying Lemma 4.4(3) then removes G_ℓ. This should be corrected.
- [Section 2.3; Section 3 opening] The phrase "i.e. A is either a quantum plane or the Jordan plane" in the first paragraph of Section 3 overstates what was shown in Section 2.3, where the classification is explicitly only for algebras generated in degree one. The paper should state clearly wherever this generation hypothesis is being used, and adjust the statements of Theorems 1.3 and 1.4 accordingly.
- [Abstract and Section 1] There are minor typographical issues, such as "A uslander" in the abstract and "of of" in Section 2.2.1; these are easily fixed.
Circularity Check
No significant circularity: the main theorem is verified by explicit finite-dimensionality computations against an external criterion, with no fitted inputs or self-referential normalization.
full rationale
The paper's central claim, Theorem 1.3, is established by reducing to the classification of small group actions (Theorem 3.13) and then verifying the external criterion of Chan–Kirkman–Walton–Zhang (Theorem 1.2 / 4.1) case by case. The criterion is quoted from independent prior work and is not derived from, or equivalent to, the paper's own conclusions. The finite-dimensionality proofs in Section 4 are explicit: for diagonal groups, Theorem 4.3 constructs elements u^(n-1) and v^(n-1) inside the ideal <g> using root-of-unity identities; for nondiagonal groups, Theorem 4.8 constructs u^s - v^s and u^s v^s in <g> via lemmas 4.4, 4.5, and 4.7, ultimately showing that (A#G)/<g> is finite dimensional. These are genuine computations, not renamings of inputs or fits. The invariant-ring presentations in Sections 5–8 are also derived from explicit basis and Groebner-basis arguments, not from assuming the desired isomorphism. The classification in Theorem 3.13 relies on a stated structural fact about two-dimensional AS regular algebras generated in degree one; whether that structural fact is fully justified for all 2D AS regular algebras is a completeness concern, not a circularity, because the paper does not define that fact in terms of the Auslander map or otherwise assume the conclusion. No parameters are fitted to data, no prediction is statistically forced, and the paper does not invoke a uniqueness theorem from its own prior work to exclude alternatives. Any gap in exhaustiveness of the 2D AS regular classification affects correctness, not circularity.
Assumptions & free parameters
assumptions (5)
- standard math The base field k is algebraically closed of characteristic zero.
- domain assumption Every two-dimensional connected graded AS regular algebra is generated in degree one and is isomorphic to k_q[u,v] or k_J[u,v].
- standard math The criterion of [2, Theorem 0.3], restated as Theorem 4.1, correctly characterizes when the Auslander map is an isomorphism.
- standard math For any finite group action there is a small subgroup with the same invariant ring, per Lemma 2.5 from [14, Proposition 1.5(a)].
- standard math Riemenschneider's presentation of invariants of small subgroups of GL(2,k) is correct.
Cite this review
Pith. "Pith review of Actions of Small Groups on Two-Dimensional Artin-Schelter Regular Algebras." pith.science (2026). https://pith.science/paper/54VBPNMV
@misc{pith2026190804898,
author = {Pith},
title = {Pith review of: Actions of Small Groups on Two-Dimensional Artin-Schelter Regular Algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/54VBPNMV}},
note = {Machine review of arXiv:1908.04898}
}
abstract
In commutative invariant theory, a classical result due to Auslander says that if $R = \Bbbk[x_1, \dots, x_n]$ and $G$ is a finite subgroup of $\text{Aut}_{\text{gr}}(R) \cong \text{GL}(n,\Bbbk)$ which contains no reflections, then there is a natural graded isomorphism $R \hspace{1pt} \# \hspace{1pt} G \cong \text{End}_{R^G}(R)$. In this paper, we show that a version of Auslander's Theorem holds if we replace $R$ by an Artin-Schelter regular algebra $A$ of global dimension 2, and $G$ by a finite subgroup of $\text{Aut}_{\text{gr}}(A)$ which contains no quasi-reflections. This extends work of Chan-Kirkman-Walton-Zhang. As part of the proof, we classify all such pairs $(A,G)$, up to conjugation of $G$ by an element of $\text{Aut}_{\text{gr}}(A)$. In all but one case, we also write down explicit presentations for the invariant rings $A^G$, and show that they are isomorphic to factors of AS regular algebras.
Reference graph
Works this paper leans on
- [1]
-
[2]
, Pertinency of Hopf actions and quotient categories of Cohen -Macaulay algebras , Journal of Non- commutative Geometry 13 (2019), no. 2, 667–710
work page 2019
-
[3]
K. Behnke and O. Riemenschneider, Quotient surface singularities and their deformations , Singularity theory (1995), 1–54
work page 1995
-
[4]
Brieskorn, Rationale singularit¨ aten komplexer fl¨ achen, Inventiones mathematicae 4 (1968), no
E. Brieskorn, Rationale singularit¨ aten komplexer fl¨ achen, Inventiones mathematicae 4 (1968), no. 5, 336–358
work page 1968
-
[5]
K. Chan, E. Kirkman, C. W alton, and J. J. Zhang, Quantum binary polyhedral groups and their actions on quantum planes , Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 2016 (2016), no. 719, 211–252
work page 2016
-
[6]
, McKay correspondence for semisimple Hopf actions on regula r graded algebras, I , Journal of Algebra 508 (2018), 512–538
work page 2018
- [7]
-
[8]
A. Chirvasitu, R. Kanda, and S. P. Smith, New Artin-Schelter regular and Calabi-Yau algebras via nor mal extensions, Transactions of the American Mathematical Society 372 (2019), no. 6, 3947–3983
work page 2019
Show all 19 references
-
[9]
Gaddis, E
J. Gaddis, E. Kirkman, W. Moore, and R. W on, Auslander’s Theorem for permutation actions on noncom- mutative algebras , Proceedings of the American Mathematical Society 147 (2019), no. 5, 1881–1896
2019
-
[10]
N. K. Iyudu, Representation spaces of the Jordan plane , Communications in Algebra 42 (2014), no. 8, 3507– 3540
2014
-
[11]
Jing and J
N. Jing and J. J. Zhang, On the trace of graded automorphisms , Journal of Algebra 189 (1997), no. 2, 353–376
1997
-
[12]
Jørgensen and J
P. Jørgensen and J. J. Zhang, Gourmet’s guide to Gorensteinness , Advances in Mathematics 151 (2000), no. 2, 313–345
2000
-
[13]
Kirkman, J
E. Kirkman, J. Kuzmanovich, and J. J. Zhang, Gorenstein subrings of invariants under Hopf algebra actio ns, Journal of Algebra 322 (2009), no. 10, 3640–3669
2009
-
[14]
2, 127–158
, Shephard–Todd–Chevalley theorem for skew polynomial ring s, Algebras and representation theory 13 (2010), no. 2, 127–158
2010
-
[15]
1, 113–165
, Invariant theory of finite group actions on down-up algebras , Transformation Groups 20 (2015), no. 1, 113–165
2015
-
[16]
Lecoutre and S
C. Lecoutre and S. J. Sierra, A new family of Poisson algebras and their deformations , Nagoya Mathematical Journal 233 (2019), 32–86
2019
-
[17]
Mori and K
I. Mori and K. Ueyama, Ample group action on AS-regular algebras and noncommutati ve graded isolated singularities, Transactions of the American Mathematical Society 368 (2016), no. 10, 7359–7383
2016
-
[18]
Riemenschneider, Die Invarianten der endlichen Untergruppen von GL(2,C) , Mathematische Zeitschrift 153 (1977), no
O. Riemenschneider, Die Invarianten der endlichen Untergruppen von GL(2,C) , Mathematische Zeitschrift 153 (1977), no. 1, 37–50
1977
-
[19]
Ueyama, Graded maximal Cohen–Macaulay modules over noncommutativ e graded Gorenstein isolated singularities, Journal of Algebra 383 (2013), 85–103
K. Ueyama, Graded maximal Cohen–Macaulay modules over noncommutativ e graded Gorenstein isolated singularities, Journal of Algebra 383 (2013), 85–103. Department of Pure Mathematics, University of W aterloo, 200 University A ve W, W aterloo, ON N2L 3G1, Canada E-mail address :...
2013
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.