Physics theoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge 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 O9-D9 RR Tadpole Cancellation

Physical scope

Conditional flat ten-dimensional perturbative RR tadpole cancellation for the standard Type I negative-charge O9-minus projection. The one-loop channel residues are source-normalized inputs; no compactification, alternate orientifold, or general O-plane charge formula is claimed.

Statement

In the flat ten-dimensional Type I model of Type I Omega Orientifold Projection, take the standard O9-minus projection and let $N$ be the nonnegative integer number of space-filling D9-branes. In the source's perturbative RR normalization, cancellation of the massless RR tadpole requires $N = 32$ ; the Chan–Paton gauge algebra is then $s o (32)$ , conventionally denoted $S O (32)$ . This conclusion is specific to this projection and normalization.

Statement references

Type I Omega Orientifold Projection

Gimon and Polchinski, §§2–3

Angelantonj and Sagnotti, §3.2

Facts & Assumptions

Given: The flat Type I O9-minus/D9 model, with $N \in Z_{\geq 0}$ . RR means Ramond–Ramond. The Klein bottle is the one-loop closed unoriented surface, the annulus is the open-string cylinder with two boundaries, and the Möbius strip is the open one-loop surface with an orientation-reversing identification. Their transverse-channel amplitudes describe closed-string propagation between crosscap and boundary states. Define the massless RR tadpole residue as the coefficient of the common massless RR propagation channel after the three amplitudes are combined. Tadpole cancellation means this coefficient vanishes.

[F1]

Type I Omega Orientifold Projection: the standard O9-minus Chan–Paton projection has invariant vector matrices $λ = - λ^{T}$ , with Lie algebra $s o (N)$ .

[A1]

Type I O9-D9 RR Tadpole Amplitude Data: the common transverse-channel massless RR residues are $r_{K} = 16$ , $r_{A} = N^{2} / 64$ , and $r_{M} = ϵ N$ ; O9-minus uses $ϵ = - 1$ , and perturbative tadpole cancellation requires their sum to vanish.

Proof

1.1givenA1algebra

Add the three source-normalized residues in [A1]. Since $ϵ^{2} = 1$ ,

r_{R R} = 16 + \frac{N^{2}}{64} + ϵ N = \frac{N^{2} + 64 ϵ N + 1024}{64} = \frac{(N + 32 ϵ)^{2}}{64} .

2.1A1step 1.1algebra

For the negative-charge O9-minus projection, [A1] sets $ϵ = - 1$ , so step 1.1 becomes $r_{R R} = (N - 32)^{2} / 64$ .

3.1givenA1step 2.1algebra

By the stated tadpole-cancellation condition [A1], the residue in step 2.1 is zero. The denominator $64$ is positive, so $(N - 32)^{2} = 0$ , which implies $N = 32$ .

4.1F1step 3.1algebra∎

The Chan–Paton matrices at this value of $N$ are the antisymmetric $32 \times 32$ matrices by [F1], which form $s o (32)$ . This is the claimed perturbative Chan–Paton gauge algebra.

Remarks

The source residues are physical one-loop inputs; the proof performs their normalization-compatible sum and solves the cancellation condition. It does not derive the worldsheet amplitudes from first principles. The result does not extend to other O-plane signs, compactifications, or general orientifold charge formulas.

The following quotient presentations identify the three one-loop worldsheet topologies used in the source amplitudes. Each panel is a unit square; paired edges with the same letter are identified, and arrow directions give the coordinate map along the edge.

In the annulus panel the vertical edges are identified by $(0, y) \sim (1, y)$ , leaving the horizontal edges as boundary. For the Möbius strip the vertical identification is $(0, y) \sim (1, 1 - y)$ , which joins the two horizontal edges into one boundary component. For the Klein bottle the vertical identification is $(0, y) \sim (1, y)$ and the horizontal identification is $(x, 0) \sim (1 - x, 1)$ , so the quotient has no boundary and is nonorientable. The diagram specifies only these surface quotients; the residue derivation above uses the cited amplitude formulas and does not rely on the drawing.

Type I O9-D9 RR Tadpole Cancellation

Statement

Statement references

Facts & Assumptions

Proof

Remarks

Depends on

Dependency tree · 2 levels

Sources