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 2007 iii Paper 54 4 Solution Created 2026-10-03 Updated 2026-10-14
Take on the strip . Varying the Grassmann-odd worldsheet Majorana fermions gives , and, up to the orientation of the strip boundary, the surface termAt each endpoint it vanishes if with , with the same relation on variations. A common sign can be absorbed by redefining one chiral field, so set . Since and , the second endpoint imposes . Equal endpoint signs give the periodic Ramond sector, and opposite endpoint signs give the antiperiodic Neveu–Schwarz sector:These gluing choices preserve the Neumann-endpoint worldsheet supersymmetry conditions and give integer or half-integer worldsheet Majorana fermion modes, respectively.
First fix a normalization issue in the original PDF. With its stated canonical string oscillator algebra, the standard superconformal current mode iswithout the printed factor . To check the Ramond supercurrent zero-mode square directly, pair positive and negative integer modes:The zero-mode Clifford relations give . Different anticommute, and so do with the zero-mode term. The two same-sign terms in vanish by antisymmetry of the fermions and symmetry of the bosonic product. The cross terms giveThe second term comes from commuting through , so the frequency factor is essential. ThereforeHere uses vacuum-annihilating Ramond normal ordering; its string intercept is zero. A plane-to-cylinder central shift must be included consistently if a different zero-mode convention is used.
For the mode actually printed, the algebra instead gives . Already the oscillator-free term gives , whereas . Thus the requested identity is not valid with both that prefactor and the supplied string oscillator algebra. Removing the prefactor gives the identity just derived. Renaming as would fix this isolated equality but would spoil the usual Virasoro normalization and the subsequent mass formula. We use the standard normalized modes in the remaining physical constraints; their vanishing is unaffected by a common nonzero rescaling.
The RNS string physical-state conditions in the two sectors areThe last condition is the fermionic zero-mode constraint; its square implies the Ramond mass-shell condition. Physical null string states are quotiented. Matter central charge is , while the reparameterization worldsheet ghost fields and superconformal ghosts contribute . Thus is the critical dimension of the RNS superstring, with and .
To solve the constraints, choose , so , and work on a patch with . In light-cone gauge in string theory fix all nonzero and all to zero. For the Ramond sector, the printed restriction to nonzero fermion modes is not by itself complete: one must also reduce the longitudinal fermionic zero modes using the zero-mode supersymmetry constraint. The usual reduced light-cone description sets the remaining to zero as well and retains the transverse Clifford algebra. Covariantly this reduction is the Dirac equation on the ground-state particle polarization; it is not an extra unconstrained canonical string oscillator.
With this reduction the string oscillator generators have the formRepeated runs over the eight transverse directions. The coefficient in comes from the fermion worldsheet stress tensor ; for , positive and negative combine to give the occupation energy . Thus the light-cone super-Virasoro constraints are explicitly solved byHere is in the NS sector and zero in the R sector. The zero-mode equation says . All longitudinal excitations are consequently determined by transverse bilinears. The critical dimension and string intercepts are necessary for the resulting quantum theory to preserve the target Lorentz algebra.
The frequency-weighted Neveu–Schwarz level operator isThe PDF's displayed number operator omits the fermion frequency weights and the term. With the stated anticommutators that cannot be a level operator: it would assign no level to the first fermionic excitation. The bosonic term already includes its frequency through , whereas the fermionic term must include its frequency explicitly.
One independent way to obtain the string intercept is the transverse zero-point energy. Each periodic boson contributes . Each antiperiodic real fermion contributes , with the minus sign due to fermionic normal ordering. For example a common exponential cutoff givesSubtracting the local divergent terms leaves , so the NS string intercept is . In the Ramond sector the integer fermions instead contribute per component and cancel the bosonic contribution, giving .
The unprojected NS sector oscillator vacuum has andIt is a spacetime scalar tachyon. The first excitation has and is massless, with eight vector particle polarizations. Covariantly its particle polarization obeys modulo the longitudinal null particle polarization, leaving the same eight degrees of freedom.
The R sector oscillator vacuum is also massless, but it is degenerate because . The operators give the target Clifford algebra, and becomes . At nonzero null momentum this Dirac equation leaves sixteen unprojected on-shell spinor states. Equivalently the eight transverse zero modes give the sixteen-dimensional spin representation of . Thus the Ramond ground state describes spacetime fermions, not a single scalar oscillator vacuum.
To define the GSO projection explicitly, let count excited NS fermions and give its vacuum even parity. ThenIt retains odd fermion number, removes the tachyon, and retains the eight massless vector particle polarizations. In the Ramond sector let be transverse chirality and count nonzero-mode fermions. Choose one consistent chirality sign and useEach operator squares to itself. At the ground level retains one eight-dimensional spinor chirality, so the retained spectrum has eight massless bosonic and eight massless fermionic states. The parity convention can instead assign the NS vacuum odd parity and write a plus projector; the retained states are identical.
Equality continues at every mass level. Let count , suppressing common momentum and endpoint-label factors, and set . The projected string oscillator generating functions areThe Ramond factor eight follows because either chirality projector selects eight ground states for every nonzero-oscillator parity. The Jacobi abstruse identity makes the bracket equal to , soThis proves level-by-level equality of bosonic and fermionic multiplicities. The appropriate spacetime supercharge from an RNS spin field relates the two sectors; the projection ensures that it acts within the retained state space. These sector and chirality conventions agree with the primary superstring lecture notes. Equal total counts alone are not the definition of the projection; they follow from the stated parity selection and the string oscillator identity.