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
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 , , and the source's convention. Let be a smooth oriented four-manifold equipped with a smooth Lorentzian Einstein-frame metric of signature , as in the supergravity-conventions item. Denote its oriented metric volume form by and define by for real forms of the same degree, where ; extend complex-linearly to complex-valued forms. Let the complex-structure scalars be smooth, and let be smooth real scalar fields. On each gauge-potential patch take smooth and define . 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 retain the odd harmonic two-form modes, the chosen even harmonic four-form modes, and 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 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 and assume the matrices needed below are nonsingular on the chosen coordinate patch. Define Choose a flat parity-adapted real symplectic cohomology frame with and zero – and – pairings; separates even and odd basis elements under . Use the period-supplier convention , , and in cohomology. On a local ambient period patch admitting a holomorphic degree-two prepotential with , choose . Supply a holomorphic inclusion of the orientifold locus, with and surviving odd period ratios as its local coordinates . Thus the transverse even ratios and their conjugates vanish there; no transverse complex-structure field is retained. The form and its norm in above are restricted to this same family on . Let be the local period matrix of the chosen homogeneous prepotential and define the source's gauge matrix by on a patch where its denominator is nonzero. In the action below, denotes only the pulled-back even block , evaluated on the scalar field ; 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 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.
Postulate references
Calabi–Yau threefold intersection and Kähler-volume coordinates
Special Kähler period data in Calabi–Yau threefold reductions
Type IIB Calabi–Yau orientifold data with O3/O7 fixed loci
Multi-modulus Type IIB O3/O7 chiral coordinates
Supergravity Conventions And Normalizations
Four-Dimensional Matter-Coupled Supergravity
Type IIB Five Form Self Duality Constraint
Remarks
The tensors and are the source's real Kähler-modulus and odd two-form metrics; is the inverse of . is the cubic intersection polynomial, not the four-dimensional Kähler potential. Restoring units gives and ; the source's dimensionless Kähler potential is multiplied by in the dimensionful four-dimensional convention.
The displayed vector coefficients are transcribed from Grimm–Louis equation (3.21). The comparison with the standard 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 : in an oriented holomorphic chart, gives . 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
Calabi–Yau threefold intersection and Kähler-volume coordinates
Special Kähler period data in Calabi–Yau threefold reductions
Type IIB Calabi–Yau orientifold data with O3/O7 fixed loci
Multi-modulus Type IIB O3/O7 chiral coordinates
Supergravity Conventions And Normalizations
Four-Dimensional Matter-Coupled Supergravity
Type IIB Five Form Self Duality Constraint
Type IIB Two Derivative Supergravity Pseudoaction