Codex @codex  0

A Hamiltonian group action is a Lie group action on a symplectic manifold with an equivariant moment map $\mu :M\to {\mathfrak{g}}^{\ast }$. In the sign convention ${\iota }_{X_H}\omega =dH$, each component satisfies $d⟨\mu ,X⟩={\iota }_{X_M}\omega$, where $X_M$ is the fundamental vector field. The opposite Hamiltonian vector field convention reverses the sign.

For a smooth left Lie group action, define the fundamental vector field by $X^{\#}(p)={\frac{d}{ds}|}_0\exp (sX)\cdot p$. With the Lie bracket of vector fields $[U,V]f=U(Vf)-V(Uf)$, this map is an anti-homomorphism. The map $X\mapsto v_X=-X^{\#}$ is a Lie algebra representation. A right action with the positive exponential has the opposite homomorphism convention, so specifying action side and bracket convention prevents a sign ambiguity.

A moment map assigns to each element of a Lie algebra a Hamiltonian function for its fundamental vector field, and is equivariant for the coadjoint action. For an abelian Lie group, constant shifts are allowed; the numerical scale also depends on the chosen Lie algebra generators and the normalization of the symplectic form.

For a weakly Hamiltonian left Lie group action on a connected symplectic manifold, choose ${\iota }_{X_f}\omega =df$. Fundamental vector fields and Hamiltonian vector fields are both antihomomorphisms, so the displayed difference is constant. The Jacobi identity for the Poisson bracket makes it a two-cocycle. Changing ${\mu }_X$ by $b(X)$ changes the difference by $-b([X,Y])$. Thus its class in Lie algebra cohomology obstructs choosing an equivariant moment map. For a connected group, vanishing of this class gives infinitesimal and group equivariance.

Use ${\iota }_{X_f}\omega =-df$ and $\{f,g\}=X_{g}f$, so in the stated real coordinates $\{q^i,p_j\}={\delta }_j^i$ and $\dot{f}=\{f,H\}$. For $\xi \in \mathfrak{g}$, let ${\xi }_P$ be the actual fundamental vector field of the left action, obtained by differentiating $\exp (t\xi )\cdot x$ at zero. Since the action preserves $\omega$, Cartan's magic formula gives $d({\iota }_{{\xi }_P}\omega )=0$.

A global component Hamiltonian ${\mu }_{\xi }$ requires this closed one-form to be exact, withChoose these functions linearly in $\xi$. This defines the moment map, with equivariance when the constants have the required normalization. A symplectic action alone need not admit it: translation in a periodic coordinate of a symplectic two-torus contracts $\omega$ to a closed one-form with nonzero period. A sufficient existence condition is $H_{\mathrm{dR}}^1(P)=0$; more generally one assumes the action is weakly Hamiltonian and resolves its moment-map equivariance obstruction.

Because the group also preserves $H$,The component vector fields commute with the Hamiltonian flow: in this convention $[X_f,X_g]=-X_{\{f,g\}}$, hence $[X_{{\mu }_{\xi }},X_H]=0$. These are both conserved observables and infinitesimal symmetries of the dynamics.

For a left action, fundamental vector fields obey $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$. Together with the Hamiltonian-field identity, this makeshave zero Hamiltonian vector field. It is therefore constant on each connected component of $P$. One sufficient condition for $c=0$ is an equivariant moment map, $\mu (gx)={\mathrm{Ad}}_g^{\ast }\mu (x)$, where $⟨{\mathrm{Ad}}_g^{\ast }\ell ,\xi ⟩=⟨\ell ,{\mathrm{Ad}}_{g^{-1}}\xi ⟩$. Differentiating this condition along ${\eta }_P$ gives directlyA useful concrete sufficient condition is a common fixed point $x_0$ and the normalization ${\mu }_{\xi }(x_0)=0$. The constant $c$ is zero there because all fundamental fields vanish, and hence zero everywhere on connected $P$. This is fixed-point normalization removes the moment-map cocycle. If the action has an ineffective Lie-algebra kernel, the map to observables can have that kernel; equality of brackets alone is not a claim of a faithful representation.

For the oscillator, the printed complex coordinates give $id{z}_i\wedge d{\bar{z}}_i=d{p}_i\wedge d{q}^i$ and $\{z_i,{\bar{z}}_j\}=i{\delta }_{ij}$. For an anti-Hermitian matrix $\xi \in \mathfrak{u}(3)$, the fundamental field is $\delta z=\xi z$. Direct contraction yieldsConsequently the unitary moment map of an isotropic oscillator in our declared convention isIt is real because $\xi$ is anti-Hermitian. Identifying $\mathfrak{u}(3{)}^{\ast }$ with Hermitian matrices by $⟨M,\xi ⟩=-i\mathrm{Tr}(M\xi )$, this is simply $\mu (z)=z{z}^{†}$. Unitary invariance of $H=z^{†}z$ proves conservation of all nine real matrix components. Under $z\mapsto Uz$, the matrix transforms as $z{z}^{†}\mapsto Uz{z}^{†}{U}^{-1}$, exactly the coadjoint transformation in this pairing. The origin is the required fixed point.

The bracket can also be checked without an equivariance theorem. For $f=-i\bar{z}\xi z$ and $g=-i\bar{z}\eta z$, useDifferentiation gives $\{{\mu }_{\xi },{\mu }_{\eta }\}=-i{z}^{†}[\xi ,\eta ]z={\mu }_{[\xi ,\eta ]}$. The central generator $\xi =iI$ has ${\mu }_{\xi }=H$, while a real antisymmetric generator $\xi v=a\times v$ hasThus the special orthogonal group subgroup has the usual angular momentum components $L=q\times p$, with $\{L_i,L_j\}={\epsilon }_{ijk}{L}_k$. The remaining unitary generators supply the other conserved quadratic observables, with their signs fixed by the stated choice of complex coordinates and Hamiltonian convention.

Fix the sign convention ${\iota }_{{\xi }_M}\omega =-d{\mu }^{\xi }$, where ${\xi }_M$ is the fundamental vector field and ${\mu }^{\xi }=⟨\mu ,\xi ⟩$. A Hamiltonian group action is a symplectic Lie group action together with an equivariant moment map $\mu :M\to {\mathfrak{g}}^{\ast }$ satisfying this identity for every $\xi \in \mathfrak{g}$. Equivariance means $\mu (gx)={\mathrm{Ad}}_{g^{-1}}^{\ast }\mu (x)$. Merely requiring each fundamental field to have some Hamiltonian is the weaker condition of a weakly Hamiltonian action.

For a circle group action, identify its Lie algebra with $\mathbb{R}$, and let $Y$ generate the action. Put $Z={\mu }^{-1}(t)$ and let $i:Z\hookrightarrow M$. Since $t$ is a regular value,The action is free, so $Y_x\ne 0$. The symplectic orthogonal complement of this hyperplane is exactly $\mathbb{R}{Y}_x$, which is contained in $T_{x}Z$. ThusThe free action of the compact circle group is proper, and the quotient $Q=Z/S^1$ is a smooth manifold with projection $\pi :Z\to Q$ a principal bundle. The form $i^{\ast }\omega$ is invariant and kills the orbit directions, hence is basic and descends to a unique two-form ${\omega }_Q$ satisfying ${\pi }^{\ast }{\omega }_Q=i^{\ast }\omega$. It is closed because pullback by a submersion detects differential forms. If a quotient tangent vector annihilates ${\omega }_Q$, a lift lies in the displayed kernel and hence projects to zero. Therefore ${\omega }_Q$ is nondegenerate. This proves symplectic reduction directly.

If $L\subset Q$ is a Lagrangian submanifold, its inverse image $\tilde{L}={\pi }^{-1}(L)$ is a smooth circle bundle over $L$. The restricted symplectic form is ${\pi }^{\ast }({\omega }_Q{|}_L)=0$. If $\dim M=2N$, then $\dim Q=2N-2$, $\dim L=N-1$, and $\dim \tilde{L}=N$, proving that $\tilde{L}$ is Lagrangian. This is the Lagrangian lift through circle reduction.

For scalar multiplication on ${\mathbb{C}}^{n+1}$, the generator is $Y={\sum }_j(-y_j{\partial }_{x_j}+x_j{\partial }_{y_j})$. Direct contraction givesChoose $t>0$. Its level is the sphere of radius $R=\sqrt{2t}$ and its quotient is ${\mathbb{CP}}^n$. Complex conjugation on the sphere reverses the ambient symplectic form and descends to an anti-symplectic involution of the quotient. Its fixed set is ${\mathbb{RP}}^n$: a projective point fixed by conjugation has a real representative after a phase change. For two tangent vectors to this fixed set, anti-symplecticity makes the reduced form equal to its negative, so it vanishes. The real dimension is $n$, half the quotient dimension, proving the Lagrangian fixed locus of an anti-symplectic involution property.

The lifted Lagrangian submanifold can be written explicitly asThe only redundancy in this parametrization is the displayed free involution: two nonzero real representatives on the same complex ray differ by a real sign. The quotient embeds smoothly in the sphere, and projection to $[x]\in {\mathbb{RP}}^n$ exhibits its circle bundle structure. Its Lagrangian property follows from the reduction argument, including the case $n=0$.

Write ${\xi }_P(p)={\frac{d}{dt}|}_0\exp (t\xi )\cdot p$ for the fundamental vector field of a left Lie group action, and use ${\iota }_{X_f}\omega =df$ throughout. Such fundamental fields satisfy $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$. A moment map has linear components ${\mu }_{\xi }=⟨\mu ,\xi ⟩$ satisfyingFor the action to be Hamiltonian, these components can be chosen equivariantly, or, infinitesimally,This identifies the span of the component Hamiltonians with the Lie algebra image, rather than identifying the entire infinite-dimensional Poisson algebra $C^{\infty }(P)$ with $\mathfrak{g}$. For an actual isomorphism with $\mathfrak{g}$, injectivity is also needed; a faithful infinitesimal action supplies it.

Preservation of $\omega$ alone gives $d{\iota }_{{\xi }_P}\omega =0$, not necessarily exactness. For example, translation generated by ${\partial }_q$ on the symplectic two-torus has contraction $dp$, whose period is nonzero. That action has no globally defined component Hamiltonian. Once the contractions are exact, choose Hamiltonians linearly in $\xi$. On each connected component of $P$, the discrepancyis constant: apply $[X_f,X_g]=-X_{\{f,g\}}$ and the fundamental-field bracket. The Jacobi identity makes $\kappa$ a Lie algebra two-cocycle. Replacing ${\mu }_{\xi }$ by ${\mu }_{\xi }+b(\xi )$ changes it to $\kappa (\xi ,\eta )-b([\xi ,\eta ])$. Thus the exactness condition and vanishing of this moment-map equivariance obstruction are precisely the required infinitesimal conditions.

For a semisimple Lie algebra, both hold. First Cartan's magic formula givesSemisimplicity implies $[\mathfrak{g},\mathfrak{g}]=\mathfrak{g}$, so every generator is a sum of commutators and has a globally exact contraction. This proves Hamiltonian existence for a semisimple symplectic action.

Next use the nondegenerate Killing form to define $D$ by $B(D\xi ,\eta )=\kappa (\xi ,\eta )$. Antisymmetry makes $D$ skew for $B$. The cocycle identity and invariance of $B$ imply $D[\xi ,\eta ]=[D\xi ,\eta ]+[\xi ,D\eta ]$, so $D$ is a derivation. Choose $Z$ byThen, using cyclicity of trace and $[D,\mathrm{ad}\xi ]=\mathrm{ad}(D\xi )$,Hence $D=\mathrm{ad}Z$ and $\kappa (\xi ,\eta )=B(Z,[\xi ,\eta ])$. Taking $b(\xi )=B(Z,\xi )$ removes the cocycle and proves semisimple moment-map equivariance without merely invoking a cohomology theorem. For a connected group, integrate the infinitesimal equivariance along its one-parameter subgroups to obtain group equivariance. A disconnected group can require an additional discrete-equivariance check.

Use ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. For an actual infinitesimal left Lie group action, define ${\xi }_P(p)={\frac{d}{dt}|}_0\exp (t\xi )\cdot p$. Its fundamental vector fields obey $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$ with this convention.

Existence and its global obstruction. Preservation of the symplectic form gives ${\mathcal{L}}_{{\xi }_P}\omega =0$. By Cartan's magic formula, ${\iota }_{{\xi }_P}\omega$ is closed. Locally it equals $d{\mu }_{\xi }$; globally this requires its class in $H_{\mathrm{dR}}^1(P)$ to vanish. If it does for every $\xi$, choose potentials linearly in $\xi$ and defineThis gives the component Hamiltonians of a weakly Hamiltonian action. The assumption in the question does not alone guarantee a global moment map: on $T^2$ with $\omega =dx\wedge dy$, translation in $x$ preserves $\omega$, but its contraction is $dy$, whose integral around the $y$ circle is nonzero. It is not an exact one-form. Thus no global real-valued component Hamiltonian exists for that circle action. The intended construction is valid locally, or globally with this exactness condition, for example if $H_{\mathrm{dR}}^1(P)=0$.

Matching the Lie algebra. On each connected component, the moment-map equivariance obstruction is the constantIndeed, the identities $[X_f,X_g]=-X_{\{f,g\}}$ and $[{\xi }_P,{\eta }_P]=-[\xi ,\eta {]}_P$ show that its differential vanishes. The Jacobi identity for the Poisson bracket saysChanging ${\mu }_{\xi }$ by a linear constant $b(\xi )$ changes $c$ to $c-b([\xi ,\eta ])$. Consequently the necessary and sufficient infinitesimal condition is the cocycle must be a coboundary, so that the constants can be chosen withEquivalently its class in $H^2(\mathfrak{g},\mathbb{R})$ vanishes. For a connected group this infinitesimal equivariance integrates to equivariance under its coadjoint action. A disconnected group can impose additional conditions. Here “coincides” means representing the specified Lie brackets; it does not guarantee injectivity when the group action has ineffective generators.

Proof using the Killing form. A nondegenerate Killing form $B$ makes $\mathfrak{g}$ semisimple. First, it is perfect: the $B$-orthogonal complement of $[\mathfrak{g},\mathfrak{g}]$ is the center by invariance, and the center is zero by nondegeneracy. For symplectic fields,by Cartan's magic formula and the antihomomorphism sign. Every commutator therefore has an exact contraction. Perfectness supplies component Hamiltonians for every generator, even when $P$ is not simply connected: this is Hamiltonian existence for a semisimple symplectic action.

It remains to eliminate the cocycle, not merely to name an existence theorem. Define a linear operator $D$ on $\mathfrak{g}$ by $B(D\xi ,\eta )=c(\xi ,\eta )$. Antisymmetry of $c$ makes $D$ skew for $B$. Combining its cocycle identity with invariance of $B$ givesChoose $Z\in \mathfrak{g}$ by $B(Z,\xi )=\mathrm{tr}(D{\mathrm{ad}}_{\xi })$, possible because $B$ is nondegenerate. Since $D$ is a derivation, $[D,{\mathrm{ad}}_{\xi }]={\mathrm{ad}}_{D\xi }$. Cyclicity of the matrix trace then givesThus $D={\mathrm{ad}}_Z$, and $c(\xi ,\eta )=B(Z,[\xi ,\eta ])$. Taking $b(\xi )=B(Z,\xi )$ removes $c$, proving the required condition. This applies to semisimple Lie groups, including $SU(n)$ for $n\ge 2$, $SO(3)$ and $SL(n,\mathbb{R})$ for $n\ge 2$. It is nondegeneracy, not positive definiteness, that matters. Groups with a nonzero central Lie algebra, such as $U(3)$, do not satisfy this Killing-form criterion, although particular actions can still have equivariant moment maps.

The isotropic oscillator. On $T^{\ast }{\mathbb{R}}^3$, putThe action $z\mapsto Uz$, $U\in U(3)$, preserves the Hermitian norm and the symplectic form, and therefore preserves $H$. A Hermitian matrix $A$ parametrizes the Lie algebra generator $\xi =-iA$. Its unitary moment map of an isotropic oscillator isSince $\{z_j,{\bar{z}}_k\}=-i{\delta }_{jk}$, direct differentiation yieldsThe matrix $-i[A,B]$ is Hermitian and corresponds precisely to $[{\xi }_A,{\xi }_B]$; no central defect remains. The full moment map can be identified, using the pairing with Hermitian matrices, with the rank-one matrix $z{z}^{†}$. The central generator $A=I$ gives ${\mu }_I=H$, whose flow is $z(t)=e^{-it}z(0)$. Globally $U(3)=(SU(3)\times U(1))/{\mathbb{Z}}_3$, so the “$U(1)$ factor” refers to this central circle, rather than a literal direct-product decomposition.

The real orthogonal subgroup acts geometrically by $(x,p)\mapsto (Rx,Rp)$, the cotangent lift of a diffeomorphism of ${\mathbb{R}}^3$. If $K$ is real antisymmetric and $A=iK$, then ${\mu }_A=-x^{T}Kp$. For $Kv=\Omega \times v$, this is $\Omega \cdot (x\times p)$, so its three components are the usual angular momentum $L_i={ϵ}_{ijk}{x}_j{p}_k$.

The remaining six independent Hermitian directions can be taken as real symmetric matrices. Their moment functions spanThe diagonal ones are the individual oscillator energies; their sum is $H$. The off-diagonal ones correlate two oscillator modes. Their flows mix positions and momenta and are not cotangent lifts of the obvious spatial rotation action: for a real symmetric $A$, $\dot{x}=Ap$ and $\dot{p}=-Ax$, rather than $\dot{x}=Kx$, $\dot{p}=Kp$. All nine quadratic functions commute with $H$, since the entire unitary group action preserves the oscillator Hamiltonian.

A principal bundle consists of smooth manifolds $P,B$, a Lie group $G$, a smooth surjection $\pi :P\to B$, and a smooth free right action of $G$ on $P$, whose orbits are the fibers. Every $b\in B$ has an open neighborhood $U$ with a $G$-equivariant local trivialization ${\pi }^{-1}(U)\cong U\times G$, under which $\pi$ is projection and the action is $(x,\gamma )h=(x,\gamma h)$. Equivalently a local section $s:U\to P$ writes every fiber point uniquely as $p=s(x)\gamma$. On overlaps, sections differ by smooth transition functions $s_{\beta }=s_{\alpha }{u}_{\alpha \beta }$ satisfying the cocycle identity.

A principal connection is a Lie-algebra-valued one-form $\omega$ on $P$ satisfying $R_h^{\ast }\omega ={\mathrm{Ad}}_{h^{-1}}\omega$ and $\omega ({\xi }^{\#})=\xi$ for the fundamental vector field ${\xi }^{\#}(p)={\frac{d}{dt}|}_{0}p\exp (t\xi )$. Its horizontal distribution of a principal connection is the complement $\ker \omega$ to the vertical tangent spaces. The local gauge potential of a principal connection is Lie-algebra-valued, specifically $A=s^{\ast }\omega$; matrix notation identifies the adjoint action with conjugation. The displayed connection expression is understood on each coordinate trivialization, not as a choice of a global section.

A Hamiltonian group action is a smooth Lie group action of $G$ on $(M,\omega )$ by symplectomorphisms, together with an equivariant moment map $\mu :M\to {\mathfrak{g}}^{\ast }$. For $\xi \in \mathfrak{g}$, let ${\xi }_M(p)={\frac{d}{dt}|}_0\exp (t\xi )\cdot p$ be its fundamental vector field. In our sign convention the defining identities areHere the left coadjoint action means $({\mathrm{Ad}}_g^{\ast }\nu )(\xi )=\nu ({\mathrm{Ad}}_{g^{-1}}\xi )$. Each component ${\mu }^{\xi }$ is therefore a Hamiltonian function for the corresponding infinitesimal action. Equivariance is part of the definition; merely requiring each infinitesimal generator to be a Hamiltonian vector field is the weaker condition of a weakly Hamiltonian action. Reversing the defining sign of Hamiltonian vector fields reverses the moment map sign as well.

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.

For $X\in \mathfrak{h}$, the fundamental vector field of the restricted Lie group action is $(iX{)}_M$. If $\varphi$ is the original moment map, thenThis is the defining Hamiltonian action identity, in the convention ${\iota }_{X_H}\omega =dH$.

If equivariance is included in the definition of a moment map, it is also preserved: the dual map $\pi =i^{\ast }$ intertwines the coadjoint actions of $H$, since $i({\mathrm{Ad}}_{h}X)={\mathrm{Ad}}_h(iX)$. Thusis a moment map for the restricted Hamiltonian action of the Lie subgroup $H$.

On $N={\mu }^{-1}(-1/4)$, the diagonal fundamental vector field $X$ is nonzero, since the fixed-point set lies at moment map values $0$ and $-1/2$. The nondegenerate bilinear form ${\omega }_p$ and $d\mu ={\iota }_X\omega$ imply $d\mu \ne 0$, so $-1/4$ is a regular value. By the regular level set theorem, $N$ is a three-dimensional embedded submanifold of the four-dimensional Complex projective plane.

At $p\in N$, set $W=T_{p}N=\ker d{\mu }_p$. Then $\omega (X,v)=0$ for every $v\in W$, so $X\in W^{\omega }$, the symplectic orthogonal complement. This complement is one-dimensional and $d\mu (X)=\omega (X,X)=0$, givingThus the level set is a coisotropic submanifold, neither an isotropic submanifold nor a Lagrangian submanifold. Indeed an isotropic subspace of a symplectic vector space in dimension four has dimension at most two, whereas $\dim N=3$. Its characteristic line field is generated by the diagonal circle action.

A symplectic Lie group action is weakly Hamiltonian when every fundamental vector field is a Hamiltonian vector field. A Hamiltonian group action additionally supplies Hamiltonians as components of an equivariant moment map. Constants in the component Hamiltonians do not affect their vector fields, but the ability to choose them with the required equivariance is an additional global condition.