Dimension two twisted graded Calabi--Yau algebras on two-vertex quivers

Daryl Zazycki; Jason Gaddis

REVIEW 3 major objections 5 minor 8 references

Dimension two twisted graded Calabi--Yau algebras on two-vertex quivers

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper classifies all dimension-two twisted graded Calabi–Yau algebras on strongly connected two-vertex quivers, showing they fall into exactly four explicit families.

desk verdict The classification is plausible and the A_n/B_n isomorphism theorems are solid, but the proof of Lemma 3.3 has a load-bearing change-of-basis error that currently invalidates the completeness of Theorem B. read the letter →

arxiv 2508.01950 v2 pith:VP65I5FY submitted 2025-08-03 math.RA

Jason Gaddis , Daryl Zazycki This is my paper · ORCID

classification math.RA MSC 16E6516P9016S3816W50

keywords twistedgradedCalabi-Yaualgebrastwo-vertexquiverstranslationisomorphismproblempreprojectiveHilbertseriesGelfand-KirillovdimensionNakayamaautomorphism

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper solves the isomorphism problem for dimension-two twisted graded Calabi–Yau algebras that come from a strongly connected quiver with two vertices. It proves that every such algebra is isomorphic to one of four explicit algebras: two one-parameter families $A_2(q)$ and $B_2(q)$, and two exceptional algebras $J$ and $D(q)$. Within the parameterized families, the only coincidences are $A_2(q) \cong A_2(q^{-1})$ and $D(q) \cong D(q^{-1})$. The result gives a complete list of isomorphism classes for this class of noncommutative algebras, which are twisted relatives of preprojective algebras. A complete classification matters because these algebras are a testbed for the isomorphism problem in noncommutative algebra, and the list is short enough to be useful for checking further properties.

What carries the argument

The load-bearing object is the pair $(M,P)$: the adjacency matrix $M$ of the quiver and the permutation matrix $P$ coming from the Nakayama automorphism. A known structure theorem for dimension-two twisted graded Calabi–Yau algebras says the matrix-valued Hilbert series is $(I - Mt + Pt^2)^{-1}$, and that $M$, $M^T$, and $P$ pairwise commute; combined with finite Gelfand–Kirillov dimension this forces the spectral radius of $M$ to be 2. That fact plus commutativity leaves only the two adjacency matrices above. A second mechanism is the graded isomorphism theorem for quotients of path algebras by homogeneous ideals, which lets the authors replace arbitrary algebra isomorphisms by graded ones, so the classification can be carried out by linear changes of variables on the arrows.

What would settle it

A concrete test: search for a finite-Gelfand–Kirillov-dimension twisted graded Calabi–Yau algebra on a strongly connected two-vertex quiver whose adjacency matrix is not $\begin{pmatrix}0&2\\2&0\end{pmatrix}$ or $\begin{pmatrix}1&1\\1&1\end{pmatrix}$; the classification predicts none exists, so finding one refutes Lemma 3.2.

Watch

Extended reading notes

Core claim

The central claim, Theorem 3.27, is that the class is exactly $\{A_2(q), B_2(q), J, D(q)\}$. More precisely, if $A = A(Q,\tau)$ is a twisted graded Calabi–Yau algebra of dimension two with finite Gelfand–Kirillov dimension, $Q$ strongly connected, and $|Q_0|=2$, then $A$ is isomorphic to one of these algebras. The four families are pairwise non-isomorphic except $A_2(q)\cong A_2(q^{-1})$ and $D(q)\cong D(q^{-1})$. The proof first restricts the adjacency matrix of $Q$ to $\begin{pmatrix}0&2\\2&0\end{pmatrix}$ or $\begin{pmatrix}1&1\\1&1\end{pmatrix}$, then normalizes the twisting map $\tau$ by changes of basis, reducing the relations to the four displayed forms.

Load-bearing premise

The classification rests on the known theorem that every such algebra has Hilbert series $(I - Mt + Pt^2)^{-1}$ with $M$, $M^T$, and $P$ commuting; if that theorem carries hidden hypotheses about the Nakayama automorphism or the grading, the list of possible quivers could be incomplete.

Editorial extensions

If this is right

