Codex @codex  0

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.

Use real differential forms and the usual convention that a smooth manifold has no boundary unless one is specified. On a noncompact manifold the formal-adjoint identity below uses compactly supported forms. On a compact manifold it has no boundary contribution; if a boundary were allowed, extra boundary conditions would be necessary.

The Riemannian metric gives the dual inner product on $T_x^{\ast }M$ and hence the inner product on exterior powers of a cotangent space:Extend this bilinearly. Equivalently, the increasing wedge products of an orthonormal coframe are an orthonormal basis of ${\Lambda }^p{T}_x^{\ast }M$. The Hodge star operator is the unique map $\ast :{\Lambda }^p{T}_x^{\ast }M\to {\Lambda }^{n-p}{T}_x^{\ast }M$ satisfying $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩{\mathrm{vol}}_g$. If $e^1,\dots ,e^n$ is a positively oriented orthonormal coframe, $\ast e^I=\epsilon (I,I^c)e^{I^c}$. Moving the $p$ factors of $I$ across the $n-p$ factors of its complement changes the sign by $(-1{)}^{p(n-p)}$, soThe basis formula also proves that $\ast$ is an isometry.

For $\beta \in {\Omega }^{p-1}(M)$ and $\alpha \in {\Omega }^p(M)$ with compactly supported product, the Stokes theorem and the Leibniz rule for the exterior derivative giveThus $(d\beta ,\alpha {)}_{L^2}=(-1{)}^p{\int }_M\beta \wedge d\ast \alpha$. The formal adjoint operator $\delta$ satisfies $\ast \delta \alpha =(-1{)}^{p}d\ast \alpha$. Applying the inverse star and its square on degree $p-1$ gives the codifferentialThe exponent is congruent to $p+(p-1)(n-p+1)$ modulo two, so this convention is consistent in every degree. Define the Hodge Laplacian by $\Delta =d\delta +\delta d$ and a harmonic differential form by $\Delta \alpha =0$. On a compact manifold,Both nonnegative terms vanish for a harmonic form, giving $d\alpha =\delta \alpha =0$. Conversely these two equations imply harmonicity.

Now let $n=4$. The printed eigenvalue relation omits the subscript on its right-hand side; the intended equation is $\ast {\alpha }_{\pm }=\pm {\alpha }_{\pm }$. On two-forms ${\ast }^2=1$, soThese are respectively self-dual two-forms and anti-self-dual two-forms, and sum to $\alpha$. Their uniqueness follows because the $+1$ and $-1$ eigenspaces have zero intersection. Star is an orthogonal involution here, hence is self-adjoint and its opposite eigenspaces are orthogonal.

For closed two-forms define $Q([\alpha ],[\beta ])={\int }_N\alpha \wedge \beta$. Adding $d\xi$ to $\alpha$ changes the integral by ${\int }_{N}d(\xi \wedge \beta )=0$; adding an exact form to $\beta$ has the same effect. This is the real de Rham intersection form in dimension four. The wedge product of differential forms in degrees two and two is symmetric because $(-1{)}^{2\cdot 2}=1$; hence $Q$ is a symmetric bilinear form on $H_{\mathrm{dR}}^2(N;\mathbb{R})$.

In four dimensions $\delta =-\ast d\ast$ in every degree. If $h$ is a harmonic two-form, $\delta h=0$ gives $d\ast h=0$, and $dh=0$ gives $\delta \ast h=-\ast dh=0$. Thus $\ast h$ is harmonic, and ${\mathcal{H}}^2={\mathcal{H}}^{+}\oplus {\mathcal{H}}^{-}$ is the harmonic star-eigenspace decomposition. Use the permitted unique harmonic representative for each de Rham cohomology class. For harmonic $h,k$,The mixed terms vanish by orthogonality. The first restriction is positive definite and the second negative definite. In particular a nonzero harmonic $h$ has $Q(h,\ast h)=\Vert h{\Vert }_{L^2}^2>0$, proving nondegeneracy. Hence the signature of the intersection form from harmonic duality isThe finite dimensions and the harmonic description also follow from the Hodge decomposition theorem.

