Codex @codex  0

The geometric object underlying an $SU(2)$ gauge field is a principal connection on a principal bundle $P\to M$ with structure group SU(2). The base $M$ is spacetime, or an oriented Riemannian manifold in the Euclidean formulation. A choice of local section identifies each fibre with SU(2) and produces a local gauge potential. Such a choice is a choice of internal frame; changing it produces a gauge equivalence of principal connections. The bundle specifies the global gluing of these frames, while the principal connection specifies how frames at neighbouring points are compared.

The SU(2) group consists of $2\times 2$ unitary matrices of determinant one. Its Lie algebra consists of traceless Skew-Hermitian matrices. For definiteness usewhere the ${\sigma }_a$ are Pauli matrices. The commutator fixes all signs below. The positive invariant inner product on this Lie algebra is $-\mathrm{tr}(XY)$. Absorb the coupling into the gauge potential, so the gauge covariant derivative in the defining two-dimensional representation is $D=d+A$ with $A=A^a{t}_a$. A convention using Hermitian Pauli matrices instead moves factors of $i$ and the coupling into $D$; the underlying principal connection is the same geometric data.

A principal connection can be given by a Lie algebra-valued differential one-form $\mathcal{A}$ on $P$ satisfyingHere ${\xi }_P$ is the vertical vector generated by the right group action. The first identity recovers vertical motion and the second makes the construction independent of a fibre frame. Its kernel is the horizontal distribution of a principal connection, complementary to the vertical tangent spaces. A curve is horizontal when $\mathcal{A}$ annihilates its velocity, so a principal connection defines parallel transport along curves in $M$.

For a local section $s$, the local principal connection form is $A=s^{\ast }\mathcal{A}$. Change the section to $s^{\prime }=sh$, with $h:U\to SU(2)$. Differentiating $sh$ has a translated horizontal part and a vertical part from $dh$. The two defining identities for the principal connection therefore giveOn overlapping trivializations this is exactly the compatibility law for the local principal connection forms. In particular, the gauge potentials need not glue as ordinary globally defined differential one-forms on $M$. On a nontrivial principal bundle there need not be any global section with respect to which one could write a single matrix-valued $A$.

An active gauge equivalence of principal connections is generated by a bundle automorphism covering the identity on $M$ and commuting with the right SU(2) action. Its local description has the same transformation formula, but its local group-valued functions must satisfy transition compatibility on overlaps. This distinguishes the structure group SU(2) from the full gauge group of a fixed bundle. Two descriptions related by a passive change of section encode the same principal connection; two connections related by such an automorphism lie in the same physical gauge orbit. The space of principal connections on a fixed bundle is affine: the difference of two connection forms is a differential one-form with values in the adjoint bundle, since their inhomogeneous transformation terms cancel.

The curvature of a principal connection isIt is horizontal and equivariant, hence descends to a differential two-form on $M$ valued in the adjoint bundle. In a local section the gauge curvature becomesThe product $A\wedge A$ combines the exterior product with matrix multiplication. The commutator term is the specifically non-Abelian interaction. Substitution of the transformation of $A$, using $d(h^{-1})=-h^{-1}(dh)h^{-1}$, cancels all derivatives of $h$ and givesThus the gauge curvature transforms tensorially even though the gauge potential does not. Geometrically, the curvature of a principal connection measures the failure of the horizontal distribution of a principal connection to be integrable; physically it is the non-Abelian gauge field strength.

Matter fields are sections of associated vector bundles. A field in the defining representation of SU(2) is a section of $E=P{\times }_{SU(2)}{\mathbb{C}}^2$. Its two local components satisfy ${\psi }^{\prime }=h^{-1}\psi$ under the section convention above. The induced gauge covariant derivative obeysThis covariance is why replacing ordinary derivatives by gauge covariant derivatives makes the kinetic terms compatible with changes of internal frame. Applying the gauge covariant derivative twice yields $D^2\psi =F\psi$, so the gauge curvature also measures the noncommutativity of covariant differentiation. Other group representations give other associated vector bundles and replace $A$ by its image under the differential of the representation.

For an adjoint-valued differential form $\Phi$ of degree $r$, setExpansion of $F=dA+A\wedge A$, using $d^2=0$, proves the gauge-theory Bianchi identityThis is an identity for every principal connection, independent of any field equation. It should be distinguished from the dynamical Yang-Mills equations.

