Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6-luna)
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

Physical scope

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 M4 and reduced Planck units MP=1. Let M be a complex n-dimensional scalar manifold, with retained classical scalar configurations z:M4→M of class C2. In a holomorphic chart zi, a chiral multiplet is the superfield Φi=zi+2 θψi+θ2Fi, where zi is its scalar, ψi its Weyl fermion, and Fi its algebraic auxiliary field. A two-derivative N=1 supergravity EFT on a stated field domain is specified by a real local Kähler potential K, a holomorphic superpotential W, any holomorphic gauge kinetic matrix fab and gauged symmetries, and a cutoff below the omitted modes. Its Kähler metric is gijˉ=∂i∂jˉK 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, K, the scalar coordinates, W, and the scalar potential are dimensionless; restoring dimensions gives K dimension two, W dimension three, and V dimension four in powers of mass. Define DiW=∂iW+KiW. The two-derivative F-term potential is

VF=eK(gijˉDiW DjW‾−3∣W∣2),

where gijˉ is the inverse Kähler metric. A Kähler-uplift ansatz specifies K=K0+ΔK and W, and obtains its potential by substituting this corrected K and W into VF; a positive-energy critical point is an outcome to be checked, not part of the definition.

For each racetrack, choose a stated coordinate range UT⊂C and a dimensionless chiral field T:M4→UT of class C2, with τ=Re⁡T and ρ=Im⁡T. 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 X be the compact Calabi–Yau threefold, JE its ten-dimensional Einstein-frame Kähler form, D⊂X the specified divisor, and Ls=2πα′ the length unit. Choose the tree-level normalization τ=(2Ls4)−1∫DJE∧JE; ρ is the correspondingly normalized C4 period over D. After any spectator fields are fixed, a racetrack superpotential has at least two nonperturbative terms with distinct positive dimensionless exponents, for example

W=W0+A1e−a1T+A2e−a2T,a1≠a2,a1,a2>0.

Here W0,A1,A2∈C 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/F4 perturbative stabilization means that specified string-loop corrections enter K and the component action also contains a higher-derivative term of the schematic form Cijˉklˉ(z,zˉ)FiFˉjˉFkFˉlˉ, with Cijˉklˉ a stated coefficient tensor. Eliminating the auxiliary fields changes the scalar potential. The symbol F4 here refers to four chiral auxiliary fields, not a four-form field strength.

A nilpotent-goldstino model adds a chiral superfield X=x+2 θψX+θ2FX constrained by X2=0. With this component convention and FX≠0, the constraint gives x=ψXψX/(2FX), so x is composite rather than an independent propagating scalar; ψX is the goldstino in the supersymmetry-breaking regime represented by this EFT.

For a gauge-invariant D-term sector, let a gauge group G act on (M,ω) by holomorphic isometries, where ω=igijˉ dzi∧dzˉjˉ is the Kähler form. For a Lie-algebra generator ta, let ka be its real fundamental vector field. A global moment map is a single-valued, equivariant real function μ:M→g∗, with components μa, satisfying the convention dμa=ιkaω. The gauged superpotential and gauge kinetic matrix must obey the chosen gauge symmetry, and Re⁡fab must be positive definite. In the normalization where the D auxiliary equals μa, integrating it out gives

VD=12(Re⁡f)−1 abμaμb.

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 D with rank-N holomorphic gauge bundle E→D, use the holomorphically twisted convention in which the world-volume Higgs field is a section Φ∈Γ(D,End⁡(E)⊗KD), where KD=Λ2,0T∗D is the canonical holomorphic line bundle. In a local trivialization of KD, a T-brane configuration has a fibre endomorphism Φy:Ey→Ey that is non-diagonalizable at generic y∈D; a nilpotent field satisfying Φq=0 for some integer q≥2 is a special case provided Φy≠0 on a dense open subset of D (the meaning of generic here). The power Φq is a section of End⁡(E)⊗KD⊗q, using composition in End⁡(E). 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 KD. 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 N=1 gauge sector obtained from a heterotic compactification, with a nonzero expectation value ⟨tr⁡λλ⟩ of the adjoint Weyl fermion λ in its gauge multiplet. In a pure gauge example this generates a nonperturbative superpotential term of the form Ae−afh, where fh is the holomorphic gauge kinetic function, a>0 is fixed by the beta-function and normalization conventions, and A is a threshold prefactor; at tree level in the heterotic dilaton sector, S denotes the chiral dilaton field and one often has fh=S.

Racetrack superpotentials, Kähler uplift, loop/F4 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, K, W, 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.

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