Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 306 (String Theory)

Work away from $x=0$, where the inverse-square potential is singular. Variation of the phase-space action givesThe last equation is the constraint imposed by the Lagrange multiplier $e$. The canonical momentum conjugate to $t$ is $-E$, not $E$. Consequently the nonzero canonical Poisson brackets areIn particular,With the convention $\delta z=\alpha \{z,Q\}$, the Noether charge generating $\delta t=\alpha$ is $Q=-E$. Equivalently, the conserved physical energy is $E$; a convention that calls the energy the time-translation charge absorbs this minus sign into its parameter.

For the dilation charge,on the constraint surface. Its infinitesimal canonical transformations areFor constant $\alpha$, extending this by ${\delta }_{D}e=-\alpha e$ preserves the action: the kinetic terms are invariant and $E-H$ scales oppositely to $e$. Thus the dilation acts on time and position with their nonrelativistic relative scaling. Its Poisson bracket with the energy is

Put $C=E-H$. Direct variation of the Hamiltonian givessoThe supplied transformations are generated by the special conformal charge of inverse-square mechanicsChooseThen $\delta (eC)=0$ even for a time-dependent parameter. Expanding the kinetic-term variation, keeping the terms in $\dot{\beta }$, givesHenceFor a constant parameter only the boundary term remains, identifying $K$ as the Noether charge. Independently, the equations of motion giveUsing the same canonical Poisson bracket convention,Together, $\{D,E\}=-E$, $\{D,K\}=K$ and $\{E,K\}=2D$ form the sl2R Lie algebra of conformal mechanics. These are time translation, dilation and special conformal transformation. A useful normalization check is the Casimir elementon the constraint surface.

Define the open-string endpoint momentum flux along the open string by $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$. Variation of the Nambu-Goto phase-space action givesThe two last equations are the Virasoro constraints. Integration of the momentum equation givesThus the necessary and sufficient condition for total momentum conservation is equality of the two endpoint fluxes, component by component. Vanishing of both fluxes is a sufficient local boundary condition.

The spatial boundary term in the action variation is $-\int dt[J_m\delta X^m{]}_0^{\pi }$. For free ends the endpoint variations are arbitrary, soIn a gauge with $u=0$ and nonzero $e$ this reduces to the usual Neumann boundary condition $X^{\prime m}=0$. The conclusion is conservation of total momentum, not that total momentum must vanish. The PDF contains the derivative in this conclusion; the TeX transcription drops it.

For endpoints confined to $x^1=0$, the Dirichlet boundary condition fixes $\delta X^1=0$. It therefore imposes no requirement that $J_1$ vanish. Preserving the fixed position requires ${\dot{X}}^1=e{P}^1+u{X}^{\prime 1}=0$ at each endpoint, but that is a different condition. For example, in $u=0$ gauge the endpoint momentum $P^1$ is zero while $e{T}^2{X}^{\prime 1}$ can be nonzero. Consequently ${\mathcal{P}}_1$ is generally not conserved: the normal endpoint forces transfer momentum to the hyperplane. A dynamical D-brane recoils and carries the missing momentum. If the hyperplane is idealized as fixed, its external support absorbs the momentum. The combined string-and-support system conserves momentum; freely varying directions tangent to the hyperplane retain their vanishing-flux condition.

Use the mostly-plus Minkowski metric, with the last spatial coordinate singled out:Then $2d{x}^{+}d{x}^{-}=(d{x}^{D-1}{)}^2-(d{x}^0{)}^2$, as required. In these light-cone coordinates, ${\partial }^{+}={\partial }_{-}$, ${\partial }^{-}={\partial }_{+}$ and ${\square }_D=2{\partial }_{+}{\partial }_{-}+{\partial }_I{\partial }_I$.

Introduce the Kalb-Ramond field strengthThe field equation is ${\partial }^p{H}_{pmn}=0$. Under $\delta B_{mn}={\partial }_m{\alpha }_n-{\partial }_n{\alpha }_m$, every second-derivative contribution to $\delta H$ cancels by commutation of derivatives. Thus $H$ and its equation are gauge-invariant. This is the differential-form identity $d^2=0$ for the two-form gauge field $B$.

