Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 1 36D Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2010 ii Paper 2 36B Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-10-07
Use signature , the numerical matrices and given in the question, and raise genuine tensor indices with . A real Minkowski spacetime vector corresponds to the Hermitian matrixFor SL(2,C) matrices, is Hermitian and has the same determinant. It therefore induces a real linear Lorentz transformation; composition of the congruence actions agrees with matrix multiplication. The kernel consists of : preservation of makes a kernel element unitary, and preservation of every Hermitian makes it scalar.
Polar decomposition of an invertible complex matrix connects every determinant-one complex matrix to its unitary factor, so the group is connected. The action gives the Lorentz spinor double cover of the Proper orthochronous Lorentz group. It covers rotations via and boosts via the positive Hermitian matrices below. Every proper orthochronous transformation is a boost followed by a rotation, since one can first match its image of the future unit time vector and then use its rotation stabilizer. The congruence construction does not cover spatial parity or time reversal. In particular parity has determinant as a four-vector transformation; all transformations continuously produced from SL(2,C) have determinant .
Set , and . The Pauli matrix multiplication law gives . The proposed boost matrix is , with eigenvalues , determinant one and . Split . The perpendicular Pauli part anticommutes with , so multiplication givesThis is an active Lorentz boost. The image of a rest worldline has velocity , fixing the velocity sign convention.
For two nonzero boosts, write and . Their product isThe last term is anti-Hermitian. Thus is not Hermitian unless the axes are collinear; a pure boost has Hermitian lifts , so it cannot give the same Lorentz transformation. The noncollinear boost obstruction from Pauli products is thereforeThat rotation is a Wigner rotation. A zero-rapidity factor is the trivial exception, regardless of the arbitrary axis assigned to it.
Define and . The printed Lorentz algebra brackets giveSet , . ThenThis is the chiral decomposition of the complex Lorentz algebra. The two copies are the complexifications of the SU(2) algebras conventionally labelled left and right. They are not two independent compact real subalgebras of the real Lorentz algebra: are complex linear combinations of the real generators. The distinction is needed for noncompact boosts.
To verify the infinitesimal two-component action, putIts trace vanishes by antisymmetry, so . The Pauli matrix multiplication law impliesSince , antisymmetrizing this identity yieldsConsequently , exactly the claimed infinitesimal coordinate transformation with .
The two Weyl spinor representations transform asBoth maps preserve group multiplication. For , choose its spin lift and write the finite matrices asFor rotations these coincide as the SU(2) doublet; for boosts their generator signs are opposite. Any complex-linear intertwiner would commute with all rotations and hence be scalar by the Schur lemma, but a nonzero scalar cannot intertwine the opposite boost matrices. They are therefore inequivalent. Infinitesimally their matrices are and , while their matrices are both . Thus they have chiral labels and . The finite matrices are representations of the spin cover; choosing or matters for spinors even though their four-vector transformations coincide.
Using the supplied block gamma matrices, the generator of the Dirac spinor isThe antisymmetry of removes the symmetric Clifford part. Hence
There is a conjugation-order error in the last displayed gamma identity in the PDF. The Clifford algebra gives, with ,Exponentiating this linear commutator action proves the inverse Lorentz action on gamma matricesThe second identity is the order required for the requested bilinears when . An explicit countercheck to the printed order is a positive boost along the third axis: giveswhereas the printed right side has a plus sign. This cannot be repaired by dropping index raising; the same raising convention is needed in the preceding coordinate transformation.
The adjoint relation supplied in the question gives , hence the Dirac spinor pseudo-unitarity identity . The Dirac adjoint therefore transforms as . It now follows that the Dirac scalar bilinear isthe vector isand the antisymmetric second-rank tensor isThese are respectively a Lorentz scalar, Lorentz four-vector and Lorentz tensor. The source's inconsistent gamma identity is replaced by its correct inverse/order pair; all three transformation laws then follow with the stated spinor transformation.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 51 1 Solution Created 2026-10-03 Updated 2026-10-07
Use a mostly-plus target Minkowski spacetime metric and restore the string tension by . 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 . 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 . The operator product expansion with the holomorphic stress-energy tensor gives conformal weights . An integrated string vertex operator must have weights , so the mass-shell condition is , or tachyonic mass parameter .
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 , 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 . The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet ; 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 . Since and similarly for the pair , the sphere tachyon position integral becomesHere depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.
To evaluate the remaining worldsheet modulus, put and . 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 and ; the scattering result is its analytic continuation. The third gamma-function argument is . Absorbing into , 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 , 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 has coupling power .
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 51 3 Solution Created 2026-10-03 Updated 2026-10-07
The harmonic equation, including critical points. All derivatives in this argument use the three-dimensional Levi-Civita connection of . Write , and . The curvature relation for the static vacuum conformal spatial metric gives . Substituting it into the contracted Bianchi identity yieldsThe Hessian of a scalar is symmetric, so the last terms cancel:Where , this implies . On the interior of the critical set , is locally constant and its Laplacian is also zero. Every other critical point is a limit of noncritical points, so continuity of the Laplacian givesThis avoids incorrectly dividing by a gradient at its zeros.
Integration by parts and rigidity. The usual whole-space energy identity isWith standard static asymptotic falloff and , the last term is and vanishes. Positivity of the spatial Riemannian metric then makes constant, and its limiting value fixes that constant to zero.
There is also a direct integration by parts proof requiring only the stated vanishing of at infinity, rather than an assumed flux decay rate. For a regular value , the region has compact closure. Completeness and the absence of an inner boundary ensure no missing boundary pieces; standard asymptotic flatness and on all ends keep this positive level set away from infinity. Its outward unit normal is . Multiplying the harmonic equation by and integrating givesBoth terms are nonpositive, so both vanish. A nonempty component with cannot have zero gradient throughout and boundary value . Thus is empty. Choose arbitrarily small regular values and apply the same argument to ; it follows thatThis is vanishing harmonic function by level-set integration. It also makes explicit why an inner boundary would invalidate the conclusion.
From zero Ricci curvature to Minkowski spacetime. In dimension three the Schouten tensor is , so it vanishes here. The three-dimensional curvature reconstruction then gives : is a flat Riemannian manifold. This use of three-dimensional curvature from the Ricci tensor is essential; zero Ricci tensor would not by itself imply flatness in four dimensions.
A complete connected flat spatial manifold has Euclidean universal cover. Standard asymptotic flatness, with an ordinary Euclidean end, excludes a nontrivial free Euclidean quotient: a nontrivial fixed-point-free Euclidean isometry contains a translational or screw component, and its cyclic quotient has at most quadratic volume growth, incompatible with a three-dimensional Euclidean end. Extra identifications cannot restore cubic growth. Thus the complete spatial metric is globally Euclidean, not just locally flat. With and the standard global time coordinate the four-metric becomesTherefore horizonless static vacuum rigidity gives Minkowski spacetime as the sole solution under these hypotheses.
Allowing horizons. A black hole exterior can be static and asymptotically flat without being Minkowski. The Schwarzschild spacetime is the basic example. Its lapse function vanishes at the event horizon, so is unbounded below there; the horizon introduces an inner end or boundary in the spatial reduction, and the previous energy argument no longer has its hypotheses. In fact for Schwarzschild,so this conformal quotient terminates at and is not the complete nonsingular quotient used above.
With the usual regularity, connected-horizon and global hypotheses of the static vacuum black-hole uniqueness theorem, the nontrivial black-hole exterior is Schwarzschild. Rotating Kerr black holes are stationary but not static and therefore are not alternatives in this question. This statement concerns a regular domain outside the horizon; the Schwarzschild interior contains a curvature singularity. If “globally static” and “nonsingular everywhere” are retained literally, Schwarzschild does not meet them. Allowing horizons means relaxing the horizonless global hypotheses to the corresponding static exterior problem.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 52 1 b Solution Created 2026-10-03 Updated 2026-10-06
Start with the four-dimensional Minkowski metric , where . Choose an arbitrary length , and use the retarded and advanced null coordinates , . For the Minkowski conformal compactification, setBoth lie between and . Since , we have ; the remaining inequalities are . Moreover,Multiply by the square of the conformal factor . The resulting metric is regular on the appropriate boundary pieces and preserves the null directions. Suppressing the angular two-spheres gives a triangular Penrose diagram with radial null geodesics at degrees.
The line is the ordinary timelike centre . The upper sloping edge is future null infinity, reached with and finite ; the lower sloping edge is past null infinity, reached with and finite . The vertices and are future and past timelike infinity, denoted and . The vertex is spacelike infinity, . These are limiting endpoints in the conformal completion, rather than ordinary physical events. In particular, finite diagram coordinates at null infinity do not imply finite physical affine parameter.
The four-dimensional radial diagram is the triangle , . If one instead draws two-dimensional Minkowski spacetime with a signed Cartesian spatial coordinate, the diagram is the full diamond. The centre is a boundary of the radial quotient, not a boundary of the physical four-dimensional Minkowski spacetime.
Kruskal extension and the radial Minkowski Penrose diagram
. Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 49 1 Solution Created 2026-10-03 Updated 2026-10-06
Use Minkowski spacetime signature and a closed spatial parameter of period . Choose the future-directed branch with positive lapse .
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 and . 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 . Eliminating momentum using leavesOn a patch with spacelike spatial tangent, variation of gives , hence . For the induced worldsheet metric , this gives . Variation of then gives on the positive branch. Substitution yieldsThis is minus string tension times Lorentzian worldsheet area. Vary the area using 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, , so the equations become . The time and out-of-plane coordinates satisfy them immediately. For , both and are . The relations and verify the Virasoro constraints. Equivalently, , , solve the phase-space equations and constraints at all times.
The ring stays in a fixed plane, with radius . It contracts to a point and re-expands. Each labeled point moves radially with speed in target time . The geometric ring repeats after target-time interval , 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 . 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 . Then and the time equation gives . The free variation of time forces , hence at each end. Since is nonzero, the remaining spatial term requiresFree variation in every spatial direction gives , and together with gives the free-end string boundary condition . 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 , the canonical equations implyFor the second identity, antisymmetry cancels the terms. Integration by parts then cancels the terms and the symmetric terms. For free ends individually, so both charges are constant. In conformal gauge, the same result follows from and . Target-space energy is .
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.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 49 3 Solution Created 2026-10-03 Updated 2026-10-06
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 . On the positive-lapse branch, choose the independent metric, up to a positive Weyl transformation, asIts determinant is . Multiplication by recovers the reduced density, including the mixed term . This proves the phase-space identification of the Polyakov metric.
Conformal gauge and residual coordinate freedom. In the Hamiltonian formulation, conformal gauge is . The equations become , while and remain as constraints. In the metric formulation, conformal gauge is , or simply after fixing Weyl invariance. The metric parametrization proves these choices equivalent. Gauge-fixing the metric does not discard the Virasoro constraints.
With , independent reparameterizations multiply the flat metric by a conformal factor. A compensating Weyl transformation restores its chosen representative. Infinitesimally the Conformal Killing equation is . 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 , 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 . In metric gauge fixing, the trace is removed by Weyl invariance, and a worldsheet diffeomorphism changes the trace-free metric throughConsequently is a vector ghost and 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 for and for , so the supplied bc ghost system expression gives . 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 and . They measure squared center-of-mass energy and momentum transfer. In the specified units , the external tachyon mass squared is , so .
The Gamma function residue at is . At , its argument varies with the opposite sign to . The Gamma function recurrence givesThus the Veneziano amplitude pole residues areFor generic fixed the simple poles are . A zero of the residue product at an exceptional negative integer makes the corresponding pole removable. Fixed must be away from its own channel poles; fixing it at a channel singularity does not give an ordinary finite meromorphic function of .
At , the residue is . This is proportional to , 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 , one has ; at this pole , 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.
