REVIEW
Scale-separated AdS vacua on Riemann-Flat Manifolds
High Energy Physics - Theory · Submitted 19 Oct 2026 · 78 references
Pith's verdict: Good paper — the no-go theorem for toroidal Casimir compactifications is clean and general, and the stable RFM vacuum is a real step forward; the main soft spot is the unquantified flat-space approximation for the Casimir energy, which the authors acknowledge but do not bound sharply.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
This paper proves that all toroidal AdS vacua supported by Casimir energy and fluxes have perturbative instabilities, and constructs the first fully explicit, top-down, scale-separated AdS vacuum that is perturbatively stable, by…
The reading
What carries the argument
The key tool is the moduli-space Laplacian \(\hat{\$\Delta$}\) on the space of flat metrics of the compactification manifold. For a torus, the Casimir energy \(C(x^a)\) satisfies \(\hat{\$\Delta$} C = \frac{d(k-1)(d+k)}{k} C\), and each p-flux term \(f_p(x^a)\) satisfies \(\hat{\$\Delta$} f_p = \frac{2p(k+2)(k-p)}{k} f_p\). These eigenvalue equations allow the paper to compute the trace of the shape-modulus mass matrix at any critical point without solving for the vacuum explicitly, leading to a universal bound that forces a BF tachyon. For Riemann-flat manifolds, the Laplacian does not act diagonally on the Casimir sum, so the no-go theorem does not automatically apply; the paper then constructs a specific RFM where twisted-sector contributions to the Casimir energy vanish due to trace identities in the SO(9) little group, leaving only a shifted identity contribution that yields positive masses.
Extended reading notes
Core claim
The central claim is twofold. First, for any AdS \times T^k vacuum of string/M-theory supported by p-form fluxes and Casimir energy (with supersymmetry broken by compactification), there is always at least one modulus whose mass squared lies below the BF bound, rendering the vacuum perturbatively unstable. This is proven without computing the Casimir energy explicitly, by showing that the scalar potential satisfies a differential equation in moduli space: both the Casimir term and the flux terms are eigenfunctions of the moduli-space Laplacian with known eigenvalues. From this, the trace of the mass matrix is bounded, and the BF bound is violated for all cases except those already excluded by other constraints (e.g., no such flux exists for d=3, k=8). Second, by moving to a Riemann-flat manifold (RFM) with abelian holonomy, the simple eigenfunction property is lost, so the no-go theorem can be evaded. Concretely, M-theory compactified on $T^{7}$/$Z_2^{3}$ with a 7-form flux and antiperiodic spin structure yields a scale-separated AdS_4 vacuum where all metric moduli have positive squared masses above the BF bound. This vacuum is perturbatively stable, though non-perturbative instabilities (M2-brane nucleation) are still present.
Load-bearing premise
The Casimir energy is computed by approximating the AdS spacetime as flat, neglecting curvature corrections to the one-loop determinant; the authors argue control because the AdS radius is much larger than the compactification scale, but they provide no rigorous bound on these corrections.
Editorial extensions
If this is right
- Any attempt to construct scale-separated AdS vacua on a torus using Casimir energy and fluxes is ruled out perturbatively; researchers must turn to non-toroidal internal spaces.
- The existence of a perturbatively stable, scale-separated AdS vacuum without localised sources provides a concrete testing ground for swampland conjectures, holography, and non-supersymmetric AdS/CFT.
- The differential-equation technique in moduli space introduced here can be applied to other non-supersymmetric compactifications, potentially revealing further hidden constraints or protected quantities.
- The vacuum's non-perturbative instability via M2-brane nucleation suggests that any holographic dual would be non-unitary or non-conformal, offering a new window into such theories.
- The cancellation of twisted contributions in the RFM Casimir energy via trace identities may point to deeper algebraic structures in maximal supergravity compactifications.
Reading between the lines
- The moduli-space eigenfunction method used for the torus could be generalised to other families of internal manifolds (e.g., solvmanifolds or twisted tori) where the potential terms satisfy known differential equations, potentially yielding further no-go statements.
- The specific RFM T^7/Z_2^3 was chosen to make all twisted Casimir contributions vanish; similar cancellations might occur for other finite holonomy groups with certain spin structures, widening the landscape of perturbatively stable scale-separated vacua.
- The paper's approach suggests that stability in scale-separated vacua is intimately tied to the existence of 'protected' differential equations in moduli space; exploring the extent of this phenomenon in non-supersymmetric settings could become a systematic program.
- The non-perturbative instability of the stable vacuum implies that any holographic dual must incorporate a finite decay rate, which could be modelled as a renormalisation-group flow driven by bubble nucleation, as previously proposed in the literature.
Original abstract
Supergravity compactifications supported by fluxes and Casimir energy offer a simple strategy to concoct explicit, controlled and isolated vacua with parametric scale separation and soft supersymmetry breaking. Exploiting the special properties of both the Casimir and flux potentials with respect to Laplacian operators in moduli space, we prove that the simplest such class of solutions, given by toroidal compactifications of eleven-dimensional supergravity threaded by any fluxes, always exhibit perturbative instabilities in the form of tachyonic modes below the BF bound. This no-go theorem applies to any toroidal supergravity compactification supported by $p$-form fluxes. We also study compactifications on more general Riemann-flat manifolds (RFM's). Concretely, we find a tachyon-free AdS$_4$ vacuum by compactifying M-Theory on a $T^7/\mathbb{Z}_2^3$. This constitutes the first ever example of a fully top-down, perturbatively stable, scale-separated AdS without localized sources.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Supergravity compactifications supported by fluxes and Casimir energy offer a simple strategy to concoct explicit, controlled and isolated vacua with parametric scale separation and soft supersymmetry breaking. Exploiting the special properties of both the Casimir and flux potentials with respect to Laplacian operators in moduli space, we prove that the simplest such class of solutions, given by toroidal compactifications of eleven-dimensional supergravity threaded by any fluxes, always exhibit perturbative instabilities in the form of tachyonic modes below the BF bound. This no-go theorem applies to any toroidal supergravity compactification supported by $p$-form fluxes. We also study compactifications on more general Riemann-flat manifolds (RFM's). Concretely, we find a tachyon-free AdS$_4$ vacuum by compactifying M-Theory on a $T^7/\mathbb{Z}_2^3$. This constitutes the first ever example of a fully top-down, perturbatively stable, scale-separated AdS without localized sources.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Supergravity compactifications supported by fluxes and Casimir energy offer a simple strategy to concoct explicit, controlled and isolated vacua with parametric scale separation and soft supersymmetry breaking. | background 0.92 | 0.17 | 0.08 | asserted 0.82 |
| s1 | Exploiting the special properties of both the Casimir and flux potentials with respect to Laplacian operators in moduli space, we prove that the simplest such class of solutions, given by toroidal compactifications of eleven-dimensional supergravity threaded by any fluxes, always exhibit perturbative instabilities in the form of tachyonic modes below the BF bound. | result 0.98 | 0.91 | 0.35 | asserted 1.00 |
| s2 | This no-go theorem applies to any toroidal supergravity compactification supported by $p$-form fluxes. | result 0.79 | 0.75 | 0.22 | asserted 1.00 |
| s3 | We also study compactifications on more general Riemann-flat manifolds (RFM's). | contribution 0.95 | 0.84 | 0.03 | asserted 0.79 |
| s4 | Concretely, we find a tachyon-free AdS$_4$ vacuum by compactifying M-Theory on a $T^7/\mathbb{Z}_2^3$. | result 0.95 | 0.96 | 0.27 | asserted 1.00 |
| s5 | This constitutes the first ever example of a fully top-down, perturbatively stable, scale-separated AdS without localized sources. | interpretation 0.58 | 0.91 | 0.67 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.27058 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.