arxiv: 2604.21900 · v1 · submitted 2026-04-23 · 🧮 math.RA · math.AG

Recognition: unknown

Three-periodic helices on elliptic curves and their associated regular algebras

Adam Nyman, Daniel Chan

Pith reviewed 2026-05-08 12:53 UTC · model grok-4.3

classification 🧮 math.RA math.AG

keywords elliptic curveshelicesvector bundlesendomorphism algebrasnoncommutative symmetric algebrasMarkov triplesnoetherian algebraspolynomial growth

0 comments

The pith

Endomorphism algebras of three-periodic helices on elliptic curves are quotients of their noncommutative symmetric algebras by degree-three families of normal elements.

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

The paper examines three-periodic helices of vector bundles on a smooth elliptic curve over an algebraically closed field of characteristic zero. It proves that the endomorphism Z-algebra is the quotient of the noncommutative symmetric algebra by a family of normal elements of degree three, even when dimensions between consecutive bundles are not constant. The authors further show that this endomorphism algebra is noetherian if and only if it has polynomial growth. In the polynomial growth case the ranks of any three consecutive bundles form a Markov triple, and the noncommutative symmetric algebra is a noetherian GK-dimension three Z-algebra that is Proj-equivalent to an elliptic algebra. The work concludes with explicit constructions of new families of such helices that have exponential growth.

Core claim

Given a three-periodic elliptic helix underline{E} of vector bundles over a smooth elliptic curve X, End underline{E} is the quotient of S^{nc}(underline{E}) by a degree three family of normal elements. End underline{E} is noetherian if and only if it has polynomial growth, and in this case the ranks of any three consecutive bundles in the helix are a Markov triple. Furthermore, in this case S^{nc}(underline{E}) is a noetherian GK-three Z-algebra which is Proj-equivalent to an elliptic algebra.

What carries the argument

The three-periodic elliptic helix of vector bundles, whose endomorphism Z-algebra is realized as a quotient of the noncommutative symmetric algebra quadratic cover by a degree-three family of normal elements.

If this is right

End underline{E} is noetherian if and only if it has polynomial growth.
When End underline{E} is noetherian the ranks of any three consecutive bundles form a Markov triple.
S^{nc}(underline{E}) is then a noetherian GK-three Z-algebra that is Proj-equivalent to an elliptic algebra.
New families of elliptic helices with exponential growth exist and can be constructed explicitly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The link to Markov triples may allow classification of certain noetherian algebras arising from vector bundles on elliptic curves.
The exponential-growth examples suggest that polynomial growth, and hence the noetherian property, is exceptional rather than generic for these helices.
The quotient description by normal elements could extend to helices of different periods or to curves of higher genus.

Load-bearing premise

The vector bundles must form a three-periodic helix on a smooth elliptic curve over an algebraically closed field of characteristic zero.

What would settle it

An explicit three-periodic elliptic helix where the endomorphism algebra is not equal to the quotient of the noncommutative symmetric algebra by any degree-three family of normal elements, or where the algebra has polynomial growth but three consecutive bundle ranks fail to form a Markov triple.

read the original abstract

Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. Given a three-periodic elliptic helix $\underline{\mathcal{E}}$ of vector bundles over $X$ with endomorphism $\mathbb{Z}$-algebra $\operatorname{End} \underline{\mathcal{E}}$ and quadratic cover $\mathbb{S}^{nc}(\underline{\mathcal{E}})$, we prove that $\operatorname{End} \underline{\mathcal{E}}$ is the quotient of $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ by a degree three family of normal elements, generalizing a result of the authors to the case in which $\operatorname{dim }(\operatorname{End} \underline{\mathcal{E}})_{i, i+1}$ isn't a constant function of $i$. We then show that $\operatorname{End} \underline{\mathcal{E}}$ is noetherian if and only if it has polynomial growth, and in this case, the ranks of any three consecutive bundles in the helix are a Markov triple. Furthermore, in this case $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ is a noetherian GK-three $\mathbb{Z}$-algebra which is ${\sf Proj }$-equivalent to an elliptic algebra. We conclude the paper by constructing several new families of elliptic helices with exponential growth.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This generalizes the quotient result for helices to non-constant dimensions and links noetherianness to Markov triples with new exponential families.

