Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 313 (Applications of Differential Geometry to Physics)

Use the orientation selected by the volume form, and let ${\mathrm{vol}}_g$ be its normalized Riemannian volume form. The Euclidean metric induces an inner product on the exterior algebra of covectors. The Hodge star operator is the unique map from $p$-forms to $(4-p)$-forms satisfyingFor an oriented orthonormal coframe $e^1,\dots ,e^4$, it sends a basis wedge to the complementary wedge with the sign of the permutation that restores $e^1\wedge \cdots \wedge e^4$. Applying the Hodge star operator twice exchanges blocks of $p$ and $4-p$ covectors, soHere the supplied volume is interpreted in the usual metric-normalized sense. If instead one defines the operator with an arbitrary unnormalized $\mathrm{vol}=f{\mathrm{vol}}_g$, that operator is $f{\ast }_g$ and its square on two-forms is $f^2$. The usual self-duality statements use the metric-normalized Hodge star operator, with the supplied volume specifying orientation.

The projections $P_{\pm }=(1\pm \ast )/2$ give the Hodge splitting of Euclidean two-forms:Both spaces have dimension three. With $e^4=dt$, bases areThe Hodge star operator is an orthogonal involution on two-forms and therefore is self-adjoint. For a self-dual two-form $H$ and an anti-self-dual two-form $G$,ConsequentlyThis is the wedge orthogonality of opposite-duality two-forms.

For the Yang-Mills action, take an anti-Hermitian special unitary group connection and the fundamental matrix trace, so the positive invariant pairing on its Lie algebra is $⟨X,Y⟩=-\mathrm{tr}(XY)$. Write its gauge curvature as $F=F_{+}+F_{-}$ using the Hodge splitting of Euclidean two-forms, and defineCross terms vanish by the wedge orthogonality of opposite-duality two-forms. ThusWith this anti-Hermitian convention the Second Chern number isFor example, this normalization follows by expanding $\det (1+iF/(2\pi ))$ and using $\mathrm{tr}F=0$. Interpreting the integral as an integer Second Chern number on ${\mathbb{R}}^4$ assumes the usual decay and gauge behavior that allow extension over the point at infinity. The following norm inequality itself does not require integrality:The Yang-Mills instanton Bogomolny bound is saturated precisely when one component vanishes: $F=\ast F$ or $F=-\ast F$. In the stated convention the self-dual case has $k\le 0$ and the anti-self-dual case has $k\ge 0$. Reversing orientation, or defining topological charge with the opposite sign, reverses this assignment while leaving the absolute-value bound unchanged.

For the self-dual Yang-Mills equations in temporal gauge, choose ${\mathrm{vol}}_g=d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge dt$ and ${ϵ}_{123}=1$. The relevant Hodge star operator identities areWriting $F=F_{ti}dt\wedge d{x}^i+\frac{1}{2}{F}_{jk}d{x}^j\wedge d{x}^k$, the self-dual Yang-Mills equations $F=\ast F$ giveIn temporal gauge, $A_t=0$, so the gauge curvature component is $F_{ti}={\partial }_t{A}_i-{\partial }_i{A}_t+[A_t,A_i]={\partial }_t{A}_i$. HenceThe minus sign follows from placing $dt$ last in the orientation and first in the mixed curvature component.

The real vector space of symmetric matrices has dimension $n(n+1)/2$. On its invertible part the derivative of the determinant isAt a determinant-one symmetric matrix, this derivative is nonzero: the symmetric direction $C=B$ gives value $n$. The regular level set theorem therefore yieldsThis applies to every signature component, not only positive-definite matrices.

The special linear congruence action on symmetric matrices preserves symmetry because $(AB{A}^T{)}^T=AB{A}^T$, and preserves determinant because $\det (AB{A}^T)=(\det A{)}^2\det B=1$. The identity acts trivially andThese verify a smooth left Lie group action of the special linear group. By Sylvester's law of inertia, it also preserves the numbers of positive and negative eigenvalues.

