Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6-luna)
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

Physical scope

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 M=R1,9 with flat background metric η=diag⁡(−1,1,…,1), length-valued coordinates, and natural units ℏ=c=1. The massless field slots are smooth real fields on M: a Lorentzian metric G∈Γ(Sym⁡2T∗M) with dimensionless components, a dimensionless scalar dilaton Φ:M→R, an NS two-form potential B2∈Ω2(M), and RR potentials Cq∈Ωq(M) for q∈{0,2,4}. 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 GMN, Φ, and C2, and removes B2, C0, and C4. These are the stated massless-sector parities; no general parity rule for other backgrounds is asserted.

For N∈Z≥0 space-filling D9-branes (branes whose worldvolume fills the ten-dimensional target), let λ∈Mat⁡N(C) 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

Ω:λ⟼−γΩλTγΩ−1.

For the standard O9-minus choice take γΩT=+γΩ; in a basis with γΩ=I, the Ω-invariant complex state-label space is {λ∈Mat⁡N(C):λ=−λT}, the complexification of the gauge algebra. Choose anti-Hermitian generators for the real gauge algebra, so λ†=−λ as well as λ=−λT. These equations imply λ‾=λ, making the real generators precisely the real skew-symmetric matrices, which form so(N). The conventional connected Chan–Paton group label is SO(N). Tadpole cancellation is a separate result.

Depends on

Dependency tree · 2 levels

Sources