Pith. sign in

REVIEW 3 major objections 5 minor 31 references

Vacuum Geometry of the Standard Model

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

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

Pith's one-line read The vacuum moduli space of the MSSM with minimal superpotential is exactly three rational components, of dimensions 1, 15, and 29.

desk verdict First full-MSSM vacuum moduli space computation, but the paper's claim of 'three irreducible components' is undercut by its own statement that the dimension-1 component lies inside the dimension-29 one. read the letter →

arxiv 2506.13855 v1 pith:HJIWY57R submitted 2025-06-16 hep-th hep-phmath.AG

Yang-Hui He , Vishnu Jejjala , Brent D. Nelson , Hal Schenck , Michael Stillman This is my paper · ORCID
classification hep-thhep-phmath.AG MSC 13P1014Q2014M2081T60
keywords vacuummodulispaceMSSMGröbnerbasesgaugeinvariantoperatorsmasterrationalvarietiessupersymmetryprimarydecomposition
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 computes the classical vacuum structure of the minimal supersymmetric Standard Model (MSSM) with its minimal R-parity-preserving superpotential. The main claim is that the vacuum moduli space—the set of scalar field expectation values that solve the F-term and D-term equations—is a union of three irreducible algebraic varieties: a complex line M1, a rational 15-dimensional variety M2, and a rational 29-dimensional variety M3. The paper gives explicit defining equations and birational parametrizations for each component, so on a dense open set every vacuum is described by 1, 15, or 29 complex parameters. This matters because vacuum geometry controls symmetry breaking and provides the target geometry for bottom-up brane constructions of the MSSM; the computation also demonstrates that Gröbner-basis methods can be made practical for a problem whose naive complexity is doubly exponential.

What carries the argument

The master space F = {∂W/∂φ_i = 0}, the affine variety of F-term solutions in $C^{49}$, is the starting point. Primary decomposition gives F = X1 ∪ X2 ∪ X3 with dimensions 23, 27, and 41. The vacuum moduli space is the image of F under the ring map sending the 49 chiral fields to the 973 gauge-invariant operators (GIOs) in 28 types; algebraically this is the elimination ideal of J = (∂W, y_j - O_j). The computation is made tractable by using the multigrading of the GIOs and a careful variable ordering, and by handling the largest component M3 through a chain of birational projections from 13 GIO types down to a base set {QdL, udd, uude} in $C^{63}$.

What would settle it

Compute the primary decomposition of the vacuum ideal for an explicit non-identity invertible coupling matrix C (for example C diagonal with distinct entries) using the same elimination algorithm, and check whether the vacuum moduli space still has three rational components of dimensions 1, 15, and 29.

Watch

Extended reading notes

Core claim

The paper's central discovery is that the full MSSM vacuum geometry, not just a subsector, can be characterized exactly. For the superpotential (1), the vacuum moduli space is M = M1 ∪ M2 ∪ M3, where M1 is a line through the origin in the 973-dimensional space of gauge-invariant operators, M2 is birational to $C^{15}$, and M3 is birational to $C^{29}$. On a Zariski-open subset each component is therefore parameterized by an affine space, and the paper provides explicit polynomial equations cutting out a birational model of each component. With right-handed neutrinos added, the neutrino fields vanish everywhere on the master space; the image of the second master-space component collapses, and the vacuum moduli space is irreducible, equal to M3.

Load-bearing premise

The load-bearing assumption is that the coupling matrices C are generic and can be deformed to identity matrices without altering the vacuum geometry; if that deformation changes the vacuum structure, the result covers only a special slice of the MSSM parameter space.

Editorial extensions

If this is right

  • Every vacuum of the MSSM at renormalizable order lies on one of three rational components, so on dense open sets it can be parameterized by 1, 15, or 29 complex numbers.
  • The M1 component is a line parameterized by the udd gauge-invariant operator, so there is a flat direction associated with baryon-number-violating operators at the renormalizable level.
  • Setting quark vevs to zero in M2 recovers the previously known electroweak-sector vacuum geometry, confirming that the full computation contains the older partial results as a restriction.
  • Adding right-handed neutrinos does not add new vacuum components; the neutrino fields vanish on the master space and the vacuum moduli space collapses to the single irreducible component M3.
  • The success of the computation shows that Gröbner elimination with symmetry and multigrading can handle elimination problems of 49 source and 973 target variables despite the doubly exponential worst-case bound.

