Alphabeta Math
Open problemQuestion: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-11-04
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.

Ten-dimensional origin of nonperturbative large-volume-potential scaling

Physical scope

Type-IIB Calabi–Yau orientifold compactifications in a large-volume regime with a rigid small divisor supporting a Euclidean D3 instanton or a D7 gauge sector. The target is the origin and total-volume scaling of specified four-dimensional Einstein-frame potential terms, including zero-mode and determinant effects.

Open problem

Use c=ℏ=1. Let X be a smooth compact Calabi–Yau threefold with a specified Type-IIB orientifold action and source data. Let ℓs=α′ and Ls=2πℓs; Ls is the string-length unit set to one in the cited ten-dimensional calculation. For a chosen string-frame Kähler metric gs with Kähler form Js, define

Vs=16Ls6∫XJs∧Js∧Js,τs,s=12Ls4∫DsJs∧Js.

Let Φ be the real dilaton profile, smooth away from the specified localized sources. If it is singular at a source, use a resolved source core or specify an integrable matching prescription that makes the displayed volume integrals well-defined. The corresponding ten-dimensional Einstein-frame internal metric is the Hermitian metric gE=e−Φ/2gs, with positive fundamental (1,1)-form JE:=e−Φ/2Js. When Φ is constant this metric is Kähler; for a varying dilaton, JE need not be closed and is not generally a Kähler form. Define the Einstein-frame volume integral by

VE=16Ls6∫XJE∧JE∧JE,τs,E=12Ls4∫DsJE∧JE.

In the constant-dilaton comparison regime Φ=Φ∞ and gs=eΦ∞, JE=gs−1/2Js, so

VE=gs−3/2Vs,τs,E=gs−1τs,s.

If Φ varies over X, the pointwise conformal relation still defines gE and JE, but the resulting volume ratios are no longer constant in general; the volume-scaling comparison below is restricted to the stated constant-dilaton regime. Fixed factors such as 2π and fixed powers of gs affect coefficients and the numerical value assigned to a fixed divisor volume, but not powers of the total volume.

Here Ds⊂X is a smooth complex divisor with no infinitesimal holomorphic deformations, H0(Ds,NDs/X)=0, where NDs/X=TX∣Ds/TDs, and it is small in the Einstein-frame large-volume regime VE≫1 with τs,E≪VE2/3. A Euclidean D3 (E3) instanton is a D3-brane wrapped on Ds and localized at a point of the noncompact four-dimensional spacetime. A D7 gauge sector is a four-dimensional gauge theory arising from a D7-brane wrapped on a divisor; no assumption that its gauge dynamics has the zero modes needed for a nonperturbative superpotential is made. The four-dimensional Einstein-frame potential VE is the scalar potential after the metric Weyl rescaling that fixes the Einstein–Hilbert coefficient to MP2/2, with MP the reduced four-dimensional Planck mass.

For the four-dimensional reference description adopt reduced Planck units MP=1. Thus Ts=τs,hol+iρs, a, VE, and τs,E are dimensionless; W0 and A are the dimensionless Planck-unit representatives of quantities with mass dimension three, and VE is the dimensionless Planck-unit representative of a quantity with mass dimension four. The holomorphic Kähler coordinate Ts is a complex scalar whose real part τs,hol enters terms such as e−aTs and whose imaginary part ρs is the normalized four-dimensional zero mode of the Ramond–Ramond four-form integrated over Ds, with its period fixed by the D3-charge convention used in Ts. At tree level the cited ten-dimensional Einstein-frame calculation identifies τs,hol=τs,E in its chosen Ls units. Whether this identification receives a logarithmic or other correction is part of the open problem; τs,hol is not identified with the string-frame volume τs,s without the stated frame conversion. W0 denotes the flux contribution to the four-dimensional superpotential, and Ae−aTs the one-instanton or gauge-condensation term, with A its fluctuation prefactor and a>0 the dimensionless instanton-action or gauge-condensation coefficient. The instanton–flux interference term is the cross term between W0 and Ae−aTs; the instanton–anti-instanton term comes from a correlated pair with action factors e−aTs and e−aTˉs. A fluctuation determinant is the regulated product of nonzero eigenvalues of the quadratic fluctuation operators about that configuration. Collective coordinates are its bosonic and fermionic zero-mode parameters. Fermionic zero-mode lifting changes the effective action so the zero modes are no longer exact; zero-mode saturation supplies the Grassmann insertions needed for their integration to be nonzero.

The volume powers are compared asymptotically as VE→∞ at fixed τs,E, constant bulk string coupling, topology and specified discrete flux/source data. This is a comparison of terms in effective potentials, not an assertion that a family of stabilized vacua with these fixed data exists. In the conventional two-modulus four-dimensional large-volume-scenario (LVS) truncation, the instanton–flux interference and instanton–anti-instanton terms scale respectively as VE−2 and VE−1 under these conditions. For the E3-instanton realization, the 2026 local ten-dimensional effective-field-theory calculation estimates VE−5/2 and VE−2, respectively, conditional on its local-propagation assumptions and on bulk-volume-independent local prefactors. Its determinant and correlated zero-mode interactions are not computed, so these are scaling estimates rather than a microscopic derivation. The paper treats D7 gaugino condensation separately: its local ten-dimensional power counting estimates the same two powers, while its alternative action-level matching recovers the four-dimensional powers only after inserting a volume-enhanced canonically normalized gaugino expectation value whose local origin is not derived. Thus the E3 and D7 comparisons remain distinct conditional arguments; no microscopic determinant, zero-mode or condensate normalization is assumed in advance.

For a type-IIB large-volume orientifold with a rigid small divisor supporting an E3 instanton or D7 gauge sector, compute from the localized ten-dimensional or microscopic theory the leading total-volume dependence of the instanton–flux interference and instanton–anti-instanton contributions to the four-dimensional Einstein-frame potential, including determinants, collective coordinates and zero-mode lifting. Determine whether and how these results match or correct the four-dimensional N=1 prediction when the tree-level holomorphic coordinate is identified with the ten-dimensional Einstein-frame divisor volume; any correction to that identification must be derived or otherwise independently justified.

Status

Status checked on 2026-10-26. The four-dimensional LVS potential has a specified three-term form under its stated Kähler-potential, superpotential, geometric, and large-volume assumptions. The 2026 ten-dimensional EFT analysis reports a different leading volume power for the localized instanton–flux and instanton–anti-instanton contributions under its local-propagation assumptions. This does not refute the conditional four-dimensional calculation.

The 2026 authors leave the interacting determinant and fermion zero-mode normalization uncomputed, and identify possible logarithmic corrections to the relation between the holomorphic coordinate and geometric divisor volume or long-range RR/Wilson-line propagation as unresolved routes to reconciliation. No microscopic derivation of the required correction is supplied. The matching problem therefore remains open; the stated source does not establish that the standard LVS branch is absent.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources