REVIEW 2 major objections 4 minor 2 cited by
Including the Green-Schwarz anomaly counterterm in R-symmetry gauged 6D N=(1,0) supergravity yields exact half-supersymmetric Mink4×S2 and non-supersymmetric dS4×S2 solutions with a monopole on S2, with the de Sitter vacuum's two tachyonic
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-04 10:03 UTC pith:3EDOHI33
load-bearing objection A careful, honest 6D supergravity paper that finds an exact dS4×S2 solution and full KK spectra, but the dS vacuum sits in a truncated action whose 4-derivative completion is unbuilt and unsuppressed in the explicit models. the 2 major comments →
4D de Sitter from 6D gauged supergravity with Green-Schwarz counterterm
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 discovery is that the Green-Schwarz counterterm is not a passive spectator in the vacuum equations: the supersymmetry-required modifications produce a gauge kinetic function f = v e^φ + tilde(v) e^{-φ} and a potential V proportional to tr(C^2)/f whose sign properties decide what vacua exist. For the standard U(1)_R gauging the anomaly coefficient product v * tilde(v) is negative, which forbids (A)dS4×S2 solutions. Gauging a diagonal combination of U(1)_R with an external U(1) flips the sign to v * tilde(v) > 0 and yields the exact solutions (2.57)–(2.58): Mink4×S2 with 1/a^2 = 2/f_0, half-supersymmetric, and dS4×S2 with a^2 = sqrt(v * tilde(v)), L^2 = (27/2) sqrt(v * tilde(v)), k
What carries the argument
The Green-Schwarz counterterm and its supersymmetry-completion terms: the 2-form B couples to gauge fields via an epsilon B F F term, which modifies the gauge kinetic function f_z = v_z e^φ + tilde(v)_z e^{-φ} and the scalar potential V = tr(C^2)/f (plus a second term in the two-U(1) model). The sign of v * tilde(v)—controlled by anomaly coefficients and made positive by diagonal gauging—is what permits the dS4×S2 solution; the monopole quantization condition k a^2 = n/2 fixes the radius ratio L^2/a^2 = 9/2 for the de Sitter vacuum. The C-matrix formalism (tr(C^2) = 1/2 at φ = 0) supplies the potential's value without needing the full hypermultiplet geometry.
Load-bearing premise
The two-derivative action with the Green-Schwarz counterterm is the correct effective description of the vacua—specifically, the unconstructed 4-derivative terms (Lorentz Chern-Simons, Riem^2, F^4, and potential corrections) are suppressed; the paper's own criterion v * tilde(v) >> 1 is not met by either explicit model, which have v * tilde(v) around 1 or 10^-2.
What would settle it
Find a model with the same diagonal gauging and anomaly data but v * tilde(v) > 0 in which the two-derivative field equations admit no dS4×S2 solution satisfying the monopole quantization k a^2 = ±1/2, or compute the 4-derivative corrections and show they shift the dS solution's radius ratio L^2/a^2 = 9/2 or destabilize the vacuum at leading order. Alternatively, a direct perturbative check that the tachyonic modes' effective potential has no flow from dS to Minkowski would falsify the flow claim.
If this is right
- The dS4×S2 vacuum is an exact solution of a consistent 6D supergravity with anomaly coefficients controlling the vacuum structure, evading common de Sitter no-go assumptions if the 2-derivative action governs the vacuum.
- The full KK spectrum is unitary on Mink4×S2; on dS4×S2 only two scalars violate the Higuchi bound, while the rest of the spectrum is unitary.
- Small perturbations of the two tachyonic modes around dS4×S2 trigger a flow evolving towards Mink4×S2 with minimal (zero) potential energy.
- The diagonal gauging requirement (v * tilde(v) > 0) is necessary for (A)dS4×S2 solutions; without it only the Minkowski vacuum exists.
- The AdS4×S2 solution with external U(1) flux exhibits scale separation when the condition (v - n^2 v_1)(tilde(v) - n^2 tilde(v)_1) ≈ 0 holds.
Where Pith is reading between the lines
- If the 4-derivative corrections are indeed suppressed for v * tilde(v) >> 1, then searching for anomaly-free models with large v and tilde(v)—for example, hypers carrying large U(1)_R+ charges—is a concrete path to a controlled de Sitter vacuum; the paper's own two models do not yet satisfy that hierarchy.
- The dS instability is mild: the tachyons trigger a classical flow to the Minkowski vacuum, so the dS solution may be better interpreted as a metastable, cosmologically short-lived configuration rather than a stable vacuum—an interpretation the paper gestures at but does not emphasize.
- The same mechanism—the GS counterterm flipping the sign of v * tilde(v)—could be probed in other compactifications, such as the dS2×S4 solution the paper notes avoids tachyons, or with both U(1)_R and external fluxes turned on simultaneously.
- The consistency of the dS spectrum with the Higuchi bound for all but two scalars suggests that similar anomaly-driven potentials might produce scale-separated de Sitter vacua in other dimensions, but the suppression of higher-derivative terms must be checked model by model.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies 6D N=(1,0) gauged supergravity with the Green-Schwarz anomaly counterterm and the supersymmetry-related modifications of the gauge kinetic term and potential. Two anomaly-free models with diagonal U(1)_R gauging and an additional external U(1) are used. The authors present half-supersymmetric Mink_4×S^2 and non-supersymmetric dS_4×S^2 solutions with a monopole on S^2, obtain the full KK spectra of both vacua, find two tachyonic scalars in the dS case, and give a numerical flow from dS_4×S^2 to Mink_4×S^2. They also discuss an AdS_4×S^2 solution with U(1)' flux and conditions for scale separation.
Significance. The paper has several genuine strengths: the vacuum solutions are derived by direct substitution into the two-derivative field equations rather than by fitting parameters; the KK spectra are computed systematically with explicit mass matrices and Higuchi-bound checks; and the limitations of the 2-derivative truncation are discussed openly in Sec. 7. If the dS solution survives the unconstructed higher-derivative corrections, it would be a notable explicit de Sitter vacuum in a gauged 6D supergravity with anomaly coefficients controlling the vacuum structure. However, the paper's own suppression criterion is not met by the explicit anomaly-free models, so the central de Sitter claim is not yet parametrically controlled.
major comments (2)
- [§7, eqs. (2.58), (5.36)–(5.37), (7.6)–(7.7)] The dS_4×S^2 vacuum (2.58), the tachyonic masses (5.36)–(5.37), and the flow in Sec. 6 are obtained from the two-derivative Lagrangian (2.36). The paper itself states that the unbuilt 4-derivative terms (Lorentz Chern-Simons, Riem^2, F^4 and potential corrections) contribute at the same order as the retained terms unless v >> 1 and ṽ >> 1, i.e. ṽv >> 1. The two explicit anomaly-free models have ṽv 'around 1 and 10^{-2}' and 'do not satisfy these conditions' (Sec. 7). Thus, by the paper's own criterion, the dS solution and its spectrum are computed in an uncontrolled regime: the missing terms can shift the vacuum, remove it, or change the tachyonic directions. This is load-bearing for the headline claim. The authors should either exhibit an anomaly-free model satisfying ṽv >> 1 or explicitly restrict the abstract and conclusion to solutions of the truncated two-derivative action (2.36
- [§2.5 and abstract] The abstract says the paper 'show[s] that the phenomenon of scale separation is realized.' The body is more cautious: condition (2.67) is checked for the model (2.33), but the scale-separation condition (2.68) is only noted as a sufficient condition, and the explicit τ<1 solution (2.69) is obtained by imposing the additional relation ṽv_1 = ṽ_1 v on the anomaly coefficients. No anomaly-free model satisfying that relation is exhibited, and the statement 'Finding new models which admit AdS vacua with scale separation is for future work' directly contradicts the abstract's wording. The abstract and conclusion should be revised to distinguish the existence of an AdS_4×S^2 solution in the explicit model from a conditional example of scale separation.
minor comments (4)
- [Abstract and Sec. 7] The phrases 'the theory admits ... dS_4×S^2 as exact solutions' and '4D de Sitter from 6D gauged supergravity' should be qualified: the solution is exact for (2.36), not for the complete theory whose higher-derivative completion is not constructed. This is closely related to the first major comment, but even a sentence in the abstract would improve accuracy.
- [Sec. 6] The flow from dS_4×S^2 to Mink_4×S^2 is demonstrated numerically in a homogeneous ansatz for two scalar modes (Figs. 1–3). The text 'turning on small perturbations ... triggers a flow' is supported only for this particular truncation and initial data. A short remark that the result is a numerical existence demonstration, not a basin-of-attraction analysis, would be appropriate.
- [Sec. 7, after eq. (7.7)] The text contains a typo: 'contribute to teh lower derivative terms'. Also, the sentence 'In the terms other than the potential, the terms not involving v are tree level, and those involving ṽ are 1-loop terms' would benefit from a footnote clarifying that this is a loop-counting schematic, since no loop computation is presented.
- [Sec. 2.5, eq. (2.69)] In the displayed solution (2.69), the quantity c is the U(1)' flux constant but its normalization relative to the quantization condition (2.63) is not restated. The reader must infer the relation. A brief reminder would improve readability.
Circularity Check
No significant circularity: the dS/Mink vacua are direct solutions of the stated field equations, and the scale-separation example is an explicitly parameterized conditional rather than a predicted/fitted result.
full rationale
The central vacuum solutions (2.57)–(2.58) are obtained by substituting the ansatz (2.55) into the field equations (2.45)–(2.49) and solving them algebraically, with the monopole quantization condition (2.56) checked afterwards. No parameter is fitted to the target vacuum and then renamed as a prediction. The requirement ṽv > 0 for the (A)dS solutions is an input model property, obtained from anomaly-free charge assignments; the paper shows that the usual U(1)_R gauging gives ṽv < 0 and that diagonal gauging can reverse this sign. That is a construction, not a circular derivation. The AdS scale-separation statement in (2.69)–(2.70) is explicitly conditional: if one imposes v1/v = ṽ1/ṽ = τ < 1 with τ near 1, then L²/a² becomes large. The paper labels this as an imposed condition and states that a systematic search is future work, so it is not presenting a forced parameter as an independent prediction. The Lagrangian is quoted from [18,21]; [18] has overlapping authorship, but the cited construction is a separate derivation of the action and does not assume the dS/Mink solutions obtained here. Section 7 openly acknowledges that the full four-derivative completion is not constructed and that the explicit models have ṽv around 1 and 10^-2; this is a correctness/control limitation, not a circular step. No exhibited circular reduction is present.
Axiom & Free-Parameter Ledger
free parameters (4)
- p (U(1)R+ hyperini charge) =
p=1
- monopole number n =
n=±1
- charge assignment matrix n_{pq} for U(1)R+ × U(1)' model =
n_{pq} = [[2,4,6],[150,4,2],[6,62,10]]
- τ = v1/v = 'tilde-v'1/'tilde-v' =
τ<1, with τ→1 for scale separation
axioms (6)
- standard math nH = nV + 244 for tr R^4 anomaly cancellation (2.3)
- domain assumption The bosonic Lagrangian (2.36) with GS counterterm and modified gauge kinetic terms/potential (2.38)-(2.39) is the correct low-energy action
- domain assumption tr C^2|_{φ=0} = 1/2, C1|_{φ=0} = 0 (2.42)
- ad hoc to paper 4-derivative corrections (Lorentz CS, Riem^2, F^4) are suppressed on the vacua
- standard math Monopole quantization ka^2 = n/2 and spin-weighted harmonic analysis on S^2
- ad hoc to paper For the AdS scale-separation example: v'tilde-v'1 − 'tilde-v'v1 = 0 and τ<1 (2.69)
read the original abstract
Taking into account the Green-Schwarz anomaly counterterm in R-symmetry gauged $N=(1,0)$ supergravity in six dimensions, and the associated modification in the Maxwell kinetic term and potential, the theory admits half-supersymmetric Mink$_4\times S^2$ and non-supersymmetric dS$_4 \times S^2$ solutions with or without a monopole on $S^2$. The monopole charge and the anomaly coefficients play key roles in the vacuum structure and a diagonal gauging in which an admixture of an external $U(1)$ with the R-symmetry $U(1)_R$ is needed for the de Sitter solutions to exist. We determine the full Kaluza-Klein spectrum for both vacua. The spectrum is unitary in the Minkowski case but in the case of de Sitter vacuum, the dilaton and the breathing mode are tachyonic. We show that turning on small perturbations of the tachyonic modes around dS$_4\times S^2$ with a monopole on $S^2$ triggers a flow evolving towards Mink$_4\times S^2$ with the minimal potential energy. The diagonally gauged model also supports dS$_2\times S^4$ solution which avoids tachyons for certain values of the flux on dS$_2$. We also find nonsupersymmetric (A)dS$_4\times S^2$ solutions, when we turn on a flux associated with external $U(1)$ gauge field only, and show that they support the phenomenon of scale separation under certain conditions on anomaly coefficients.
Figures
Forward citations
Cited by 2 Pith papers
-
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.
-
Dark energy from string theory: an introductory review
String theory imposes constraints on dark energy but permits various construction attempts for de Sitter vacua and single-field exponential quintessence models despite obstructions.
Reference graph
Works this paper leans on
-
[1]
Aspects of supergravity theories,
G. W. Gibbons, “Aspects of supergravity theories,” inXV GIFT Seminar on Supersymmetry and Supergravity. 6, 1984
1984
-
[2]
Supergravity description of field theories on curved manifolds and a no go theorem,
J. M. Maldacena and C. Nunez, “Supergravity description of field theories on curved manifolds and a no go theorem,”Int. J. Mod. Phys. A16(2001) 822–855, arXiv:hep-th/0007018
Pith/arXiv arXiv 2001
-
[3]
de Sitter Vacua in Type IIB String Theory: Classical Solutions and Quantum Corrections,
K. Dasgupta, R. Gwyn, E. McDonough, M. Mia, and R. Tatar, “de Sitter Vacua in Type IIB String Theory: Classical Solutions and Quantum Corrections,”JHEP07(2014) 054, arXiv:1402.5112 [hep-th]
Pith/arXiv arXiv 2014
-
[4]
Residual Supersymmetry of Compactified D=10 Supergravity,
B. de Wit, D. J. Smit, and N. D. Hari Dass, “Residual Supersymmetry of Compactified D=10 Supergravity,”Nucl. Phys. B283(1987) 165
1987
-
[5]
Is the Superstring Weakly Coupled?,
M. Dine and N. Seiberg, “Is the Superstring Weakly Coupled?,”Phys. Lett. B162(1985) 299–302
1985
-
[6]
Open problems on classical de Sitter solutions,
D. Andriot, “Open problems on classical de Sitter solutions,”Fortsch. Phys.67no. 7, (2019) 1900026,arXiv:1902.10093 [hep-th]
Pith/arXiv arXiv 2019
-
[7]
What if string theory has no de Sitter vacua?,
U. H. Danielsson and T. Van Riet, “What if string theory has no de Sitter vacua?,”Int. J. Mod. Phys. D27no. 12, (2018) 1830007,arXiv:1804.01120 [hep-th]
Pith/arXiv arXiv 2018
-
[8]
Brief overview of Candidate de Sitter Vacua,
A. Schachner, “Brief overview of Candidate de Sitter Vacua,” in24th Hellenic School and Workshops on Elementary Particle Physics and Gravity. 4, 2025.arXiv:2505.00149 [hep-th]
Pith/arXiv arXiv 2025
-
[9]
String cosmology: From the early universe to today,
M. Cicoli, J. P. Conlon, A. Maharana, S. Parameswaran, F. Quevedo, and I. Zavala, “String cosmology: From the early universe to today,”Phys. Rept.1059(2024) 1–155, arXiv:2303.04819 [hep-th]
Pith/arXiv arXiv 2024
-
[10]
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,arXiv:hep-th/9603037
Pith/arXiv arXiv 1996
-
[11]
Gauged supergravities and their symmetry-breaking vacua in F-theory,
T. W. Grimm and T. G. Pugh, “Gauged supergravities and their symmetry-breaking vacua in F-theory,”JHEP06(2013) 012,arXiv:1302.3223 [hep-th]
Pith/arXiv arXiv 2013
-
[12]
4D de Sitter from String Theory via 6D Supergravity,
C. P. Burgess, F. Muia, and F. Quevedo, “4D de Sitter from String Theory via 6D Supergravity,”arXiv:2408.03852 [hep-th]
-
[13]
Tachyonic de Sitter Solutions of 10d Type II Supergravities,
D. Andriot, “Tachyonic de Sitter Solutions of 10d Type II Supergravities,”Fortsch. Phys. 69no. 7, (2021) 2100063,arXiv:2101.06251 [hep-th]
Pith/arXiv arXiv 2021
- [14]
-
[15]
The Structure of Gauge and Gravitational Anomalies,
L. Alvarez-Gaume and P. H. Ginsparg, “The Structure of Gauge and Gravitational Anomalies,”Annals Phys.161(1985) 423. [Erratum: Annals Phys. 171, 233 (1986)]. 42
1985
-
[16]
Critical dimensions for strings in a curved background,
E. Bergshoeff, H. Sarmadi, and E. Sezgin, “Critical dimensions for strings in a curved background,” inNuffield Workshop on Supersymmetry and its Applications. 11, 1985
1985
-
[17]
LieART 2.0 – A Mathematica application for Lie Algebras and Representation Theory,
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,arXiv:1912.10969 [hep-th]
Pith/arXiv arXiv 2020
-
[18]
Higher derivative couplings with multi-tensor multiplets in 6D supergravity, action and anomalies,
G. Bossard, A. Kleinschmidt, and E. Sezgin, “Higher derivative couplings with multi-tensor multiplets in 6D supergravity, action and anomalies,”JHEP03(2025) 108, arXiv:2412.05365 [hep-th]
Pith/arXiv arXiv 2025
-
[19]
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(2006) 062302,arXiv:hep-th/0512019
Pith/arXiv arXiv 2006
-
[20]
Quantization of anomaly coefficients in 6D 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,arXiv:1711.04777 [hep-th]
Pith/arXiv arXiv 2018
-
[21]
All couplings of minimal six-dimensional supergravity,
F. Riccioni, “All couplings of minimal six-dimensional supergravity,”Nucl. Phys. B605 (2001) 245–265,arXiv:hep-th/0101074
Pith/arXiv arXiv 2001
-
[22]
Scalar potential and dyonic strings in 6-D gauged supergravity,
S. Randjbar-Daemi and E. Sezgin, “Scalar potential and dyonic strings in 6-D gauged supergravity,”Nucl. Phys. B692(2004) 346–362,arXiv:hep-th/0402217
Pith/arXiv arXiv 2004
-
[23]
Tensor and vector multiplets in six-dimensional supergravity,
S. Ferrara, F. Riccioni, and A. Sagnotti, “Tensor and vector multiplets in six-dimensional supergravity,”Nucl. Phys. B519(1998) 115–140,arXiv:hep-th/9711059
Pith/arXiv arXiv 1998
-
[24]
Spectrum of Higher Derivative 6D Chiral Supergravity on MinkowskixS 2,
Y. Pang, C. N. Pope, and E. Sezgin, “Spectrum of Higher Derivative 6D Chiral Supergravity on MinkowskixS 2,”JHEP10(2012) 154,arXiv:1204.1060 [hep-th]
Pith/arXiv arXiv 2012
-
[25]
Chiral Compactification on Minkowski×S 2 of N=2 Einstein-Maxwell Supergravity in Six-Dimensions,
A. Salam and E. Sezgin, “Chiral Compactification on Minkowski×S 2 of N=2 Einstein-Maxwell Supergravity in Six-Dimensions,”Phys. Lett. B147(1984) 47
1984
-
[26]
SUSY breaking and moduli stabilization from fluxes in gauged 6-D supergravity,
Y. Aghababaie, C. P. Burgess, S. L. Parameswaran, and F. Quevedo, “SUSY breaking and moduli stabilization from fluxes in gauged 6-D supergravity,”JHEP03(2003) 032, arXiv:hep-th/0212091
Pith/arXiv arXiv 2003
-
[27]
Chiral Reductions in the Salam-Sezgin Model,
C. N. Pope, T. G. Pugh, and K. S. Stelle, “Chiral Reductions in the Salam-Sezgin Model,”JHEP02(2012) 098,arXiv:1108.6011 [hep-th]
Pith/arXiv arXiv 2012
-
[28]
Evidence for heterotic / heterotic duality,
M. J. Duff, R. Minasian, and E. Witten, “Evidence for heterotic / heterotic duality,” Nucl. Phys. B465(1996) 413–438,arXiv:hep-th/9601036
Pith/arXiv arXiv 1996
-
[29]
Higher Derivative Extension of 6D Chiral Gauged Supergravity,
E. Bergshoeff, F. Coomans, E. Sezgin, and A. Van Proeyen, “Higher Derivative Extension of 6D Chiral Gauged Supergravity,”JHEP07(2012) 011,arXiv:1203.2975 [hep-th]
Pith/arXiv arXiv 2012
-
[30]
A note on the representations of SO(1,d + 1),
Z. Sun, “A note on the representations of SO(1,d + 1),”Rev. Math. Phys.37no. 01, (2025) 2430007,arXiv:2111.04591 [hep-th]
Pith/arXiv arXiv 2025
-
[31]
M. Bianchi, P. J. Heslop, and F. Riccioni, “More on La Grande Bouffe,”JHEP08(2005) 088,arXiv:hep-th/0504156. 43
Pith/arXiv arXiv 2005
-
[32]
Arbitrary spin representations in de Sitter from dS / CFT with applications to dS supergravity,
S. Deser and A. Waldron, “Arbitrary spin representations in de Sitter from dS / CFT with applications to dS supergravity,”Nucl. Phys. B662(2003) 379–392, arXiv:hep-th/0301068
Pith/arXiv arXiv 2003
-
[33]
Null propagation of partially massless higher spins in (a)ds and cosmological constant speculations,
S. Deser and A. Waldron, “Null propagation of partially massless higher spins in (a)ds and cosmological constant speculations,”Physics Letters B513no. 1 ’ ¨A ` ı2, (July, 2001) 137’ ¨A ` ı141.http://dx.doi.org/10.1016/S0370-2693(01)00756-0
-
[34]
(non-)unitarity of strictly and partially massless fermions on de sitter space,
V. A. Letsios, “(non-)unitarity of strictly and partially massless fermions on de sitter space,”JHEP05(2023) 015,arXiv:2303.00420 [hep-th]
arXiv 2023
-
[35]
The Spectrum ofD= 11 Supergravity via Harmonic Expansions on S(4) X S(7),
E. Sezgin, “The Spectrum ofD= 11 Supergravity via Harmonic Expansions on S(4) X S(7),”Fortsch. Phys.34(1986) 217. 44
1986
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.