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.
GKP free-period quantization for Type IIB three-form flux
Adopted GKP/Dirac normalization for free three-form periods in the stated Type IIB O3/O7 Calabi–Yau orientifold sector and chosen smooth cover, restricted to globally defined smooth closed three-form field strengths with no NS5/D5 magnetic source currents. It is not a universal quantization law for all Type IIB backgrounds and does not determine torsion or differential/K-theory charge data.
Postulate
Adopt the GKP/Dirac normalization on the selected smooth covering space of the Type IIB O3/O7 Calabi–Yau orientifold. Assume are globally defined smooth closed forms, so and their periods depend only on the represented homology classes. This is the sector with no NS5/D5 magnetic source currents; a model with such currents requires separately stated sourced Bianchi identities and is outside this postulate. On each chosen local potential patch on which the potentials are defined, they satisfy and ; global potentials are not required. A smooth integral three-cycle is a finite integer sum of smooth maps from the standard three-simplex to whose alternating face boundary is zero. For every such , require Equivalently, and likewise for . Closedness and Stokes' theorem make these periods invariant under adding a boundary to ; a torsion cycle has zero period because some positive integer multiple is a boundary. Thus the nontrivial period lattice is on the free homology quotient. Since has dimension length squared, the periods have dimension length squared and their normalized values are dimensionless. This is an adopted physical Dirac-quantization input, not a theorem of de Rham cohomology. It does not assert that ordinary integral cohomology detects torsion RR data, that the global RR field is classified by ordinary differential cohomology, that twisted K-theory refinements or Freed–Witten shifts vanish, or that quotient/orientifold multiplicities can be omitted.
Postulate references
Remarks
The differential-character and twisted differential K-theory definitions are formulation context only. This postulate does not use either definition to derive its period lattice or to identify torsion, flat holonomy, or a universal RR charge class. Its physical range is limited to the stated GKP free-period sector.