More varieties of 4-d gauge theories: product representations

Ben Gripaios; Khoi Le Nguyen Nguyen

REVIEW 2 major objections 3 minor 2 cited by

More varieties of 4-d gauge theories: product representations

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The anomaly equations for m-fold product representations of su_n define a projective cubic hypersurface that is rational over Q, R, and C, so all anomaly-free products admit an explicit parameterization.

desk verdict The m≥2 product-representation results are real and useful, but the paper's 'rational for every m and n' claim is false at m=1 for n=3,4 and needs a one-line qualification. read the letter →

arxiv 2501.09860 v2 pith:VFYNO3VI submitted 2025-01-16 hep-th hep-phmath.AG

Ben Gripaios , Khoi Le Nguyen Nguyen This is my paper · ORCID

classification hep-thhep-phmath.AG

keywords anomalycancellationproductrepresentationsrationalvarietiescubichypersurfacesmethodofsecantsManin'sconjectureasymptoticfreedompoints

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 tries to show that the anomaly-cancellation equations for fermions in an m-fold product of irreducible representations of su_n are not just solvable but geometrically simple: the solution set is a rational projective variety, meaning it is birationally equivalent to projective space and can be explicitly parameterized. That matters because product representations give much smaller chiral anomaly-free matter than irreducible ones, bringing theories within reach of phenomenology, including an asymptotically free su_7 example. The paper also argues, via Manin's conjecture and known bounds, that chiral anomaly-free representations, though dense in the real solution space, are rare among representations of bounded size: non-chiral ones grow like $B^{2}$ while chiral ones grow between B(log B)^5 and $B^{{4/3}}$ in the cases checked. The counting statements rest on number-theoretic conjectures or bounds; the rationality of V_{n,⊗m} is proved from disjoint linear subspaces and the method of secants.

What carries the argument

The central object is the projective cubic hypersurface V_{n,⊗m}, defined by the anomaly equation Σ_{α=1}^m Σ_{i=1}^n (σ_{iα})^3 = 0 together with m linear trace constraints, where the σ variables are shifted coordinates attached to each irrep factor. The mechanism that carries the argument is the method of secants: with two disjoint rational linear subspaces inside the variety, the line through a point on each subspace meets the cubic at a third point, giving a birational map from a product of projective spaces to the variety and hence an explicit parameterization. The rationality of V_{n,⊗m} follows once such a disjoint pair of subspaces exists for every n and m.

What would settle it

For a concrete pair such as (n,m)=(4,2) or (6,3), write out the m=1 disjoint subspace pairs from [1,2] in each factor and test, by linear algebra, whether the combined subspaces are disjoint and have the claimed dimensions; if they intersect, the paper's rationality proof does not go through for that case.

Watch

Extended reading notes

Core claim

The central discovery is that for every n and m, the projective variety V_{n,⊗m} of anomaly-free m-fold product representations of su_n — a cubic hypersurface in $kP^{{m(n-1)-1}}$ cut out by the sum over factors of third powers of shifted Dynkin coordinates — is rational over Q, R, and C. Rationality follows by generalizing the method of secants: one needs two disjoint rational linear subspaces of specified dimensions inside the variety; the paper argues these can be built factor-by-factor from the m=1 subspaces found earlier, and gives an explicit pair for n=5, m=2. For the case V_{3,⊗2}, the paper works out the full geometry: a smooth cubic surface with 15 rational lines, an ordered region whose rational points are dense in the real points, and exactly 15 unorderable rational points, so the secant parameterization almost always yields valid representations after permutation. On the counting side, the paper shows via existing number-theoretic bounds that the number of non-anomalous non-chiral product representations of bounded size grows like $B^{2}$, while for su_5 irreps and su_3 binary products the chiral ones are bounded above by $B^{{4/3}}$ and below by B(log B)^5, matching Manin's prediction with Picard rank 6.

Load-bearing premise

