Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 49 (String Theory)

Use Minkowski spacetime signature $(-,+,+,+)$ and a closed spatial parameter of period $2\pi$. Choose the future-directed branch with positive lapse $e$.

Canonical dynamics and gauge freedom. Variation of momentum and embedding in the Nambu-Goto phase-space action givesThe Lagrange multipliers impose the Nambu–Goto phase-space constraints $P^2+T^2{X}^{\prime 2}=0$ and $P\cdot X^{\prime }=0$. These two first-class constraints reflect freedom to relabel time and space on the same string worldsheet. The canonical Hamiltonian is a linear combination of constraints, with arbitrary multiplier functions. These functions specify a coordinate description rather than additional propagating fields. No explicit gauge transformation or Poisson-bracket calculation is required.

Eliminating auxiliary variables. Let $V=\dot{X}-u{X}^{\prime }$. Eliminating momentum using $P=V/e$ leavesOn a patch with spacelike spatial tangent, variation of $u$ gives $V\cdot X^{\prime }=0$, hence $u=(\dot{X}\cdot X^{\prime })/X^{\prime 2}$. For the induced worldsheet metric $g_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$, this gives $V^2=\det g/X^{\prime 2}$. Variation of $e$ then gives $e=\sqrt{-\det g}/(T{X}^{\prime 2})$ on the positive branch. Substitution yieldsThis is minus string tension times Lorentzian worldsheet area. Vary the area using $\delta \sqrt{-g}=\frac{1}{2}\sqrt{-g}{g}^{ab}\delta g_{ab}$ and integrate by parts. The Nambu–Goto equations of motion areThe auxiliary-variable elimination and this metric form apply on nondegenerate timelike patches.

Circular motion, length and energy. For the circular embedding, direct differentiation givesAway from collapse, $\sqrt{-g}{g}^{ab}=\mathrm{diag}(-1,1)$, so the equations become ${\ddot{X}}^m-X^{\prime \prime m}=0$. The time and out-of-plane coordinates satisfy them immediately. For $Z=X^1+i{X}^2$, both $\ddot{Z}$ and $Z^{\prime \prime }$ are $-Z$. The relations $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$ verify the Virasoro constraints. Equivalently, $e=1/T$, $u=0$, $P=T\dot{X}$ solve the phase-space equations and constraints at all times.

The ring stays in a fixed plane, with radius $R|\cos t|$. It contracts to a point and re-expands. Each labeled point moves radially with speed $|\sin t|$ in target time $X^0=Rt$. The geometric ring repeats after target-time interval $\pi R$, although the labels have then shifted by half a circumference. It is not rigidly rotating. Velocity is perpendicular to the tangent, so simultaneous spatial arclength is also the local proper length along the string. Its length and conserved energy areAway from collapse, the same energy follows from $T\int dl/\sqrt{1-v^2}$. Increasing kinetic energy compensates the shrinking length. At collapse the induced metric degenerates; the area-form equation alone is undefined there. The regular phase-space solution supplies the continuation and the limiting constant energy. This is a pulsating circular string.

Endpoint variation. For an open string, integration by parts produces the boundary termIts coefficient is the open-string endpoint momentum flux. Evaluate this ungauge-fixed variation in a boundary-adapted temporal gauge for a string $X^0=t$. Then $X^{\prime 0}=0$ and the time equation gives $P^0=1/e\ne 0$. The free variation of time forces $u{P}_0=0$, hence $u=0$ at each end. Since $e$ is nonzero, the remaining spatial term requiresFree variation in every spatial direction gives ${\vec{X}}^{\prime }=0$, and together with $X^{\prime 0}=0$ gives the free-end string boundary condition $X^{\prime m}=0$. The general starting condition is the flux condition; the shift term should not be silently discarded before choosing the gauge.

Target-space charges. The Noether charges for translations and Lorentz transformations are the target-space Noether charges of a stringWriting $F_m=e{T}^2{X}_m^{\prime }+u{P}_m$, the canonical equations implyFor the second identity, antisymmetry cancels the $e{P}_m{P}_n$ terms. Integration by parts then cancels the $u{X}^{\prime }P$ terms and the symmetric $e{T}^2{X}_m^{\prime }{X}_n^{\prime }$ terms. For free ends $F_m=0$ individually, so both charges are constant. In conformal gauge, the same result follows from $u=0$ and $X^{\prime m}=0$. Target-space energy is $-{\mathcal{P}}_0$.

