REVIEW 3 major objections 5 minor 3 cited by
Global anomalies in $6D$ gauged supergravities
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read 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…
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [4] 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.
- [4] 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.
- [4] 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.
minor comments (5)
- [5] 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.
- [4] 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.
- [Abstract] 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.
- [2] 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.
- [3.3] 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.
Circularity Check
No significant circularity: the n_V constraints are derived from anomaly identities plus an externally motivated unimodularity input, not from the target models.
full rationale
The derivation of the n_V constraints in Secs. 3.2-3.4 is self-contained: it combines the necessary determinant condition (3.9) with the factorization identities (3.16)-(3.17) for U(1)_R and (3.21)-(3.22) for Sp(1)_R, then solves the resulting Diophantine system. The target models' n_V values are checked afterward, not used as inputs. The local anomaly-free model list is produced by solving anomaly-polynomial factorizations, and Tachikawa's appendix provides a new independent proof of Ω_7^Spin(BG)=0 for the relevant simply connected groups. Citations to [6] and [11] supply model data and prior consistency checks; these are externalizable computations rather than assumptions of the result being claimed. The only flagged weakness is a correctness gap, not circularity: Sec 4 treats the pairwise-square condition (3.9) as sufficient for unimodularity without computing the full Gram determinant, i.e., it asserts an unproved converse. That is a logical-risk issue and does not make the derivation equivalent to its inputs by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Generalized completeness hypothesis, including the stronger version that the path integral allows arbitrary spin manifolds and arbitrary smooth gauge bundles.
- domain assumption The Monnier-Moore criteria (3.3)-(3.7) characterize global anomaly freedom for 6D N=(1,0) supergravities.
- domain assumption The anomaly polynomial factorizes as I8 = (1/2) eta_{alpha beta} Y^alpha Y^beta, enabling Green-Schwarz-Sagnotti cancellation.
- standard math The cohomology and homotopy data in Table 1 and in Refs [34,35] are correct, and the AHSS differentials d2 are Sq^2 operations.
- domain assumption Ghost-free vector kinetic terms require j^alpha b_alpha > 0 and j^alpha c_alpha > 0; positivity of the Gauss-Bonnet term j^alpha a_alpha < 0 is additionally discussed.
Cite this review
Pith. "Pith review of Global anomalies in $6D$ gauged supergravities." pith.science (2026). https://pith.science/paper/IDXW25BO
@misc{pith2026250722127,
author = {Pith},
title = {Pith review of: Global anomalies in $6D$ gauged supergravities},
year = {2026},
howpublished = {\url{https://pith.science/paper/IDXW25BO}},
note = {Machine review of arXiv:2507.22127}
}
abstract
There exists a rare class of R-symmetry gauged $N=(1,0)$ supergravities in six dimensions with gauge group $G\times U(1)_R$, where $G$ is semisimple with rank greater than one, and the number of tensor multiplets $n_T=1$, which are free from all local anomalies. We find new members of this family, in which $G$ contains up to four factors. We study the global anomalies of these models in a framework in which the Dirac quantization of the anomaly coefficients and the well-definedness of the Green-Schwarz anomaly counterterm in generic backgrounds play key roles, and we apply the anomaly freedom criteria that takes this into account as formulated by Monnier and Moore in \cite{Monnier:2018nfs}. To this end we use the result derived by Yuji Tachikawa in the appendix which states that the spin cobordism group $\Omega_7^{\rm Spin}(BG)$ vanishes for $G=\sG_1\times \cdots \times \sG_n$ where $\sG_i$ is $U(1)$ or any simple simply-connected non-Abelian compact Lie group. We also require correct sign for the vector field kinetic terms, and positive Gauss-Bonnet term. We find that among the models considered here only one of them fails to satisfy all the stated criteria. We also find that, in general, the requirement that the anomaly coefficients defined by the factorized anomaly polynomial are elements of a unimodular charge lattice imposes a constraint on the number of vector multiplets given by $n_{V}=8\ {\rm mod}\ 12$ for $\Uni{1}_{R}$, and $n_{V} = 12$ or $96$ for $\Sp{1}_{R}$ gauged models.
Forward citations
Cited by 3 Pith papers
-
Bosonic SPT and invertible phases and its relation to Steenrod's problem
Bosonic beyond-cohomology SPT phases are governed by a mod-3 Steenrod-power differential, and a new 6+1-dimensional Z3×Z3 Dijkgraaf-Witten phase is nontrivial on simplicial complexes but trivial on manifolds.
-
Diagonally gauged anomaly-free 6D supergravities and their vacua
Bounded scans yield 706 single-factor and 1559 two-factor anomaly-free 6D (1,0) models gauged by a diagonal U(1)_R+, and explicit supersymmetric Minkowski vacua for a subset.
-
Rational points in the 6d supergravity landscape and simple current extensions
Rationality of the 2d SCFT on BPS strings provides a consistency criterion that uniquely determines the elliptic genus and global gauge group in a class of 6d supergravity models without tensor multiplets.
Reference graph
Works this paper leans on
-
[1]
S. Monnier and G. W. Moore,Remarks on the Green–Schwarz Terms of Six-Dimensional Supergravity Theories,Commun. Math. Phys.372(2019) 963 [1808.01334]
arXiv 2019
-
[2]
Vafa,The String landscape and the swampland,hep-th/0509212
C. Vafa,The String landscape and the swampland,hep-th/0509212
-
[3]
S. D. Avramis and A. Kehagias,A Systematic search for anomaly-free supergravities in six dimensions,JHEP10(2005) 052 [hep-th/0508172]
arXiv 2005
-
[4]
S. Randjbar-Daemi, A. Salam, E. Sezgin and J. A. Strathdee,An Anomaly Free Model in Six-Dimensions,Phys. Lett. B151(1985) 351
work page 1985
-
[5]
S. D. Avramis, A. Kehagias and S. Randjbar-Daemi,A New anomaly-free gauged supergravity in six dimensions,JHEP05(2005) 057 [hep-th/0504033]
work page Pith review arXiv 2005
-
[6]
New anomaly free supergravities in six dimensions
K. Becker, A. Kehagias, E. Sezgin, D. Tennyson and A. Violaris,New anomaly free supergravities in six dimensions,2311.03337
- [7]
-
[8]
N. Seiberg and W. Taylor,Charge Lattices and Consistency of 6D Supergravity,JHEP 06(2011) 001 [1103.0019]
arXiv 2011
Show all 40 references
-
[9]
Monnier, G
S. Monnier, G. W. Moore and D. S. Park,Quantization of anomaly coefficients in 6D N= (1,0)supergravity,JHEP02(2018) 020 [1711.04777]
2018 arXiv
-
[10]
Monnier and G
S. Monnier and G. W. Moore,A Brief Summary Of Global Anomaly Cancellation In Six-Dimensional Supergravity,1808.01335
-
[11]
Pang and E
Y. Pang and E. Sezgin,On the consistency of a class of R-symmetry gauged 6D N=(1,0) supergravities,Proc. Roy. Soc. Lond. A476(2020) 20200115 [2002.04619]
2020 arXiv
-
[12]
Okubo,Modified Fourth Order Casimir Invariants and Indices for Simple Lie Algebras,J
S. Okubo,Modified Fourth Order Casimir Invariants and Indices for Simple Lie Algebras,J. Math. Phys.23(1982) 8
1982
-
[13]
W. G. McKay and J. Patera,Tables of Dimensions, Indices, and Branching Rules for Representations of Simple Lie Algebras. Marcel Dekker Inc., New York, 1981
1981
-
[14]
Feger, T
R. Feger, T. W. Kephart and R. J. Saskowski,LieART 2.0 – A Mathematica application for Lie Algebras and Representation Theory,Comput. Phys. Commun.257 (2020) 107490 [1912.10969]
2020 arXiv
-
[15]
Nishino and E
H. Nishino and E. Sezgin,The CompleteN= 2,d= 6Supergravity With Matter and Yang-Mills Couplings,Nucl. Phys. B278(1986) 353
1986
-
[16]
Ferrara, F
S. Ferrara, F. Riccioni and A. Sagnotti,Tensor and vector multiplets in six-dimensional supergravity,Nucl. Phys. B519(1998) 115 [hep-th/9711059]
1998 arXiv
-
[17]
Riccioni and A
F. Riccioni and A. Sagnotti,Consistent and covariant anomalies in six-dimensional supergravity,Phys. Lett. B436(1998) 298 [hep-th/9806129]
1998 arXiv
-
[18]
Bossard, A
G. Bossard, A. Kleinschmidt and E. Sezgin,Higher derivative couplings with multi-tensor multiplets in 6D supergravity, action and anomalies,2412.05365
-
[19]
Riccioni,All couplings of minimal six-dimensional supergravity,Nucl
F. Riccioni,All couplings of minimal six-dimensional supergravity,Nucl. Phys. B605 (2001) 245 [hep-th/0101074]
2001 arXiv
-
[20]
Cheung and G
C. Cheung and G. N. Remmen,Positivity of Curvature-Squared Corrections in Gravity, Phys. Rev. Lett.118(2017) 051601 [1608.02942]
2017 arXiv
-
[21]
Hamada, T
Y. Hamada, T. Noumi and G. Shiu,Weak Gravity Conjecture from Unitarity and Causality,Phys. Rev. Lett.123(2019) 051601 [1810.03637]
2019 arXiv
-
[22]
Suzuki and Y
R. Suzuki and Y. Tachikawa,More anomaly-free models of six-dimensional gauged supergravity,J. Math. Phys.47(2006) 062302 [hep-th/0512019]
2006 arXiv
-
[23]
Randjbar-Daemi and E
S. Randjbar-Daemi and E. Sezgin,Scalar potential and dyonic strings in 6-D gauged supergravity,Nucl. Phys. B692(2004) 346 [hep-th/0402217]. 23
2004 arXiv
-
[24]
Polchinski,Monopoles, duality, and string theory,Int
J. Polchinski,Monopoles, duality, and string theory,Int. J. Mod. Phys. A19S1(2004) 145 [hep-th/0304042]
2004 arXiv
-
[25]
Banks and N
T. Banks and N. Seiberg,Symmetries and Strings in Field Theory and Gravity,Phys. Rev. D83(2011) 084019 [1011.5120]
2011 arXiv
-
[26]
Hellerman and E
S. Hellerman and E. Sharpe,Sums over topological sectors and quantization of Fayet-Iliopoulos parameters,Adv. Theor. Math. Phys.15(2011) 1141 [1012.5999]
2011 arXiv
-
[27]
Deser, A
S. Deser, A. Gomberoff, M. Henneaux and C. Teitelboim,P-brane dyons and electric magnetic duality,Nucl. Phys. B520(1998) 179 [hep-th/9712189]
1998 arXiv
-
[28]
Tosa,Global gauge anomalies for theories with the Green-Schwarz local anomaly cancellation mechanism,Phys
Y. Tosa,Global gauge anomalies for theories with the Green-Schwarz local anomaly cancellation mechanism,Phys. Rev. D40(1989) 1934
1989
-
[29]
Bershadsky and C
M. Bershadsky and C. Vafa,Global anomalies and geometric engineering of critical theories in six-dimensions,hep-th/9703167
-
[30]
Lee and Y
Y. Lee and Y. Tachikawa,Some comments on 6D global gauge anomalies,PTEP2021 (2021) 08B103 [2012.11622]
2021 arXiv
-
[31]
Davighi and N
J. Davighi and N. Lohitsiri,Omega vs. pi, and 6d anomaly cancellation,JHEP05 (2021) 267 [2012.11693]
2021 arXiv
-
[32]
Beaudry and J
A. Beaudry and J. A. Campbell,A Guide for Computing Stable Homotopy Groups, 1801.07530
-
[33]
Lee and K
Y. Lee and K. Yonekura,Global anomalies in 8d supergravity,JHEP07(2022) 125 [2203.12631]
2022 arXiv
-
[34]
Mimura and H
M. Mimura and H. Toda,Topology of Lie groups. I, II, vol. 91 ofTranslations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1991
1991
-
[35]
Breen, R
L. Breen, R. Mikhailov and A. Touz´ e,Derived functors of the divided power functors, Geom. Topol.20(2016) 257 [1312.5676]
2016 arXiv
-
[36]
Kono,On the integral cohomology ofBSpin(n),J
A. Kono,On the integral cohomology ofBSpin(n),J. Math. Kyoto Univ.26(1986) 333
1986
-
[37]
Quillen,Themod 2cohomology rings of extra-special2-groups and the spinor groups,Math
D. Quillen,Themod 2cohomology rings of extra-special2-groups and the spinor groups,Math. Ann.194(1971) 197
1971
-
[38]
Hatcher,Algebraic Topology
A. Hatcher,Algebraic Topology. Cambridge University Press, 2002
2002
-
[39]
Teichner,On the signature of four-manifolds with universal covering spin,Math
P. Teichner,On the signature of four-manifolds with universal covering spin,Math. Ann.295(1993) 745
1993
-
[40]
A. V. Zhubr,Spin bordism of oriented manifolds and the Hauptvermutung for 6-manifolds,Amer. Math. Soc. Transl. Ser. 2202(2001) 263. 24
2001
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.