The proof that V_{n,⊗m} is rational needs, for every n and m, a pair of disjoint rational linear subspaces of the right dimensions, and the paper assumes these can be obtained by combining the m=1 subspaces from earlier work without giving a general proof of disjointness or dimensions; if that construction ever fails, the secant parameterization collapses.

Editorial extensions

If this is right

Over Q, R, and C, the anomaly equations for m-fold product representations have a rational parameterization, so every anomaly-free product of su_n irreps can be generated explicitly rather than found by search.
Ordered rational points are dense in the ordered real points on every V_{n,⊗m}, so a scan over the parameterization will eventually find all physical (orderable) anomaly-free products; on V_{3,⊗2} the unorderable rational points are finite, making the scan efficient.
Chiral anomaly-free product representations can be far smaller than chiral irreps: for su_3 the smallest binary product has dimension 4,312 versus 1,357,824 for the smallest chiral su_5 irrep, and an su_7 binary product is both anomaly-free and asymptotically free, with Dynkin index 28 < 77/2.
Counting by height, non-chiral anomaly-free reps grow like B^2, while chiral ones in the two analyzed cases grow at most like B^{4/3} and at least like B(log B)^5; chiral anomaly-free matter is thus dense in the continuum but rare among small representations.
Manin's conjecture predicts growth B(log B)^{ρ-1} with ρ=6 for these two examples; the paper verifies only the upper and lower bounds, leaving the full asymptotic open.

Reading between the lines

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

The paper's factor-by-factor recipe for disjoint subspaces suggests a uniform proof of rationality for all n and m could be obtained by linear algebra; checking disjointness explicitly for even n, where the dimension split is different, would settle the only gap in the argument.
The finiteness of unorderable rational points on V_{3,⊗2} hints that the secant scan may remain a practical exhaustive-search algorithm at higher n and m, where a similar Mordell-Weil argument could bound the number of unorderable points.
The height-based rarity of chiral anomaly-free reps gives a quantitative form of a model-building folk theorem: beyond-the-Standard-Model matter that is chiral and anomaly-free is plentiful in large representations but scarce in the small ones that are easiest to test.
If the su_7 asymptotically free example is not isolated, a systematic scan using the Dynkin-index formula could find a family of asymptotically free anomaly-free product theories, which would give UV-complete chiral gauge theories with no extra gauge sector.

Share X Bluesky LinkedIn Reddit HN

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

Worth engaging with. The step from m=1 to arbitrary m-fold products is the real content, and for m≥2 the rationality proof and the explicit birational construction hold together. The su3 binary case is genuinely nice: the 15 rational lines, the Mordell-Weil group Z/6 for the unorderable curve, and the density arguments are all concrete and checkable. The counting bounds are borrowed honestly—Heath-Brown's B^{4/3} and Slater-Swinnerton-Dyer's lower bound—and the conditions for hitting those bounds are verified explicitly. The asymptotically-free su7 example is a good return on the catalog, even if the rep was already in Eichten-Kang-Koh.

The soft spot is the universality claim. The abstract and Section 4 say V_{n,⊗m} is rational 'for every m and n'. That's false at m=1 for n=3 and n=4: V_{3,⊗1} is three points, V_{4,⊗1} is three lines, and neither is birational to projective space. The paper's own footnote 10 flags (3,1) and (4,1) as degenerate, so the authors know these cases are special; the abstract just overreaches. This doesn't damage the m≥2 results, but it needs a one-line qualification.

The other issue is the disjoint-subspace existence for arbitrary m,n. The paper says to take the m=1 subspaces in each factor and that this gives the needed dimensions. It works, but only if you choose the orientation factor by factor: for even n the m=1 pair has dimensions that differ by one, and to hit the required product dimensions you need to swap the larger/smaller choices in about half the factors. The authors don't show this; they just assert it. It's patchable, but it should be written out.

The counting section is the strongest part. No fitted parameters, no circularity; the height argument and the Picard-rank computations are transparent. The Mathematica notebook for the su3 example is a useful check.