Other possibilities fix selected spatial directions by Dirichlet boundary conditions, while leaving Neumann boundary conditions in the permitted tangent directions. These mixed conditions describe endpoints on a D-brane; the two ends can lie on different branes. Time stays free under the given assumption. Fixed supports may absorb momentum in their Dirichlet directions and break corresponding translations or Lorentz symmetries. More general force-law conditions require an additional boundary interaction.

Solving the massive subsidiary conditions. In light-cone coordinates, use $d{s}^2=-2d{X}^{+}d{X}^{-}+{\delta }_{IJ}d{X}^{I}d{X}^J$ and write $d=D-2$. The divergence condition readsThus, when ${\partial }_{-}$ is invertible,First apply this with $n=-$, then with $n=I$, and finally with $n=+$; symmetry supplies the mixed components already determined. The trace condition becomesThe independent components are $h_{--}$, $h_{-I}$ and the trace-free part of $h_{IJ}$. Under transverse rotations they form a scalar representation, a vector representation, and a symmetric traceless rank-two tensor. ThereforeThis is the light-cone decomposition of a massive spin-two field for $D\ge 3$. In $D=2$, the trace and divergence give $h_{+-}=h_{++}=0$ and ${\partial }_{+}{h}_{--}=0$. The massive wave equation then forces $h_{--}=0$, so there are no polarizations, consistent with the zero value of the printed count. The massive particle little group is $SO(D-1)=SO(d+1)$, and its symmetric traceless square branches asThe mixed components with the extra direction give the vector; one independent trace combination gives the scalar. These are exactly the polarizations of a massive spin-two field. The remaining independent components retain the massive Klein-Gordon equation.

Transverse bosonic modes and mass levels. The variables ${\alpha }_k^I$ are Fourier amplitudes of the physical transverse open-string mode expansion. Classically, reality requires ${\alpha }_{-k}^I=({\alpha }_k^I{)}^{\ast }$. The symplectic term in the action fixes their quantum commutators:With string tension convention ${\alpha }^{\prime }=(2\pi T{)}^{-1}$, the zero mode of the constraint givesThe longitudinal nonzero modes have already been removed in light-cone gauge in string theory. Quantum normal ordering introduces the string intercept $a$, giving the open bosonic string mass spectrumEach bosonic occupation number is a nonnegative integer, so $N$ is a nonnegative integer weighted by oscillator frequency.

Suppressing the common momentum label, the lowest light-cone levels of an open bosonic string areThe oscillator vacuum is annihilated by every positive ${\alpha }_k^I$. At level one there are only $d$ vector polarizations. For a Lorentz-consistent vector, these are the transverse polarizations of a massless particle, transforming under the rotation part of its massless particle little group. A massive vector would need $D-1$ polarizations, including a scalar under $SO(d)$ that is absent here. Thus the first bosonic vector level must be massless, fixing $a=1$.

At level two the commuting creation operators give a symmetric square. Its scalar trace and symmetric traceless square, together with the mode-two vector, are the massive-spin-two decomposition above. In the consistent bosonic theory they form one massive spin-two field with $m^2=1/{\alpha }^{\prime }$. The covariant equations describe its propagation while eliminating the redundant components. For $D=26$ the transverse counts are $300+24=324$, the symmetric traceless rank-two tensor dimension of $SO(25)$.

Half-integer fermionic modes. The Neveu–Schwarz sector has antiperiodic worldsheet Majorana fermions. Its Neveu–Schwarz fermionic oscillators obeyThe oscillator vacuum satisfies ${\alpha }_k^I|0;p⟩=0$ for $k>0$ and $b_r^I|0;p⟩=0$ for $r>0$. A negative fermion mode is a fermionic creation operator for a transverse worldsheet excitation. The Neveu–Schwarz level operator and mass condition areThe smallest positive frequency is $1/2$, so the only first-excited states areThe same vector-polarization argument requires them to be massless in Lorentz-consistent quantization, fixing $a_{\mathrm{NS}}=1/2$.

At $N=1$, ${\alpha }_{-1}^I|0;p⟩$ is a vector, while $b_{-1/2}^I{b}_{-1/2}^J|0;p⟩$ is the exterior square: interchanging the indices changes the sign and equal indices give zero. Together they branch from an antisymmetric tensor:Thus the Neveu–Schwarz level-one massive tensor has $(D-1)(D-2)/2$ polarizations and mass squared $1/(2{\alpha }^{\prime })$. It differs from spin two because the two-fermion tensor is antisymmetric and has neither the symmetric trace-free representation nor its scalar trace. At $D=10$, the count is $8+28=36$, compared with $44$ for a massive spin-two field. The specified states are before the GSO projection; the usual tachyon-removing GSO projection also removes this integer level.