Reading between the lines

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

  • If the birational parametrizations extend to explicit rational maps on all of M2 and M3, one could in principle generate random MSSM vacua by sampling affine coordinates, enabling numerical scans of flat directions; the paper does not perform such sampling.
  • The same primary-decomposition strategy could be tested on non-minimal superpotentials with higher-dimensional operators; the paper notes that R-parity-preserving higher-order terms preserve some electroweak vacuum structure, but does not analyze the full moduli space with those terms.
  • The dependence on the genericity of the coupling matrices C is the main caveat: the paper assumes invertible C deformable to identity, so a natural test is to repeat the computation for random invertible C and verify that the component structure is unchanged.
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.

Referee Report

3 major / 5 minor

Summary. The paper studies the classical vacuum moduli space of the MSSM with the renormalizable, R-parity preserving superpotential (1), and also considers an extension with right-handed neutrinos. Using Gröbner basis computations with multigrading and symmetry reduction, it claims that the master space decomposes into three irreducible components X1, X2, and X3, whose images under the gauge-invariant operator map give a line M1, a rational 15-fold M2, and a rational 29-fold M3, with M3 containing M1. The paper also reports analogous results with neutrinos and checks consistency with the known electroweak-sector Veronese geometry.

Significance. If the computations are correct, this is a substantial computational and conceptual advance: it determines the full MSSM vacuum geometry rather than only subsectors, and it provides explicit birational parametrizations. The cross-check against the electroweak-sector Veronese surface and the careful use of multigrading are genuine strengths. However, the central claim is undermined by an internal contradiction in the stated component structure and by the heavy reliance on an unpublished companion paper, so the significance is conditional on resolving those issues.

major comments (3)
  1. [Results and Conclusion; Abstract] The abstract and the beginning of the Results section state that the vacuum moduli space has "three irreducible components of complex dimensions 1, 15, and 29." However, the bullet list in the Results section says that M3 "contains M1," and the neutrino paragraph says "The image of Z1 is contained in the image of Z3." Since M1 is the image of Z1 and M3 is the image of Z3, this asserts M1 is a subset of M3. An irreducible component of a variety cannot be properly contained in another irreducible component; if M1 is contained in M3, then the union M1 union M2 union M3 has at most two irreducible components, namely M2 and M3. This is an internal inconsistency in the central claim, independent of the companion paper. The authors must either correct the decomposition statement and abstract, or explain a nonstandard meaning of "irreducible component."
  2. [Superpotential (paragraph after Eq. (1))] The argument that the vacuum structure for generic invertible coupling matrices C is equivalent to the case of identity couplings is deferred to the unpublished companion paper [18], cited only as arXiv:2506.nnnnn. This equivalence is load-bearing: without it, the computed geometry may describe only a special locus in the MSSM parameter space rather than the generic case. The manuscript should state the precise theorem, provide a proof sketch, or make the companion paper available for verification.
  3. [Methodology (Fig. 1 and Eq. (6))] The birationality of the chain Y3 to Y4 to ... to Y13 = M3 is essential to the claim that M3 is rational. The only explicit evidence presented is Eq. (6), with "similar expressions" asserted for the remaining uuuee GIOs and all further steps deferred to [18]. Because the rationality of M3 is a central result, the letter should include at least a precise statement of the birationality theorem and the computational method used, or cite a publicly available companion paper that contains the full proof.
minor comments (5)
  1. [Abstract] The complexity estimate appears as "721023" in the text; it should be typeset as 7^(2^1023) with the correct superscripts.
  2. [Introduction] There is a typo: "vaccum expectation values" should be "vacuum expectation values."
  3. [Table I] The table caption reads "the28 GIO types"; there is a missing space and the number should probably be written as "the 28 GIO types."
  4. [References] Reference [18] is listed as arXiv:2506.nnnnn; a real arXiv identifier should be supplied before publication.
  5. [Figure 2] Figure 2 is referenced in the text, but the figure itself is not visible in the manuscript; please ensure that the figure is included and legible.

