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.
Multi-modulus Type IIB O3/O7 chiral coordinates
Local multi-modulus chiral coordinates in the classical two-derivative, large-radius, unwarped Type IIB O3/O7 truncation. The source imposes five-form self-duality before choosing the C4 axions. No global coordinate chart, flux potential, open-string sector, or corrected action is asserted.
Definition
Let carry the Type IIB O3/O7 datum and the even/odd basis of def-cmp-type-iib-o3-o7-orientifold-data. Expand the dimensionless string-unit even Kähler class as , where and are chosen smooth closed real representatives of the even and odd classes. No equality between and the linear combination of these selected form representatives is assumed. Use and ; repeated indices are summed. Let be the dimensionless RR axion, the real dimensionless dilaton, the NS–NS and RR two-form axions, and the RR four-form scalars, all normalized as in the source reduction. Define
These are the Grimm–Louis multi-modulus chiral-coordinate conventions in the two-derivative, large-radius, unwarped reduction, with the ten-dimensional Einstein-frame action converted to the source's four-dimensional Einstein frame and the five-form self-duality condition imposed before choosing . The coordinates are local on patches where the real Jacobian from to is nonsingular; no global invertibility is asserted. In units the , , , and displayed moduli are dimensionless; restoring units gives and . The source uses ; with a dimensionful four-dimensional supergravity convention, and dimension-one scalar coordinates are times the source's dimensionless coordinates.
Definition references
Facts & Assumptions
Given: A smooth compact Type IIB O3/O7 orientifold datum, its even/odd harmonic bases, dimensionless string-unit Kähler coefficients, the real axions and dilaton, and a local patch on which the stated chiral-coordinate map has nonsingular real Jacobian.
Type IIB Calabi–Yau orientifold data with O3/O7 fixed loci fixes the O3/O7 quotient, even Kähler classes, odd two-form classes, even classes, and the separation between geometric quotient data and charge/tadpole conditions.
Calabi–Yau threefold intersection and Kähler-volume coordinates fixes the class expansion with chosen smooth closed representatives, the intersection normalization , and in dimensionless string units. Its cohomological volume calculation is independent of the chosen closed representatives; it does not assert equality of form representatives.
Supergravity Conventions And Normalizations fixes the adopted Einstein-frame, , and Planck-mass conventions. The source convention here sets .
Four-Dimensional Matter-Coupled Supergravity adopts the local two-derivative four-dimensional Einstein-frame matter framework and fixes its chiral-field/Kähler-potential conventions. Its present readiness record is escalated for a now-stale missing-conventions reason, so this interface remains conditional.
Type IIB Five Form Self Duality Constraint imposes after varying the undoubled pseudoaction; this is an adopted formulation postulate, not a pseudoaction Euler–Lagrange equation. Its current readiness record is escalated and used conditionally.
The Euclidean inverse function theorem gives a local inverse for a map on an open real Euclidean domain with nonsingular derivative, with inverse derivative equal to the inverse Jacobian.
Adopt the source-reported two-derivative reduction and impose the five-form self-duality constraint before defining . The current and five-form readiness records remain escalated; the coordinates are used as local source conventions, not as a locally derived reduction theorem.
Proof
Given: The orientifold parity data, real moduli and axions, dimensionless string-unit Kähler coefficients, and local Jacobian patch in the Statement.
Since is real, and ; the rational expression defining is therefore well-defined for finite fields. The intersection coefficients and index split come from [F1]–[F2], the string/Planck units from [F3], and the use of chiral fields with a five-form constraint is the adopted source framework [F4]–[F5], conditionally as stated in [A1]. For the remaining coordinate assertion, and recover the axiodilaton fields; and recover the real two-form axions. With these variables fixed, the smooth map has the assumed nonsingular real Jacobian. The joint map therefore has a nonsingular block-triangular real Jacobian, so [F6] gives its local inverse on open real coordinate patches. Finally recovers the four-form axions. This proves the claimed local real coordinate chart, not global invertibility or an independent derivation of its physical chiral interpretation.
The real axions give . Substitution into the definition yields and hence . Adding to its conjugate now gives , with the terms canceling. This is a local real-coordinate relation and makes no global invertibility claim.
Remarks
The axiodilaton satisfies , so and is defined. This is the multi-modulus convention; it is not the separate single-overall-modulus GKP coordinate. Open-string moduli, flux-generated superpotentials, warping, loop corrections, and corrections lie outside this definition.