A-hat form 2026-10-14
For the vector-bundle curvature matrix of a metric connection on a vector bundle on a real oriented vector bundle, the A-hat form is the even differential form defined by the displayed finite-degree power series, with square root having constant term one. The expression is independent of the choice of orthonormal frame. Equivalently, for formal paired curvature Chern roots , it is . The Bianchi identity makes it closed, and changing the connection changes it by an exact differential form via Chern-Weil connection transgression. Its degree-four part is , where is the first Pontryagin class form.
Anti-self-dual connection 2026-10-14
A unitary connection on an oriented Riemannian four-manifold is anti-self-dual when . Its curvature is covariantly closed by the Bianchi identity and solves the Yang-Mills equations. With anti-Hermitian matrices and the fundamental trace, for an bundle. Thus its charge is nonnegative.
// Destination: geometry-and-topology.bigb
Anti-self-dual Maxwell equations 2026-10-14
In the two-component spinor convention with primed symmetric gauge curvature self-dual, an Abelian Maxwell field is anti-self-dual when its primed symmetric gauge curvature two-component spinor vanishes. For a locally exact field , the Bianchi identity gives ; the duality relation then also gives . Thus it obeys the source-free Maxwell equations. In complexified Lorentzian signature the Hodge star eigenvalues are ; the two-component spinor condition specifies which component is meant without imposing a Euclidean eigenvalue on that signature.
// Destination: general-relativity.bigb
Chern-Weil connection transgression Created 2026-10-06 Updated 2026-10-14
A variation of the connection one-form has . The Bianchi identity and graded cyclic matrix trace imply . Thus the Chern-Weil theory four-form changes by an exact differential form, and its integral on a closed four-cycle is connection-independent. For a general unitary bundle, include the corresponding trace-product term in the Second Chern form.
For a real or complex line bundle, its endomorphism bundle is canonically trivial by scalar multiplication. The Bianchi identity therefore reduces to . The difference of two connections on a vector bundle is a global endomorphism-valued one-form, which here is an ordinary scalar one-form . Since scalar one-forms have vanishing wedge square, the curvature difference formula reduces to . Thus the de Rham cohomology class is independent of the connection on a vector bundle.
At the centre of geodesic normal coordinates, expand the square of the Twisted Dirac operator. The diagonal terms give the rough Laplacian; the off-diagonal terms are . The tensor-product vector-bundle curvature is the sum of spin curvature and . Substituting spin curvature and using the Clifford algebra relations yields the scalar term : the four-generator contribution vanishes by the algebraic Bianchi identity and the contracted terms are the scalar curvature. This proves the displayed identity at every point.
Massless Fierz-Pauli action Created 2026-10-06 Updated 2026-10-07
A massless Fierz-Pauli action is the quadratic flat-background action for a symmetric metric perturbation that yields the vacuum Linearized Einstein equations. One normalization, up to a total derivative, isVarying the symmetric field with compact support gives the displayed linearized Einstein tensor coefficient. Its linearized coordinate-gauge symmetry is consistent with the contracted Bianchi identity. It is the massless gravitational action, distinct from imposing the massive Fierz-Pauli equations with five polarizations.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 66 3 Solution Created 2026-10-03 Updated 2026-10-14
Retain only fields independent of the circle coordinate , with coordinate period . Use the string-frame metric and the circle reduction of eleven-dimensional supergravity ansatzThe minus sign in the fibre one-form is a convention chosen to give the usual below; changing the sign of consistently changes no physics. The metric supplies the ten-dimensional graviton, dilaton and RR one-form, while the eleven-dimensional three-form supplies the Kalb–Ramond field and RR three-form. DefineThen . In particular , the reduced Bianchi identity. The field strength, not bare alone, is the gauge-covariant horizontal component.
For the gravitational term, the block determinant givesA useful two-step curvature calculation first removes the overall factor . The intermediate metric hasThe eleven-dimensional conformal-curvature identity then givesCombining the terms yieldsIntegration by parts gives modulo boundary terms. Therefore the Einstein-Hilbert action producesThis explicitly derives both the string-frame dilaton kinetic coefficient and the RR one-form kinetic term.
Use the normalized form norm , interpreting the printed four-form square in this convention. The horizontal and fibre pieces are orthogonal in the basis. Four horizontal inverse metrics contribute to . Three horizontal inverse metrics and one fibre inverse metric contribute to . ThusThe NS-NS three-form has the same prefactor as gravity; the RR kinetic terms do not have it in the string frame.
Finally reduce the topological term using the coordinate decomposition, which makes its signs transparent. The part of containing exactly one isThe purely horizontal eleven-form vanishes on the ten-dimensional base. Sinceintegration over the base turns the bracket into , modulo the displayed exact term. The reduction of the eleven-dimensional Chern-Simons term therefore gives .
Absorbing the coordinate circumference into , the complete bosonic massless type IIA supergravity action in these conventions isDropping boundary terms assumes appropriate boundary conditions; nontrivial flux bundles may require patchwise potentials. Higher circle modes and higher-derivative corrections are excluded by this low-energy zero-mode reduction. No Romans-mass term arises from the ordinary ansatz.
| IIA object | Eleven-dimensional origin | Charge interpretation |
|---|---|---|
| D0-brane | Momentum along the M-circle, or its gravitational wave solution | Electric charge of the circle vector |
| D2-brane | Unwrapped M2-brane | Electric charge of |
| D4-brane | M5-brane wrapped once around the circle | Magnetic charge dual to |
| D6-brane | Kaluza-Klein monopole with the M-circle as its Taub–NUT fibre | Magnetic charge of |
An M2-brane wrapped around the circle gives the fundamental string, and an unwrapped M5-brane gives the NS5-brane. These are NS objects rather than D-branes. In physical string/Planck units, the M-theory circle duality relations areThey involve the physical asymptotic radius, distinguished from the arbitrary coordinate period used in the reduction ansatz. For example, is one momentum quantum. With and ,The D6-brane is purely gravitational in eleven dimensions, rather than an elementary six-dimensional membrane; the circle-fibration magnetic charge gives its ten-dimensional interpretation.
A D8-brane is the important qualification. It sources the zero-form flux of massive type IIA supergravity and is not obtained as an ordinary wrapped M2/M5 or Kaluza-Klein object of the undeformed circle reduction above. Its extended/generalized lifts are outside this simple dictionary. The massless-circle interpretation of the other branes is developed in Four Lectures on M-theory.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 70 2 Solution Created 2026-10-03 Updated 2026-10-14
The Bogomolny equations are first-order equations obtained by expressing a static energy as nonnegative squares plus a term fixed by the topological charge. Vanishing of the squares minimizes the energy in that topological sector. In particular, the solutions satisfy the full second-order field equations, since their first variation vanishes for compactly supported variations preserving the boundary data. Both monopole and vortex realizations illustrate this mechanism.
For a Yang-Mills theory with gauge group SU(2) and an adjoint Higgs field , take the static, purely magnetic energyHere , and is the gauge coupling. In the Bogomolny limit , retain the boundary condition ; it breaks SU(2) to U(1) at infinity even though the scalar potential has been removed. The normalized Higgs field on the sphere at infinity defines a map of topological degree . In a consistent magnetic orientation the asymptotic flux is , andFor example, this equality follows by projecting the asymptotic gauge curvature on the Higgs direction: its flux is the integral of the target-sphere area form, divided by .
The gauge-theory Bianchi identity makes the cross term a divergence:For either sign , complete the square:Choosing givesThese are the Bogomolny-Prasad-Sommerfield monopole equations. A nonzero scalar potential would add a positive term; a nontrivial smooth monopole with a core cannot generally saturate this same bound at . The Bogomolny monopole equations imply Yang-Mills-Higgs equations: the Bianchi identity already gives , and the square-completion argument gives stationarity with respect to the gauge field as well.
An explicit charge-one solution is furnished by the hedgehog ansatz for a monopole. To fix its signs, use component conventions and . With and , putThe radial and transverse parts of are and . The corresponding parts of are and . Therefore reduces toThe Prasad-Sommerfield radial monopole solution isDirect differentiation verifies both equations. Near , and , so the apparent angular singularities disappear and the fields are smooth. At infinity decays exponentially while , leaving an Abelian magnetic field and mass .
Translations of this magnetic monopole give three collective coordinates; a residual U(1) phase provides another in the framed description, where gauge transformations are fixed at infinity. Multimonopole solutions of a common sign also saturate the linear bound. Their widely separated constituents have position and phase parameters, with no static force: the magnetic repulsion and massless-Higgs attraction cancel in this limit. Relative motion is described at low speeds by the moduli-space approximation. An opposite-sign monopole pair does not solve one common sign of the Bogomolny equations and is not protected by that no-force argument.
For the Abelian Higgs model, a second realization occurs in the plane. Let be a complex Higgs field, , , and choose the critically coupled static energyDifferent conventions for the scalar kinetic coefficient change the numerical coefficients of both the bound and the equations. This normalization gives scalar and gauge masses , explaining the critical balance of their long-distance forces. In three spatial dimensions the planar solutions describe straight strings with this energy per unit length.
Finite energy requires and . On a large circle the Higgs phase winds by , so the magnetic flux quantization of an Abelian Higgs vortex givesWriting , expansion and integration by parts giveThe divergence integrates to zero for the usual localized vortex boundary conditions. Thus the Bogomolny square completion for an Abelian Higgs vortex isFor the Bogomolny vortex equations and bound areFor , reverse the sign in both first-order equations and obtain .
For a rotationally symmetric positive vortex number, use and the physical angular component . The Bogomolny vortex equations becomewith and . The regular core behaves as and . Linearization at infinity gives exponentially decaying massive tails. Unlike the radial monopole, these planar radial profiles have no elementary closed form in general.
The general multi-vortex solution can be encoded by the Taubes equation. Away from zeros, write . The first equation givesAt zeros of multiplicity , the phase contributes circulation . The second equation becomes, including these Dirac delta terms,For prescribed zeros the planar existence result gives a solution; the prescribed-zero construction of planar Abelian Higgs vortices reconstructs smooth fields, with near each zero. Uniqueness is visible directly: for two solutions with the same zeros, their nonsingular difference satisfies . Multiplying by and integrating giveshence . The Abelian Higgs vortex moduli space has arbitrary unordered positions of the zeros, giving real position parameters. The saturated energy is independent of their positions, so critically coupled vortices have no static interaction energy. Away from critical coupling this cancellation is lost.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 70 4 Solution Created 2026-10-03 Updated 2026-10-14
Use an SU(2) connection one-form with Skew-Hermitian generators , so . Absorb the gauge coupling into , and write its gauge curvature as . The Yang-Mills gauge transformation convention is , giving .
In four dimensions the Second Chern form and Second Chern number of the associated fundamental rank-two bundle areHere is a closed oriented four-manifold. This sign follows by expanding the total Chern class and using . The first Chern class vanishes for SU(2); the second is the degree-four characteristic class relevant here. With the same curvature convention the commonly positive self-dual instanton number isBoth sign conventions occur; fixing them at the outset avoids identifying opposite-oriented integers.
The form is gauge-invariant by conjugation and cyclicity of the matrix trace. The gauge-theory Bianchi identity makes it closed. To see that its integral is independent of the connection, vary :On a closed the integral of this exact form vanishes. This is Chern-Weil connection transgression, showing that depends on the bundle's topology rather than on a particular gauge field.
Locally the same four-form is an exterior derivative. The Chern-Simons 3-formsatisfiesFor verification, differentiating gives ; expansion of gives these terms and . Graded cyclicity moves the first one-form through the other three, changing the sign, so . This local exactness does not make the Second Chern number zero on every closed manifold: on a nontrivial bundle the gauge potentials and are only patchwise defined.
For the usual finite-action sector on , impose pure-gauge behavior at infinity. Compactification gives a bundle over , with transition map . The Maurer-Cartan equation gives , henceWith the outward boundary orientation, Stokes theorem therefore givesThese are opposite choices of the winding number, and either becomes the topological degree of after specifying the orientation of the target SU(2) sphere. Thus integrality also follows from . Smooth deformations preserving the asymptotic sector cannot change it.
The positive Euclidean Yang-Mills action isDefine . Since the Hodge star has square one on two-forms in Euclidean dimension four,Choosing gives the Yang-Mills instanton Bogomolny boundThe self-dual Yang-Mills equations and their anti-self-dual version imply the Yang-Mills equations by the Bianchi identity. Their finite-action solutions are Yang-Mills instantons.
For a concrete self-dual example, the BPST instanton with center and size haswhere are self-dual 't Hooft symbols. Their contraction is . Thus , andThis gives and . Reversing duality gives . The free center, size and framed gauge orientation illustrate the instanton moduli space.
On a three-dimensional slice , there is no four-form Chern integral intrinsic to the slice. Its transgression is the Chern-Simons number of a gauge field, in the instanton-charge conventionIt is a real number for a general connection, not necessarily an integer, and is not strictly gauge invariant. Set and . Substituting , using and graded trace cyclicity, gives the gauge change of the Chern-Simons three-formThe mixed terms collect into the displayed exact form; the last term is also fixed by the pure-gauge case . Therefore on a closed , or with boundary conditions making the exact-form integral vanish,Thus , or , is gauge invariant. Gauge maps homotopic to the identity have ; maps of nonzero winding are large transformations even when they equal the identity at infinity.
For a Yang-Mills vacuum on , zero magnetic energy requires . On simply connected space this is a pure gauge , and is an integer after fixing the asymptotic trivialization. Quotienting only by transformations homotopic to the identity leaves integer-labelled vacuum representatives. Allowing all winding transformations identifies them classically; quantum states can instead transform by a phase, producing the theta vacuum. A three-dimensional pure-gauge representative carries a winding number but is not a localized positive-energy monopole. In fact no static finite-energy lump in three-dimensional pure Yang-Mills theory exists with the usual decay conditions: gives , and stationarity forces .
Finally, on an oriented spacetime slab , with no side-boundary contribution, the transgression identity givesA Yang-Mills instanton therefore interpolates between vacuum representatives whose Chern-Simons numbers differ by its integer charge. In a four-dimensional quantum theory a Yang-Mills theta term weights such sectors by , making periodic modulo . In an intrinsically three-dimensional theory an action has a gauge-invariant phase only for integer level under all winding gauge maps. These statements distinguish the gauge-invariant integer four-dimensional Chern charge from the three-dimensional connection-dependent quantity defined modulo integers.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 52 4 Solution Created 2026-10-03 Updated 2026-10-14
An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight into when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form .
A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate with mass , the Euclidean action iswith the vacuum energy subtracted from . Its Euler-Lagrange equation is , equivalent to motion in the inverted potential . A finite-action trajectory joining zero-energy minima has conserved Euclidean energy . A forward instanton therefore satisfies , while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.
For the quartic double-well instanton, chooseThe first-order equation in the interval is . Separation givesThe center is arbitrary. Its derivative is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator . A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over , and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.
When , crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for well-separated crossings over Euclidean duration produce . If a single-crossing rate is , a symmetric two-well system has even-crossing and odd-crossing sums proportional to and . The spectral interpretation gives levels andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.
The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators , with , connection , and gauge curvature . With coupling , the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map . Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.
Use the positive norm . Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by for positive , or for negative . These first-order equations imply the full Yang-Mills equations: the Bianchi identity becomes when . Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.
An explicit unit-charge example is the BPST instanton. Let , , and choose the self-dual symbols , and for , using orientation . In regular gauge,The curvature is self-dual. Since , its squared component curvature is . Radial integration yieldsso . Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.
The center has four coordinates and is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.
In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to in compatible orientation conventions. Theta-weighted instanton sectors give , connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.
Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
The positive energy theorem concerns the total gravitational energy of isolated systems, rather than a pointwise gravitational energy density. Its standard asymptotically flat form isHere are the hypotheses used in a spinorial proof. Take smooth, complete, three-dimensional initial data in general relativity with a spin structure, no inner boundary, and finitely many asymptotically Euclidean ends. Assume the usual differentiable falloff , , , with sufficiently decaying further derivatives and integrable matter densities. The Hamiltonian constraint and momentum constraint must hold, and the matter must satisfy the dominant energy condition. These hypotheses exclude a naked singularity or an unaccounted boundary flux from the argument. An oriented three-manifold admits a spin structure; in higher dimensions the spinorial proof needs this as an additional assumption. Work in signature and units .
Let be the future unit normal, choose , and define and . With this convention the Hamiltonian constraint and momentum constraint readThe dominant energy condition implies . The asymptotic charges are the ADM energy and ADM momentum,These are boundary charges; a sign condition on alone does not visibly determine their sign.
Choose gamma matrices obeying , with spatial matrices Hermitian and anti-Hermitian. The relevant derivative is the Sen spinor connection, not just the intrinsic spin connection:The symmetric extrinsic curvature makes . This is an elliptic differential operator with the ordinary spatial Dirac operator as principal part. Solve the Witten spinor equation , with constant at the end under consideration and zero asymptotic constants at any other ends.
The central algebraic ingredient is the Witten-Nester identity. Define , the future-directed Dirac current , and the Nester two-formIn an orthonormal frame . Since is Hermitian with eigenvalues for any unit spatial vector , . Thus the Dirac current is future causal. Differentiate the Nester two-form by the product rule. The antisymmetric second-derivative terms reduce using the spinor curvature identityThe Clifford algebra and the first Bianchi identity turn the curvature contraction into the Einstein tensor. The spatial derivative terms give the difference of two squares. Projecting onto therefore givesThe constraints are exactly the normal components of the Einstein field equations needed here. Moreover,For a solution of the Witten spinor equation, both terms left in this divergence are nonnegative.
There is an essential analytic step: an asymptotically constant spinor field solving the Witten spinor equation must actually exist. Extend the chosen constant smoothly from infinity to a field . Then is square-integrable. For compactly supported fields , the same Witten-Nester identity has zero boundary flux and givesThe asymptotically Euclidean Hardy inequality in Euclidean space, local elliptic estimates and this identity supply the coercive estimate in the weighted first-order Sobolev space of decaying corrections. One way to see why a compact-region error cannot spoil coercivity is to assume the estimate fails and take a normalized sequence whose Dirac operator tends to zero. Local compactness and the estimate on the ends produce a decaying homogeneous solution. Integrating the identity with cutoffs shows that such a solution is parallel for the Sen spinor connection. A parallel field tending to zero at infinity is zero, contradicting its normalization. The end estimates exclude escape of the normalized sequence to infinity.
More constructively, on this completed correction space solvefor every compactly supported , using the Lax-Milgram theorem. Set . Since is formally skew-adjoint in the positive spatial spinor inner product, the residual is a square-integrable weak solution of . Elliptic regularity makes it smooth. Cutoff integration of the identity excludes a nonzero square-integrable homogeneous solution: it would be parallel, whereas a nonzero parallel field has nonzero limiting norm on an asymptotically Euclidean end and cannot be square-integrable. Hence . Weighted elliptic estimates then give the required asymptotic decay of . This supplies elliptic existence of a Witten spinor, rather than assuming it from the sign of a formal integral.
Finally integrate the Witten-Nester identity over . The ADM boundary term of the Nester two-form isTo identify this boundary term, expand the asymptotic spin connection to first order in . Its flux is half of ; the extrinsic curvature contribution is . Their coefficients give precisely the two charges displayed above. The derivative of the decaying spinor correction has zero leading integrated flux by antisymmetry, and the higher-order terms vanish with the falloff. ThusChoose a normalized asymptotic spinor field that is an eigenvector with eigenvalue of . Then and . Choosing proves ; if , any such choice gives . This is positivity in every asymptotic frame, not only the zero-momentum case.
The zero-energy rigidity also follows from the vanishing integrals. If , then and the construction for a basis of asymptotic spinors produces a basis of parallel fields. Their spinor curvature identity forces the spatially pulled-back spacetime curvature to vanish; the nonnegative matter terms vanish too. The resulting Gauss–Codazzi equations are those of a hypersurface in Minkowski spacetime, and its vacuum development is flat. Completeness and the ordinary Euclidean asymptotic end rule out a nontrivial flat quotient. The initial hypersurface need not have : a curved spacelike slice of Minkowski spacetime also has zero ADM energy. The proof works by converting an asymptotic energy charge into a nonnegative bulk integral, with the spinor equation and its existence supplying the crucial bridge.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 14 3 Solution Created 2026-10-03 Updated 2026-10-14
A connection on a vector bundle is a linear map with . Write a local frame as a row , and a section as with a coefficient column . If the connection one-form is the matrix , thenThis fixes the matrix convention for all subsequent signs.
For an -valued differential form of degree , represented locally by a column of ordinary forms, its covariant exterior derivative isThe defining graded Leibniz rule with a scalar form of degree isIt follows by moving the one-form past , which introduces . It uniquely extends the connection on sections.
The induced endomorphism bundle connection is characterized on an endomorphism section by . For a matrix-valued form of degree , the extension isIndeed it is exactly the formula that makesThe endomorphism-valued exterior product uses matrix composition as well as the ordinary exterior product, so factors cannot in general be interchanged.
Define the curvature form of a connection by acting on sections, or equivalently byIt is tensorial in both vector arguments and in : the derivatives of multiplying functions cancel by the connection rule. For example , since the two terms cancel and . Thus curvature is a two-form with values in the endomorphism bundle. Locally, applying the graded rule givessoFor a change of frame of a vector-bundle connection , the coefficients satisfy , and differentiation givesSquaring yields , precisely the transformation rule of an endomorphism-valued two-form. This independently proves that the local expressions define one global curvature form of a connection.
For the Bianchi identity, use the endomorphism formula with degree two:Every term cancels with its indicated sign. Thereforewhere here means the induced derivative on the endomorphism bundle.
For a line bundle, the endomorphism bundle is canonically the trivial scalar bundle: every fibre endomorphism is a scalar times the identity. Scalar multiplication commutes, so and the endomorphism covariant derivative on scalar-valued forms reduces to . The Bianchi identity consequently says .
If is another connection, their difference is -linear in sections because the Leibniz terms cancel. Hence is a global endomorphism-valued one-form; for a line bundle it is an ordinary global scalar one-form. Locally , soThus the two closed curvatures differ by an exact form, proving the connection-independent curvature class of a line bundle:No global trivialization of the line bundle itself was assumed; it is its endomorphism bundle that has the canonical scalar identification.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 22 4 a Solution Created 2026-10-03 Updated 2026-10-14
Use anti-Hermitian vector-bundle curvature and the fundamental matrix trace, sois an integer on a closed oriented four-manifold. The supplied formula's phrase “extending ” is a typographical error in the original PDF: the connection extends the boundary connection . An extension exists, for example on the trivial bundle over , by extending a boundary connection through a collar and cutting it off farther inside.
For well-definedness, glue two choices and along their identified boundary bundles. Connections may be made product connections on a collar while keeping their boundary values, and the transgression identity below shows that this does not alter the relevant integral. The glued bundle over the resulting closed four-manifold has an integer Second Chern number. Therefore the two extension integrals differ by an integer, proving the value of is independent of all choices in . In particular, different extensions on one fixed bundle with the same boundary value have zero difference by transgression and Stokes theorem.
To compute the derivative, extend the boundary variation to an adjoint-valued one-form on and set . The vector-bundle curvature derivative is . Invariance of the trace and the Bianchi identity giveThe second equality follows from the covariant product rule; its other term contains . Integrating and applying Stokes theorem, with the given boundary orientation, yieldsThis derivative means the derivative of any local real lift of the circle-valued functional; changing that lift by an integer changes no derivative.
If a bundle gauge transformation extends to on , use as the extension of the transformed boundary connection. Vector-bundle curvature is conjugated, so its trace square is unchanged pointwise. . This proof even preserves the chosen extension's real integral, before reducing modulo integers. The local Chern-Simons three-form transgresses the same characteristic form and is the boundary expression used in the compactness argument below.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 56 3 Solution Created 2026-10-03 Updated 2026-10-14
A Yang-Mills instanton is a localized finite-action Euclidean gauge field with self-dual or anti-self-dual gauge curvature. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take gauge group first, with Skew-Hermitian generators , , and . Writeand fix orientation . The positive Euclidean action isVarying gives . Integration by parts makes stationarity equivalent to . The Bianchi identity follows by expanding , using , and cancelling the remaining matrix commutator terms. Consequently implies the Yang-Mills equations: . Self-duality of gauge curvature is an extra first-order condition, not a property of every finite-action gauge connection.
For the usual instanton decay conditions, the field is asymptotically pure gauge, on the sphere at infinity. The boundary map has an integer degree. With the present trace convention define the instanton number byThe identityturns this integral into a boundary winding integral: for , the three-form in parentheses is , giving , with the chosen boundary orientation. The normalized invariant three-form computes the degree of , so . Equivalently the gauge bundle extends across conformal infinity to a bundle on , and this is its Second Chern number convention. A smooth deformation preserving the boundary class cannot change this integer.
Square completion gives the Yang-Mills instanton Bogomolny bound:Self-dual gauge curvature saturates the bound for , and anti-self-dual gauge curvature for . These are Yang-Mills action minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give zero modes; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.
An explicit charge-one solution is the BPST instanton. Put , , , with . The self-dual 't Hooft symbols are defined by and , extended antisymmetrically. ThenFor completeness, differentiation supplies , where . The matrix commutator term supplies , and the symbol identityreduces their sum to the stated gauge curvature. Since , it is self-dual and solves the Yang-Mills equations. The gauge potential is regular at the center in this gauge, and gauge curvature falls as at infinity.
The squared-symbol sum is 12, soThe second integral follows from and the substitution . ThusReplacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an subgroup admits corresponding embedded examples.
The center gives four position moduli and gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global orientation parameters remain, making eight real parameters for one instanton. If constant gauge transformations are also divided out, only the five position-and-size parameters remain. The size costs no classical Yang-Mills action: under , gauge curvature scales by and the four-dimensional volume by . As , gauge curvature concentrates at the center; the limiting object is a singular bubbling boundary of moduli space, not a smooth zero-size solution.
Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one gauge potentials. The ADHM construction gives a finite-dimensional description. For , , take , , , satisfyingmodulo the natural group action of . Here is the charge magnitude, avoiding confusion with the signed above. Regularity requires the following matrix to have full row rank everywhere:The complex constraint kills the off-diagonal block of , while the real constraint equates its diagonal blocks. Thus . Choose an orthonormal matrix of kernel columns , with , and define .
This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is . Differentiating in the identity givesThe space-time differential two-forms appearing here are generated by , , and . For orientation these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed instanton moduli, while degenerate rank conditions allow singular limits.
There are real data parameters. The three real matrix moment map equations impose conditions, and quotient by removes another , giving dimensions at regular points. For this is framed dimensions and unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.
The Penrose-Ward correspondence provides a complementary description by holomorphic vector bundles on twistor space, trivial on the real twistor lines for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean instantons. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the Bogomolny equations.
In the quantum theory, a Euclidean instanton interpolates between Yang-Mills vacua of different Chern-Simons number. Choosing Euclidean time and spatial orientation , its signed charge is the final Chern-Simons number minus the initial one, so it describes quantum tunnelling between winding sectors. Semiclassical contributions are suppressed by ; a Yang-Mills theta term adds a phase . One integrates over the instanton collective coordinates and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. Instantons therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 1 35A Solution Created 2026-09-24 Updated 2026-10-14
For a scalar, , while its second covariant derivative is . Partial derivatives commute and the Levi-Civita connection is torsion-free, , proving the asserted symmetry.
Write the Einstein equation without cosmological constant as , . Tracing the given Ricci equation gives . HenceIn units the prefactor is absent. Metric compatibility, the product rule and the just-proved symmetric Hessian of a scalar field giveThe contracted Bianchi identity makes the left side zero. Wherever the gradient covector is nonzero, at least one component is nonzero, forcing , even when that gradient is null.
Finally , obtained by differentiating the metric determinant. Thus for any vector , . Applying it to proves
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 15 3 c Solution Created 2026-10-03 Updated 2026-10-14
Use the covariant exterior derivative on the endomorphism bundle and remember that has degree two. The Bianchi identity is . The local formula from part (b) givesThe two lines cancel, establishingBecause this is an endomorphism-valued equation and the operators transform covariantly under a change of local frame, this local calculation proves the global identity.
For a line bundle over or , every fibre endomorphism is multiplication by a scalar. Thus is canonically the trivial scalar bundle, even when itself is nontrivial. In a local frame is a scalar one-form, so and locally. Also , since their degrees are one and two. The Bianchi identity therefore reduces to the ordinary closedness conditionThis does not assert that the local scalar one-forms combine into a global one-form.
For two connections on a vector bundle , the difference is -linear in the section: the two terms cancel. It is consequently a global endomorphism-valued one-form . In rank one, is a global ordinary scalar one-form. Locally , and the scalar cross terms and vanish, givingThis is a global equality, so the two closed differential forms differ by an exact differential form. It proves the connection-independent curvature class of a line bundle:
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 56 3 Solution Created 2026-10-03 Updated 2026-10-14
Use anti-Hermitian matrices, with invariant positive inner product . On an adjoint-valued field , define the adjoint covariant derivative and gauge curvature byEquivalently, and . Put , with . The monopole Bogomolny equations are .
For a smooth SU(2) gauge transformation , useDifferentiating a transformed adjoint field shows : the derivatives of cancel the inhomogeneous term in . Applying the commutator of these derivatives gives , and therefore . Both sides of transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.
The monopole boundary condition is a nonzero asymptotic Higgs norm,together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have and . The normalized Higgs field at infinity defines a map , whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.
Now form the four-dimensional connection with -independent components. Its gauge curvature hasThe self-duality sign requires an orientation. Choose the Euclidean metric and orientation . For cyclic , the Hodge star operator satisfiesUsing and , the curvature isEach term has negative star eigenvalue, soThis proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use .
To fix the action normalization, take the Euclidean Yang-Mills actionBoth sums are over ordered index pairs. The component identity
givesHence the four-dimensional action density in terms of the three-dimensional curvature isA different overall action normalization rescales all three equal expressions together.
givesHence the four-dimensional action density in terms of the three-dimensional curvature isA different overall action normalization rescales all three equal expressions together.
A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity , together with , implies , so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.
Here is independent of . If the monopole has nonzero curvature, the density is positive on an open set in , and integrating its infinite -extent givesFor a finite-energy monopole this can also be written as its positive action per unit length times . Thus a nontrivial monopole lift is not a Yang-Mills instanton on . The flat solution , constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.
More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.
Past exam of the mathematics course of the University of Cambridge 2007 ii Paper 1 35A Solution Created 2026-09-24 Updated 2026-10-14
With the stated curvature convention, the Ricci tensor is and the scalar curvature is . Contract the differential Bianchi identity once to give the divergence of the Riemann tensor, then again with the inverse metric. The curvature antisymmetries yield , so .
The Einstein field equations are , with . The contracted Bianchi identity makes the left side divergence-free, enforcing the local stress-energy conservation law and ensuring consistency of the matter equations with the gravitational constraints.
For a scalar, second covariant derivatives commute. Commuting a further derivative past the resulting covector introduces Ricci curvature, giving .
Now implies . Taking its divergence and using that commutation formula gives , hence . Meanwhile . Adding provesIn Riemannian signature this is the steady gradient Ricci soliton scalar identity, with soliton potential .
Past exam of the mathematics course of the University of Cambridge 2007 ii Paper 2 35A Solution Created 2026-09-24 Updated 2026-10-14
The connection is torsion-free, so on a scalar is symmetric in . A covector also carries a connection acting on its own index, and commuting derivatives gives curvature, generally nonzero.
Use the curvature convention , consistent with the identity requested in the PDF. Some texts define the opposite Riemann sign, reversing both formulas. Expanding the prescribed derivative combination of the Killing equation givesThe three commutator terms are , by antisymmetry in the last two indices and the first Bianchi identity. ThusIn flat Cartesian Minkowski coordinates this says . Hence all Killing fields are affine:The constant term gives four translations and the antisymmetric term six Lorentz generators, rotations and boosts. Conversely every such field satisfies the Killing equation.
For the static block metric, time derivatives vanish and , . The Christoffel formula gives and . The vector has covector components , . Its only potentially nonzero derivatives are and ; spatial-spatial and time-time derivatives vanish. Their symmetric sums are zero, proving is a Killing vector field.