read the letter

The main thing here is a generalization of the authors' own earlier result: the endomorphism algebra of the helix is the quotient of the noncommutative symmetric algebra by a degree-three family of normal elements, now without assuming constant dimension between consecutive terms. They follow this with the statement that the algebra is noetherian exactly when it has polynomial growth, and then the ranks of three consecutive bundles form a Markov triple. They close with several new families that have exponential growth. This is solid work within its niche. The variable-dimension case is handled cleanly, and the new families are explicit enough to be useful. The connection to Markov triples gives a concrete algebraic invariant that ties back to the geometry. Soft spots are limited. The paper is quite specialized, so its reach is narrow, but the claims appear consistent with the stated assumptions. No circularity or post-hoc fitting is evident. One would still want to verify the proofs in the full text, but the abstract and stress-test suggest they hold up. This is for people already working in noncommutative algebraic geometry, especially with elliptic curves and regular algebras. A specialist would get value from the new examples and the characterization. It deserves peer review. The results are precise and add to the literature without obvious flaws.

Referee Report

0 major / 2 minor

Summary. The paper claims to prove that for a three-periodic elliptic helix underline{E} on a smooth elliptic curve X over an algebraically closed field k of characteristic zero, the endomorphism Z-algebra End underline{E} is the quotient of the quadratic cover S^{nc}(underline{E}) by a degree three family of normal elements, generalizing the authors' previous result to the case where dim(End underline{E})_{i,i+1} is not necessarily constant. It further establishes that End underline{E} is noetherian if and only if it has polynomial growth, in which case the ranks of any three consecutive bundles form a Markov triple. In this case, S^{nc}(underline{E}) is a noetherian GK-three Z-algebra that is Proj-equivalent to an elliptic algebra. The paper concludes by constructing several new families of elliptic helices with exponential growth.

Significance. If the results hold, this work generalizes the structure theory for endomorphism algebras of elliptic helices to the non-constant dimension case, providing a noetherianity criterion linked to growth and a connection to Markov triples. The Proj-equivalence and construction of new exponential-growth examples expand the known landscape of regular algebras in this setting and may support further classification efforts.

minor comments (2)

The abstract asserts multiple theorems without any proof sketches or verification steps; adding a high-level outline of the key arguments (e.g., for the quotient statement and the noetherianity equivalence) in the introduction would improve accessibility while the full derivations appear in later sections.
Notation for the helix underline{E}, the endomorphism algebra, and the quadratic cover S^{nc} should be introduced with explicit definitions and dimension-function assumptions at the start of §1 or §2 to ensure the generalization to non-constant dim(End underline{E})_{i,i+1} is immediately clear.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, positive assessment of its significance, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

Minor self-citation for generalization statement; central derivations remain independent

full rationale

The paper generalizes a prior result of the same authors on the quotient description of End E by a degree-3 normal family, but this is explicitly framed as an extension to the non-constant dimension case rather than a load-bearing premise. The subsequent claims (noetherian iff polynomial growth, Markov triple ranks, and construction of new exponential-growth families) are presented as new derivations from the helix and algebra definitions, without reducing to fitted parameters, self-defined quantities, or unverified self-citations. The assumptions (three-periodic helix on smooth elliptic curve over alg-closed char-0 field) are standard and internally consistent. No step equates a prediction to its input by construction or imports uniqueness solely via author overlap.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions from algebraic geometry and noncommutative ring theory; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (2)

domain assumption k is an algebraically closed field of characteristic zero
Standard setup stated in the opening sentence for working with elliptic curves.
domain assumption X is a smooth elliptic curve over k
Core geometric object on which the helices are defined.

pith-pipeline@v0.9.0 · 5537 in / 1389 out tokens · 59273 ms · 2026-05-08T12:53:33.736957+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 1 canonical work pages

[1]

Aigner,Markov’s theorem and 100 years of the uniqueness conjecture, Springer, Cham, 2013

M. Aigner,Markov’s theorem and 100 years of the uniqueness conjecture, Springer, Cham, 2013

2013
[2]

Artin, Some problems on three-dimensional graded domains,Representation theory and algebraic geometry, 1-19, London Math

