REVIEW 5 minor 32 references
Notes on anomalies, elliptic curves and the BS-D conjecture
T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For triplet SU(2) fermions with compact U(1), anomaly-free rational hypercharges are finite only at N=3 and N=9.
desk verdict A correct and honest classification of rational hypercharges for a toy SU(N)xSU(2)xU(1) model, with the interesting twist that the answer depends on N and has special cases at N=3 and N=9; the central argument holds, modulo routine reliance on Cremona database ranks. 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 central object is the elliptic curve $E_N: Y^2 = X^3 - 3(8N^2+1)X + 16N^4+40N^2-2$, obtained from the anomaly equations by a linear change of variables. Rational points on $E_N$ are in bijection with rational hypercharge assignments. The curve carries a group law: the rational points form a finitely generated abelian group, equal to a finite torsion subgroup plus $\mathbb{Z}^r$, where $r$ is the rank. The argument uses the fact that if there are more rational points than the torsion subgroup can contain, the rank is positive. Families of integer points are given explicitly; for general N these force $r>0$, while for N=3 and N=9 the duplications reduce them exactly to the Z9 and Z12 torsion points. The L-function $L(E_N,s)$ is used to certify rank zero in those two cases.
What would settle it
Compute or survey rational points on the N=3 and N=9 curves: finding any rational point outside the listed Z9 or Z12 torsion points would disprove the finite classification, while confirming that the reported nonzero L-value at the central point holds to enough precision would support it.
Extended reading notes
Core claim
With left-handed quarks and leptons in the triplet of SU(2) and the color group SU(N), anomaly cancellation leaves a cubic equation in the hypercharges. Imposing compactness of U(1) makes the hypercharges rational, and after a linear change of variables the equation becomes the Weierstrass curve $Y^2 = X^3 - 3(8N^2+1)X + 16N^4+40N^2-2$. The paper shows that every rational point on this curve gives a rational hypercharge assignment, and conversely. The rational points form the finitely generated abelian Mordell-Weil group of the curve; for N=3 the torsion subgroup is Z9, giving one nontrivial assignment, and for N=9 the torsion subgroup is Z12, giving two inequivalent nontrivial assignments. For all other N the curve has positive rank, so there are infinitely many rational assignments. The rank-zero verdicts for N=3 and N=9 follow from computing the L-value $L(E,1)$ to be nonzero at the central point, invoking the theorem that nonzero L(E,1) forces rank zero for these curves.
Load-bearing premise
The finite classifications for N=3 and N=9 rest on the database entries saying those two elliptic curves have rank zero; if either rank were positive, that case would also admit infinitely many rational hypercharge assignments.
Editorial extensions
If this is right
- For N=3, up to scaling and permutation the only nontrivial assignment is $(W_1,W_2,W_3)=(1,-5,7)$ with $(Y_1,Y_4,Y_5)=(-1,3,-9)$; for N=9 the two inequivalent nontrivial assignments are $(1,-17,19)$ and $(5,5,-13)$ with $(Y_1,Y_4,Y_5)=\pm(-1,9,-27)$.
- For every N other than 3 and 9, the elliptic curve has positive rank, so there are infinitely many rational hypercharge assignments and the anomaly equations alone do not single out a finite spectrum.
- The nontrivial N=3 assignment and one of the N=9 assignments are compatible with a $\mathbb{Z}_2\times\mathbb{Z}_N$ center symmetry; the other N=9 assignment is compatible with $\mathbb{Z}_2\times\mathbb{Z}_3$, and quotienting by these centers can reduce the gauge group, for instance to SO(3) if the $\mathbb{Z}_2$ is included.
- Because $L(E_N,1)$ is nonzero for N=3 and N=9, approximately 1.0305 and 1.3376, the proved rank-zero case of the Birch-Swinnerton-Dyer conjecture certifies that no further rational assignments exist.
Reading between the lines
- The same elliptic-curve reduction suggests a strategy for q>3: study the subvariety of the anomaly locus defined by rational hypercharge ratios and analyze its rational points, though the geometry will not be a single elliptic curve and the arithmetic is expected to be harder.
- The exceptional N=3 and N=9 are the only cases where the torsion subgroup grows to Z9 and Z12; a testable extension is to scan large N for any other torsion enhancement, since those are the only places a finite classification could be recovered.
- The paper leaves open whether, for q=3, every compact-U(1)-rational solution automatically cancels the mixed gravitational anomaly; checking that converse would clarify whether the finiteness results survive without the gravitational condition.
- The reported first rank-two curve at N=18 and first rank-three at N=93 suggest that the number of independent rational hypercharge assignments grows with N; quantifying that growth would connect these models to the average-rank statistics of elliptic curves.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies anomaly cancellation in SU(N) × SU(2) × U(1) gauge theories where all left-handed quarks and leptons transform in the triplet representation of SU(2). For a compact U(1) gauge group (rational hypercharges) and with mixed gravitational anomaly cancellation imposed, the anomaly equations reduce to an N-dependent elliptic curve in Weierstrass form. The authors classify the rational hypercharge assignments: up to overall scaling and relabeling, there is one nontrivial assignment for N = 3, two for N = 9, and infinitely many for every other N >= 2. The classification uses the Mordell–Weil theorem, Mazur's torsion theorem, an explicit list of rational points on the curve, and rank-zero certifications from the Cremona database for the exceptional cases.
Significance. If correct, the result is a clean arithmetic classification of hypercharge assignments in a simple extension of the Standard Model, connecting anomaly cancellation to the arithmetic of elliptic curves. The derivation is explicit and parameter-free: the elliptic curve is derived from first-principles anomaly conditions rather than fitted, and no free parameters appear. The paper is transparent about its use of external computational number theory, citing the Mordell–Weil theorem, Mazur's theorem, Kolyvagin's theorem, and the Cremona database. The explicit reduction to Weierstrass form and the identification of the exceptional cases N = 3 and N = 9 are strengths, and the L-function discussion provides a useful physics-oriented explanation of the rank-zero certification.
minor comments (5)
- [Section 3, paragraph after Eq. (3.7)] The point listed as (−13, ±45) for N = 3 should be (−13, ±48); the point (−13, 45) does not lie on the curve Y^2 = X^3 − 219X + 1654, whereas (−13, 48) does. This is a numerical typo and does not affect the conclusions.
- [Section 3, paragraph after Eq. (3.7)] The claims that the eight distinct points in (3.7) together with O form the Z9 torsion subgroup for N = 3, and that the eleven distinct points together with O form the Z12 torsion subgroup for N = 9, are stated as a 'straightforward exercise' without a proof. Since these torsion identifications are used to enumerate the hypercharge assignments, please include a verification of the group law (for example, the order of a representative point via the duplication formula) or provide a reference to a computer check.
- [Section 4 and Section 5] The rank-zero determination for the N = 3 and N = 9 curves is delegated to the Cremona database entries 54b3 and 90c3. Please state explicitly in the main text that the classification for these two values of N is conditional on the certified database entries, and that the L-function computation in Section 5 is intended as a consistency check rather than a rigorous proof, since no rigorous tail bound for the series in (5.8) is provided.
- [Section 5, Eqs. (5.2)–(5.4)] The symbol q is used for the exponent in a(p^q) and a(p^{q+1}), but q already denotes the SU(2) representation dimension in Section 2. To avoid notational confusion, consider using n or k for these exponents.
- [Section 3, footnote 2] The footnote describing an alternative proof via the Nagell–Lutz theorem says that rank positivity can be shown for all N except N = 3, 6, 9, but the main text's 15-point argument already covers N = 6 uniformly. This footnote is somewhat confusing and should clarify that it is an alternative route for most N, with N = 6 handled separately by the duplication formula.
Circularity Check
No significant circularity: the elliptic-curve classification is derived from first-principles anomaly equations and relies only on external, independently checkable arithmetic results.
full rationale
The paper's central claim is that for q = 3 the anomaly-cancellation conditions with compact U(1) reduce to the N-dependent elliptic curve (3.4), and that the rational hypercharge assignments are governed by its Mordell-Weil group. The reduction from the physical equations (2.2) and (2.4) to (3.1) and then to (3.4) is an explicit algebraic manipulation, not an ansatz or a fitted input: the new variables (3.2) are defined directly from the Wi, and no charge assignment is assumed before solving the curve. The classification for generic N follows from explicit rational points (3.7), Mazur's torsion theorem, and the Mordell-Weil theorem; this is a genuine mathematical argument with no fitted parameter. The exceptional cases N = 3 and N = 9 are settled by identifying the corresponding minimal curves as 54b3 and 90c3 in the Cremona database, whose rank-zero status is certified externally via Kolyvagin's theorem and the numerically evaluated L-values L(E,1) ≈ 1.0305 and 1.3376. This is an external, independently checkable dependency, not a self-referential one. The authors' own prior work appears only as background citations ([8], and [15] for Seiberg-Witten/SCFT context) and is not load-bearing for the anomaly classification. The discussion explicitly flags the assumption that the Cremona rank entries are correct, which is honest rather than circular. No equation in the paper is equivalent to its own conclusion by construction, and no fitted quantity is renamed as a prediction. The minor typo of (−13, 48) printed as (−13, 45) does not affect the argument. The derivation is self-contained apart from standard external theorems and database entries, so the circularity score is 0.
Assumptions & free parameters
assumptions (7)
- domain assumption Anomaly cancellation conditions (2.2)-(2.4) constitute the complete set of consistency conditions for the SU(N) x SU(2) x U(1) gauge theory.
- domain assumption Compactness of the U(1) gauge group implies all hypercharge ratios are rational.
- standard math Mordell-Weil theorem: E(Q) is finitely generated.
- standard math Mazur's theorem: the only possible torsion subgroups for elliptic curves over Q are Z_n (1<=n<=10,12) and Z2 times Z2n (1<=n<=4).
- standard math Nagell-Lutz theorem: torsion points on a minimal integral Weierstrass curve have integer coordinates and Y=0 or Y^2 divides the discriminant.
- standard math Kolyvagin's theorem: if L(E,1) is nonzero then E(Q) has rank 0; plus modularity of elliptic curves over Q (Breuil, Conrad, Diamond, Taylor).
- domain assumption Correctness of the Cremona elliptic curve database for the specific entries 54b3 and 90c3, including the rank-zero determination.
Cite this review
Pith. "Pith review of Notes on anomalies, elliptic curves and the BS-D conjecture." pith.science (2026). https://pith.science/paper/BKDF3P7Q
@misc{pith2026190804115,
author = {Pith},
title = {Pith review of: Notes on anomalies, elliptic curves and the BS-D conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/BKDF3P7Q}},
note = {Machine review of arXiv:1908.04115}
}
abstract
We consider anomaly cancellation for $SU(N)\times SU(2)\times U(1)$ gauge theories where the left-handed chiral multiplets are in higher $SU(2)$ representations. In particular, if the left-handed quarks and leptons transform under the triplet representation of $SU(2)$ and if the $U(1)$ gauge group is compact then up to an overall scaling there is only one possible nontrivial assignment for the hypercharges if $N=3$, and two if $N=9$. Otherwise there are infinitely many. We use the Mordell-Weil theorem, Mazur's theorem and the Cremona elliptic curve database which uses Kolyvagin's theorem on the Birch Swinnerton-Dyer conjecture to prove these statements.
Reference graph
Works this paper leans on
-
[1]
C. Bouchiat, J. Iliopoulos, and P. Meyer, An Anomaly Free Version of Weinberg’s Model, Phys. Lett. 38B (1972) 519–523
work page 1972
-
[2]
D. J. Gross and R. Jackiw, Effect of Anomalies on Quasirenormalizable Theories , Phys. Rev. D6 (1972) 477–493
work page 1972
-
[3]
H. Georgi and S. L. Glashow, Gauge Theories without Anomalies , Phys. Rev. D6 (1972) 429
work page 1972
-
[4]
L. ´Alvarez-Gaum´ e and E. Witten,Gravitational Anomalies, Nucl. Phys. B234 (1984)
work page 1984
-
[5]
C. Q. Geng and R. E. Marshak, Uniqueness of Quark and Lepton Representations in the Standard Model from the Anomalies Viewpoint , Phys. Rev. D39 (1989) 693
work page 1989
-
[6]
S. L. Adler, Axial Vector Vertex in Spinor Electrodynamics , Phys. Rev. 177 (1969) 2426–2438. [,241(1969)]. J. S. Bell and R. Jackiw, A PCAC puzzle: π0 → γγ in the σ model, Nuovo Cim. A60 (1969) 47–61
work page 1969
-
[7]
R. Delbourgo and A. Salam, The Gravitational Correction to PCAC , Phys. Lett. 40B (1972) 381–382. T. Eguchi and P. G. O. Freund, Quantum Gravity and World Topology , Phys. Rev. Lett. 37 (1976) 1251
work page 1972
-
[8]
J. A. Minahan, P. Ramond, and R. C. Warner, A Comment on Anomaly Cancellation in the Standard Model , Phys. Rev. D41 (1990) 715
work page 1990
Show all 32 references
-
[9]
Weinberg, The quantum theory of fields
S. Weinberg, The quantum theory of fields. Vol. 2: Modern applications . Cambridge University Press, 2013
2013
-
[10]
Lohitsiri and D
N. Lohitsiri and D. Tong, Hypercharge Quantisation and Fermat’s Last Theorem , arXiv:1907.00514
1907 arXiv
-
[11]
P. S. Aspinwall and D. R. Morrison, Nonsimply Connected Gauge Groups and Rational Points on Elliptic Curves , JHEP 07 (1998) 012, [ hep-th/9805206]
1998 arXiv
-
[12]
Weigand, F-Theory, PoS TASI2017 (2018) 016, [ arXiv:1806.01854]
T. Weigand, F-Theory, PoS TASI2017 (2018) 016, [ arXiv:1806.01854]. M. Cvetiˇ c and L. Lin, TASI Lectures on Abelian and Discrete Symmetries in F-theor y, PoS TASI2017 (2018) 020, [ arXiv:1809.00012]
2018 arXiv
-
[13]
Hajouji and P.-K
N. Hajouji and P.-K. Oehlmann, Modular Curves and Mordell-Weil Torsion in F-theory, arXiv:1910.04095. 14
1910 arXiv
-
[14]
D. R. Morrison and D. S. Park, F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds, JHEP 10 (2012) 128, [ arXiv:1208.2695]. M. Cvetiˇ c, D. Klevers, and H. Piragua, F-Theory Compactifications with Multiple U(1)-Factors: Constructing Elliptic Fibrat...
2012 arXiv
-
[15]
Seiberg and E
N. Seiberg and E. Witten, Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD , Nucl. Phys. B431 (1994) 484–550, [ hep-th/9408099]. J. A. Minahan and D. Nemeschansky, An N=2 superconformal fixed point with E(6) global symmetry, Nucl. Phys. B482 (1996) 142–...
1994 arXiv
-
[16]
Batra, B
P. Batra, B. A. Dobrescu, and D. Spivak, Anomaly-Free Sets of Fermions , J. Math. Phys. 47 (2006) 082301, [ hep-ph/0510181]. K. Nakayama, F. Takahashi, and T. T. Yanagida, Number-Theory Dark Matter , Phys. Lett. B699 (2011) 360–363, [ arXiv:1102.4688]. C. Cordova, T. T. Dumitr...
2006 arXiv
-
[17]
J. H. Silverman and J. T. Tate, Rational points on elliptic curves . Undergraduate Texts in Mathematics. Springer, Cham, second ed., 2015
2015
-
[18]
J. H. Silverman, The arithmetic of elliptic curves , vol. 106 of Graduate Texts in Mathematics. Springer, Dordrecht, second ed., 2009
2009
-
[19]
J. S. Milne, Elliptic curves . BookSurge Publishers, Charleston, SC, 2006
2006
-
[20]
Mazur, Modular curves and the Eisenstein ideal , Inst
B. Mazur, Modular curves and the Eisenstein ideal , Inst. Hautes ´Etudes Sci. Publ. Math. 47 (1977), no. 47 33–186 (1978). With an appendix by Mazur and M. Ra poport
1977
-
[21]
Cremona, Johncremona/ecdata: All conductors to 400000 , oct, 2016
J. Cremona, Johncremona/ecdata: All conductors to 400000 , oct, 2016
2016
-
[22]
J. E. Cremona, Algorithms for modular elliptic curves, 2nd edtion . Cambridge University Press, Cambridge, 1997
1997
-
[23]
V. A. Kolyvagin, Finiteness of E(Q) and Π Π(E, Q) for a subclass of Weil curves , Izv. Akad. Nauk SSSR Ser. Mat. 52 (1988), no. 3 522–540, 670–671
1988
-
[24]
H. P. F. Swinnerton-Dyer and B. J. Birch, Elliptic curves and modular functions , in Modular functions of one variable IV (B. J. Birch and W. Kuyk, eds.), pp. 2–32, Lecture Notes in Math., vol. 476. Springer, Berlin, 1975
1975
-
[25]
J. H. Silverman, Advanced topics in the arithmetic of elliptic curves , vol. 151 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994
1994
-
[26]
B. H. Gross and D. B. Zagier, Heegner points and derivatives of L-series, Invent. Math. 84 (1986), no. 2 225–320
1986
-
[27]
Breuil, B
C. Breuil, B. Conrad, F. Diamond, and R. Taylor, On the modularity of elliptic curves over Q: wild 3-adic exercises , J. Amer. Math. Soc. 14 (2001), no. 4 843–939. 16
2001
-
[28]
D. C. Lewellen, Embedding Higher Level Kac-Moody Algebras in Heterotic Str ing Models, Nucl. Phys. B337 (1990) 61–86. K. R. Dienes and J. March-Russell, Realizing Higher Level Gauge Symmetries in String Theory: New Embeddings for String GUTs , Nucl. Phys. B479 (1996) 113–172, ...
1990 arXiv
-
[29]
Halverson and P
J. Halverson and P. Langacker, TASI Lectures on Remnants from the String Landscape, PoS TASI2017 (2018) 019, [ arXiv:1801.03503]
2018 arXiv
-
[30]
Halverson, C
J. Halverson, C. Long, and B. Sung, Algorithmic Universality in F-Theory Compactifications, Phys. Rev. D96 (2017), no. 12 126006, [ arXiv:1706.02299]. W. Taylor and Y.-N. Wang, The F-Theory Geometry with Most Flux Vacua , JHEP 12 (2015) 164, [ arXiv:1511.03209]. W. Taylor and Y...
2017 arXiv
-
[31]
Banks and N
T. Banks and N. Seiberg, Symmetries and Strings in Field Theory and Gravity , Phys. Rev. D83 (2011) 084019, [ arXiv:1011.5120]
2011 arXiv
-
[32]
Banks and L
T. Banks and L. J. Dixon, Constraints on String Vacua with Space-Time Supersymmetry, Nucl. Phys. B307 (1988) 93–108. 17
1988
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.