Pith. sign in

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 →

arxiv 1908.04115 v2 pith:BKDF3P7Q submitted 2019-08-12 hep-th

classification hep-th
keywords anomalycancellationhyperchargequantizationellipticcurvesMordell-WeilgrouptorsionsubgroupBirch-Swinnerton-DyerconjecturerationalpointscompactU(1)
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

This paper asks a simple question: if the weak gauge group acts on left-handed fermions in the triplet representation of SU(2), and the hypercharge gauge group is the compact U(1), which rational hypercharge assignments can satisfy all anomaly-cancellation conditions? The answer is that the admissible assignments are exactly the rational points on a one-parameter family of elliptic curves indexed by N, the number of colors. The curve has positive rank for every N except 3 and 9, giving infinitely many inequivalent rational charge assignments; for N=3 and N=9 the rank is zero, leaving exactly one and two nontrivial assignments respectively, up to overall scaling and relabeling, besides an almost trivial solution in each case. This is an example of a particle-physics consistency condition turning into a concrete question in arithmetic geometry.

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.

Watch

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

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

  • 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.
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.

Referee Report

0 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 7 assumptions · 0 invented entities

The central claim rests on standard theorems in arithmetic geometry and on the physical assumption that the anomaly cancellation conditions (2.2)-(2.4) are complete. No free parameters are fitted; the hypercharges are solved, not tuned. The only external computational input is the Cremona database for rank zero of two specific curves.

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.
    The paper derives the solution space from these equations without considering other potential anomalies (e.g., higher global anomalies). This is the physical input of the model.
  • domain assumption Compactness of the U(1) gauge group implies all hypercharge ratios are rational.
    Invoked in the introduction and used throughout to restrict to rational points on the elliptic curve.
  • standard math Mordell-Weil theorem: E(Q) is finitely generated.
    Used in Sec. 3 to structure the rational points as Z^r plus torsion.
  • 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).
    Used in Sec. 3 to narrow torsion subgroups to Z3, Z6, Z9, or Z12.
  • 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.
    Cited in Sec. 3 and used in a footnote to argue some points have infinite order.
  • 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).
    Used in Sec. 5 to justify reading rank zero from the Cremona tables.
  • domain assumption Correctness of the Cremona elliptic curve database for the specific entries 54b3 and 90c3, including the rank-zero determination.
    The paper does not prove rank zero itself; it relies on the database. Section 4 states the ranks are 'found to be zero' in the tables.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 21 canonical work pages

  1. [1]

    Bouchiat, J

    C. Bouchiat, J. Iliopoulos, and P. Meyer, An Anomaly Free Version of Weinberg’s Model, Phys. Lett. 38B (1972) 519–523

  2. [2]

    D. J. Gross and R. Jackiw, Effect of Anomalies on Quasirenormalizable Theories , Phys. Rev. D6 (1972) 477–493

  3. [3]

    Georgi and S

    H. Georgi and S. L. Glashow, Gauge Theories without Anomalies , Phys. Rev. D6 (1972) 429

  4. [4]

    ´Alvarez-Gaum´ e and E

    L. ´Alvarez-Gaum´ e and E. Witten,Gravitational Anomalies, Nucl. Phys. B234 (1984)

  5. [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

  6. [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

  7. [7]

    Delbourgo and A

    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

  8. [8]

    J. A. Minahan, P. Ramond, and R. C. Warner, A Comment on Anomaly Cancellation in the Standard Model , Phys. Rev. D41 (1990) 715

Show all 32 references
  1. [9]

    Weinberg, The quantum theory of fields

    S. Weinberg, The quantum theory of fields. Vol. 2: Modern applications . Cambridge University Press, 2013

  2. [10]

    Lohitsiri and D

    N. Lohitsiri and D. Tong, Hypercharge Quantisation and Fermat’s Last Theorem , arXiv:1907.00514

  3. [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]

  4. [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]

  5. [13]

    Hajouji and P.-K

    N. Hajouji and P.-K. Oehlmann, Modular Curves and Mordell-Weil Torsion in F-theory, arXiv:1910.04095. 14

  6. [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...

  7. [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–...

  8. [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...

  9. [17]

    J. H. Silverman and J. T. Tate, Rational points on elliptic curves . Undergraduate Texts in Mathematics. Springer, Cham, second ed., 2015

  10. [18]

    J. H. Silverman, The arithmetic of elliptic curves , vol. 106 of Graduate Texts in Mathematics. Springer, Dordrecht, second ed., 2009

  11. [19]

    J. S. Milne, Elliptic curves . BookSurge Publishers, Charleston, SC, 2006

  12. [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

  13. [21]

    Cremona, Johncremona/ecdata: All conductors to 400000 , oct, 2016

    J. Cremona, Johncremona/ecdata: All conductors to 400000 , oct, 2016

  14. [22]

    J. E. Cremona, Algorithms for modular elliptic curves, 2nd edtion . Cambridge University Press, Cambridge, 1997

  15. [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

  16. [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

  17. [25]

    J. H. Silverman, Advanced topics in the arithmetic of elliptic curves , vol. 151 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994

  18. [26]

    B. H. Gross and D. B. Zagier, Heegner points and derivatives of L-series, Invent. Math. 84 (1986), no. 2 225–320

  19. [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

  20. [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, ...

  21. [29]

    Halverson and P

    J. Halverson and P. Langacker, TASI Lectures on Remnants from the String Landscape, PoS TASI2017 (2018) 019, [ arXiv:1801.03503]

  22. [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...

  23. [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]

  24. [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

Pith tools

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