pith. sign in

arxiv: 2605.17643 · v1 · pith:BYQCX5LYnew · submitted 2026-05-17 · ✦ hep-th

Anomaly-Free Spectra, Unimodular Lattices and 6D R-Symmetry Gauged Supergravity

Katrin Becker , Qi You This is my paper

Pith reviewed 2026-05-19 22:15 UTC · model grok-4.3

classification ✦ hep-th
keywords anomaly cancellation6D supergravitygauged R-symmetryGreen-Schwarz mechanismunimodular latticesanomaly polynomialglobal consistencyF-theory
0
0 comments X

The pith

Eleven new 6D supergravity models with non-Abelian gauge groups times gauged U(1) R-symmetry pass both local and global anomaly checks.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the classification of anomaly-free six-dimensional N=(1,0) supergravities that include one tensor multiplet and a gauged abelian R-symmetry. It constructs eleven explicit new spectra whose gauge groups combine non-Abelian factors with U(1)_R and that satisfy the local Green-Schwarz factorization together with recently proposed global consistency conditions. The work pays special attention to low-rank cases that earlier systematic enumerations had left incomplete. It further studies the arithmetic properties of the anomaly coefficients, including their embedding into rank-two unimodular lattices, the characteristic-vector condition, and the special role of D4 factors in the anomaly polynomial. These results indicate that the set of viable spectra is larger than previously counted while remaining sharply constrained by integrality and embeddability requirements.

Core claim

Eleven previously unknown anomaly-free spectra exist for six-dimensional N=(1,0) supergravity with gauge group G_non-Abelian times U(1)_R that obey the local Green-Schwarz factorization condition and several global consistency conditions. In the rank-two case the condition n_V congruent to 8 modulo 12 is necessary and sufficient for the anomaly coefficients to embed into a unimodular charge lattice, and the sufficiency of the characteristic-vector condition is verified on the branches realized by the new examples.

What carries the argument

The local Green-Schwarz factorization condition together with global consistency requirements on the anomaly coefficients, which must admit an embedding into a rank-two unimodular lattice satisfying the characteristic-vector condition.

If this is right

  • The known set of anomaly-free 6D gauged supergravities expands beyond earlier enumerations, especially at low rank.
  • The condition n_V ≡ 8 mod 12 supplies a practical selection rule for viable spectra in the rank-two case.
  • Detailed accounting of D4 contributions refines the computation of the anomaly polynomial for models containing that factor.
  • The new spectra remain candidates for ultraviolet completions in string or F-theory provided the global conditions hold.
  • The boundary between locally factorizable and globally consistent spectra becomes sharper.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the global conditions prove necessary, then any string-theoretic realization must reproduce the same arithmetic patterns observed in the anomaly coefficients.
  • The apparent richness of the landscape suggests that systematic searches in F-theory may uncover still more models once the same consistency tests are applied.
  • Similar embeddability rules could extend to models with multiple tensor multiplets or higher-rank lattices, offering a route to further classification.
  • A counter-example in the remaining characteristic-vector branch would exclude an entire family of candidate spectra.

Load-bearing premise

The recently proposed global consistency conditions beyond local Green-Schwarz factorization are necessary for the physical viability of the spectra.

What would settle it

An explicit construction, for example in F-theory, of one of the reported spectra that satisfies local factorization yet violates one of the global consistency conditions would show those conditions are not required.

read the original abstract

We study the classification problem for anomaly-free 6D $\mathcal N=(1,0)$ supergravities with a gauged abelian R-symmetry and one tensor multiplet. We present eleven new models with gauge group $G_{\mathrm{non-Abelian}}\times U(1)_R$ that satisfy the local Green--Schwarz factorization condition, together with several recently proposed global consistency conditions. In particular, the low-rank models we found are precisely where some of the recent enumeration literature is least directly applicable. These examples suggest that the landscape of anomaly-free gauged $U(1)_R$ supergravities may be richer than previously recognized while still remaining highly constrained. We analyze the arithmetic structure of the anomaly coefficients, including their integral pairings, embeddability into rank-two unimodular charge lattices, the characteristic-vector condition and ghost-free gauge-field conditions. We show that $n_V \equiv 8 \pmod{12}$ is necessary and sufficient for the unimodular embeddability in the rank-two case. For the characteristic-vector condition we verify sufficiency for the branches realized by our examples and identify a remaining branch requiring additional exclusion. We also present a detailed discussion of the contribution to the anomaly polynomial when the $D_4$ Lie algebra is present. These results sharpen the boundary between anomaly-free 6D spectra, global-consistency constraints, and possible UV realization in string theory or F-theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims to classify anomaly-free 6D N=(1,0) supergravities with gauged abelian R-symmetry and one tensor multiplet. It presents eleven new models with gauge group G_non-Abelian × U(1)_R that satisfy the local Green-Schwarz factorization condition together with several recently proposed global consistency conditions. The work analyzes the arithmetic structure of the anomaly coefficients, their integral pairings and embeddability into rank-two unimodular charge lattices, proves that n_V ≡ 8 mod 12 is necessary and sufficient for unimodular embeddability in the rank-two case, verifies sufficiency of the characteristic-vector condition for the realized branches, and provides a detailed discussion of the D_4 Lie algebra contribution to the anomaly polynomial.

