Pith. Sign in

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

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 21, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.27058 (version 1)
Pith ID7S5GFVOI, Pith's permanent record of this paper and its review
CitationBruno Valeixo Bento, Ivano Basile, Miguel Montero, Miquel Aparici. "Scale-separated AdS vacua on Riemann-Flat Manifolds." arXiv:2610.27058 (2026). https://pith.science/paper/7S5GFVOI
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper addresses whether scale-separated anti-de Sitter (AdS) vacua in string/M-theory can be perturbatively stable. For the simplest case—compactifications on a torus with fluxes and Casimir energy—the authors prove a general no-go theorem: every such vacuum contains tachyonic modes below the Breitenlohner-Freedman (BF) bound, making it perturbatively unstable. The proof does not require explicit computation at each point in moduli space; it exploits that both the Casimir energy and the flux potential are eigenfunctions of the Laplacian on torus moduli space. The paper then shows this obstruction can be circumvented by using more general Riemann-flat manifolds (RFMs) as internal spaces. By compactifying M-theory on a specific RFM, the quotient $T^{7}$/$Z_2^{3}$, with antiperiodic boundary conditions, the authors obtain a family of AdS_4 vacua that are parametrically scale-separated, free of BF tachyons, and have no localised sources. This is the first such example in the literature.

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-21: 1 request, 5,059 input tokens.

What the abstract itself states, as probabilities: claims first 0.95 · states limitation 0.74 · human participants 0.01 · controlled comparison 0.06 · randomized assignment 0.01 · states quantitative result 0.40 · compares with prior results 0.68 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. The moduli space of metrics MΓ on an RFM of holonomy Γ corresponds to the fixed-point set of an isometry and is therefore totally geodesic with respect to M. The orthonormal vectors ⃗n(α) are normal to MΓ and are associated with directions in moduli space that are frozen by the Γ–quotient. torus. In this section we give a geometric interpretation of this statement. Recall that the moduli space of metrics MΓ on an RFM of holonomy Γ is defined through the condition DT γ · g · Dγ = g . (C.1) Geometrically, since Γ is a freely-acting group of isometries of T k , this condition defines…

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.