Independent metric and Hamiltonian parametrization. The Lorentzian Polyakov action isThe worldsheet metric is independent of the embedding. Its equation sets the traceless worldsheet stress tensor to zero, making the metric locally conformal to the induced worldsheet metric; substitution recovers the Nambu–Goto action. Eliminating momentum in the Nambu-Goto phase-space action instead gives $(\dot{X}-u{X}^{\prime }{)}^2/(2e)-e{T}^2{X}^{\prime 2}/2$. On the positive-lapse branch, choose the independent metric, up to a positive Weyl transformation, asIts determinant is $-e^2{T}^2$. Multiplication by $-T/2$ recovers the reduced density, including the mixed term $-u\dot{X}\cdot X^{\prime }/e$. This proves the phase-space identification of the Polyakov metric.

Conformal gauge and residual coordinate freedom. In the Hamiltonian formulation, conformal gauge is $e=1/T,u=0$. The equations become $\ddot{X}-X^{\prime \prime }=0$, while ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$ remain as constraints. In the metric formulation, conformal gauge is ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$, or simply ${\eta }_{ab}$ after fixing Weyl invariance. The metric parametrization proves these choices equivalent. Gauge-fixing the metric does not discard the Virasoro constraints.

With ${\sigma }^{\pm }=t\pm \sigma$, independent reparameterizations ${\sigma }^{\pm }\mapsto f_{\pm }({\sigma }^{\pm })$ multiply the flat metric by a conformal factor. A compensating Weyl transformation restores its chosen representative. Infinitesimally the Conformal Killing equation is ${\partial }_{-}{c}^{+}=0,{\partial }_{+}{c}^{-}=0$. These are the residual conformal transformations of two-dimensional Minkowski spacetime, with the periodicity conditions appropriate to a closed string.

Ghost determinant and anomaly. For gauge conditions $G_A(\varphi )=0$, the Faddeev-Popov determinant is the determinant of the linearized variationInsert this determinant in the gauge-fixed path integral and exponentiate it with anticommuting ghosts and antighosts: the additional action is proportional to $\int b^A{M}_{AB}{c}^B$. In metric gauge fixing, the trace is removed by Weyl invariance, and a worldsheet diffeomorphism changes the trace-free metric throughConsequently $c^a$ is a vector ghost and $b^{ab}$ a symmetric trace-free antighost. A conventional normalization of the worldsheet ghost action isA rescaling of the antighost changes only this overall kinetic normalization. In conformal gauge, after normalizing the chiral fields, the kinetic terms areThe closed-string ghosts are periodic, with independent left and right systems. Their conformal weights are $2$ for $b$ and $-1$ for $c$, so the supplied bc ghost system expression gives $c_{\mathrm{gh}}=-2(6\cdot 2^2-6\cdot 2+1)=-26$. Each free embedding boson has central charge one per chirality. HenceThis central charge of reparameterization ghosts cancels the string conformal anomaly in each chirality separately. Having two sectors does not double the required target dimension.

Channel variables, poles and the vector state. With particles 1,2 incoming and 3,4 outgoing, the Mandelstam variables are $s=-(p_1+p_2{)}^2$ and $t=-(p_1-p_3{)}^2$. They measure squared center-of-mass energy and momentum transfer. In the specified units ${\alpha }^{\prime }=1$, the external tachyon mass squared is $-1$, so $s+t+u=-4$.

The Gamma function residue at $-n$ is $(-1{)}^n/n!$. At $s=n-1$, its argument $-1-s$ varies with the opposite sign to $s$. The Gamma function recurrence givesThus the Veneziano amplitude pole residues areFor generic fixed $t$ the simple poles are $-1,0,1,\dots$. A zero of the residue product at an exceptional negative integer $t$ makes the corresponding pole removable. Fixed $t$ must be away from its own channel poles; fixing it at a channel singularity does not give an ordinary finite meromorphic function of $s$.

At $s=0$, the residue is $-(t+2)=-(t-u)/2$. This is proportional to $(p_1-p_2)\cdot (p_3-p_4)$, the contraction of conserved scalar-pair vector currents. Each current is orthogonal to the exchanged momentum because the external masses in its pair are equal. Alternatively, with scattering-angle cosine $z$, one has $t=-2(s/4+1)(1-z)$; at this pole $t+2=2z$, a pure spin-one angular dependence. ThereforeThe massless vector pole of the Veneziano amplitude is the massless open-string vector seen in the two-tachyon exchange channel.