Every isomorphism class in the two-vertex setting is represented by one of four explicit presentations, so any invariant of these algebras can be checked on the finite list.
The isomorphism problem for the two-vertex algebras is completely settled: $A_2(q)$ and $D(q)$ have only the $q \leftrightarrow q^{-1}$ identification, $B_2(q)$ has no parameter identifications, and $J$ is a singleton.
For $n \geq 3$, Theorem A classifies the $A_n(q)$ and $B_n(q)$ families: $A_n(q)$ has dihedral symmetry, while $B_n(q)$ has only rotational symmetry.
The results confirm that these algebras are twisted versions of preprojective algebras of type $A$; setting all $q_i = 1$ recovers the ordinary preprojective algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The method suggests a general recipe for classifying twisted graded Calabi–Yau algebras on larger strongly connected quivers: first solve the spectral-radius and commutativity constraints on $(M,P)$, then normalize $\tau$ by eigenvector changes of basis; the hard part is likely the isomorphism step, where the exceptional families $J$ and $D(q)$ show that non-schurian quivers produce unexpected cas
The $q \leftrightarrow q^{-1}$ identification in $A_2(q)$ and $D(q)$ hints at an underlying orientation-reversal duality; testing whether these isomorphisms lift to derived equivalences or Morita equivalences would be a natural next step the paper does not address.
Because the theorem assumes finite Gelfand–Kirillov dimension, the paper leaves open the infinite-growth case on two-vertex quivers; exploring it might reveal additional families that degenerate to these four in the finite-growth limit.
The Hilbert-series criterion is algorithmic: given a quiver and $\tau$, one can compute $M$ and $P$ and check whether $\rho(M)=2$ and $M, M^T, P$ commute, giving a fast necessary condition for membership in the classified families.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The main classification of dimension-two twisted Calabi-Yau algebras on two-vertex quivers has a real gap in Lemma 3.3. As written, the completeness portion of Theorem B is not established. The isomorphism criteria for the A_n(q) and B_n(q) families are new and convincing, and the overall strategy is sound, but I wouldn't cite the classification until the gap is patched.

What's good: Theorem A gives clean criteria for isomorphisms of A_n(q) and B_n(q) using the graded isomorphism lemma of Bell-Zhang and Gaddis's adaptation; those proofs are straightforward and check out. The exceptional algebras J and D(q) are handled with concrete Hilbert series computations, and the paper is careful about the Nakayama automorphism. The reliance on Reyes-Rogalski's structural theorems is appropriate, not a weakness.

The soft spot: in Lemma 3.3, after ruling out P swapping, the paper picks eigenvectors v_i of αβ, sets u_i = β v_i, and claims τ(ã) = λ_i b̃ and τ(b̃) = ã. That's not what the matrix action gives. For a vector x in the (b,d) basis, τ(x) is β x in the (a,c) basis; for a vector y in the (a,c) basis, τ(y) is α y in the (b,d) basis. So with ã in the (b,d) basis with coordinates u_1 = β v_1, we have τ(ã) = β^2 v_1, and with b̃ in the (a,c) basis with coordinates v_1, τ(b̃) = α v_1. The identities would require β^2 v_1 = λ_1 v_1 and α v_1 = β v_1, which do not follow from αβ v_1 = λ_1 v_1. The stress-test note includes a concrete counterexample showing the construction fails. The reduction of an arbitrary τ to the normal form for A2(q) or D(q) is therefore not proven. This is load-bearing: the rest of Theorem B relies on it. The classification may still be true, but a corrected basis choice is needed—likely using eigenvectors of β α or the transposed pair, with the matching u_i = α v_i. There are also minor typos, such as a repeated bd term in the ω expression in Lemma 3.4 that should be db, and some Hilbert series counts in Lemma 2.4 are left to the reader.

Bottom line: this is a serious paper worth a referee, but I would not accept it in current form. The gap in Lemma 3.3 must be fixed. Once fixed, the classification is a useful contribution to the isomorphism problem for twisted Calabi-Yau algebras. For a reading group, it's worth a look as an application of the Reyes-Rogalski framework, but I'd wait for a corrected version before citing.

Referee Report

3 major / 5 minor

Summary. The paper classifies, up to isomorphism, twisted graded Calabi-Yau algebras of dimension two on strongly connected two-vertex quivers with finite GK dimension. Relying on the Reyes-Rogalski presentation of such algebras as quotients of translation quivers by mesh relations, the authors prove that every such algebra is isomorphic to one of four families: A2(q), B2(q), J, or D(q). They also solve the isomorphism problem within these families, establish pairwise non-isomorphism results, and prove analogous isomorphism criteria for the larger families A_n(q) and B_n(q). The main classification is stated as Theorem 3.27.

Significance. If the proof is correct, the result is a complete isomorphism classification for a natural class of twisted graded Calabi-Yau algebras on two-vertex quivers, complementing the known one-vertex case and the earlier structural theorems of Reyes and Rogalski. The paper also gives useful isomorphism criteria for the modified preprojective algebra families A_n and B_n. A notable strength is the systematic use of the graded isomorphism theorem of Bell-Zhang via Gaddis's path-algebra version, which reduces ungraded isomorphism questions to graded ones. However, two lemmas in the classification section contain algebraic errors or inconsistencies that are load-bearing for the completeness claim, so the main theorem is not proven as written.

major comments (3)