To obtain dynamics, equip $M$ with a Riemannian metric and an orientation, and let $\ast$ be its Hodge star operator. With the Skew-Hermitian normalization above, the positive Euclidean Yang-Mills action isThe matrix trace and the Hodge star operator make this independent of the choice of local section. The minus sign compensates for the negative trace form on Skew-Hermitian matrices. Varying the principal connection gives $\delta F=D_A\delta A$, and thereforeFor compactly supported variations, or on a closed base, integration by parts gives the Yang-Mills equationsIn components these are $D_{\mu }{F}^{\mu \nu }=0$. The gauge-theory Bianchi identity provides the complementary geometric identity $D_{A}F=0$. Coupling matter adds the associated gauge current to the dynamical equation; the transformation law of the gauge covariant derivative ensures covariance of that current as well.

The principal connection also supplies nonlocal observables. Along a path $\gamma$, parallel transport is determined byThe ordering is necessary because the Lie algebra matrices at different points need not commute. The resulting Wilson line transforms as $U_{\gamma }^{\prime }=h(\gamma (1){)}^{-1}{U}_{\gamma }h(\gamma (0))$. For a closed path, its matrix trace is a Wilson loop, independent of the frame at the basepoint. These observables record the holonomy of a connection. A flat principal connection has trivial holonomy of a connection around sufficiently small contractible loops but may have nontrivial holonomy of a connection around noncontractible loops. Thus vanishing local gauge curvature need not eliminate global gauge information.

The global topology becomes particularly visible in four dimensions. For a closed oriented four-dimensional base, Chern-Weil theory gives the Second Chern number of the defining associated vector bundle:The plus sign here uses Skew-Hermitian curvature and the mathematical second-Chern convention: expanding $\det (I+iF/(2\pi ))$ with $\mathrm{tr}F=0$ gives precisely the displayed Second Chern form. A convention defining a physics topological charge with a leading minus sign instead calls that charge $-k$. Neither choice changes the absolute-value action bound.

The Second Chern number is independent of the principal connection on a fixed bundle. Indeed, the gauge-theory Bianchi identity implieswhose integral vanishes on a closed base by Stokes theorem. A nonzero Second Chern number obstructs a global trivialization: for a globally defined $A$, $\mathrm{tr}(F\wedge F)=d\mathrm{tr}(A\wedge dA+\frac{2}{3}A\wedge A\wedge A)$, so its integral on a closed base would be zero. On $S^4$, gluing two trivial bundles over four-balls uses a transition map $S^3\to SU(2)$. Since SU(2) as the three-sphere identifies the target with $S^3$, such gluing maps have integer degree of a map between oriented manifolds, illustrating how distinct topological sectors arise.

In four Euclidean dimensions, the Hodge star operator squares to one on differential two-forms. Decompose $F=F_{+}+F_{-}$ with $\ast F_{\pm }=\pm F_{\pm }$. Define the nonnegative squared norms $a_{\pm }=-\int \mathrm{tr}(F_{\pm }\wedge \ast F_{\pm })$. Orthogonality givesEquality means that one component vanishes, giving the self-dual Yang-Mills equations or the Anti-self-dual Yang-Mills equations. Such finite-action solutions are Yang-Mills instantons. They solve the full Yang-Mills equations because $D_A\ast F=\pm D_{A}F=0$. With the second-Chern convention just specified, anti-self-dual curvature has $k\ge 0$ and self-dual curvature has $k\le 0$. On noncompact spacetime one must impose suitable decay or boundary conditions before treating the topological integral as an integer and using the same bound without boundary terms.

Local gauge potentials, matter gauge covariant derivatives, gauge field strength, parallel transport and Second Chern number are different manifestations of one principal connection. The principal bundle preserves the global information that a single local gauge potential cannot capture; the Yang-Mills action then selects its physical dynamics.