To impose light-cone gauge for a two-form, first choose ${\alpha }_{-}=0$ andThis sets $B_{-m}$ to zero. A residual transformation preserving the gauge obeys ${\partial }_{-}{\alpha }_m={\partial }_m{\alpha }_{-}$. With $\chi ={\partial }_{-}^{-1}{\alpha }_{-}$, this implies ${\alpha }_m={\partial }_m\chi$, including $m=-$. Such a parameter changes $B$ by zero. Therefore no nontrivial gauge transformation of $B$ remains in the sector where ${\partial }_{-}$ is invertible. There is still a redundant description of the gauge parameter itself, $\alpha \mapsto \alpha +d\chi$; the excluded ${\partial }_{-}$ zero modes would require separate treatment.

The $(-,n)$ field equations now say ${\partial }_{-}{\partial }^p{B}_{np}=0$, hence ${\partial }^p{B}_{np}=0$. For $n=I$ this givesFor $n=+$, ${\partial }^I{B}_{+I}=0$ follows automatically from antisymmetry of $B_{IJ}$. Therefore the independent components and their equation areThe remaining equations follow from this wave equation and the reconstructed longitudinal components.

At the first massless level of the closed bosonic string, states ${\alpha }_{-1}^I{\tilde{\alpha }}_{-1}^J|p⟩$ carry a product of two transverse vector polarizations. Its symmetric traceless, antisymmetric and trace parts are respectively the graviton, the Kalb–Ramond field and the dilaton. The antisymmetric part has exactly the polarization count just found.

The gauge-invariant string coupling to a two-form uses the pullback of the background Kalb–Ramond field to the string worldsheet:Its variation is $q{\int }_{\Sigma }d(X^{\ast }\alpha )=q{\int }_{\partial \Sigma }{X}^{\ast }\alpha$, by Stokes theorem. It vanishes on a closed worldsheet. For a cylindrical propagation surface it is only an initial/final boundary term, handled by fixed-boundary gauge parameters or the corresponding transformation of external states. Thus the closed string is naturally charged under a two-form gauge field.

For the Monge-gauge Hamiltonian of a three-dimensional string, in Monge gauge, $X^{\prime m}=(0,1,{\Phi }^{\prime })$ and $P_m=(P_0,P_1,\Pi )$. The momentum constraint gives $P_1=-{\Phi }^{\prime }\Pi$. The other Virasoro constraint then readsChoosing the positive-energy branch,Substituting into the phase-space action leaves $I=\int dtd\sigma (\Pi \dot{\Phi }-\mathcal{H})$, soFor an infinite string this is an energy-density expression; even the undeformed string has infinite total energy. One may regulate the length or subtract its constant reference energy when a finite total energy is needed. The positive branch is unambiguous at the density level.

The canonical Hamiltonian field equations areConsequently $\Pi ={\Phi }^{\prime }$ impliesThe second equation also becomes $\dot{\Pi }={\Phi }^{\prime \prime }$, consistent with differentiating the first. These are one-direction traveling profiles along the string.

For the linear profile, the spatial string is the straight line $X^2=k{X}^1+kt$. It is tilted, and its coordinate intercept moves with speed $k$. This is also a uniformly moving straight string: the physical transverse velocity of a tilted string is the velocity normal to the line. With unit tangent $(1,k)/\sqrt{1+k^2}$ and coordinate velocity $(0,k)$, the normal speed isThus $k>1$ does not imply superluminal physical motion. Fixed-$\sigma$ labels have spacelike trajectories when $k>1$, but labels on a string can slide tangentially and are not identifiable material particles. Choosing $\dot{\sigma }=-k^2/(1+k^2)$ removes the tangential velocity and gives the subluminal velocity $(-k^2,k)/(1+k^2)$.

The induced worldsheet metric supplies a coordinate-invariant check:The string worldsheet remains Lorentzian for every finite $k$, including $k=1$ and $k>1$. Its constant energy density is $1+k^2$. This linear profile is a tilted boosted straight string, rather than a localized finite-energy wave.

Set $T=1/(2\pi {\alpha }^{\prime })$ and take the closed-string spatial coordinate periodic with period $2\pi$. One convenient Lorentzian convention for the conformal gauge action isThe two anticommuting bc ghost systems are the Faddeev-Popov ghosts of the worldsheet metric gauge fixing. Their fields have conformal weights $2$ and $-1$. Ghost normalizations can be rescaled without changing the algebra. After a Wick rotation the two terms become the familiar holomorphic and antiholomorphic $b\bar{\partial }c$ and $\tilde{b}\partial \tilde{c}$ actions.