For completeness, the Hodge decomposition theorem on a compact oriented Riemannian manifold without boundary states the finite-dimensional harmonic space and the $L^2$-orthogonal direct sumThe three summand components are unique, although their potentials need not be. Given an exact three-form $\beta =d\omega$ on $N$, decompose its smooth two-form potential as $\omega =h+d\xi +\delta \psi$, with $\psi \in {\Omega }^3$. Since $dh=0$ and $d^2=0$, $\beta =d\delta \psi$. Put $a=\delta \psi$. In dimension four, $a=-\ast d\ast \psi$, and ${\ast }^2=1$ on two-forms gives $\ast a=-d\ast \psi$, so $d\ast a=0$. ConsequentlyThis constructs a self-dual primitive of an exact three-form. The sum contains no factor $1/2$: it is twice the self-dual projection of the coexact potential. Using the unscaled projection alone would give $d\sigma =\beta /2$. This proves the final unheaded request.

Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the $2k$ gamma matrices into operators $a_i,a_i^{†}$ with $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. The $k$ commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the $k$ fermionic creation operators produces $2^k$ independent states. Conversely, these operators construct matrices on a $2^k$-dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in $D=2k$ hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.

The Lorentz group acts through even Clifford products, ${\Sigma }^{\mu \nu }=\frac{1}{4}[{\Gamma }^{\mu },{\Gamma }^{\nu }]$. More precisely this is a representation of its double cover, the Spin group. The normalized product ${\Gamma }_{\ast }$ of all $2k$ matrices squares to one and anticommutes with each ${\Gamma }^{\mu }$, while commuting with every ${\Sigma }^{\mu \nu }$. Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:Each summand is irreducible. The Clifford module itself remains irreducible because an individual ${\Gamma }^{\mu }$ interchanges the summands. In $D=2k+1$ one can use the old ${\Gamma }_{\ast }$ as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all $2k+1$ matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible $2^k$-dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.

For the massless field counts, use the rotational part $SO(D-2)$ of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$ polarizations. A graviton has a symmetric traceless transverse tensor, giving $(D-2)(D-1)/2-1=D(D-3)/2$. A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving $(D-3)$ times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has $7\times 8=56$ polarizations, the nine-dimensional Majorana gravitino has $6\times 8=48$, and the eleven-dimensional Majorana gravitino has $8\times 16=128$.

The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field $B_2$, and the dilaton $\varphi$. Their counts are respectively $35$, $\left(\genfrac{}{}{0ex}{}{8}{2}\right)=28$, and $1$. The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving $56+56=112$, and two Majorana-Weyl dilatini of opposite chirality, giving $8+8=16$. Their total is $128$. With gravitini labelled ${\psi }^{+}$ and ${\psi }^{-}$, the corresponding dilatini have signs $-$ and $+$ respectively. Type IIA is nonchiral.

In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with $C_4$ is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute $112$ states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute $16$ states. Type IIB is chiral, with $128+128$ bosonic and fermionic polarizations.

For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary $p$-form splits into a $p$-form and a $(p-1)$-form, according as it has no compact index or one. This preserves counts by Pascal's identity, $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)=\left(\genfrac{}{}{0ex}{}{D-3}{p}\right)+\left(\genfrac{}{}{0ex}{}{D-3}{p-1}\right)$.

Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving $56=48+8$. Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with $2(48)+4(8)=128$. The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.

Reducing type IIB supergravity gives $g_{\mu \nu },A_{\mu }^{\mathrm{metric}},\rho$ from the metric; one two-form and one vector each from $B_2$ and $C_2$; and the two scalars $\varphi ,C_0$. The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=\left(\genfrac{}{}{0ex}{}{7}{4}\right)=35$ independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.

Eleven-dimensional supergravity has a metric with $11(8)/2=44$ states, a three-form with $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$, and a Majorana gravitino with $128$. For direct reduction on a flat two-torus, write the internal indices as $i=1,2$. The metric gives $g_{\mu \nu }$, two vectors $g_{\mu i}$ and three symmetric components $g_{ij}$; the three-form gives $A_{\mu \nu \rho }$, two two-forms $A_{\mu \nu i}$ and one vector $A_{\mu 12}$. HenceThe eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving $128=2(48)+4(8)$. This is again the same $128+128$ maximal nine-dimensional multiplet.

For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices $i=1,\dots ,6$ giveThe multiplicities $21,15,20$ come respectively from a symmetric pair of six internal indices, $\left(\genfrac{}{}{0ex}{}{6}{2}\right)$, and $\left(\genfrac{}{}{0ex}{}{6}{3}\right)$. Before dualizing, this gives one graviton, $28$ vectors, $63$ scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, $28$ vectors and $70$ scalars, with $2+56+70=128$ states.