[Section 3, Lemma 3.3] The normal-form argument is algebraically incorrect. With τ(a)=α11 b+α12 d, τ(c)=α21 b+α22 d, τ(b)=β11 a+β12 c, τ(d)=β21 a+β22 c, the proof takes v1 to be an eigenvector of αβ and sets u1=β v1. The asserted identities τ(tilde a)=λ1 tilde b and τ(tilde b)=tilde a require β^T β v1=λ1 v1 and α^T v1=β v1, respectively, but the hypothesis αβ v1=λ1 v1 gives neither. For example, with α=[[2,1],[0,3]], β=I, and v1=e1, the construction gives tilde a=b and tilde b=a, while τ(tilde b)=τ(a)=2b+d, which is not tilde a. Consequently, the reduction of every algebra with M=[[0,2],[2,0]] and P=I to A2(q) or D(q) is not established, and the completeness part of Theorem 3.27 is not proven as written. A correct normal form should use eigenvectors of (αβ)^T and u_i=α^T v_i; the Jordan-block paragraph for D(q) requires the same correction.
[Section 3, Lemma 3.4] The displayed expression for ω in the case P=I2 is inconsistent with the stated arrow structure. For a quiver with adjacency matrix [[1,1],[1,1]] and P=I2, the condition τ(e_i V e_j)⊂e_j V e_i forces τ(b) to be a linear combination of arrows from e2 to e1, not a loop, and similarly for the other arrows. The text instead writes τ(a)=α1 a, τ(b)=α2 d, τ(c)=α3 b, τ(d)=α4 c and then ω=α1 a^2+α2 bd+α3 c^2+α4 bd, which does not match either the quiver (1.8) or the definition of J. Since Lemma 3.4 is the sole basis for the B2(q) and J cases of the classification, this lemma must be rewritten with a consistent labeling of arrows and a correct computation of ω before Theorem 3.27 can be accepted.
[Section 2, Lemma 2.4] The Hilbert series verification for J is only partially supplied: after describing the leading-term reductions and possible path forms, the proof states that 'the remainder are left to the reader.' Because the Calabi-Yau property of J is one of the four families in Theorem 3.27, the omitted path counts should be filled in or at least summarized explicitly; as written, the equality h_J(t)=(I-Mt+Pt^2)^{-1} is not fully verified.

minor comments (5)

[Section 3, Lemma 3.6] In the line following equation (3.7), 'ℓ_1b+ell2d' should read 'ℓ_1b+ℓ_2d'.
[Section 3, introductory paragraph] The sentence 'the direct some of two (connected) algebras' contains a typo: 'some' should be 'sum'.
[Section 3, Lemma 3.2 proof] The word 'autormorphism' should be 'automorphism'.
[Section 3, Proposition 3.14] In the sentence 'This p = q^{-1}, then the proof is complete', the word 'this' should be 'if'.
[Section 3, Lemma 3.4] The notation for arrows in the quiver (1.8) is ambiguous in the text-only rendering; a clearer diagram or explicit source/target lists for a,b,c,d would help the reader verify the computations in Lemma 3.4.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classification derives from external structural theorems and explicit basis changes, with parameters read off from the twisting map rather than fitted.

full rationale

No circularity found. The completeness part of Theorem 3.27 rests on the external Reyes–Rogalski characterization [8, Lemma 7.6 and Theorem 7.8], which supplies the Hilbert-series inverse formula, the commutativity of M, M^T, P, and the spectral-radius condition; these are used as black boxes, and the paper then solves the resulting enumeration of adjacency matrices and twisting maps. The parameters q in A2(q), B2(q), and D(q) are read off from the coefficients of the given twisting map τ, not fitted to the target isomorphism class, and the isomorphism claims are proved by explicit graded maps relying on [1] and [4]. The only self-citation is [4] (Gaddis), which is a published general theorem about isomorphisms of graded path algebras whose stated assumptions do not include the target classification; it is load-bearing but independent, so under the hard rules it does not raise the circularity score. The skeptic's concern about Lemma 3.3 is a separate algebraic-correctness issue: the asserted identities τ(ã)=λ1 b̃ and τ(b̃)=ã appear to require eigenvectors of β^Tβ rather than of αβ, so the proof as written has a gap. But this is not a circular reduction—it does not make the conclusion equivalent to the hypotheses by construction—so the circularity score remains 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on Reyes-Rogalski's characterization of dimension two twisted Calabi-Yau quiver algebras, on the Bell-Zhang/Gaddis graded isomorphism reduction, and on Diamond Lemma normal form counts. No free parameters are fitted and no new entities are postulated.

assumptions (5)

