Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 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.

Compact Free String Circle Spectrum

Physical scope

Kinematic free closed-string compact-boson circle sector with a flat product worldsheet and target, no B-field, orbifold, interaction, defect, or backreaction; the graded free spectrum is defined, with no full CFT or interacting-string claim.

Definition

Fix a free closed-string coordinate X1 with target circle SR1:=R/(2πRZ), R>0, on the Lorentzian cylinder Σ=Rτ×(R/2πZ)σ, with dimensionless coordinates τ,σ. The compact center-of-mass coordinate is x0∈SR1. With ℏ=1, take its Hilbert space to be L2(SR1,dx0/(2πR)) and its momentum operator to be P=−i d/dx0 on the periodic Sobolev domain H1(SR1). The normalized Fourier functions ψn(x0)=einx0/R, n∈Z, satisfy Pψn=(n/R)ψn; thus the momentum eigenvalue is p=n/R.

For a C2 closed-string map X1:Σ→SR1, define its winding number w∈Z by lifting σ↦X1(τ,σ) to X~τ1:R→R and requiring X~τ1(σ+2π)−X~τ1(σ)=2πRw. Choose a real representative x~0∈R of x0∈SR1. The zero-mode lift is

X~01(τ,σ)=x~0+α′2pL(τ+σ)+α′2pR(τ−σ),pL:=nR+wRα′,pR:=nR−wRα′,

where α′>0 has dimension length squared. This profile has center-of-mass momentum n/R and winding w.

Use the mode convention of the supplied closed-string expansion: modes αm multiply the τ−σ (right-moving) coordinate and modes α~m multiply the τ+σ (left-moving) coordinate. Thus α0=α′/2 pR and α~0=α′/2 pL. In the selected free compact-boson quantum sector, adopt the oscillator algebra [αm,αn]=mδm+n,0, [α~m,α~n]=mδm+n,0, and [αm,α~n]=0, with αk and α~k annihilating the vacuum for every k≥1. To specify the Hilbert-space and adjoint data, put Z>0:={1,2,…} and N0:={0,1,2,…}, and let K:={r:Z>0→N0:{k:rk≠0} is finite} be the set of finite-support nonnegative integer occupation sequences, and let I=Z2×K×K. Define HR:=ℓ2(I),⟨c,d⟩=∑I∈IcI‾dI. This inner product is antilinear in the first argument. Write en,w;rL,rR for the coordinate unit vectors, and DR for their finite linear span. These vectors are an orthonormal basis by the definition of ℓ2; the Hilbert space is their completion. Identify ∣n,w⟩=en,w;0,0, with the momentum wavefunction ψn and winding label w already specified. Thus different momentum or winding sectors are orthogonal and every oscillator vacuum has norm one.

Let ek be the occupation sequence with entry one at k and zero elsewhere. On DR define the nonzero modes by α−ken,w;rL,rR=k(rR,k+1) en,w;rL,rR+ek,αken,w;rL,rR=krR,k en,w;rL,rR−ek,α~−ken,w;rL,rR=k(rL,k+1) en,w;rL+ek,rR,α~ken,w;rL,rR=krL,k en,w;rL−ek,rR,k≥1. A lowering expression is zero when its indicated occupation is zero. Take their maximal closed extensions in HR. For each fixed k, both right-moving operators have domain {c:∑IkrR,k∣cI∣2<∞} and both left-moving operators have the corresponding domain with rL,k. The creation-domain condition with k(rR,k+1), or k(rL,k+1), is equivalent because c∈ℓ2 and k is fixed. On these domains their Hilbert adjoints satisfy αk†=α−k and α~k†=α~−k. The zero modes act diagonally by the real eigenvalues displayed above, with their maximal square-summability domains. The space DR is a common invariant core for these oscillator modes. This is an explicit local Hilbert realization of the source's free spacelike oscillator convention, not an assertion about a BRST quotient or a full string Hilbert space. For finite-support sequences rL=(rL,k)k≥1,rR=(rR,k)k≥1∈K, define the normalized occupation state

∣n,w;rL,rR⟩:=∏k≥1(α~−k)rL,k(α−k)rR,kkrL,k+rR,krL,k!rR,k!∣n,w⟩.