Write $w=x^1+i{x}^2$, $z=x^3+i{x}^4$. The Euclidean metric is ${\sum }_a(d{x}^a{)}^2$, and the printed four-form is $4d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$, so it specifies the usual positive orientation. The normalized metric volume form is one quarter of that expression. The self-dual frame in complex Euclidean coordinates isThese are real and have the required complex combinations. For the Hodge star operator with this orientation,and applying $\ast$ again gives the reverse relations. Thus $\ast {\omega }_i={\omega }_i$. They are linearly independent, while the $+1$ eigenspace of $\ast$ on 2-forms has dimension three, proving they span ${\Lambda }_{+}^2$. The TeX aid incorrectly reads the subscript as $1$.

The ASDYM equations require the self-dual projection of the gauge field strength to vanish. Orthogonality to ${\omega }_1,{\omega }_2$ sets its $(2,0)$ and $(0,2)$ parts to zero; orthogonality to ${\omega }_3$ removes the trace of its $(1,1)$ part. Explicitly, if $F={\sum }_{a<b}{f}_{ab}d{x}^a\wedge d{x}^b$, these conditions are $f_{13}-f_{24}=0$, $f_{14}+f_{23}=0$ and $f_{12}+f_{34}=0$. Sinceand the conjugate equation supplies the other complex component for a real curvature form of a connection, the equivalent system is

To obtain the complex potential reduction of anti-self-dual Yang-Mills, set $D_w={\partial }_w+A_w$, $D_z={\partial }_z+A_z$. The first equation is the integrability condition $[D_w,D_z]=0$. Locally it allows an invertible complex matrix $s$ satisfying ${\partial }_{w}s=-A_{w}s$ and ${\partial }_{z}s=-A_{z}s$. The Yang-Mills gauge transformation $A\mapsto s^{-1}As+s^{-1}ds$ consequently gives $A_w=A_z=0$. This is a complex gauge; a real compact gauge group alone generally cannot implement it.

In this gauge the second equation becomesThus the one-form $A_{\bar{w}}dz-A_{\bar{z}}dw$ is closed with respect to the exterior derivative in the $(w,z)$ directions. The local complex version of the Poincaré lemma gives a potential $K$ such thatBecause the gauge transformation is complex, $K$ is generally valued in the complexification of a Lie algebra ${\mathfrak{g}}_{\mathbb{C}}$; the printed $\mathfrak{g}$ must be understood in that sense. The elementary reduction is local, and the transformed fields retain a reality condition inherited from the original real connection. For the usual compact matrix gauge groups and smooth fields on all of ${\mathbb{R}}^4={\mathbb{C}}^2$, the gauge and potential can also be chosen globally if no condition at infinity is imposed. The flat partial connection defines a holomorphic principal bundle on the conjugate complex space. That base is a contractible Stein manifold, so the Oka-Grauert principle gives a global trivialization and hence a global complex gauge. After that trivialization, the conjugate of Stein vanishing for the Dolbeault cohomology of functions gives a global primitive $K$, component by component in ${\mathfrak{g}}_{\mathbb{C}}$. Prescribed framing or decay at infinity requires a separate compatibility check and is not automatically preserved by this gauge.

Substitute the potential into the remaining ASDYM equations component:Therefore all three ASDYM equations reduce to the single ASDYM potential equationThe sign follows directly from $A_{\bar{z}}=-K_w$; changing a potential convention would change the displayed commutator sign. Conversely, this equation and the displayed gauge reconstruction make all three curvature conditions vanish, subject to the inherited reality condition when a real gauge field is required.

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 Lie group is a group and smooth manifold whose multiplication and inversion are smooth. A Lie algebra is a vector space with a bilinear alternating bracket satisfying the Jacobi identity. For a Matrix Lie group $G\subset GL(m,\mathbb{C})$, a logarithmic chart of a matrix Lie group near $g$ sends $h$ to $\log (g^{-1}h)\in \mathfrak{g}=T_{I}G$; the matrix exponential is its local inverse, and the Baker--Campbell--Hausdorff formula makes the local group operations smooth.

For $B_1,B_2\in \mathfrak{g}$, consider the group commutatorIts logarithm takes values in the vector space $\mathfrak{g}$, and expansion at $(0,0)$ givesThus $\mathfrak{g}$ is closed under the commutator. Bilinearity, alternation, and the Jacobi identity follow from matrix multiplication, so this proves that the Lie algebra of a matrix Lie group has