Circularity Check

1 steps flagged · score 4.0 of 10

Companion-paper self-citations carry the load-bearing deformation and master-space decomposition; the letter's own image computations are independent, so circularity is partial. Separately, the text's 'M3 contains M1' statement conflicts with the abstract's three-component claim, a correctness issue rather than a circularity.

  1. self citation load bearing [Section 'The MSSM superpotential' and Section 'Circumventing the computational roadblock'; eq. (5) and the Results bullet list]
    "We assume that the coupling matrices C are generic, in the sense that they are invertible. It is shown in [18] that this allows a deformation so that the C are identity matrices. ... In [18], we prove that the master space consists of three irreducible components F = X1 ∪ X2 ∪ X3."

    The central claim that the MSSM vacuum moduli space has components of dimensions 1, 15, and 29 is not derived from first principles in this paper. The reduction from generic coupling matrices C to identity matrices—the bridge that lets the authors compute with a single superpotential—is a theorem cited to [18], a companion paper by the same five authors with a placeholder arXiv number (2506.nnnnn). Likewise, the decomposition F = X1 ∪ X2 ∪ X3, whose images become M1, M2, and M3, is proved only in [18]. The letter's outputs are thus the images of components imported from [18]; the components' existence and the deformation invariance are load-bearing self-citations rather than independent support.

full rationale

The core Gröbner-basis computation for the images of the three master-space components is presented in this letter: M1 is a line, M2 is defined by explicit linear/quadratic/quartic forms, and M3 is handled by a stepwise birational chain starting from a 63-dimensional image. These computations are not fitted to an a priori answer. The choice of the GIO triple {QdL, udd, uude} is tested against the expected dimension 29 and then justified by an explicit rational-function proof for each additional GIO, so this is not a fitted-input-called-prediction. The check that restricting M2 to the electroweak sector recovers the Veronese surface of [13] is an external benchmark and counts as independent support. The main circularity concern is the load-bearing reliance on the companion paper [18] for two essential inputs: the deformation from generic invertible couplings to identity couplings, and the primary decomposition F = X1 ∪ X2 ∪ X3. Because [18] is by the same authors and is cited with a placeholder ID rather than a verifiable archived computation, the generic-coupling statement and the three-component structure are inherited from a self-citation chain. This warrants a score of 4 rather than 0 or 2. Separately, under the reviewing rule, the text contains an apparent mathematical inconsistency: the Results bullet says M3 'contains M1', and the neutrino paragraph says 'The image of Z1 is contained in the image of Z3', i.e., M1 ⊂ M3. If literal, then M1 is not an irreducible component of the union, making the abstract's 'three irreducible components' claim internally inconsistent. This is a correctness concern, not a circularity, and does not further raise the circularity score.

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

The central computation relies on standard algebraic geometry theorems and the stated domain assumptions. The only significant free choice is the setting of the coupling matrices to identity, justified by a deformation argument in a companion paper. No new physical entities are introduced.

free parameters (1)
  • Coupling matrices C0, C1, C2, C3 = identity (after deformation)
    The superpotential couplings are assumed generic and invertible, then deformed to identity matrices as described in the companion paper [18]. The vacuum geometry is computed for this deformed set of couplings.
assumptions (5)
  • standard math Vacuum moduli space equals the quotient of the master space F by the complexified gauge group (M = F / G^c).
    Invoked in the 'An algorithm for the vacuum' section, citing references [19-22].
  • domain assumption The MSSM superpotential is limited to renormalizable, R-parity preserving terms.
    Defines the model being studied, as given in equation (1).
  • domain assumption The coupling matrices C are generic (invertible).
    Stated in the section 'The MSSM superpotential'.
  • ad hoc to paper There exists a deformation of the generic couplings to identity matrices that preserves the vacuum structure.
    Stated in the same paragraph, but the proof is deferred to the authors' companion paper [18].
  • standard math The image of a polynomial map under elimination can be computed via Gröbner bases.
    Standard algorithm used throughout the methodology.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vacuum Geometry of the Standard Model." pith.science (2026). https://pith.science/paper/HJIWY57R

