How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Alternative stabilization and uplift families with model-specific status
A scope map of named four-dimensional N=1 effective-field-theory mechanisms for moduli stabilization or uplift in string compactifications. It asserts neither a common microscopic string realization nor a universal existence or no-go theorem.
Statement
Use a four-dimensional Lorentzian spacetime and reduced Planck units . Let be a complex -dimensional scalar manifold, with retained classical scalar configurations of class . In a holomorphic chart , a chiral multiplet is the superfield , where is its scalar, its Weyl fermion, and its algebraic auxiliary field. A two-derivative supergravity EFT on a stated field domain is specified by a real local Kähler potential , a holomorphic superpotential , any holomorphic gauge kinetic matrix and gauged symmetries, and a cutoff below the omitted modes. Its Kähler metric is and is required to be positive definite on the retained domain. A critical point is a point where the first derivatives of the full retained real-scalar potential vanish; this condition says nothing by itself about fields above the cutoff.
In these Planck units, , the scalar coordinates, , and the scalar potential are dimensionless; restoring dimensions gives dimension two, dimension three, and dimension four in powers of mass. Define . The two-derivative F-term potential is
where is the inverse Kähler metric. A Kähler-uplift ansatz specifies and , and obtains its potential by substituting this corrected and into ; a positive-energy critical point is an outcome to be checked, not part of the definition.
For each racetrack, choose a stated coordinate range and a dimensionless chiral field of class , with and . Its axion shift lattice is part of the model and must make each instanton exponential single-valued. In the Type-IIB Kähler-modulus example, let be the compact Calabi–Yau threefold, its ten-dimensional Einstein-frame Kähler form, the specified divisor, and the length unit. Choose the tree-level normalization ; is the correspondingly normalized period over . After any spectator fields are fixed, a racetrack superpotential has at least two nonperturbative terms with distinct positive dimensionless exponents, for example
Here are dimensionless in Planck units; if spectator fields remain, these coefficients may instead be holomorphic functions of them. This form does not by itself assert a critical point or stabilization.
Loop/ perturbative stabilization means that specified string-loop corrections enter and the component action also contains a higher-derivative term of the schematic form , with a stated coefficient tensor. Eliminating the auxiliary fields changes the scalar potential. The symbol here refers to four chiral auxiliary fields, not a four-form field strength.
A nilpotent-goldstino model adds a chiral superfield constrained by . With this component convention and , the constraint gives , so is composite rather than an independent propagating scalar; is the goldstino in the supersymmetry-breaking regime represented by this EFT.
For a gauge-invariant D-term sector, let a gauge group act on by holomorphic isometries, where is the Kähler form. For a Lie-algebra generator , let be its real fundamental vector field. A global moment map is a single-valued, equivariant real function , with components , satisfying the convention . The gauged superpotential and gauge kinetic matrix must obey the chosen gauge symmetry, and must be positive definite. In the normalization where the D auxiliary equals , integrating it out gives
This definition requires the global moment map on the stated scalar domain; a formula available only in one coordinate chart is not enough.
For a stack of D7-branes wrapping a smooth complex surface with rank- holomorphic gauge bundle , use the holomorphically twisted convention in which the world-volume Higgs field is a section , where is the canonical holomorphic line bundle. In a local trivialization of , a T-brane configuration has a fibre endomorphism that is non-diagonalizable at generic ; a nilpotent field satisfying for some integer is a special case provided on a dense open subset of (the meaning of generic here). The power is a section of , using composition in . Indeed, a nilpotent complex endomorphism has only zero eigenvalues, so if it were diagonalizable it would be zero. Nilpotence and non-diagonalizability are unchanged by the nonzero scalar rescaling between local trivializations of . Such a configuration is not specified by mutually commuting eigenvalues alone.
Heterotic gaugino condensation here means strong dynamics in a specified four-dimensional asymptotically free gauge sector obtained from a heterotic compactification, with a nonzero expectation value of the adjoint Weyl fermion in its gauge multiplet. In a pure gauge example this generates a nonperturbative superpotential term of the form , where is the holomorphic gauge kinetic function, is fixed by the beta-function and normalization conventions, and is a threshold prefactor; at tree level in the heterotic dilaton sector, denotes the chiral dilaton field and one often has .
Racetrack superpotentials, Kähler uplift, loop/ perturbative stabilization, nilpotent-goldstino F-term models, gauge-invariant D-term sectors, T-brane uplift and heterotic gaugino condensation are distinct EFT constructions with distinct geometric, zero-mode, flux, gauging and correction assumptions. Each requires its own specified field domain, , , gauge/source data, truncation range and validity regime. A formal or numerical critical point in a chosen truncation does not imply that the corresponding complete ten-dimensional string compactification exists, that omitted corrections are small, or that one family supplies a universal stabilization theorem.
Statement references
Scope note
The cited numerical scan fixes complex-structure and dilaton data before exploring the Kähler sector, and is explicitly non-exhaustive. Its minima therefore illustrate distinct EFT ansätze and parameter choices; they do not constitute a survey of fully backreacted ten-dimensional solutions. This remark is a scope map, not a proof that any listed family succeeds or fails in every compactification.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Arthur Hebecker, Naturalness, String Landscape and Multiverse: A Modern Introduction with Exercises, Springer book author version v5, arXiv:2008.10625v5
- Liam McAllister and Fernando Quevedo, Moduli Stabilization in String Theory, arXiv:2310.20559v1
- Shehu AbdusSalam, Christopher Hughes, Fernando Quevedo, and Andreas Schachner, Coexisting Flux String Vacua from Numerical Kähler Moduli Stabilisation, arXiv:2507.00615v1
- George K. Leontaris and Pramod Shukla, Stabilising all Kähler moduli in perturbative LVS, arXiv:2203.03362v3
- Daniel Junghans, Control Problem of de Sitter Vacua with T-brane Uplift, arXiv:2609.35985v1