This is a paper for BSM model builders and for anyone using arithmetic geometry in gauge theory. The catalog of small anomaly-free product reps is directly usable, and the rarity statement (chiral reps are asymptotically rare despite being dense) is a useful qualitative result.

Send it to review. The m=1 overstatement is fixed by rephrasing; the m≥2 core is worth refereeing.

Referee Report

2 major / 3 minor

Summary. This paper extends the authors' earlier arithmetic-geometric treatment of anomaly-free irreducible representations to m-fold tensor products of irreps of su_n. The anomaly equations are reduced to a single cubic, Eq. (2.9), together with linear constraints, Eq. (2.10), defining a projective variety V_{n,⊗m}. The main mathematical claims are that V_{n,⊗m} is rational for every n and m, that ordered rational points are dense in ordered real points, and that chiral anomaly-free product representations overwhelm non-chiral ones in dimension. The paper then analyzes the binary su_3 case in detail, computes the rational points on its unorderable locus via the Mordell-Weil group of y^2 = x^3 + 1, tabulates low-dimensional anomaly-free products, exhibits an asymptotically-free su_7 example, and applies Manin's conjecture together with bounds of Heath-Brown and Slater-Swinnerton-Dyer to argue that chiral anomaly-free representations of bounded height are nevertheless rare.

Significance. If the m ≥ 2 results are correct, this is a valuable and nontrivial extension: it gives a complete geometric parameterization of a physically relevant infinite family of representations, a concrete computational algorithm, and a novel bridge to Manin-type counting problems. The use of external theorems is careful and well documented; the Mordell-Weil computation for the unorderable locus is explicit, and the ancillary Mathematica notebook aids reproducibility. There are no fitted parameters or circular derivations. The main caveats are an overstatement at the m = 1 boundary of the rationality claim and an unproved linear-subspace construction in Section 4; both are local and repairable.

major comments (2)

[Abstract; §2; §4, Eq. (4.1)] The statement that V_{n,⊗m} is rational for every m and n is false as written. For n = 3, m = 1, Eq. (3.1) reduces the variety to σ1σ2(σ1+σ2) = 0, i.e. three rational points; for n = 4, m = 1 the cubic factors as -3(σ1+σ2)(σ1+σ3)(σ2+σ3), a union of three lines. Neither variety is birational to projective space under the paper's own definition, and the secant construction cannot dominate them. The rationality claim should be restricted to m ≥ 2 (or to m = 1 with n ≥ 5), and the abstract, the 'eighth' item in Section 2, and the first claim of Section 4 should be adjusted accordingly. The m ≥ 2 product results are not affected.
[§4, after Eq. (4.1)] The proof of rationality for general m relies on the assertion that one can take, for each factor, a pair of disjoint rational linear subspaces from the m = 1 construction and thereby obtain a pair of disjoint linear subspaces of the required dimensions d1, d2 in V_{n,⊗m}. This is not demonstrated. A proof should be supplied: define the direct-sum subspaces explicitly, verify that their dimensions add to m(n-1)-2, and prove disjointness, for example by checking that a common point would force each factor-wise coordinate slice to lie in the intersection of two disjoint subspaces. The n = 5, m = 2 example in Eqs. (4.2)-(4.3) illustrates the construction but does not replace a general argument.

minor comments (3)

[§2, ninth paragraph] The sentence claiming that integer solutions not satisfying Eq. (2.12) can be converted to valid representations 'simply by permuting the σiα' is not literally correct; after ordering, one must also rescale the projective coordinates by n/gcd of the adjacent differences to make the differences multiples of n. The text should say this explicitly.
[§6, paragraph after Eq. (6.2)] The assertion that V_{n,⊗m} is smooth if and only if n is odd is stated without proof; since smoothness is needed to apply Manin's conjecture, a one-line Jacobian check (the partial derivatives factor as σ_{iα}^2 - S_α^2 with S_α = Σ_i σ_{iα}) should be included.
[§5, footnote 8] The monotonicity of the Dynkin index in the Dynkin labels is attributed to the unpublished work [15]; either provide a proof in a footnote or mark the statement as a conjecture, since the current reference cannot be checked.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the m≥2 rationality argument is an honest secant construction, and the self-citations to [1,2] are legitimate prior work rather than inputs in disguise.

