{"id":"d16fbfb5-7560-4640-9168-d478355b7472","arxiv_id":"1908.01913","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A new F-theory construction with two elliptic sections gives an MSSM spectrum with no vector-like exotics via Wilson line breaking.","lead":"This paper constructs a global F-theory model of the minimal supersymmetric standard model, with SU(5) broken by a Wilson line. It uses two elliptic sections to remove the vector-like exotics that plagued earlier versions, and finds a mirror world as a dark matter candidate.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3's proof of non-torsion of τ−ζ over S_GUT is not supplied; the no-exotics conclusion in §10.1 depends on it, and a torsion twist would restore vector-like exotics.","rationale":"The paper's headline claim is the reproduction of the exact MSSM spectrum, and the most distinctive improvement over prior work is the elimination of vector-like exotics. That elimination is achieved by incorporating the translation by τ−ζ into the involution and then using the non-triviality of O((τ)−(ζ)) to make the bulk vector-like cohomology vanish. The single most load-bearing point is therefore Lemma 3, exactly as the Reader identified: if τ−ζ were torsion, the twist would be trivial and the vector-like exotics would reappear. My reading of Section 2.2 and Lemma 3 confirms that the proof is not given for the singular locus S_GUT: the 't takes all values' argument concerns smooth fibers, while over a general point of S_GUT the fiber is cuspidal and τ is at the singular point; the resolved I5 fiber has a nontrivial component group, so torsion is not excluded by the stated reasoning. The extension from the special coefficient choice to general allowable coefficients is asserted rather than proved. This is a genuine gap, but it is a gap in a supporting lemma rather than a demonstrated contradiction. The matter-generation count in Section 8.3 is largely deferred to the companion papers and is also a concern, but it is secondary: even if the three generations are correct, the no-exotics claim would fail if Lemma 3 fails. The paper does contain substantial independent geometric construction and partially checks G-flux and D-term conditions, so I do not see grounds for rejection; the appropriate status remains conditional on resolving the torsion question and on the companion-paper computations.","tokens_in":46264,"tokens_out":11450,"duration_ms":192494,"concrete_test":"Work on the crepant resolution W̃4 over a general curve C ⊂ S_GUT, or over the function field of S_GUT, and compute the order of the section τ−ζ in the Mordell-Weil group. Use the height pairing / Shioda-Tate formula: for each n ≥ 1, test whether n[(τ)−(ζ)] is linearly equivalent to a vertical divisor supported on fiber components. In the special locus a5=−a0 (small), a2=a3=a4=0, verify explicitly that no such linear equivalence holds, with particular attention to n=5, since the I5 component group permits 5-torsion. If a non-torsion example is found, openness of the non-torsion condition gives Lemma 3 for a general allowable choice; if n(τ−ζ)=0 for some n, the no-exotics argument in §10.1 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central no-exotics claim in Section 10.1 replaces the trivial twist in the bulk-spectrum computation by O((τ)−(ζ)) and asserts that all derived push-forwards in (10.2) vanish because (τ)−(ζ) is 'not linearly equivalent to zero anywhere, in particular nowhere over S_GUT.' The only support for this is Lemma 3, which claims that τ−ζ is not of finite order in Pic^0 over a general point of S_GUT = {z=0}. The proof preceding Lemma 3 does not cover this locus: the argument uses t=y/x=z taking all values on smooth fibers over B3, whereas over a general point of S_GUT the fiber is the singular cuspidal curve and τ lands at the cusp. On the crepant resolution the relevant fiber is an I5 fiber with nontrivial component group, so τ−ζ could in principle be torsion; the Z5 component group alone permits 5-torsion. The subsequent step, 'so these same assertions hold for a general allowable choice of the coefficients a_j,' is an unproved genericity extension from the boundary locus a5=−a0 small, a2=a3=a4=0. If τ−ζ were n-torsion, then O((τ)−(ζ)) would have a trivial positive power, the vanishing used to eliminate the (3,2)_{−5/6} and (3̄,2)_{5/6} vector-like pairs would fail, and the model would retain the exotics of the earlier construction [43].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an F-theory compactification with two sections over a base B3, together with a Z2 involution that incorporates translation by the difference of the two sections, and uses this to form a quotient fourfold W∨4/B∨3 with a Wilson line breaking SU(5) to the Standard Model gauge group. The authors claim that the resulting spectrum contains exactly three chiral generations, one Higgs pair, no vector-like exotics in the bulk or on matter curves, and a hidden mirror sector, thereby reproducing the MSSM matter content. The central mechanism is the replacement of the trivial twist in the bulk-spectrum computation by O((τ)−(ζ)), whose presumed non-torsion nature eliminates the vector-like pairs that plagued earlier constructions. The paper relies extensively on two companion papers for the base threefold, the toric resolution data, and several key cohomological lemmas.","tokens_in":46729,"tokens_out":4418,"duration_ms":46050,"significance":"If the construction is correct, this is a significant result: a global string/F-theory vacuum with the exact MSSM chiral spectrum, a concrete mechanism for eliminating vector-like exotics via a two-section twist, a Z4 R-symmetry, and a possible dark-matter mirror sector. The paper explicitly engages with the known obstruction—the theorem that flat U(1)_Y bundles on a GUT surface force vector-like states—and shows a plausible way around it by working with a torus fibration with two sections. The strength of the paper is the explicitness of the geometric construction: the fourfolds, resolutions, spectral divisors, and matter curves are written out in detail, and the final spectrum is presented as a definite, falsifiable set of cohomology computations. The main weakness is that several load-bearing mathematical claims, especially the non-torsion of τ−ζ over the GUT divisor and the chiral spectrum calculation, are either proved only in a special case or deferred to companion papers, so the central conclusion is not yet self-contained.","major_comments":[{"comment":"The proof of Lemma 3 establishes the non-finite order of τ−ζ only for smooth fibers over B3−S_GUT and for a special coefficient choice (a5=−a0 small, a2=a3=a4=0). The statement that 'these same assertions hold for a general allowable choice of the coefficients aj' is an unproved genericity extension. This point is load-bearing: the no-exotics computation in §10.1 replaces the trivial twist by O((τ)−(ζ)) and asserts the vanishing of the derived push-forwards in (10.2) because '(τ)−(ζ) is not linearly equivalent to zero anywhere, in particular nowhere over S_GUT'. Over the resolved I5 fiber the fiber is singular with component group Z5, so torsion of τ−ζ is not excluded by the smooth-fiber argument. If τ−ζ were n-torsion, O((τ)−(ζ)) would have a trivial positive power, the vanishing in (10.2) would fail, and the vector-like exotics would reappear. This needs a complete proof, not a genericity assertion.","section":"§2.2, Lemma 3"},{"comment":"The G-flux class is stated inconsistently. Equation (7.20) gives the spectral divisor class as (4(X2)+5N)+((X2)+N)=5(X2)+6N, while (7.27) asserts CHiggs≡5(X2)+5N. In (8.9) the push-forward of c1(LHiggs) is computed as (4(X)+5N)·(N+mF), but two lines later the displayed class becomes (4N+5N)·(N+mF). The subsequent conclusion G^2=0 in (8.10) and the flux quantization check in (8.11) depend on the correct numerical class of the spectral divisor. The inconsistency must be resolved: either the divisor class in (7.27) or the displayed class in (8.9) is a typo, and the correct class must be used to verify that the flux indeed satisfies the required conditions.","section":"§8.5 (with §7.4 and §8.6)"},{"comment":"The central chiral-spectrum claim—three generations of quarks and leptons and one pair of Higgs doublets—is encapsulated in Lemma 10, but its proof is deferred to the companion paper [15], and the detailed flux distribution is taken from Tables 1 and 2 of [15]. As the manuscript stands, the main phenomenological conclusion cannot be independently checked from the text. The paper would need either to include the proof of Lemma 10 or to state precisely which results of [15] are being assumed and in what form. Without this, the statement 'we have reproduced the spectrum of the minimal supersymmetric Standard Model' is not self-contained.","section":"§10.2, Lemma 10"}],"minor_comments":[{"comment":"The symbol N is used both for the divisor class c1(K^{-1}_{B3}) and for the corresponding line bundle; the displayed formulas in (8.9) and surrounding text would be clearer if the line bundle and its first Chern class were distinguished notationally.","section":"§8.5"},{"comment":"The sentence 'Setting z = 0 we obtain ]' contains a stray bracket; this appears to be a typographical error.","section":"§7.4"},{"comment":"The phrase 'the fibration W 4 wth coordinates' contains a typo ('wth' for 'with').","section":"Appendix A.1"},{"comment":"In the sentence 'So τ−ζ is not of finite order in Pic0(π−1(b3)) if the aj are sufficiently small', the quantifier 'sufficiently small' is ambiguous; since the following sentence specializes to a5=−a0 small, the argument should make clear whether the property is open in the coefficient space.","section":"§2.2"},{"comment":"The D-term computation is abbreviated: the identity C(4)_Higgs−4C(1)_Higgs−S_GUT ≡ 0 is asserted after a short adjustment argument, but the class of S_GUT in the relevant Picard group is not explicitly given. Spelling out this linear equivalence would make the vanishing of the D-term more transparent.","section":"§8.7"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on the companion papers [14,15], which are cited for the base threefold, the involution, the toric resolution, and key cohomological lemmas (including Lemma 10). I recommend that the editor verify the status of those papers and make them available to the referee before a final decision. The main novelty—the use of a two-section twist to eliminate vector-like exotics—is potentially sound, but the proof of non-torsion of the twist and the flux-class consistency need to be fixed in the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this is a genuine attempt at something the field has wanted for a long time: a global F-theory model with the exact MSSM spectrum and no vector-like exotics, using a two-section elliptic fibration and a translation by τ−ζ in the Z2 quotient. Second, the paper is not ready as written, because the central no-exotics step depends on a lemma whose proof is missing.\n\nWhat is actually new: putting the two sections ζ and τ on equal footing, projecting to the g^1_2 linear series, and importing the heterotic translation trick to evade the earlier theorem that flat bundles on the Enriques GUT surface always produce exotics. The resolved fourfold with the D0–D4 exceptional chain and the I5 fiber is worked out in considerable detail, and the three-generation/one-Higgs-pair counting is a serious derivation with no fitted parameters. The hidden mirror sector and the Z4 R-symmetry are nice consequences, not afterthoughts.\n\nThe soft spots are real. Lemma 3 claims τ−ζ is not of finite order over a general point of S_GUT, but the proof only runs on smooth fibers where t=y/x=z acquires all values. Over the singular fiber the resolved Pic^0 has a component group, and torsion is possible; the sentence 'so these same assertions hold for a general allowable choice' is a genericity leap, not an argument. Section 10.1 then uses exactly that non-torsion to kill the would-be (3,2)−5/6 ⊕ (3̄,2)5/6 pairs. If τ−ζ is n-torsion, the twist becomes trivial and the exotics come back. That is load-bearing. There are smaller issues: the G-flux class in 8.5 is written as 4N+5N where it should be 4(X)+5N, and Lemma 10's chiral spectrum is deferred to the companion paper rather than proved here. These are fixable.\n\nWho should read this: people working on global F-theory GUTs and heterotic/F-theory duality. The construction is rich enough to repay careful study, and the two-section mechanism is likely to be useful even if the present details need repair. Send it to a serious referee, but the referee should insist on a complete proof of Lemma 3 and the vanishing of the twisted push-forwards before this is accepted.","headline":"A serious two-section F-theory construction that claims the exact MSSM spectrum without exotics, but the no-exotics conclusion rests on an unproved lemma about τ−ζ being non-torsion over the GUT surface.","tokens_in":47123,"tokens_out":3529,"would_cite":false,"duration_ms":34781,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J32","81T30","81T60","14J28","14E15"],"pacs":["11.25.-w","11.25.Mj"],"model":"deepseek-v4-flash","headline":"This paper constructs a string compactification whose low-energy spectrum is exactly that of the MSSM, with no extra vector-like matter.","keywords":["F-theory","Heterotic duality","Wilson line symmetry breaking","MSSM spectrum","Enriques surface","SU(5) GUT","vector-like exotics","two sections"],"falsifier":"Compute the order of $\\tau-\\zeta$ in $\\operatorname{Pic}^0$ of the resolved fourfold over the generic point of $S_{GUT}$: if $\\tau-\\zeta$ is annihilated by a positive integer, or if $\\mathcal{O}((\\tau)-(\\zeta))$ is trivial over any matter or Higgs curve, then the cohomology groups that Section 10.1 sets to zero would not vanish and the no-exotics claim would fail. A direct check of the special coefficient choice $a_5=-a_0$, $a_2=a_3=a_4=0$ against a numerical example with all coefficients generic would also settle whether Lemma 3's genericity extension is valid.","tokens_in":46076,"feed_emoji":"🌌","tokens_out":6141,"duration_ms":61115,"temperature":0.7,"pith_summary":"This paper tries to establish that a global string compactification can produce the exact spectrum of the minimal supersymmetric Standard Model with no extra vector-like matter. The tool is a Heterotic/F-theory dual pair in which the torus fibers carry two sections on equal footing, so that the $\\mathbb{Z}_2$ quotient used to put a Wilson line can include a translation by the difference of the two sections. That translation twists the line bundle controlling the bulk spectrum and kills the vector-like exotics that were unavoidable in earlier single-section constructions. If correct, the model has $SU(3)\\times SU(2)\\times U(1)$ gauge symmetry, three quark and lepton families, one pair of Higgs doublets, and a hidden mirror sector.","feed_headline":"A string vacuum with exactly the MSSM spectrum","feed_subtitle":"Heterotic/F-theory duality plus Wilson-line breaking removes vector-like exotics, leaving three families and one Higgs pair.","key_machinery":"The load-bearing object is a Calabi-Yau fourfold fibred by elliptic curves with two sections, $\\zeta$ and $\\tau$, placed on equal footing. The two sections determine a $g^1_2$ on each fiber, and projecting from the third intersection point $\\upsilon$ turns the fourfold into a double cover of a $\\mathbb{P}^1$-bundle; blowing up the singular loci gives an extended $A_4$ Dynkin configuration of exceptional divisors corresponding to the $SU(5)$ roots. The machinery's decisive move is to include translation by $\\tau-\\zeta$ in the $\\mathbb{Z}_2$ involution, so the quotient compactification carries a Wilson line and the line bundle $\\mathcal{O}((\\tau)-(\\zeta))$ twists all bulk cohomology. This twist is what eliminates the vector-like exotics.","core_discovery":"The central claim is that the spectrum of the minimal supersymmetric Standard Model is reproduced from a Calabi-Yau fourfold with two elliptic sections. Starting from $E_8\\times E_8$ heterotic data broken to $SU(5)_{\\text{gauge}}$ and a mirror $SU(5)$, the paper constructs an F-theory dual over an Enriques GUT surface, then breaks $SU(5)$ by a Wilson line. The key twist is that the involution quotient includes translation by $\\tau-\\zeta$, the difference of the two sections, rather than leaving a single section fixed. This replaces the trivial bundle in the bulk cohomology computation by $\\mathcal{O}((\\tau)-(\\zeta))$, whose non-triviality removes the vector-like exotics mandated by the earlier theorem. The resulting spectrum is $SU(3)\\times SU(2)\\times U(1)$ with three families of quarks and leptons, one pair of Higgs doublets, no vector-like exotics on the bulk or matter curves, and an identical mirror sector.","pith_inferences":["A natural test of the mechanism is to repeat the two-section quotient on other GUT surfaces: if the no-exotics result is generic, the same twist $\\mathcal{O}((\\tau)-(\\zeta))$ should suppress vector-like states in any model whose sections differ by a non-torsion class.","Since the proof of non-torsion in Lemma 3 is given only for a special coefficient locus, computer-algebra searches over the full coefficient space could either confirm the generic claim or exhibit counterexamples where $\\tau-\\zeta$ becomes torsion over $S_{GUT}$.","The mirror sector's role as dark matter could be sharpened by computing the portal operators connecting visible and mirror sectors; the paper notes these may or may not exist, leaving a concrete phenomenological question.","If the construction is correct, the same semi-stable degeneration into two $dP_9$ bundles suggests a broader class of Heterotic/F-theory dual pairs with Wilson lines, possibly allowing moduli stabilization to be addressed in the same geometry."],"forward_implications":["The GUT group $SU(5)$ is broken to the Standard Model by a Wilson line, so gauge coupling unification is not spoiled by hypercharge-flux threshold corrections; the GUT scale can be identified with the compactification scale of the GUT surface.","The visible sector has exactly three families of quarks and leptons and one pair of Higgs doublets, matching the MSSM matter content with no vector-like or chiral exotics.","The quotient construction automatically produces a mirror Standard Model sector with three mirror families and mirror Higgs fields, a candidate dark-matter sector whose masses and couplings are independent moduli.","A local or global $U(1)_X$ symmetry and an asymptotic $\\mathbb{Z}_4$ R-symmetry forbid dimension-4 baryon and lepton number violating operators and constrain dimension-5 operators; $U(1)_X$ can be broken to matter parity to allow neutrino Majorana masses."],"supporting_citations":[{"why":"Companion paper establishing the compatible involutions and the necessary sign reversal of the relative one-form, required for the quotient to be Calabi-Yau.","marker":"[14]"},{"why":"Companion paper supplying the toric presentation of the base threefold, the $\\mathbb{Z}_4$ R-symmetry, and the numerical invariants used in the spectrum computation.","marker":"[15]"},{"why":"Prior global $SU(5)$ F-theory model with Wilson line breaking that contained vector-like exotics; this paper's construction is designed to evade that result.","marker":"[43]"},{"why":"Provides the classification of flat $E_8$ bundles on an elliptic curve via $dP_9$ embeddings, the central dictionary between the heterotic and F-theory sides.","marker":"[23]"},{"why":"Supplies the theorem on unobstructed deformations of normal-crossing Calabi-Yau varieties, used to justify smoothing the union of two $dP_9$ bundles.","marker":"[31]"},{"why":"Introduces the heterotic technique of using two sections and translation by their difference, which the paper adapts to eliminate vector-like exotics.","marker":"[22]"}],"fun_headline_variants":["Exact MSSM spectrum via heterotic/F-theory Wilson lines","Two-section quotient removes vector-like exotics","MSSM without vector-like exotics via Wilson lines","Heterotic/F-theory dual yields exact MSSM","Three families, one Higgs, no exotics in string vacuum"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole no-exotics conclusion rests on $\\tau-\\zeta$ being a non-torsion divisor class on the resolved fourfold over a general point of the GUT surface; if it were torsion, the twist would become trivial and the vector-like exotics would reappear.","fun_headline_variants_meta":{"raw":{"variants":["Exact MSSM spectrum via heterotic/F-theory Wilson lines","Two-section quotient removes vector-like exotics","MSSM without vector-like exotics via Wilson lines","Heterotic/F-theory dual yields exact MSSM","Three families, one Higgs, no exotics in string vacuum"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000799,"raw_usage":{"total_tokens":3574,"prompt_tokens":1065,"completion_tokens":2509,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":681,"completion_tokens_details":{"reasoning_tokens":2428}},"tokens_in":681,"tokens_out":2509,"duration_ms":20353,"temperature":1.0,"reasoning_tokens":2428,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:00:12.401576+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the order of $\\tau-\\zeta$ in $\\operatorname{Pic}^0$ of the resolved fourfold over the generic point of $S_{GUT}$: if $\\tau-\\zeta$ is annihilated by a positive integer, or if $\\mathcal{O}((\\tau)-(\\zeta))$ is trivial over any matter or Higgs curve, then the cohomology groups that Section 10.1 sets to zero would not vanish and the no-exotics claim would fail. A direct check of the special coefficient choice $a_5=-a_0$, $a_2=a_3=a_4=0$ against a numerical example with all coefficients generic would also settle whether Lemma 3's genericity extension is valid.","supporting_citations":[{"cited_title":"Heterotic/$F$-theory Duality and Narasimhan-Seshadri Equivalence","cited_arxiv_id":"1906.07238","evidence_quote":"Companion paper establishing the compatible involutions and the necessary sign reversal of the relative one-form, required for the quotient to be Calabi-Yau."},{"cited_title":"F-theory over a Fano threefold built from $A_{4}$-roots","cited_arxiv_id":"1908.01110","evidence_quote":"Companion paper supplying the toric presentation of the base threefold, the $\\mathbb{Z}_4$ R-symmetry, and the numerical invariants used in the spectrum computation."},{"cited_title":"A Global SU(5) F-theory model with Wilson line breaking","cited_arxiv_id":"1206.6132","evidence_quote":"Prior global $SU(5)$ F-theory model with Wilson line breaking that contained vector-like exotics; this paper's construction is designed to evade that result."},{"cited_title":"Vector Bundles And F Theory","cited_arxiv_id":"hep-th/9701162","evidence_quote":"Provides the classification of flat $E_8$ bundles on an elliptic curve via $dP_9$ embeddings, the central dictionary between the heterotic and F-theory sides."},{"cited_title":"Logarithmic deformations o f normal crossing varieties and smoothing of degenerate Calabi-Yau varieties","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem on unobstructed deformations of normal-crossing Calabi-Yau varieties, used to justify smoothing the union of two $dP_9$ bundles."},{"cited_title":"The Spectra of Heterotic Standard Model Vacua","cited_arxiv_id":"hep-th/0411156","evidence_quote":"Introduces the heterotic technique of using two sections and translation by their difference, which the paper adapts to eliminate vector-like exotics."}],"review_version":1}