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
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 with target circle , , on the Lorentzian cylinder , with dimensionless coordinates . The compact center-of-mass coordinate is . With , take its Hilbert space to be and its momentum operator to be on the periodic Sobolev domain . The normalized Fourier functions , , satisfy ; thus the momentum eigenvalue is .
For a closed-string map , define its winding number by lifting to and requiring . Choose a real representative of . The zero-mode lift is
where has dimension length squared. This profile has center-of-mass momentum and winding .
Use the mode convention of the supplied closed-string expansion: modes multiply the (right-moving) coordinate and modes multiply the (left-moving) coordinate. Thus and . In the selected free compact-boson quantum sector, adopt the oscillator algebra , , and , with and annihilating the vacuum for every . To specify the Hilbert-space and adjoint data, put and , and let be the set of finite-support nonnegative integer occupation sequences, and let . Define This inner product is antilinear in the first argument. Write for the coordinate unit vectors, and for their finite linear span. These vectors are an orthonormal basis by the definition of ; the Hilbert space is their completion. Identify , with the momentum wavefunction and winding label already specified. Thus different momentum or winding sectors are orthogonal and every oscillator vacuum has norm one.
Let be the occupation sequence with entry one at and zero elsewhere. On define the nonzero modes by A lowering expression is zero when its indicated occupation is zero. Take their maximal closed extensions in . For each fixed , both right-moving operators have domain and both left-moving operators have the corresponding domain with . The creation-domain condition with , or , is equivalent because and is fixed. On these domains their Hilbert adjoints satisfy and . The zero modes act diagonally by the real eigenvalues displayed above, with their maximal square-summability domains. The space 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 , define the normalized occupation state
Here is the zero-mode state with center-of-mass wavefunction and winding sector . Thus is a left-moving creation mode and a right-moving creation mode. Define the compact-coordinate oscillator grades and . If a fixed spectator sector is included, let its prescribed nonnegative grades be and put and ; for the compact boson alone take both spectator grades to be zero. The conformal-weight labels in this selected free sector are and . Their difference is , so level matching is 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.
Definition references
Facts & Assumptions
Given: The flat tensile string conventions, , a compact coordinate of period , and the momentum Hilbert space and winding sectors defined above.
Flat Bosonic String Model: the closed worldsheet is a Lorentzian cylinder with dimensionless and -periodic , and has length dimension.
String Tension Alpha Prime: has length-squared dimension and is positive.
Closed Classical Mode Expansion: in the / convention, a noncompact zero mode has ; its mode expansion fixes the right-moving and left-moving names used here. The compact coordinate quantization and its oscillator labels are the free-circle data defined in this item.
Verification
The periodic wavefunction satisfies . Choose a lift of its center-of-mass coordinate. The zero-mode profile has the stated momentum and winding: its derivative is , and its increment under is . Writing gives and , so it reproduces that profile. At , [F3] gives , fixing the zero-mode normalization used in and .
Put and . Then and , so . Subtracting the defined weights gives ; hence the displayed level-matching condition is exactly .
For fixed , applying the two right-moving mode formulas in either order gives and , hence their commutator is ; 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 . 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 has coefficient , so the displayed normalized occupation state equals . 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.