Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 3 Solution Created 2026-10-03 Updated 2026-10-14
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators areThe classical oscillator Poisson brackets give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator givesFor example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.
At , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decompositionThe mass is . The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states , with , shiftThe additional level-two scalar Virasoro null state shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and useTake and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the part, the bosonic variation is , while the fermionic variation is . Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translationOn the same translation follows using and ; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.
The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ,The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 53 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target-space signature and let a dot between target vectors denote contraction with the Minkowski metric. Varying the string embedding map in the Polyakov action, with periodic variations around the closed string, givesThus the embedding equation of motion isThe independent worldsheet metric variation uses . It sets the worldsheet stress tensor to zero:In conformal gauge, , the Weyl factor cancels. Define worldsheet derivatives . The equations and Virasoro constraints reduce toEquivalently, , and . The free wave equation permits independent periodic left- and right-moving fields.
Take and the uncompactified closed-string mode expansionThe Virasoro generators are the Fourier coefficients of the two quadratic worldsheet stress tensors. Their quantum expressions areThe canonical commutation relations are , with an identical tilded algebra and commuting chiral sectors. Normal ordering places annihilation modes to the right. It gives , where , and similarly on the other side. In old covariant string quantization, physical string states obeymodulo physical null string states. Negative generators are adjoint constraints on bras, not further annihilation conditions on the same ket. In critical bosonic string theory, and the string intercept is . These closed-string physical-state Virasoro conditions implyThus the massless first closed-string level has , and its general state isTo derive the polarization tensor constraints, the oscillator algebra gives . Applying to this state replaces by ; the independent tilded condition replaces the other oscillator by . All higher positive generators annihilate the state automatically. ThereforeThere is no condition that the tensor trace vanish: each chiral side has only one oscillator, so neither nor imposes a trace condition. The null-state quotient of a string also identifiesFor example, is a momentum-longitudinal state with zero inner product against every transverse physical polarization. This explains the string-state gauge redundancy, rather than merely counting covariant components. For an ordinary nonzero null momentum, choose a frame adapted to . The constraints remove one null direction in each index, and these null-state identifications remove the remaining longitudinal directions. The representatives are then , .
Decompose that transverse matrix into its symmetric trace-free part, antisymmetric part and trace. They describe the graviton, Kalb–Ramond field and dilaton, respectively. Their particle polarization counts areThese are representations of the rotational part of the massless little group. The dilaton corresponds to the transverse trace; a covariant scalar polarization can be written proportional to , with and . It is transverse in both indices and has trace 24. The nonzero-momentum assumption is appropriate for propagating particle states; zero momentum requires separate treatment of gauge and background zero modes.
In a general background, these fields replace the flat-space free action by the string nonlinear sigma model. A convenient Euclidean convention isHere is the orientation density; reversing its convention changes the displayed sign of the two-form coupling. The metric tensor is , is the antisymmetric Kalb–Ramond field, and is the dilaton. Their worldsheet couplings reproduce the corresponding massless closed-string vertex operators when expanded about flat space. The Polyakov path integral integrates over embedding fields and metrics modulo worldsheet diffeomorphisms and Weyl transformations; gauge fixing supplies ghost determinants and moduli integrations. Quantum consistency of a general background additionally requires vanishing sigma-model beta functions, not just insertion of arbitrary backgrounds into a free theory.
Finally, separate the constant dilaton mode, . By the Gauss-Bonnet theorem, its action isFor a connected oriented surface of genus , its Euler characteristic is . Defining the string coupling by givesThus the string genus expansion is a topology sum with two extra powers of per handle. An amplitude with canonically normalized external closed-string vertices has the additional vertex normalization , so its overall factor is . The curvature term, rather than a guessed coupling inserted at each internal interaction, supplies this dependence directly from the functional integral.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 53 2 Solution Created 2026-10-03 Updated 2026-10-14
Distinguish target-space light-cone coordinates from the worldsheet labels. In target space take , so the Minkowski metric is . After conformal gauge has been chosen, the residual transformations of and may be used, on a patch with , to makeFor an open string on , the conventional normalization is . For the closed-string convention of the preceding solution, . In either case, the two Virasoro constraints readSince , they determine the longitudinal coordinate:Its oscillator content is fixed by the transverse coordinates, leaving independent fields. This is the light-cone gauge in string theory; it solves the constraints rather than imposing them afresh on each transverse state.
For Neumann boundary conditions at both endpoints, the open-string expansion isThe transverse string oscillators satisfy , , and . Define and . The solved longitudinal modes, including the zero-mode constraint, areThe critical bosonic string theory has 24 transverse bosons. Their regulated oscillator vacuum energy is , since the finite term of is . Thus the normal-ordering constant of a string is . A normalized transverse Fock space basis for general excited physical string states iswith finitely many nonzero occupation numbers. Arbitrary physical states are superpositions of this basis, with each momentum on its corresponding mass shell. The string level operator and open bosonic string mass spectrum giveAll spatial directions have free endpoints, so this string ends on a space-filling D25-brane. More generally, a D-brane has Neumann boundary conditions along its worldvolume and Dirichlet boundary conditions in its transverse directions; a D-brane has spatial worldvolume directions. A stack may additionally supply Chan-Paton factors, without changing the oscillator construction above.
To see T-duality of D-brane boundary conditions directly, decompose the compact coordinate as and define its dual by . Differentiation givesTherefore the original Neumann boundary condition becomes at each endpoint. The dual endpoint coordinate is time-independent: the dual condition is Dirichlet. Conversely a fixed endpoint in becomes Neumann in the dual coordinate. For a circle, the T-duality radius is . A wrapped Neumann brane loses one spatial dimension in the dual picture, for example D25 becomes D24. The two dual endpoint constants need not be identical; their positions encode the original Wilson-line data.
For the separated-brane problem, use two static parallel D-branes and no relative angle or background field. Let their displacement in transverse directions be , with . A Dirichlet coordinate contains the classical termThe spatial gradient contributes to the worldsheet HamiltonianParallel branes have integer modes in their NN and DD directions, so their oscillator vacuum energy is still . The zero-mode Virasoro constraint is consequentlyWith string tension , the Open string stretched between D-branes hasThe classical stretching energy is , while the quantum ground-state energy, when real, isThe vacuum correction is an additive term in energy squared, not a constant subtraction from the classical stretching energy. It follows that the bosonic stretched-string tachyon threshold isBelow this threshold the lowest state is a tachyon: small-momentum modes have imaginary frequency and the background is unstable, rather than having an ordinary real negative ground-state energy. It is massless at the threshold. The assumption of parallel branes is needed for the integer moding used here; relative angles change the vacuum contribution.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 54 1 Solution Created 2026-10-03 Updated 2026-10-14
Use the mostly-positive target Minkowski spacetime metric and a closed string coordinate . In conformal gauge, variation of the Polyakov action gives . The compact coordinate, denoted , can change by around the closed string, with . Write . Integrating the two chiral wave solutions and expanding their periodic parts gives the closed-string mode expansionReality imposes and the analogous condition in the other chirality. The classical compact momentum is continuous; quantization of a wavefunction on the circle subsequently gives with . The momentum and winding modes are most conveniently packaged asFor noncompact directions both zero modes are . Thus the formula includes both independent string oscillator families and all compact topological sectors.
Define the worldsheet stress-energy tensor by . Its normalization and components areAn overall rescaling of the named worldsheet stress tensor does not alter its vanishing. Variation of the independent worldsheet metric imposes , equivalently . These are the Virasoro constraints that restrict the otherwise general wave solution.
The conjugate momentum density is . The gauge-fixed Hamiltonian generating translation is thereforewith the analogous tilded generators. In particular, before imposing the Virasoro constraints,The target momentum includes its timelike component, so this is not a positive particle-energy formula. On the classical constraint surface the reparameterization Hamiltonian vanishes; target energy is the separate charge . The difference imposes the residual spatial constraint.
In the quantum theory the same quadratic expressions require normal ordering: makes different orderings differ by divergent constants. Their regularized finite remainder is the normal-ordering constant of a string, or string intercept. The Virasoro central extension also appears. In the critical 26-dimensional bosonic string theory, the 24 transverse string oscillators give one-unit string intercept in each chirality. For example their regulated chiral vacuum energy is using zeta function regularization. The physical zero-mode constraints are .
Let be the mass seen in the remaining 25 noncompact dimensions. Substituting the compact zero modes in these two constraints givesTaking their mean and difference yieldsThis sign of compact-circle closed-string level matching follows from assigning tildes to the left-moving sector. Under T-duality, set , , . Then and , so reversing the compact right-moving string oscillators implements the transformation while leaving unchanged. Both the mass equation and closed-string level matching are invariant. This proves invariance of the full closed string spectrum, including its string oscillator degeneracies, rather than only the zero-mode contribution.
A D-brane with spatial worldvolume directions, called a D-brane, is a -dimensional timelike submanifold on which open string endpoints have Neumann boundary conditions tangentially and Dirichlet boundary conditions transversely. Apply T-duality to the compact coordinate by . The differential relationsinterchange the two endpoint conditions. Consequently a D-brane wrapping the original circle becomes a D-brane localized on the dual circle. Its compact Wilson line specifies that position. This is T-duality of D-brane boundary conditions.
The separated-brane configuration must instead have the circle transverse to the D-branes. Two parallel D-branes wrapping the same circle cannot be separated along that worldvolume direction. Thus the latter part describes a new orientation, with both endpoints subject to compact Dirichlet boundary conditions. If their positions differ by , an oriented Open string stretched between D-branes has displacementOn , its compact classical solution has a linear part , plus sine modes vanishing at the endpoints. This adds to the Virasoro generator zero mode. Thus, for momentum along the D-branes,The second equation is the quantum rest-energy squared of the string oscillator ground state; the smallest one uses the shortest allowed compact separation . Classically the straight string energy is . The quantum ground state is a tachyon if , so in that regime it is an instability rather than a state with real rest energy. Dropping the string intercept would describe the classical stretched string, not its quantum ground state.
The transverse-circle T-duality changes these two D-branes to D-branes wrapping the dual circle. Their positions become the eigenvalues of a constant gauge connection. The Wilson loop phases are . A string connecting D-brane to D-brane has dual compact momentumIts momentum contribution to is exactly the former stretching term, including every winding sector. Qualitatively the two geometrically coincident wrapped D-branes are distinguished by their Wilson lines, and their connecting strings have shifted momentum quantization. This is how brane separation becomes a Wilson line.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 54 2 Solution Created 2026-10-03 Updated 2026-10-14
In conformal gauge, a free closed bosonic string has , periodicity in , and the two Virasoro constraints . Its left- and right-moving string oscillator families have independent Virasoro generators and . In old covariant string quantization, a physical string state obeyswith in the critical bosonic string theory. The two zero-mode conditions also impose closed-string level matching. For an open string, keep just one string oscillator family. Negative-mode constraints are adjoints on bras, not additional annihilation conditions on physical string states.
A spurious string state is a Virasoro descendant orthogonal to every physical string state: if , then follows from and . A null string state is a spurious state that is itself physical. It consequently has zero norm and is removed in the null-state quotient of a string. The calculations below concern one string oscillator family and use
For with and all positive modes zero, . AlsoIt is therefore physical for string intercept one and spurious by construction. In particular . This proves the requested level-one descendant is null.
For the scalar descendant, write with and positive modes zero. Direct commutation givesFor instance and . Modes annihilate because every remaining positive mode annihilates its parent. Hence the physical scalar descendant requires and :It is spurious, so physicality also proves orthogonality and zero norm without an extra positivity assumption.
The printed coefficient does not give this null string state. It instead gives , generally nonzero. For a normalized highest-weight parent with weight at , the descendant Gram matrix isThus the printed vector has norm , whereas the corrected vector has norm zero. This is a genuine PDF coefficient error. Away from 26 dimensions even the corrected coefficient does not give the claimed physical null string state; the remaining condition is .
The level-two open string state also needs a source correction: its vector string oscillator must be , not the printed . A single has level one and cannot share the stated mass-shell condition with the two- term. Put , and write the genuine level-two state asThe mass-shell condition gives , so . The commutators above giveFor the second formula, the contraction from the two operators is exactly , not twice that value. Modes vanish automatically. We have derivedThe coefficient formulas in the question are consequently consistent after the string oscillator correction and with .
To prove the full level-two open-string polarization decomposition, not merely check one candidate, defineThe constraints give and therefore . Contracting with givesIts trace is . Thus is symmetric, traceless and transverse. Conversely, arbitrary , a vector with , and such a tensor giveand direct contraction verifies both constraints. The number uses ; it would not reproduce the same unrestricted trace in arbitrary dimension.
Finally the two unphysical pieces are precisely the descendants already proved null. The vector part iswhose parent has and all positive modes zero because . For the scalar part useThenhas exactly the scalar tensor and vector . The momentum vacuum has and positive modes zero, as required. HenceThe physical quotient contains only the transverse traceless tensor. Its massive little-group space has dimension , agreeing with the light-cone gauge in string theory count at level two.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 52 2 Solution Created 2026-10-03 Updated 2026-10-14
Start by using the metric equation of the Polyakov action to retain the Virasoro constraints after choosing conformal gauge. In the light-cone gauge in string theory, make proportional to worldsheet time on a patch with nonzero . The constraints determine from the transverse coordinates, so its oscillators are not independent physical excitations. Neumann boundary conditions make each transverse coordinate a cosine standing wave on the open interval. Quantize these waves as independent harmonic oscillators and build their Fock space on the momentum-labelled vacuum. There are transverse directions in the critical bosonic string, and the normal-ordering intercept is one. Thus physical oscillator states have nonnegative occupation numbers and level , with . Continuous center-of-mass momentum is not part of the discrete oscillator degeneracy.
For each mode and transverse direction, summing its occupation numbers gives . Therefore the open-string oscillator degeneracy generating function isThis is the Cauchy coefficient formula. The original PDF's power is an index error: it extracts , and would give zero for the vacuum , which actually has one oscillator state. Any positively oriented circle strictly inside the unit disk works.
Put with . Expand the logarithm and sum the geometric series to obtainSince , dominated convergence gives . Thus the leading singular term is .
The subleading term printed in the PDF also needs correction: the product implies , rather than . To obtain the coefficient needed for the final power law, use and the Dedekind eta function. Its definition gives . The modular identity , recorded in NIST's eta transformation formulas, and the product at large imaginary argument giveSince , this yieldsThe printed logarithmic correction cannot be used to derive the stated prefactor; the corrected correction does.
For the saddle-point approximation, change the coefficient contour to . Its local contribution isSet . The positive saddle is , with and . Along the local vertical steepest-descent direction , the exponent is to quadratic order. The factor varies negligibly over its Gaussian width. HenceThis proves the large-level degeneracy of an open bosonic string, including the otherwise unspecified leading constant. The factor comes from the eta prefactor and from the saddle width. As allowed, no bound on the remote part of the contour is needed.
At high mass, , so the density grows exponentially as within units . A canonical sum with cannot converge for , regardless of polynomial prefactors. This suggests a Hagedorn threshold and a breakdown or transition of the ordinary dilute-string thermal description. The power prefactor can make the partition sum itself finite at the threshold while sufficiently high energy moments diverge; the asymptotic count alone does not prove an absolute upper temperature. These are properties of the formal high-level spectrum, separate from the tachyon instability of the bosonic vacuum.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 46 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target signature and worldsheet signature . The Polyakov action has local worldsheet diffeomorphism and Weyl invariance, together with global target-space Poincaré symmetry. Under a worldsheet coordinate change , the embedding coordinates are scalars and the worldsheet metric is a tensor:A Weyl transformation acts as and leaves unchanged. In two dimensions scales by and by , so the action is invariant. Target translations act by , and Lorentz transformations by with ; they leave unchanged. Infinitesimally the latter have , where .
Locally, the two diffeomorphism functions put the metric into the form , and Weyl invariance removes the conformal factor. In this conformal gauge, the embedding coordinates are free scalar fields and satisfyThe metric equation must still be imposed after gauge fixing. Varying the ungauged metric gives the worldsheet stress-energy tensor constraintWith a dot and prime denoting the two coordinate derivatives, the independent Virasoro constraints areequivalently . Local conformal gauge leaves residual conformal transformations; on general worldsheet topologies it also leaves global moduli, rather than removing all metric information.
For target translations, differentiation of the Lagrangian with respect to gives the Noether currentThe embedding equation is . In conformal gauge, , so integration over the closed string givesPeriodic boundary conditions make its time derivative vanish. For an infinitesimal Lorentz transformation, the antisymmetric coefficient of gives the current . Its divergence vanishes because the remaining product of embedding derivatives is symmetric in . Thus the Noether charge isThese are the target-space Noether charges of a string.
For the circular solution take , and let and . Its derivatives areEach spatial coordinate has equal second derivatives in and , while the time coordinate has both second derivatives zero. Furthermoreso both the field equations and the Virasoro constraints hold, including the collapse instants.
At target time , the string is a circle in the plane of radius . It contracts from radius to zero and re-expands; the negative cosine reverses material labels by a half-turn rather than creating a negative radius. The spatial configuration repeats after target time . This is a pulsating circular string. Its induced metric degenerates at collapse, but the conformal-gauge embedding and constraints give its continuation.
The integrals of and vanish, so the momentum isThe spatial velocity is radial, giving zero angular momentum density in the plane; all boost-charge terms integrate to zero as well. Hence for every pair of indices.
At maximum expansion, all string elements are instantaneously at rest, and the length is . Thus the rest mass per unit length, equal to the string tension, isAt other times the instantaneous circumference is , and the elements have speed . Their Lorentz factor is , so the energy remains . The rest-energy density is ; the total rest-frame energy divided by the changing circumference is not constant. This distinguishes the requested intrinsic mass density from the larger energy density of moving string elements.
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 2012 iii Paper 51 2 Solution Created 2026-10-03 Updated 2026-10-07
Let be the induced worldvolume metric and write . 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 ; fixed directions require Dirichlet boundary conditions . 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 , variation of the inverse worldvolume metric givesTaking the trace yields . For , this forces , and substitution gives . 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 , the traced metric equation is an identity, and the remaining equation only says . It fixes the worldsheet metric up to a Weyl transformation, rather than determining it uniquely. Indeed is Weyl invariant precisely in two worldvolume dimensions, and the constant term vanishes precisely at . 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 on . The embedding equation is the wave equation, and NN means at both spatial endpoints. For these operator formulas restore the conventional overall normalization , with ; the overall factor does not change the preceding classical equations. Its open-string mode expansion isReality requires . Canonical quantization givesThe metric equation is the vanishing of the worldsheet stress tensor: . 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 has modes 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 is the zero-mode ordering constant. The standard critical bosonic string theory has and ; in light-cone gauge in string theory the transverse zero-point energy gives , while full anomaly-free Lorentz or BRST quantization fixes the critical values. The mass constraint is then , with .
To compute the Virasoro algebra, commute a quadratic generator with one string oscillator:These identities and the Jacobi identity imply that commutes with every string oscillator and with the center-of-mass coordinates and momenta. Mode number permits a scalar term only for . Its coefficient follows from the formal zero-momentum Fock vacuum, on which . For ,The two possible string oscillator contractions giveThe timelike target coordinate still contributes one to this central charge: its two metric signs cancel in . ConsequentlyThis is the free-boson Virasoro central term. It vanishes for the three global conformal modes .
To keep the intercept convention separate, define . The Virasoro zero-mode shift changes the displayed central term toThe matter central charge here is , not . Covariant worldsheet ghost fields contribute ; their inclusion cancels the anomaly at , while the intercept is handled by the appropriate zero-mode and physical-state convention.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 46 2 Solution Created 2026-10-03 Updated 2026-10-07
First-class reduction. A regular set of independent constraints is first class when their Poisson brackets vanish on the constraint surface, equivalently locally . The coefficients can be functions on phase space. With the generator , an infinitesimal canonical gauge transformation isEach independent first-class condition removes one phase-space dimension, and quotienting its independent gauge orbit removes another. Thus the regular physical phase space hasThis regular first-class phase-space reduction requires independent constraints and gauge directions. The count can fail at singular strata or for reducible constraints; first-class closure alone does not guarantee independence. For a concrete counterexample to counting redundant equations, take two canonical pairs and , . Both equations are first class, but there is only one independent condition and one gauge direction. The surviving pair has dimension two, whereas blindly substituting gives zero.
Oscillator symplectic form. The center-of-mass pair describes translations and total momentum. The nonzero Fourier coefficients describe the standing-wave modes compatible with free-end Neumann boundary conditions; their reality condition is , and in the standard normalization. For , regarding as a complex coordinate makes its conjugate momentum . Equivalently write . Up to a total derivative, its kinetic term is , a real canonical form. Inverting this oscillator symplectic form of an open string givesThe zero oscillator commutes with nonzero oscillators but is not independent of : . Brackets between the center pair and independent nonzero oscillators vanish.
The quadratic constraints obeyFor example, the two terms in the bracket with give equal contributions after relabelling . Applying this identity to both factors of givesThis classical Virasoro constraint algebra has no central term and closes on the constraints, hence is first class. For , the oscillator gauge transformation isReality is respected when .
Light-cone reduction and mass. Choose light-cone coordinates ; a vector square is , with transverse components. On the proposed gauge slice , the variation becomesFor , every nonzero-mode gauge parameter has an invertible coefficient, so the conditions locally fix the corresponding gauge freedom. Globally this is the usual patch in which is an admissible worldsheet clock; it is not a claim about strings for which that coordinate has turning points. The zero-mode reparameterization is left over.
On that slice the nonzero Virasoro constraints are linear in the longitudinal oscillators:No nonzero longitudinal oscillator remains independent. The residual action isThis residual mass-shell action in light-cone string gauge displays the remaining zero-mode constraint. At the quantum level normal ordering replaces its oscillator term by . One can further set equal to time and solve for the light-cone Hamiltonian .
Canonical quantization gives the transverse relationsHere , annihilate the oscillator vacuum, and create excitations. Define for . The string level operator isThus it counts oscillator number weighted by mode number, and has nonnegative integer eigenvalues. The residual mass-shell condition givesThe constant is the normal-ordering constant of a string, or intercept, not an extra classical tension. In the usual Lorentz-invariant critical bosonic string, level one carries the transverse polarizations of a massless vector. A massive vector would need polarizations; the longitudinal one is not present. Lorentz consistency therefore requires that this vector level be massless, giving . Equivalently the regularized transverse zero-point value gives . This critical-vector assumption in the string intercept argument concerns the usual critical quantum theory. In the lone transverse level-one polarization transforms trivially under the transverse rotation group; a massive scalar interpretation is not excluded by counting. Thus the stated masslessness conclusion is not a consequence of polarization counting for arbitrary . An arbitrary intercept in a transverse oscillator model also need not define the usual covariant critical theory.
The full self-dual massless spectrum. In the closed-string sector, and are the independent nonnegative integer oscillator levels of the two chiral sectors. The integer quantizes center momentum around the circle, , and counts how many times the string winds it. At the self-dual circle , zero mass requiresBoth levels are nonnegative, so their sum is at most two. Exhausting these possibilities gives the massless spectrum at the bosonic self-dual circle:
- , : all states , with arbitrary transverse polarizations.
- , or : one left-sector level-one oscillator with any transverse polarization.
- , or : one right-sector level-one oscillator with any transverse polarization.
- , : four oscillator ground states made massless by their momentum or winding energy.
The last family is easy to miss because the uncompactified ground state is a tachyon; its positive compact energy cancels that negative contribution at these charges. There are no other possibilities: at level sum one, forces both charges to be ; at sum zero, gives exactly the four listed pairs. With transverse oscillators the number of independent massless polarizations is , hence 676 in the critical bosonic theory. The circle oscillator is included among the components; it should not be discarded when interpreting the lower-dimensional scalar states.
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.