Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-05 (gpt-6.1-sol)
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

Physical scope

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 X carry the Type IIB O3/O7 datum and the even/odd H1,1 basis of def-cmp-type-iib-o3-o7-orientifold-data. Expand the dimensionless string-unit even Kähler class as [J]=vα[ωα], where ωα and ωa are chosen smooth closed real representatives of the even and odd (1,1) classes. No equality between J and the linear combination of these selected form representatives is assumed. Use καβγ=∫Xωα∧ωβ∧ωγ and καbc=∫Xωα∧ωb∧ωc; repeated indices are summed. Let l=C0 be the dimensionless RR axion, ϕ the real dimensionless dilaton, ba,ca the NS–NS and RR two-form axions, and ρα the RR four-form scalars, all normalized as in the source reduction. Define τ=l+ie−ϕ,Ga=ca−τba, Kα(v)=καβγvβvγ,ζα(τ,τˉ,G,Gˉ)=−i2(τ−τˉ)καbcGb(Gc−Gˉc), Tα=3i2ρα+34Kα(v)−32ζα(τ,τˉ,G,Gˉ). 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 vα to Re⁡Tα is nonsingular; no global invertibility is asserted. In α′=1 units the vα, κABC, V=καβγvαvβvγ/6, and displayed moduli are dimensionless; restoring units gives Jphys=α′J and Vol⁡phys(X)=(α′)3V. The source uses MP=1; with a dimensionful four-dimensional supergravity convention, Kphys=MP2Ksource and dimension-one scalar coordinates are MP times the source's dimensionless coordinates.

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.

[F1]

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 C4 classes, and the separation between geometric quotient data and charge/tadpole conditions.

[F2]

Calabi–Yau threefold intersection and Kähler-volume coordinates fixes the class expansion [J]=vα[ωα] with chosen smooth closed representatives, the intersection normalization καβγ, and V=καβγvαvβvγ/6 in dimensionless string units. Its cohomological volume calculation is independent of the chosen closed representatives; it does not assert equality of form representatives.

[F3]

Supergravity Conventions And Normalizations fixes the adopted Einstein-frame, α′, and Planck-mass conventions. The source convention here sets α′=MP=1.

[F4]

Four-Dimensional N=1 Matter-Coupled Supergravity adopts the local two-derivative four-dimensional N=1 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.

[F5]

Type IIB Five Form Self Duality Constraint imposes ∗gsG~5=G~5 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.

[F6]

The Euclidean inverse function theorem gives a local C1 inverse for a C1 map on an open real Euclidean domain with nonsingular derivative, with inverse derivative equal to the inverse Jacobian.

[A1]

Adopt the source-reported two-derivative reduction and impose the five-form self-duality constraint before defining ρα. The current N=1 and five-form readiness records remain escalated; the coordinates are used as local source conventions, not as a locally derived reduction theorem.

Proof

technique · check denominator well-definedness and expand the real coordinate relation

Given: The orientifold parity data, real moduli and axions, dimensionless string-unit Kähler coefficients, and local Jacobian patch in the Statement.

1.1F1F2F3F4F5F6A1given

Since ϕ is real, y=e−ϕ>0 and τ−τˉ=2iy≠0; 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, l=Re⁡τ and ϕ=−log⁡(Im⁡τ) recover the axiodilaton fields; ba=−Im⁡Ga/y and ca=Re⁡Ga+lba recover the real two-form axions. With these variables fixed, the smooth map v↦Re⁡T has the assumed nonsingular real Jacobian. The joint map (v,τ,G,z)↦(Re⁡T,τ,G,z) therefore has a nonsingular block-triangular real Jacobian, so [F6] gives its local inverse on open real coordinate patches. Finally ρα=(2/3)Im⁡Tα+Im⁡ζα 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.

2.1givenstep 1.1algebra∎

The real axions give Gc−Gˉc=−(τ−τˉ)bc. Substitution into the definition yields ζα=i2καbcGbbc and hence ζα+ζˉα=i2καbc(Gb−Gˉb)bc=yκαbcbbbc. Adding Tα to its conjugate now gives Tα+Tˉα=32καβγvβvγ−32ζαR, with the ρα terms canceling. This is a local real-coordinate relation and makes no global invertibility claim.

Remarks

The axiodilaton satisfies Im⁡τ=e−ϕ>0, so τ−τˉ≠0 and ζα is defined. This is the multi-modulus Tα 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.

Depends on

Dependency tree · 2 levels

Sources