Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-6-luna)‡ sources checked 2026-10-26
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.

DGKT classical smeared four-dimensional effective solution

Physical scope

Adopted classical two-derivative, four-dimensional N=1 constant-mode DGKT solution in its canonical RR basis. The model uses a smeared/averaged O6 source and does not establish a globally localized ten-dimensional solution or include all string-loop and alpha-prime corrections.

Postulate

Use natural units ℏ=c=1 and set ℓs:=α′=1 in the four-dimensional DGKT reduction formulas below. Every reduced flux coefficient, Kähler coordinate, axion, and volume appearing in those formulas denotes its dimensionless numerical value in this source string-unit convention; κ and β are dimensionless intersection coefficients, and eD and eϕ are dimensionless couplings. In the associated ten-dimensional convention, coordinate components of the R-R fields and H3 have units of inverse length; a raw R-R p-form period has units of lengthp−1, while an H3 period has units of length squared. The flux integers are dimensionless, and equations (3.8)–(3.9) fix the period normalizations in DGKT's R-R basis, including its 1/2 rescaling relative to the unrescaled R-R basis. The scalar coefficients in the reduction formulas are those basis-normalized source numbers after setting ℓs=1. In particular, the source hierarchy ∣e^i∣≫∣f^A∣≫∣m0∣ compares dimensionless string-unit numbers, not dimensionful quantities.

Adopt the source-reported classical four-dimensional N=1 constant-mode solution of DeWolfe–Giryavets–Kachru–Taylor (DGKT) for the T6/Z3 orientifold with a further freely acting Z3 quotient. This is a product of two Z3 actions; it is not a quotient by three independent Z3 factors. In the resolved Calabi–Yau model of the source, h1,1=12 gives three bulk Kähler moduli and nine blow-up Kähler moduli, while h2,1=0. The source adopts a smeared/averaged O6 term in the four-dimensional reduction.

Let m0,phys and pphys denote the dimensionful Romans and NS-flux parameters before setting ℓs=1; they have units of inverse length and length squared, respectively. The source normalization is m0,phys=f022πℓs,pphys=(2πℓs)2h3,H3phys=−pphys β0. Thus the positively oriented dual cycle used by the source has ∫Σ3H3phys=−pphys, so its normalized free period is −h3. In the reduced string-unit equations write m0:=ℓsm0,phys=f0/(22π) and p:=pphys/ℓs2=(2π)2h3. On the source cover its D6/O6 signed source charge is −2, and the DGKT source-model tadpole input is f0h3=−2. The standard Graña Romans parameter is F0Gran˜a,phys=2m0,phys=f0/(2πℓs).

The bulk four-form coefficients also obey the explicit DGKT lattice, in the source cycles and R-R basis of equations (3.8)–(3.9): ei,phys=κ1/32(2πℓs)3f4i,f4i∈Z,ei:=ei,physℓs3=c4f4i,c4:=κ1/32(2π)3>0. Thus setting ℓs=1 does not make ei an arbitrary integer: it leaves the fixed spacing c4. The factor 1/2 is the source R-R normalization and κ1/3 is the source bulk-cycle/basis normalization. The source notes possible shifted lattices generally, and states that this shift does not affect the cycles of its specified Calabi–Yau example; this adopted integer lattice is model specific. In particular, the allowed equal-bulk sequence is f4i=−N for N∈N, so ei=−c4N=−eˉ with eˉ:=c4N→∞ and c4 fixed.

For cyclic (i,j,k) in {1,2,3}, write the bulk Kähler coordinates as ti=bi+ivi, with κ>0, and define e^i=ei+κmjmkm0,bi=mim0,vi=1∣e^i∣−5e^1e^2e^33κm0. For each of the nine exceptional divisors, let fA∈Z be the source-normalized exceptional F4 flux, let tA=bA−ivA, and define f^A=fA+βnA22m0,bA=nAm0,vA=−10f^A3βm0,β>0. Here vi>0 is the bulk imaginary coordinate, whereas vA>0 is the magnitude of the negative exceptional imaginary coordinate: Im⁡tA=−vA (DGKT Eq. (5.8), footnote 9). The real flux coefficients mi,nA,e0 and the displayed lattice coefficients specify the branch. Require m0p<0, common sign of the e^i, m0e^1e^2e^3<0, and m0f^A<0 for every A, together with the source's Kähler-cone hierarchy below and positive total volume.

To fix the volume convention, let wi,wA be the source's real degree-two cohomology basis represented by smooth closed forms on the resolved threefold X, with symmetric triple intersections ∫Xw1∧w2∧w3=κ, ∫XwA3=β and all other independent triple intersections zero. The Kähler form J is a smooth closed real (1,1)-form with J(u,Iu)>0 for every nonzero tangent vector u, where I is the complex structure; its class is [J]=∑ivi[wi]−∑AvA[wA]. Consequently the dimensionless volume and four-dimensional dilaton are V:=16∫XJ3=κv1v2v3−β6∑AvA3>0,eD=5∣p∣42∣m0∣V,eϕ=eDV. The factor six in the bulk contraction counts the permutations of three distinct indices; there is one exceptional term per A, with negative sign because Im⁡tA=−vA. The dilaton expression follows from DGKT Eq. (5.10) and eD=eϕ/V in Eq. (4.12). These defining equations resolve the sign inconsistency of the printed positive exceptional term in Eq. (5.11); that term cannot be used with the negative exceptional coordinate of Eq. (5.8). The bulk-only expression ∣p∣27κ∣m0∣/(160∣e^1e^2e^3∣) is the leading approximation when the exceptional-volume contribution is negligible, not the exact dilaton with nine nonzero exceptional moduli. On the branch mi=nA=0, the RR axion is fixed by ξ=e0/p. These equations are adopted source-model data, not a derivation from a ten-dimensional localized solution.

In the controlled scaling regime of the source, scale the dimensionless bulk four-form coefficients together, ∣ei∣∼eˉ→∞, while the Romans and NS quanta and blow-up fluxes remain fixed with ∣e^i∣≫∣f^A∣≫∣m0∣. The source reports V∼eˉ3/2 and eϕ∼eˉ−3/4. With dimensions restored, its four-dimensional Einstein-frame scalings mean ∣Λ4∣MP4∼eˉ−9/2,MPℓs∼eˉ0,(RKKℓs)2∼eˉ7/2, where Λ4 is the vacuum-energy density (units of length−4), MP is the reduced four-dimensional Planck mass (units of length−1), and RKK is the characteristic internal Kaluza–Klein length (units of length). The volume V is the dimensionless volume in string units. Defining HAdS2:=∣Λ4∣/(3MP2) gives (HAdSRKK)2∼eˉ−1. These are source-reported scalings within the classical constant-mode truncation; the hierarchy and all reduced formulas use the source string-unit normalization.

Depends on

Dependency tree · 2 levels

Sources