In differential geometry and especially Yang–Mills theory, a (weakly) stable Yang–Mills–Higgs (YMH) pair is a Yang–Mills–Higgs pair around which the Yang–Mills–Higgs action functional is positively or even strictly positively curved. Yang–Mills–Higgs pairs are solutions of the Yang–Mills–Higgs equations following from them being local extrema of the curvature of both fields, hence critical points of the Yang–Mills-Higgs action functional, which are determined by a vanishing first derivative of a variation. (Weakly) stable Yang–Mills-Higgs pairs 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.
Let
G
ak{g}
E\twoheadrightarrowB
G
B
g
\operatorname{vol}g
\operatorname{Ad}(E) =E x Gak{g}
\Omega\operatorname{Ad
\operatorname{Ad}
\star
B
g
\operatorname{vol}g
The Yang–Mills–Higgs action functional is given by:[2]
\operatorname{YMH}\colon \Omega1(B,\operatorname{Ad}(E)) x \Gamma
infty(B,\operatorname{Ad}(E)) → R, \operatorname{YMH}(A,\Phi) :=\int | |
B\|F |
2d\operatorname{vol} | |
g. |
A Yang–Mills–Higgs pair
A\in\Omega1(B,\operatorname{Ad}(E))
\Phi\in\Gammainfty(B,\operatorname{Ad}(E))
d2 | |
dt2 |
\operatorname{YMH}(\alpha(t),\varphi(t))\vertt=0>0
for every smooth family
\alpha\colon (-\varepsilon,\varepsilon) → \Omega1(B,\operatorname{Ad}(E))
\alpha(0)=A
\varphi\colon (-\varepsilon,\varepsilon) → \Gammainfty(B,\operatorname{Ad}(E))
\varphi(0)=\Phi
\geq0
d | |
dt |
\operatorname{YMH}(\alpha(t),\varphi(t))\vertt=0=0.
(A,\Phi)
Sn
n=4
A
dA\starFA=0
dA\Phi=0
\|\Phi\|=1
n\geq5
A
FA=0
dA\Phi=0
\|\Phi\|=1