M. Artin, Some problems on three-dimensional graded domains,Representation theory and algebraic geometry, 1-19, London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, 1997

1997
[3]

Artin, J

M. Artin, J. Tate and M. Van den Bergh, Some algebras associated to automorphisms of elliptic curves,Progr. Math.,86, Birkhauser Boston, Inc., Boston, (1990), 35-85

1990
[4]

Artin and J

M. Artin and J. J. Zhang, Abstract Hilbert schemes,Algebr. Represent. Theory4(2001), 305-394

2001
[5]

Artin and J

M. Artin and J. J. Zhang, Noncommutative projective schemes,Adv. Math.109(1994), no. 2, 228-287

1994
[6]

Bondal, Helices, representations of quivers, and Koszul algebras,Helices and vector bun- dles, 75-95, London Math

A. Bondal, Helices, representations of quivers, and Koszul algebras,Helices and vector bun- dles, 75-95, London Math. Soc. Lecture Note Ser., 148, Cambridge Univ. Press, Cambridge, 1990

1990
[7]

Bondal and A

A. Bondal and A. Polishchuk, Homological properties of associative algebras: the method of helices,Izv. Ross. Akad. Nauk Ser. Mat.,57(1993), no. 2, 3-50

1993
[8]

J. W. S. Cassels,An introduction to Diophantine approximation, Cambridge Tracts in Math- ematics and Mathematical Physics, No. 45, Cambridge University Press, New York, 1957

1957
[9]

Chan and A

D. Chan and A. Nyman, Morphisms to noncommutative projective lines,Proc. Amer. Math. Soc.,149(2021), 2789-2803

2021
[10]

Chan and A

D. Chan and A. Nyman, Noncommutative linear systems and noncommutative elliptic curves, Trans. Amer. Math. Soc.377(2024), no. 3, 1957-1987

2024
[11]

Huybrechts,Fourier-Mukai transforms in algebraic geometry, Oxford Math

D. Huybrechts,Fourier-Mukai transforms in algebraic geometry, Oxford Math. Monogr., The Clarendon Press, Oxford University Press, Oxford, 2006

2006
[12]

A. L. Gorodentsev and A.N. Rudakov, Exceptional vector bundles on projective spaces,Duke Math J.54(1987), no. 1, 115-130

1987
[13]

S. A. Kuleshov, Construction of bundles on an elliptic curve,Helices and vector bundles, 7-22, London Math. Soc. Lecture Note Ser., 148, Cambridge Univ. Press, Cambridge, 1990

1990
[14]

Mori and A

I. Mori and A. Nyman, A categorical characterization of noncommutative projective Z-spaces, Appl. Categ. Structures33(2025), no. 2, Paper No. 14, 46 pp. THREE-PERIODIC HELICES ON ELLIPTIC CURVES 21

2025
[15]

Mori and A

I. Mori and A. Nyman, Local duality for connectedZ-algebras,J. Pure Appl. Algebra225 (2021), Paper No. 106676, 22 pp

2021
[16]

Polishchuk, Noncommutative proj and coherent algebras,Math

A. Polishchuk, Noncommutative proj and coherent algebras,Math. Res. Lett.,12(2005), no. 1, 63–74. [17]Abelian categories with applications to rings and modules, London Math. Soc. Monogr.,3, Academic Press, London-New York, (1973)

2005
[17]

Van den Bergh, Noncommutative quadrics,Int

M. Van den Bergh, Noncommutative quadrics,Int. Math. Res. Not., IMRN, (2011), no. 17, 3983-4026

2011
[18]

Van den Bergh, On an analogue of the Markov equation for exceptional collections of length 4

LT Volcsey and M. Van den Bergh, On an analogue of the Markov equation for exceptional collections of length 4. arXiv:1607.04246 [math.AG]

work page arXiv
[19]

Stephenson and James J.Zhang, Growth of graded Noetherian rings,Proc

Darin R. Stephenson and James J.Zhang, Growth of graded Noetherian rings,Proc. Amer. Math. Soc.,125(1997), no. 6, 1593-1605. University of New South W ales Email address:danielc@unsw.edu.au Western W ashington University Email address:adam.nyman@wwu.edu

1997