Let ${\mathcal{L}}_n$ and ${\tilde{\mathcal{L}}}_n$ include both matter and ghost contributions. With the conventional plane normalization of the zero mode, their Virasoro algebra isEach free coordinate boson contributes central charge $1$, including the timelike coordinate after the usual analytic continuation. The weight-$(2,-1)$ bc ghost system contributes $-26$ in each chiral sector. Thus the total central charge is $D-26$.

The Virasoro constraints originate in a gauge symmetry. A nonzero central term is a quantum obstruction to realizing that gauge symmetry without an anomaly; equivalently, the BRST charge fails to be nilpotent. Cancellation of the worldsheet Weyl anomaly therefore requiresThis is the critical dimension of the bosonic string. The accompanying physical-state normal-ordering condition gives the usual matter intercept $1$ in each sector. A shift of the zero-mode convention changes the linear term in the central polynomial, but cannot change the required cancellation of its cubic coefficient.

In a point-particle description of quantum gravity, interactions of a massless spin-two field occur at localized vertices of Feynman diagrams. The gravitational coupling has negative mass dimension for spacetime dimension greater than two, so short-distance loop integrations generate higher-derivative counterterms that cannot all be absorbed into the Einstein action. A string worldsheet instead joins incoming and outgoing strings by a smooth surface. In particular, a closed string splits or joins through a smooth pair-of-pants surface. There is no invariantly distinguished point at which every part of an extended string interacts. The choice of a time slicing can draw a joining point, but it is not a physical pointlike vertex. This removes the point-interaction geometry responsible for arbitrarily localized interactions and introduces the string length ${\ell }_s=\sqrt{{\alpha }^{\prime }}$.

This geometric explanation is supported by the organization of the Polyakov path integral. Introducing a worldsheet metric makes the Nambu–Goto action amenable to gauge fixing. In the Euclidean integral, metrics on a fixed oriented surface are divided by worldsheet diffeomorphisms and Weyl transformations. What remains is a Riemann surface with a conformal structure, together with finitely many worldsheet moduli and the positions of external string vertex operators. The determinants from fixing the metric are represented by Faddeev-Popov ghosts. Schematically, for $n$ closed-string external states,Here ${\mathcal{M}}_{g,n}$ is the moduli space of genus-$g$ punctured surfaces. The dilaton weights a surface by its Euler characteristic $\chi =2-2g$, giving $g_s^{-\chi }$ before the normalization of external states. Every additional handle multiplies the contribution by $g_s^2$. The string genus expansion therefore plays the role of the ordinary loop expansion, with the sphere giving tree level and the torus giving one loop. The critical dimension cancels the worldsheet Weyl anomaly, making this reduction to conformal geometry consistent.

The massless symmetric traceless closed-string state is a graviton, and its long-wavelength interactions reproduce gravity. At distances comparable with ${\ell }_s$, however, an infinite tower of excited states contributes. This is more than a single particle form factor: the same amplitude contains graviton exchange, massive higher-spin exchange and string-scale softness.

The dimensionless variables in the given Virasoro–Shapiro amplitude correspond to $s={\alpha }^{\prime }S/4$, $t={\alpha }^{\prime }T/4$, $u={\alpha }^{\prime }U/4$, where capital letters denote the usual dimensionful Mandelstam invariants. Its constraint $s+t+u=-4$ identifies the external particles as the closed bosonic tachyons, not four gravitons. Nevertheless its intermediate massless pole directly exhibits graviton exchange. The overall normalization will be suppressed below; no additional copy of the amplitude formula is needed.

First, the amplitude is symmetric under permutations of $s,t,u$, expressing crossing symmetry. The poles in any channel areFor generic $t$, the residue can be calculated with the Gamma function pole at $-n$ and its recurrence:The product is $1$ when $n=0$. Indeed, the pole factor contributes $(-1{)}^{n+1}/n!$, while the two remaining Gamma ratios contribute $(-1{)}^n(t+2{)}_n^2/n!$. A residue polynomial of degree $2n$ shows exchange of spins up to $2n$, with leading Regge trajectory $J=2+2s$. At $n=1$, the massless residue is $-(t+2{)}^2$, containing the spin-two exchange. By crossing, the massless $t$-channel pole isfor generic $s$. Thus at large $s$ the pole behaves as $s^2/t$, the characteristic energy dependence of graviton exchange. Its massless propagator produces the long-range gravitational interaction. At low energies the massive poles can instead be expanded into local higher-derivative corrections to the effective gravitational action.

