Use Minkowski spacetime with signature , and write the string tension as . If is the string embedding map, its induced worldsheet metric is . The Nambu–Goto action is
The first variation uses and therefore gives
An integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:
For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.
Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that and . The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:
Here a dot and a prime mean and . The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.
For a free-ended open string, take and , and set
with the other coordinates constant. Every component satisfies the wave equation, and
Moreover at both endpoints, giving the Neumann boundary condition. At fixed target time , the spatial image is the straight segment
Thus its angular velocity is . The speed at coordinate is , so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.
In these coordinates . The target-space Noether charges of a string give the energy, momentum and angular momentum:
Since this is the centre-of-momentum frame, the rest mass is . Eliminating proves the free-ended straight-string Regge relation:
A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.
There is also a folded closed string version: use the same formula over . The spatial segment is then covered twice, with folds at , and the closed-string mode expansion is periodic. Each charge is twice its open string value, so
The folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.
Take . Variation of the conformal-gauge action, with periodic variations, gives . Hence . In an uncompactified direction, periodicity allows equal linear slopes and independent periodic parts. Expanding the periodic parts in a Fourier series yields the closed-string mode expansion
Here labels the right-moving sector and the left-moving sector; exchanging the names is harmless if done consistently. Integration of the canonical momentum density over the string gives , fixing the zero-mode coefficient. Reality gives and the analogous relation for tildes, with .
The closed-string physical-state Virasoro conditions are
where and . Thus closed-string level matching gives , and . The massless level is . Its general state is
The string oscillator commutators give : the two terms obtained by commuting through the quadratic generator coincide and cancel its factor . Therefore replaces by , while produces positive string oscillators that annihilate this level. The same holds independently for tildes. The complete polarization conditions are
Null string states identify with , with transverse . At nonzero momentum this leaves physical polarizations. Their symmetric traceless, antisymmetric and transverse-trace parts are the graviton, Kalb–Ramond field and dilaton.
The original PDF's condition is inconsistent with calling the displayed excited states massless. It is the on-shell condition of the string oscillator vacuum as a physical tachyon. For the level-one state, that value would give , violating the physical conditions. The ket used as the basis for a massless excitation must instead carry the excitation's momentum ; by itself it is then not an on-shell physical vacuum state.
For the compact coordinate, , . Its momentum is , , since the centre-of-mass wavefunction is single-valued on the circle. Thus its zero modes become
with
These are momentum and winding modes. Let be the 25-dimensional noncompact momentum and . The two zero-mode constraints now give
Their difference and average give, respectively,
This also displays T-duality , , with one chiral momentum reversed.
At a generic radius, the massless solutions are only , . Their fields in 25 dimensions are a graviton (275 polarizations), antisymmetric two-form (253), dilaton (one), two abelian vectors from and (23 each), and the radius scalar (one). Hence the generic massless spectrum has polarizations, with gauge group . Here generic excludes isolated radii where exceptional massless ground states of a bosonic circle occur. Indeed forces , and becomes massless at or . These additional thresholds matter in the bosonic theory.
At the self-dual circle , masslessness and level matching read
Since , their sum is at most two. For sum two, and level matching gives the ordinary family. For sum one the four possibilities are
They have one right-moving or one left-moving excitation, as their levels specify. Each family has 24 physical polarizations: a 25-dimensional vector with 23 polarizations and one compact-oscillator scalar. Thus these families add 96 states.
For sum zero, level matching forces , while the mass equation requires . It gives four additional scalar states with charges and , without any string oscillators. They must not be omitted. The massless spectrum at the bosonic self-dual circle therefore has 100 additional polarizations, 676 in total. The four new vector fields enhance the gauge group to . Including the original radius scalar, the nine non-dilaton scalars form its representation. Equivalently, the full count is .
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions are
Thus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansion
The oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , where
Here tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordingly
count 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrum
Taking their difference and average yields
Every choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts are
The first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeys
and equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur at
Each charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The map
sends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle has
The gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,
have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , so
The four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Use target-space signature and let a dot between target vectors denote contraction with the Minkowski metric. Varying the string embedding map in the Polyakov action, with periodic variations around the closed string, gives
Thus the embedding equation of motion is
The independent worldsheet metric variation uses . It sets the worldsheet stress tensor to zero:
In conformal gauge, , the Weyl factor cancels. Define worldsheet derivatives . The equations and Virasoro constraints reduce to
Equivalently, , and . The free wave equation permits independent periodic left- and right-moving fields.
Take and the uncompactified closed-string mode expansion
The Virasoro generators are the Fourier coefficients of the two quadratic worldsheet stress tensors. Their quantum expressions are
The canonical commutation relations are , with an identical tilded algebra and commuting chiral sectors. Normal ordering places annihilation modes to the right. It gives , where , and similarly on the other side. In old covariant string quantization, physical string states obey
modulo physical null string states. Negative generators are adjoint constraints on bras, not further annihilation conditions on the same ket. In critical bosonic string theory, and the string intercept is . These closed-string physical-state Virasoro conditions imply
Thus the massless first closed-string level has , and its general state is
To derive the polarization tensor constraints, the oscillator algebra gives . Applying to this state replaces by ; the independent tilded condition replaces the other oscillator by . All higher positive generators annihilate the state automatically. Therefore
There is no condition that the tensor trace vanish: each chiral side has only one oscillator, so neither nor imposes a trace condition. The null-state quotient of a string also identifies
For example, is a momentum-longitudinal state with zero inner product against every transverse physical polarization. This explains the string-state gauge redundancy, rather than merely counting covariant components. For an ordinary nonzero null momentum, choose a frame adapted to . The constraints remove one null direction in each index, and these null-state identifications remove the remaining longitudinal directions. The representatives are then , .
Decompose that transverse matrix into its symmetric trace-free part, antisymmetric part and trace. They describe the graviton, Kalb–Ramond field and dilaton, respectively. Their particle polarization counts are
These are representations of the rotational part of the massless little group. The dilaton corresponds to the transverse trace; a covariant scalar polarization can be written proportional to , with and . It is transverse in both indices and has trace 24. The nonzero-momentum assumption is appropriate for propagating particle states; zero momentum requires separate treatment of gauge and background zero modes.
In a general background, these fields replace the flat-space free action by the string nonlinear sigma model. A convenient Euclidean convention is
Here is the orientation density; reversing its convention changes the displayed sign of the two-form coupling. The metric tensor is , is the antisymmetric Kalb–Ramond field, and is the dilaton. Their worldsheet couplings reproduce the corresponding massless closed-string vertex operators when expanded about flat space. The Polyakov path integral integrates over embedding fields and metrics modulo worldsheet diffeomorphisms and Weyl transformations; gauge fixing supplies ghost determinants and moduli integrations. Quantum consistency of a general background additionally requires vanishing sigma-model beta functions, not just insertion of arbitrary backgrounds into a free theory.
Finally, separate the constant dilaton mode, . By the Gauss-Bonnet theorem, its action is
For a connected oriented surface of genus , its Euler characteristic is . Defining the string coupling by gives
Thus the string genus expansion is a topology sum with two extra powers of per handle. An amplitude with canonically normalized external closed-string vertices has the additional vertex normalization , so its overall factor is . The curvature term, rather than a guessed coupling inserted at each internal interaction, supplies this dependence directly from the functional integral.
Use the mostly-positive target Minkowski spacetime metric and a closed string coordinate . In conformal gauge, variation of the Polyakov action gives . The compact coordinate, denoted , can change by around the closed string, with . Write . Integrating the two chiral wave solutions and expanding their periodic parts gives the closed-string mode expansion
Reality imposes and the analogous condition in the other chirality. The classical compact momentum is continuous; quantization of a wavefunction on the circle subsequently gives with . The momentum and winding modes are most conveniently packaged as
For noncompact directions both zero modes are . Thus the formula includes both independent string oscillator families and all compact topological sectors.
Define the worldsheet stress-energy tensor by . Its normalization and components are
An overall rescaling of the named worldsheet stress tensor does not alter its vanishing. Variation of the independent worldsheet metric imposes , equivalently . These are the Virasoro constraints that restrict the otherwise general wave solution.
The conjugate momentum density is . The gauge-fixed Hamiltonian generating translation is therefore
with the analogous tilded generators. In particular, before imposing the Virasoro constraints,
The target momentum includes its timelike component, so this is not a positive particle-energy formula. On the classical constraint surface the reparameterization Hamiltonian vanishes; target energy is the separate charge . The difference imposes the residual spatial constraint.
In the quantum theory the same quadratic expressions require normal ordering: makes different orderings differ by divergent constants. Their regularized finite remainder is the normal-ordering constant of a string, or string intercept. The Virasoro central extension also appears. In the critical 26-dimensional bosonic string theory, the 24 transverse string oscillators give one-unit string intercept in each chirality. For example their regulated chiral vacuum energy is using zeta function regularization. The physical zero-mode constraints are .
Let be the mass seen in the remaining 25 noncompact dimensions. Substituting the compact zero modes in these two constraints gives
Taking their mean and difference yields
This sign of compact-circle closed-string level matching follows from assigning tildes to the left-moving sector. Under T-duality, set , , . Then and , so reversing the compact right-moving string oscillators implements the transformation while leaving unchanged. Both the mass equation and closed-string level matching are invariant. This proves invariance of the full closed string spectrum, including its string oscillator degeneracies, rather than only the zero-mode contribution.
A D-brane with spatial worldvolume directions, called a D-brane, is a -dimensional timelike submanifold on which open string endpoints have Neumann boundary conditions tangentially and Dirichlet boundary conditions transversely. Apply T-duality to the compact coordinate by . The differential relations
interchange the two endpoint conditions. Consequently a D-brane wrapping the original circle becomes a D-brane localized on the dual circle. Its compact Wilson line specifies that position. This is T-duality of D-brane boundary conditions.
The separated-brane configuration must instead have the circle transverse to the D-branes. Two parallel D-branes wrapping the same circle cannot be separated along that worldvolume direction. Thus the latter part describes a new orientation, with both endpoints subject to compact Dirichlet boundary conditions. If their positions differ by , an oriented Open string stretched between D-branes has displacement
On , its compact classical solution has a linear part , plus sine modes vanishing at the endpoints. This adds to the Virasoro generator zero mode. Thus, for momentum along the D-branes,
The second equation is the quantum rest-energy squared of the string oscillator ground state; the smallest one uses the shortest allowed compact separation . Classically the straight string energy is . The quantum ground state is a tachyon if , so in that regime it is an instability rather than a state with real rest energy. Dropping the string intercept would describe the classical stretched string, not its quantum ground state.
The transverse-circle T-duality changes these two D-branes to D-branes wrapping the dual circle. Their positions become the eigenvalues of a constant gauge connection. The Wilson loop phases are . A string connecting D-brane to D-brane has dual compact momentum
Its momentum contribution to is exactly the former stretching term, including every winding sector. Qualitatively the two geometrically coincident wrapped D-branes are distinguished by their Wilson lines, and their connecting strings have shifted momentum quantization. This is how brane separation becomes a Wilson line.
Use , transverse coordinates , , and the Minkowski metric
The relativistic particle phase-space action becomes
In the light cone gauge , solve the mass-shell condition for , assuming . The reduced phase-space action is , with
The last equality selects the future-directed momentum sector and makes positivity transparent. With and , the Schrödinger equation is
The inverse acts only on Fourier modes with nonzero . Multiplication by gives . Therefore
The light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.
For the massive two-form field, take . Apply to its field equation. Antisymmetry of makes , so
Expanding , the other divergence terms vanish by this condition, leaving . The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation is
Taking and , respectively, gives
The equation follows from these expressions: the two terms containing cancel and . Consequently and are independent, each satisfying the Klein-Gordon equation with mass . The number of independent particle polarizations is
This is the exterior square of the vector representation of the massive little group . In the analogous Proca equation, determines from and , leaving components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If , instead use the two-form gauge field symmetry : the light-cone gauge for a two-form removes , leaving transverse particle polarizations. The massive and massless counts are different.
In the closed-string mode expansion, are center-of-mass canonical variables, while are independent left- and right-moving transverse string oscillators. Their complex conjugates are . The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators are
Their quantum definitions use normal ordering. The symplectic terms in the phase-space action give
with all brackets between distinct sectors zero. The nonzero-index string oscillators obey and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum by
For , has . Hence
Starting with , a finite product with creation operators of mode has eigenvalue . The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces .
There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string , these are
At the massless first closed-string level, the states are
Their transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts , , and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes . Equivalently, regularized transverse zero-point energy gives , and Lorentz consistency fixes the critical dimension of the bosonic string .
It follows that the bosonic string mass spectrum is
The ground state has and is a tachyon; level one is massless; for the mass is . The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical .
A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector are
They have components and assemble into the symmetric traceless square of the massive little group vector space . The full closed-string level is . For two symmetric trace-free matrices , the map
is an equivariant map onto antisymmetric matrices. To verify surjectivity, take diagonal with distinct entries in positions and with only its symmetric entry nonzero. Their commutator gives the antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly particle polarizations and is described by the massive field equation with . At this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components and 276 components .
Insert the given closed-string mode expansion into the stress tensor and compare . Normal ordering gives
The inverse of the worldsheet Laplacian gives the free-field operator-product expansion
Hence
Extracting the Laurent modes by contour integration yields the string oscillator algebra
The vanishing of the worldsheet stress tensor becomes the Virasoro constraints
Since and the bosonic-string normal-ordering constant is , these zero-mode constraints are the target-space string mass-shell condition
Therefore
The positive-mode constraints further require
and null string states identify polarizations that differ by momentum-longitudinal terms. The symmetric trace-free, antisymmetric, and trace sectors of describe the graviton, Kalb–Ramond field, and dilaton, respectively.
Finally, the state–operator correspondence maps to
Adding its integrated massless closed-string vertex operator to the string nonlinear sigma model changes the background coupling by
Thus a Fourier mode is precisely a linearized deformation of the target-space metric. Its transversality, mass-shell condition, and polarization gauge redundancy are the worldsheet statements that the deformation is marginal and is defined up to a linearized spacetime diffeomorphism.
The Euler-Lagrange equation of the gauge-fixed Polyakov action is the two-dimensional wave equation
Its general solution is a sum of left- and right-moving functions. Periodicity in and a Fourier expansion give the closed-string mode expansion
The zero modes satisfy . Here and are the center-of-mass position and momentum, while the nonzero string oscillators describe shape excitations.