Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-05
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.

Source-reported Type IIB O3/O7 closed-sector kinetic action

Physical scope

Adopted source-reported massless closed-string kinetic truncation for Type IIB O3/O7 compactification, at tree level, two derivatives, large radius, and zero background three-form flux, with open-string fluctuations frozen and the warp factor neglected. Only the explicitly listed conventional modes are retained; extra modes allowed by the broad Calabi–Yau geometry are omitted by a separate truncation assumption. It does not assert tadpole cancellation, a globally consistent sourced background, or a stabilized vacuum.

Postulate

Use natural units ℏ=c=1, α′=1, and the source's MP=1 convention. Let M4 be a smooth oriented four-manifold equipped with a smooth Lorentzian Einstein-frame metric g4 of signature (−,+,+,+), as in the supergravity-conventions item. Denote its oriented metric volume form by volg4 and define ∗4 by η∧∗4θ=⟨η,θ⟩g4 volg4 for real forms of the same degree, where ⟨η,θ⟩g4=(1/p!)ημ1…μpθμ1…μp; extend ∗4 complex-linearly to complex-valued forms. Let the complex-structure scalars zk:M4→Ucs⊂Cm be smooth, and let vα,ρα,ϕ,l,ba,ca∈C∞(M4,R) be smooth real scalar fields. On each gauge-potential patch take Vκ∈Ω1(M4;R) smooth and define Fκ=dVκ. Restrict their values to a local source-coordinate patch where the matrices and denominators below are defined. Adopt the following source-reported real scalar and closed-vector kinetic terms for the unwarped, zero-three-form-flux O3/O7 truncation. Here ba,ca retain the odd harmonic (1,1) two-form modes, ρα the chosen even harmonic (2,2) four-form modes, and Vκ the electric vectors from the even harmonic three-form sector after the five-form constraint. Any additional harmonic modes admitted by the broad Calabi–Yau convention, including odd (2,0)+(0,2) two-form modes, are omitted as a separate truncation assumption. The orientifold projector alone does not imply their absence or the consistency of this further truncation. Let K=καβγvαvβvγ=6V,Kα=καβγvβvγ,Kαβ=καβγvγ,Kab=καabvα, and assume the matrices needed below are nonsingular on the chosen coordinate patch. Define Gαβ=−32(KαβK−32KαKβK2),Gαβ=(Gαβ)−1,Gab=−32KabK, Gklˉ=∂k∂lˉ[−log⁡(i∫XΩ∧Ωˉ)],Ξα=dρα−12καab(cadbb−badcb),Fκ=dVκ. Choose a flat parity-adapted real symplectic cohomology frame (αI,βI) with ∫XαI∧βJ=δIJ and zero α–α and β–β pairings; I=(κ,k^) separates even and odd basis elements under σ∗. Use the period-supplier convention XI=∫XΩ∧βI, FI=∫XΩ∧αI, and Ω=XIαI−FIβI in cohomology. On a local ambient period patch Uamb admitting a holomorphic degree-two prepotential F with FI=∂IF, choose X0^≠0. Supply a holomorphic inclusion ι:Ucs↪Uamb of the orientifold locus, with Xκ∘ι=Fκ∘ι=0 and surviving odd period ratios as its local coordinates zk. Thus the transverse even ratios zκ:=Xκ/X0^ and their conjugates vanish there; no transverse complex-structure field is retained. The form Ω and its norm in Gklˉ above are restricted to this same family on Ucs. Let FIJ=∂FI/∂XJ be the local period matrix of the chosen homogeneous prepotential and define the source's N=2 gauge matrix by MIJ=F‾IJ+2i(Im⁡F)IMXM(Im⁡F)JNXNXP(Im⁡F)PQXQ, on a patch where its denominator is nonzero. In the action below, Mκλ denotes only the pulled-back even block ι∗(Mκλ), evaluated on the scalar field z:M4→Ucs; both the transverse even coordinates and their conjugates are set to zero before this evaluation. It is not the unrestricted ambient matrix. In the source differential-form convention, the adopted kinetic action is Skin(4)=∫M4[−Gklˉdzk∧∗4dzˉlˉ−Gαβdvα∧∗4dvβ−14dlog⁡K∧∗4dlog⁡K−14dϕ∧∗4dϕ−14e2ϕdl∧∗4dl−e−ϕGabdba∧∗4dbb−eϕGab(dca−ldba)∧∗4(dcb−ldbb)−9Gαβ4K2Ξα∧∗4Ξβ+14Im⁡MκλFκ∧∗4Fλ+14Re⁡MκλFκ∧Fλ]. The action is an adopted effective-theory input reported after harmonic reduction, five-form self-duality, and a four-dimensional Weyl rescaling. This item does not prove that this reduction follows from the ten-dimensional pseudoaction.

Remarks

The tensors Gαβ and Gab are the source's real Kähler-modulus and odd two-form metrics; Gαβ is the inverse of Gαβ. K=6V is the cubic intersection polynomial, not the four-dimensional Kähler potential. Restoring units gives Jphys=α′J and Vol⁡phys(X)=(α′)3V; the source's dimensionless Kähler potential is multiplied by MP2 in the dimensionful four-dimensional convention.

The displayed vector coefficients are transcribed from Grimm–Louis equation (3.21). The comparison with the standard N=1 vector terms is equation (3.23), whose gauge terms are inside an overall minus; the source's equations (3.31) and (3.33) give the same negative sign as this coefficient match. Equation (3.29) is the no-scale identity, not the comparison action.

The internal integral uses the complex orientation fixed by the orientifold datum. Thus i∫XΩ∧Ωˉ>0: in an oriented holomorphic chart, Ω=f dz1∧dz2∧dz3 gives iΩ∧Ωˉ=8∣f∣2 dx1∧dy1∧dx2∧dy2∧dx3∧dy3. The minus sign before this integral printed in Grimm–Louis (2.12), (3.15) and (3.27) is incompatible with that orientation and the positive period expression in (2.12). Here the complex-structure potential uses the positive norm, in agreement with the local period supplier; the other adopted kinetic coefficients are retained.

Depends on

Dependency tree · 2 levels

Sources