Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 51 4 Solution Created 2026-10-03 Updated 2026-10-14
Interpret triviality as holomorphic triviality. Choose a global holomorphic bundle frame for . Let have as its columns the coordinates of these sections in the prescribed local frame over , with the convention that a fiber coordinate vector transforms as . ThenEach is holomorphic and invertible because its columns form a basis in every fiber. This proves the requested holomorphic splitting of transition functions on a trivial bundle. Smooth or topological triviality alone would not justify holomorphic splitting.
For the line bundle on projective twistor space, pull its patching function back to the twistor line using the incidence convention of this problem, , without an extra factor of . Triviality on each line gives nonvanishing linewise holomorphic functions with . The factors can be chosen as holomorphic functions of locally: a degree-zero scalar transition function has zero winding on the overlap annulus, hence admits a logarithm there; splitting its positive and negative Laurent series parts gives factors whose coefficients are Cauchy integrals that are holomorphic functions of . The explicit splitting is worked out below. Their only common linewise ambiguity is multiplication by a nonzero function : the ratio is a global holomorphic function on the compact complex projective line, hence constant on that line.
Take , and raise a two-component spinor by left multiplication with . The derivative along an alpha-plane is . It annihilates the unsplit twistor function, becauseThusis holomorphic on the whole line and has projective weight one. A section of is linear in the homogeneous coordinates: in an affine coordinate, holomorphic regularity at infinity bounds its growth to at most first order, so the Cauchy integral formula excludes all higher powers. ThereforeThe inverse splitting functions obey . Commuting these two equations provesThe spinor decomposition of gauge curvature iswhere both two-component spinors are symmetric. Vanishing of the contraction for every forces . This is exactly the anti-self-dual Maxwell equations. Since the Abelian gauge curvature is , it is closed; its duality condition also makes it co-closed, giving the source-free Maxwell equations. Changing both splitting factors by changes by , the expected Abelian gauge transformation. This derives the rank-one Penrose-Ward correspondence in the needed local form.
For the exponential patching function, choose a representative of the Čech cohomology class, of homogeneous degree zero. On the overlap of the two line patches write . To compute the gauge potential explicitly, use a constant two-component spinor basis in which and the finite patch . Then , andFor a positively oriented contour in the overlap annulus, split its Laurent series asThe first is holomorphic inside the contour, the second outside including infinity; split . Since , coefficient comparison gives . Applying that operator separately to cancels all nonconstant terms and leavesThus yields and . MoreoverSubstitution gives , which in homogeneous form is preciselyThis is the Abelian Ward splitting by Laurent series. The factors have weights , respectively, so the integrand is invariant under a change of homogeneous representative. The contour avoids ; the basis chosen above places that point at infinity. One can keep the contour fixed for in a sufficiently small domain, allowing differentiation under the integral.
Finally differentiate the contour potential for an anti-self-dual Maxwell field. By the twistor incidence relation, . ConsequentlyThe second equality uses the elementary two-spinor identity in the declared convention. The remaining two-component spinor is symmetric in , and no primed symmetric gauge curvature part survives. This directly verifies is anti-self-dual. In complexified Lorentzian signature duality has Hodge star eigenvalues ; here the vanishing primed two-component spinor fixes the stated ASD convention rather than incorrectly imposing the Euclidean equation on that signature.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-14
Represent affine complexified Minkowski space by complex matrices , with the conformal metric characterized by . Let an element of twistor space be , and identify nonzero twistors under , . The compact projective twistor space is . For affine space-time the corresponding open domain is the affine projective twistor spaceUse the twistor incidence relation in the convention ; the more usual factor can be absorbed into the complex coordinate . A point determines a twistor lineIn the two projective charts, fibre coordinates and differ by division by , giving the two summands. Two distinct space-time points have intersecting lines precisely when for some nonzero , equivalently ; this recovers conformal null separation.
The twistor correspondence is the double fibrationFor a fixed twistor, the incidence solutions form an affine alpha-plane, a two-dimensional totally null plane. Its tangent distribution on is generated byThese vector fields annihilate the incidence coordinates, since , and commute. This distribution is the geometric source of the linear system in the Penrose-Ward correspondence.
For the inverse construction, take a rank- holomorphic vector bundle on the twistor domain corresponding to a space-time open set . The crucial hypothesis isThese are line-trivial bundles in the Ward correspondence. It is not enough to specify an arbitrary holomorphic vector bundle, nor just zero First Chern class on its lines: has degree zero but is nontrivial. A line with a nontrivial splitting is a jumping line and does not support the regular linewise construction there. Thus a globally nonsingular field on all affine complexified space-time requires triviality on all its relevant lines; a local construction uses only the lines over .
Choose holomorphic vector bundle bundle frames on two twistor patches, and let be the invertible transition matrix on their overlap. Pull it back to . Because it comes from affine projective twistor space, it is constant along the -fibres:Triviality on supplies a global holomorphic bundle frame on that line. Comparing this global bundle frame with the two local bundle frames produces a holomorphic splitting of a twistor patching matrix,where and are holomorphic and invertible near the two affine patches of the complex projective line. The splitting can be chosen holomorphically in locally: the restrictions have independent global sections and , so these bundle frames extend through a neighborhood of the given line. This explains where regularity and linewise triviality enter the construction.
Differentiate the factorization using . Multiplication by the invertible factors givesDefine their common negative to be . It is regular on both projective patches and homogeneous of degree one in , because has that degree while the bundle frames have degree zero. ConsequentlyThis last conclusion is elementary: on one affine chart its entries are entire in ; regularity at infinity after dividing by the transition factor allows at most linear growth, so each entry is affine in . Equivalently, a global section of is a linear homogeneous polynomial. We have thereby recovered a gauge connection on the space-time bundle whose fibre is .
The splitting factors now obeyTheir invertibility implies the compatibility conditionsIn the spinor decomposition of gauge curvature,the two spinors are symmetric. The antisymmetric primed factor vanishes when contracted with , leaving . A quadratic polynomial that vanishes for every spinor has every coefficient zero, so . With the orientation convention used here, this is exactly anti-self-duality of gauge curvature, hence the ASDYM equations. This establishes the field equation from the holomorphic data, rather than assuming it as an extra input.
The construction naturally gives a gauge class. If another linewise splitting is chosen, agrees on the overlap and is holomorphic on the entire compact complex projective line; its entries are therefore independent of . Write this common matrix as . Thenthe ordinary Yang-Mills gauge transformation. Changing the original holomorphic vector bundle bundle frames or replacing by an isomorphic bundle produces the same space-time gauge class. A determinant trivialization or another holomorphic structure-group reduction gives the corresponding restriction from to or another complex gauge group.
For perspective, the forward direction starts from an ASD gauge connection and uses its flat gauge covariant derivative along each alpha-plane to descend parallel sections to affine projective twistor space. The reconstructed linear system is exactly that parallel-section system. Going back through it recovers the original line-trivial bundle, while changing space-time bundle frames amounts to Yang-Mills gauge transformation. Thus, locally and with the stated regularity and triviality conditions, holomorphic line-trivial bundles determine solutions of the ASDYM equations uniquely up to gauge.
No unitary reality condition is imposed on complexified Minkowski space in this question. Obtaining real Euclidean gauge fields requires the compatible antiholomorphic twistor involution and a bundle reality structure; obtaining finite-action instantons requires further global and boundary conditions. Those are additional restrictions on the complex correspondence, not automatic consequences of having any holomorphic vector bundle on projective twistor space.
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 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-14
On complexified Minkowski spacetime, use the twistor incidence relationThe harmless factor is a conventional choice; omitting it corresponds to rescaling the complexified coordinates. For fixed , projectivizing the nonzero two-component spinors gives a twistor line . The two stated patches cover all these incidence lines; they describe the affine-space-time twistor domain with the line removed from full projective twistor space.
Since is holomorphically trivial, choose a global bundle frame on that line. Comparing its columns with the bundle frames in the two patch trivializations gives invertible matrices and , holomorphic on their respective patches, withThis is the holomorphic splitting of a twistor patching matrix. It follows directly from existence of the global bundle frame, rather than from an arbitrary factorization of an arbitrary matrix: nontrivial line bundles would obstruct such a nonsingular splitting.
The factors can be chosen holomorphically in near any given . An explicit local argument is useful. Normalize the known splitting at and set on a fixed circular contour in the overlap. It is close to the identity when is close to . Let select strictly positive Laurent powers, and seek positive powers satisfyingIn a holomorphic contour-function norm the operator has norm below one for sufficiently small variation, so its Neumann series converges and is holomorphic in . Then has only nonpositive powers and is holomorphic on the exterior patch including infinity. Both factors are close to the identity and invertible. They extend over their full patches through and its inverse. Taking and gives the required local family. This is also the elementary Laurent series reason that leaves no infinitesimal obstruction.
Raise primed two-component spinor indices with the antisymmetric two-component spinor form and define , holding fixed. Incidence givesThus for a pulled-back function depending only on twistor coordinates. Differentiating the splitting and multiplying by the inverse factors givesThe left expression is holomorphic on one two-component spinor patch, the right on the other, and each is homogeneous of degree one in . They therefore glue to a global matrix-valued section of on the line.
Such a section is linear in its homogeneous coordinates. To see this explicitly, set on . The normalized expression is an entire matrix function of ; on the other patch its quotient by is holomorphic at infinity. Hence it has at most linear growth. Cauchy estimates force all its derivatives of order at least two to vanish. Entry by entry it is , or invariantlyThe coefficients are holomorphic in . This proves existence of the desired space-time one-form, with no remaining dependence on in its coefficients.
A second splitting must differ by right multiplication and . Indeed the comparison matrix is holomorphic on both patches of a compact complex projective line and therefore constant along the line. The resulting transformation isthe gauge connection transformation law. Local coefficient matrices consequently glue to a holomorphic gauge connection on the bundle whose fiber at is the space of holomorphic sections of . If a single global matrix-valued one-form is wanted on all , choose a basis at the origin and parallel-transport it along the straight radial paths to each . Linear transport exists on every finite path and varies holomorphically with ; this gives a global holomorphic bundle frame. The assertion does not require flat connection in all four directions, only a fixed choice of paths for a trivialization. On more general space-time domains the intrinsic object is a gauge connection with these gauge-related local one-forms.
Finally put and . From the defining identity,Thus the columns of are an invertible parallel bundle frame in the two alpha-plane directions. Their matrix commutator must annihilate that bundle frame, soUse the spinor decomposition of gauge curvaturewhere both gauge curvature two-component spinors are symmetric. The second term vanishes under contraction with . The first is a quadratic polynomial in the two two-component spinor components; vanishing for every two-component spinor forces each of its coefficients to vanish. Thereforewhich is precisely the ASDYM equation in the convention where the primed symmetric two-component spinor is the self-dual part. Equivalently, the gauge connection is flat when restricted to every alpha-plane. This completes the forward Penrose-Ward correspondence, including both the existence of the gauge connection and its anti-self-duality of gauge curvature.
A global holomorphic section of on is a linear homogeneous polynomial in the two projective coordinates. On one patch its coefficient is an entire function ; regularity on the other patch says is regular at infinity. Hence has at most linear growth. Cauchy estimates make its second and higher derivatives zero, so . The same argument entrywise applies to matrix-valued sections and makes the logarithmic derivative in the Penrose-Ward correspondence linear in the primed two-component spinor.