Classical flux compactifications of type II string theory to four-dimensional Minkowski spacetime, supported by parallel localized orientifold OpO_p-planes and DpD_p-branes (3≤p≤83\leq p\leq 8), were partially classified by Andriot, Blåbäck and Van Riet (Phys. Rev. Lett. 118 (2017) 011603) through a rewriting of the four-dimensional Ricci scalar as a negative sum of squares of BPS-like first-order conditions. Within their geometric and flux-component restrictions — vanishing of HH-flux legs along pairs or triples of source-parallel directions, and vanishing of the unwarped geometric fluxes (6), (7) — the resulting class is provably the only set of such vacua. Whether Minkowski flux vacua with parallel sources that violate these restrictions exist is left open: known supersymmetric twisted-tori vacua violating (6) while remaining Ricci-flat suggest the geometric conditions may admit a refinement, but neither that refinement, nor an exhaustive completeness theorem, nor a counterexample has been established. This problem asks for exactly that resolution: a completeness proof for the parallel-source Minkowski class — including the correct refined geometric conditions that accommodate the known (6)-violating vacua — or an explicit Minkowski flux vacuum with parallel localized sources lying outside that refined class.

Background

String phenomenology is built on flux compactifications: solutions of the ten-dimensional low-energy equations of type IIA/B string theory (type II supergravity) in which spacetime is four-dimensional Minkowski space times a compact six-dimensional internal manifold M6M_6, and in which the massless antisymmetric-form fields carry non-zero fluxes — the Neveu–Schwarz three-form HH and the Ramond–Ramond (RR) field strengths FqF_q. Fluxes can stabilize the geometric moduli of M6M_6, but they also curve the internal space, so consistent solutions require localized sources: DpD_p-branes and orientifold OpO_p-planes, which are pp-dimensional extended objects (the orientifold planes carrying negative tension and charge) entering the equations of motion as delta-function source terms. Such backgrounds are warped: the metric carries a warp factor e2A(y)e^{2A(y)}; for sources that are parallel (filling a common worldvolume) one splits the internal directions into parallel (∥\|) and transverse (⊥\perp) ones, with AA depending only on transverse directions and the dilaton tied to the warp factor by eϕ=gseA(p−3)e^\phi = g_s e^{A(p-3)}.

For O3/D3O_3/D_3 sources, Giddings, Kachru and Polchinski showed that the four-dimensional Ricci scalar, integrated over the compact space, can be written as a negative sum of squares: setting the squares to zero forces the three-form flux to be imaginary self-dual (ISD, H=ϵ3eϕ∗6F3H = \epsilon_3 e^\phi *_6 F_3) and the unwarped internal manifold to be Ricci-flat. This sum-of-squares (no-scale) argument — no-scale meaning the flux potential leaves the internal volume modulus unstabilized — characterizes all O3O_3 Minkowski flux vacua at once, without assuming supersymmetry; supersymmetry only adds further type and primitivity conditions on top.

Andriot, Blåbäck and Van Riet extended this to parallel Op/DpO_p/D_p sources with 3≤p≤83 \leq p \leq 8. Combining the ten-dimensional equations of motion, they rewrote the unwarped four-dimensional Ricci scalar R~4\tilde{\mathcal R}_4 as minus a sum of squares of BPS-like first-order conditions — one fixing the sourced flux F8−pF_{8-p} in terms of the warp factor, one relating the purely transverse NSNS flux to the RR flux through F6−p=−e−ϕϵp∗⊥HF_{6-p} = -e^{-\phi}\epsilon_p *_\perp H, and one a calibration-type condition on the parallel vielbein — minus squares of the remaining RR flux components, minus a last line of indefinite-sign curvature terms built from the unwarped geometric fluxes f~abc\tilde f^a{}_{bc}. (The geometric flux fabcf^a{}_{bc} is the anholonomy coefficient of an internal frame, dea=−12fabc eb∧ecde^a = -\tfrac{1}{2} f^a{}_{bc}\, e^b \wedge e^c; a non-zero ff makes M6M_6 a so-called twisted torus.) The last line was set to zero through three restrictions: (5) H(2)=H(3)=0H^{(2)} = H^{(3)} = 0, i.e. no HH legs along two or three source-parallel directions; (6) vanishing of the unwarped geometric fluxes carrying a parallel leg, which forces the parallel Ricci components to vanish — geometrically, the sources wrap a fiber over a transverse base; and (7) vanishing of the purely transverse unwarped geometric flux. Setting all squares to zero then solves all ten-dimensional equations of motion automatically, provided the flux Bianchi identities (closedness with the correct delta-source terms) hold; the flux content is thereby fixed to H∣⊥H|_\perp, F6−p∣⊥F_{6-p}|_\perp and the sourced F8−pF_{8-p}. The paper's key claim is that, within the restrictions (5)–(7), this class is exhaustive: these are the only Minkowski flux vacua of this type (the published erratum sharpened the curvature-term treatment this claim needs).

