{"id":"8cdf6f1b-9baf-4735-a33c-e3815b127788","arxiv_id":"2507.22127","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New anomaly-free six-dimensional R-symmetry gauged supergravities are presented, and global anomaly freedom is shown to impose the constraints n_V ≡ 8 mod 12 (U(1)_R) and n_V = 60 (Sp(1)_R).","lead":"The authors find thirteen new six-dimensional supergravity theories in a rare anomaly-free family and argue that almost all known models in the family also pass stricter global consistency checks. A new counting rule forces the total number of gauge fields to be 8 mod 12 for U(1)_R gauging and exactly 60 for Sp(1)_R gauging.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unimodularity verdict for models 4–22 rests on the unproved converse of the square-determinant test; the full Gram determinant is never computed, so the central pass/fail claim is not established.","rationale":"The reader's CONDITIONAL verdict is appropriate. The most load-bearing defect is the sufficiency gap in the unimodularity argument: the paper converts a necessary pairwise test into a sufficient one without proof. This directly affects the central claim that all models except model 2 pass the global anomaly freedom criteria. The generalized completeness hypothesis is a broader caveat that applies to the whole framework, but the sufficiency gap is an internal logical error that can be fixed by displaying the full Gram determinant. I also note two textual inconsistencies that should be corrected: the conclusion states that only two new models were presented while the body lists thirteen, and the abstract states n_V = 12 or 96 for Sp(1)_R while the introduction and Section 3.4 give n_V = 60. These do not by themselves overturn the main results, but they reinforce the need for a revised version before the claims are quoted.","tokens_in":19562,"tokens_out":14130,"duration_ms":150663,"concrete_test":"For each model 4–22, compute the full Gram matrix of the lattice generated by {a, b_i, 1/2 c} using η = [[0,1],[1,0]], choose a basis, and verify that its determinant is −1. Equivalently, verify that every anomaly vector has coordinates (m,n) or (2m+n, n/2) in the claimed unimodular basis and compute the determinant of that basis; if any model has full Gram determinant a negative square other than −1, the unimodularity claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1 derives condition (3.9): if the string charge lattice Λ_S is unimodular, then for any x,y ∈ Λ_S, −det M(x,y) is a perfect square. This is necessary. Section 4, after showing that model 2 fails this test because −det M(a, 1/2 c) = (44/3)^2 is not an integer square, states for models 4–22 that '−detM are square integers, and therefore the charge lattices for them are unimodular.' That is the converse of (3.9) and is not valid in general: a rank-2 integral lattice with Gram matrix [[1,1],[1,-3]] has determinant −4, passes the pairwise square test, and is not unimodular. The paper does not prove that the specific vectors {a, b_i, 1/2 c} generate a lattice whose full Gram determinant is −1. The basis choices e1=(1,0), e2=(0,1) and e1=(2,0), e2=(0,1) are mentioned, but the text does not explicitly verify for each model that every anomaly vector lies in the resulting lattice and that its determinant is −1. Therefore the claim that all models except model 2 satisfy the Monnier-Moore unimodularity criterion is not established by the argument as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper reports thirteen new R-symmetry gauged N=(1,0) six-dimensional supergravity models with n_T=1 and gauge group G_1×...×G_n×U(1)_R, where each G_i is a simple simply-connected compact Lie group of rank greater than one. It then applies the Monnier-Moore global anomaly freedom criteria—factorization of the anomaly polynomial, unimodularity of the dyonic string charge lattice, characteristic element condition, half-integrality of the anomaly coefficients, and vanishing of Ω_7^Spin(BG)—to the resulting set of 22 models, concluding that all except model 2 satisfy all criteria. The paper also derives constraints on the total number of vector multiplets, n_V ≡ 8 mod 12 for U(1)_R gauging and n_V = 60 for Sp(1)_R gauging, from the requirement that the anomaly coefficients lie in a unimodular charge lattice. A mathematical appendix by Y. Tachikawa proves that Ω_7^Spin(BG)=0 for G a product of U(1) and simple simply-connected compact Lie groups.","tokens_in":19816,"tokens_out":23456,"duration_ms":244526,"significance":"If the conclusions hold, this paper significantly enlarges a rare class of anomaly-free R-symmetry gauged supergravities and provides striking arithmetic constraints on the gauge group dimension. The explicit model data are sufficiently detailed to be checked, and the appendix is a clean, self-contained extension of earlier bordism computations. However, the central global-anomaly verdict depends on the unimodularity verification in Section 4, and that verification is not established as written. The paper therefore has strong potential, but the main claim needs a corrected and more rigorous charge-lattice analysis before it can be accepted.","major_comments":[{"comment":"Section 4, after Eq. (4.1): the paper states that because −detM are square integers for models 4–22, \"the charge lattices for them are unimodular.\" This is the converse of the necessary condition (3.9) and is not generally valid. For example, a rank-2 integral lattice with Gram matrix [[1,1],[1,-3]] has determinant −4, passes the pairwise square test for all pairs, and is not unimodular. To establish condition (ii), the authors must either exhibit a unimodular lattice containing a, b_i, and 1/2 c for each model or compute the full Gram determinant of the lattice generated by these vectors; the pairwise check alone does not suffice.","section":"4"},{"comment":"Section 4, paragraph on odd charge lattices: the basis e1=(2,0), e2=(0,1) is claimed to define an odd charge lattice, but with the inner product η=[[0,1],[1,0]] the Gram matrix of this basis is [[0,2],[2,0]], whose determinant is −4. Thus this lattice is not unimodular. For model 3, for example, the anomaly vectors are contained in the unimodular odd lattice generated by f1=(1,1/2) and f2=(1,-1/2), so the conclusion may be repairable, but the argument as written does not identify a unimodular lattice for the models classified as odd.","section":"4"},{"comment":"Section 4, same paragraph: the list of models said to have half-integer b-coefficients is inconsistent with the data in Section 2. Model 13 has b7=(2,4), b15=(1,-2), b3=(1,7) and model 15 has b8=(1,-1), b5=(1,1), b10=(2,6), all of which are integral, while model 14 has b3=(1,5/2) and b6=(1,-1/2) and should therefore be in the half-integer class. This inconsistency prevents the reader from verifying which lattice is being used for each model and must be corrected before the unimodularity claim can be checked.","section":"4"}],"minor_comments":[{"comment":"The Conclusions state that the paper presents \"two new\" R-symmetry gauged models and that \"only 11\" are now known, which contradicts the Introduction's claim of thirteen new models and the total of 22 models analyzed.","section":"5"},{"comment":"Near the end of Section 4, the text says \"the gauged models 4-16 satisfy all the local and global anomaly freedom criteria,\" which appears to be a typo for models 4-22, since the subsequent sentence refers to all models except model 2.","section":"4"},{"comment":"The abstract states n_V = 12 or 96 for Sp(1)_R gauged models, while Section 3.4 derives the unique value n_V = 60; these should be aligned.","section":"Abstract"},{"comment":"The notation for model 11 uses the same symbol b_8 for both the SU(8) and Spin(8) anomaly coefficients; this is potentially confusing and should be distinguished, as is done for other models with repeated group factors.","section":"2"},{"comment":"In the sentence following Eq. (3.20), the authors write \"This result can be used to rule out a great number of gauged models found in the literature with U(1) and SU(2) factors\"; the reference to SU(2) factors appears unsupported by the preceding derivation, which concerns only the U(1)_R gauging case.","section":"3.3"}],"recommendation":"major_revision","confidential_remarks":"The Tachikawa appendix is a solid and useful contribution. The main physics conclusions are plausible, but Section 4 needs substantial reworking: the unimodularity test is logically insufficient, the proposed odd-lattice basis is not unimodular, and the even/odd classification contains errors. The paper also has several internal numerical inconsistencies. I would send back for major revision rather than reject, because the deficiencies appear fixable by explicitly computing or exhibiting the correct charge lattices for each model."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main reasons to read this paper are the appendix and the n_V arithmetic. Tachikawa's proof that Omega_7^Spin(BG)=0 for products of U(1) and arbitrary simply connected simple compact Lie groups is a real extension of the earlier SU(n)/Sp(n) result, and the Atiyah-Hirzebruch argument looks solid. The derivation that unimodularity forces n_V ≡ 8 mod 12 for U(1)_R and n_V = 60 for Sp(1)_R is also new, checkable, and independent of the model list. The 13 new local anomaly-free models are explicitly presented, so their local anomaly cancellation can be verified by direct computation. That is real content, and the appendix alone is citable.\n\nThe soft spot is in Section 4. Condition (3.9) is necessary: if the charge lattice is unimodular, then every pairwise -det M is a square integer. The paper then inverts this and concludes, for models 4–22, that because -det M are square integers, the charge lattices are unimodular. The reader's stress-test note is correct: that converse is false in general, and the paper never computes the full Gram determinant for any of the new models. The counterexample with Gram matrix [[1,1],[1,-3]] is enough to show the logical gap. The conclusion that all models except model 2 pass the global anomaly criteria is therefore not established by the argument as written. It may be true, but the proof currently stops at a necessary condition.\n\nThere are also internal inconsistencies that should have been caught before submission. The abstract says Sp(1)_R n_V = 12 or 96, while the main text and Eq. (3.25) say 60. The introduction says thirteen new models and 22 total, but the conclusion says two new models and 11 known. And Section 2 says both (2.17) and (2.18) are imposed, while Section 4 says (2.18) will not be required. These are fixable, but they make it hard to quote the paper's headline numbers with confidence.\n\nWho gets value from this? The cobordism appendix is for anyone working on 6D anomalies or spin bordism of classifying spaces. The n_V constraints are relevant to swampland discussions and to the broader question of which 6D supergravities can be consistent. The model list is a resource for future searches. But readers should not take the global anomaly pass/fail verdicts as settled.\n\nRecommendation: send to peer review, yes, but the referee should insist that the authors compute the full Gram determinants for the 19 models, or otherwise prove unimodularity, and reconcile the inconsistent numbers. The paper deserves archival publication after that, not before.","headline":"A genuinely new cobordism result and a sharp n_V constraint sit inside a paper whose headline global-anomaly claim is not yet established, because a necessary test is treated as sufficient and the text contradicts itself on its own counts.","tokens_in":20400,"tokens_out":2105,"would_cite":true,"duration_ms":26296,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T50","81T60","83E50","57R90"],"pacs":["04.65.+e"],"model":"deepseek-v4-flash","headline":"This paper presents thirteen new locally anomaly-free R-symmetry gauged 6D supergravities and argues that twenty-one of the twenty-two known models pass the Monnier-Moore global anomaly criteria, with charge-lattice unimodularity forcing…","keywords":["six-dimensional N=(1,0) supergravity","R-symmetry gauging","Green-Schwarz anomaly cancellation","global anomalies","dyonic string charge lattice","spin cobordism","unimodular lattice","vector multiplet count"],"falsifier":"Find a single $n_T=1$ R-symmetry gauged model with simply connected semisimple gauge group that is locally anomaly-free and has a unimodular charge lattice but $n_V\\not\\equiv 8\\pmod{12}$ for $U(1)_R$ (or $n_V\\neq 60$ for $Sp(1)_R$), or exhibit two coefficient vectors that pass the square-integer determinant test while generating a non-self-dual lattice; either would break the paper's central arithmetic claim. Alternatively, compute $\\Omega_7^{\\mathrm{Spin}}(BG)$ for a product including a non-simply connected quotient such as $E_6/\\mathbb{Z}_3$; a nonzero result would reopen the global anomaly question for quotient variants.","tokens_in":19356,"feed_emoji":"🧮","tokens_out":16298,"duration_ms":163027,"temperature":0.7,"pith_summary":"Six-dimensional $N=(1,0)$ supergravity with a gauged $R$-symmetry group and one tensor multiplet is a rare corner of quantum gravity: only a few gauge-group/matter combinations cancel all local anomalies through the Green-Schwarz mechanism. This paper adds thirteen new such models, bringing the known family to twenty-two, and then asks whether each also avoids global anomalies, meaning the Green-Schwarz counterterm is well defined on every spin manifold with every smooth gauge bundle and the dyonic-string charge lattice is self-dual. The paper argues that twenty-one of the twenty-two models pass the Monnier-Moore global anomaly criteria, with one old model failing. As a byproduct it derives an arithmetic fingerprint: for $U(1)_R$ gauging the total gauge-group dimension must satisfy $n_V\\equiv 8 \\pmod{12}$, and for $Sp(1)_R$ gauging it is forced to be exactly $n_V=60$.","feed_headline":"21 of 22 six-dimensional supergravity models clear global tests","feed_subtitle":"Charge-lattice arithmetic fixes the gauge dimension at 8 mod 12 for U(1)_R and exactly 60 for Sp(1)_R.","key_machinery":"The factorized anomaly polynomial with its coefficient vectors $(a,b_i,c)$, upgraded to elements of a dyonic-string charge lattice. Local cancellation works because $I_8$ factorizes as $\\tfrac12\\eta_{\\alpha\\beta}Y^\\alpha Y^\\beta$; the coefficients then determine how the Green-Schwarz two-forms couple. Global consistency is encoded in the lattice: unimodularity is tested by requiring $\\det M$ to be a negative square integer for every pair of coefficient vectors, and the algebraic identity $\\det M(a,\\tfrac12 c)=4c_1c_2-(c_1+c_2)^2=-(c_1-c_2)^2$ converts lattice self-duality into the Diophantine equations that yield $n_V\\equiv 8\\pmod{12}$ and $n_V=60$. The vanishing of $\\Omega_7^{\\mathrm{Spin}}(BG)$, extended in the appendix to products of any simple simply connected compact Lie groups with $U(1)$ factors, removes the remaining topological obstruction.","core_discovery":"The central claim is that global anomaly freedom, not just local anomaly cancellation, is the right consistency sieve for this class of theories, and that this sieve leaves a definite survivor list. Working with simply connected gauge groups and the factorized anomaly polynomial $\\tfrac{1}{2\\pi i}I_8=\\tfrac12\\eta_{\\alpha\\beta}Y^\\alpha Y^\\beta$, the paper requires the coefficient vectors $(a,b_i,\\tfrac12 c)$ to lie in a unimodular charge lattice $\\Lambda_S$, requires $a$ to be a characteristic element, requires the string quantization condition, and requires the spin cobordism group $\\Omega_7^{\\mathrm{Spin}}(BG)$ to vanish so that the Green-Schwarz counterterm is globally defined. The appended mathematical computation proves that this bordism group vanishes for any product of $U(1)$ and simple simply connected compact Lie groups. The paper then checks these conditions model by model: all recent and new models pass, one old model, $G_2\\times E_7\\times U(1)_R$, fails because its determinant test gives $(44/3)^2$ rather than an integer square, and the unimodularity equations force $n_V\\equiv 8\\pmod{12}$ for $U(1)_R$ gauging and the unique value $n_V=60$ for $Sp(1)_R$ gauging.","pith_inferences":["Editorial extension: the $n_V$ congruence is representation-independent, so it should act as a fast pre-filter in any exhaustive search over simply connected gauge groups and matter content for this class.","Editorial extension: the same determinant-square test could be run systematically over all gauge groups with up to four factors from a larger set of simple Lie types; the paper's search is not exhaustive, so further local anomaly-free models may exist, but every survivor must satisfy the same $n_V$ arithmetic.","Editorial extension: if the strong completeness hypothesis is ever weakened, the pass verdicts should be read as conditional on the lattice formulation; the arithmetic constraints would then be a property of that formulation rather than of every consistent quantum gravity."],"forward_implications":["Only twenty-one of the twenty-two currently known locally anomaly-free $n_T=1$ models survive the global criteria; model 2 is excluded, leaving the two surviving old models, the six recent models, and the thirteen new models as the viable set.","Any future $n_T=1$ R-symmetry gauged model with $U(1)_R$ and a semisimple simply connected gauge group must have $n_V\\equiv 8\\pmod{12}$, so candidate spectra can be filtered by total gauge dimension before computing anomaly polynomials.","For $Sp(1)_R$ gauging, consistency forces the total gauge dimension to be exactly $60$, singling out the $Spin(10)\\times U(1)_{12}\\times Sp(1)_R$ model among known local anomaly-free candidates.","Because $\\Omega_7^{\\mathrm{Spin}}(BG)=0$ for all simply connected products treated here, the topological condition on the Green-Schwarz counterterm holds automatically for all listed models, so the pass/fail distinction reduces entirely to the charge-lattice tests."],"supporting_citations":[{"why":"formulates the global anomaly freedom criteria used, including the spin bordism vanishing condition.","marker":"[1]"},{"why":"derives the string quantization condition and the charge-lattice consistency conditions from the generalized completeness hypothesis.","marker":"[9]"},{"why":"applies the criteria to the three old models, establishing that model 2 fails while models 1 and 3 pass.","marker":"[11]"},{"why":"supplies the six recent anomaly-free models and the anomaly polynomial formulas used to extend the search.","marker":"[6]"},{"why":"provides the original systematic search for local anomaly-free 6D supergravities, including the old models and the Sp(1)_R candidates.","marker":"[3]"},{"why":"derives unimodularity of the dyonic-string charge lattice from well-definedness of the charge wavefunction.","marker":"[8]"},{"why":"establishes integrality properties of the anomaly coefficients from factorization of the anomaly polynomial.","marker":"[7]"},{"why":"gives supporting arguments for the completeness hypothesis that underlies the charge-lattice conditions.","marker":"[24]"}],"fun_headline_variants":["Global anomaly test passes 21 of 22 6D supergravity models","Spin cobordism vanishing clears 21 of 22 6D supergravity models","Only one 6D supergravity model fails global anomaly consistency","Unimodular charge lattice pins n_V to 8 mod 12 in 6D supergravity","Global anomalies rule out one of 22 gauged 6D supergravities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the strong generalized completeness hypothesis that a consistent 6D supergravity can be placed on any spin manifold with any smooth gauge bundle and that every Dirac-quantization-allowed charge is realized; the text also treats the square-integer determinant test as sufficient for unimodularity without giving a proof, so if either step fails the $n_V\\equiv 8\\pmod{12}$ and $n_V=60$ constraints are not consequences of consistency.","fun_headline_variants_meta":{"raw":{"variants":["Global anomaly test passes 21 of 22 6D supergravity models","Spin cobordism vanishing clears 21 of 22 6D supergravity models","Only one 6D supergravity model fails global anomaly consistency","Unimodular charge lattice pins n_V to 8 mod 12 in 6D supergravity","Global anomalies rule out one of 22 gauged 6D supergravities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000726,"raw_usage":{"total_tokens":3372,"prompt_tokens":1179,"completion_tokens":2193,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":795,"completion_tokens_details":{"reasoning_tokens":2086}},"tokens_in":795,"tokens_out":2193,"duration_ms":16860,"temperature":1.0,"reasoning_tokens":2086,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T12:03:36.446603+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a single $n_T=1$ R-symmetry gauged model with simply connected semisimple gauge group that is locally anomaly-free and has a unimodular charge lattice but $n_V\\not\\equiv 8\\pmod{12}$ for $U(1)_R$ (or $n_V\\neq 60$ for $Sp(1)_R$), or exhibit two coefficient vectors that pass the square-integer determinant test while generating a non-self-dual lattice; either would break the paper's central arithmetic claim. Alternatively, compute $\\Omega_7^{\\mathrm{Spin}}(BG)$ for a product including a non-simply connected quotient such as $E_6/\\mathbb{Z}_3$; a nonzero result would reopen the global anomaly question for quotient variants.","supporting_citations":[{"cited_title":"On the consistency of a class of R-symmetry gauged 6D N=(1,0) supergravities","cited_arxiv_id":"2002.04619","evidence_quote":"applies the criteria to the three old models, establishing that model 2 fails while models 1 and 3 pass."},{"cited_title":"New anomaly free supergravities in six dimensions","cited_arxiv_id":"2311.03337","evidence_quote":"supplies the six recent anomaly-free models and the anomaly polynomial formulas used to extend the search."}],"review_version":1}