Level-two scalar Virasoro null state 2026-10-06
For , the descendant obeys and . It becomes physical and null at 26 and supplies the scalar quotient needed for the massive spin-two light-cone gauge in string theory spectrum.
In one critical chiral RNS string sector, light-cone gauge in string theory leaves eight transverse directions. The Neveu–Schwarz sector massless states give eight spacetime bosonic polarizations. The Ramond zero-mode Clifford algebra gives sixteen ground-state polarizations, split into two eight-dimensional spinor chiralities. The supersymmetric GSO projection keeps one chirality, giving eight spacetime fermionic polarizations. Without that projection the massless counts do not agree. Counting a chiral sector is distinct from tensoring left and right sectors into closed-string states.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 67 2 Solution Created 2026-10-03 Updated 2026-10-14
The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints areIn conformal gauge, , so these become . Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.
For clarity, start with a Neumann boundary condition at both ends of an open string, . Its open-string mode expansion isCanonical quantization gives the string oscillator relationsWith , the worldsheet stress-energy tensor obeysSubstituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator increases by when an oscillator is added.
Using the commutator once givesApplying this to the quadratic expression for produces , together with the double-contraction Virasoro central extension. To determine its coefficient, take and evaluate on a zero-momentum oscillator vacuum. Only the creation pairs with contribute, givingHere is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. ThusThis derives both the Virasoro generators and their quantum anomaly.
In old covariant string quantization, the physical-state Virasoro conditions for an open string arewhere is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, and . Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching and .
Covariance initially retains the timelike string oscillators. For example, has negative norm because . Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at and , the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.
A spurious string state has the form . Its inner product with every physical string state vanishes, by and . Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 67 5 Solution Created 2026-10-03 Updated 2026-10-14
The RNS string adds worldsheet Majorana fermions to the coordinate fields . The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action iswhere are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current .
Each real worldsheet Majorana fermion contributes to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes , and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights , with central charge . ThusIn light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.
On the doubled spatial interval of an open string, the two allowed fermionic periodicities areThey arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators , including , and the Neveu–Schwarz sector has half-integer oscillators , , without zero modes. In either sector,A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.
The Ramond zero-mode Clifford algebra isHence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation . In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.
The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is . Per fermion it is the negative of the corresponding half-sum. Since , the eight transverse pairs giveThus , , and the open string mass formula is . This distinguishes the lowest states explicitly:
- In the NS sector, the level-zero scalar is a tachyon with . At level , is a massless vector. The supercurrent and Virasoro constraints give and the equivalence . There are eight physical vector polarizations.
- In the R sector, the level-zero states are massless spacetime spinors satisfying the Dirac equation. Before the GSO projection, the two chiralities together give 16 on-shell polarizations; they split into the two eight-dimensional transverse spinor representations.
The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining so that the NS vacuum has , its projector isIt removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may writeHere counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.
For a closed string, both chiral zero-mode constraints must hold:This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.
- The NS-NS sector is bosonic. Before projection, is a scalar tachyon with . The GSO projection on each side removes it. The surviving lowest level is , with transverse states . Decomposing their tensor product into symmetric traceless, antisymmetric and trace parts gives the graviton, Kalb–Ramond field and dilaton, with physical polarizations.
- The RR sector is bosonic, since it combines two spacetime spinors. Its lowest states have and are massless. The two Dirac equations on the bispinor polarizations identify them with on-shell differential-form field strengths. After projection they supply 64 bosonic polarizations. The actual form degrees depend on the two chosen Ramond sector chiralities.
- The NS-R sector and R-NS sector are fermionic. Their respective lowest level-matched pairs are and , not two oscillator vacua. A vector tensored with a chiral spinor decomposes into its gamma-traceless vector-spinor and gamma trace. These give a massless gravitino and dilatino, with polarizations in each mixed sector. The vacuum pair would fail the shifted closed-string level matching, so it cannot be counted as a mixed-sector tachyon.
For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by , with transverse counts . The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are , with self-dual five-form field strength, giving . Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.
If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential , and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select . This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 50 4 Solution Created 2026-10-03 Updated 2026-10-14
Write the integrand, without its common overall factor, as . Keep each constant Grassmann variable on the left. For the first supersymmetry component, varying the bosonic term givesVarying its fermion term gives . The plus sign in the second term comes from moving the odd parameter past . The middle terms cancel and the rest form . The second supersymmetry component similarly gives . Hence, off shell,This proves the local total-derivative identity for rigid worldsheet supersymmetry; the action is invariant when the corresponding boundary flux vanishes and the transformation preserves the allowed fields. A constant parameter preserves a periodic boson and a periodic fermion. In a Neveu–Schwarz sector, however, is antiperiodic for constant and does not preserve the periodic boson. Thus the bulk identity does not supply a global constant supercharge in every spin sector. This is the spin-structure obstruction to constant worldsheet supersymmetry; the local superconformal formulation handles the different sectors consistently.
For independent field variations, integration by parts gives bulk termsThe equations of motion are thereforeFor variations vanishing at the temporal ends, the spatial seam term is proportional to the difference between its values at and ofThe bosonic part cancels for closed string periodicity, also in a fixed winding sector. For a real fermion impose and the same relation on its variation. Seam cancellation requires , so the two untwisted possibilities are periodic, (Ramond sector), or antiperiodic, (Neveu–Schwarz sector). The two chiralities of a closed string can choose these signs independently, giving R–R, NS–NS, R–NS and NS–R sectors. This discussion assumes the ordinary Lorentz-invariant untwisted boundary conditions of the flat theory.
The chiral equations and boundary signs give the following Fourier serieswhere in R and in NS. Thus integer or half-integer modes follow directly from the Fourier series monodromy. With the conventional string oscillator normalization their anticommutation relations and reality conditions areFor an open string the endpoint gluing identifies the two sets of coefficients, leaving one R or NS tower.
In ten-dimensional light-cone gauge in string theory, the eight transverse bosonic modes have positive integer level and each NS fermionic creator has a positive half-integer level. For the unprojected low levels of the open RNS string, all states through in the NS sector areThe antisymmetric index restrictions are consequences of fermionic anticommutation; the boson–fermion pair has all 64 choices. The displayed partitions exhaust levels at most . Here the NS normal-ordering constant of a string is .
In the R sector , and the zero modes satisfy . Thus generate the Ramond zero-mode Clifford algebra. The unprojected ground states span a sixteen-dimensional transverse spinor space, . All states in the requested range areThere is no intervening half-level, since all nonzero R modes have integer level. Acting with the zero modes only moves within the ground spinor space and does not generate further independent copies.
The GSO projection keeps odd NS fermion-excitation parity, removing the tachyonic vacuum and the entire NS level. In R it keeps one eigenvalue of total fermion parity, whose zero-mode part is spinor chirality. It leaves eight massless spinor states. At R level one, the retained families are and , of opposite ground chirality, so there are states. The retained NS states are spacetime bosons and the R states spacetime fermions. Consequently the retained levels have at mass zero and at , with no tachyon.
Equality at every higher mass level follows from the standard Jacobi abstruse identity, or equivalently the equality of the transverse generating functionsThe left side counts the projected NS bosons, the right side the projected R fermions. Their common coefficients start . This consistent truncation yields spacetime supersymmetry; the bulk worldsheet symmetry alone would not remove the tachyon or impose the projection.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 50 5 a Solution Created 2026-10-03 Updated 2026-10-14
Use units . In critical light-cone gauge in string theory, each chiral sector of the closed bosonic string has 24 transverse string oscillator species. Their generating function isEach factor sums the independent occupation numbers of the string oscillators at level . For with , the modular transformation of the Dedekind eta function givesExtract the coefficient by a contour integral and apply the saddle-point approximation to the exponent . The saddle is , with exponent and second derivative . The factor gives , and the Gaussian width gives . HenceFor a noncompact closed string, closed-string level matching imposes equal left and right levels, but does not correlate their transverse polarizations. Therefore the large-level degeneracy of a closed bosonic string isThe mass relation is . Thus withDistinguish degeneracy per discrete level from a smoothed density per unit rest mass. Since , the latter isThe exponential growth comes from the many ways of distributing string oscillator energy along a string; it is much faster than a fixed finite collection of particle species. The corresponding high-energy entropy is , so its microcanonical temperature tends to . Additional energy can go into very long strings rather than raising the temperature substantially.
The Boltzmann suppression competes with this exponential density. For the string oscillator rest-mass sum alone the large- tail is . It converges for and fails for . To include translational states in 25 noncompact spatial dimensions, take the one-string partition function per unit spatial volume. At large ,This follows by expanding the energy as and doing a Gaussian momentum integral. Its high-mass contribution is consequently proportional toThis integral is finite at , although nonanalytic there: its first twelve derivatives in are finite, while the thirteenth diverges. The endpoint expansion contains a term proportional to . Thus one must not assert that the canonical partition function necessarily diverges exactly at ; the polynomial prefactor and the spatial spectrum matter. This is the finite canonical partition function at the bosonic Hagedorn threshold distinction. The multi-string ideal gas has the same leading Hagedorn threshold, since the higher occupation-cycle terms probe , , and are nonsingular at .
There is also a spacetime diagnosis. Euclidean temperature makes time a circle of radius . A string oscillator ground state winding once around that circle, with zero momentum number, hasIt becomes massless at and tachyonic for . This thermal winding instability of a closed bosonic string signals failure of the perturbative low-temperature gas and motivates a transition to a different high-energy phase, often described in terms of long-string or winding-mode condensation. Free state counting fixes the threshold and its singular behavior, not the interacting phase's endpoint or the order of a transition.
Finally, the ordinary bosonic tachyon is already an infrared instability at zero temperature. The above canonical discussion is a formal analysis of the high-level spectrum with that separate infrared problem regulated. It does not establish a stable thermal vacuum of the unmodified bosonic theory; an actual equilibrium transition requires an appropriate stable setting and control of interactions.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-14
The string sigma model in a spacetime metric is the Polyakov actionTake conformal gauge , and choose spatial period for the closed string. Substitution of the plane-wave metric givesThe stipulated light-cone gauge in string theory sets and . Its longitudinal term is a total time derivative. The transverse string sigma model in an isotropic plane wave is thereforeThe resulting Euler-Lagrange equations are the massive wave equationsThese conventions fix the mass term directly from . More generally would replace by , with for this spatial period.
Use the real orthonormal Fourier basisFor the plane-wave string mode frequencies, let and . The complete real mode expansion for nonzero frequencies isEvery term obeys the wave equation and is periodic. Orthonormality and completeness let its coefficients match arbitrary appropriate initial position and velocity data. For , replace the zero-mode bracket by ; the zero mode becomes a free particle rather than an oscillator.
The canonical momentum density is . The transverse Hamiltonian isWrite and . Since and , substitution gives the plane-wave string mode HamiltonianThis is a collection of independent harmonic oscillators. The last equality follows by substituting the sine-and-cosine time dependence; each oscillator energy is constant.
For canonical quantization of each nonzero-frequency mode, putThen . Opposite travelling-wave oscillator combinations give the equivalent formFor , the formal zero-point energy is . At , replace the zero-mode occupation term by . The zero-point expression is divergent and needs a regulator or a specified normal ordering convention; no mass-independent intercept has been assumed.
The remaining Virasoro constraints determine the longitudinal coordinate:Periodicity of imposes , the closed-string level matching condition. Labelling the travelling oscillators by their opposite worldsheet momenta gives . The light-cone energy equals , consistent with the positive mass term in the Hamiltonian.
This is the classical reduction in the specified background. As a full quantum background with constant dilaton and no Kalb–Ramond field, this metric has and fails the lowest-order sigma-model beta function equation when ; additional background fields would be required for quantum Weyl invariance.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 1 Solution Created 2026-10-03 Updated 2026-10-14
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions areThus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansionThe oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , whereHere tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordinglycount 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrumTaking their difference and average yieldsEvery choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts areThe first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeysand equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur atEach charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The mapsends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle hasThe gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , soThe four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 4 a Solution Created 2026-10-03 Updated 2026-10-14
Use the critical ten-dimensional RNS string and light-cone gauge in string theory, leaving eight transverse bosons and eight transverse fermions. The bosonic oscillators have integer . In the Neveu–Schwarz sector the fermionic oscillators have positive half-integer , while in the Ramond sector the fermionic oscillators have integer , including zero modes. Their anticommutators are and . The level and mass formulas areBefore projection the NS ground state is a tachyon of mass squared . Its oscillator tower describes spacetime bosons. The Ramond zero-mode Clifford algebra makes the Ramond vacuum a 16-dimensional spinor of , split into the two chiral eight-dimensional spinors. The Ramond tower describes spacetime fermions; there is no Ramond tachyon.
Choose the supersymmetric GSO projection. In the NS sector it keeps states with an odd number of fermionic creation operators, eliminating the zero-oscillator tachyon. In the Ramond sector it fixes the combined parity of the zero-mode chirality and the nonzero-mode fermion number. Thus the Ramond vacuum retains one chirality; adding an odd number of nonzero-mode fermions requires the opposite zero-mode chirality. The projected towers both have . Here the counts refer to oscillator polarizations for a single endpoint multiplicity; any common Chan-Paton multiplicity multiplies both counts.
At the first retained mass level, , the NS states are for , furnishing the eight polarizations of the ten-dimensional gauge vector. The Ramond ground state is one chiral spinor with eight physical polarizations. HenceThese form the massless supersymmetric vector multiplet.
At the next mass level, , the NS level is . The odd-fermion condition leaves exactlyTheir counts are , and . Anticommutation requires distinct indices in the third family. There are no other partitions of with odd fermion number, so these are all 128 bosons. They assemble into the massive little-group representations of dimensions 44 and 84: a traceless symmetric two-tensor and a three-form.
At Ramond level one, the only possibilities are and . The spinors and each have eight components and have opposite zero-mode chirality because the fermionic oscillator reverses the GSO parity. Consequently there are fermions. They form a gamma-traceless vector-spinor of the massive little group: a vector-spinor has components and its gamma trace removes 16. Therefore the first massive level of the open RNS string hasThis is the open-string mass normalization; the same chiral oscillator count used in a closed string would correspond to .
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 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 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.
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 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 2012 iii Paper 51 3 Solution Created 2026-10-03 Updated 2026-10-07
A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.
Use worldsheet signature and the real gamma matricesTake with . Define the chirality matrix with the chosen worldsheet orientation byIt squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.
Writing , the fermion equation of motion becomesHenceThe first profile travels toward increasing , and the second toward decreasing . Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.
For the rigid worldsheet supersymmetry variation, let be a constant Grassmann-odd Majorana spinor. With the displayed conventions,The minus sign follows from . A second identity from the Majorana Grassmann bilinear interchange is . Keeping these Grassmann signs is essential.
The bosonic kinetic variation is . The two fermionic kinetic variations, using the two identities above, give the full resultFor the second equality use and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.
For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is ; the bc system and superconformal ghosts contribute . Therefore gives the critical dimension of the RNS superstring . Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.
In the Neveu–Schwarz sector, the normal-ordering intercept is . The massless level is and has statesThe GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave polarizations.
In the Ramond sector, bosonic and fermionic zero-point energies cancel, so and the ground states are massless. The eight transverse fermion zero modes obeyThis Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an or spinor of , the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.
Consequently the massless chiral RNS spectrum after GSO projection satisfiesThe GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.
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 2015 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-06
Solving the massive subsidiary conditions. In light-cone coordinates, use and write . The divergence condition readsThus, when is invertible,First apply this with , then with , and finally with ; symmetry supplies the mixed components already determined. The trace condition becomesThe independent components are , and the trace-free part of . Under transverse rotations they form a scalar representation, a vector representation, and a symmetric traceless rank-two tensor. ThereforeThis is the light-cone decomposition of a massive spin-two field for . In , the trace and divergence give and . The massive wave equation then forces , so there are no polarizations, consistent with the zero value of the printed count. The massive particle little group is , and its symmetric traceless square branches asThe mixed components with the extra direction give the vector; one independent trace combination gives the scalar. These are exactly the polarizations of a massive spin-two field. The remaining independent components retain the massive Klein-Gordon equation.
Transverse bosonic modes and mass levels. The variables are Fourier amplitudes of the physical transverse open-string mode expansion. Classically, reality requires . The symplectic term in the action fixes their quantum commutators:With string tension convention , the zero mode of the constraint givesThe longitudinal nonzero modes have already been removed in light-cone gauge in string theory. Quantum normal ordering introduces the string intercept , giving the open bosonic string mass spectrumEach bosonic occupation number is a nonnegative integer, so is a nonnegative integer weighted by oscillator frequency.
Suppressing the common momentum label, the lowest light-cone levels of an open bosonic string areThe oscillator vacuum is annihilated by every positive . At level one there are only vector polarizations. For a Lorentz-consistent vector, these are the transverse polarizations of a massless particle, transforming under the rotation part of its massless particle little group. A massive vector would need polarizations, including a scalar under that is absent here. Thus the first bosonic vector level must be massless, fixing .
At level two the commuting creation operators give a symmetric square. Its scalar trace and symmetric traceless square, together with the mode-two vector, are the massive-spin-two decomposition above. In the consistent bosonic theory they form one massive spin-two field with . The covariant equations describe its propagation while eliminating the redundant components. For the transverse counts are , the symmetric traceless rank-two tensor dimension of .
Half-integer fermionic modes. The Neveu–Schwarz sector has antiperiodic worldsheet Majorana fermions. Its Neveu–Schwarz fermionic oscillators obeyThe oscillator vacuum satisfies for and for . A negative fermion mode is a fermionic creation operator for a transverse worldsheet excitation. The Neveu–Schwarz level operator and mass condition areThe smallest positive frequency is , so the only first-excited states areThe same vector-polarization argument requires them to be massless in Lorentz-consistent quantization, fixing .
At , is a vector, while is the exterior square: interchanging the indices changes the sign and equal indices give zero. Together they branch from an antisymmetric tensor:Thus the Neveu–Schwarz level-one massive tensor has polarizations and mass squared . It differs from spin two because the two-fermion tensor is antisymmetric and has neither the symmetric trace-free representation nor its scalar trace. At , the count is , compared with for a massive spin-two field. The specified states are before the GSO projection; the usual tachyon-removing GSO projection also removes this integer level.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 49 4 Solution Created 2026-10-03 Updated 2026-10-06
The old covariant quantization of a free-ended bosonic string retains oscillators in all target directions. In mostly-plus Minkowski spacetime, set andTime-coordinate excitations have negative norms in this covariant Fock space. The string ghost states in this discussion are unwanted negative-norm physical states, distinct from the anticommuting Faddeev-Popov ghost fields in the path integral. Constraints and the null-state quotient of a string remove unphysical polarizations while maintaining target-space Lorentz covariance.
Why only positive-mode constraints annihilate states. The quantum Virasoro algebra isThe physical conditions arewhere is the string intercept. If both positive and negative modes annihilated states, would force . Then would force . Thus the Virasoro central extension and shifted zero mode prevent imposing every classical constraint strongly in a nontrivial string. As in Gupta-Bleuler quantization, negative-mode conditions act on physical bras, rather than also annihilating physical kets. Physical null string states are quotiented because their inner products with all physical states vanish.
The intercept bound at level one. For , the constraints and norm areIf , momentum is spacelike and its orthogonal complement contains a timelike negative-norm polarization. The level-one intercept bound in covariant string quantization is thereforeFor , momentum is timelike and the orthogonal polarizations are positive. This avoids level-one ghosts but gives a massive vector with one more polarization than the transverse light-cone gauge in string theory spectrum. Ghost absence alone is weaker than equivalence.
For , momentum is null. Its orthogonal complement contains positive directions and the null direction . The state , proportional to , is physical, spurious and null. Removing it givesThe quotient has exactly the massless transverse vector polarizations. Thus equivalence at level one selects and the null-state quotient of a string, not just the inequality.
Level two and the dimension. Set . At level two, and has . A general state isUsing , the nontrivial positive-mode conditions areThere are vector null string states with . The parent has , so the descendant norm is zero. Quotienting these leaves the massive symmetric traceless rank-two tensor plus one additional scalar.
The level-two scalar in covariant string quantization can be chosen, for every , asOn its three displayed structures, gives respectively times , and gives times the vacuum. The coefficients make both combinations vanish. The first two structures have norms and cross inner product ; the mode-two structure has norm and is orthogonal to them. For , , this yieldsAbove 26 this is a physical negative-norm string state. Below 26 it is an extra positive-norm scalar, which cannot be discarded just to force the ordinary light-cone state count. At 26 it becomes null and can be removed. Thus level-two ghost absence gives , whereas equivalence to the ordinary transverse spectrum requires .
The critical scalar is also a Virasoro descendant. For , the level-two scalar Virasoro null state candidateobeysAt it is physical and null, with . At other dimensions it is not physical, so its norm must not be treated as a physical ghost test; the already-physical gives the correct test.
Finally, the covariant level-two oscillator space has dimension . The conditions from and one from leave physical components. Quotienting vector null states and the critical scalar null state leavesthe massive spin-two field count and the level-two light-cone gauge in string theory count. The vector null descendants change the components of orthogonal to , and the critical scalar null descendant changes its component along . Thus can be set to zero. A representative then has , and . The two approaches consequently agree on the massless level-one vector and massive level-two spin-two tensor for .