What remains unsettled is completeness beyond the restrictions: whether a refined set of geometric conditions — one that accommodates the known vacua violating (6) — renders the class exhaustive, or whether Minkowski flux vacua with parallel localized sources exist that lie outside any such refinement. The authors observe that all known supersymmetric twisted-tori vacua with parallel sources obey the restrictions, except some solutions on solvmanifolds (compact quotients of solvable Lie groups) due to Andriot (arXiv:1507.00014) that violate (6) while keeping a vanishing Ricci tensor — suggesting that the geometric conditions may admit a refinement (a suspected weakening towards vanishing parallel Ricci components), which no one has worked out. The same paper flags two further open directions, which lie outside the scope of this problem: a ten-dimensional derivation, in β\beta-supergravity or Double Field Theory (frameworks that geometrize T-duality so that the non-geometric fluxes QQ and RR — the T-dual partners of HH and of the geometric flux — become covariant objects), of the conjectured extension of the sum-of-squares rewriting to non-geometric fluxes; and the precise map between the BPS-like restrictions and supersymmetry conditions in generalized Calabi–Yau or SU(3)×SU(3)\mathrm{SU}(3)\times\mathrm{SU}(3) structure language (the natural generalized-geometry description of the internal metric and BB-field of type II compactifications).

Problem Statement