The old covariant quantization of a free-ended bosonic string retains oscillators in all target directions. In mostly-plus Minkowski spacetime, set ${\alpha }_0^m=\sqrt{2{\alpha }^{\prime }}{p}^m$ andTime-coordinate excitations have negative norms in this covariant Fock space. The string ghost states in this discussion are unwanted negative-norm physical states, distinct from the anticommuting Faddeev-Popov ghost fields in the path integral. Constraints and the null-state quotient of a string remove unphysical polarizations while maintaining target-space Lorentz covariance.

Why only positive-mode constraints annihilate states. The quantum Virasoro algebra isThe physical conditions arewhere $a$ is the string intercept. If both positive and negative modes annihilated states, $[L_1,L_{-1}]=2L_0$ would force $a=0$. Then $[L_2,L_{-2}]=4L_0+D/2$ would force $D=0$. Thus the Virasoro central extension and shifted zero mode prevent imposing every classical constraint strongly in a nontrivial string. As in Gupta-Bleuler quantization, negative-mode conditions act on physical bras, rather than also annihilating physical kets. Physical null string states are quotiented because their inner products with all physical states vanish.

The intercept bound at level one. For $|ϵ;p⟩={ϵ}_m{\alpha }_{-1}^m|p⟩$, the constraints and norm areIf $a>1$, momentum is spacelike and its orthogonal complement contains a timelike negative-norm polarization. The level-one intercept bound in covariant string quantization is thereforeFor $a<1$, momentum is timelike and the $D-1$ orthogonal polarizations are positive. This avoids level-one ghosts but gives a massive vector with one more polarization than the transverse light-cone gauge in string theory spectrum. Ghost absence alone is weaker than equivalence.

For $a=1$, momentum is null. Its orthogonal complement contains $D-2$ positive directions and the null direction $p$. The state $p\cdot {\alpha }_{-1}|p⟩$, proportional to $L_{-1}|p⟩$, is physical, spurious and null. Removing it givesThe quotient has exactly the $D-2$ massless transverse vector polarizations. Thus equivalence at level one selects $a=1$ and the null-state quotient of a string, not just the inequality.

Level two and the dimension. Set $a=1$. At level two, $p^2=-1/{\alpha }^{\prime }$ and $k=\sqrt{2{\alpha }^{\prime }}p$ has $k^2=-2$. A general state isUsing $[L_m,{\alpha }_n^a]=-n{\alpha }_{m+n}^a$, the nontrivial positive-mode conditions areThere are $D-1$ vector null string states $L_{-1}(v\cdot {\alpha }_{-1}|p⟩)$ with $k\cdot v=0$. The parent has $L_0=0$, so the descendant norm is zero. Quotienting these leaves the massive symmetric traceless rank-two tensor plus one additional scalar.

The level-two scalar in covariant string quantization can be chosen, for every $D$, asOn its three displayed structures, $L_1$ gives respectively $2,-4,2$ times $k\cdot {\alpha }_{-1}|p⟩$, and $L_2$ gives $D,-2,-4$ times the vacuum. The coefficients make both combinations vanish. The first two structures have norms $2D,8$ and cross inner product $-4$; the mode-two structure has norm $-4$ and is orthogonal to them. For $B=(D+4)/10$, $C=(D-1)/5$, this yieldsAbove 26 this is a physical negative-norm string state. Below 26 it is an extra positive-norm scalar, which cannot be discarded just to force the ordinary light-cone state count. At 26 it becomes null and can be removed. Thus level-two ghost absence gives $D\le 26$, whereas equivalence to the ordinary transverse spectrum requires $D=26$.

The critical scalar is also a Virasoro descendant. For $L_0|p⟩=-|p⟩$, the level-two scalar Virasoro null state candidateobeysAt $D=26$ it is physical and null, with $|S_{26}⟩=2|Z⟩$. At other dimensions it is not physical, so its norm must not be treated as a physical ghost test; the already-physical $|S_D⟩$ gives the correct test.

Finally, the covariant level-two oscillator space has dimension $D(D+3)/2$. The $D$ conditions from $L_1$ and one from $L_2$ leave $(D-1)(D+2)/2$ physical components. Quotienting $D-1$ vector null states and the critical scalar null state leavesthe massive spin-two field count and the level-two light-cone gauge in string theory count. The vector null descendants change the components of $\zeta$ orthogonal to $k$, and the critical scalar null descendant changes its component along $k$. Thus $\zeta$ can be set to zero. A representative then has $\zeta =0$, $k^m{ϵ}_{mn}=0$ and ${ϵ}^m{}_m=0$. The two approaches consequently agree on the massless level-one vector and massive level-two spin-two tensor for $a=1,D=26$.