Let be the compact coordinate, identified modulo . The closed string may wrap the circle:
Single-valued momentum eigenfunctions require , . These are the momentum and winding modes. Write the chiral zero-mode momenta as
The left-moving string oscillators will be tilded: , . This fixes the sign in compact-circle closed-string level matching.
Define the lower-dimensional mass by . The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, are
Their average and difference derive the complete free bosonic string mass spectrum on the circle:
The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.
At large , the momentum and winding modes with have closely spaced momentum energies , whereas nonzero winding costs . At small their roles reverse. The precise equality is T-duality:
It leaves unchanged and reverses , and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of . Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.
At a generic radius, the neutral level contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of .
Consider instead the following charged states:
Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass is
Thus four additional charged massless spin-one particles appear at
For the charges have , ; for they have , . This identifies the two pairs of charged roots.
The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies . The self-dual circle current algebra has currents
The exponentials have conformal weight . Free-boson contractions give the operator product expansions
They form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators and give the six massless vectors. Consequently
Changing gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.
For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At , closed-string level matching requires ; the mass equation then gives the four charges . These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has . The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.
Use target-space signature and conformal gauge . Dots and primes denote differentiation with respect to and . Varying the Polyakov action with respect to the string embedding map gives the wave equation; varying the worldsheet metric sets the worldsheet stress tensor to zero. Explicitly,
With and , the two Virasoro constraints are .
A fixed spatial circle would sweep out a cylindrical string worldsheet. In static coordinates its string embedding map is and its induced worldsheet metric is . The radial part of the Nambu–Goto equations of motion is proportional to , which is nonzero. Thus a nonzero-radius cylinder cannot solve the equations. Motion of labels around this same cylinder is a worldsheet diffeomorphism and cannot alter this conclusion.
The familiar pulsating circular string makes the obstruction particularly explicit. Put and . The wave equation and Virasoro constraints reduce to
A constant violates the first equation. Even rotating the labels, , cannot help: the wave equation requires , whereas requires .
Nor does a rigid rotation of the circular plane rescue the usual circular ansatz in three spatial dimensions. Write its spatial part as , with and . The wave equation gives and . The constant norms give and . The mixed Virasoro constraint, together with the derivative of , gives . Differentiating twice gives . This would require four mutually orthogonal nonzero spatial vectors in . This obstruction is specific to the stated spatial dimension; a rigid circular string in four spatial dimensions has more room.
To express the Virasoro constraints in modes, extend the string oscillators by
Differentiating the two chiral expansions gives and the corresponding expression with tildes for . Equating every Fourier coefficient of their squares to zero yields
Reality of the string embedding map means and . In particular, define the classical string level operators by and . The zero-mode Virasoro constraints become
Consequently the classical bosonic string mass spectrum is
The equality of the two levels is closed-string level matching. There is no string intercept here: that shift comes from quantum normal ordering, not from these classical equations.
For the compact boson, closed-string periodicity permits a winding number , so . Let be the momentum in this direction. Its zero-mode expansion and the corresponding chiral momenta are
Thus replace the equal left and right zero modes by and ; the nonzero string oscillators remain integer-moded. Classically is continuous. Quantizing the compact boson makes momentum wavefunctions single-valued around its circle, giving with .
If , , is the noncompact momentum and , the two zero-mode Virasoro constraints give
Averaging and subtracting gives the momentum and winding modes and compact-circle closed-string level matching formulas
The latter becomes on imposing quantum momentum quantization. The sign follows from assigning tildes to the left mover .
An explicit winding-supported circular string, valid classically for every , is
The noncompact projection is a circle of constant radius. Every coordinate obeys the wave equation. Its compact winding is , and a direct calculation gives
Thus both Virasoro constraints hold and the induced worldsheet metric is , not a degenerate cylinder. The compact motion cancels the mixed stress that spoiled rotation of labels in flat space. Here , and satisfy the classical compact-circle closed-string level matching condition. Requiring this particular classical momentum to equal an individual quantum eigenvalue would impose an additional radius-dependent condition; that is not required to construct the classical solution.
For a target circle of radius , maps may wind, so the boundary condition is
Single-valued target-space wavefunctions quantize the center-of-mass momentum as , with . The compact boson expansion becomes
Equivalently, its left- and right-moving zero-mode momenta are
The integers and are the momentum and winding modes.
For a compact boson , a closed spatial circuit of the worldsheet may wind around the target circle:
Single-valued target-space wavefunctions quantize the zero-mode momentum as , . In the convention
the Hamiltonian and worldsheet momentum become
The term is the zero-mode contribution to closed-string level matching.
At , a chiral compact boson has operator product expansion . The currents and have conformal weight one. Contractions give , and . These are the level-one SU(2) Lie algebra currents. The right-moving copy supplies a second factor. Combining a current with a noncompact coordinate derivative gives a massless string vertex operator for each of the six vectors; four are additional to the generic two Cartan vectors.