full rationale

The paper contains no fitted parameters renamed as predictions and no result that is equivalent to its inputs by construction. The main new claim (rationality of V_{n,⊗m} for m≥2) is obtained by a genuine secant construction: one requires disjoint linear subspaces of the stated dimensions, and the paper reduces this to the m=1 case via [1,2]. That reduction is a legitimate use of prior work by the same authors: [2] establishes the m=1 rationality independently of the product-representation results, and [1] supplies the underlying secant method for the U(1) case. The counting section invokes Schanuel's theorem, Manin's conjecture (explicitly flagged as a conjecture), and external bounds by Heath-Brown and Slater-Swinnerton-Dyer; these are not derived from the paper's own outputs. The su7 example was previously reported in [14]. Two non-circular weaknesses should be noted for correctness, not circularity: (i) the abstract's 'for every m and n' overstates the m=1 boundary, since V_{3,⊗1} is three points and V_{4,⊗1} is three lines, neither birational to projective space; (ii) Section 4's assertion that disjoint subspaces can be assigned for every n and m is stated without a detailed general proof, though the direct-sum construction suggested by the text appears to supply the needed dimensions for m≥2. Neither weakness involves a derivation reducing to its own assumptions, so the circularity score remains 0.

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

No free parameters are fitted; the only inputs are standard anomaly formulas, representation theory, and cited number theory theorems. Manin's conjecture is the sole conjectural input and is clearly labeled.

assumptions (6)

domain assumption Anomaly cancellation in 4-d gauge theories is equivalent to trρ = trρ^3 = 0 for the fermion representation ρ.
Standard gauge-theoretic input, stated in Section 2 (Eq. 2.1), not derived.
domain assumption For su_n, the anomaly of an irrep is given by Eq. (2.5) with the σ-variables of Eq. (2.2), taken from Banks-Georgi [10] and Okubo [11].
Used to reduce the problem to the cubic (2.9).
standard math The product formulas D(ρ1⊗ρ2)=D(ρ1)D(ρ2) and A(ρ1⊗ρ2)=A(ρ1)D(ρ2)+D(ρ1)A(ρ2) (Eq. 2.7-2.8).
Standard representation theory, stated in Section 2.
domain assumption Manin's conjecture, N(U;B) ∼ B(log B)^{ρ-1} on smooth Fano varieties, gives the expected asymptotic for chiral points.
Invoked in Section 6 to interpret the rarity of chiral reps; the paper notes it is unproven for these surfaces, but the upper/lower bounds come from theorems [8,9].
standard math The Schanuel theorem N(L;B) ∼ B^2 for rational points on a projective line.
Used to count non-chiral solutions, which lie on lines (Section 6).
domain assumption One-loop asymptotic freedom criterion T2(ρ) < 11n/2 for su_n (Eq. 5.4).
Standard beta-function result used for the su7 example.

how reviews work

0 comments

Cite this review

Pith. "Pith review of More varieties of 4-d gauge theories: product representations." pith.science (2026). https://pith.science/paper/VFYNO3VI

@misc{pith2026250109860,
  author       = {Pith},
  title        = {Pith review of: More varieties of 4-d gauge theories: product representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VFYNO3VI}},
  note         = {Machine review of arXiv:2501.09860}
}

abstract

