{"id":"5b3b1931-f208-4ac2-8ec9-8dfbb066a347","arxiv_id":"2411.19683","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A systematic M-theory construction of SymTFTs for discrete and continuous (-1)-form symmetries, with a new 4-group structure in 4d N=1 SYM from G2 manifolds.","lead":"This paper shows how (-1)-form symmetries, which reinterpret coupling constants such as the theta angle as background fields, emerge from the geometry of M-theory compactifications, and computes their anomalies in a unified framework. It also finds a new 4-group structure and modified instanton sums in 4d N=1 gauge theories engineered from G2 manifolds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The SymTFT construction depends on an unproven differential-cohomology uplift (2.13) and completion rule (2.43); all Section 3/4 actions and the 4-group/instanton-sum results inherit this premise, so a wrong or non-unique prescription would shift the claimed anomaly coefficients.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing point: the differential-cohomology uplift (2.13) and the BF-completion rule are proposals, admitted to be verified only case-by-case, and all SymTFT actions and derived results inherit them. My stress test agrees and sharpens the concern by noting that the completion coefficient is fixed only by matching known examples, so the entire machinery is underdetermined from first principles. The concrete test I propose is an analytical check of the closure and quantization of ĥ, the key output of the completion rule, in the G2 example that underpins the 4-group and modified-instanton-sum claims. Passing the test would substantially retire the concern; failing it would show that the central claim, as stated, is not established. Since the reader already set CONDITIONAL with moderate confidence, and my analysis does not change the verdict, I recommend UNCHANGED. I do not see a more load-bearing concern: the geometric criterion itself is well supported by the examples, the torsion computations are detailed and consistent with independent field-theory results, and the reliance on the authors' previous work [22] is a standard inheritance rather than an internal flaw. The single genuine soft spot is the unproven refinement/completion prescription, which the paper itself flags.","tokens_in":71058,"tokens_out":12860,"duration_ms":109952,"concrete_test":"Verify analytically that ĥ^f_4 defined in (4.55) is closed and quantized (periods in 2πZ) on any configuration satisfying the M-theory Bianchi identities in the G2 background, using (4.54)-(4.55) and the equations dG7 = -1/(4π)G4∧G4, dH3 = ι*G4. If this fails for a generic instanton configuration, the identification (4.56) with tr{F∧F}/8π², and hence the modified instanton sum (4.86) and the 4-group result, are not consequences of the proposed M-theory prescription. If it passes, the residual risk is the unproven uniqueness of the completion rule (2.43); this can be checked separately by repeating the SymTFT reduction of Section 4.3 with an alternative coefficient in (2.41) and comparing the resulting anomaly terms with (4.40).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the differential-cohomology refinement of the M-theory kinetic term, ˘G4 ⋆ ˘dG7 (eq. 2.13), together with the completion rule (2.41)-(2.43) that turns the BF-like term F∧h into F∧ĥ with ĥ closed and quantized, determines all BF terms and anomaly polynomials of the SymTFT. This is a proposal, not a derivation: Section 2.2.3 states 'While we lack a more comprehensive explanation, this procedure is suited to match the combined BF terms and the symmetry topological operators in all cases considered in the present work.' Every SymTFT action in Sections 3 and 4 (eqs. 3.16, 3.37, 4.12, 4.40) and every subsequent physical conclusion—the identification of U(1)[-1,f] with the Chern–Weil θYM symmetry via ĥ^f_4/2π ↔ tr{F∧F}/8π² (4.56), the 4-group structure (4.83), and the modified instanton sum (4.86)—inherits this premise. In particular, the coefficient of the Chern–Simons contribution added in (2.41) is fixed only by requiring agreement with the fluxbrane topological operators in the examples considered; a different but a priori equally natural completion would alter the anomaly coefficients and hence the derived physical predictions. The paper's internal consistency checks (agreement with [116] and known field-theoretic anomalies) provide evidence, but they do not eliminate the risk because the same completion rule is used to produce both the SymTFT action and the field-theory data being matched.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a formalism for computing (-1)-form symmetries and their SymTFTs from M-theory geometric engineering. The central proposal is to refine the M-theory kinetic term G4 ∧ G7 to the differential character ˘G4 ⋆ ˘dG7 (Eq. (2.13)) and to complete the resulting BF-like terms F ∧ h into couplings F ∧ ĥ with ĥ closed and quantized via a contribution from the Chern-Simons term (Eqs. (2.41)-(2.43)). From this, the paper derives SymTFT actions for 5d N=1 SCFTs, 4d N=2 KK theories, and 4d N=1 theories on G2-manifolds of the type B7/Γ_{p,N,q}. It identifies discrete Z_p and continuous U(1) (-1)-form symmetries, matches known anomaly coefficients such as (N-1)/N, and reproduces the 4-group structure and modified instanton sum of [116]. The paper also constructs symmetry operators from P7-fluxbranes, refining earlier proposals for continuous abelian symmetries.","tokens_in":71469,"tokens_out":4073,"duration_ms":43229,"significance":"If the proposed refinement and completion rules are correct, the paper provides a genuinely systematic top-down method: the (-1)-form symmetry sector of an M-theory-engineered QFT would be computable from the cohomology of the link L_{10-d}, with BF terms and mixed anomalies obtained from a single differential-cohomology action. The paper's strengths are its concreteness and cross-checks: the geometric integrals are explicit, the lens-space coefficients match [49, 57], the local P1×P1 triple intersections match [31], and anomaly coefficients reproduce field-theory results [81, 116, 140]. The fluxbrane construction of continuous symmetry operators is also a useful clarification. However, the central derivation is contingent on an unproven uplift and an openly admitted completion rule, so the significance of the main claim depends on resolving that ambiguity.","major_comments":[{"comment":"The entire BF-term derivation rests on the proposal that the M-theory kinetic term refines to the differential character holonomy ∫_{M11} ˘G4 ⋆ ˘dG7. This is not derived from a first principle: the modified Bianchi identity dG7 = -G4∧G4/(2(2π)) does not by itself select this particular differential cohomology uplift, and ˘dG7 is not the differential character of G7. Since every subsequent SymTFT action (Eqs. (3.16), (3.37), (4.12), (4.40)) inherits this premise, a different but a priori consistent refinement would change the claimed BF coefficients. The authors should either give a systematic derivation of (2.13) or present it explicitly as a conjecture with a clear testable criterion.","section":"Section 2.1.2, Eq. (2.13)"},{"comment":"The completion of the BF-like term F ∧ h into F ∧ ĥ with closed quantized ĥ is implemented by adding a contribution from the Chern-Simons reduction with coefficients fixed to match the known symmetry operators. The text states: \"While we lack a more comprehensive explanation, this procedure is suited to match the combined BF terms and the symmetry topological operators in all cases considered in the present work.\" This is a load-bearing point rather than a presentation matter, because the same completion rule is used both to produce the SymTFT actions in Sections 3 and 4 and to identify the field-theoretic anomaly coefficients and the 4-group structure in Section 4.4. As written, the derivation is close to circular: the rule is tuned on the same data it is then used to predict. I request a more principled criterion for when the twist-term correction must be added and an independent check in at least one example where the coefficient is not already an input.","section":"Section 2.2.3, Eqs. (2.41)-(2.43)"},{"comment":"The derivation of the 4-group structure and the modified instanton sum depends on several choices that are not derived from the geometry: the selection K=p for the gauged subgroup of U(1)[2], the non-trivial transformation of a4 in Eq. (4.74), and the relaxation of the discreteness condition for a4 in Eq. (4.80). These choices are motivated by agreement with [116], but the paper does not explain whether they are forced by the link geometry L6=(S3_f/Z_{pN})×(S3_b/Z_p) or by the field-theoretic outcome one wants to reproduce. Without such a derivation, the geometric-engineering claim for the 4-group structure is weaker than the summary suggests. Please clarify which of these choices are uniquely fixed by the M-theory data and which are additional input.","section":"Section 4.4, Eqs. (4.73)-(4.86)"}],"minor_comments":[{"comment":"The spelling \"Chern-Weyl\" is used in several places (e.g., Sections 1.1 and 4.1.2) where the standard name is \"Chern-Weil\"; please unify.","section":"Throughout"},{"comment":"The quantity eH_{d-2+k} is introduced as the curvature of a sum but its field-strength map and normalization are not defined before use; please define it explicitly.","section":"Eq. (2.44)"},{"comment":"The boundary projection operator eδ is described in footnote 12 as a book-keeping device without a precise definition. Since it carries substantial weight in the projection of the SymTFT to the physical boundary, a more formal characterization or a citation to a rigorous construction would improve clarity.","section":"Appendix B.2.2, Eq. (B.17)"},{"comment":"In the p=1 special case, the notation B7/Γ_{p,N,q} with the assumptions gcd(p,N)=1 and N>p needs a brief comment on how N is chosen; otherwise the reader may wonder whether p=1 is compatible with the constraints.","section":"Section 4.3.1, Eq. (4.41)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is technically rich and the cross-checks are impressive, but the central claim currently rests on an explicitly admitted heuristic: the differential uplift (2.13) and the completion rule (2.41)-(2.43). My recommendation of major revision is intended to push the authors to either upgrade these steps to a derivation or to clearly flag them as conjectures with independent tests. The reliance on the authors' own prior work [49] and on [116] as benchmarks is not itself a problem, but it amplifies the need for an external anchor for the completion rule. The overlap with [92] appears marginal, but the authors should double-check that no simultaneous-publication issue exists."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this is real work, not a slogan. The paper gives a systematic geometric criterion for (-1)-form symmetries in M-theory: read TorH^4 and free H^3 of the link, and you get the discrete and continuous (-1)-form symmetries, with a unified differential-cohomology derivation of the BF terms. The genuine novelties are the refinement of the kinetic term G4∧G7 to ˘G4 ⋆ ˘dG7 (2.13), the P7-fluxbrane construction of U(1) symmetry operators (2.33), and the worked SymTFT for the G2 quotient B7/Γ_{p,N,q}, including the 4-group structure and modified instanton sums of [116]. What it does well: the geometric integrals are concrete and cross-checked against independent field-theory results — lens-space coefficients, local P1×P1 triple intersections, and the (N-1)/N anomaly coefficient that matches [140, 81]. The paper is also careful to flag where it is proposing rather than deriving.\n\nThe main weakness is exactly what the authors admit in Section 2.2.3: the differential-cohomology uplift (2.13) and the completion rule (2.41)–(2.43) are a proposal, verified case-by-case, not derived from a first principle. Every SymTFT action in Sections 3 and 4 inherits this. The stress-test worry is fair: the same completion rule is used to produce both the SymTFT action and the field-theory data being matched, so the agreement with [116] and known anomalies is evidence but not a proof. I don't think this is fatal — the link cohomology computations are independent, and several coefficients match external field-theoretic derivations — but it is a genuine load-bearing assumption that a referee should push on. The 4-group derivation also involves gauging choices tuned to reproduce [116], and the G2 physics leans on the authors' own [22]; neither is disqualifying, but they add to the conditional character.\n\nWho this is for: anyone working on geometric engineering of generalized symmetries, or on (-1)-form symmetries and higher groups. It deserves a serious referee — it is a technical paper with real content, and the main claims are testable. My own verdict would be conditional: accept if the authors either sharpen the justification of the completion rule or state clearly its status as a conjecture and check one more non-trivial example not already used to fix it.","headline":"A substantial, mostly well-cross-checked extension of the SymTFT program to (-1)-form symmetries, whose load-bearing differential-cohomology prescription is admitted to be a proposal and deserves referee scrutiny.","tokens_in":72046,"tokens_out":1672,"would_cite":true,"duration_ms":20975,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that (-1)-form symmetries of M-theory-engineered QFTs are determined by the link's cohomology: finite ones by $\\mathrm{Tor}H^4(L_{10-d},\\mathbb{Z})$ and continuous ones by $H^3(L_{10-d},\\mathbb{Z})_{\\mathrm{free}}$, with…","keywords":["(-1)-form symmetries","Symmetry Topological Field Theory","M-theory geometric engineering","differential cohomology","higher-form symmetries","G2 holonomy","4-group symmetry","BF terms"],"falsifier":"Take a 4d $\\mathcal{N}=1$ SU(N) Yang--Mills theory and gauge only a $\\mathbb{Z}_p$ subgroup of the 2-form symmetry on a four-manifold with $b_2 > 0$: the paper predicts that instanton numbers must be multiples of $p$ and that $\\theta_{\\mathrm{YM}}$ has period $2\\pi/p$, so a direct instanton or partition-function computation that finds no such restriction would falsify the 4-group claim.","tokens_in":70720,"feed_emoji":"🔗","tokens_out":11549,"duration_ms":88308,"temperature":0.7,"pith_summary":"The paper's central claim is that $(-1)$-form symmetries of quantum field theories built by M-theory geometric engineering are not accidental: they are read directly from the cohomology of the link $L_{10-d}$ of the internal cone. Finite $(-1)$-form symmetries appear when $\\mathrm{Tor}H^4(L_{10-d},\\mathbb{Z})$ is non-trivial, and continuous ones when $H^3(L_{10-d},\\mathbb{Z})_{\\mathrm{free}}$ is non-trivial, with the corresponding background fields obtained by expanding the differential-cohomology refinement of the M-theory 4-form $G_4$. The paper also proposes that refining the kinetic term $G_4 \\wedge G_7$ to the Cheeger--Simons character $\\breve{G}_4 \\star \\breve{dG}_7$ and reducing over the link yields, in one stroke, all BF couplings of the SymTFT for both discrete and continuous symmetries, while the anomalous twist terms come from $\\int C_3 \\wedge G_4 \\wedge G_4$. If this is right, the whole $(-1)$-form symmetry sector, including mixed anomalies and polarization choices, becomes a purely topological computation for 5d and 4d supersymmetric theories, and the G2 example shows how it connects to 4-group structures and modified instanton sums.","feed_headline":"Link cohomology predicts (-1)-form symmetries from M-theory","feed_subtitle":"A new geometric rule derives discrete and continuous (-1)-form symmetries and their anomalies from M-theory links.","key_machinery":"The central object is the differential character $\\breve{G}_4 \\star \\breve{dG}_7$, the conjectural Cheeger--Simons uplift of the M-theory kinetic term $G_4 \\wedge G_7$; reducing it fibrewise over the link $L_{10-d}$ generates the BF terms of the SymTFT. The matching symmetry operators are brane holonomies: M5-branes on torsional cycles for finite $(-1)$-form symmetries, and $P_7$-fluxbranes on free cycles for continuous ones, where $P_7 = G_7 + \\frac{1}{4\\pi} H_3 \\wedge G_4$ is the Page charge whose closedness and quantization make the operators topological. The mechanism works because the holonomy pairing (2.20) projects out exactly the discrete gauge fields, while the completion of the free-cycle BF term by the Chern--Simons twist term turns the non-closed $h$ into a closed quantized $\\hat{h}$.","core_discovery":"The paper establishes a geometric dictionary for $(-1)$-form symmetries in M-theory: finite ones are engineered by M5-branes filling spacetime and wrapping torsional $(6-d)$-cycles of the link, while continuous ones are engineered by spacetime-filling $P_7$-fluxbranes wrapping free $(7-d)$-cycles. The load-bearing identity is the differential-cohomology refinement of the M-theory kinetic term, $\\breve{G}_4 \\star \\breve{dG}_7$, whose fibrewise integral over the link produces the BF terms: torsion--torsion reductions give $B_{p+1} \\smile \\delta A_{d-p-1}$ for finite electric/magnetic pairs, and free--free reductions give $F_{p+2} \\wedge h_{d-p-1}$, corrected by a contribution from $\\int C_3 \\wedge G_4 \\wedge G_4$ into a closed, quantized field $\\hat{h}_{d-p-1}$. Applied to 5d SCFTs from Calabi--Yau threefold singularities, this shows that every torsional $H^2(L_5,\\mathbb{Z})$ class generates a dual $(-1)$-form/4-form pair with a polarization choice that had been overlooked. For the 4d $\\mathcal{N}=1$ theory from M-theory on the G2 quotient $B_7/\\Gamma_{p,N,q}$, the paper claims a discrete $\\mathbb{Z}_p$ $(-1)$-form symmetry, two continuous $(-1)$-form symmetries, and the identification $\\hat{h}^f_4/(2\\pi) \\leftrightarrow \\mathrm{tr}\\{F \\wedge F\\}/(8\\pi^2)$ with the Chern--Weil symmetry shifting $\\theta_{\\mathrm{YM}}$; gauging the electric 1-form, 3-form, and a $\\mathbb{Z}_p$ subgroup of the 2-form symmetry simultaneously yields the 4-group $(\\mathbb{Z}_N^{[1]} \\times \\mathbb{Z}_p^{[2]}) \\rtimes \\mathbb{Z}_p^{[3]}$ and modified instanton sums.","pith_inferences":["The link-cohomology criterion would give a purely topological search tool: any conical Calabi--Yau or G2 space with torsion in $H^4$ of its link would predict a $(-1)$-form symmetry before any field-theory computation, opening a systematic scan of the geometric landscape.","The $P_7$-fluxbrane construction suggests an analogous prescription for Type II string theory compactifications, where the relevant Page charge and Chern--Simons corrections differ; verifying the completion rule there would test the general principle beyond the M-theory examples.","The least constrained step is the completion rule that turns the BF term into a closed quantized field; a first-principles derivation of eq. (2.13) would convert the empirically matched procedure into a theorem, and would likely fix the coefficients in cases with more than two nontrivial symmetries.","The 4-group prediction is directly testable in 4d gauge theory: computing the SU(N) partition function with a gauged $\\mathbb{Z}_p$ 2-form subgroup on a manifold with $b_2 > 0$ should show $\\theta_{\\mathrm{YM}}$ periodicity $2\\pi/p$ and instanton numbers divisible by $p$."],"forward_implications":["Any M-theory-engineered QFT whose link has $\\mathrm{Tor}H^4(L_{10-d},\\mathbb{Z}) \\neq 0$ carries a finite $(-1)$-form symmetry, and the BF coefficient fixes the discrete $\\theta$-angle of the dual symmetry.","In 5d SCFTs, every torsional $H^2(L_5,\\mathbb{Z})$ class automatically yields a $(-1)$-form/4-form dual pair, so specifying the global form of the theory requires a polarization choice for this pair as well.","In the 4d $\\mathcal{N}=1$ G2 model, one of the two continuous $(-1)$-form symmetries is the expected Chern--Weil symmetry shifting $\\theta_{\\mathrm{YM}}$, while the other is a new symmetry from the higher-dimensional origin, changing the anomaly structure of the low-energy theory.","Gauging $\\mathbb{Z}_N^{[1]}$, $\\mathbb{Z}_p^{[3]}$, and $\\mathbb{Z}_p^{[2]}$ together gives the 4-group structure $(\\mathbb{Z}_N^{[1]} \\times \\mathbb{Z}_p^{[2]}) \\rtimes \\mathbb{Z}_p^{[3]}$, reproducing the field-theoretic results of modified instanton sums from pure geometry.","If only $\\mathbb{Z}_p \\subset U(1)^{[2]}$ is gauged, the instanton number of the SU(N) gauge theory is forced to be a multiple of $p$ and $\\theta_{\\mathrm{YM}}$ becomes $2\\pi/p$-periodic."],"supporting_citations":[{"why":"It supplies the geometric-engineering dictionary and the reduction of the 4-form from which this paper's SymTFT derivation starts.","marker":"[49]"},{"why":"It provides the torsion-cycle construction of BF terms for finite symmetries that the paper extends to continuous symmetries.","marker":"[55]"},{"why":"It gives the Maxwell-type SymTFT proposal for U(1) symmetries whose BF-like terms the paper reproduces and completes with M-theory data.","marker":"[95]"},{"why":"It provides the fluxbrane technology for continuous abelian symmetries, refined here into the P7-fluxbrane construction.","marker":"[97]"},{"why":"It defines the G2 quotient B7/Γ_{p,N,q} and its su(N) gauge-theory interpretation used for the main 4d example.","marker":"[22]"},{"why":"It gives the field-theoretic 4-group structure and modified instanton sums that the paper reproduces from geometric engineering.","marker":"[116]"},{"why":"It supplies the distinction between Chern--Weil and finite (-1)-form symmetries and the gauging and polarization language adopted throughout.","marker":"[81]"}],"fun_headline_variants":["M-theory links reveal (-1)-form symmetries","Geometric rules for (-1)-form symmetries from M-theory","Differential cohomology reveals (-1)-form symmetries in M-theory","M-theory unearths hidden (-1)-form symmetries","Geometric engineering predicts (-1)-form symmetries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation rests on a single proposed rule: that the M-theory kinetic term is correctly lifted to the differential character $\\breve{G}_4 \\star \\breve{dG}_7$, together with the completion rule that combines the resulting BF term with a Chern--Simons correction; the paper explicitly says it lacks a more comprehensive explanation for this procedure and that it matches the expected results only in the cases considered.","fun_headline_variants_meta":{"raw":{"variants":["M-theory links reveal (-1)-form symmetries","Geometric rules for (-1)-form symmetries from M-theory","Differential cohomology reveals (-1)-form symmetries in M-theory","M-theory unearths hidden (-1)-form symmetries","Geometric engineering predicts (-1)-form symmetries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000655,"raw_usage":{"total_tokens":3126,"prompt_tokens":1198,"completion_tokens":1928,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":814,"completion_tokens_details":{"reasoning_tokens":1838}},"tokens_in":814,"tokens_out":1928,"duration_ms":10869,"temperature":1.0,"reasoning_tokens":1838,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:58:26.798589+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a 4d $\\mathcal{N}=1$ SU(N) Yang--Mills theory and gauge only a $\\mathbb{Z}_p$ subgroup of the 2-form symmetry on a four-manifold with $b_2 > 0$: the paper predicts that instanton numbers must be multiples of $p$ and that $\\theta_{\\mathrm{YM}}$ has period $2\\pi/p$, so a direct instanton or partition-function computation that finds no such restriction would falsify the 4-group claim.","supporting_citations":[],"review_version":1}