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.
String channel propagator on a plumbing collar
Local closed or open channel factor on one plumbing collar with declared matter Virasoro/intercept convention; no complete propagator sum or global compactification is asserted.
Definition
Use the CFT plumbing relation and a specified nondegenerate state pairing. In a closed bosonic channel, let denote matter conformal weights and fix intercepts (equal to in the critical bosonic convention). Define the local collar contribution for a state pair by with a branch of fixed on the collar chart. For an open channel use a real plumbing parameter and . The full local channel is the state-pairing sum of these terms only when that sum is declared complete and converges as required by the chosen sewing input. Set ; this is the logarithmic long-tube coordinate. For an RNS sector, the chosen state/picture convention must supply its own and intercept; the bosonic value is not silently reused.
The following schematic records only the two local coordinate disks and their collar identification; it does not depict or assert a global compactified moduli space.
The circles indicate punctured components with small coordinate disks removed; the double arrow labels the annular collar identification from Plumbing family for punctured Riemann surfaces. No amplitude proof below relies on this schematic.
Definition references
Facts & Assumptions
Given: A single node neighborhood, the plumbing coordinate and its branch, a declared matter and intercept, the complete sector/pairing when a state sum is used, and the local amplitude form.
Plumbing family for punctured Riemann surfaces: near the node, the local analytic family is ; its geometric parameter is , while powers/logarithms require a separately declared branch.
Local punctured-moduli perturbative amplitude form is chartwise and requires the correlator, vertex, ghost, and gauge-fixing inputs to be declared.
String vertex datum and covariant insertion fixes the local conformal weights of the state insertions.
Proof
The cylinder coordinate is for , so and . Writing , where and , the positive collar measure becomes with bounds reversed from to .
Write . On the angular branch , the angular integral is if , and if . Thus it projects onto the level-matched sector only when every state's shifted spin difference is an integer, as required for a single-valued closed-channel factor. On a general branched channel allowed by the Definition no such projection is asserted; for example gives . In the integer-spin case the surviving long-cylinder factor is . For an open real collar the same substitution gives , so its factor is . The state sum, analytic continuation, and Feynman prescription remain instance-specific inputs, not consequences of this coordinate change.
Remarks
The CFT plumbing carrier is draft, and its global analytic sewing consequences are not used as established facts here. In the bosonic massless channel with , so the radial collar measure is ; convergence then depends on the state coefficient and regulator.