For $n=2$, parametrize the symmetric matrices byThus $M$ is exactly the two-sheeted hyperboloidThe two sheets consist respectively of positive-definite and negative-definite matrices. Each is preserved by the special linear congruence action on symmetric matrices. They are individually transitive: on the positive sheet $B=A{A}^T$ with $A=B^{1/2}$ and $\det A=1$; on the negative sheet use $B=-A{A}^T$. The stabilizer of either $I$ or $-I$ is $SO(2)$.

Differentiating the left Lie group action along $\exp (sX)$ gives the fundamental vector fieldFor the three matrices in the question, their coordinate components areA sign convention matters here. With the usual Lie bracket of vector fields $[U,V]f=U(Vf)-V(Uf)$, the fundamental fields of this left action obey $[u_X,u_Y]=-u_{[X,Y]}$. Indeed, for linear coordinate fields $u_X(z)=R_{X}z$, the bracket has coefficient $(R_Y{R}_X-R_X{R}_Y)z$. To obtain a Lie algebra representation rather than an anti-representation, use the infinitesimal left-action sign conventionAn explicit answer is thereforeThese are tangent to the two-sheeted hyperboloid: applying each to $Q=t^2-x^2-y^2$ gives zero. For example,They can be written on either sheet using $t=\pm \sqrt{1+x^2+y^2}$:Here the omitted ${\partial }_t$ component is determined by tangency, and derivatives of $t(x,y)$ must be included when computing brackets in these coordinates.

Direct matrix multiplication givesDirect differentiation of the displayed vector fields gives exactlyFor instance, in ambient $(t,x,y)$ coordinates, $[v_1,v_3]=(-2x,-2t,0)=v_2$. These are the defining relations of the sl2 Lie algebra. The three fields are linearly independent over constant real coefficients: if $a{v}_1+b{v}_2+c{v}_3$ vanishes on a sheet, its ${\partial }_x$ coefficient $(-a+c)y-2bt$ forces $b=0,c=a$, and its ${\partial }_y$ coefficient then equals $-2at$, forcing $a=c=0$. Thus the representation is faithful. Their pointwise span need only have dimension two, consistent with the dimension of each sheet.

A principal bundle separates the geometry of internal symmetry from a chosen local gauge potential. Let $\pi :P\to X$ be a principal $G$-bundle with a free right Lie group action. Each fiber is a copy of $G$, but generally no single identification works globally. A principal connection tells us how to compare fibers over nearby base points. Its physical interpretation is a prescription for parallel transport of internal states.

