Brane separation becomes a Wilson line 2026-10-14
Under T-duality, the positions of D-branes transverse to a circle of radius become diagonal Wilson lines on branes wrapping the dual circle . Their holonomies are . An Open string stretched between D-branes with displacement becomes a string with shifted compact momentum . The stretching contribution and the shifted-momentum contribution to its squared mass are identical.
Buscher dilaton shift Created 2026-10-06 Updated 2026-10-07
The quantum measure in abelian T-duality changes the conventional dilaton by in alpha-prime-one units for a spacelike isometry. The regulated Gaussian integration over the auxiliary gauge field produces this curvature coupling. It is consistent with invariance of the string-frame density under the local Buscher rules.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 64 4 Solution Created 2026-10-03 Updated 2026-10-14
Consider the closed bosonic string on a rectangular product of spatial circles with no background mixing between them. Let have period , take , and choose to be the tilded oscillator sector. Closed-string topology permitsSingle-valued center-of-mass wavefunctions give quantized momentum , . These are the momentum and winding modes. The oscillator modes remain integer moded; the zero modes are split asThe two intercept-one Virasoro constraints, with noncompact , giveThus the mass formula and compact-circle closed-string level matching condition areHere labels right movers and left movers; exchanging the labels changes the displayed sign convention, not the spectrum. Noncompact oscillator polarizations are still restricted by positive-mode Virasoro conditions and null-state identifications. T-duality exchanges and , preserving masses and the physical state conditions.
At generic radius, neutral states with one noncompact oscillator and one compact oscillator give two massless vectors per circle. They are the two Abelian gauge fields associated with the compact metric and two-form components. Additional charged vectors can occur at oscillator level sum one. For one circle, set all other compact charges to zero. Take and , with a right-moving noncompact oscillator ; or take and , with a left-moving noncompact oscillator . These obey level matching. Their common squared mass isTherefore four extra charged vector particles become massless at , the self-dual circle. Away from that radius they are massive. They are genuine vector states: the noncompact level-one oscillator carries a vector polarization, and the Virasoro constraint plus its null identification impose transversality and remove the gauge polarization at zero mass.
The resulting self-dual circle current algebra makes the gauge enhancement explicit. At the special radius, the left-moving charges above have , . With , the currentshave conformal weight one. The operator products give , and . They form a level-one SU(2) current algebra; the right-moving copy supplies another SU(2). Pairing each chiral current with the opposite-sector noncompact derivative yields a weight- vector vertex. Thus the generic becomes , with four charged generators in addition to the two Cartan vectors. Several self-dual circles give the corresponding product enhancement.
Compactification also creates scalar states and moduli; not every additional massless state is a vector. The mechanism just shown uses the intercept-one bosonic spectrum. A superstring projection changes the allowed oscillator states, so the same mass formula cannot simply be applied to a GSO-projected superstring without modification.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 66 2 Solution Created 2026-10-03 Updated 2026-10-14
A -form gauge potential couples electrically to a spatial -brane through the Wess-Zumino brane couplingThe worldvolume dimension supplies exactly the degree required for integration. Under , the change is , so a closed worldvolume is gauge invariant; an open one needs suitable endpoint couplings. If has an ordinary dual potential, has degree and the dual potential degree . Thus the electric and magnetic dimensions of a form-coupled brane areElectric charge is measured by , magnetic charge by , on spheres linking the corresponding objects. Flux normalization, and possible Chern-Simons modifications of charge definitions, must be fixed in interacting backgrounds; this is the basic linear form-field dictionary.
In ten dimensions the common NS-NS fields are the graviton , Kalb–Ramond field , and dilaton . Their on-shell bosonic polarizations are , respectively. The graviton count is , and a massless -form has transverse polarizations. The RR fields distinguish the two theories:
| Theory | RR potentials and physical polarizations | Total bosons | Fermions and chiralities |
|---|---|---|---|
| Type IIA superstring theory | , | Two opposite-chirality Majorana-Weyl gravitini; two opposite-chirality Majorana-Weyl dilatini | |
| Type IIB superstring theory | , , with self-dual | Two same-chirality Majorana-Weyl gravitini; two same-chirality Majorana-Weyl dilatini of the opposite chirality to the gravitini |
Each gravitino has physical polarizations, and each dilatino , giving fermions in either theory. In IIA the two supersymmetry sectors have opposite ten-dimensional chiralities, and the dilatino in each sector has chirality opposite to its gravitino. In IIB both gravitini can be designated positive-chirality and both dilatini negative-chirality. The self-duality of the IIB five-form halves the unconstrained four-form count to . These are the massless type IIA spectrum and massless type IIB spectrum, not raw component counts.
The Neveu–Schwarz two-form couples electrically to the fundamental string and magnetically to the NS5-brane in both theories. IIA couples electrically to a D0-brane and magnetically to a D6-brane; couples electrically to a D2-brane and magnetically to a D4-brane. The magnetic descriptions use dual seven-form and five-form potentials, not extra independent polarizations. In IIB, gives D1-brane and D5-brane charges, while self-dual gives the self-dual D3-brane. The scalar couples to a Euclidean D-instanton, whose magnetic partner is the D7-brane. Momentum and, after circle compactification, Kaluza-Klein monopole charge come from the metric sector.
The full brane inventory also involves nonpropagating top-form potentials. A D8-brane is an IIA domain-wall source for Romans mass , described dually by a nine-form potential; it is not generated by the propagating massless spectrum alone. A space-filling IIB D9-brane has a ten-form coupling and requires appropriate global RR-charge consistency. Such fields add no ordinary massless polarizations. This distinction avoids confusing the list of propagating particles with all possible charged extended objects.
For T-duality, compactify a spatial coordinate with . Closed strings have integer momentum and winding , withThe mapleaves unchanged and reverses . Equivalently, it reverses while keeping , and reverses the corresponding right-moving worldsheet fermion to preserve worldsheet supersymmetry. Multiplication of the right Ramond ground-state spinor by reverses its ten-dimensional chirality. Left and right Ramond projections therefore change from opposite chirality to equal chirality, or conversely:The zero-mode mass contribution and the oscillator spectrum are unchanged. The Buscher dilaton shift gives , which preserves the nine-dimensional gravitational coupling proportional to . The mixed metric and two-form components along the circle are exchanged; RR potentials with a circle leg map to one lower degree and those without it to one higher degree, in the corresponding gauge-covariant description.
For open strings, the derivative relations and exchange Neumann boundary conditions with Dirichlet boundary conditions. Consequently a wrapped D-brane becomes a D-brane, while a transverse one becomes a wrapped D-brane. The even-dimensional IIA branes and odd-dimensional IIB branes therefore transform consistently with the closed-string chirality flip; transverse positions and compact gauge Wilson lines are exchanged.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 67 4 Solution Created 2026-10-03 Updated 2026-10-14
Let be the compact coordinate, identified modulo . The closed string may wrap the circle:Single-valued momentum eigenfunctions require , . These are the momentum and winding modes. Write the chiral zero-mode momenta asThe left-moving string oscillators will be tilded: , . This fixes the sign in compact-circle closed-string level matching.
Define the lower-dimensional mass by . The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, areTheir average and difference derive the complete free bosonic string mass spectrum on the circle:The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.
At large , the momentum and winding modes with have closely spaced momentum energies , whereas nonzero winding costs . At small their roles reverse. The precise equality is T-duality:It leaves unchanged and reverses , and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of . Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.
At a generic radius, the neutral level contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of .
Consider instead the following charged states:Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass isThus four additional charged massless spin-one particles appear atFor the charges have , ; for they have , . This identifies the two pairs of charged roots.
The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies . The self-dual circle current algebra has currentsThe exponentials have conformal weight . Free-boson contractions give the operator product expansionsThey form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators and give the six massless vectors. ConsequentlyChanging gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.
For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At , closed-string level matching requires ; the mass equation then gives the four charges . These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has . The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 50 2 Solution Created 2026-10-03 Updated 2026-10-14
Take . Variation of the conformal-gauge action, with periodic variations, gives . Hence . In an uncompactified direction, periodicity allows equal linear slopes and independent periodic parts. Expanding the periodic parts in a Fourier series yields the closed-string mode expansionHere labels the right-moving sector and the left-moving sector; exchanging the names is harmless if done consistently. Integration of the canonical momentum density over the string gives , fixing the zero-mode coefficient. Reality gives and the analogous relation for tildes, with .
The closed-string physical-state Virasoro conditions arewhere and . Thus closed-string level matching gives , and . The massless level is . Its general state isThe string oscillator commutators give : the two terms obtained by commuting through the quadratic generator coincide and cancel its factor . Therefore replaces by , while produces positive string oscillators that annihilate this level. The same holds independently for tildes. The complete polarization conditions areNull string states identify with , with transverse . At nonzero momentum this leaves physical polarizations. Their symmetric traceless, antisymmetric and transverse-trace parts are the graviton, Kalb–Ramond field and dilaton.
The original PDF's condition is inconsistent with calling the displayed excited states massless. It is the on-shell condition of the string oscillator vacuum as a physical tachyon. For the level-one state, that value would give , violating the physical conditions. The ket used as the basis for a massless excitation must instead carry the excitation's momentum ; by itself it is then not an on-shell physical vacuum state.
For the compact coordinate, , . Its momentum is , , since the centre-of-mass wavefunction is single-valued on the circle. Thus its zero modes becomewithThese are momentum and winding modes. Let be the 25-dimensional noncompact momentum and . The two zero-mode constraints now giveTheir difference and average give, respectively,This also displays T-duality , , with one chiral momentum reversed.
At a generic radius, the massless solutions are only , . Their fields in 25 dimensions are a graviton (275 polarizations), antisymmetric two-form (253), dilaton (one), two abelian vectors from and (23 each), and the radius scalar (one). Hence the generic massless spectrum has polarizations, with gauge group . Here generic excludes isolated radii where exceptional massless ground states of a bosonic circle occur. Indeed forces , and becomes massless at or . These additional thresholds matter in the bosonic theory.
At the self-dual circle , masslessness and level matching readSince , their sum is at most two. For sum two, and level matching gives the ordinary family. For sum one the four possibilities areThey have one right-moving or one left-moving excitation, as their levels specify. Each family has 24 physical polarizations: a 25-dimensional vector with 23 polarizations and one compact-oscillator scalar. Thus these families add 96 states.
For sum zero, level matching forces , while the mass equation requires . It gives four additional scalar states with charges and , without any string oscillators. They must not be omitted. The massless spectrum at the bosonic self-dual circle therefore has 100 additional polarizations, 676 in total. The four new vector fields enhance the gauge group to . Including the original radius scalar, the nine non-dilaton scalars form its representation. Equivalently, the full count is .
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 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 2006 iii Paper 57 1 Solution Created 2026-10-03 Updated 2026-10-14
The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.
For the M-theory circle duality, write and let be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential through Kaluza-Klein theory; the three-form supplies and the Neveu–Schwarz two-form by . Thus the field content also agrees with type IIA supergravity.
The M2-brane and M5-brane tensions are and . Wrapping one spatial direction multiplies the effective brane tension by . Consequently:
- A wrapped M2-brane gives the fundamental string, since ; an unwrapped M2-brane gives the D2-brane.
- A wrapped M5-brane gives the D4-brane, with tension ; an unwrapped M5-brane gives the NS5-brane, with tension .
- Momentum gives units of D0-brane charge. The Kaluza-Klein monopole with the M-circle as its fibre gives the D6-brane.
These tension and charge relations explain why increasing reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.
For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass , identified with ; hence is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii has . Equivalently, first reduce to IIA and use T-duality:where in this formula use the corresponding string metrics. Shrinking the torus area at fixed decompactifies the IIB circle. The torus mapping class group becomes IIB S-duality.
An M2-brane wrapped on a primitive one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.
For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature . The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on , together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving before the dilaton.
The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension , so its squared string length is proportional to . The seven-dimensional gravitational coupling is proportional to . Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.
There are twenty-two gauge fields from reducing on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on . At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and .
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 2012 iii Paper 51 4 Solution Created 2026-10-03 Updated 2026-10-07
The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling . Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.
Restore the Euclidean normalization . Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is : the kinetic operator supplies , and the two-dimensional momentum integral supplies . Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to . The resulting one-loop metric counterterm givesThe trace of the worldsheet stress tensor contains this coefficient multiplying , together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,The central-charge condition also requires if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in , so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.
To derive the local T-duality, work where the spacelike Killing vector has nonzero norm . Use dimensionless coordinates and units for the duality formulas. The isometry makes the action depend on only through its derivatives. Replace those derivatives by an independent worldsheet one-form , and enforce its flatness with a Lagrange multiplier . With and , the relevant first-order worldsheet duality action isVarying sets . Locally , recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying gives , orSubstituting into the entire first-order worldsheet duality action, including the multiplier term, givesThe multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rulesThe coordinate map is , . The original equation is precisely the integrability condition for ; conversely the original identity becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.
For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius becomes a circle of radius when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.
At the quantum level integrating out also gives a regulated functional determinant. The Buscher dilaton shift isin the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.
With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition istogether with the scalar dilaton anomaly condition. It does not demand separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.
For a direct example, take flat polar coordinates away from the origin, with and flat spectator directions. The polar-coordinate T-dual background isHereBoth metric equations vanish. In critical dimension the scalar equation also holds: . The example is local on ; the circle degenerates at the excluded origin.
Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant is a special case in which the dual metric may also remain Ricci-flat.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 48 2 Solution Created 2026-10-03 Updated 2026-10-06
Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.
The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation , and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of describe finite-string-length corrections rather than arbitrary independent gravitational couplings.
The gravitational effective action in the string frame has the schematic formHere , and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling , while the string tension sets . Here is the dilaton-independent normalization. Splitting gives the physical gravitational coupling . Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.
Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale and controlled expansions in and curvature.
Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.
Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras or . Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.
To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume gives the scale dependence , illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.
A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.
This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.
The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radiusleading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.
A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 48 3 Solution Created 2026-10-03 Updated 2026-10-06
Use the standard Euclidean convention and restore the curvature normalization explicitly. Let be the conventional dimensionless dilaton, whose worldsheet term isFor constant , the Gauss-Bonnet theorem gives . A closed surface of genus has Euler characteristic , so its contribution is weighted byThusThis is the dilaton normalization and Euler-characteristic weighting of string perturbation theory. If the unit curvature coefficient in the printed expression is retained literally in this Euclidean convention, then and . If denotes the conventional dilaton, the usual omitted is understood and . One must specify that normalization before exponentiating the field. Lorentzian overall signs are fixed consistently by Wick rotation.
For the sigma-model beta function, usewith vanishing two-form and dilaton. Perform the background field expansion of a string sigma model covariantly by setting . In Riemann normal coordinates, the quadratic fluctuation action isThe covariant derivative contains the pulled-back target connection. This expansion accounts for the connection vertices as well as the normal-coordinate metric expansion; keeping only a single metric tadpole would not give a covariant answer.
Integrating the Gaussian fluctuations gives , whereContracting the curvature vertex with the short-distance propagator traces to the Ricci tensor . In dimensional regularization at , the logarithmic integral is . With the stated curvature convention the divergent effective action isIt is cancelled by the metric counterterm . Equivalently, write . Differentiating the bare coupling at fixed value gives the one-loop metric beta function of a string sigma modelThis loop is a loop of two-dimensional fluctuation fields: its expansion is in , not a change of worldsheet genus or an extra power of . The sign here defines the renormalization scale to increase toward the ultraviolet. For a round target sphere, positive Ricci curvature makes its squared radius increase with that scale, consistent with the usual asymptotic freedom of the inverse-radius sigma-model coupling. With the printed kinetic coefficient taken literally, and the leading coefficient is . Requiring the metric beta function to vanish gives at this order. Full bosonic-string Weyl consistency also requires the other anomaly coefficients, including the critical-dimension condition when the dilaton vanishes.
For T-duality, choose coordinates adapted to the isometry and use units for the local Buscher rules. Assume , with a spacelike isometry for the usual unitary circle duality. In light-cone worldsheet coordinates take the convention that multiplies . Gauge translations of , replace by , gauge fix , and impose flatness with a multiplier . The relevant first-order Lagrangian isIntegrating out gives a locally pure-gauge connection and hence the original model. Instead integrate the last term by parts and solve the algebraic equations for :Substitution givesReading its symmetric and antisymmetric parts yields the Buscher dual of a metric with vanishing two-form:The spectator metric is the Schur complement of . Reversing the orientation of reverses the displayed mixed two-form signs; our multiplier and conventions fix them.
The metric rules arise already from the classical algebraic elimination. For quantum equivalence the regulated Gaussian measure also produces the Buscher dilaton shiftFor a compact isometry the multiplier periodicity and flat-connection sectors implement the exchange of momentum and winding. On a circle, restoring dimensions gives . Thus the calculation derives the local dual background, while the measure and global sectors explain how it becomes a string-theory duality.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-10-06
Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the gamma matrices into operators with and . The commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the fermionic creation operators produces independent states. Conversely, these operators construct matrices on a -dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.
The Lorentz group acts through even Clifford products, . More precisely this is a representation of its double cover, the Spin group. The normalized product of all matrices squares to one and anticommutes with each , while commuting with every . Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:Each summand is irreducible. The Clifford module itself remains irreducible because an individual interchanges the summands. In one can use the old as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible -dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.
For the massless field counts, use the rotational part of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving polarizations. A graviton has a symmetric traceless transverse tensor, giving . A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has polarizations, the nine-dimensional Majorana gravitino has , and the eleven-dimensional Majorana gravitino has .
The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field , and the dilaton . Their counts are respectively , , and . The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving , and two Majorana-Weyl dilatini of opposite chirality, giving . Their total is . With gravitini labelled and , the corresponding dilatini have signs and respectively. Type IIA is nonchiral.
In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute states. Type IIB is chiral, with bosonic and fermionic polarizations.
For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary -form splits into a -form and a -form, according as it has no compact index or one. This preserves counts by Pascal's identity, .
Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving . Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with . The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.
Reducing type IIB supergravity gives from the metric; one two-form and one vector each from and ; and the two scalars . The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.
Eleven-dimensional supergravity has a metric with states, a three-form with , and a Majorana gravitino with . For direct reduction on a flat two-torus, write the internal indices as . The metric gives , two vectors and three symmetric components ; the three-form gives , two two-forms and one vector . HenceThe eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving . This is again the same maximal nine-dimensional multiplet.
For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices giveThe multiplicities come respectively from a symmetric pair of six internal indices, , and . Before dualizing, this gives one graviton, vectors, scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, vectors and scalars, with states.
A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with . Each ten-dimensional dilatino supplies four spin-one-half fields, with . Together they give eight gravitini and fifty-six spin-one-half fields, with . As a separate check, the helicity spectrum of a massless supermultiplet with has multiplicities at helicity , giving . The reduced theory has the field content of four-dimensional N=8 supergravity, with physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.
Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature , , and the contravariant volume tensor . A healthy two-form kinetic term and its first-order form areTreat as independent. Varying imposes its Bianchi identity for an Abelian p-form, , so locally . Varying instead yieldsUse . The original kinetic term becomes , and the multiplier term becomes . Both terms must be substituted; replacing only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is , then . A canonical scalar is for constant , but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix of several two-forms, the same calculation gives . Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.
A four-dimensional three-form instead has . Its equation of motion, , makes a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier : varying imposes , and the displayed density retains the term fixing the flux normalization. Eliminating gives and . Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 306 4 c Solution Created 2026-09-28 Updated 2026-10-14
Integrating by parts makes the dependence . Its functional integral imposes the constraint . On the simply connected plane, the Poincaré lemma therefore permits the local and global parametrizationSubstitution into givesThis is the Buscher procedure for the translation isometry in , and its T-duality replaces by .
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 306 4 d Solution 2026-09-28
The classical elimination in parts b and c discarded the field-dependent Gaussian functional integral determinant. At one loop that determinant is a local curvature coupling and supplies the Buscher rules dilaton shiftThe metric alone consequently need not obey . The relevant leading sigma-model beta function in the dual background instead containsThe new dilaton term cancels the failure of the dual metric to be Ricci-flat, so the complete metric-dilaton background remains conformal and physically T-dual to the original one.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 306 2 v Solution Created 2026-09-24 Updated 2026-09-25
The momentum integral is replaced by the sum over momentum and winding modes. Combining the zero modes with the oscillator trace givesEquivalently,with the left/right convention of part (iv). The answer is invariant under the T-duality accompanied by in these units.
Self-dual circle compactification 2026-10-07
A circle compactification is self-dual when the radius is unchanged by the T-duality map . Momentum and winding then enter the bosonic string mass spectrum with equal weights. Special charge sectors can become massless at this radius.