@misc{pith2026250613855,
  author       = {Pith},
  title        = {Pith review of: Vacuum Geometry of the Standard Model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HJIWY57R}},
  note         = {Machine review of arXiv:2506.13855}
}
abstract

Vacuum structure of a quantum field theory is a crucial property. In theories with extended symmetries, such as supersymmetric gauge theories, the vacuum is typically a continuous manifold, called the vacuum moduli space, parametrized by the expectation values of scalar fields. Starting from the R-parity preserving superpotential at renormalizable order, we use Gr\"obner bases to determine the explicit structure, as an algebraic variety, of the vacuum geometry of the minimal supersymmetric extension of the Standard Model. Gr\"obner bases have doubly exponential computational complexity (for this case, $7^{2^{1023}}$ operations); we exploit symmetry and multigrading to render the computation tractable. This geometry has three irreducible components of complex dimensions $1$, $15$, and $29$, each being a so-called rational variety. The defining equations of the components express the solutions to F-terms and D-terms in terms of the gauge invariant operators and are interpreted in terms of classical geometric constructions.

Figures

Figures reproduced from arXiv: 2506.13855 by the authors.

Figure 2
Figure 2. FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 23 canonical work pages

  1. [18]

    Y.-H. He, V. Jejjala, C. Matti, B. D. Nelson, and M. Stillman, Commun. Math. Phys. 339, 149 (2015), arXiv:1408.6841 [hep-th]

    work page Pith review arXiv 2015

  2. [1]

    The input is the action S, from which we read off the chiral superfields Φ i, the gauge group G, and the polynomial superpotential W

    work page

  3. [2]

    Here, i = 1,

    From representations Ri under which the Φ i trans- form, construct a minimal list of gauge invariants, {Oj}. Here, i = 1, . . . , mand j = 1, . . . , n

    work page

  4. [3]

    , ϕm, y1,

    In the polynomial ring R = C[ϕ1, . . . , ϕm, y1, . . . , yn], (where the yj are auxiliary variables), construct the ideal J = ∂iW, yj − Oj

    work page

  5. [4]

    base set

    Use Gr¨ obner bases to eliminate the variables ϕi from J ⊂ R. This yields the ideal IM ⊂ C[y1, . . . , yn]; vanishing of IM defines the vacuum moduli space M. In highlighting the question at hand, the authors of [15] remark that Gr¨ obner basis methods are of no practical use for the problem at hand: the Gr¨ obner basis algorithm is doubly exponential in ...

    work page 2022

  6. [5]

    Witten, Nuclear Physics B 202, 253 (1982)

    E. Witten, Nuclear Physics B 202, 253 (1982)

    work page 1982

  7. [6]

    P. W. Higgs, Phys. Rev. Lett. 13, 508 (1964)

    1964

  8. [7]

    Englert and R

    F. Englert and R. Brout, Phys. Rev. Lett. 13, 321 (1964)

    1964

