Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-05 (gpt-6.1-sol)
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

Physical scope

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 zw=q and a specified nondegenerate state pairing. In a closed bosonic channel, let L0m,Lˉ0m denote matter conformal weights and fix intercepts a,aˉ (equal to 1 in the critical bosonic convention). Define the local collar contribution for a state pair by d2q∣q∣2 qL0m−aqˉLˉ0m−aˉ,d2q=d(Re⁡q)d(Im⁡q), with a branch of log⁡q fixed on the collar chart. For an open channel use a real plumbing parameter 0<q<ϵ and dq/q qL0m−a. 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 t=−log⁡∣q∣; this is the logarithmic long-tube coordinate. For an RNS sector, the chosen state/picture convention must supply its own L0 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.

zw=qcomponentLcomponentRzw

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.

Facts & Assumptions

Given: A single node neighborhood, the plumbing coordinate and its branch, a declared matter L0 and intercept, the complete sector/pairing when a state sum is used, and the local amplitude form.

[F1]

Plumbing family for punctured Riemann surfaces: near the node, the local analytic family is zw=q; its geometric parameter is q, while powers/logarithms require a separately declared branch.

[F2]

Local punctured-moduli perturbative amplitude form is chartwise and requires the correlator, vertex, ghost, and gauge-fixing inputs to be declared.

[F3]

String vertex datum and covariant insertion fixes the local conformal weights of the state insertions.

Proof

1.1givenF1algebra

The cylinder coordinate is t=−log⁡r for q=reiθ, so r=e−t and dr/r=−dt. Writing qΔqˉΔˉ=rΔ+Δˉeiθ(Δ−Δˉ), where Δ=L0m−a and Δˉ=Lˉ0m−aˉ, the positive collar measure becomes dt dθ e−t(Δ+Δˉ)eiθ(Δ−Δˉ) with bounds reversed from r∈(0,ϵ) to t∈(−log⁡ϵ,∞).

2.1givenF1F2F3step 1.1algebra∎

Write d=Δ−Δˉ. On the angular branch 0≤θ<2π, the angular integral is 2π if d=0, and (e2πid−1)/(id) if d≠0. Thus it projects onto the level-matched sector d=0 only when every state's shifted spin difference d 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 d=1/2 gives 4i. In the integer-spin case the surviving long-cylinder factor is e−t(Δ+Δˉ). For an open real collar the same substitution gives dq/q=−dt, so its factor is dt e−t(L0m−a). The state sum, analytic continuation, and Feynman +i0 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 L0m=Lˉ0m=1 with a=aˉ=1, so the radial collar measure is d2q/∣q∣2; convergence then depends on the state coefficient and regulator.

Depends on

Dependency tree · 2 levels

Sources