Consider ten-dimensional type IIA/B supergravity on four-dimensional Minkowski spacetime times a compact six-dimensional internal space, with parallel, localized, BPS Op/DpO_p/D_p sources without world-volume flux (3≤p≤83 \leq p \leq 8; BPS, for Bogomol'nyi–Prasad–Sommerfield, here meaning that the source tension equals its charge), in the standard warped ansatz for such backgrounds (the metric form and dilaton–warp relation of arXiv:1609.00729: warp factor e2Ae^{2A} depending only on directions transverse to the sources, eϕ=gseA(p−3)e^\phi = g_s e^{A(p-3)}), with the NSNS flux HH, RR fluxes FqF_q, and geometric flux fabcf^a{}_{bc} otherwise unconstrained beyond the ten-dimensional equations of motion and the Bianchi identities (including the delta-function source terms).

Determine whether every such classical Minkowski flux vacuum satisfies the restrictions (5) H(2)=H(3)=0H^{(2)} = H^{(3)} = 0, (6) vanishing of the unwarped geometric fluxes carrying a source-parallel leg, and (7) vanishing of the purely transverse unwarped geometric flux — or a precise refinement of these geometric conditions (as suggested by the known Ricci-flat twisted-tori vacua violating (6)) — and therefore belongs to the characterized class in which the four-dimensional Ricci scalar is a negative sum of squares of BPS-like conditions. Equivalently, the affirmative arm is a completeness theorem for the class under the correct refined geometric conditions, which must accommodate the known Ricci-flat twisted-tori vacua that violate (6); the negative arm is an explicit Minkowski flux vacuum with parallel localized sources that violates those refined conditions — i.e. a vacuum outside the refined class, not one of the known solvmanifold vacua of arXiv:1507.00014 and not merely a vacuum violating the original restrictions (5)–(7).

References

  1. David Andriot, Johan Blåbäck, Thomas Van Riet. Minkowski flux vacua of type II supergravities. Phys. Rev. Lett. 118 (2017) 011603. DOI: 10.1103/PhysRevLett.118.011603. arXiv:1609.00729, https://arxiv.org/abs/1609.00729 (erratum: Phys. Rev. Lett. 120 (2018) 169901, DOI: 10.1103/PhysRevLett.120.169901)
  2. Steven B. Giddings, Shamit Kachru, Joseph Polchinski. Hierarchies from fluxes in string compactifications. Phys. Rev. D 66 (2002) 106006. DOI: 10.1103/PhysRevD.66.106006. arXiv:hep-th/0105097, https://arxiv.org/abs/hep-th/0105097
  3. David Andriot, Johan Blåbäck. Refining the boundaries of the classical de Sitter landscape. JHEP 03 (2017) 102. DOI: 10.1007/JHEP03(2017)102. arXiv:1609.00385, https://arxiv.org/abs/1609.00385
  4. David Andriot. New supersymmetric vacua on solvmanifolds. JHEP 02 (2016) 112. DOI: 10.1007/JHEP02(2016)112. arXiv:1507.00014, https://arxiv.org/abs/1507.00014
  5. Mariana Graña, Ruben Minasian, Michela Petrini, Alessandro Tomasiello. A scan for new N=1 vacua on twisted tori. JHEP 05 (2007) 031. DOI: 10.1088/1126-6708/2007/05/031. arXiv:hep-th/0609124, https://arxiv.org/abs/hep-th/0609124
  6. Niall T. Macpherson, Alessandro Tomasiello. Minimal flux Minkowski classification. JHEP 09 (2017) 126. DOI: 10.1007/JHEP09(2017)126. arXiv:1612.06885, https://arxiv.org/abs/1612.06885
  7. David Andriot. On classical de Sitter and Minkowski solutions with intersecting branes. JHEP 03 (2018) 054. DOI: 10.1007/JHEP03(2018)054. arXiv:1710.08886, https://arxiv.org/abs/1710.08886
  8. David Andriot. Open problems on classical de Sitter solutions. Fortsch. Phys. 67 (2019) 1900026. DOI: 10.1002/prop.201900026. arXiv:1902.10093, https://arxiv.org/abs/1902.10093
  9. David Andriot, Ludwig Horer, Paul Marconnet. Charting the landscape of (anti-) de Sitter and Minkowski solutions of 10d supergravities. JHEP 06 (2022) 131. DOI: 10.1007/JHEP06(2022)131. arXiv:2201.04152, https://arxiv.org/abs/2201.04152
  10. David Andriot, Ludwig Horer, Paul Marconnet. Exploring the landscape of (anti-) de Sitter and Minkowski solutions: group manifolds, stability and scale separation. JHEP 08 (2022) 109. DOI: 10.1007/JHEP08(2022)109. arXiv:2204.05327, https://arxiv.org/abs/2204.05327
  11. David Andriot, André Betz. β-supergravity: a ten-dimensional theory with non-geometric fluxes, and its geometric framework. JHEP 12 (2013) 083. DOI: 10.1007/JHEP12(2013)083. arXiv:1306.4381, https://arxiv.org/abs/1306.4381
  12. David Geissbühler, Diego Marques, Carmen Núñez, Victor Peñas. Exploring Double Field Theory. JHEP 06 (2013) 101. DOI: 10.1007/JHEP06(2013)101. arXiv:1304.1472, https://arxiv.org/abs/1304.1472
  13. David Andriot. Dark energy from string theory: an introductory review. arXiv:2603.25797, https://arxiv.org/abs/2603.25797
  14. Álvaro Arboleya, Adolfo Guarino, Matteo Morittu. Type II orientifold flux vacua in 3D. JHEP 12 (2024) 087. DOI: 10.1007/JHEP12(2024)087. arXiv:2408.01403, https://arxiv.org/abs/2408.01403
  15. Álvaro Arboleya, Gabriele Casagrande, Adolfo Guarino, Matteo Morittu. Taxonomy of type II orientifold flux vacua in 3D. JHEP 05 (2026) 260. DOI: 10.1007/JHEP05(2026)260. arXiv:2512.13433, https://arxiv.org/abs/2512.13433
  16. Shehu AbdusSalam, Xin Gao, George K. Leontaris, Pramod Shukla. Systematic exploration of the non-geometric flux landscape. Eur. Phys. J. C 85 (2025) 244. DOI: 10.1140/epjc/s10052-025-13980-x. arXiv:2410.22444, https://arxiv.org/abs/2410.22444
  17. Niall T. Macpherson, Paul Merrikin, Ricardo Stuardo. Circle compactifications of MinkowskiD_D solutions, flux vacua and solitonic branes. JHEP 08 (2025) 143. DOI: 10.1007/JHEP08(2025)143. arXiv:2412.15102, https://arxiv.org/abs/2412.15102