Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 52 1 Solution Created 2026-10-03 Updated 2026-10-14
The local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization , the embedding coordinates transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, and . A Weyl transformation sends and leaves fixed. In two dimensions the factors from and cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.
These gauge freedoms put the metric locally in conformal gauge, . Its variation must still be imposed: it gives the worldsheet stress tensor constraints . The field equation is the wave equation, and periodicity of a closed string gives independent left- and right-moving oscillator sets. In a normalization with , their commutators and normal-ordered generators arewith the same formulas for the tilded sector and zero mixed commutators.
The closed-string physical-state Virasoro conditions in the critical flat-space theory areThey act on the oscillator Fock space, and physical spurious (null) states are quotiented out. Equivalently physical states are the suitable BRST cohomology classes. Positive modes constrain kets; their adjoints constrain bras, so one does not impose every positive and negative matter mode on the same ket. Subtracting the two zero-mode equations gives closed-string level matching, , and adding their mass-shell content gives . Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, : the matter central charge cancels the reparametrization ghost central charge . Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.
For the residual symmetry, take . The conformal Killing equations leave independent transformations and , with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are and their antiholomorphic partners. They satisfy the Witt algebra . The conserved contour generators are the Virasoro modes . Their quantum Virasoro algebra iswith a second independent copy for the right movers. These are the generators of the residual conformal transformations, including their quantum central extension.
The two-dimensional quantum-gravity interpretation of strings follows from what is integrated, not from an analogy: at genus , the Polyakov path integral integrates over both and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by before external-state coupling factors. Gauge fixing leaves worldsheet ghost determinants and integrals over worldsheet moduli. Thus it is two-dimensional quantum gravity coupled to the coordinate matter fields. A flat gauge is local; general higher-genus surfaces retain conformal-structure moduli and need not admit a globally flat representative.
Target-space gravity is a different conclusion. At , the state is massless, transverse in both indices, and has longitudinal gauge identifications. Its symmetric traceless transverse polarization is a graviton; the antisymmetric and scalar polarizations give the Kalb–Ramond field and dilaton. The graviton gauge identification is precisely the linearized metric diffeomorphism. Moreover the leading string-frame massless effective action contains , and worldsheet Weyl invariance with constant dilaton and zero two-form requires at leading order in . Thus both the propagating massless spin-two state and its low-energy interactions reproduce gravity. Closed strings contain the graviton and yield Einstein gravity in their low-energy massless sector, together with other fields and higher-derivative corrections; the bosonic tachyon instability remains.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 44 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target-space signature and conformal gauge . Dots and primes denote differentiation with respect to and . Varying the Polyakov action with respect to the string embedding map gives the wave equation; varying the worldsheet metric sets the worldsheet stress tensor to zero. Explicitly,With and , the two Virasoro constraints are .
A fixed spatial circle would sweep out a cylindrical string worldsheet. In static coordinates its string embedding map is and its induced worldsheet metric is . The radial part of the Nambu–Goto equations of motion is proportional to , which is nonzero. Thus a nonzero-radius cylinder cannot solve the equations. Motion of labels around this same cylinder is a worldsheet diffeomorphism and cannot alter this conclusion.
The familiar pulsating circular string makes the obstruction particularly explicit. Put and . The wave equation and Virasoro constraints reduce toA constant violates the first equation. Even rotating the labels, , cannot help: the wave equation requires , whereas requires .
Nor does a rigid rotation of the circular plane rescue the usual circular ansatz in three spatial dimensions. Write its spatial part as , with and . The wave equation gives and . The constant norms give and . The mixed Virasoro constraint, together with the derivative of , gives . Differentiating twice gives . This would require four mutually orthogonal nonzero spatial vectors in . This obstruction is specific to the stated spatial dimension; a rigid circular string in four spatial dimensions has more room.
To express the Virasoro constraints in modes, extend the string oscillators byDifferentiating the two chiral expansions gives and the corresponding expression with tildes for . Equating every Fourier coefficient of their squares to zero yieldsReality of the string embedding map means and . In particular, define the classical string level operators by and . The zero-mode Virasoro constraints becomeConsequently the classical bosonic string mass spectrum isThe equality of the two levels is closed-string level matching. There is no string intercept here: that shift comes from quantum normal ordering, not from these classical equations.
For the compact boson, closed-string periodicity permits a winding number , so . Let be the momentum in this direction. Its zero-mode expansion and the corresponding chiral momenta areThus replace the equal left and right zero modes by and ; the nonzero string oscillators remain integer-moded. Classically is continuous. Quantizing the compact boson makes momentum wavefunctions single-valued around its circle, giving with .
If , , is the noncompact momentum and , the two zero-mode Virasoro constraints giveAveraging and subtracting gives the momentum and winding modes and compact-circle closed-string level matching formulasThe latter becomes on imposing quantum momentum quantization. The sign follows from assigning tildes to the left mover .
An explicit winding-supported circular string, valid classically for every , isThe noncompact projection is a circle of constant radius. Every coordinate obeys the wave equation. Its compact winding is , and a direct calculation givesThus both Virasoro constraints hold and the induced worldsheet metric is , not a degenerate cylinder. The compact motion cancels the mixed stress that spoiled rotation of labels in flat space. Here , and satisfy the classical compact-circle closed-string level matching condition. Requiring this particular classical momentum to equal an individual quantum eigenvalue would impose an additional radius-dependent condition; that is not required to construct the classical solution.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 44 2 Solution Created 2026-10-03 Updated 2026-10-14
Use the free-boson operator product expansionWrite and . The needed Wick contractions are and . For , the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in , while the other contracts with . Including the factor givesA primary operator has no cubic pole. Hence the first vertex is primary precisely whenThe antiholomorphic conformal weight is . Primarity alone puts no mass-shell condition on .
For , the holomorphic cubic pole is . The antiholomorphic operator product expansion gives the analogous pole involving . Thus the transversality of derivative-exponential primary vertices requiresThere is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights ; for this vertex that gives .
Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external through givesMultiplying by and Taylor expanding at producesThis proves that is a primary operator with weight . To find the central charge, in the two double-contraction pairings contribute, before the overall factor ,The single Wick contractions give , soComparing the leading term with proves , as in the free chiral Majorana fermion conformal field theory.
With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requiresThus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.
For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are , physicality requiresTherefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.
With zero fermion insertions, level zero gives the tachyon vertex operator , a scalar with . Level one gives the massless closed-string vertex operator , with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.
With two fermion insertions there are two possibilities. One fermion in each chirality givesThese are scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.
Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current ; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators areThey have and are gauge vectors, with and , and likewise for . Each chirality supplies gauge vectors. The fermion bilinears generate the two current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group . The tempting vertex alone fails closed-string level matching because its weights are before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 46 2 Solution Created 2026-10-03 Updated 2026-10-14
Use , transverse coordinates , , and the Minkowski metricThe relativistic particle phase-space action becomesIn the light cone gauge , solve the mass-shell condition for , assuming . The reduced phase-space action is , withThe last equality selects the future-directed momentum sector and makes positivity transparent. With and , the Schrödinger equation isThe inverse acts only on Fourier modes with nonzero . Multiplication by gives . ThereforeThe 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 , soExpanding , 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 isTaking and , respectively, givesThe 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 isThis 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 areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith 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 byFor , has . HenceStarting 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 areAt the massless first closed-string level, the states areTheir 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 isThe 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 areThey 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 mapis 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 .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 48 1 Solution Created 2026-10-03 Updated 2026-10-06
The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, . Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge . On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.
Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints and . The remaining matter consists of free and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, , and the R sector also has the zero-mode condition . Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.
The diffeomorphism ghosts have central charge , while the bosonic superconformal ghosts have charge . Matter contributes . Therefore quantum gauge consistency requiresThis is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero , make linear in worldsheet time and set . The stress-tensor and supercurrent constraints solve for the longitudinal and oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.
In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is and . The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.
Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let be an RNS spin field and the bosonized superghost scalar. The spacetime supercharges are generated byand similarly in the other chiral sector. The spin field has conformal weight , and its superghost factor has weight , so the current has weight one. Its operator products generate the spacetime translation operator; schematically . This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.
The massless physical states are best counted with the transverse little group . Choose the left Ramond ground representation and the right one . ThenThe NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with , and polarizations. The RR sector supplies a one-form potential and a three-form potential, with and polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with polarizations, and two dilatinos, each with . Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum hasThese fields form the massless type IIA supergravity multiplet.
For the first massive level of a chiral RNS sector, restore throughThe first positive value is one. The NS states therefore have level . A complete transverse basis after GSO projection isAll contain odd fermion-excitation parity. Their respective dimensions are , and , so the NS count is . These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into . Together the families assemble into the massive representations : a symmetric traceless rank-two tensor and a three-form, since and .
In the R sector, the first massive level is . If the retained right-moving ground spinor is , its two families areThe Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has states. HenceThese first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of , of dimension . Its transverse branching is . The right-moving sector therefore contains bosons and fermions, a massive chiral superstring supersymmetry multiplet.
For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have NS states and R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. ConsequentlyTheir total is . A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 306 4 Solution Created 2026-10-03 Updated 2026-10-05
The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt , the states are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under . They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is .
The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are , so its integrated form is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism .
The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.
The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set , so and the closed-string tachyon has . For four such external states the Mandelstam variables obey . The Virasoro–Shapiro amplitude has generic -channel poles at , exactly the bosonic string mass spectrum in these units.
The massless pole gives an especially direct check. With overall normalization and , the Gamma function recurrence givesThusThe quadratic residue in contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.
Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with , the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.
Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling , and a connected oriented surface of genus has Euler characteristic . Its weight is ; with normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor . Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in , with an independent low-energy expansion in .
For the one-loop vacuum contribution, torus modular invariance identifies with , . Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region , responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in . Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in the vacuum integrand is proportional to , with the Dedekind eta function; the complete expression is invariant under the modular group.
Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region is an infrared divergence from the tachyon: . It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 306 1 d Solution 2026-09-28
Let be the mass measured in the uncompactified 25-dimensional spacetime. The quantum zero-mode constraints areThe string level operatorshave nonnegative integer eigenvalues. Adding the constraints and using givesTheir difference gives closed-string level matching, with the present left-right convention. The normal-ordering constant of a string is the regularized zero-point energy generated when oscillator products are normal ordered.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 306 2 iv Solution Created 2026-09-24 Updated 2026-09-25
For a compact boson , a closed spatial circuit of the worldsheet may wind around the target circle:Single-valued target-space wavefunctions quantize the zero-mode momentum as , . In the conventionthe Hamiltonian and worldsheet momentum becomeThe term is the zero-mode contribution to closed-string level matching.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 306 2 b Solution Created 2026-09-24 Updated 2026-10-03
The Virasoro constraints determine in terms of the transverse coordinates . Their closed-string expansion introduces independent left- and right-moving string oscillators satisfyingFor , and annihilate the momentum vacuum, while and create excitations. A general state is a product of these creation operators acting on , subject to closed-string level matching .
Normal ordering the quantum constraints introduces the normal-ordering constant of a string . Requiring the Lorentz generators to obey the Lorentz algebra without an anomalous term fixesThus Lorentz invariance resolves both the ordering ambiguity and the critical dimension of string theory.
Plane-wave string mode Hamiltonian 2026-10-14
Expand every transverse closed string coordinate in a real orthonormal Fourier basis of the spatial circle. The canonical momenta are , and spatial orthogonality reduces the field Hamiltonian to the displayed independent harmonic oscillators. Canonical quantization gives for each nonzero-frequency mode; a zero-frequency mode retains the free particle term . The formal zero-point energy requires a regulator; it is not automatically the massless flat-background intercept. Opposite travelling-wave oscillator combinations diagonalize the translation generator and satisfy closed-string level matching.
Ramond–Neveu–Schwarz sector 2026-10-14
A closed string sector with left-moving Ramond sector excitations and right-moving Neveu–Schwarz sector excitations. Its spacetime states are fermions. The closed-string level matching condition is . After the supersymmetric GSO projection, the lowest states have and give the other massless gravitino and dilatino of type II string theory.