A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with $56=4(2)+24(2)$. Each ten-dimensional dilatino supplies four spin-one-half fields, with $8=4(2)$. Together they give eight gravitini and fifty-six spin-one-half fields, with $8(2)+56(2)=128$. As a separate check, the helicity spectrum of a massless supermultiplet with $\mathcal{N}=8$ has multiplicities $\left(\genfrac{}{}{0ex}{}{8}{j}\right)$ at helicity $2-j/2$, giving $1,8,28,56,70,56,28,8,1$. The reduced theory has the field content of four-dimensional N=8 supergravity, with $128+128$ physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.

Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature $(-+++)$, $H_{\mu \nu \rho }=3{\partial }_{[\mu }{B}_{\nu \rho ]}$, and the contravariant volume tensor ${ϵ}^{0123}=+1$. A healthy two-form kinetic term and its first-order form areTreat $H$ as independent. Varying $a$ imposes its Bianchi identity for an Abelian p-form, ${\partial }_{\sigma }({ϵ}^{\mu \nu \rho \sigma }{H}_{\mu \nu \rho })=0$, so locally $H=dB$. Varying $H$ instead yieldsUse ${ϵ}^{\mu \nu \rho \sigma }{ϵ}_{\mu \nu \rho \lambda }=-6{\delta }_{\lambda }^{\sigma }$. The original kinetic term becomes $+(g_B^2/2)(\partial a{)}^2$, and the multiplier term becomes $-g_B^2(\partial a{)}^2$. Both terms must be substituted; replacing $H$ only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is $-\frac{1}{2g_a^2}(\partial a{)}^2$, then $g_a=1/g_B$. A canonical scalar is $g_{B}a$ for constant $g_B$, but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix ${\mathcal{G}}_{IJ}$ of several two-forms, the same calculation gives $-\frac{1}{2}({\mathcal{G}}^{-1}{)}^{IJ}\partial a_I\partial a_J$. Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.

A four-dimensional three-form instead has $F_4=d{C}_3=f{\mathrm{vol}}_4$. Its equation of motion, $d(g_3^{-2}\ast F_4)=0$, makes $f/g_3^2$ a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier $q(F_4-d{C}_3)$: varying $C_3$ imposes $dq=0$, and the displayed density retains the term fixing the flux normalization. Eliminating $f$ gives $f=g_3^{2}q$ and ${\mathcal{L}}_{\mathrm{eff}}=-g_3^2{q}^2/2$. Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.

For the Komar integral of a five-dimensional Reissner--Nordstrom metric, use the one-form metrically dual to the stationary Killing vector field: $k^{♭}=-f(r)dt$. Its exterior derivative is $d{k}^{♭}=f^{\prime }(r)dt\wedge dr$. The stated orientation gives volume formBecause the squared norm of $dt\wedge dr$ is $g^{tt}{g}^{rr}=-1$, the defining wedge identity for the Hodge star operator givesThus the Komar integral over the positively oriented angular three-sphere issince the unit three-sphere has volume $2{\pi }^2$. Write $s=r_{+}^2+r_{-}^2$, $q=r_{+}^2{r}_{-}^2$. Then $f=1-s/r^2+q/r^4$ and $r^3{f}^{\prime }=2s-4q/r^2$. With the normalization specified for the Komar mass,The orientation makes this positive. The problem's coefficient $1/(16\pi )$ must be retained: it is not the usual dimension-adjusted five-dimensional ADM-normalized Komar coefficient. With that conventional normalization the ADM mass would instead be $3\pi s/8$.

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.

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.

At each point, use the inverse metric on the cotangent space. It induces an inner product on $p$-forms byEquivalently, wedges of distinct members of an orthonormal coframe form an orthonormal basis. Choose an orientation to define the ordinary global Hodge star operator by $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩d{\mathrm{vol}}_g$. It maps $p$-forms to $(n-p)$-forms and obeys ${\ast }^2=(-1{)}^{p(n-p)}$. We use real forms; complex forms are obtained by complex-linear extension. Without an orientation an ordinary global star is not available without twisting the target, so orientation is implicit in this first part.

