Stable Yang–Mills–Higgs pair

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.

Definition

Let $G$ be a compact Lie group with Lie algebra ${\mathfrak {g}}$ and $E\twoheadrightarrow B$ be a principal $G$-bundle with a compact orientable Riemannian manifold $B$ having a metric $g$ and a volume form $\operatorname {vol} _{g}$. Let $\operatorname {Ad} (E)=E\times _{G}{\mathfrak {g}}$ be its adjoint bundle. $\Omega _{\operatorname {Ad} }^{1}(E,{\mathfrak {g}})\cong \Omega ^{1}(B,\operatorname {Ad} (E))$ is the space of connections, which are either under the adjoint representation $\operatorname {Ad}$ invariant Lie algebra–valued or vector bundle–valued differential forms. Since the Hodge star operator $\star$ is defined on the base manifold $B$ as it requires the metric $g$ and the volume form $\operatorname {vol} _{g}$, the second space is usually used.

The Yang–Mills–Higgs action functional is given by:

$\operatorname {YMH} \colon \Omega ^{1}(B,\operatorname {Ad} (E))\times \Gamma ^{\infty }(B,\operatorname {Ad} (E))\rightarrow \mathbb {R} ,\operatorname {YMH} (A,\Phi ):=\int _{B}\|F_{A}\|^{2}+\|\mathrm {d} _{A}\Phi \|^{2}\mathrm {d} \operatorname {vol} _{g}.$

A Yang–Mills–Higgs pair $A\in \Omega ^{1}(B,\operatorname {Ad} (E))$ and $\Phi \in \Gamma ^{\infty }(B,\operatorname {Ad} (E))$, hence which fulfill the Yang–Mills–Higgs equations, is called stable if:

${\frac {\mathrm {d} ^{2}}{\mathrm {d} t^{2}}}\operatorname {YMH} (\alpha (t),\varphi (t))\vert _{t=0}>0$

for every smooth family $\alpha \colon (-\varepsilon ,\varepsilon )\rightarrow \Omega ^{1}(B,\operatorname {Ad} (E))$ with $\alpha (0)=A$ and $\varphi \colon (-\varepsilon ,\varepsilon )\rightarrow \Gamma ^{\infty }(B,\operatorname {Ad} (E))$ with $\varphi (0)=\Phi$. It is called weakly stable if only $\geq 0$ holds. A Yang–Mills–Higgs pair, which is not weakly stable, is called instable. For comparison, the condition to be a Yang–Mills–Higgs pair is:

${\frac {\mathrm {d} }{\mathrm {d} t}}\operatorname {YMH} (\alpha (t),\varphi (t))\vert _{t=0}=0.$

Properties

• Let $(A,\Phi )$ be a weakly stable Yang–Mills–Higgs pair on $S^{n}$, then the following claims hold:
  • If $n=4$, then $A$ is a Yang–Mills connection ($\mathrm {d} _{A}\star F_{A}=0$) as well as $\mathrm {d} _{A}\Phi =0$ and $\|\Phi \|=1$.
  • If $n\geq 5$, then $A$ is flat ($F_{A}=0$) as well as $\mathrm {d} _{A}\Phi =0$ and $\|\Phi \|=1$.

See also

• Stable Yang–Mills connection

External links

• stable Yang–Mills–Higgs pair at the nLab