Scale-separated vacua with extended supersymmetry
Abstract: We propose the first examples of scale-separated vacua with extended supersymmetry. They arise as circle compactifications of four-dimensional vacua of massive type IIA supergravity with scale separation, upon introducing additional fluxes and sources. We provide both the ten-dimensional solutions and the three-dimensional effective descriptions in terms of Kähler potential and superpotential. The conformal dimensions of the putative dual two-dimensional field theory appear not to be integers. The superpotential for the additional fluxes of one of our models was guessed by ChatGPT and, to the best of our knowledge, it does not appear in existing literature. Should these vacua be solutions of string theory, they would allow to address the open problem of scale separation from the vantage point of extended supersymmetry.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Explain it Like I'm 14
Explaining “Scale-separated vacua with extended supersymmetry”
What this paper is about (big picture)
Our universe looks 3D in space + 1D in time, but string theory naturally lives in 10 dimensions. One way to connect the two is to “curl up” the extra dimensions into tiny shapes (like rolling up a garden hose so tight you don’t notice its thickness). The paper builds two new examples of such curled-up universes where:
- The “tiny” dimensions are much smaller than the large ones (this is called scale separation).
- Supersymmetry (a symmetry linking particles of matter and force) is present in an extended form (more than the minimal amount).
- The spacetime is anti–de Sitter in 3D (AdS3), a curved space that’s important for holography (the AdS/CFT correspondence).
These are the first known examples combining scale separation with extended supersymmetry.
The main goals and questions
The authors set out to:
- Build string-theory worlds that have strong scale separation and extended supersymmetry at the same time.
- Do this by starting from two famous 4D models (“DGKT” and “CFI”) and compactifying them further on a circle to make them 3D.
- Add the right “fluxes” (think of steady magnetic-like fields through the tiny extra dimensions) and “sources” (objects like branes and orientifolds) so all equations and charge balances work.
- Check two things carefully: 1) The full 10D string equations are satisfied and give AdS3. 2) The 3D “effective theory” (the low-energy description) matches the 10D result and really preserves extended supersymmetry.
- See what this means for the quantum field theory “on the boundary” via holography, especially the spectrum of “conformal dimensions” (roughly, how heavy or “scaling” operators are).
How they did it (in plain language)
Step 1: Curling up extra dimensions
- Start with 10D string theory and first compactify 6 dimensions on a special “orbifolded torus” (a multi-dimensional donut with identified points). This gives known 4D AdS models (DGKT and CFI) that already stabilize all shape and size parameters (“moduli”) and show scale separation.
- Then compactify one more dimension on a circle to reach 3D AdS (AdS3). The full compact space is now a 7D shape: “orbifolded 6-torus × circle.”
Step 2: Add fluxes and sources so everything is consistent
- Fluxes are like magnetic fields threading holes in the tiny space. Here the key ones are called , , and .
- Sources are charged objects: D6-branes (like membranes extended in certain directions) and O6-planes (their orientifold partners with negative charge).
- There are “charge balance” rules called Bianchi identities and “tadpole” conditions. The authors choose fluxes and branes so these balances hold without needing extra ingredients. For example, they arrange to avoid needing D2-branes and insert D6-branes to cancel the tadpole.
Step 3: Solve the simpler supersymmetry equations
- Instead of solving all Einstein-like equations at once, they use the fact that supersymmetric solutions satisfy a simpler set of “Killing spinor” equations. Solving these implies the full equations also hold.
- They work directly in 10D and find explicit solutions with all moduli stabilized.
Step 4: Build and check the 3D effective theory
- They then derive a 3D effective supergravity with a Kähler potential and a superpotential (these functions encode the forces and mass terms for the light fields).
- A new twist: the extra fluxes from the circle compactification require new superpotential terms. In one of their models, an extra piece of the superpotential was suggested by ChatGPT and, to their knowledge, hadn’t appeared in the literature before.
- They compute the 3D scalar potential from this superpotential and show that it matches exactly what comes from the full 10D calculation. This is a strong consistency check.
Checking scale separation by “turning up” flux quanta
- Fluxes come in integer amounts (like counting how many times a field lines thread a loop). Call a large integer the scale of the new fluxes.
- As grows:
- The tiny 7D internal volume grows like (so geometry is large enough for classical math to work).
- The string coupling gets small like (so quantum corrections are under control).
- The ratio of the internal size to the AdS radius shrinks like , which means the Kaluza–Klein scale (set by the internal size) is much higher than the AdS curvature scale. That’s the desired “scale separation.”
Ensuring the supersymmetry is extended (and not partially broken)
- In 3D, “minimal” supersymmetry is called ; “extended” here is .
- The authors show that their 3D vacuum is genuinely :
- The 10D solution allows at least one supersymmetry; the 3D effective action shows there are two.
- They check that the new flux effects cannot be mimicked by certain “D-term gaugings,” which could break half the supersymmetry. Since these D-terms can’t reproduce the needed contributions, the superpotential description is the right one and supersymmetry stays extended on the vacuum.
What they found (main results)
- Two explicit families of AdS3 vacua with extended supersymmetry:
- DGKT on a circle (based on the orbifold).
- CFI on a circle (based on the orbifold).
- Both achieve:
- Scale separation: the Kaluza–Klein scale is parametrically higher than the AdS curvature scale. Concretely, for large flux integer .
- Full moduli stabilization: the sizes and shapes of the compact space are fixed by the fluxes and sources.
- Weak coupling and large internal volume for large , keeping the analysis under good control.
- Extended supersymmetry in 3D: .
- A precise match between:
- The 10D supergravity solution (solving supersymmetry and charge constraints), and
- The 3D effective theory built from a Kähler potential and a superpotential, including new flux-dependent terms.
- Holography hint: the “conformal dimensions” of dual 2D operators are not integers in these models. That’s a sharp difference from their 4D parents (DGKT/CFI), where certain dual dimensions are integers. So integer spectra are not automatic consequences of scale separation or extended supersymmetry.
Why this matters
- Scale-separated supersymmetric vacua are rare and debated. Finding the first candidates that also have extended supersymmetry opens a new window to study and test this phenomenon with more theoretical control.
- AdS3 with supersymmetry has a rich holographic (CFT2) structure. These constructions may help us understand how strongly curved spacetimes relate to lower-dimensional quantum field theories, especially with unusual (non-integer) operator dimensions.
- If these vacua are confirmed to be full string-theory solutions beyond the approximations used, they would be important benchmarks for building realistic or semi-realistic models and for clarifying what is and isn’t possible in string compactification.
A few key ideas translated
- Compactification: Curling up extra dimensions into small shapes so they’re invisible at everyday scales.
- Scale separation: The small dimensions are tiny enough that the energy needed to probe them is much higher than the energy set by the AdS curvature. It lets you talk about lower-dimensional physics without it being blurred by the extra dimensions.
- Flux: Like a magnetic field threading holes in the compact space; fluxes help stabilize sizes and shapes.
- Branes and orientifolds: Charged, extended objects that help balance fluxes and make the math consistent.
- Supersymmetry (SUSY): A symmetry relating matter and force particles; “extended” means more than the minimal number of supercharges, often giving more powerful constraints and cleaner calculations.
- AdS/CFT (holography): A duality where a gravitational theory in AdS space corresponds to a conformal field theory on its boundary; “conformal dimensions” measure how operators scale in that field theory.
In short, this paper constructs and cross-checks two new string-theory worlds that are both well-separated in scale and preserve extended supersymmetry, and it explores what those worlds might teach us about holography and the limits of string compactification.
Knowledge Gaps
Unresolved knowledge gaps, limitations, and open questions
The points below distill what remains missing, uncertain, or unexplored in the paper, phrased to guide follow-up research:
- Ten-dimensional localization and warping: the analysis relies on smeared sources and sets the warp factor to a constant (). It remains to construct fully localized 10D solutions (on the resolved orbifold) with nontrivial warping, verifying the supersymmetry equations and Einstein equations globally.
- Flux quantization and explicit integer data: while large-flux scaling is used (e.g., ) and sign constraints are imposed, explicit integer choices of obeying flux quantization on the orbifold/resolution cycles, the tadpoles, and the relation $4 f' h + 3 f h' = 0$ are not exhibited. A concrete flux assignment with all constraints checked would make the construction explicit.
- K-theory and torsion constraints: beyond cohomological tadpoles, the paper does not test K-theory charge cancellation, torsion classes, or induced charges from curvature/WZ couplings on in massive IIA. These discrete constraints could obstruct or refine allowed flux/source configurations.
- Higher-derivative and warping corrections near : although large volume and weak coupling are achieved, the paper does not quantify and string-loop corrections in the presence of localized singularities and Romans mass. A scaling analysis (in ) of corrections and warping gradients is needed to confirm control.
- Explicit 10D supersymmetry: extended SUSY is inferred from the 3D effective action; a 10D demonstration of two independent Killing spinors (or equivalent G-structure conditions) is not provided. Constructing the second Killing spinor would verify directly in 10D.
- Consistent truncation: the 3D theory used is not shown to be a consistent truncation of the 10D system including the new fluxes and sources. Without proving consistency, heavy modes (KK, twisted, open-string) might source the retained fields. A truncation proof (or higher-dimensional uplift of the 3D solution) is needed.
- New superpotential terms: the proposed 3D superpotential includes novel terms (with square-root dependence on moduli) for the and fluxes, obtained by guesswork and matched a posteriori. A first-principles derivation from 10D (e.g., generalized geometry/pure spinor formalism, democratic action reduction, or calibration arguments) is missing, as is a discussion of holomorphicity and branch choices.
- Uniqueness of the effective description: while D-terms and R-symmetry gaugings are argued not to reproduce the needed scalar potential pieces, a complete embedding-tensor/Chern–Simons analysis of all possible gaugings in 3D is absent. Establishing the uniqueness of the superpotential-only description would close potential loopholes.
- Twisted-sector stabilization beyond scaling: the nine twisted moduli are addressed via a local scaling argument inherited from DGKT; a full mass matrix (including mixing with the new circle-dependent fluxes) is not computed. An explicit stabilization analysis on the resolved geometry, with flux quantization and masses, is needed.
- Open-string sector: positions and gauge moduli of the added -branes (and potential worldvolume fluxes) are not analyzed beyond the smeared approximation. Their stabilization, mass spectrum, and backreaction when localized remain open.
- Anisotropy and additional fluxes: the solution assumes isotropy () and sets . It is unknown whether anisotropic branches, nonzero , geometric fluxes, or non-geometric fluxes admit similar scale-separated vacua or affect stability.
- Global Bianchi identities with localized sources: aside from the smeared BIs (e.g., ), a fully localized check—including induced charges and intersections of with the resolved cycles—is not performed.
- Stability beyond the untwisted closed-string sector: the Hessian is evaluated for the closed, untwisted moduli only. A complete spectrum (including twisted moduli, open-string modes, vectors, fermions, and KK towers) and verification of all Breitenlohner–Freedman bounds in AdS are lacking. The noted tachyonic scalar above the BF bound points to the need for a full stability survey.
- Nonperturbative decay channels: potential instabilities such as brane/flux annihilation, domain-wall nucleation, or circle-related “bubble of nothing” decays are not investigated. The additional raises questions about nonperturbative stability and boundary conditions.
- Holography and the dual CFT: beyond noting non-integer operator dimensions for untwisted scalars, the paper does not compute the Brown–Henneaux central charge , the spectrum of currents/R-symmetry, or identify candidate SCFTs. Explaining the non-integer dimensions and potential operator mixing requires deeper holographic analysis.
- Domain-wall bounds and no-go theorems: while the domain-wall bound is said to be satisfied, detailed checks against swampland constraints and no-go arguments for scale separation (including recent refinements) are not provided for the extended-SUSY case.
- Extension beyond toroidal orbifolds: the constructions are presented in the toroidal orbifold limits of and . Whether similar scale-separated AdS vacua exist on generic smooth Calabi–Yau orientifolds (and what topological data are required, e.g., and ) remains to be established.
- Explicit numerical example: a worked numerical example at moderately large flux (integer data provided), with computed , volumes, , , and mass spectra, would demonstrate control at finite . Such data are not presented.
- CFI model completeness: the second model (CFI on a circle) is only sketched. Its full 10D solution, 3D effective theory (including the analogue of the new superpotential terms), flux/tadpole analysis, scaling, and operator dimensions remain to be worked out.
- Duality tests: possible T-dual or mirror descriptions (or M-theory analogues) are not explored. Mapping the solutions to other frames could provide independent checks and insights into generality.
- Robustness to backreaction of placement: the choice of orientations is argued to be supersymmetric and anomaly-free (Freed–Witten), but explicit calibrated embeddings, intersection data with resolved cycles, and backreacted geometry are not constructed.
- Generality of non-integer dimensions: the paper observes non-integer conformal dimensions for untwisted scalars in these AdS vacua, unlike the 4D DGKT/CFI cases. It remains to determine whether this is generic for 3D scale-separated vacua or an artefact of the chosen flux/cycle ansatz.
Practical Applications
Immediate Applications
The paper’s main contributions—explicit AdS3 vacua with scale separation and extended supersymmetry, a 10D-to-3D matching with a concrete Kähler potential and superpotential, and the observation of non-integer operator dimensions—enable several deployable workflows and tools today, primarily in academia and software/AI.
- Benchmark datasets and testbeds for holography and swampland constraints (Academia: high-energy theory, mathematical physics)
- Use cases:
- Provide AdS3/N=2 supersymmetric benchmarks with scale separation to test holographic conjectures and swampland/domain-wall bounds (including those in which these vacua already pass).
- Calibrate bootstrap and spectral methods on 2D CFTs with non-integer operator dimensions (contrasting DGKT/CFI in 4D where dimensions are integers).
- Tools/workflows:
- Curate a dataset of these vacua (flux integers, moduli vevs, spectra, operator dimensions) for the AdS3/CFT2 community.
- Reference pipelines for computing conformal dimensions from the 3D effective theory and for cross-checking via 10D equations.
- Assumptions/dependencies:
- Validity of the compactification ansatz and smeared-source approximation in the regime used.
- Acceptance that AdS vacua (not de Sitter) and their duals are relevant benchmarks for swampland/landscape studies.
- Reproducible pipeline for 10D→3D effective theory matching (Software for theoretical physics; Academia)
- Use cases:
- Adopt the paper’s explicit SU(3)-structure/G2-form basis and isotropic ansatz to automate derivations of Kähler potentials/superpotentials and verify them against 10D Bianchi identities and SUSY equations.
- Enable students and researchers to reproduce scale-separation scalings and solve F-term conditions programmatically.
- Tools/products:
- Open-source code (e.g., Python + SymPy/SageMath/Mathematica) implementing:
- Differential-form algebra for the chosen orbifolds and orientifold parities.
- Automated evaluation of tadpoles, Bianchi identities, and bispinor SUSY equations.
- Symbolic derivation and numerical solving of 3D supergravity potentials.
- Assumptions/dependencies:
- Reliance on orbifold limits and isotropic truncations; careful interpretation needed when moving beyond untwisted sectors or local blow-ups.
- Consistent treatment of flux quantization and source smearing.
- LLM-in-the-loop discovery for effective superpotentials (Software/AI for scientific R&D; Academia)
- Use cases:
- Integrate LLMs to propose candidate superpotential terms subject to symmetry, parity, and scaling constraints—mirroring the paper’s instance where ChatGPT correctly guessed a nontrivial flux term.
- Rapid hypothesis generation followed by symbolic and numerical verification to accelerate model building.
- Tools/workflows:
- “Constrain–Propose–Verify” loop:
- 1) Encode constraints (orientifold parities, orbifold invariance, dimensional scaling).
- 2) LLM proposes candidate terms.
- 3) CAS/SMT/num-solvers verify Bianchi identities, F-terms, and match to 10D reductions.
- Assumptions/dependencies:
- Requires robust verification to prevent LLM hallucinations.
- Institutional policies on AI-assisted discovery and authorship/credit must be observed.
- High-throughput flux search templates (Software/Optimization; Academia)
- Use cases:
- Use the paper’s scaling relations (e.g., N-scaling of fluxes yielding weak coupling, large volume, and KK/AdS scale separation) to seed high-throughput scans for similar vacua in related orientifold/orbifold families.
- Tools/products:
- Templates for integer/constraint programming to search flux configurations satisfying tadpoles and SUSY equations, with objective functions targeting scale separation or spectral gaps.
- Assumptions/dependencies:
- Computational cost rises quickly with parameter space size; prioritization heuristics and parallelization needed.
- Global consistency (twisted sectors, localized backreaction) must be audited case-by-case.
- Educational modules and interactive teaching aids (Education)
- Use cases:
- Graduate-level notebooks introducing: flux compactification on orbifolds/orientifolds, SU(3)/G2 structures, 10D/3D matching, scale separation, and AdS3/CFT2 spectral extraction.
- Products:
- Jupyter/Colab notebooks with embedded symbolic calculations and sliders for flux integers to visualize moduli and spectra.
- Assumptions/dependencies:
- Pedagogical simplifications (e.g., isotropy, smeared sources) should be explicitly flagged.
- Research policy and best-practice guidance for AI-assisted theory (Policy; Academia/Publishing)
- Use cases:
- Establish norms for attribution and verification when AI proposes key terms or steps in derivations (as highlighted by the superpotential example).
- Promote open data/code to allow external validation of AI-assisted claims.
- Tools/workflows:
- Checklists for peer review: disclosure of AI assistance, availability of scripts verifying AI outputs, unit tests for derived expressions.
- Assumptions/dependencies:
- Community and journal buy-in; evolving institutional policies on AI usage.
Long-Term Applications
The broader impact of these results lies in their potential to shape future research tools, inform condensed-matter/quantum information via AdS3/CFT2, and mature AI-assisted scientific discovery. These require further theoretical development, scaling, and cross-domain validation.
- AdS3/CFT2 interfaces to condensed matter and quantum information (Academia; Potentially Materials/Quantum Tech)
- Use cases:
- Model 1D quantum critical systems, spin chains, or boundary conformal phenomena using AdS3/N=2 holographic duals with non-integer spectral data.
- Explore holographic error-correcting code architectures tailored to AdS3 geometries with extended SUSY for structured code design.
- Dependencies:
- Identification of explicit 2D CFT duals and controlled deformations relevant to real materials.
- Mapping holographic spectra to experimentally accessible observables remains nontrivial.
- Automated theory construction platforms (Software/AI; Academia/Industry R&D)
- Use cases:
- End-to-end systems that propose compactification ansätze, superpotentials, and flux choices consistent with Bianchi identities/orientifolds, then verify and package effective actions and spectra.
- Products:
- Hybrid LLM + theorem-prover + CAS stacks; formalized SUGRA libraries; automated consistency-check modules for tadpoles and anomalies.
- Dependencies:
- Formalization of supergravity/string-compactification knowledge in machine-readable form; scalable verification.
- Landscape exploration and design optimization engines (Software/HPC; Cross-disciplinary optimization)
- Use cases:
- High-throughput searches for vacua with targeted properties (e.g., parametric scale separation, extended SUSY), leveraging the paper’s patterns (e.g., flux scaling, parity structures).
- Transfer of techniques to other integer-constrained design spaces (e.g., network design, code construction), contingent on domain mapping.
- Dependencies:
- Efficient heuristics to mitigate combinatorial explosion; improved models for localized backreaction and twisted sectors.
- Mathematical software for special-geometry and differential-form automation (Software; Academia/Math)
- Use cases:
- Automated construction of associative/coassociative form bases consistent with orbifolds/orientifolds and symmetry constraints, generalized beyond toroidal limits.
- Products:
- Libraries for SU(3)-structure/G2 computations that plug into effective action generators and verification pipelines.
- Dependencies:
- Extension to generic Calabi–Yau/G2 spaces (beyond orbifold limits) and rigorous handling of blow-up modes and metrics.
- Influence on cosmology and EFT design (Academia)
- Use cases:
- Indirect constraints: refine swampland conjectures about scale separation with extended SUSY; guide attempts to engineer (or rule out) uplift mechanisms to de Sitter while tracking stability.
- Feed into UV-complete EFT construction practices that respect string-theory consistency conditions.
- Dependencies:
- Robustness of these AdS vacua beyond isotropic ansätze and smeared-source approximations; feasibility of controlled uplifts without destabilizing moduli.
- Industry-facing AI for scientific formula discovery (Software/AI; Industry R&D)
- Use cases:
- Leverage LLMs trained on physics corpora to propose mathematically consistent expressions in other domains (e.g., control theory, signal processing), using this paper’s success as a case study.
- Dependencies:
- Domain-specific constraint encoding and rigorous verification stacks; governance for reliability and IP/credit.
- Standards and governance for AI-assisted basic research (Policy)
- Use cases:
- Develop community standards on disclosure, verification, and archival of AI-generated hypotheses and calculations; shape funding and review criteria for AI+theory projects.
- Dependencies:
- Engagement of societies, journals, and funders; harmonization with data/code sharing norms.
Notes on feasibility across applications:
- Many academic and software applications are immediately viable because the paper provides explicit geometric bases, flux choices, matching 10D/3D actions, and solvable examples with clear scaling limits.
- Broader cross-domain impacts (condensed matter, quantum information, cosmology) require identifying explicit dual CFTs, extending beyond orbifold limits, addressing twisted-sector stabilization with backreaction, and developing robust AI/formal verification tooling.
- All applications presuppose the solutions’ consistency within string theory beyond the approximations used and the acceptance of AdS vacua as meaningful theoretical laboratories.
Glossary
- AdS (anti-de Sitter): A spacetime with constant negative curvature often used in holography. "The vast majority of the existing research in this topic focuses on supersymmetric anti-de Sitter vacua (AdS)."
- associative three-form: A special closed 3-form defining a G2-structure on a 7-manifold. "Recall that a -manifold is associated to an associative three-form ."
- axions: Pseudoscalar fields arising from higher-form gauge fields upon compactification. "The imaginary parts needed to complete these multiplets are provided by axions arising from the reduction of on the two-cycles and of on the three-cycle."
- BF bound: The Breitenlohner–Freedman stability bound for scalar masses in AdS. "with the conformal dimension smaller that 2 due to a tachyon above the BF bound,"
- Betti numbers: Topological invariants counting independent harmonic forms (cycles) of a manifold. "The untwisted cohomology of our seven-dimensional manifold \eqref{eq:7Dintspace1} has Betti numbers , and ."
- Bianchi identities: Differential constraints on field strengths ensuring consistency (e.g., charge conservation). "together with the ten-dimensional Bianchi identities,"
- bispinor equations: Supersymmetry conditions recast as differential-form equations via the Clifford map. "which are sometimes called bispinor equations,"
- Calabi--Yau threefold: A six-dimensional Ricci-flat Kähler manifold with SU(3) holonomy, often used in string compactifications. "on an orientifold of a Calabi--Yau threefold with -planes."
- Chern-Simons terms: Topological terms in three-dimensional gauge theories characterized by a level matrix. "The are constants appearing in front of the Chern-Simons terms,"
- circle compactifications: Reductions of higher-dimensional theories on a circle to obtain lower-dimensional effective theories. "They arise as circle compactifications of four-dimensional vacua"
- coassociative four-form: The Hodge dual of the associative three-form in G2-structures. "we can identify the coassociative four-form,"
- conformal dimensions: Scaling dimensions of operators in a conformal field theory. "The conformal dimensions of the putative dual two-dimensional field theory appear not to be integers."
- DGKT: A specific flux compactification model (DeWolfe–Giryavets–Kachru–Taylor). "We consider massive type IIA supergravity compactified on an orientifold of the toroidal orbifold , following DGKT \cite{DeWolfe:2005uu}."
- D6-branes: Six-dimensional D-branes in string theory sourcing RR fields and charges. "We thus insert -branes in such a way that they are mutually supersymmetric"
- dilaton: The scalar field controlling the string coupling in string theory. "where is a warp factor and the dilaton."
- domain wall bound: A constraint relating scales and charges in AdS compactifications (recently proposed). "It will also satisfy the domain wall bound recently derived in \cite{Cribiori:2026btb},"
- extended supersymmetry: Supersymmetry with more than the minimal number of supercharges in a given dimension. "scale-separated vacua with extended supersymmetry"
- Fayet-Iliopoulous term: A constant term in the moment map associated with gauged U(1) symmetries. "where is a real constant, namely the Fayet-Iliopoulous term."
- Freed-Witten anomalies: Consistency conditions restricting branes in the presence of NSNS flux. "so that we do not have to worry about Freed-Witten anomalies."
- gauged supergravity: Supergravity theories with gauged isometries, inducing D-terms and Chern–Simons couplings. "we show that the same vacuum cannot be obtained within gauged supergravity,"
- G₂-manifold: A 7D manifold with G₂ holonomy admitting special forms and minimal supersymmetry. "Recall that a -manifold is associated to an associative three-form ."
- gravitino: The spin-3/2 superpartner of the graviton in supergravity. "the single gravitino of the four-dimensional theory now becomes two gravitini in the three-dimensional theory,"
- Hodge duality: The correspondence between p-forms and (n−p)-forms in an n-dimensional manifold via the Hodge star. "since the volume form entering Hodge duality is odd."
- holography: The AdS/CFT correspondence relating gravity in AdS to a lower-dimensional CFT. "The hope is that holography could give a better understanding of these vacua"
- Kähler form: The closed (1,1) 2-form defining a Kähler metric on a complex manifold. "The six-dimensional toroidal orbifold is characterized by a holomorphic -form and a real K\"ahler form ."
- Kähler potential: A function determining the metric on Kähler moduli space in supersymmetric theories. "The three-dimensional K\"ahler potential has to be"
- Kaluza--Klein length: The compactification scale associated with extra dimensions. "They are characterized by a scale, the Kaluza--Klein length,"
- Killing spinor equations: First-order differential equations whose solutions imply preserved supersymmetry. "First, we determine a solution of the ten-dimensional Killing spinor equations,"
- massive type IIA supergravity: Type IIA supergravity with nonzero Romans mass F₀. "four-dimensional vacua of massive type IIA supergravity"
- moduli stabilization: Mechanisms (often via fluxes) that fix scalar moduli in compactifications. "with moduli stabilization and scale separation"
- NS sector: The Neveu–Schwarz sector containing fields like the metric, B-field, and dilaton. "For the NS sector, we have"
- O6-planes: Orientifold six-planes carrying negative RR charge and tension. "on an orientifold of a Calabi--Yau threefold with -planes."
- orbifold: A quotient space with discrete identifications, often introducing fixed-point singularities. "toroidal orbifold "
- orientifold: A projection including worldsheet parity reversing, introducing orientifold planes. "compactified on an orientifold of the toroidal orbifold"
- orientifold involution: The geometric involution defining the orientifold action. "The orientifold involution acts on the coordinates , , as"
- R-symmetry: An internal symmetry rotating supercharges in supersymmetric theories. "The only remaining option would be to gauge the R-symmetry."
- RR sector: The Ramond–Ramond sector containing p-form gauge fields and their fluxes. "For the RR sector, we have"
- RR tadpoles: Anomalous charges requiring cancellation conditions in compactifications with RR fluxes. " enters the various RR tadpoles."
- scale separation: A hierarchy where the KK scale is much larger than the AdS curvature scale. "Solutions of the equations of motion with this property are said to exhibit scale separation."
- skew-whiffing: A sign-flip operation producing non-supersymmetric solutions related to supersymmetric ones. "would lead to the ``skew-whiffing'' non-supersymmetric solutions"
- smeared currents: Effective, distributed source terms approximating localized brane/orientifold charges. "the smeared currents of the -branes and -planes are"
- string-frame metric: The metric in which the dilaton couples directly to the Ricci scalar in the action. "We perform the compactification with the ten-dimensional string-frame metric"
- superpotential: A holomorphic function governing F-term interactions in supersymmetric effective actions. "we provide the effective K\"ahler potential and superpotential"
- tadpole: Net charged flux or source requiring cancellation for consistency. "such that the tadpole is canceled with ."
- toroidal orbifold: An orbifold built as a discrete quotient of a torus. "toroidal orbifold "
- twisted sector: States/moduli localized at orbifold fixed points, appearing after resolution. "Let us briefly discuss the twisted sector."
- untwisted cohomology: Cohomology classes inherited from the covering torus, not localized at fixed points. "The untwisted cohomology of our seven-dimensional manifold \eqref{eq:7Dintspace1} has Betti numbers"
Collections
Sign up for free to add this paper to one or more collections.