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.
Type I Omega Orientifold Projection
Perturbative flat ten-dimensional Type I defined as Type IIB modulo worldsheet orientation reversal with the negative-charge O9-minus Chan–Paton convention. The definition fixes the listed massless projections and open D9 gauge algebra; it is not a general orientifold formula or a tadpole-cancellation result.
Definition
Use the flat ten-dimensional perturbative Type I model obtained from the Type IIB RNS theory of RNS Spin Structures and Sectors with the supersymmetric Type IIB GSO choice of RNS GSO Projections. Let reverse worldsheet orientation, exchange left- and right-moving closed-string data, and identify states invariant under the combined action. The quotient sums over unoriented closed surfaces; a crosscap is the worldsheet identification used to represent an orientation-reversing cycle.
Fix the standard negative-charge O9-minus Type I convention, where O9-minus denotes the space-filling negative-RR-charge orientifold nine-plane. Take with flat background metric , length-valued coordinates, and natural units . The massless field slots are smooth real fields on : a Lorentzian metric with dimensionless components, a dimensionless scalar dilaton , an NS two-form potential , and RR potentials for . In the adopted string normalization these potential components are dimensionless. This item fixes their massless field slots and parities only; it supplies no action, field equations, or flux quantization rule. On the Type IIB massless closed fields, the projection keeps , , and , and removes , , and . These are the stated massless-sector parities; no general parity rule for other backgrounds is asserted.
For space-filling D9-branes (branes whose worldvolume fills the ten-dimensional target), let be the dimensionless Chan–Paton matrix labeling open-string endpoint states, and let be a nonsingular dimensionless Chan–Paton matrix implementing on endpoint labels. On a massless open-string vector state define
For the standard O9-minus choice take ; in a basis with , the -invariant complex state-label space is , the complexification of the gauge algebra. Choose anti-Hermitian generators for the real gauge algebra, so as well as . These equations imply , making the real generators precisely the real skew-symmetric matrices, which form . The conventional connected Chan–Paton group label is . Tadpole cancellation is a separate result.