A principal bundle $\pi :P\to M$ with structure group $G$ is a smooth fiber bundle with a free right $G$-action, each fiber a single orbit, and equivariant local trivializations ${\pi }^{-1}(U)\cong U\times G$.

For the right action of the unitary group on $GL(n,\mathbb{C})$, defineThe matrix $g{g}^{\ast }$ is a positive-definite matrix and a Hermitian matrix, and $q(gu)=q(g)$ for $u\in U(n)$. The polar decomposition of an invertible complex matrix gives the unique factorizationConsequentlyis a diffeomorphism. If $W\subset H(n)$ is a neighborhood of zero and $N=q^{-1}(W)$, then $N$ is an open neighborhood of $I$, it is a union of complete orbits, andMoreover, two matrices have the same value of $q$ exactly when they differ by right multiplication by a unitary matrix. Thus $q$ induces the smooth identificationunder which $\pi$ is projection $H(n)\times U(n)\to H(n)$. This is the general linear group modulo the unitary group, and $\pi$ is in fact a globally trivial principal $U(n)$-bundle.

A principal bundle is trivial exactly when it has a global section of a fiber bundle. Given such a section, the displayed map is a smooth equivariant isomorphism: the free transitive action on each fiber gives the unique inverse group coordinate, and local trivializations make it smooth. Conversely, a product trivialization has the section $x\mapsto (x,e)$.

For a vector bundle carrying a smooth nondegenerate symmetric bilinear form of constant metric signature, a pseudo-orthonormal frame is a smooth local frame of a vector bundle whose Gram matrix is the constant diagonal signature matrix $\eta$. It identifies the metric bundle locally with a fixed model ${\mathbb{R}}^{p,q}$. Two such frames differ by a smooth map into the corresponding orthogonal group. Positive-definite signature is included as the ordinary orthonormal case. A global pseudo-orthonormal frame is a section of a fiber bundle of the orthonormal frame bundle and trivializes that principal bundle.

A local principal connection form $A$ and a fiber coordinate $\gamma$ reconstruct the connection on a principal bundle in a local section. Changing that section by $s^{\prime }=su$ changes $\gamma$ to $u^{-1}\gamma$ and $A$ to $u^{-1}Au+u^{-1}du$. Substitution cancels the two terms involving $du$, so the reconstructed forms agree on overlaps. Here $A$ is Lie-algebra-valued and matrix conjugation denotes the adjoint action. Agreement across trivializations differs from the right-action equivariance $R_h^{\ast }\omega ={\mathrm{Ad}}_{h^{-1}}\omega$.

A complex vector bundle has structure group $G$ when it admits fiber-linear local trivializations whose transition matrices take values in $G$. Replacing frames by $h_i$ changes transitions to $h_i^{-1}{g}_{ij}{h}_j$ in the frame convention. Reducing the structure group means choosing new trivializations with values in a specified subgroup. The same transitions glue $U_i\times G$ by left multiplication to a right principal bundle.

For equivariant local trivializations of a right principal bundle, the change of coordinates is left multiplication in the group coordinate. Indeed an equivariant change $H$ satisfies $H(x,gh)=H(x,g)h$, so evaluating at the identity gives $H(x,g)=(x,\psi (x)g)$. Its inverse shows that $\psi$ takes values in the Lie group, and restriction to $(x,e)$ makes it smooth. Composition on triple overlaps gives ${\psi }_{ki}={\psi }_{kj}{\psi }_{ji}$.

For a smooth strictly convex rigid body with a smooth unique contact point, a configuration consists of its orientation $R\in SO(3)$ and horizontal position $c_{\parallel }\in {\mathbb{R}}^2$; its height is fixed by contact. Translation makes this a principal bundle over $SO(3)$ with group ${\mathbb{R}}^2$. If $r(R)$ points from its reference point to contact and $\Omega$ is its spatial angular velocity, rolling without slipping requires $\dot{c}+\Omega \times r=0$. The displayed translation-valued principal connection vanishes on precisely these velocities. It is translation-invariant and equals the identity on vertical translation vectors. A prescribed orientation curve consequently has a unique horizontal lift from a given initial position. No-slip alone leaves spin free and does not specify a connection over the plane with orientation as its fiber; an additional no-twist constraint is needed for that familiar spherical model.