Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 66 1 d Solution Created 2026-10-03 Updated 2026-10-14
For parallel type-II D-branes, an oriented open string has endpoint labels , its Chan-Paton factors. At coincidence, the massless states form matrices, giving adjoint fields of . Tangential polarizations produce the Yang-Mills theory gauge field; transverse polarizations produce adjoint scalar fields. The leading low-energy action is the dimensional reduction of ten-dimensional super Yang-Mills theory to dimensions. Expanding the Dirac-Born-Infeld action gives the gauge and scalar kinetic terms, while dimensional reduction supplies the Hermitian commutator potential in D-brane Yang-Mills theory:The sign is important: for Hermitian , the commutator is anti-Hermitian. Zero potential requires commuting scalars, whose simultaneous eigenvalues are brane positions through the D-brane scalar-position normalizationThis makes the Higgs mechanism geometrical. Separating branes gives masses to strings joining different positions; bringing them together gives Coincident-D-brane gauge enhancement.
Two parallel D3-branes in type IIB superstring theory give four-dimensional N=4 super Yang-Mills theory with gauge group , containing a gauge field, six real adjoint scalar fields and four adjoint Weyl fermions. On its Coulomb branch, chooseFor distinct position vectors, breaks to . The off-diagonal vector multiplets are the two orientations of a string joining the branes, andThe same mass follows from the scalar covariant-derivative term, . The overall describes center-of-mass motion; the relative sector is Higgsed to its Cartan . At coincidence the off-diagonal states become massless and the full gauge symmetry is restored.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 46 4 Solution Created 2026-10-03 Updated 2026-10-14
The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms areQuantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge , while the reparameterization bc ghost system contributes in each chirality. In the critical flat background cancellation therefore requires . In a curved background, vanishing improved sigma-model beta functions further imposes field equations for . For example, the leading metric condition isThese are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.
The leading equations arise by varying the string-frame massless effective actionThe factor is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for .
For a brane embedding , the D-brane worldvolume pullbacks areThe dilaton is evaluated at the embedding. When denotes the physical tension in a background with constant mode , the convention is , so in that vacuum. Equivalently one can use and a coefficient with the constant not already included. The physics is the same; the two conventions must not count that constant factor twice.
Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential , so a bulk transformation is canceled by . Thus only can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving rather than the closed-string sphere's . Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.
Explicitly, in flat background and static gauge with transverse fluctuations , the weak-field expansion starts asThe linear term in the antisymmetric matrix vanishes; the quadratic term follows from expanding . Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.
For two coincident D-branes, an oriented open string has independent labels at its ends. Its Chan-Paton factors are the matrix units . The four massless vector modes span the Lie algebra of : diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.
The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back , at energies and field variations well below the string scale. More precisely, derivative corrections satisfy , and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient isA bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.
There is a sign qualification in the printed scalar potential. With the stated , take Hermitian and to mean the literal matrix product. Then dimensional reduction hasConsequently . The consistent low-energy action isThis is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is , because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take , with Pauli matrices. Then , so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm , rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.
In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is . The off-diagonal vectors acquire mass by the Higgs mechanism.
Write the off-diagonal entries of as and and put . At a constant diagonal vacuum, , soThe quadratic off-diagonal gauge kinetic term is with , and the scalar kinetic term supplies . Comparing these with the complex massive-vector action givesHere the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra multiplies these ; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.
The corresponding open-string vector oscillator stretched over distance has classical stretching mass . Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass givesThe component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.