At the string scale one must retain the whole tower. The Gamma reflection formula rewrites the amplitude exactly asAt large $s$ and fixed $t$, away from the resonance poles or with a specified complex continuation, the Gamma ratio scales as $s^{t+1}$. Hence the Regge limit scales as $s^{2+2t}$, up to the signature factor and the displayed $t$-dependent coefficient. In particular, a fixed nonzero momentum transfer changes the point-graviton power law by a factor $s^{2t}$: the graviton belongs to an entire trajectory rather than remaining an isolated spin-two exchange at arbitrarily high energy.

There is stronger suppression when the scattering angle is fixed. Put $t\simeq -as$, $u\simeq -(1-a)s$ with $0<a<1$. Applying Stirling formula to the Gamma functions, after the same treatment of real-axis poles, gives the leading smooth envelopeThe leading $s\log s$ terms cancel and the remaining entropy-like combination is negative. In physical units the exponent is $-{\alpha }^{\prime }Sf(a)/2$. This fixed-angle softness of the closed-string amplitude is absent for an elementary pointlike gravitational vertex. Equivalently, short-distance gravitational scattering probes additional string degrees of freedom. In a four-dimensional long-distance effective setting, a massive exchanged mode contributes a Yukawa-type correction proportional to $e^{-M_{n}r}/r$, with couplings and tensor factors depending on the external states. Such terms are suppressed for $r\gg {\ell }_s$ and become relevant for $r\sim {\ell }_s$. The amplitude establishes the spectrum and short-distance change; it does not by itself give a universal static potential for arbitrary sources. Its bosonic tachyon also signals an unstable vacuum, so it must not be treated as a complete stable model of a gravitational force.

Finally, the modular group prevents overcounting equivalent surfaces and reorganizes the loop ultraviolet region. A torus is $\mathbb{C}/(\mathbb{Z}+\tau \mathbb{Z})$ with $\mathrm{Im}\tau >0$. A change of lattice basis identifiesThus the one-loop integral uses a fundamental domain for $\mathrm{PSL}(2,\mathbb{Z})$, for exampleThe measure $d^2\tau /(\mathrm{Im}\tau {)}^2$ is invariant, and the physical integrand, including matter, ghosts and external insertions, must respect torus modular invariance. In this domain $\mathrm{Im}\tau \ge \sqrt{3}/2$. The region of arbitrarily small proper time that causes ultraviolet divergences in a particle loop is therefore not an independent part of the string integral; a modular transformation relates it to another description already represented in the domain.

This does not remove every possible divergence. The cusp $\mathrm{Im}\tau \to \infty$ is a long tube, and factorization through it can produce infrared divergences, massless tadpoles or the bosonic tachyon divergence. At higher genus, degenerating cycles similarly factorize into propagating intermediate string states. The essential improvement is the relation between worldsheet geometry, the full spectrum and the quotient by large diffeomorphisms; infrared and unstable-background problems remain separate questions. A short-distance expansion that keeps only the graviton discards precisely this structure.

The first-order fermionic kinetic term produces second-class momentum constraints. After eliminating them, the canonical graded Dirac brackets arewith other mixed brackets zero. The bracket of two odd variables is symmetric, consistently with the graded Poisson bracket. The constraint algebra isIt is the worldline supersymmetry algebra: the square of the fermionic constraint generates the Hamiltonian constraint.

With $\hslash =1$, quantization converts these toRepresent the fermions by Gamma matrices, ${\hat{\psi }}^m={\gamma }^m/\sqrt{2}$, where $\{{\gamma }^m,{\gamma }^n{\}}_{+}=2{\eta }^{mn}$, and ${\hat{p}}_m=-i{\partial }_m$. The wavefunction is a Dirac spinor. Its physical-state constraint iswhich is exactly the massless Dirac equation. Moreover ${\hat{\mathcal{Q}}}^2=\hat{\mathcal{H}}=-{\square }_D/2$, so this equation implies the remaining mass-shell constraint. Conversely, a solution of the massless Dirac equation satisfies both constraints. The Klein-Gordon constraint alone would not impose the spinorial first-order equation.

