{"id":"36518d52-deef-4c73-8651-d4087c9e705f","arxiv_id":"1007.1297","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Lifting the exotic states that hypercharge flux induces in F-theory SU(5) GUTs requires breaking all extra U(1) symmetries, so proton decay must be blocked by a hand-imposed R-parity.","lead":"In F-theory SU(5) grand unified models, using hypercharge flux to split Higgs doublets from their coloured triplet partners leaves light exotic particles that extra U(1) symmetries keep massless. The authors show that giving GUT singlets vacuum expectation values to lift those exotics breaks every U(1), so an R-parity has to be added by hand to keep proton decay forbidden.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The abstract's claim that lifting the exotics breaks all U(1)s and induces proton decay (abstract:s2) is stated as a general finding, but §3.1 supports it with a sketch plus a scan of constructed models; the authors' own 'practically we seem to find' concedes it is not proven.","rationale":"Reading in good faith: the paper's central claim is a negative result about hypercharge-flux exotics in semi-local F-theory SU(5) models, plus a by-hand R-parity patch. For s2 to hold as stated, the sum-rule argument in §3.1 must be valid for all models in the class, not just the ones constructed. The geometric half (§2) is solid: the b_i expansions, P5 factorisations, and singularity checks are written out in enough detail to verify by hand, and the flux tables are reusable. The gauge-coupling byproduct (abstract:s4) also checks out: I verified that the exotic set in eq (4.5), (3,2)+1/6 + (3bar,1)+1/3 + 2×(1,1)+1, gives the same 1-loop b_1, b_2, b_3 as a complete 10 of SU(5), so the claim that unification accuracy survives is correct at 1-loop (the paper explicitly sets aside the flux-induced non-universal correction of [7]). The soft spot is the inferential gap in s2: §3.1's argument is a sketch, the sum rule is stated without derivation, and the authors' own 'practically we seem to find' concedes the claim is empirical. The reader's weakest_assumption points at the global E8 assumption (footnote 1), which is a real scope limitation but is acknowledged; the more load-bearing issue for the headline claim is the gap between the model scan and the general statement. The reader's rationale does identify this gap, so I agree on substance but mark partial agreement because the weakest_assumption field locates the soft spot in the geometry rather than in the inference. The R-parity patch (s3) is by hand and acknowledged; in §5 the mild version fails and the strong version is assumed, which is a further qualification the abstract does not carry. Verdict stays CONDITIONAL: the geometric results stand, the gauge-coupling observation is correct, but s2 needs either a proof or a softened statement, and s3 needs an origin.","tokens_in":37138,"tokens_out":12349,"duration_ms":190513,"concrete_test":"For each model in tables 9-12, extract the U(1) charge vector of every exotic field from its curve label (e.g., 56 = -t4 - t5) and solve the linear system {q(exotic) = 0 for all exotics}. Check whether the solution space contains a vector with nonzero charge on at least one Higgs curve (5Hu or 5Hd). If it does for any model, the claim that all U(1)s are broken is false for that model and the abstract's s2 needs qualification. If it does not for all four models, the claim is supported for the constructed models but still not proven in general, and the abstract should say so. This is a finite linear-algebra check doable by hand or with a short script.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline negative result (abstract:s2) is that lifting the hypercharge-flux exotics via GUT-singlet vevs spontaneously breaks all the extra U(1)s, so proton decay operators are induced. The support in §3.1 is a two-step argument: (i) a sum rule relating the hypercharge flux weighted by U(1) charges on 5-curves to minus the same on 10-curves, and (ii) the inference that any surviving U(1) forbidding proton decay (a PQ symmetry, with a charged Higgs) would force charged exotics, contradicting the requirement that exotics be lifted. Step (i) is stated without derivation, and the precise U(1) combination and the role of the monodromy identification are not spelled out, so the argument is hard to check as written. Step (ii) is a sketch. The authors themselves write 'Practically we seem to find that the above conclusion indeed holds and there are no models in which all the exotics are lifted and a U(1) remains unbroken,' which concedes the claim is empirical over the constructed models rather than proven. The abstract does not carry this hedge. The R-parity resolution (abstract:s3) is imposed by hand and the authors flag its origin as the weakest aspect; in the 3-curve model of §5 the mild R-parity fails and the strong version is 'assumed.' These are acknowledged limitations, but the gap between the abstract's general phrasing and the body's model-by-model evidence remains the load-bearing soft spot.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript studies SU(5) F-theory GUTs in a semi-local framework with small monodromy groups that leave more than one extra U(1). Section 2 constructs the elliptic fibrations for the 2+1+1+1, 2+2+1 and 3+1+1 factorisations, solves the tracelessness constraint b1 = 0 with explicit ansätze, verifies the absence of non-Kodaira singularities by example, and tabulates the matter curves, their homology classes, and the restrictions of the hypercharge and U(1) fluxes (tables 3, 5, 7). Section 3 sets out the phenomenological constraints: hypercharge flux used for doublet-triplet splitting induces vector-like exotics that can only be lifted by GUT-singlet vevs, which break the extra U(1)s and, in every model the authors construct, allow dimension-4 and dimension-5 proton decay operators; an R-parity imposed by hand removes them. Sections 4 and 5 give explicit single-curve and three-curve models with spectra, singlet vevs, induced masses and the resulting proton decay operators, and argue that gauge coupling unification retains MSSM 1-loop accuracy because the exotic spectrum has the beta-function coefficients of complete GUT vector pairs. Section 5.1 proposes that the quark-lepton mass splittings at the GUT scale follow from combining Froggatt-Nielsen suppression with hypercharge-flux-induced KK mass splitting.","tokens_in":37385,"tokens_out":7134,"duration_ms":131134,"significance":"The paper's durable contributions are the explicit semi-local geometries for monodromy groups with multiple U(1)s and the associated tables of curve homology and flux restriction, which are checkable and useful beyond this paper, together with the observation that the hypercharge-flux exotics in these models assemble into effective complete GUT vector pairs so that 1-loop unification survives even with exotics well below the GUT scale (Eq. 4.5 and the numerical checks in sections 4.1, 4.2, 4.3 and 5). The negative result that the extra U(1)s do not by themselves forbid proton decay once the exotics are lifted is a useful, if model-scan-based, statement for the subfield, and the Froggatt-Nielsen plus hypercharge-flux proposal of section 5.1 is a genuinely interesting, falsifiable idea for the GUT-scale mass splittings. The paper is candid about its weakest points, naming the by-hand R-parity as such and conceding that the factors of 3 in section 5.1 are not reproduced.","major_comments":[{"comment":"The abstract states as a general finding that lifting the exotics breaks all the U(1)s and induces proton decay, but the support in §3.1 is a two-step sketch. The first step, the sum rule that the hypercharge restriction summed over the 5-curves weighted by a t_i charge equals minus the same sum over the 10-curves, is asserted without derivation; it is in fact checkable directly from the N_Y columns of tables 3, 5 and 7, and the manuscript should either derive it or exhibit the check for one factorisation so the reader can verify the weighting and the role of the monodromy identification. The second step, that any surviving U(1) forbidding proton decay must be a Peccei-Quinn symmetry with a charged Higgs and hence forces charged exotics, is argued in three sentences. The authors themselves write 'Practically we seem to find that the above conclusion indeed holds and there are no models in which all the exotics are lifted and a U(1) remains unbroken', which is an empirical statement over the constructed models. Either supply the argument in full or qualify abstract:s2 to the class of models actually scanned.","section":"§3.1, paragraph 'Exotics and multiple U(1) models'; abstract:s2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The exotics-induced conclusion is conditional on two assumptions that the manuscript states but the abstract does not carry. First, the b1 = 0 constraint is solved by ansätze introducing an unspecified section c with [c] = eta - 2 chi-tilde (Eq. 2.19) and its analogues, and the text says of this 'this assumes that in a global model such a constraint can be met which is a non-trivial assumption'. Second, footnote 1 of §3.1 concedes that models with enhancements not tied to a single global E8 might avoid exotics altogether, which would dissolve the problem the paper addresses. Since abstract:s2 is phrased without either qualification, the abstract and the opening of §3.1 should state that the result holds for semi-local models with a global E8 structure and for the particular b1 = 0 solutions adopted here.","section":"§2.2 Eq. (2.18), §2.3 Eq. (2.28), §2.4 Eq. (2.33); §3.1 footnote 1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The claim that these models retain MSSM 1-loop unification accuracy rests on the exotic spectrum having the beta-function coefficients of complete GUT vector pairs, and the numerical checks (alpha_1^{-1} = 23.2, alpha_2^{-1} = 23.2, alpha_3^{-1} = 23.1 in §4.1; 11.4, 11.1, 11.7 in §5) are performed with all exotics at a common scale. But the models naturally give split masses, for example epsilon_1 epsilon_2 and epsilon_1 epsilon_3 in table 9, and §5 explicitly notes that the small mass splitting between exotic representations is not taken into account. Since the equivalence in Eq. (4.5) is a statement about beta-function coefficients and holds only for degenerate masses, the manuscript should either repeat one check with the natural splitting or state the range of splittings over which the 3 percent accuracy survives. As written, abstract:s4 is stronger than what is demonstrated.","section":"§4.1 Eq. (4.5) and the numerical unification checks; abstract:s4","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"For each factorisation the absence of exotic non-Kodaira singularities is asserted and then illustrated by one or two examples ('For example consider setting a1 = 0 ...'). Since the entire model building of sections 4 and 5 depends on the b_i of Eqs. (2.20), (2.30) and (2.35) being admissible, a spot check is thin support for a geometric claim of this kind. A systematic enumeration of the codimension-2 and codimension-3 loci where combinations of the a_i vanish, with a statement of which intersections are excluded, would put the claim on firm ground; if such an enumeration is impractical, the text should say explicitly that the check is by example and that the geometries are assumed admissible.","section":"§2.2, §2.3, §2.4 (statements that the ansätze induce no non-Kodaira singularities)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"'Pecci-Quinn' should read 'Peccei-Quinn', and the spelling of 'Giudice-Masiero' varies within §4.1 ('Giudice-Masier o'); please make both consistent throughout.","section":"§3.1 and §4.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The sentence 'an elegant way of breaking the GUT group to the that of the standard model' contains a stray word and should be corrected.","section":"Introduction, first paragraph","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The N_Y column mixes N_i and M_i notation, for example '-N-tilde - (M51 + M52 + M53)' for the 10_M curve. Please state explicitly the relation used to pass from the N_i to the M entries, and fix the sign convention for N_Y relative to N in Eqs. (2.22)-(2.23), so that a reader can reproduce the table from the flux quanta.","section":"Table 3 and Eqs. (2.22)-(2.23)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The '∼' in Eq. (4.5) equates a complete 10 of SU(5) with a set of SM fields that is not a complete multiplet. The intended statement is that the two have the same 1-loop beta-function coefficients; please say so rather than writing a representation equivalence.","section":"§4.1, Eq. (4.5)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The bound W_112l < 10^{-11} M_GUT is obtained by scaling an older limit by 10^1 to 10^2. Please state the source bound and the scaling explicitly, and likewise the chain of factors leading to W_ijkl < 10^{-4} M_GUT, so that the reader can judge how much of the proton decay discussion depends on these estimates.","section":"§3.1, paragraph 'Constraints on proton decay operators'","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that 'there is always a linear term induced by the singlet vevs' is presented as a general finding; it would help to exhibit the term in one explicit model of section 4 and note whether the conclusion is a scan result or follows from the charge assignments.","section":"§3.3","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The R-parity column mixes entries of the form '+1' with bare '+' and '-'. Please use a single convention, and state in the caption whether the entry is a charge or a parity.","section":"Tables 9, 10, 11","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Reference [31] has a doubled comma ('S. Katz,,') and reference [40] carries stray superscripts ('P. Salati1 and J. C. Wallet2'); both should be cleaned up.","section":"References [31] and [40]","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The section presents the Froggatt-Nielsen plus hypercharge-flux mechanism as an explanation of the GUT-scale mass splittings but then concedes 'We are unable to explain exactly the factors of 3'. Since the abstract already describes this as a motivation, consider matching the body's phrasing to that weaker claim so the reader is not left expecting a derivation.","section":"§5.1","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a careful semi-local model-building study of a kind standard for this subfield, and its checkable content (the geometries and flux tables of section 2) is its most durable part. The four major points above are all addressable by added derivation, added checks, or qualification of the abstract; none requires new physics, which is why I recommend minor revision rather than major revision. The one item I would insist on before publication is that abstract:s2 not read as a theorem when the body supports it as a scan over constructed models."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Bottom line: the geometry half of this paper is worth having and will get cited for its tables; the phenomenological half is honest work but the abstract claims more than section 3.1 delivers. Neither half is broken, but the gap between them is where a referee should push. What is genuinely new: the authors extend the semi-local construction from the single surviving U(1) of Marsano-Saulina-Schafer-Nameki to small monodromy groups leaving multiple U(1)s, and they do it for all three factorisations (2+1+1+1, 2+2+1, 3+1+1). The b_i expansions, the P5 factorisations, the singularity checks against Kodaira, and the hypercharge flux restriction tables are written out in enough detail to verify by hand. That is real, checkable work and the tables are the part I would actually use. The gauge coupling observation is a nice byproduct and I think it is right: the induced exotics assemble into effective complete GUT multiplets, so 1-loop unification accuracy survives even with the exotics well below the GUT scale. The quoted numbers back this up. Where it is soft: the central negative claim, that lifting the exotics breaks all the U(1)s and induces proton decay, rests on a sum rule in section 3.1 that is asserted rather than derived, plus a scan over the models the authors could build. They say so themselves: 'practically we seem to find.' The abstract does not carry that hedge, and it should. Either derive the sum rule or soften the sentence. The R-parity is imposed by hand and the authors flag its origin as the weakest aspect; in the 3-curve model the mild version fails and the strong version is assumed. That is acknowledged, so I would not make a federal case of it, but it does mean the models are existence proofs with a patch, not a framework. The Froggatt-Nielsen discussion in 5.1 is a sketch leaning on the authors' own earlier paper; read it as motivation. One correction to the record: the classifier says no limitations are stated. That is wrong. Footnote 1, the 'practically we seem to find' line, and the R-parity caveat are all explicit. The paper is more candid in the body than in the abstract. Who should read it: F-theory model builders and anyone doing semi-local GUT constructions. It deserves referees, mainly to force the section 3.1 argument into a checkable form.","headline":"The geometric tables are solid and reusable; the headline negative claim is a scan over constructed models stated in the abstract as a general result.","tokens_in":38120,"tokens_out":1194,"would_cite":true,"duration_ms":17947,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["12.10.Dm","11.25.Mj","12.60.Jv"],"model":"selfhosted/deepseek-v4.1-flash","headline":"In F-theory SU(5) models, the flux that splits Higgs doublets from triplets also creates exotics that the leftover U(1)s keep massless, and lifting them breaks the symmetries that were blocking proton decay.","keywords":["F-theory GUTs","hypercharge flux","doublet-triplet splitting","proton decay","R-parity","monodromy","exotic matter","gauge coupling unification"],"falsifier":"A global F-theory compactification in which the singularity enhancements on the GUT surface are not all tied to one global $E_8$, and in which hypercharge flux achieves doublet-triplet splitting with no exotic spectrum, would dissolve the problem the paper is about; equally, an explicit model in which lifting all the exotics leaves an unbroken Peccei-Quinn $U(1)$ that still forbids proton decay would refute the claimed necessity of imposing R-parity by hand.","tokens_in":38408,"feed_emoji":"⚛️","tokens_out":3722,"duration_ms":74218,"temperature":0.7,"pith_summary":"This paper asks whether an F-theory SU(5) grand unified theory can keep the MSSM's successful gauge coupling unification while still giving mass to the unwanted 'exotic' fields that hypercharge flux creates. In these semi-local models the GUT is broken to the Standard Model group by turning on flux along the hypercharge direction inside $SU(5)$, which is exactly what splits the Higgs doublets from their colour-triplet partners. The authors show that the same flux forces light exotics, that the extra $U(1)$ symmetries surviving from the underlying $E_8$ keep those exotics massless, and that giving vacuum expectation values to GUT singlets in order to lift the exotics necessarily breaks every one of those $U(1)$s. Once the $U(1)$s are gone, the selection rules that were protecting against proton decay go with them, so the authors impose an additional R-parity by hand. With that extra assumption the construction works: every exotic is lifted, proton decay operators stay forbidden, and gauge coupling unification keeps its MSSM accuracy at one loop because the exotic spectrum reassembles into effective complete GUT multiplets.","feed_headline":"Lifting GUT exotics breaks the symmetry that blocks proton decay","feed_subtitle":"In F-theory SU(5) models, an R-parity imposed by hand is the only route found to give exotics mass and still forbid proton decay.","key_machinery":"The engine is the spectral cover: the five roots $t_i$ of $b_0 U^5 + b_2 V^2U^3 + b_3V^3U^2 + b_4V^4U + b_5V^5 = 0$ label the 10-matter curves, the sums $-t_i-t_j$ label the 5-matter curves, and the monodromy group decides which roots are identified. Factorising the cover as $2+1+1+1$, $2+2+1$ or $3+1+1$ leaves several independent $U(1)$s, and the authors solve the tracelessness constraint $b_1 = t_1+...+t_5 = 0$ with explicit ansätze (equations 2.18, 2.28, 2.33) that avoid non-Kodaira singularities. Each matter curve then carries two integers: $M$, the restriction of the $U(1)$ flux, which controls chirality, and $N$, the restriction of the hypercharge flux, which controls the splitting within a GUT multiplet through $n(1,2)_{+1/2} - n(1,2)_{-1/2} = M_5 + N$ and its 10-curve analogues. The requirement that the hypercharge flux be trivial in homology, $F_Y cdot c_1 = 0$ and $F_Y cdot eta = 0$, ties all the $N$'s together and is what forces exotics to appear on a 10-curve whenever they appear on a 5-curve. Table after table of curve, charge, homology class, $N$, $M$, exotic content and R-parity is what the model-building then runs on.","core_discovery":"The paper's central claim is a tension and its resolution. Hypercharge flux is the standard F-theory mechanism for doublet-triplet splitting, but because it must be trivial in homology (so as not to acquire a Green-Schwarz mass) it induces no net chirality and therefore produces exotic fields in vector pairs. Those pairs couple renormalisably to GUT singlets, $W = X R bar{R}$, so they can only be lifted by singlet vacuum expectation values, and the authors show — for the monodromy groups $2+1+1+1$, $2+2+1$ and $3+1+1$ that leave multiple $U(1)$s unbroken — that lifting the exotics spontaneously breaks all of those $U(1)$s. Since the $U(1)$ charges are what forbid the dimension-four and dimension-five proton decay operators, the lifting generically induces them, and the authors argue this is not an accident of their examples: a sum rule relating the hypercharge flux on the 5-curves to that on the 10-curves means a symmetry heavy enough to lift the exotics cannot be a Peccei-Quinn symmetry. The escape they offer is an R-parity imposed by hand, under which all non-singlet curves except the Higgs curves are odd and all singlet curves are even; they show this forbids proton decay in the strong (field-theoretic) version, where the parity is assigned to the Kaluza-Klein tower and not just the massless modes. Because the induced exotics assemble into effective complete $SU(5)$ multiplets, the models keep the MSSM's one-loop unification accuracy even with the exotics well below the GUT scale. A secondary result is that in models where each generation sits on its own curve, the same hypercharge flux splits the Kaluza-Klein spectra of the exchanged 5-curves, which gives a reason for the quark-lepton mass splittings at the GUT scale within a Froggatt-Nielsen treatment of flavour.","pith_inferences":["If the exotics can be pushed to the TeV scale without spoiling unification, they become collider targets: the spectra in the tables include vector-like triplets and doublets with Standard-Model-like couplings, so the same construction that solves the unification bookkeeping makes a prediction for LHC-scale searches.","The R-parity the authors impose by hand is doing a lot of work, and its origin is not derived here; a natural completion would be a geometric symmetry of the compactification surface, which is the kind of thing a global model could either supply or rule out.","The Froggatt-Nielsen mechanism sketched for the three-curve case suggests a sharper test: the ratio of quark to lepton Yukawa suppression should track the local hypercharge flux density on the relevant curve, so flavour fits and flux choices are not independent knobs.","The authors note that their exotics are natural messenger candidates for gauge mediation, which would tie the singlet vacuum expectation values that set the exotic masses to the supersymmetry-breaking scale rather than leaving them free."],"forward_implications":["Any F-theory SU(5) construction that uses hypercharge flux for doublet-triplet splitting and also wants the extra $U(1)$s to forbid proton decay must give up one of the two: either the exotics stay light, or proton decay operators are allowed.","Gauge coupling unification is not spoiled by leaving the exotics below the GUT scale, provided the induced spectrum assembles into effective complete $SU(5)$ multiplets; the authors exhibit several spectra with this property, some of which can be pushed down to the TeV scale.","A viable model requires an extra selection rule beyond the $U(1)$s, and the paper's candidate is an R-parity assigned to whole matter curves, which forbids proton decay even when Kaluza-Klein modes are integrated out.","In three-curve models the same hypercharge flux that splits the GUT multiplets also splits the Kaluza-Klein towers exchanged in Froggatt-Nielsen diagrams, which naturally explains why the light generations show quark-lepton mass splitting while the heaviest does not."],"supporting_citations":[{"why":"Supplies the hypercharge-flux mechanism for doublet-triplet splitting that the whole tension is built around.","marker":"[3]"},{"why":"Provides the general treatment of breaking the GUT group by flux in F-theory, which the semi-local constructions follow.","marker":"[4]"},{"why":"Establishes that hypercharge flux must be trivial in homology to avoid a Green-Schwarz mass, the requirement that yields the flux sum rules.","marker":"[6]"},{"why":"The source of the result that hypercharge flux used for doublet-triplet splitting induces exotics, and of the flux-restriction formalism the tables extend.","marker":"[8]"},{"why":"The single-$U(1)$ $3+2$ monodromy model used as the worked example of how a singlet vacuum expectation value induces proton decay through Kaluza-Klein modes.","marker":"[11]"},{"why":"Supplies the three-curve Froggatt-Nielsen framework and the singlet vacuum expectation values that the flavour-splitting discussion extends.","marker":"[12]"},{"why":"Provides the spectral-cover and line-bundle homology assignments that fix the Chern classes of the $a_I$ in the tables.","marker":"[16]"},{"why":"Supplies the physical suppression scale used to argue that a singlet vacuum expectation value sets the exotic mass relative to the GUT scale.","marker":"[44]"}],"fun_headline_variants":["Lifting exotics breaks U(1)s that forbid proton decay","Hand-imposed R-parity only way to lift exotics and block proton decay","Hypercharge flux exotics come with proton decay","F-theory GUT exotics can't be lifted without proton decay","R-parity by hand saves F-theory GUT exotics"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The whole tension rests on assuming that every curve and point enhancement descends from a single global $E_8$ unfolding over the GUT surface — the authors themselves note in footnote 1 of section 3.1 that enhancements not tied to one global $E_8$ might avoid exotics altogether — and the semi-local geometries additionally rely on a specific ansatz for solving $b_1=0$ with an unspecified section $c$, which the authors concede may be non-trivial to meet in a global model.","fun_headline_variants_meta":{"raw":{"variants":["Lifting exotics breaks U(1)s that forbid proton decay","Hand-imposed R-parity only way to lift exotics and block proton decay","Hypercharge flux exotics come with proton decay","F-theory GUT exotics can't be lifted without proton decay","R-parity by hand saves F-theory GUT exotics"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1213,"prompt_tokens":1135,"completion_tokens":78,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":0}},"tokens_in":1135,"tokens_out":78,"duration_ms":1527,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":null,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-11-10T23:01:52.742589+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"A global F-theory compactification in which the singularity enhancements on the GUT surface are not all tied to one global $E_8$, and in which hypercharge flux achieves doublet-triplet splitting with no exotic spectrum, would dissolve the problem the paper is about; equally, an explicit model in which lifting all the exotics leaves an unbroken Peccei-Quinn $U(1)$ that still forbids proton decay would refute the claimed necessity of imposing R-parity by hand.","supporting_citations":[{"cited_title":"GUTs and Exceptional Branes in F-theory - II: Experimental Predictions","cited_arxiv_id":"0806.0102","evidence_quote":"Supplies the hypercharge-flux mechanism for doublet-triplet splitting that the whole tension is built around."},{"cited_title":"Breaking GUT Groups in F-Theory","cited_arxiv_id":"0808.2223","evidence_quote":"Provides the general treatment of breaking the GUT group by flux in F-theory, which the semi-local constructions follow."},{"cited_title":"D-branes at Singularities, Compactification, and Hypercharge","cited_arxiv_id":"hep-th/0610007","evidence_quote":"Establishes that hypercharge flux must be trivial in homology to avoid a Green-Schwarz mass, the requirement that yields the flux sum rules."},{"cited_title":"Monodromies, Fluxes, and Compact Three-Generation F-theory GUTs","cited_arxiv_id":"0906.4672","evidence_quote":"The source of the result that hypercharge flux used for doublet-triplet splitting induces exotics, and of the flux-restriction formalism the tables extend."},{"cited_title":"Compact F-theory GUTs with U(1)_PQ","cited_arxiv_id":"0912.0272","evidence_quote":"The single-$U(1)$ $3+2$ monodromy model used as the worked example of how a singlet vacuum expectation value induces proton decay through Kaluza-Klein modes."},{"cited_title":"Froggatt-Nielsen models from E8 in F-theory GUTs","cited_arxiv_id":"0912.0853","evidence_quote":"Supplies the three-curve Froggatt-Nielsen framework and the singlet vacuum expectation values that the flavour-splitting discussion extends."},{"cited_title":"Higgs Bundles and UV Completion in F-Theory","cited_arxiv_id":"0904.1218","evidence_quote":"Provides the spectral-cover and line-bundle homology assignments that fix the Chern classes of the $a_I$ in the tables."},{"cited_title":"The Neutrino Suppression Scale from Large Volumes","cited_arxiv_id":"hep-ph/0611144","evidence_quote":"Supplies the physical suppression scale used to argue that a singlet vacuum expectation value sets the exotic mass relative to the GUT scale."}],"review_version":2}