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
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 . Let be a smooth compact Calabi–Yau threefold with a specified Type-IIB orientifold action and source data. Let and ; is the string-length unit set to one in the cited ten-dimensional calculation. For a chosen string-frame Kähler metric with Kähler form , define
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 , with positive fundamental -form . When is constant this metric is Kähler; for a varying dilaton, need not be closed and is not generally a Kähler form. Define the Einstein-frame volume integral by
In the constant-dilaton comparison regime and , , so
If varies over , the pointwise conformal relation still defines and , 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 and fixed powers of affect coefficients and the numerical value assigned to a fixed divisor volume, but not powers of the total volume.
Here is a smooth complex divisor with no infinitesimal holomorphic deformations, , where , and it is small in the Einstein-frame large-volume regime with . A Euclidean D3 (E3) instanton is a D3-brane wrapped on 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 is the scalar potential after the metric Weyl rescaling that fixes the Einstein–Hilbert coefficient to , with the reduced four-dimensional Planck mass.
For the four-dimensional reference description adopt reduced Planck units . Thus , , , and are dimensionless; and are the dimensionless Planck-unit representatives of quantities with mass dimension three, and is the dimensionless Planck-unit representative of a quantity with mass dimension four. The holomorphic Kähler coordinate is a complex scalar whose real part enters terms such as and whose imaginary part is the normalized four-dimensional zero mode of the Ramond–Ramond four-form integrated over , with its period fixed by the D3-charge convention used in . At tree level the cited ten-dimensional Einstein-frame calculation identifies in its chosen units. Whether this identification receives a logarithmic or other correction is part of the open problem; is not identified with the string-frame volume without the stated frame conversion. denotes the flux contribution to the four-dimensional superpotential, and the one-instanton or gauge-condensation term, with its fluctuation prefactor and the dimensionless instanton-action or gauge-condensation coefficient. The instanton–flux interference term is the cross term between and ; the instanton–anti-instanton term comes from a correlated pair with action factors and . 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 at fixed , 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 and under these conditions. For the E3-instanton realization, the 2026 local ten-dimensional effective-field-theory calculation estimates and , 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 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.
Open problem references
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
- 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
- V. Balasubramanian, P. Berglund, J. P. Conlon, and F. Quevedo, Systematics of Moduli Stabilisation in Calabi-Yau Flux Compactifications, arXiv:hep-th/0502058v2
- Arthur Hebecker, Andreas Schachner, and Gaetano Maria Sifo, An attempt to derive the LVS from a 10d EFT perspective, arXiv:2609.16117v2