Recently, we used methods of arithmetic geometry to study the anomaly-free irreducible representations of an arbitrary gauge Lie algebra. Here we generalize to the case of products of irreducible representations, where it is again possible to give a complete description. A key result is that the projective variety corresponding to $m$-fold product representations of the Lie algebra $\mathfrak{su}_n$ is a rational variety for every $m$ and $n$. We study the simplest case of $\mathfrak{su}_3$ (corresponding to the strong interaction) in detail. We also describe the implications of a number-theoretic conjecture of Manin (and related theorems) for the number of chiral representations of bounded size $B$ (measured roughly by the Dynkin labels) compared to non-chiral ones, giving a precise meaning to the sense in which the former (which are those most relevant for phenomenology) are rare compared to the latter. As examples, we show that, for both irreducible representations of $\mathfrak{su}_5$ and once-reducible product representations of $\mathfrak{su}_3$ that are non-anomalous, the number of chiral representations is asymptotically between $B (\log B)^5$ and $B^\frac{4}{3}$, while the number of non-chiral representations is asymptotically $B^2$. Despite this rarity of chiral, anomaly-free, product representations, we show that there are examples relevant for phenomenology, including one that gives an asymptotically-free gauge theory with Lie algebra $\mathfrak{su}_7$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Anomaly cancellation for two $U(1)$ factors
hep-th 2026-07 accept novelty 7.0 of 10

Abelian anomaly cancellation for rank-K U(1) summands equates to finding (K-1)-planes on a cubic hypersurface over Q; for K=2 and six fermions this is the Fano surface of the Segre cubic, whose rational components ful...
The asymptotically-free gauge theories
hep-th 2025-07 conditional novelty 7.0 of 10

All asymptotically-free gauge theories with purely fermionic matter in 4D are classified by finite tables in which at most two Dynkin labels are nonzero and none exceeds four.

Reference graph

Works this paper leans on

19 extracted references · 17 canonical work pages · cited by 2 Pith papers

[1]

Geometric General Solution to the $U(1)$ Anomaly Equations

B.C. Allanach, B. Gripaios and J. Tooby-Smith, Geometric general solution to the U(1) anomaly equations, JHEP 05 (2020) 065. [ arXiv:1912.04804]

work page Pith review arXiv 2020
[2]

Gripaios and K

B. Gripaios and K. Le Nguyen Nguyen, Varieties of four-dimensional gauge theories , JHEP 12 (2024) 041. [ arXiv:2409.15430]

arXiv 2024
[3]

Solving local anomaly equations in gauge-rank extensions of the Standard Model

B. Allanach, B. Gripaios and J. Tooby-Smith, Solving local anomaly equations in gauge-rank extensions of the Standard Model , Phys. Rev. D 101 (2020) 075015. [ arXiv:1912.10022]

work page Pith review arXiv 2020
[4]

I. Camp, B. Gripaios and K. Le Nguyen Nguyen, Two-dimensional gauge anomalies and p-adic numbers, JHEP 06 (2024) 202. [ arXiv:2403.10611]

work page Pith review arXiv 2024
[5]

Costa, B.A

D.B. Costa, B.A. Dobrescu and P.J. Fox, General solution to the U (1) anomaly equations, Phys. Rev. Lett 123 (2019) 151601. [ arXiv:1905.13729]

arXiv 2019
[6]

Segre, The non-singular cubic surfaces , Oxford University Press (1942)

B. Segre, The non-singular cubic surfaces , Oxford University Press (1942)

work page 1942
[7]

Franke, Y

J. Franke, Y. Manin and Y. Tschinkel, Rational points of bounded height on Fano varieties , Invent. Math. 95 (1989) 421

work page 1989
[8]

Heath-Brown, The density of rational points on cubic surfaces , Acta Arith

D.R. Heath-Brown, The density of rational points on cubic surfaces , Acta Arith. 79 (1997) 17

work page 1997

Show all 19 references

[9]

Slater and P

J.B. Slater and P. Swinnerton-Dyer, Counting points on cubic surfaces I , Ast´ erisque251 (1998) 1

1998
[10]

Banks and H

