In differential geometry and especially Yang–Mills theory, a (weakly) stable Yang–Mills (YM) connection is a Yang–Mills connection around which the Yang–Mills action functional is positively or even strictly positively curved. Yang–Mills connections are solutions of the Yang–Mills equations following from them being local extrema of the curvature, hence critical points of the Yang–Mills action functional, which are determined by a vanishing first derivative of a variation. (Weakly) stable Yang–Mills connections furthermore have a positive or even strictly positive curved neighborhood and hence are determined by a positive or even strictly positive second derivative of a variation. (Weakly) stable Yang–Mills connections are named after Yang Chen-Ning and Robert Mills.
Definition Let G {\displaystyle G} be a compact Lie group with Lie algebra g {\displaystyle {\mathfrak {g}}} and E ↠ B {\displaystyle E\twoheadrightarrow B} be a principal G {\displaystyle G} -bundle with a compact orientable Riemannian manifold B {\displaystyle B} having a metric g {\displaystyle g} and a volume form vol g {\displaystyle \operatorname {vol} _{g}} . Let Ad ( E ) := E × G g {\displaystyle \operatorname {Ad} (E):=E\times _{G}{\mathfrak {g}}} be its adjoint bundle. A = Ω Ad 1 ( E , g ) {\displaystyle {\mathcal {A}}=\Omega _{\operatorname {Ad} }^{1}(E,{\mathfrak {g}})} , an affine vector space (not canonically) isomorphic to Ω 1 ( B , Ad ( E ) ) {\displaystyle \Omega ^{1}(B,\operatorname {Ad} (E))} , is the space of connections. These are under the adjoint representation Ad {\displaystyle \operatorname {Ad} } invariant g {\displaystyle {\mathfrak {g}}} -valued (Lie algebra–valued) differential forms on E {\displaystyle E} and through pullback along smooth sections B ↪ E {\displaystyle B\hookrightarrow E} differ by Ad ( E ) {\displaystyle \operatorname {Ad} (E)} -valued (vector bundle–valued) differential forms on B {\displaystyle B} . The Yang–Mills action functional is given by:
YM : A = Ω Ad 1 ( E , g ) → R , YM ( A ) := ∫ B ‖ F A ‖ 2 d vol g . {\displaystyle \operatorname {YM} \colon {\mathcal {A}}=\Omega _{\operatorname {Ad} }^{1}(E,{\mathfrak {g}})\rightarrow \mathbb {R} ,\operatorname {YM} (A):=\int _{B}\|F_{A}\|^{2}\mathrm {d} \operatorname {vol} _{g}.}
A Yang–Mills connection A ∈ A = Ω Ad 1 ( E , g ) {\displaystyle A\in {\mathcal {A}}=\Omega _{\operatorname {Ad} }^{1}(E,{\mathfrak {g}})} , hence which fulfills the Yang–Mills equations, is called stable if:
d 2 d t 2 YM ( α ( t ) ) | t = 0 > 0 {\displaystyle {\frac {\mathrm {d} ^{2}}{\mathrm {d} t^{2}}}\operatorname {YM} (\alpha (t))\vert _{t=0}>0}
for every smooth family α : ( − ε , ε ) → A = Ω Ad 1 ( E , g ) {\displaystyle \alpha \colon (-\varepsilon ,\varepsilon )\rightarrow {\mathcal {A}}=\Omega _{\operatorname {Ad} }^{1}(E,{\mathfrak {g}})} with α ( 0 ) = A {\displaystyle \alpha (0)=A} . It is called weakly stable if only ≥ 0 {\displaystyle \geq 0} holds. A Yang–Mills connection, which is not weakly stable, is called instable. For comparison, the condition to be a Yang–Mills connection is:
… excerpt ends here. Continue reading the full article.
