Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 51 (String Theory)

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

Let $h_{\mu \nu }={\partial }_{\mu }{X}^a{\partial }_{\nu }{X}_a$ be the induced worldvolume metric and write $H={\gamma }^{\mu \nu }{h}_{\mu \nu }$. Varying the embedding in the auxiliary-metric brane action and integrating by parts givesThe boundary contribution, including its relative factor, isAt initial and final times one fixes the endpoint configurations or uses variations of compact support. At a spatial boundary, free target directions require Neumann boundary conditions $n_{\mu }{\gamma }^{\mu \nu }{\partial }_{\nu }{X}^a=0$; fixed directions require Dirichlet boundary conditions $\delta X^a=0$. Mixed conditions must make this boundary pairing vanish. A closed brane has no spatial boundary. Since the auxiliary worldvolume metric enters without derivatives, its variation produces no extra boundary term.

Using $\delta \sqrt{-\gamma }=-(1/2)\sqrt{-\gamma }{\gamma }_{\mu \nu }\delta {\gamma }^{\mu \nu }$, variation of the inverse worldvolume metric givesTaking the trace yields $(p-1)(H-p-1)=0$. For $p\ne 1$, this forces $H=p+1$, and substitution gives ${\gamma }_{\mu \nu }=h_{\mu \nu }$. For a nondegenerate timelike embedding, eliminating the auxiliary worldvolume metric therefore gives twice the worldvolume area, with the overall physical brane tension supplied by the action normalization.

For $p=1$, the traced metric equation is an identity, and the remaining equation only says $h_{\mu \nu }=(H/2){\gamma }_{\mu \nu }$. It fixes the worldsheet metric up to a Weyl transformation, rather than determining it uniquely. Indeed $\sqrt{-\gamma }{\gamma }^{\mu \nu }$ is Weyl invariant precisely in two worldvolume dimensions, and the constant term vanishes precisely at $p=1$. This is the Weyl-invariance exception for the string among branes. In a nondegenerate interior it gives the familiar classical equivalence of Polyakov and Nambu–Goto actions; degeneracies at a free string endpoint must be treated through the original equations.

For the open string, choose conformal gauge ${\gamma }_{\mu \nu }=\mathrm{diag}(-1,1)$ on $0\le \sigma \le \pi$. The embedding equation is the wave equation, and NN means ${\partial }_{\sigma }{X}^a=0$ at both spatial endpoints. For these operator formulas restore the conventional overall normalization $S=-TI/2$, with $T=(2\pi \alpha \prime {)}^{-1}$; the overall factor does not change the preceding classical equations. Its open-string mode expansion isReality requires $({\alpha }_n^a{)}^{†}={\alpha }_{-n}^a$. Canonical quantization givesThe metric equation is the vanishing of the worldsheet stress tensor: $({\partial }_{\tau }X+{\partial }_{\sigma }X{)}^2=({\partial }_{\tau }X-{\partial }_{\sigma }X{)}^2=0$. The two endpoint-compatible mode expansions contain the same string oscillator family. Their quadratic coefficients are the classical Virasoro constraints.

For the operators, use normal ordering with positive-index string oscillators as annihilators:Thus $({\partial }_{\tau }X\pm {\partial }_{\sigma }X{)}^2$ has modes $4{\alpha }^{\prime }{L}_m$ before the quantum ordering correction. The physical-state Virasoro conditions for an open string areOne imposes only the positive modes on kets, with the adjoint conditions on bras, as in Gupta-Bleuler quantization. Requiring every positive and negative mode to annihilate the same state would conflict with the Virasoro central extension. The intercept $a$ is the zero-mode ordering constant. The standard critical bosonic string theory has $d=26$ and $a=1$; in light-cone gauge in string theory the transverse zero-point energy gives $a=(d-2)/24$, while full anomaly-free Lorentz or BRST quantization fixes the critical values. The mass constraint is then ${\alpha }^{\prime }{M}^2=N-a$, with $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$.

To compute the Virasoro algebra, commute a quadratic generator with one string oscillator:These identities and the Jacobi identity imply that $[L_m,L_n]-(m-n)L_{m+n}$ commutes with every string oscillator and with the center-of-mass coordinates and momenta. Mode number permits a scalar term only for $m+n=0$. Its coefficient follows from the formal zero-momentum Fock vacuum, on which $L_0=0$. For $m>0$,The two possible string oscillator contractions giveThe timelike target coordinate still contributes one to this central charge: its two metric signs cancel in ${\eta }_{ab}{\eta }^{ab}=d$. ConsequentlyThis is the free-boson Virasoro central term. It vanishes for the three global conformal modes $m=0,\pm 1$.

To keep the intercept convention separate, define ${\mathcal{L}}_m=L_m-a{\delta }_{m,0}$. The Virasoro zero-mode shift changes the displayed central term toThe matter central charge here is $d$, not $d-2$. Covariant worldsheet ghost fields contribute $-26$; their inclusion cancels the anomaly at $d=26$, while the intercept is handled by the appropriate zero-mode and physical-state convention.

A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.