The PDF's displayed zero-mode term has no derivative. Read literally, $d_0\cdot d_0$ vanishes for classical Grassmann variables and supplies no zero-mode symplectic structure. The subsequent canonical-algebra requests therefore require the standard kinetic term $\frac{i}{2}{d}_0\cdot {\dot{d}}_0$. We use that intended correction explicitly; the rest of the displayed action fixes the nonzero-mode normalization.

The Ramond level operator, with vacuum-annihilating normal ordering, isThe canonical oscillator relations, for transverse indices $I,J$, areThe hermiticity convention is ${\alpha }_k^{†}={\alpha }_{-k}$ and $d_k^{†}=d_{-k}$. The commuting bosonic zero mode is supplied by the center-of-mass momentum. For $k>0$, define $a_k^I={\alpha }_k^I/\sqrt{k}$ and $f_k^I=d_k^I$. Their bosonic occupation numbers are $0,1,2,\dots$ and their fermionic occupation numbers are $0,1$. Therefore, on the Fock space generated from an oscillator vacuum,Equivalently, creation operators raise the level by $k$, since $[N_R,{\alpha }_{-k}^I]=k{\alpha }_{-k}^I$ and $[N_R,d_{-k}^I]=k{d}_{-k}^I$. The zero modes commute with $N_R$ and do not change the level. The multiplier imposesso the $N=0$ states are massless. In the Ramond sector the bosonic and fermionic oscillator zero-point contributions cancel, consistently with the stated zero intercept. The massless ground states are spacetime spinors, as the Ramond zero-mode Clifford algebra now shows.

Normalize ${\gamma }^I=\sqrt{2}{\hat{d}}_0^I$. ThenLet $v=|0⟩\ne 0$. Each positive-frequency bosonic annihilator commutes with ${\gamma }^I$, while each fermionic annihilator anticommutes with it. Applying either annihilator to ${\gamma }^{I}v$ therefore gives zero. Thus all eight ${\gamma }^{I}v$ are oscillator vacua. For real $a_I$, the hermitian operator $A={\sum }_I{a}_I{\gamma }^I$ satisfies $A^2=({\sum }_I{a}_I^2)1$, soThis proves the real independence of Clifford-generated vectors, and hence their linear independence over $\mathbb{R}$.

The same argument applies to the nonzero vacuum ${\gamma }^{1}v$, because $({\gamma }^1{)}^2=1$. It gives eight real-linearly independent oscillator vacua ${\gamma }^I{\gamma }^{1}v$. They include $v$ itself, at $I=1$. Products of two zero modes preserve vacuum annihilation just as products of one do.

For the chirality matrix ${\gamma }_9={\gamma }^1{\gamma }^2\cdots {\gamma }^8$, reversing eight anticommuting factors introduces $(-1{)}^{8\cdot 7/2}=1$. HenceMoving any ${\gamma }^I$ through the other seven factors also gives ${\gamma }_9{\gamma }^I=-{\gamma }^I{\gamma }_9$. If ${\gamma }_{9}v=v$, thenThe first collection has negative chirality; the second has positive chirality. If $u_{+}$ and $u_{-}$ have these respective chiralities, hermiticity gives $⟨u_{+},u_{-}⟩=⟨{\gamma }_9{u}_{+},u_{-}⟩=⟨u_{+},{\gamma }_9{u}_{-}⟩=-⟨u_{+},u_{-}⟩$, so they are orthogonal. Combining the two real-independent collections therefore gives at least sixteen real-linearly independent oscillator vacua, eight in each chirality.

The real qualification in the question matters: the particular eight vectors generated from an arbitrary complex $v$ need not be independent over $\mathbb{C}$. Nevertheless the dimension bound from paired Clifford involutions also follows from the full Clifford algebra. Define four commuting hermitian involutions $J_j=i{\gamma }^{2j-1}{\gamma }^{2j}$, $j=1,\dots ,4$. Their joint spectral projections preserve the vacuum space, so it contains a nonzero common eigenvector $w$. Multiplication by ${\gamma }^{2j-1}$ flips the eigenvalue of $J_j$ and leaves the other three eigenvalues unchanged. The sixteen products obtained by independently choosing whether to apply these four odd-indexed Gamma matrices to $w$ consequently have distinct joint eigenvalue quadruples. They are nonzero, mutually orthogonal oscillator vacua. Thus the unprojected vacuum space also has complex dimension at least sixteen, with eight states of each chirality in the minimal representation. A further chiral projection is an additional physical restriction, not part of the oscillator-vacuum conditions here.