REVIEW 3 major objections 4 minor 21 references
By mixing the R-symmetry U(1) with a hypermultiplet isometry, six-dimensional (1,0) supergravity becomes rich with anomaly-free models and supersymmetric Minkowski vacua.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 07:49 UTC pith:QHG7U5WF
load-bearing objection The anomaly-free landscape is the real contribution and looks plausible, but the vacuum section contains a concrete typo-level inconsistency and the scan ships no code or data; referee it, but conditionally. the 3 major comments →
Diagonally gauged anomaly-free 6D supergravities and their vacua
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that diagonal R-symmetry gauging—gauge group U(1)_R+ whose generator is the sum of the usual U(1)_R and a U(1) inside the quaternionic-isometry group Sp(n_H) acting on hypermultiplets—passes all local and global anomaly tests in a much larger class of 6D (1,0) models than ordinary U(1)_R gauging, and yields supersymmetric Minkowski vacua. Concretely, the paper exhibits 706 G_1×U(1)_R+ and 1,559 G_1×G_2×U(1)_R+ anomaly-free spectra under its stated rank and charge bounds, and shows by explicit coset parametrization (rank-one ansatz on SU(n_H,2)/(U(n_H)×SU(2)_R)) that vanishing of all moment maps is achievable exactly when the gauging is diagonal, leading to C_+ = C_z' = 0
What carries the argument
The load-bearing object is the diagonal generator T_R+ = T^3 + T_H: the sum of the quaternionic R-symmetry generator T^3 and a U(1)_H inside the isotropy group H ⊂ G_H of the hypermultiplet coset. This single modification shifts the anomaly sums (it changes the charge sums S_2, S_4 and mixed coefficients) so that factorizability of the anomaly polynomial and integral unimodularity of the anomaly vectors become easy to satisfy; and in the scalar potential it makes the moment map C_+ = L^{-1} T_R+ L restricted to Sp(1)_R vanish on a nontrivial submanifold of the hyperscalar coset, exactly the condition for a supersymmetric Minkowski vacuum.
Load-bearing premise
The Minkowski-vacuum claim rests on choosing the hypermultiplet scalar manifold to be SU(n_H,2)/(U(n_H)×SU(2)_R) and on restricting scalars to a rank-one ansatz; if supersymmetric Minkowski vacua also exist on other Wolf-space cosets or with more general scalar profiles—or if the necessity of the diagonal gauging fails there—the paper's universality claim would not survive.
What would settle it
Compute equation (4.17) for each of the 2,265 listed spectra: any model for which the quadratic form z†(2 + n_H q_av/2 1 + Q_H)z has only non-positive coefficients on the subspace permitted by C_z' = 0 would admit no rank-one Minkowski solution, contradicting the paper if it claimed all models; conversely, a U(1)_R-only model (all hypermultiplet charges q_I = 0) that nevertheless solves C_+ = 0 on some Wolf-space coset would refute the claimed necessity of the diagonal gauging.
If this is right
- Ordinary U(1)_R gauging, known to be rare and to forbid maximally symmetric Minkowski or (A)dS vacua, is not the only consistent option: diagonal gaugings multiply the catalog of anomaly-free theories by orders of magnitude.
- The scanned models provide a concrete testing ground for the conjecture that every consistent 6D supergravity has a string/M/F-theory origin; if these have none, the landscape beyond the string lamppost is physically real.
- Supersymmetric Minkowski vacua with a flat dilaton and hypermultiplet flat directions offer new backgrounds for studying anomaly inflow and possible string solutions of 6D theories.
- The same construction motivates searching for stable de Sitter vacua (Mink_4×S^2 and (A)dS_4×S^2) in the new models, where earlier toy models showed tachyonic instabilities.
Where Pith is reading between the lines
- The 706/1,559 counts are floors set by the scan bounds q_max=1 and rank windows; the authors' own extended scan with q_max=4 adds 1,776 G_1×U(1)_R+ models, so the true landscape is larger and likely includes many more gauge groups (e.g., C_5 and E_7 appear only at higher charges).
- The rank-one Minkowski condition (4.21) can be read as a mild chirality test: models whose average hypermultiplet charge is too negative may fail to satisfy the quadratic equation, as the original E_6×A_7 example does. This suggests a systematic relation between the sign of the U(1)_R+ charge spectrum and the existence of supersymmetric vacua.
- If the diagonal trick works because it relaxes the anomaly sums, a similar construction may ease the known obstruction to gauged R-symmetry in other dimensions (e.g., 4D N=2 or 5D), where R-symmetry gauging is also tightly constrained.
- The paper leaves open whether every one of the 2,265 models actually admits the Minkowski vacuum; it demonstrates the mechanism on representative examples, so verifying the full list (or finding counterexamples) is a natural next step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper performs a bounded scan for anomaly-free six-dimensional N=(1,0) supergravities with one tensor multiplet and gauge group G1×U(1)_{R+} or G1×G2×U(1)_{R+}, where U(1)_{R+} is the diagonal combination of the standard gauged U(1)_R and a U(1) inside the hypermultiplet isotropy group. The scan imposes local anomaly cancellation, factorization of the anomaly polynomial, the integral/unimodular lattice condition on Green–Schwarz coefficients, and ghost-freeness of the gauge kinetic terms. The paper reports 706 and 1559 anomaly-free models under the stated rank and charge bounds, and then studies maximally symmetric vacua using the coset SU(n_H,2)/(U(n_H)×SU(2)_R) and a rank-one hyperscalar ansatz. It claims that these models admit supersymmetric 6D Minkowski vacua, and that the diagonal nature of the R-symmetry gauging is necessary for such vacua. Several explicit spectra and vacuum examples are provided in the appendices and in Section 4.4.
Significance. If the results are correct, the paper establishes a substantially richer landscape of consistent 6D gauged supergravities than the usual U(1)_R-gauged models, and it identifies a concrete vacuum mechanism in which the diagonal R-gauging allows supersymmetric Minkowski solutions. The anomaly-polynomial machinery, matching equations, and lattice tests are standard and internally coherent; the use of constraint-satisfaction rather than fitting is a methodological strength. The paper also provides useful explicit spectra and branching data. Its main weaknesses are the lack of reproducible scan code or complete data for the reported counts, an overbroad statement about the necessity of diagonal gauging, and an incorrect printed equation in the vacuum derivation that is, however, contradicted by the paper's own examples and bound.
major comments (3)
- [§4.3, Eq. (4.17)] Equation (4.17) does not follow from Eq. (4.15). With the rank-one ansatz (4.16), the tracelessness condition on the 2×2 moment map gives z†[(1+n_H q_av/2)1_{n_H}+Q_H]z=2, not z†[(2+n_H q_av/2)1_{n_H}+Q_H]z=2. The printed coefficient should be 1+n_H q_av/2, not 2+n_H q_av/2. The subsequent text confirms this: Eq. (4.26) gives coefficients 93/2 and 95/2 for q=0 and q=+1, Eq. (4.41) gives −41, −40, −42 for q=0,+1,−1, and the bound (4.21) is also the one obtained from the corrected equation. Since C_+=0 is the central vacuum condition, Eq. (4.17) and all derived coefficients must be corrected and rechecked.
- [Abstract and §4.3] The claim that the diagonal nature of the R-symmetry gauging is necessary for supersymmetric Minkowski vacua is established only within the restricted class defined by the coset (4.11) and the rank-one ansatz (4.16). The text itself says these are choices, not a general analysis. The argument for ordinary U(1)_R gauging (q_I=0) within this class is z†z=2 versus z†z≤1, but other Wolf-space cosets or non-rank-one configurations are not treated. The abstract's unconditional necessity statement, and the wording 'can only occur in diagonal gaugings' after Eq. (4.21), should be qualified to the class of vacua considered here, or the analysis should be extended.
- [§3 and Appendices A–B] The reported totals 706 and 1559 are central results, but the paper ships no code or machine-readable data. For the G1×U(1)_{R+} scan, the largest class A3 (619 models) is omitted from the appendix, and for the G1×G2×U(1)_{R+} scan only one representative spectrum per class is listed, together with sign-count numbers. A reader cannot independently re-run the scan or reconstruct the full spectra from the preprint. Please provide the scan code or complete spectrum tables as ancillary material so that the claimed counts can be verified.
minor comments (4)
- [§2.2, Eq. (2.14)] There is a typo in the text before Eq. (2.14): 'we we obtain' should read 'we obtain'.
- [§4.4, E6×A7 example] In the E6×A7 example, the mapping from the three singlets z1,z2,z3 to their U(1)_{R+} charges is not stated. Specifying this order is needed to check the coefficients in Eq. (4.41) against Eq. (4.17).
- [Appendix C, Table 8] The table is labeled 'Certified maximal singlet counts', but no certification procedure or data is provided. A brief description of how Nmax and n_sing^max were determined would improve reproducibility.
- [§3.1] Minor typo: 'The distribution of teh models' should read 'the'.
Circularity Check
No significant circularity; the anomaly/vacuum results are constraint-satisfaction constructions, with only minor non-load-bearing self-citations.
full rationale
The paper's central claims are not circular. The 706 and 1559 model counts are generated by scanning spectra and imposing the factorization equations (2.27)-(2.34), the trace conditions (2.16)-(2.17), the rank/lattice conditions (2.38)-(2.41), and ghost-freedom; models are accepted iff these equations are satisfied, so nothing is fitted to a target and then re-presented as a prediction. The Minkowski-vacuum claim likewise comes from solving the supersymmetry conditions (4.10), (4.15), (4.17), and (4.19) within the stated coset (4.11) and rank-one ansatz (4.16), rather than from adjusting parameters to force a precomputed answer. Self-citations ([8], [20], [21]) provide background, the action, and a toy-model comparison; they are not the load-bearing content of the anomaly scan or the vacuum analysis. The restriction to the Wolf-sheet coset (4.11) and rank-one ansatz (4.16) is an explicit modeling choice and narrows the universality of the 'necessary' claim, but that is a scope limitation rather than a circularity. Separately (a correctness issue, not a circularity), the printed step from (4.15) to (4.17) is not demonstrated and the example coefficients in (4.41) do not match a direct evaluation of (4.17) with (4.40), so the vacuum examples need independent verification.
Axiom & Free-Parameter Ledger
free parameters (4)
- Scan rank bounds =
rank(G1) in 3..10 or G2; rank(Gi) in 5..10 or F4
- Charge bound q_max =
1 in main scan, 4 in extended scan
- Number of simple factors n =
1 and 2
- Maximal-singlet subgroup choice N_max =
N_max per model in Table 8
axioms (6)
- standard math Anomaly polynomial formula (2.14) from [13,14] is correct for 6D (1,0) supergravity.
- domain assumption Gravitational anomaly cancellation requires n_H = n_V + 244 for T=1 (2.15).
- domain assumption The string-charge lattice must be integral and unimodular; the tests in §2.3 are sufficient for global anomaly freedom.
- domain assumption Hypermultiplet scalar manifolds are quaternionic Kähler Wolf spaces and the moment-map potential (2.50)-(2.51) governs the vacuum.
- ad hoc to paper Vacuum search restricted to coset SU(n_H,2)/(U(n_H)×SU(2)_R) and rank-one ansatz (4.11)-(4.16).
- domain assumption For each example there exists a subgroup N satisfying the chain (4.20) with adjoint containing no N-singlet and with the listed branching.
read the original abstract
We describe a bounded search for local and global anomaly-free six-dimensional $(1,0)$ models with tensor number $T=1$ and gauge group containing a diagonal abelian factor $U(1)_{R+}$. The abelian factor is the diagonal combination of the usual gauged $U(1)_R$ and a $U(1)\subset Sp(n_H)$ acting on hypermultiplets. We have searched for locally and globally anomaly-free $G_1\times U(1)_{R+}$ and $G_1\times G_2\times U(1)_{R+}$ models, subject to restrictions on the ranks of the simple factors and on the maximal charges carried by matter. We find that, unlike the case of $U(1)_R$ gauged models which are relatively rare, the diagonally gauged ones offer a rich landscape. We also study the 6D vacua of these models and find that they admit supersymmetric 6D Minkowski vacua, for which the diagonal nature of the R-symmetry gauging is necessary.
Reference graph
Works this paper leans on
-
[1]
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
-
[2]
H. Nishino and E. Sezgin,New couplings of six-dimensional supergravity,Nucl. Phys. B505 (1997) 497 [hep-th/9703075]
Pith/arXiv arXiv 1997
-
[3]
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]
Pith/arXiv arXiv 2001
-
[4]
Randjbar-Daemi, A
S. Randjbar-Daemi, A. Salam, E. Sezgin and J. A. Strathdee,An Anomaly Free Model in Six-Dimensions,Phys. Lett. B151(1985) 351
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]
Pith/arXiv arXiv 2005
-
[6]
S. D. Avramis and A. Kehagias,A Systematic search for anomaly-free supergravities in six dimensions,JHEP10(2005) 052 [hep-th/0508172]
Pith/arXiv arXiv 2005
-
[7]
K. Becker, A. Kehagias, E. Sezgin, D. Tennyson and A. Violaris,New anomaly free supergravities in six dimensions,JHEP05(2024) 144 [2311.03337]
Pith/arXiv arXiv 2024
-
[8]
K. Becker, E. Sezgin, D. Tennyson and Y. Tachikawa,Global anomalies in 6D gauged supergravities,JHEP01(2026) 092 [2507.22127]
Pith/arXiv arXiv 2026
-
[9]
R. Suzuki and Y. Tachikawa,More anomaly-free models of six-dimensional gauged supergravity,J. Math. Phys.47(2006) 062302 [hep-th/0512019]
Pith/arXiv arXiv 2006
-
[10]
Bagger and E
J. Bagger and E. Witten,Matter Couplings in N=2 Supergravity,Nucl. Phys. B222(1983) 1
1983
-
[11]
Sezgin,Survey of supergravities,2312.06754
E. Sezgin,Survey of supergravities,2312.06754
-
[12]
S. Randjbar-Daemi and E. Sezgin,Scalar potential and dyonic strings in 6-D gauged supergravity,Nucl. Phys. B692(2004) 346 [hep-th/0402217]
Pith/arXiv arXiv 2004
-
[13]
Alvarez-Gaume and E
L. Alvarez-Gaume and E. Witten,Gravitational Anomalies,Nucl. Phys. B234(1984) 269
1984
-
[14]
Alvarez-Gaume and P
L. Alvarez-Gaume and P. H. Ginsparg,The Structure of Gauge and Gravitational Anomalies, Annals Phys.161(1985) 423
1985
- [15]
-
[16]
Taylor,TASI Lectures on Supergravity and String Vacua in Various Dimensions, 1104.2051
W. Taylor,TASI Lectures on Supergravity and String Vacua in Various Dimensions, 1104.2051
Pith/arXiv arXiv 2051
-
[17]
N. Seiberg and W. Taylor,Charge Lattices and Consistency of 6D Supergravity,JHEP06 (2011) 001 [1103.0019]. 30
Pith/arXiv arXiv 2011
-
[18]
S. Monnier, G. W. Moore and D. S. Park,Quantization of anomaly coefficients in 6D N= (1,0)supergravity,JHEP02(2018) 020 [1711.04777]
Pith/arXiv arXiv 2018
-
[19]
Y. Lee and Y. Tachikawa,Some comments on 6D global gauge anomalies,PTEP2021 (2021) 08B103 [2012.11622]
Pith/arXiv arXiv 2021
-
[20]
G. Bossard, A. Kleinschmidt and E. Sezgin,Higher derivative couplings with multi-tensor multiplets in 6D supergravity, action and anomalies,JHEP03(2025) 108 [2412.05365]
Pith/arXiv arXiv 2025
-
[21]
X. Guo, Y. Pang and E. Sezgin,4D de Sitter from 6D gauged supergravity with Green-Schwarz counterterm,JHEP07(2026) 6 [2510.11794]. 31
Pith/arXiv arXiv 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.