Use worldsheet signature $(-,+)$ and the real gamma matricesTake $\bar{\psi }={\psi }^{T}C$ with $C={\gamma }^0$. Define the chirality matrix with the chosen worldsheet orientation byIt squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.

Writing $\psi =({\psi }_{+},{\psi }_{-}{)}^T$, the fermion equation of motion ${\gamma }^{\mu }{\partial }_{\mu }\psi =0$ becomesHenceThe first profile travels toward increasing $\sigma$, and the second toward decreasing $\sigma$. Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.

For the rigid worldsheet supersymmetry variation, let $ϵ$ be a constant Grassmann-odd Majorana spinor. With the displayed conventions,The minus sign follows from $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. A second identity from the Majorana Grassmann bilinear interchange is $\bar{\chi }{\gamma }^{\nu }{\gamma }^{\mu }ϵ=\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }\chi$. Keeping these Grassmann signs is essential.

The bosonic kinetic variation is $2i{\partial }_{\mu }{X}_a\overline{ϵ}{\partial }^{\mu }{\psi }^a$. The two fermionic kinetic variations, using the two identities above, give the full resultFor the second equality use ${\gamma }^{\nu }{\gamma }^{\mu }=2{\eta }^{\mu \nu }-{\gamma }^{\mu }{\gamma }^{\nu }$ and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic $\delta X$ and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.

For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is $d+d/2$; the bc system and superconformal ghosts contribute $-26+11$. Therefore $3d/2-15=0$ gives the critical dimension of the RNS superstring $d=10$. Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.

In the Neveu–Schwarz sector, the normal-ordering intercept is $a_{\mathrm{NS}}=1/2$. The massless level is $N=1/2$ and has statesThe GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave $10-2=8$ polarizations.

In the Ramond sector, bosonic and fermionic zero-point energies cancel, so $a_{\mathrm{R}}=0$ and the ground states are massless. The eight transverse fermion zero modes obeyThis Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an $8_s$ or $8_c$ spinor of $\mathrm{SO}(8)$, the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.

Consequently the massless chiral RNS spectrum after GSO projection satisfiesThe GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.

The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling $g_{ab}(X)$. Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.

Restore the Euclidean normalization $(4\pi {\alpha }^{\prime }{)}^{-1}\int g_{ab}(X)\partial X^a\partial X^b$. Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is $⟨{\xi }^a{\xi }^b{⟩}_{\mathrm{UV}}=\alpha \prime g^{ab}\log (\Lambda /\mu )$: the kinetic operator supplies $2\pi \alpha \prime$, and the two-dimensional momentum integral supplies $(2\pi {)}^{-1}\log (\Lambda /\mu )$. Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to $\alpha \prime R_{ab}$. The resulting one-loop metric counterterm givesThe trace of the worldsheet stress tensor contains this coefficient multiplying $\partial X^a\partial X^b$, together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,The central-charge condition also requires $d=26$ if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in ${\alpha }^{\prime }$, so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.

To derive the local T-duality, work where the spacelike Killing vector has nonzero norm $V>0$. Use dimensionless coordinates and ${\alpha }^{\prime }=1$ units for the duality formulas. The isometry makes the action depend on $z$ only through its derivatives. Replace those derivatives by an independent worldsheet one-form $A_{\mu }$, and enforce its flatness with a Lagrange multiplier $\tilde{z}$. With ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$ and ${ϵ}^{\tau \sigma }=1$, the relevant first-order worldsheet duality action isVarying $\tilde{z}$ sets $dA=0$. Locally $A=dz$, recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying $A_{\nu }$ gives $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$, orSubstituting into the entire first-order worldsheet duality action, including the multiplier term, givesThe multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rulesThe coordinate map is ${\partial }_{\tau }\tilde{z}=V{\partial }_{\sigma }z$, ${\partial }_{\sigma }\tilde{z}=V{\partial }_{\tau }z$. The original $z$ equation is precisely the integrability condition for $\tilde{z}$; conversely the original identity $d(dz)=0$ becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.

For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of $\tilde{z}$ and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius $R$ becomes a circle of radius ${\alpha }^{\prime }/R$ when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.

At the quantum level integrating out $A_{\mu }$ also gives a regulated functional determinant. The Buscher dilaton shift isin the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, $e^{-2\tilde{\Phi }}\sqrt{|\tilde{g}|}=e^{-2\Phi }\sqrt{|g|}$ for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.

With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition istogether with the scalar dilaton anomaly condition. It does not demand ${\tilde{R}}_{ab}=0$ separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.

For a direct example, take flat polar coordinates away from the origin, with $d{s}^2=d{r}^2+r^{2}d{z}^2$ and flat spectator directions. The polar-coordinate T-dual background isHereBoth metric equations vanish. In critical dimension the scalar equation also holds: $4|\tilde{\nabla }\tilde{\Phi }{|}^2-4\tilde{\square }\tilde{\Phi }-\tilde{R}=4/r^2-8/r^2+4/r^2=0$. The example is local on $r>0$; the circle degenerates at the excluded origin.

Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant $V$ is a special case in which the dual metric may also remain Ricci-flat.