Here ∣n,w⟩ is the zero-mode state with center-of-mass wavefunction ψn and winding sector w. Thus α~−k is a left-moving creation mode and α−k a right-moving creation mode. Define the compact-coordinate oscillator grades NL:=∑k≥1krL,k and NR:=∑k≥1krR,k. If a fixed spectator sector is included, let its prescribed nonnegative grades be Nsp,Nˉsp and put N:=NL+Nsp and Nˉ:=NR+Nˉsp; for the compact boson alone take both spectator grades to be zero. The conformal-weight labels in this selected free sector are h=α′pL2/4+N and hˉ=α′pR2/4+Nˉ. Their difference is h−hˉ=nw+N−Nˉ, so level matching is nw+N−Nˉ=0 when the chosen other sectors are included consistently. This is a definition of the kinematic free-circle graded spectrum; it does not assert BRST/GSO constraints, operator-product or cocycle equivalence, partition-function or sewing equivalence, or an interacting-worldsheet equivalence.

Facts & Assumptions

Given: The flat tensile string conventions, α′>0, a compact coordinate of period 2πR, and the momentum Hilbert space and winding sectors defined above.

[F1]

Flat Bosonic String Model: the closed worldsheet is a Lorentzian cylinder with dimensionless τ and 2π-periodic σ, and Xμ has length dimension.

[F2]

String Tension Alpha Prime: α′ has length-squared dimension and is positive.

[F3]

Closed Classical Mode Expansion: in the τ−σ/τ+σ convention, a noncompact zero mode has α0=α~0=α′/2 p; its mode expansion fixes the right-moving αm and left-moving α~m names used here. The compact coordinate quantization and its oscillator labels are the free-circle data defined in this item.

Verification

1.1givenF1F2F3algebra

The periodic wavefunction satisfies Pψn=−i∂x0einx0/R=(n/R)ψn. Choose a lift x~0∈R of its center-of-mass coordinate. The zero-mode profile X~01=x~0+α′(n/R)τ+wRσ has the stated momentum and winding: its τ derivative is α′n/R, and its increment under σ↦σ+2π is 2πwR. Writing X~01=(α′/2)pL(τ+σ)+(α′/2)pR(τ−σ)+x~0 gives pL+pR=2n/R and pL−pR=2wR/α′, so it reproduces that profile. At w=0, [F3] gives α0=α~0=α′/2 n/R, fixing the zero-mode normalization used in h and hˉ.

2.1givenstep 1.1algebra

Put a=n/R and b=wR/α′. Then pL=a+b and pR=a−b, so α′4(pL2−pR2)=α′4((a+b)2−(a−b)2)=α′ab=nw. Subtracting the defined weights gives h−hˉ=nw+N−Nˉ; hence the displayed level-matching condition is exactly h=hˉ.

3.1givenalgebra∎

For fixed k, applying the two right-moving mode formulas in either order gives αkα−keI=k(rR,k+1)eI and α−kαkeI=krR,keI, hence their commutator is kI; the left-moving calculation is identical, and modes on different occupation slots commute. The matrix elements of creation and annihilation are transposes and complex conjugates, so the adjoint identities hold on DR. Testing a Hilbert adjoint against each coordinate vector forces precisely these shifted coefficients; square summability of those coefficients is exactly the stated maximal domain. This proves the full Hilbert adjoint identities, and finite coordinate truncations converge in both norm and each mode graph norm, giving the asserted core. Repeated creation from en,w;0,0 has coefficient ∏kkrL,k+rR,krL,k!rR,k!, so the displayed normalized occupation state equals en,w;rL,rR. Its norm and mutual orthogonality are therefore exactly those of the defined coordinate basis.

Remarks

The oscillator grade is the free-sector grading variable; this carrier does not claim that the displayed labels alone impose BRST, GSO, or full physical-state constraints. The cited sources use different α/α~ labels for their chiral sectors; this definition follows the local τ−σ/τ+σ convention of Closed Classical Mode Expansion, so α is right-moving and α~ is left-moving. The zero-mode weights are unchanged by relabeling the two conventions.

Depends on

Dependency tree · 2 levels

Sources