Significance. If the eleven models are confirmed to satisfy the conditions via explicit calculations, the result indicates that the landscape of anomaly-free gauged U(1)_R supergravities may be richer than previously recognized while remaining highly constrained. The explicit demonstration that n_V ≡ 8 (mod 12) is necessary and sufficient for unimodular embeddability, together with the verification of the characteristic-vector condition on realized branches and the D_4 anomaly analysis, supplies concrete arithmetic tools that strengthen future classification efforts and sharpen the boundary with possible UV realizations in string or F-theory.

major comments (1)
  1. [Introduction] The selection of the eleven models as viable anomaly-free spectra rests on satisfaction of recently proposed global consistency conditions beyond local Green-Schwarz factorization. The manuscript cites these conditions as selection criteria but supplies no independent derivation or proof of their necessity for consistency, unitarity or ghost-freedom inside the text; this adoption is load-bearing for the central claim that the enumerated models are physically viable.
minor comments (2)
  1. The abstract states that the models satisfy the listed conditions but does not exhibit explicit anomaly polynomials, charge assignments or verification steps; the main text should present these calculations with sufficient detail for independent checking.
  2. Clarify the precise list of global consistency conditions employed, their literature sources, and any assumptions under which they are taken to be necessary.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive feedback. We address the single major comment below and indicate the revisions we will make to improve clarity on the status of the cited global consistency conditions.

read point-by-point responses

  1. Referee: [Introduction] The selection of the eleven models as viable anomaly-free spectra rests on satisfaction of recently proposed global consistency conditions beyond local Green-Schwarz factorization. The manuscript cites these conditions as selection criteria but supplies no independent derivation or proof of their necessity for consistency, unitarity or ghost-freedom inside the text; this adoption is load-bearing for the central claim that the enumerated models are physically viable.

    Authors: We agree that the manuscript adopts the global consistency conditions from the recent literature without re-deriving their necessity. These conditions were proposed in prior works as necessary for global consistency of the effective theory (beyond the local Green-Schwarz mechanism), and our central contribution is the systematic search for spectra satisfying both the local factorization and these additional constraints, together with new arithmetic results on the anomaly coefficients. Specifically, we prove that n_V ≡ 8 mod 12 is necessary and sufficient for unimodular lattice embeddability in the rank-two case, verify the characteristic-vector condition on the realized branches, and provide a detailed analysis of the D_4 contribution to the anomaly polynomial. These results are independent of the derivation of the global conditions and supply concrete tools that can be used in future classification efforts. To address the referee's concern, we will revise the introduction to explicitly note that the global conditions are adopted from the cited references, briefly summarize their proposed physical motivation as stated in those works, and clarify that our models are presented as satisfying the current set of known consistency criteria while remaining subject to possible further UV constraints. This revision will make the logical structure of the selection criteria more transparent without changing the enumerated models or the new theorems. revision: yes

Circularity Check

1 steps flagged

Minor reliance on imported global consistency conditions from recent literature

specific steps
  1. self citation load bearing [Abstract]
    "We present eleven new models with gauge group G_non-Abelian × U(1)_R that satisfy the local Green-Schwarz factorization condition, together with several recently proposed global consistency conditions."

    The global conditions function as a filter for physical viability, but the manuscript supplies no independent derivation of their necessity; they are imported from recent literature and adopted as the selection criterion for counting the models as viable anomaly-free spectra.

full rationale

The paper enumerates eleven new models by checking satisfaction of the local Green-Schwarz factorization plus externally proposed global consistency conditions; these conditions are treated as given selection criteria rather than derived internally. The central mathematical results on unimodular lattice embeddability (n_V ≡ 8 mod 12 being necessary and sufficient) and characteristic-vector verification follow from standard arithmetic properties of unimodular lattices and direct inspection of the realized branches, without reducing to fitted parameters or self-referential definitions. No load-bearing step collapses by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on the standard Green-Schwarz mechanism and on external global-consistency conditions; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Local Green-Schwarz factorization is required for anomaly cancellation in 6D N=(1,0) supergravity.
    Invoked as the primary local consistency condition throughout the classification.
  • domain assumption Recently proposed global consistency conditions are necessary for physical viability.
    Used as additional filters on the candidate spectra.

