Consider the closed bosonic string on a rectangular product of spatial circles with no background mixing between them. Let have period , take , and choose to be the tilded oscillator sector. Closed-string topology permits
Single-valued center-of-mass wavefunctions give quantized momentum , . These are the momentum and winding modes. The oscillator modes remain integer moded; the zero modes are split as
The two intercept-one Virasoro constraints, with noncompact , give
Thus the mass formula and compact-circle closed-string level matching condition are
Here labels right movers and left movers; exchanging the labels changes the displayed sign convention, not the spectrum. Noncompact oscillator polarizations are still restricted by positive-mode Virasoro conditions and null-state identifications. T-duality exchanges and , preserving masses and the physical state conditions.
At generic radius, neutral states with one noncompact oscillator and one compact oscillator give two massless vectors per circle. They are the two Abelian gauge fields associated with the compact metric and two-form components. Additional charged vectors can occur at oscillator level sum one. For one circle, set all other compact charges to zero. Take and , with a right-moving noncompact oscillator ; or take and , with a left-moving noncompact oscillator . These obey level matching. Their common squared mass is
Therefore four extra charged vector particles become massless at , the self-dual circle. Away from that radius they are massive. They are genuine vector states: the noncompact level-one oscillator carries a vector polarization, and the Virasoro constraint plus its null identification impose transversality and remove the gauge polarization at zero mass.
The resulting self-dual circle current algebra makes the gauge enhancement explicit. At the special radius, the left-moving charges above have , . With , the currents
have conformal weight one. The operator products give , and . They form a level-one SU(2) current algebra; the right-moving copy supplies another SU(2). Pairing each chiral current with the opposite-sector noncompact derivative yields a weight- vector vertex. Thus the generic becomes , with four charged generators in addition to the two Cartan vectors. Several self-dual circles give the corresponding product enhancement.
Compactification also creates scalar states and moduli; not every additional massless state is a vector. The mechanism just shown uses the intercept-one bosonic spectrum. A superstring projection changes the allowed oscillator states, so the same mass formula cannot simply be applied to a GSO-projected superstring without modification.
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.