Show all 31 references
  1. [8]

    G. S. Guralnik, C. R. Hagen, and T. W. B. Kibble, Phys. Rev. Lett. 13, 585 (1964)

    1964

  2. [9]

    Candelas, G

    P. Candelas, G. T. Horowitz, A. Strominger, and E. Wit- ten, Nuclear Physics B 258, 46 (1985)

    1985

  3. [10]

    Gray, Y.-H

    J. Gray, Y.-H. He, V. Jejjala, and B. D. Nelson, Nucl. Phys. B 750, 1 (2006), arXiv:hep-th/0604208

    2006 arXiv

  4. [11]

    Braun, Y.-H

    V. Braun, Y.-H. He, B. A. Ovrut, and T. Pantev, Phys. Lett. B 618, 252 (2005), arXiv:hep-th/0501070

    2005 arXiv

  5. [12]

    Bouchard and R

    V. Bouchard and R. Donagi, Phys. Lett. B 633, 783 (2006), arXiv:hep-th/0512149

    2006 arXiv

  6. [13]

    M. R. Douglas and G. W. Moore, (1996), arXiv:hep- th/9603167

    1996

  7. [14]

    Gray, Y.-H

    J. Gray, Y.-H. He, V. Jejjala, and B. D. Nelson, Phys. Lett. B 638, 253 (2006), arXiv:hep-th/0511062

    2006 arXiv

  8. [15]

    Gherghetta, C

    T. Gherghetta, C. F. Kolda, and S. P. Martin, Nucl. Phys. B 468, 37 (1996), arXiv:hep-ph/9510370

    1996 arXiv

  9. [16]

    J. Gray, A. Hanany, Y.-H. He, V. Jejjala, and N. Meka- reeya, JHEP 05, 099 (2008), arXiv:0803.4257 [hep-th]

    2008 arXiv

  10. [17]

    Y.-H. He, V. Jejjala, C. Matti, and B. D. Nelson, Phys. Lett. B 736, 20 (2014), arXiv:1402.3312 [hep-th]

    2014 arXiv

  11. [19]

    Y.-H. He, V. Jejjala, C. Matti, and B. D. Nelson, JHEP 03, 079 (2016), arXiv:1512.00854 [hep-th]

    2016 arXiv

  12. [20]

    Procesi and G

    C. Procesi and G. W. Schwarz, Phys. Lett. B 161, 117 (1985)

    1985

  13. [21]

    Gray, Adv

    J. Gray, Adv. High Energy Phys. 2011, 217035 (2011), arXiv:0901.1662 [hep-th]

    2011 arXiv

  14. [22]

    Hauenstein, Y.-H

    J. Hauenstein, Y.-H. He, and D. Mehta, JHEP 09, 083 (2013), arXiv:1210.6038 [hep-th]

    2013 arXiv

  15. [23]

    Y.-H. He, V. Jejjala, B. D. Nelson, H. Schenck, and M. Stillman, (2025), arXiv:2506.nnnnn [hep-th]

    2025

  16. [24]

    Buccella, J

    F. Buccella, J. P. Derendinger, S. Ferrara, and C. A. Savoy, Phys. Lett. B 115, 375 (1982)

    1982

  17. [25]

    Cox, Applications of polynomial systems , CBMS Regional Conference Series in Mathematics, Vol

    D. Cox, Applications of polynomial systems , CBMS Regional Conference Series in Mathematics, Vol. 134 (American Mathematical Society, Providence, RI, 2020) pp. ix+250, with contributions by C. D’Andrea, A. Dick- enstein, J. Hauenstein, H. Schenck, and J. Sidman

    2020

  18. [26]

    Gatto and G

    R. Gatto and G. Sartori, Commun. Math. Phys. 109, 327 (1987)

    1987

  19. [27]

    M. A. Luty and W. Taylor, Phys. Rev. D53, 3399 (1996), arXiv:hep-th/9506098

    1996 arXiv

  20. [28]

    Forcella, A

    D. Forcella, A. Hanany, Y.-H. He, and A. Zaffaroni, JHEP 08, 012 (2008), arXiv:0801.1585 [hep-th]

    2008 arXiv

  21. [29]

    Forcella, A

    D. Forcella, A. Hanany, Y.-H. He, and A. Zaffaroni, Lett. Math. Phys. 85, 163 (2008), arXiv:0801.3477 [hep-th]

    2008 arXiv

  22. [31]

    Eisenbud, Commutative algebra with a view towards algebraic geometry, Graduate Texts in Mathematics, Vol

    D. Eisenbud, Commutative algebra with a view towards algebraic geometry, Graduate Texts in Mathematics, Vol. 150 (Springer-Verlag, New York, 1995) pp. xvi+785

    1995

  23. [145]

    VJ is supported by the South African Research Chairs Initiative of the DSTI and NRF, grant 78554

    and STFC grant ST/J00037X/3. VJ is supported by the South African Research Chairs Initiative of the DSTI and NRF, grant 78554. BDN is supported by NSF PHY-2209903. HS was supported by NSF DMS-2006410 and a Leverhulme Visiting Professorship at Oxford. MS was supported by NSF DM...

Pith tools

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