With the codifferential ${\delta }_p=(-1{)}^{n(p+1)+1}\ast d\ast$ for $p>0$ and ${\delta }_0=0$, define the Hodge Laplacian $\Delta =d\delta +\delta d$. On functions it is the nonnegative-sign Laplace-Beltrami operator, $\Delta f=-\mathrm{div}\mathrm{grad}f$. A harmonic differential form satisfies $\Delta \alpha =0$.

For $\alpha$ of degree $p$, the displayed sign formula and star square giveApplying the identities again, at degrees $p-1$ and $p+1$, proves the Hodge star commutes with the Hodge Laplacian relationSince star is invertible, $\alpha$ is harmonic if and only if $\ast \alpha$ is harmonic. This part does not need compactness; zero-degree and top-degree terms are interpreted as zero when their degrees are outside the range.

For the remaining cohomological statements assume a compact oriented manifold without boundary. The Hodge decomposition theorem gives the $L^2$-orthogonal decompositionwhere ${\mathcal{H}}^p=\ker \Delta$ is finite-dimensional and consists of smooth forms. Formal adjointness gives $⟨\Delta \alpha ,\alpha {⟩}_{L^2}=\Vert d\alpha {\Vert }_{L^2}^2+\Vert \delta \alpha {\Vert }_{L^2}^2$, so harmonic differential forms are closed differential forms and coclosed differential forms.

If $\Delta f\ge 0$, formal adjointness and $\Delta 1=0$ give ${\int }_M\Delta f=0$. A continuous nonnegative function with zero integral vanishes, so $\Delta f=0$. Then $\Vert df{\Vert }_{L^2}^2=⟨\Delta f,f⟩=0$. Thus the a function with nonnegative Laplacian on a closed manifold is locally constant assertion isIt is globally constant when $M$ is connected. The PDF does not explicitly include connectedness here; on two disjoint circles one may take different constants, so literal global constancy needs that qualification. Boundaryless is the standard manifold convention in this argument; otherwise boundary conditions are necessary.

For a closed differential form $\alpha$, write its Hodge decomposition as $\alpha =h+d\beta +\delta \gamma$. Since $d\alpha =dh=0$, we have $d\delta \gamma =0$. Formal adjointness yields $\Vert \delta \gamma {\Vert }^2=⟨\gamma ,d\delta \gamma ⟩=0$, so $\alpha =h+d\beta$. Thus $h$ represents its de Rham cohomology class. If two harmonic representatives differ by $d\beta$, their difference $h$ has $\Vert h{\Vert }^2=⟨d\beta ,h⟩=⟨\beta ,\delta h⟩=0$. Therefore

Finally let $h\in G$. A connected Lie group admits a smooth path $h_t$ from the identity to $h$. The maps $R_{h_t}$ give a smooth homotopy between the identity and $R_h$. The homotopy invariance of de Rham cohomology says their pullbacks agree on cohomology. The maps $R_{h_t}$ preserve orientation, since their Jacobian signs cannot change from the identity along the path. As an orientation-preserving isometry, $R_h$ commutes on forms with star, exterior differentiation, codifferentiation and consequently the Hodge Laplacian. Hence $R_h^{\ast }\alpha$ is harmonic and represents the same cohomology class as a harmonic $\alpha$. Uniqueness now proves the harmonic forms are fixed by a connected isometric group action conclusionThe argument also applies componentwise when $M$ is disconnected.

Use $G=c=1$, the Einstein field equations with zero cosmological constant, and metric signature $(-,+,+,+)$. Write $m=m_{a}d{x}^a$ for the differential one-form dual to the axial Killing vector field. To fix the sign of the volume formula, use the component Hodge star operator convention $(\star j{)}_{abc}={ϵ}_{abcd}{j}^d$ and $(\star F{)}_{ab}=\frac{1}{2}{ϵ}_{abcd}{F}^{cd}$. The Killing equation gives $(dm{)}_{ab}=2{\nabla }_a{m}_b$, and its contracted curvature identity givesTo see the curvature step, tracing the Killing equation gives ${\nabla }_b{m}^b=0$. The second covariant derivative of a Killing vector then gives ${\nabla }^b{\nabla }_b{m}_a=-R_{ab}{m}^b$, while commuting the covariant derivatives gives ${\nabla }^b{\nabla }_a{m}_b=R_{ab}{m}^b$. Subtracting these two terms is precisely ${\nabla }^b(dm{)}_{ab}$ above. The component Hodge star operator converts this divergence to $d\star dm$ with the displayed minus sign.