{"id":"88349819-01a3-48d9-97fe-87066f6eedd5","arxiv_id":"2506.13868","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The full classical vacuum moduli space of the MSSM is computed: three rational components of dimensions 1, 15 and 29 without neutrinos, and one component when neutrinos are added.","lead":"This paper computes the complete geometric shape of all possible vacuum states of the minimal supersymmetric Standard Model, a calculation deemed practically impossible in 1996. It finds the vacuum space splits into three simple pieces, of dimensions 1, 15 and 29, and that adding neutrino terms leaves only the largest piece.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The birationality of the tower in Table 5 is asserted by computation without shipped code or an independent certificate, so the rational model of M3 is not yet reproducible.","rationale":"The reader's weakest assumption focuses on the generic-invertible-Yukawa restriction, while my concern foregrounds the unreproducible birationality assertions. The paper does not bundle code (MSSM.m2 is only announced), and the crucial birationality of the tower in Table 5 is supported by high-level relation lists rather than by machine-checkable certificates or reversible derivations. The claimed computations are the backbone of Theorem 1.1 for M3 and the associated image statement for M_MSSM, so they warrant a reproducibility check before the result is accepted as a settled reference. The reader's concern about generic couplings is distinct; that one limits the physical interpretation but does not make the mathematical claim wrong. Since both concerns point to areas that need verification rather than to a demonstrated contradiction, the appropriate verdict remains CONDITIONAL.","tokens_in":23822,"tokens_out":1237,"duration_ms":11523,"concrete_test":"Run the tower computations in a fresh Macaulay2 session using the announced MSSM.m2 package once it is released. For each projection in Table 5, compute the kernel of the map on the coordinate rings of the relevant varieties and check that the image of Y_{i+1} has dimension exactly dim Y_i and that the map has degree one, e.g., by computing the degree of the projection or by finding a rational inverse on an explicit open set such as c_8 != 0 for the step in Computation 5.3. If any one of the ten projections has degree greater than one, the birational model of M3 is not established.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 1.1's strongest content is that M3 is rational of dimension 29, proven by the tower in Figure 3: each projection Y_{i+1} to Y_i is claimed birational, and Y_3 = Y is explicitly defined in Computation 5.2. The paper gives the relations in Table 5 as rational-function descriptions (e.g., Computation 5.3, g = hh/c), but does not provide the actual elimination certificates identifying the denominators, degrees, and birational inverse for each of the ten maps. The claim that each step is generically one-to-one is exactly the claim that would fail if any of those rational expressions has a hidden denominator that vanishes on the relevant open set, or if a relation is only valid on a component. Section 5.1 says a 'fast probabilistic algorithm' computes the dimension 29, and the package MSSM.m2 is not shipped, so none of these computations can be independently rerun. This is not a disagreement with the mathematics; it is a verification gap in the load-bearing computational step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the classical vacuum moduli space of the MSSM with the minimal renormalizable superpotential, both without neutrinos (W_minimal) and with them (W_MSSM). The authors compute the master space X as the F-term variety in C^49 and the vacuum moduli space M as the image of X under the ring map defined by 976 gauge-invariant operators into C^973. Their main results are: for W_minimal, X and M each have three irreducible components, with M_1 a line, M_2 rational of dimension 15, and M_3 rational of dimension 29; for W_MSSM, the vacuum moduli space is a single irreducible component described by the ideal of M_3 together with the neutrino variables. The proofs combine a linear change of variables that sets the Yukawa coupling matrices to identity, an explicit description of the master space as the zero set of minors of five matrices (Computation 3.4), and a tower of projections from M_3 to an explicit base variety Y in C^63 whose birationality is verified computationally (Section 5.3, Table 5). The paper also recovers the known electroweak-sector results and gives geometric interpretations of M_2 as a cone over an incidence correspondence involving Segre varieties (Theorem 4.7).","tokens_in":24062,"tokens_out":5627,"duration_ms":55835,"significance":"If the computational claims are correct and reproducible, this is a substantial contribution: it completes the program initiated in [1] by giving the first explicit description of the full vacuum moduli space of the MSSM with a renormalizable superpotential, including explicit defining equations and geometric models for each component. The paper does not fit parameters to data; the coupling matrices are generic and set to identity by an invertible linear change of variables, so the main results are mathematical statements about the vacuum moduli space for generic complex couplings. The paper contains genuine structural results, such as the description of M_2 as an incidence correspondence, and it recovers previous electroweak results as a consistency check. However, the central claims about M_3 depend on a chain of Macaulay2 computations whose code is not shipped, and the genericity assumption on the Yukawa couplings is not reflected in the paper's title or abstract. These issues make the paper's strongest conclusions conditional until the computational evidence is made available and the scope is stated precisely.","major_comments":[{"comment":"The change of variables that reduces the superpotential to the tilde basis assumes that the coupling matrices C1, C2, C3 are all invertible and that C0 can be scaled to 1. This is an explicit assumption, also made in [50], but it is not satisfied by the observed MSSM parameters: the physical Yukawa couplings are hierarchical, with small or vanishing entries, and the top Yukawa is much larger than the others. The paper's title and abstract claim to describe the vacuum moduli space of the MSSM, yet the proof only establishes the component structure and dimensions for generic complex invertible couplings. The component structure, dimensions, and rationality statements in Theorem 1.1 could all change on the non-generic locus. The authors should either restrict their claims to generic couplings throughout and in the title, or add a concrete analysis of how the decomposition behaves when some C_i are singular or have non-generic rank.","section":"§3.1 and Theorem 1.1"},{"comment":"The proof that M_3 is rational of dimension 29 rests on the claim that each of the ten projections in the tower from M_3 down to the base variety Y is birational. The paper states that these birationality checks were performed with a 'fast probabilistic algorithm' in Macaulay2, and Table 5 lists relations expressed as rational functions (e.g., 'gc = hh' in Computation 5.3), but the actual computations are not reproducible: the package MSSM.m2 is not shipped, and no certificates are provided that specify the denominators, degrees, or birational inverses for each map. A probabilistic dimension computation can certify dimension only with a controlled error probability, and the paper does not describe the algorithm or its error bound. Without the code or explicit certificates, the central theorem about M_3 cannot be independently verified. The authors should include the Macaulay2 code as an ancillary file, or at minimum provide the elimination certificates and the precise probability statement for each dimension and birationality computation.","section":"§5.3, Table 5, Figure 3"},{"comment":"The decomposition of the master space as JW = I1 ∩ I2 ∩ I3, the primality of the three ideals, and their dimensions are also asserted by direct computation. These facts are load-bearing for every subsequent result in the paper, since the components X1, X2, X3 and their images M1, M2, M3 are defined from them. The paper states that 'A direct computation shows' the decomposition and that 'Primality may also be verified computationally,' but no code or output is provided. If the package is not available, the reader cannot check even the first step of the argument. Please provide the exact Macaulay2 commands and outputs, or a mathematically written certificate, for the primary decomposition and primality assertions in Theorem 3.5.","section":"§3.2, Theorem 3.5"}],"minor_comments":[{"comment":"The 'fast probabilistic algorithm' used to determine the dimension of M_3 is not described; please specify the algorithm (for example, whether it is based on a Bertini-type homotopy, monodromy, or a randomized Gr\"obner method) and state the probability of error or the deterministic nature of the computation.","section":"§5.1"},{"comment":"Several entries in Table 5 such as 'k = k', 'p = p', 'n = n', and 'b = a' are tautological or confusing at first glance; please explain in the text that these denote linear relations among the GIOs after restriction to X3, rather than identities of single variables.","section":"Table 5"},{"comment":"The rational expressions for the uuuee GIOs in Computation 5.3 involve division by c8; the text should state explicitly that these identities hold on the open subset where c8 ≠ 0, and that birationality is a generic statement. Without this clarification, the displayed equations are not literally valid on all of X3.","section":"§5.2, Computation 5.3"},{"comment":"The sentence 'the primary decomposition of the Jacobian ideal of WMSSM is more complicated, however, the radical of this ideal is still an intersection of three prime ideals' should be made precise: the vacuum moduli space is determined by the radical, so please state that radical(J_WMSSM) = J1 ∩ J2 ∩ J3 with J2 of dimension 25, and clarify the relationship between this and the one-component statement for the image.","section":"§6.2"},{"comment":"The proof of Theorem 4.7 says 'A computation confirms that the ideal generated by these five quadrics has codimension four'; since this is a short explicit ideal, it would be helpful to include the Macaulay2 command or a hand-checkable argument for this codimension claim, especially because it is used to establish the dimension and smoothness of the incidence variety Y.","section":"§4.3, Theorem 4.7"},{"comment":"There are typographical and formatting issues that should be corrected in a revision: 'T able' in the header of Table 1, 'K¨ ahler' in Section 2.1, and inconsistent notation for the matrices in Section 5.2 (Ma1, Ma3, Mh1, Mh2, Mh3), which are used in the description of the type (6) equations in a way that is hard to follow.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is a large computational algebraic geometry result with significant intellectual value, but the lack of shipped code for the Macaulay2 computations (especially the tower in Section 5) is a serious verification gap. For this journal, I would expect either an ancillary file with the MSSM.m2 package and the exact commands used for the main theorems, or a separate certification document (e.g., elimination certificates, dimension certificates with error bounds). The genericity assumption on the Yukawa couplings also needs to be reflected in the title and abstract, or a degeneration analysis should be added. The paper's claims are likely correct for generic couplings, but as it stands the central theorem is not independently checkable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here’s the short version. This paper completes something people called astronomical in 1996: an explicit description of the full classical vacuum moduli space of the MSSM with the minimal renormalizable superpotential. It’s a genuine computation-heavy theorem, and if the key steps are right, it will be the reference for this object. But the most load-bearing step—the claim that a tower of ten projections is birational, hence that M3 is rational of dimension 29—is asserted on the basis of Macaulay2 computations, and the package MSSM.m2 is not shipped. That is the one thing I’d want fixed before trusting the main theorem.\n\nWhat’s actually new: previous work covered the electroweak sector or the W=0 Hilbert series. Here they compute the image of the full C49 master space in C973, decompose it into three components, give explicit prime ideals, and prove M1 is a line, M2 rational dimension 15, M3 rational dimension 29. The W_MSSM case collapses to one component. They also recover the known electroweak results as a consistency check. The geometry is nice: M2 is a cone over an incidence correspondence inside a product of Segre varieties, and the ideal of the base Y in C63 is explicit. There is no fitting anywhere: the coupling matrices are absorbed by invertible linear changes of variables, and the theorem is honestly stated for generic invertible couplings, not for measured Yukawa hierarchies.\n\nThe soft spots, in proportion. The verification gap is real. Table 5 gives rational-function expressions like g = hh/c but without the elimination data that would certify each map is generically one-to-one. The dimension 29 is computed by a 'fast probabilistic algorithm.' The primality of some ideals is left to computation. None of this is a red flag by itself, and it doesn’t look like a circular argument—the WLOG field redefinition is legitimate. But it is exactly the kind of thing that can fail in a corner case, and right now nobody can rerun it. The generic-coupling assumption is a scope restriction, not a flaw: the paper says so clearly, and the conclusion is about the generic structure.\n\nWho this is for: algebraic geometers who want a concrete high-dimensional example, and hep-th people who care about vacuum geometry. It deserves serious peer review. If the computations are correct, it’s a landmark. I’d send it to the best computational algebraist I know and ask for the code, or at least for a reproducibility appendix with explicit certificates for the birational maps and the dimension computation. The claims are precise enough that a referee can check them.","headline":"A landmark computation of the full MSSM vacuum moduli space, but the key birationality claims live in unshipped Macaulay2 code.","tokens_in":24558,"tokens_out":2928,"would_cite":true,"duration_ms":30722,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T60","14M12","13P10","14Q10"],"pacs":["11.30.Pb","12.60.Jv"],"model":"deepseek-v4-flash","headline":"MSSM vacuum moduli space splits into a line and two rational varieties.","keywords":["vacuum moduli space","MSSM","master space","F-term equations","gauge invariant operators","Gröbner basis","Segre variety","birational model"],"falsifier":"Replace C1, C2, and C3 by the observed Standard Model Yukawa matrices (nearly diagonal, entries set by quark and lepton masses, with C0 the µ-term) and recompute the primary decomposition of the Jacobian ideal of Wminimal and the dimensions of the images of its components; if the component count, the dimensions 1, 15, 29, or the rationality statement changes, the theorem does not extend to physical parameters, and the paper's own Section 3.1 assumption shows why.","tokens_in":23494,"feed_emoji":"⚛️","tokens_out":9337,"duration_ms":89222,"temperature":0.7,"pith_summary":"With the minimal renormalizable superpotential and generic complex couplings, the paper computes the full classical vacuum moduli space of the MSSM: the set of zero-energy field configurations modulo gauge transformations. It proves that the master space, the F-flat variety cut out by the superpotential derivatives, splits into three irreducible components, and that their images under gauge-invariant operators are a line, a rational 15-dimensional variety, and a rational 29-dimensional variety. When neutrino terms are added to the superpotential, the vacuum moduli space collapses to a single irreducible component, whose ideal is the ideal of the largest component together with the neutrino variables. The result matters because the vacuum moduli space is a stable, quantum-protected feature of a supersymmetric theory, so explicit birational descriptions of its components give a rigorous geometric picture of where the MSSM's flat directions lie and how the gauge-invariant operators organize them.","feed_headline":"MSSM vacuum moduli space splits into a line and two rational varieties","feed_subtitle":"The full computation yields a line plus 15- and 29-dimensional rational components; adding neutrinos leaves one component.","key_machinery":"The central object is the master space X⊂C49, the common zero locus of all 49 partial derivatives of the superpotential; the vacuum moduli space is the symplectic quotient of X by the complexified gauge group, realized by mapping through the 976 gauge-invariant operators. The mechanism that makes the problem tractable is a change of variables that absorbs the Yukawa coupling matrices into the quark and lepton fields, leaving F-term equations that are mostly 2×2 minors, together with a tower of projections. Starting from the thirteen types of gauge-invariant operators that do not vanish on the largest component X3, the paper adds one operator type at a time and proves each projection is birational, ending at an explicit base variety Y⊂C63 defined by the equations listed in its Computation 5.2. Since every step of the tower is birational, the equations of Y serve as a birational model of M3, and an analogous incidence construction describes M2 through the Segre varieties.","core_discovery":"For either superpotential, the paper proves that the Jacobian ideal of W decomposes as the intersection of three prime ideals, defining three reduced irreducible components X1, X2, and X3 of the master space in C49, of dimensions 23, 27, and 41. Under the map to gauge-invariant operator coordinates in C973, these components have images M1, M2, and M3 of dimensions 1, 15, and 29; the paper shows M1 is a line, M2 and M3 are rational, and it supplies explicit defining equations for birational models of all three. For M2 the birational model is a 15-dimensional cone over an incidence correspondence between Segre varieties in C39, and restricting to the electroweak sector recovers the previously known cone over P2×P2. For WMSSM, the added neutrino variables vanish on every component of the master space, two of the images collapse, and the vacuum moduli space becomes the single irreducible component whose ideal is the ideal of M3 together with the neutrino variables.","pith_inferences":["The theorem is proved for generic invertible coupling matrices; a natural extension is to run the same primary decomposition with the measured, hierarchical Standard Model Yukawa matrices, since the near-diagonal structure is not covered by the generic assumption.","The birational tower implies that most of the 783 nonvanishing gauge-invariant operators on the largest component are redundant as coordinates; this suggests a minimal set of composite operators could be extracted for phenomenological scans of MSSM flat directions.","The incidence-correspondence description of M2 suggests that the simpler geometric structures seen in restricted sectors are slices of the full moduli space, and one can test whether the 29-dimensional M3 model exhibits a similar slice structure when only quark and lepton number operators are retained."],"forward_implications":["The full vacuum moduli space of the neutrino-less MSSM is now explicitly understood as three rational components, so questions such as counting flat directions or deciding which gauge-invariant operators are independent can be answered on low-dimensional birational models instead of in C973.","Adding right-handed neutrinos removes the small components: for WMSSM the entire vacuum moduli space is one irreducible component, with no independent neutrino coordinates.","The new component analysis is consistent with the electroweak-sector result: setting Q=u=d=0 recovers the cone over P2×P2, confirming that the full-space geometry extends the earlier restricted computation.","Because each projection in the tower is birational, the explicit equations in C39 and C63 faithfully encode the dimension and rationality of the full components, not just approximations to them."],"supporting_citations":[{"why":"Supplies the electroweak-sector vacuum moduli space (the cone over P2×P2) that the paper recovers by restriction, and the earlier program it completes.","marker":"[1]"},{"why":"Provides the flat-direction analysis and the standing assumption that the Yukawa coupling matrices are invertible, on which the tilde-basis change of variables rests.","marker":"[50]"},{"why":"Establishes that the classical vacuum moduli space is the symplectic quotient of the master space by the complexified gauge group, justifying the gauge-invariant-operator map.","marker":"[41]"},{"why":"Introduces the master space as the F-flat variety, the object whose irreducible components the paper decomposes.","marker":"[42]"},{"why":"Defines Segre varieties and their ideals of 2×2 minors, used for the geometric description of M2 as an incidence correspondence.","marker":"[59]"}],"fun_headline_variants":["MSSM vacua: 1D line, 15D cone, 29D rational","Neutrinos collapse MSSM vacua from 3 components to 1","MSSM vacuum space: three irreducible, all rational","973D MSSM vacua reduce to 1, 15, and 29 dimensions","Full MSSM moduli space: line, cone, rational"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire decomposition assumes the three Yukawa coupling matrices are invertible generic complex numbers, so the proved component structure applies to generic couplings, not to the observed nearly diagonal, hierarchical Standard Model couplings.","fun_headline_variants_meta":{"raw":{"variants":["MSSM vacua: 1D line, 15D cone, 29D rational","Neutrinos collapse MSSM vacua from 3 components to 1","MSSM vacuum space: three irreducible, all rational","973D MSSM vacua reduce to 1, 15, and 29 dimensions","Full MSSM moduli space: line, cone, rational"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000988,"raw_usage":{"total_tokens":4247,"prompt_tokens":1058,"completion_tokens":3189,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":674,"completion_tokens_details":{"reasoning_tokens":3087}},"tokens_in":674,"tokens_out":3189,"duration_ms":26259,"temperature":1.0,"reasoning_tokens":3087,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:57:24.736600+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Replace C1, C2, and C3 by the observed Standard Model Yukawa matrices (nearly diagonal, entries set by quark and lepton masses, with C0 the µ-term) and recompute the primary decomposition of the Jacobian ideal of Wminimal and the dimensions of the images of its components; if the component count, the dimensions 1, 15, 29, or the rationality statement changes, the theorem does not extend to physical parameters, and the paper's own Section 3.1 assumption shows why.","supporting_citations":[{"cited_title":"Harris, Algebraic geometry, a first course , vol","cited_arxiv_id":null,"evidence_quote":"Defines Segre varieties and their ideals of 2×2 minors, used for the geometric description of M2 as an incidence correspondence."}],"review_version":2}