For $\xi \in \mathfrak{g}$, the vertical fundamental vector field is ${\xi }_p^{\#}={\frac{d}{ds}|}_{0}p\exp (s\xi )$. A principal connection is a Lie algebra-valued one-form $\mathcal{A}$ on $P$ satisfyingEquivalently, the horizontal distribution of a principal connection $H_p=\ker {\mathcal{A}}_p$ complements the vertical tangent space and is preserved by right translation. Given a curve in $X$ and an initial point in its fiber, there is a unique horizontal lift. For a closed curve its endpoint differs from its start by a group element: the holonomy of a connection. Thus a principal connection contains both infinitesimal and global transport information.

Choose local sections $s_{\alpha }:U_{\alpha }\to P$. Their local principal connection forms $A_{\alpha }=s_{\alpha }^{\ast }\mathcal{A}$ are the usual gauge potentials. If $s_{\beta }=s_{\alpha }{g}_{\alpha \beta }$ on an overlap, equivariance and reproduction of vertical generators giveThis inhomogeneous law means that a gauge potential is not an ordinary globally defined tensor. Its local formulas glue to a global principal connection. The same law describes changing a local section by a gauge function. For example, to impose temporal gauge locally, solve ${\partial }_{t}g=-A_{t}g$ so the transformed time component vanishes.

The curvature of a principal connection isUnlike the principal connection form, its curvature is horizontal and equivariant. Consequently $F_{\beta }=g_{\alpha \beta }^{-1}{F}_{\alpha }{g}_{\alpha \beta }$, and the gauge curvature is globally a two-form on $X$ with values in the adjoint bundle $\mathrm{ad}P=P{\times }_{\mathrm{Ad}}\mathfrak{g}$. The curvature measures the failure of horizontal directions to close under brackets: for horizontal lifts $U,V$, $\mathcal{F}(U,V)=-\mathcal{A}([U,V])$. A flat principal connection has an integrable horizontal distribution, although nontrivial global holonomy of a connection can remain around noncontractible curves.

The covariant exterior derivative on adjoint bundle-valued forms is locally $D_A=d+[A,\cdot ]$. Expanding $F=dA+A\wedge A$ and using $d^2=0$ yields the Bianchi identityFor a representation $\rho$ of $G$, the same principal connection induces transport in the corresponding associated vector bundle; locally its covariant derivative is $d+{\rho }_{\ast }(A)$. This explains why charged matter and the gauge curvature use the same gauge potential.

Now put an oriented Riemannian metric on a four-dimensional base and take $G=SU(n)$. Use anti-Hermitian matrices with positive pairing $-\mathrm{tr}(XY)$, as in the preceding solution. The Yang-Mills action isIts gauge invariance follows from curvature conjugation and invariance of the trace. Under a compactly supported variation $a=\delta A$, $\delta F=D_{A}a$. Integration by parts therefore givesThis is a second-order equation for the gauge potential. The self-dual Yang-Mills equations $F=\ast F$ and the Anti-self-dual Yang-Mills equations $F=-\ast F$ are first-order equations. Either implies the full Yang-Mills equations immediately, since $D_A\ast F=\pm D_{A}F=0$ by the Bianchi identity. This is self-duality implies Yang-Mills equations.

A Yang-Mills instanton is a smooth finite-action Euclidean solution with self-dual or anti-self-dual gauge curvature. Its defining first-order condition depends on the principal connection, the metric and the orientation. Since the Hodge star operator on two-forms is unchanged under $g\mapsto e^{2f}g$ in four dimensions, self-duality and the Yang-Mills action are conformally invariant. In particular Euclidean solutions can be studied through conformal compactification, with appropriate behavior at infinity.

The global topology is encoded by Chern-Weil theory. Since $\mathrm{tr}F=0$, the Second Chern form and Second Chern number areon a compact oriented four-manifold. The Bianchi identity makes $c_2(A)$ closed. More explicitly, under a connection variation,Thus the integrated Second Chern number is independent of the principal connection on a fixed bundle, with the usual fixed-boundary condition on a noncompact base. The space of connections is affine, so integrating this variation along a straight path also proves that their characteristic forms differ by an exact form.

Locally the same characteristic form has a Chern-Simons 3-form primitive:On ${\mathbb{R}}^4$ the underlying bundle is trivial, but a finite-action instanton with the standard extendible behavior at infinity can define a nontrivial bundle after adding the point at infinity. The transition map on an equatorial $S^3$ takes values in $SU(n)$; for $n\ge 2$, its homotopy class lies in ${\pi }_3(SU(n))\cong \mathbb{Z}$. The boundary integral of the Chern-Simons 3-form computes that integer with the chosen sign convention. This reconciles a local matrix-valued gauge potential on ${\mathbb{R}}^4$ with nonzero global Second Chern number on $S^4$.

Finally the Hodge splitting of Euclidean two-forms produces the Yang-Mills instanton Bogomolny boundEquality holds exactly when the opposite-duality component of the gauge curvature vanishes. Thus a Yang-Mills instanton is an absolute action minimum in its fixed topological sector, not merely a stationary solution. In this trace convention self-dual instantons have $k<0$ and anti-self-dual instantons have $k>0$. In the zero sector, a self-dual or anti-self-dual finite-action solution has $S=0$ and hence $F=0$.

Different principal connections related by bundle gauge transformations describe the same physical configuration. Fixing $k$ and taking the quotient of instanton solutions by this gauge equivalence of principal connections gives the instanton moduli space. Near an anti-self-dual solution, write a variation as $a\in {\Omega }^1(X,\mathrm{ad}P)$. The linearized instanton equation and infinitesimal gauge transformations areA local gauge condition $D_A^{\ast }a=0$ removes this redundancy. The combined operator $D_A^{\ast }\oplus P_{+}{D}_A$ is elliptic: for nonzero covector $\xi$, its principal symbol $a\mapsto ({\iota }_{{\xi }^{♯}}a,P_{+}(\xi \wedge a))$ has zero kernel. Choose $\xi =dt$; the first component removes $a_t$, and the self-dual projection of $dt\wedge a$ removes the three remaining components. This connects the instanton moduli space to geometric analysis, while the characteristic number and transport law explain its topological and physical meaning.

A Poisson bivector is a smooth antisymmetric contravariant two-tensorwhose bracket on smooth functions,satisfies the Jacobi identity. Bilinearity and antisymmetry are immediate, and the product rule makes the bracket a derivation in each argument. Together these properties define a Poisson manifold. Unlike a symplectic form, the Poisson bivector need not be nondegenerate.

Apply the Jacobi identity to the coordinate functions. Since $\{x^i,x^j\}={\omega }^{ij}$,Changing ${\omega }^{im}$ to $-{\omega }^{mi}$ and rearranging the three summands gives the printed coordinate Jacobi condition for a Poisson bivector:This is also sufficient: expanding the Jacobiator of three arbitrary smooth functions, all terms involving second derivatives cancel in pairs by antisymmetry. The remaining coefficient of ${\partial }_{i}F{\partial }_{j}G{\partial }_{k}H$ is the coordinate-function Jacobiator displayed above.

For a Lie algebra, the natural global space carrying the proposed linear bracket is its dual space ${\mathfrak{g}}^{\ast }$. If $v^i$ is the chosen basis, define its linear coordinate function by $x^i(\ell )=\ell (v^i)$. The Lie-Poisson bracket iswhere $d{F}_{\ell },d{G}_{\ell }$ are elements of $\mathfrak{g}=({\mathfrak{g}}^{\ast }{)}^{\ast }$. On a general manifold the same coordinate expression gives a local construction; a global one requires compatible transition rules. The use of ${\mathfrak{g}}^{\ast }$ supplies that compatibility intrinsically.

Here ${\omega }^{ij}=c_r^{ij}{x}^r$ and ${\partial }_m{\omega }^{jk}=c_m^{jk}$. The left side of the coordinate Jacobi condition for a Poisson bivector is thereforeThe final coefficient is the negative of the coefficient of $v^r$ in the Lie algebra identity $[v^i,[v^j,v^k]]+[v^j,[v^k,v^i]]+[v^k,[v^i,v^j]]=0$. Thus the Lie-Poisson bracket satisfies the Jacobi identity.

It remains to find the Lie algebra structure constants for the printed rotation fields. Distinguish their original spatial coordinates $(x,y,z)$ from the coordinates $(x^1,x^2,x^3)$ on the dual space. Use the conventional Lie bracket of vector fields. Their component vectors are $(0,-z,y)$, $(z,0,-x)$ and $(-y,x,0)$, respectively. For example,Similarly,The negative sign is essential: these are the fundamental fields of a left rotation action with the stated Lie bracket of vector fields, and consequently have the infinitesimal left-action sign convention discussed above. The first field here has component $y{\partial }_z$, as printed in the PDF.

The Lie-Poisson bracket on the dual space consequently hasFor the evolution convention $\dot{F}=\{F,H\}$, the Hamiltonian function has derivatives $(2A{x}^1,2B{x}^2,2C{x}^3)$. Substitution gives the quadratic rotational Lie-Poisson dynamicsThese are Euler-type Hamilton's equations on a noncanonical Poisson manifold. When $A=1/(2I_1)$, $B=1/(2I_2)$ and $C=1/(2I_3)$ with positive principal inertias, they are the Euler equations for a torque-free rigid body in body angular-momentum coordinates. As a check, $H$ is conserved by antisymmetry of the Poisson bracket, and $C_0=(x^1{)}^2+(x^2{)}^2+(x^3{)}^2$ is a Casimir function of a Poisson manifold. Direct differentiation of $C_0$ in the three equations cancels the terms $4[(C-B)+(A-C)+(B-A)]x^1{x}^2{x}^3$. The Hamiltonian flow therefore lies on both an energy level and a sphere, a symplectic leaf of this signed rotational bracket.