Bosonic D3-brane low-energy field content 2026-10-14
For coincident D3-branes in the critical 26-dimensional bosonic string theory, the massless open-string oscillator has a four-dimensional gauge vector and 22 transverse scalar fields. Chan-Paton factors put all these fields in the adjoint of for coincident branes. Ignoring the tachyon, their leading interactions are the dimensional reduction of 26-dimensional Yang-Mills theory. This contains a Yang-Mills sector but is not pure four-dimensional Yang-Mills theory and is not the supersymmetric six-scalar D3-brane theory of the ten-dimensional superstring.
BRST nilpotence Created 2026-10-06 Updated 2026-10-07
A BRST charge is nilpotent when , making BRST cohomology well-defined. For the critical bosonic string theory, the matter and ghost central charges cancel, , and the intercept is one. In a ghost convention with a zero-mode linear shift, the shifted total constraint generators, rather than the unshifted ones, obey the centerless Witt algebra.
Massless first closed-string level 2026-10-06
In the critical bosonic string theory, the states have . Their coefficient matrix decomposes into a symmetric trace-free tensor, an antisymmetric tensor, and a scalar trace, representing the graviton, Kalb–Ramond field, and dilaton. Their transverse particle polarization counts add to . The normal-ordering constant of a string is one.
In flat 26-dimensional bosonic string theory, at ordinary nonzero momentum, take physical string states satisfying and . The inner product restricted to these states is positive semidefinite. Quotienting by physical null string states removes the degeneracy; the resulting Hilbert space is represented by the 24 transverse string oscillators. This is a statement about negative-norm matter states, not about removing the auxiliary Faddeev-Popov ghosts. It does not remove the bosonic tachyon.
Open bosonic string mass spectrum 2026-10-06
The string level operator for a free-ended open string is . The quantum condition is , where is the normal-ordering constant of a string. Lorentz-consistent bosonic string theory has .
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 66 1 b Solution Created 2026-10-03 Updated 2026-10-14
The common Neumann boundary conditions define a -dimensional timelike worldvolume: one time direction and spatial directions. The remaining Dirichlet boundary conditions fix its transverse position. An open string therefore ends on a D-brane of spatial dimension , a D-brane. For the critical bosonic string theory there are transverse directions.
If the Dirichlet constants agree at the two endpoints, both ends lie on the same planar D-brane. If they differ, the string stretches between two parallel D-branes with the same orientation but different positions. Neumann directions are tangent to the brane; Dirichlet directions are transverse to it. The brane is dynamical: tangential massless open-string polarizations supply a gauge field, while transverse ones describe its displacement, as in worldvolume fields from open-string massless states. The unprojected bosonic brane also has a tachyon; the boundary-condition interpretation does not make that ground state supersymmetrically stable.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 67 3 Solution Created 2026-10-03 Updated 2026-10-14
The Polyakov action introduces an independent worldsheet metric :Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.
After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator isThe Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost and a symmetric traceless Faddeev-Popov antighost field . In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,The two chiral copies of this bc system have conformal weights and anticommutators . They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.
The chiral holomorphic stress-energy tensor of the bc system isDouble contractions in its operator product expansion give the central charge of reparameterization ghosts . Equivalently, a fermionic bc system with antighost weight has , and gives . The free coordinate matter contributes . Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely whenThis statement assumes no additional matter or compensating Liouville field theory.
BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable . In one chiral conformal patch, its graded action has the formthere is an analogous barred copy for a closed string. The Grassmann parity makes : the term from cancels the term from applying to , while the term with vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.
For example, an open string BRST charge can be written using the matter Virasoro generators asUse the ghost oscillator vacuum and the corresponding oscillator normal ordering. In this convention the last term is in the critical theory. With a differently shifted ghost , the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficientsThe independent cubic and linear terms vanish at , . The equivalent chiral BRST current is , with its contour integral defining the charge.
The graded identity recovers the gauge constraints. In particular, on , BRST-closed imposes and . Physical states are classes in BRST cohomology,at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since , an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.
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 2012 iii Paper 51 1 Solution Created 2026-10-03 Updated 2026-10-07
Use a mostly-plus target Minkowski spacetime metric and restore the string tension by . After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string . Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.
A tachyon vertex operator isThe worldsheet Green function is . The operator product expansion with the holomorphic stress-energy tensor gives conformal weights . An integrated string vertex operator must have weights , so the mass-shell condition is , or tachyonic mass parameter .
At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry , while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.
The integral over the constant embedding worldsheet zero mode gives . The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet ; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply . Since and similarly for the pair , the sphere tachyon position integral becomesHere depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.
To evaluate the remaining worldsheet modulus, put and . The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for and ; the scattering result is its analytic continuation. The third gamma-function argument is . Absorbing into , the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at , matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus has coupling power .
Past exam of the mathematics course of the University of Cambridge 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 2014 iii Paper 46 2 Solution Created 2026-10-03 Updated 2026-10-14
Use , transverse coordinates , , and the Minkowski metricThe relativistic particle phase-space action becomesIn the light cone gauge , solve the mass-shell condition for , assuming . The reduced phase-space action is , withThe last equality selects the future-directed momentum sector and makes positivity transparent. With and , the Schrödinger equation isThe inverse acts only on Fourier modes with nonzero . Multiplication by gives . ThereforeThe light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.
For the massive two-form field, take . Apply to its field equation. Antisymmetry of makes , soExpanding , the other divergence terms vanish by this condition, leaving . The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation isTaking and , respectively, givesThe equation follows from these expressions: the two terms containing cancel and . Consequently and are independent, each satisfying the Klein-Gordon equation with mass . The number of independent particle polarizations isThis is the exterior square of the vector representation of the massive little group . In the analogous Proca equation, determines from and , leaving components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If , instead use the two-form gauge field symmetry : the light-cone gauge for a two-form removes , leaving transverse particle polarizations. The massive and massless counts are different.
In the closed-string mode expansion, are center-of-mass canonical variables, while are independent left- and right-moving transverse string oscillators. Their complex conjugates are . The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith all brackets between distinct sectors zero. The nonzero-index string oscillators obey and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum byFor , has . HenceStarting with , a finite product with creation operators of mode has eigenvalue . The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces .
There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string , these areAt the massless first closed-string level, the states areTheir transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts , , and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes . Equivalently, regularized transverse zero-point energy gives , and Lorentz consistency fixes the critical dimension of the bosonic string .
It follows that the bosonic string mass spectrum isThe ground state has and is a tachyon; level one is massless; for the mass is . The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical .
A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector areThey have components and assemble into the symmetric traceless square of the massive little group vector space . The full closed-string level is . For two symmetric trace-free matrices , the mapis an equivariant map onto antisymmetric matrices. To verify surjectivity, take diagonal with distinct entries in positions and with only its symmetric entry nonzero. Their commutator gives the antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly particle polarizations and is described by the massive field equation with . At this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components and 276 components .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 46 4 Solution Created 2026-10-03 Updated 2026-10-06
Take an oriented closed string in flat, critical bosonic string theory, with and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike would not be convergent.
An external tachyon is represented by the tachyon vertex operator , with conformal weights . The physical integrated vertex has , so . Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, . Fix three insertion points, accompanying their unintegrated vertices by the required ghost factors. The remaining complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.
The embedding fields are free, withTheir zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factorThis explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.
Use all-incoming external momenta and introduce alongside the two printed dimensionless Mandelstam variables. Since and , one obtains . The physical center-of-mass energy squared in the channel is . The channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form givesThe Gamma function poles imply, at generic fixed values of the other invariant,The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An -channel pole occurs when the intermediate momentum satisfies the mass-shell condition for a closed-string state:The pole at exchanges the ground-state tachyon, the pole at exchanges massless states, and the positive integer poles exchange the infinite massive tower. The -channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.
For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residueThe residue polynomial has degree , consistent with maximum spin in the exchanged level. The amplitude also has the corresponding -channel poles by crossing symmetry.
The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as , introduce a Kalb–Ramond field , and a dilaton . In conventional Euclidean signs their string nonlinear sigma model action isHere is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in , then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.
At momenta small compared with , massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of . Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric isThe terms denoted contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.
Finally split the dilaton into a constant and its variation, . By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows fromDefine the string coupling by . A genus- path integral is weighted byThe sphere carries , the torus carries , and each extra handle adds . At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an -point genus- amplitude scales as .
Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansionEach coefficient has its own low-energy expansion. The two parameters have different roles: resolves finite string size through higher derivatives, while counts additional string loops.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 306 4 Solution Created 2026-10-03 Updated 2026-10-05
A Majorana spinor equals its charge conjugation, , with conventional phase choices absorbed into . The two-component worldsheet Majorana fermion therefore has no independent complex conjugate components; in a Majorana representation its components can be real Grassmann variables. The same condition applies to the constant supersymmetry parameter. Grassmann statistics matter in the variation: replacing the spinors by commuting numerical vectors would give the wrong bilinear interchange signs.
The displayed rigid transformation is understood in flat conformal gauge. Take , , and chooseHere is a valid invariant charge-conjugation form: and . These concrete matrices make all signs checkable; equivalent Majorana conventions give the same result with their consistently transformed bars.
Let and , so . Suppressing the common factor in the action, the flat kinetic density isThe rigid variations have and . The supersymmetry variation is even, so its product rule has no extra graded sign. From the Majorana Grassmann bilinear interchange identities,For example the last identity follows by moving the Grassmann-odd parameter through , then using and the transpose relations twice. No equation of motion has been used.
The two kinetic variations areThe Clifford algebra turns the first fermionic term plus the bosonic variation into . In the second term, commute the partial derivatives and use the same algebra: the antisymmetric gamma product drops out, leaving . Together they are precisely the rigid worldsheet supersymmetry boundary term:Therefore . It vanishes on a closed or periodic worldsheet, for compactly supported changes, or under compatible supersymmetric endpoint conditions. The local total-derivative identity is off shell; the boundary assumptions are needed to call the integrated action invariant.
The flat-gauge qualification is substantive. On an arbitrary curved worldsheet, spinors need a zweibein and spin connection and a constant spinor parameter need not exist. A fully covariant locally supersymmetric action also involves the worldsheet gravitino; the isolated ordinary-derivative expression does not prove rigid invariance for arbitrary . We have proved the intended rigid symmetry of its flat gauge-fixed action, with the fermionic term inside the same integral and overall normalization. If the displayed last term were read as outside the integral, it would not even define an action.
For phenomenology, bosonic string theory has no spacetime fermions and its usual vacuum contains a tachyon. The spinning string has a Ramond sector, whose fermionic zero modes form a spacetime Clifford algebra and give spacetime spinor states, as well as a Neveu–Schwarz sector. In suitable consistent theories the GSO projection removes the tachyonic NS ground state and keeps the appropriate Ramond chirality. The critical dimension of the RNS superstring is 10 rather than 26: bosons and real fermions have matter central charge per chiral sector, while the reparameterization and superconformal ghosts contribute , so the total anomaly cancels at .
Suitable GSO-projected superstrings admit spacetime fermions and a tachyon-free spectrum, making them more promising for particle physics than the bosonic string. Rigid worldsheet supersymmetry alone does not establish a tachyon-free spacetime theory or realistic phenomenology. The projection, consistent sectors and compactification in string theory are additional input; spacetime supersymmetry and a realistic four-dimensional spectrum are not automatic consequences of this classical action.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 306 2 ii Solution Created 2026-10-03 Updated 2026-10-05
In the displayed version of light-cone gauge in string theory, the oscillators have transverse components andThe center-of-mass Poisson brackets remain , and the transverse oscillator Poisson brackets are . Other independent brackets vanish. With , canonical quantization gives the canonical commutation relationsThe oscillator Fock vacuum at momentum is defined by for . It is the ground state of one string, rather than the empty spacetime vacuum. Set for . The normal ordering prescription gives the string level operatorA Fock state basis is obtained by applying to , with string level operator eigenvalue . In particular, its level-one states areThey transform as the transverse vector of the little group rotation subgroup , precisely the vector-particle polarizations of a massless vector. A massive vector would instead require vector-particle polarizations. This conclusion uses a quantization compatible with the Lorentz group of the bosonic string theory.
The classical mass constraint alone has no quantum zero-point energy shift. Its quantum version includes the normal-ordering constant of a string :Masslessness at level one fixes , soThus the ground state is a tachyon. Without the quantum ordering shift, the displayed classical constraint would give and would not support the stated massless interpretation. In the usual transverse vacuum regularization, ; consistency with also gives the critical dimension of string theory .
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 306 4 Solution Created 2026-10-03 Updated 2026-10-05
The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt , the states are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under . They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is .
The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are , so its integrated form is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism .
The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.
The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set , so and the closed-string tachyon has . For four such external states the Mandelstam variables obey . The Virasoro–Shapiro amplitude has generic -channel poles at , exactly the bosonic string mass spectrum in these units.
The massless pole gives an especially direct check. With overall normalization and , the Gamma function recurrence givesThusThe quadratic residue in contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.
Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with , the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.
Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling , and a connected oriented surface of genus has Euler characteristic . Its weight is ; with normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor . Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in , with an independent low-energy expansion in .
For the one-loop vacuum contribution, torus modular invariance identifies with , . Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region , responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in . Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in the vacuum integrand is proportional to , with the Dedekind eta function; the complete expression is invariant under the modular group.
Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region is an infrared divergence from the tachyon: . It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.
Physical-state Virasoro conditions for an open string Created 2026-10-07 Updated 2026-10-14
The covariant physical-state conditions impose positive-mode Virasoro constraints on kets and the adjoint conditions on bras, with intercept in the zero mode. They are a string version of Gupta-Bleuler quantization. Imposing every positive and negative matter mode on the same state would conflict with the Virasoro central extension. In critical bosonic string theory, and the matter central charge is , canceled by the reparameterization ghosts.