J. Banks and H. Georgi, Comment on gauge theories without anomalies , Phys. Rev. D 14 (1976) 1159

1976
[11]

Okubo, Gauge groups without triangular anomaly , Phys

S. Okubo, Gauge groups without triangular anomaly , Phys. Rev. D 16 (1977) 3528

1977
[12]

Mordell, Diophantine equations, Academic Press (1969)

L.J. Mordell, Diophantine equations, Academic Press (1969)

1969
[13]

Silverman, Rational points on elliptic curves , Undergraduate texts in mathematics, Springer (1992)

J.H. Silverman, Rational points on elliptic curves , Undergraduate texts in mathematics, Springer (1992)

1992
[14]

Eichten, K

E. Eichten, K. Kang and I. Koh, Anomaly-free complex representations in SU( N ), J. Math. Phys. 23 (1982) 2529

1982
[15]

Gripaios and K

B. Gripaios and K. Le Nguyen Nguyen. To appear
[16]

Schanuel, Heights in number fields , Bull

S.H. Schanuel, Heights in number fields , Bull. Soc. Math. Fr. 107 (1979) 433

1979
[17]

Batyrev and Y

V.V. Batyrev and Y. Tschinkel, Tamagawa numbers of polarized algebraic varieties , Ast´ erisque(1998) 299. [ arXiv:alg-geom/9712002]

1998 arXiv
[18]

Salberger, Uniform bounds for rational points on cubic hypersurfaces , in Arithmetic and Geometry, London Mathematical Society Lecture Note Series, p

P. Salberger, Uniform bounds for rational points on cubic hypersurfaces , in Arithmetic and Geometry, London Mathematical Society Lecture Note Series, p. 401–421, Cambridge University Press (2015)

2015
[19]

Frei and E

C. Frei and E. Sofos, Counting rational points on smooth cubic surfaces , Math. Res. Lett. 23 (2016) 127. [ arXiv:1409.6224]. – 19 –

2016 arXiv

Pith tools

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

[1] [1]

Geometric General Solution to the $U(1)$ Anomaly Equations

B.C. Allanach, B. Gripaios and J. Tooby-Smith, Geometric general solution to the U(1) anomaly equations, JHEP 05 (2020) 065. [ arXiv:1912.04804]

work page Pith review arXiv 2020

[2] [2]

Gripaios and K

B. Gripaios and K. Le Nguyen Nguyen, Varieties of four-dimensional gauge theories , JHEP 12 (2024) 041. [ arXiv:2409.15430]

arXiv 2024

[3] [3]

Solving local anomaly equations in gauge-rank extensions of the Standard Model

B. Allanach, B. Gripaios and J. Tooby-Smith, Solving local anomaly equations in gauge-rank extensions of the Standard Model , Phys. Rev. D 101 (2020) 075015. [ arXiv:1912.10022]

work page Pith review arXiv 2020

[4] [4]

I. Camp, B. Gripaios and K. Le Nguyen Nguyen, Two-dimensional gauge anomalies and p-adic numbers, JHEP 06 (2024) 202. [ arXiv:2403.10611]

work page Pith review arXiv 2024

[5] [5]

Costa, B.A

D.B. Costa, B.A. Dobrescu and P.J. Fox, General solution to the U (1) anomaly equations, Phys. Rev. Lett 123 (2019) 151601. [ arXiv:1905.13729]

arXiv 2019

[6] [6]

Segre, The non-singular cubic surfaces , Oxford University Press (1942)

B. Segre, The non-singular cubic surfaces , Oxford University Press (1942)

work page 1942

[7] [7]

Franke, Y

J. Franke, Y. Manin and Y. Tschinkel, Rational points of bounded height on Fano varieties , Invent. Math. 95 (1989) 421

work page 1989

[8] [8]

Heath-Brown, The density of rational points on cubic surfaces , Acta Arith

D.R. Heath-Brown, The density of rational points on cubic surfaces , Acta Arith. 79 (1997) 17

work page 1997