pith-pipeline@v0.9.0 · 5794 in / 1377 out tokens · 41804 ms · 2026-05-19T22:15:41.657276+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 12 internal anchors

  1. [1]

    More anomaly-free models of six-dimensional gauged supergravity

    R. Suzuki and Y. Tachikawa, “More anomaly-free models of six-dimensional gauged supergravity,” J. Math. Phys.47, 062302 (2006) doi:10.1063/1.2209767, arXiv:hep-th/0512019 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1063/1.2209767 2006

  2. [2]

    Quantization of anomaly coefficients in 6D $\mathcal{N}=(1,0)$ supergravity

    S. Monnier, G. W. Moore and D. S. Park, “Quantization of anomaly coefficients in 6D N= (1,0) supergravity,” JHEP02(2018) 020, doi:10.1007/JHEP02(2018)020, arXiv:1711.04777 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2018)020 2018

  3. [3]

    Remarks on the Green-Schwarz terms of six-dimensional supergravity theories

    S. Monnier and G. W. Moore, “Remarks on the Green–Schwarz Terms of Six-Dimensional Supergravity Theories,” Commun. Math. Phys.372, no.3, 963-1025 (2019) doi:10.1007/s00220-019-03341-7, arXiv:1808.01334 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-019-03341-7 2019

  4. [4]

    On the consistency of a class of R-symmetry gauged 6DN=(1,0) supergravities,

    Y. Pang and E. Sezgin, “On the consistency of a class of R-symmetry gauged 6DN=(1,0) supergravities,” Proc. Roy. Soc. Lond. A476, no.2240, 20200115 (2020) doi:10.1098/rspa.2020.0115, arXiv:2002.04619 [hep-th]

    work page doi:10.1098/rspa.2020.0115 2020

  5. [5]

    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,” JHEP05(2024) 144, doi:10.1007/JHEP05(2024)144, arXiv:2311.03337 [hep-th]

    work page doi:10.1007/jhep05(2024)144 2024

  6. [6]

    Anomaly Free Chiral Theories in Six-Dimensions,

    M. B. Green, J. H. Schwarz and P. C. West, “Anomaly Free Chiral Theories in Six-Dimensions,” Nucl. Phys. B254, 327-348 (1985) doi:10.1016/0550-3213(85)90222-6

    work page doi:10.1016/0550-3213(85)90222-6 1985

  7. [7]

    A Note on the Green - Schwarz Mechanism in Open - String Theories

    A. Sagnotti, “A Note on the Green-Schwarz mechanism in open string theories,” Phys. Lett. B 294, 196-203 (1992) doi:10.1016/0370-2693(92)90682-T, arXiv:hep-th/9210127 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370-2693(92)90682-t 1992

  8. [8]

    Anomaly cancellation in six-dimensions,

    J. Erler, “Anomaly cancellation in six-dimensions,” J. Math. Phys.35, 1819-1833 (1994) doi:10.1063/1.530885, 4In fact, this is a sufficient but not necessary condition because one cannot rule out the possibility that, for example, hyperfermions that transform under8 s and56 c will not conspire to cancel the ˜F 4 term as long as the numbers of multiplets m...

    work page doi:10.1063/1.530885 1994

  9. [9]

    A systematic search for anomaly-free supergravities in six dimensions

    S. D. Avramis and A. Kehagias, “A Systematic search for anomaly-free supergravities in six dimensions,” JHEP10(2005) 052, doi:10.1088/1126-6708/2005/10/052, arXiv:hep-th/0508172 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2005/10/052 2005

  10. [10]

    Eta-Invariants and Determinant Lines

    X. z. Dai and D. S. Freed, “eta invariants and determinant lines,” J. Math. Phys.35, 5155-5194 (1994) [erratum: J. Math. Phys.42, 2343-2344 (2001)] doi:10.1063/1.530747, arXiv:hep-th/9405012 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1063/1.530747 1994

  11. [11]

    Reflection positivity and invertible topological phases,

    D. S. Freed and M. J. Hopkins, “Reflection positivity and invertible topological phases,” Geom. Topol.25, 1165-1330 (2021) doi:10.2140/gt.2021.25.1165, arXiv:1604.06527 [hep-th]

    work page doi:10.2140/gt.2021.25.1165 2021

  12. [12]

    A Brief Summary Of Global Anomaly Cancellation In Six-Dimensional Supergravity

    S. Monnier and G. W. Moore, “A Brief Summary Of Global Anomaly Cancellation In Six-Dimensional Supergravity,” arXiv:1808.01335 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Global anomalies in 6D gauged supergravities,

    K. Becker, E. Sezgin, D. Tennyson and Y. Tachikawa, “Global anomalies in 6D gauged supergravities,” JHEP01(2026) 092, doi:10.1007/JHEP01(2026)092, arXiv:2507.22127 [hep-th]

    work page doi:10.1007/jhep01(2026)092 2026

  14. [14]

    Global aspects of the space of 6D N = 1 supergravities

    V. Kumar, D. R. Morrison and W. Taylor, “Global aspects of the space of 6D N = 1 supergravities,” JHEP11(2010) 118, doi:10.1007/JHEP11(2010)118, arXiv:1008.1062 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep11(2010)118 2010

  15. [15]

    Charge Lattices and Consistency of 6D Supergravity

    N. Seiberg and W. Taylor, “Charge Lattices and Consistency of 6D Supergravity,” JHEP06 (2011) 001, doi:10.1007/JHEP06(2011)001, arXiv:1103.0019 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep06(2011)001 2011

  16. [16]

    Symmetries and Strings in Field Theory and Gravity

    T. Banks and N. Seiberg, “Symmetries and Strings in Field Theory and Gravity,” Phys. Rev. D 83, 084019 (2011) doi:10.1103/PhysRevD.83.084019, arXiv:1011.5120 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.83.084019 2011

  17. [17]

    McNamara and C

    J. McNamara and C. Vafa, “Cobordism Classes and the Swampland,” arXiv:1909.10355 [hep-th]

    work page arXiv 1909

  18. [18]

    Mapping 6D N = 1 supergravities to F-theory

    V. Kumar, D. R. Morrison and W. Taylor, “Mapping 6D N = 1 supergravities to F-theory,” JHEP02, 099 (2010) doi:10.1007/JHEP02(2010)099, arXiv:0911.3393 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2010)099 2010

  19. [19]

    Towards a complete classification of 6D supergravities,

    Y. Hamada and G. J. Loges, “Towards a complete classification of 6D supergravities,” JHEP 02, 095 (2024) doi:10.1007/JHEP02(2024)095, arXiv:2311.00868 [hep-th]

    work page doi:10.1007/jhep02(2024)095 2024

  20. [20]

    A finite 6d supergravity landscape from anomalies,

    Y. Hamada and G. J. Loges, “A finite 6d supergravity landscape from anomalies,” arXiv:2507.20949 [hep-th]

    work page arXiv

  21. [21]

    Matter Couplings in N=2 Supergravity,

    J. Bagger and E. Witten, “Matter Couplings in N=2 Supergravity,” Nucl. Phys. B222(1983) 1–10, doi:10.1016/0550-3213(83)90605-3

    work page doi:10.1016/0550-3213(83)90605-3 1983

  22. [22]

    Heterotic phase transitions and singularities of the gauge dyonic string

    M. J. Duff, H. Lu and C. N. Pope, “Heterotic phase transitions and singularities of the gauge dyonic string,” Phys. Lett. B378(1996) 101–106, doi:10.1016/0370-2693(96)00420-0, arXiv:hep-th/9603037 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370-2693(96)00420-0 1996

  23. [23]

    Enumerating 6D supergravities with T≤1,

    Y. Hamada and G. J. Loges, “Enumerating 6D supergravities with T≤1,” JHEP12, 167 (2024) doi:10.1007/JHEP12(2024)167, arXiv:2404.08845 [hep-th]

    work page doi:10.1007/jhep12(2024)167 2024

  24. [24]

    Branes and the Swampland,

    H. C. Kim, G. Shiu and C. Vafa, “Branes and the Swampland,” Phys. Rev. D100, no.6, 066006 (2019) doi:10.1103/PhysRevD.100.066006, arXiv:1905.08261 [hep-th]

    work page doi:10.1103/physrevd.100.066006 2019

  25. [25]

    Exploring new constraints on K¨ ahler moduli space of 6dN= 1 supergravity,

    H. C. Kim and C. Vafa, “Exploring new constraints on K¨ ahler moduli space of 6dN= 1 supergravity,” JHEP10, 217 (2024) doi:10.1007/JHEP10(2024)217, arXiv:2406.06704 [hep-th]

    work page doi:10.1007/jhep10(2024)217 2024

  26. [26]

    Group theory for unified model building.Physics Reports, 79(1):1–128, 1981

    R. Slansky, “Group Theory for Unified Model Building,” Phys. Rept.79, 1-128 (1981) doi:10.1016/0370-1573(81)90092-2. – 30 –

    work page doi:10.1016/0370-1573(81)90092-2 1981

  27. [27]

    Modified Fourth Order Casimir Invariants and Indices for Simple Lie Algebras,

    S. Okubo, “Modified Fourth Order Casimir Invariants and Indices for Simple Lie Algebras,” J. Math. Phys.23(1982) 8, doi:10.1063/1.525212. – 31 –

    work page doi:10.1063/1.525212 1982