domain assumption Reyes-Rogalski characterization: A = A(Q, tau) is twisted Calabi-Yau of dimension two iff h_A(t) = (I - Mt + Pt^2)^{-1}, and M, M^T, and P pairwise commute.
Invoked in Section 2.3 and Lemmas 3.2-3.4 to identify possible quivers and to verify the Calabi-Yau property; accepted from [8] without proof.
domain assumption Bell-Zhang / Gaddis theorem: an ungraded isomorphism between path algebras modulo homogeneous ideals implies a graded isomorphism.
Theorem 2.6, cited from [4] (a prior paper of the first author), used to reduce all isomorphism questions to graded isomorphisms.
standard math Diamond Lemma normal form for path algebras with homogeneous relations.
Used in Lemmas 2.4 and 2.5 to count paths modulo relations and compute Hilbert series; cited from [2].
domain assumption The field k is algebraically closed of characteristic zero.
Stated at the start of Section 1; needed for eigenvector arguments in Lemma 3.3 and for the classification over k.
domain assumption Finite GK dimension and strong connectivity of the quiver.
Hypothesis 3.1 restricts the classification to finite GK dimension and strongly connected quivers, used in Lemma 3.2 to exclude degenerate adjacency matrices.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Dimension two twisted graded Calabi--Yau algebras on two-vertex quivers." pith.science (2026). https://pith.science/paper/VP65I5FY

@misc{pith2026250801950,
  author       = {Pith},
  title        = {Pith review of: Dimension two twisted graded Calabi--Yau algebras on two-vertex quivers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VP65I5FY}},
  note         = {Machine review of arXiv:2508.01950}
}

read the original abstract

We classify, up to isomorphism, twisted graded Calabi--Yau algebras of dimension two on two-vertex quivers. By work of Reyes and Rogalski, such algebras may be presented as quotients of translation quivers by mesh relations. We also consider the isomorphism problem for certain families of twisted graded Calabi--Yau algebras on larger quivers.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 7 canonical work pages

[1]

Bell and J

J. Bell and J. J. Zhang. An isomorphism lemma for graded rings. Proc. Amer. Math. Soc. , 145(3):989–994, 2017

work page 2017
[2]

G. M. Bergman. The diamond lemma for ring theory. Adv. in Math. , 29(2):178–218, 1978

work page 1978
[3]

Etingof and C.-H

P. Etingof and C.-H. Eu. Koszulity and the Hilbert series of preprojective algebras. Math. Res. Lett. , 14(4):589–596, 2007

work page 2007
[4]

J. Gaddis. Isomorphisms of graded path algebras. Proc. Amer. Math. Soc. , 149(4):1395–1403, 2021

work page 2021
[5]

Ginzburg

V. Ginzburg. Calabi-Yau algebras. arXiv preprint math/0612139 , page 79pp, 2006

arXiv 2006
[6]

M. Kleiner. The graded preprojective algebra of a quiver. Bull. London Math. Soc. , 36(1):13–22, 2004

work page 2004
[7]

Reyes, D

M. Reyes, D. Rogalski, and J. J. Zhang. Skew Calabi-Yau algebras and homological identities. Adv. Math. , 264:308–354, 2014

work page 2014
[8]

M. L. Reyes and D. Rogalski. Growth of graded twisted Calabi-Yau algebras. J. Algebra, 539:201–259, 2019. Department of Mathematics, Miami University, Oxford, Ohio 45056, USA Email address : gaddisj@miamioh.edu,zazyckdw@miamioh.edu 16

work page 2019

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

Bell and J

J. Bell and J. J. Zhang. An isomorphism lemma for graded rings. Proc. Amer. Math. Soc. , 145(3):989–994, 2017

work page 2017

[2] [2]

G. M. Bergman. The diamond lemma for ring theory. Adv. in Math. , 29(2):178–218, 1978

work page 1978

[3] [3]

Etingof and C.-H

P. Etingof and C.-H. Eu. Koszulity and the Hilbert series of preprojective algebras. Math. Res. Lett. , 14(4):589–596, 2007

work page 2007

[4] [4]

J. Gaddis. Isomorphisms of graded path algebras. Proc. Amer. Math. Soc. , 149(4):1395–1403, 2021

work page 2021

[5] [5]

Ginzburg

V. Ginzburg. Calabi-Yau algebras. arXiv preprint math/0612139 , page 79pp, 2006

arXiv 2006

[6] [6]

M. Kleiner. The graded preprojective algebra of a quiver. Bull. London Math. Soc. , 36(1):13–22, 2004

work page 2004

[7] [7]

Reyes, D

M. Reyes, D. Rogalski, and J. J. Zhang. Skew Calabi-Yau algebras and homological identities. Adv. Math. , 264:308–354, 2014

work page 2014

[8] [8]

M. L. Reyes and D. Rogalski. Growth of graded twisted Calabi-Yau algebras. J. Algebra, 539:201–259, 2019. Department of Mathematics, Miami University, Oxford, Ohio 45056, USA Email address : gaddisj@miamioh.edu,zazyckdw@miamioh.edu 16

work page 2019