The Haydys monopole equation

TL;DR

This paper explores complexified Bogomolny monopoles, revealing their moduli space's rich geometric structure as a Kähler manifold containing the classical monopole moduli space as a Lagrangian submanifold, and constructs local neighborhoods using gluing techniques.

Contribution

It introduces the concept of Haydys monopoles as solutions from dimensional reduction, analyzes their moduli space's geometry, and constructs local neighborhoods analogous to Higgs bundle theory.

Findings

The moduli space of Haydys monopoles is a Kähler manifold.

The classical Bogomolny moduli space is a minimal Lagrangian submanifold within it.

A gluing construction models neighborhoods around the Bogomolny moduli space.

Abstract

We study complexified Bogomolny monopoles using the complex linear extension of the Hodge star operator; these monopoles can be interpreted as solutions to the Bogomolny equation with a complex gauge group. Alternatively, these equations can be obtained from dimensional reduction of the Haydys instanton equations to three dimensions, thus we call them Haydys monopoles. We find that (under mild hypotheses) the smooth locus of the moduli space of finite energy Haydys monopoles on $\mathbb{R}^3$ is a K\"ahler manifold containing the ordinary Bogomolny moduli space as a minimal Lagrangian submanifold -- an $A$-brane. Moreover, using a gluing construction we construct an open neighborhood of this submanifold modeled on a neighborhood of the zero section in the tangent bundle to the Bogomolny moduli space. This is analogous to the case of Higgs bundles over a Riemann surface, where the (co)tangent bundle of holomorphic bundles canonically embeds into the Hitchin moduli space. These results contrast immensely with the case of finite energy Kapustin--Witten monopoles for which we have shown a vanishing theorem in [12].

Equations

$$\ast F_{\nabla }=d_{\nabla }\Phi .$$

$$\ast d_{\nabla }a-d_{\nabla }\Psi -[a,\Phi ]$$

$$d_{\nabla }^{\ast }a+[\Psi ,\Phi ]$$

$$\ast d_{\nabla }a+d_{\nabla }\Psi +[a,\Phi ]$$

$$d_{\nabla }^{\ast }a+[\Psi ,\Phi ]$$

$$\ast F_{\mathbf{A}}=d_{\mathbf{A}}{\rm Y},$$

$$\overline{\ast }{F}_{\mathbf{A}}=d_{\mathbf{A}}{\rm Y},$$

$$d_{\nabla }^{\ast }a=i[{\rm Y},\overline{{\rm Y}}]\iff d_{\nabla }^{\ast }a+[\Psi ,\Phi ]=0,$$

$$[a\wedge b]=\sum _{\begin{array}{c}|I|=p\\ |J|=q\end{array}}[a_I,b_J]d{x}^I\wedge d{x}^J,$$

$$\ast F_{\nabla }-d_{\nabla }\Phi -\frac{1}{2}\ast [a\wedge a]+[a,\Psi ]$$

$$\ast d_{\nabla }a-d_{\nabla }\Psi -[a,\Phi ]$$

$$d_{\nabla }^{\ast }a+[\Psi ,\Phi ]$$

$$\ast F_{\nabla }-d_{\nabla }\Phi -\frac{1}{2}\ast [a\wedge a]+[a,\Psi ]$$

$$\ast d_{\nabla }a+d_{\nabla }\Psi +[a,\Phi ]$$

$$d_{\nabla }^{\ast }a+[\Psi ,\Phi ]$$

$$\mathcal{E}(\nabla ,\Phi ,a,\Psi )$$

$$+\Vert [a,\Phi ]{\Vert }^2+\Vert [a,\Psi ]{\Vert }^2+\Vert [\Psi ,\Phi ]{\Vert }^2.$$

$$\mathcal{C}=\mathcal{A}\times {\Omega }^0(M,{\mathfrak{g}}_P)\times {\Omega }^1(M,{\mathfrak{g}}_P)\times {\Omega }^0(M,{\mathfrak{g}}_P)\cong T(\mathcal{A}\times {\Omega }^0(M,{\mathfrak{g}}_P))$$

$${\Lambda }_{\mathbb{C}}^{k}X{\otimes }_{\mathbb{R}}{\mathfrak{g}}_{P^X}\simeq {\Lambda }_{\mathbb{C}}^{k}X{\otimes }_{\mathbb{C}}{\mathfrak{g}}_{P_{\mathbb{C}}^X}\simeq ({\Lambda }^{k}X\otimes {\mathfrak{g}}_{P^X})\oplus i({\Lambda }^{k}X\otimes {\mathfrak{g}}_{P^X}).$$

$$F_{\mathbf{A}}=\mathrm{Re}(F_{\mathbf{A}})+i\mathrm{Im}(F_{\mathbf{A}}).$$

$$\mathrm{Re}(F_{\mathbf{A}})$$

$$\mathrm{Im}(F_{\mathbf{A}})$$

$${\ast }_4{F}_{\mathbf{A}}=-F_{\mathbf{A}}\iff \mathrm{Re}(F_{\mathbf{A}}{)}^{+}=0=\mathrm{Im}(F_{\mathbf{A}}{)}^{+}.$$

$$\mathbf{A}=\nabla +\Phi dt+i(a+\Psi dt).$$

$$\mathrm{Re}(F_{\mathbf{A}}{)}^{+}$$

$$\mathrm{Im}(F_{\mathbf{A}}{)}^{+}$$

$$d_A^{{\ast }_4}B$$

$$\mathrm{Re}(F_{\mathbf{A}})=F_A-\frac{1}{2}[B\wedge B],\mathrm{Im}(F_{\mathbf{A}})=d_{A}B.$$

$$A=\nabla +\Phi dt,B=a+\Psi dt,$$

$$F_A=F_{\nabla }+d_{\nabla }\Phi \wedge dt,\frac{1}{2}[B\wedge B]=\frac{1}{2}[a\wedge a]+[a,\Psi ]\wedge dt,$$

$$\ast F_{\nabla }-d_{\nabla }\Phi -\frac{1}{2}\ast [a\wedge a]+[a,\Psi ]=0,$$

$$d_{A}B=d_{\nabla}a+\mathopen{}\mathclose{{}\left(d_{\nabla}\Psi+[a,\Phi]}\right)\wedge dt,$$

$$\mathrm{Im}(F_{{\bf A}})^{+}=(d_{A}B)^{+}=\tfrac{1}{2}\mathopen{}\mathclose{{}\left(d_{\nabla}a-\ast\mathopen{}\mathclose{{}\left(d_{\nabla}\Psi+[a,\Phi]}\right)}\right)+\tfrac{1}{2}\mathopen{}\mathclose{{}\left(\ast d_{\nabla}a-\mathopen{}\mathclose{{}\left(d_{\nabla}\Psi+[a,\Phi]}\right)}\right)\wedge dt.$$

$$\ast d_{\nabla }a-d_{\nabla }\Psi -[a,\Phi ]=0,$$

$$d_A^{{\ast }_4}B=d_{\nabla +\Phi dt}^{{\ast }_4}(a+\Psi dt)=d_{\nabla }^{\ast }a-[\Phi ,\Psi ]=d_{\nabla }^{\ast }a+[\Psi ,\Phi ],$$

Full text

We find that (under mild hypotheses) the smooth locus of the moduli space of finite energy Haydys monopoles on $\mathbb{R}^{3}$ is a Kähler manifold containing the ordinary Bogomolny moduli space as a minimal Lagrangian submanifold—an A-brane. Moreover, using a gluing construction we construct an open neighborhood of this submanifold modeled on a neighborhood of the zero section in the tangent bundle to the Bogomolny moduli space. This is analogous to the case of Higgs bundles over a Riemann surface, where the (co)tangent bundle of holomorphic bundles canonically embeds into the Hitchin moduli space.

These results contrast immensely with the case of finite energy Kapustin–Witten monopoles for which we have shown a vanishing theorem in [NO21].

1. 1 Introduction and main results
2. 2 Dimensional reduction
3. 3 Solving the Haydys monopole equation
4. 4 On the geometry of the Haydys monopole moduli space

1. Introduction and main results

1.1. Preparation and motivation

Let $(M,g)$ be a Riemannian 3-manifold, and $\Lambda^{*}M$ its exterior algebra bundle. For any orthogonal vector bundle $E\rightarrow M$ the Hodge star operator extends to $E$-valued differential forms yielding a map $\ast:\Lambda^{*}M\otimes E\rightarrow\Lambda^{3-*}M\otimes E$. Fix a principal $\rm{G}$-bundle $P\rightarrow M$, where $\rm{G}$ is a compact Lie group. A smooth pair $(\nabla,\Phi)$ consisting of a $\rm{G}$-connection on $P$ and a section of $\mathfrak{g}_{P}=\mathrm{ad}(P)$ (equipped with a $\rm{G}$-invariant inner product), is called a Bogomolny monopole if

[TABLE]

In the situation when $M=\mathbb{R}^{3}$ equipped with the Euclidean metric and $\rm{G}=\mathrm{SU}(2)$ several things are known about solutions to this equation. For instance, up to the action of the automorphisms of $P$, the (finite energy) Bogomolny monopoles form a smooth noncompact moduli space. This can be equipped with the canonical $L^{2}$-metric which turns out to be complete and hyperkähler. For higher rank structure groups, for instance when $\rm{G}=\mathrm{SU}(N)$ with $N>2$, less is know, but in many cases (cf. Hypothesis 3.3 and Remark 3.4 later), analogous results hold. In particular, when the moduli space is smooth at a Bogomolny monopole $m=(\nabla,\Phi)$ any (gauge fixed) tangent vector $v=(a,\Psi)$ at $m$ satisfies the linearized Bogomolny monopole equations:

[TABLE]

with the second equation arising from requiring the tangent vector to be orthogonal to the slice cut out by the action of the gauge group at $m$. Moreover, the formal $L^{2}$ dual equations

[TABLE]

have no solutions in $L^{2}$, at least under certain standard hypotheses; again, see Hypothesis 3.3. This is in fact the reason why the Implicit Function Theorem can be used to show smoothness of the moduli space of finite energy Bogomolny monopoles.

Now we “complexify” the Bogomolny equation 1.1 by considering $\Lambda_{\mathbb{C}}^{*}M=\Lambda^{*}M\otimes_{\mathbb{R}}\mathbb{C}$, $\rm{G}_{\mathbb{C}}$ the complexification of $\rm{G}$, and $P_{\mathbb{C}}=P\times_{\rm{G}}\rm{G}_{\mathbb{C}}$ which is the principal $\rm{G}_{\mathbb{C}}$-bundle associated with the standard conjugation action of $\rm{G}$ on $\rm{G}_{\mathbb{C}}$. The Hodge star operator $\ast$ may now be extended in two inequivalent ways to $\Lambda_{\mathbb{C}}^{*}M\otimes\mathfrak{g}_{P}\simeq\Lambda^{*}M\otimes\mathfrak{g}_{P_{\mathbb{C}}}$. This may be either as a complex linear operator, which we still denote $\ast$, or as a conjugate linear one, which we denote by $\overline{\ast}$.

Depending on which such extension one uses we obtain two different complex monopole equations. In this second paper we only consider one of these which is made using $\ast$. Let $({\bf A},\Upsilon)$ respectively be a connection on $P_{\mathbb{C}}$ and a section of $\mathfrak{g}_{P_{\mathbb{C}}}$. Then, we have the following complex monopole equation

[TABLE]

Remark 1.1**.**

The equation obtained using $\overline{\ast}$ instead is given by

[TABLE]

and studied in the second paper in this series [NO21].

Let the real gauge group be denoted by $\mathcal{G}=\mathrm{Aut}(P)$ and the complex one by $\mathcal{G}_{\mathbb{C}}=\mathrm{Aut}(P_{\mathbb{C}})$. Both complex monopole equations 1.4 and 1.5 are invariant under the usual action of $\mathcal{G}_{\mathbb{C}}$. In order to work only modulo the action of $\mathcal{G}$ we proceed as follows. Observe that ${\bf A}$ can be uniquely written as ${\bf A}=\nabla+ia$, with $\nabla$ a connection on $P$ and $a\in\Omega^{1}(M,\mathfrak{g}_{P})$. Similarly $\Upsilon=\tfrac{1}{\sqrt{2}}(\Phi+i\Psi)$, with $\Phi,\Psi\in\Omega^{0}(M,\mathfrak{g}_{P})$. A standard procedure in gauge theory to “break down the gauge symmetry” is to include an extra equation obtained by formally working orthogonally to the gauge action, such as a Coulomb gauges as used in [Uhlenbeck1982a]. In favorable cases this has the effect of making the resulting gauge theoretical equations elliptic. In the situation at hand, instead of breaking the full symmetry we may first “break it down” to that of the real gauge group $\mathcal{G}$ by imposing an extra equation of the form

[TABLE]

which is a Coulomb type gauge fixing condition. This makes the full system of PDE’s elliptic.

Remark 1.2**.**

Alternatively, this extra equation may be motivated by comparison with the Kempf–Ness Theorem in finite dimensional situations. Indeed, equation 1.6 may be interpreted as a moment map equation for an Hamiltonian action of $\mathcal{G}$ on the space of quadruples $(\nabla,a,\Psi,\Phi)$ equipped with a natural $L^{2}$-symplectic structure.

One other point of interest in equations 1.4, 1.5 and 1.6 is that they may be obtained from dimensional reductions of the instanton equations of Haydys (cf. [H15]) and Kapustin–Witten (cf. [KW07]) respectively. In this paper we focus on the first of these. For more on the later we refer the reader to our parallel article [NO21]. While the Kapustin–Witten equations, and their dimensional reductions, have been attracting an increasing amount of interest from the mathematical community (see, for example, [W12, W18, T17, T18, T19, MW14, HM17, HW19]) the Haydys equation has remained less explored. However, it was pointed out in [H15] that its moduli space carries interesting geometric structures which have a shadow in the dimensional reduction that we consider in Section 4.2. For completeness and motivation we included the corresponding computations in section 2.

In order to establish notation, recall that the wedge product of two $\mathfrak{g}_{P^{X}}$-valued forms $a=\sum_{|I|=p}a_{I}dx^{I}$ and $b=\sum_{|J|=q}b_{J}dx^{J}$ is given by

[TABLE]

and satisfies $[a\wedge b]=(-1)^{pq+1}[b\wedge a]$. Using this, a simple computation shows that equations 1.4 and 1.6 are equivalent to

[TABLE]

Remark 1.3**.**

A similar computation shows that equations 1.5 and 1.6 are equivalent to

[TABLE]

Again, we point out that we studied these equations in the parallel article [NO21].

Given that, as mentioned in the previous paragraph, these equations are obtained from dimensional reduction of the Haydys instanton equation, we name equations 1.8a, 1.8b and 1.8c the Haydys monopole equations and their solutions Haydys monopoles. In the same way, we call equations 1.9a, 1.9b and 1.9c Kapustin–Witten monopole equations and their solutions Kapustin–Witten monopoles. Observe that both these sets of gauge theoretic equations with gauge group $\mathcal{G}$ (rather than $\mathcal{G}_{\mathbb{C}}$), are elliptic modulo its action as already explained above.

Furthermore, notice that the equations 1.8a and 1.9a are the same, and can be seen as a quadratic (but algebraic) perturbation of the Bogomolny monopole equation 1.1. As for the second and third Haydys monopole equations 1.8b and 1.8c, these are exactly the tangent space equations 1.2a and 1.2b for the Bogomolny moduli space. On the other hand, the second and third Kapustin–Witten monopole equations 1.9b and 1.9c are dual equations 1.3a and 1.3b.

We now introduce the relevant energy functional in this complex monopole setting. Denote by $\|\cdot\|$ the usual $L^{2}$ norm for sections of any bundle over $M$. Given a quadruple $(\nabla,\Phi,a,\Psi)$ as before, we define a Yang–Mills–Higgs type energy functional by

[TABLE]

We also point out, without proof, that up to an overall constant and for $M$ Ricci flat, the energy \tagform@1.10 is simply a sum of the $L^{2}$ norms of $F_{\nabla+ia}$ with $d_{\nabla+ia}(\Phi+i\Psi)$ on $M$.

1.2. Main results

Before stating our main results we recall some—by now classic—results on the moduli spaces of Bogomolny monopoles. Let $M=\mathbb{R}^{3}$ with the Euclidean metric, $\rm{G}$ a compact Lie group, and denote by $\mathcal{M}_{B}$ and $\mathcal{M}_{H}$ the moduli spaces of Bogomolny and Haydys monopoles. Now $\mathcal{M}_{B}$ canonically embeds into $\mathcal{M}_{H}$, as the real solutions (that is, with vanishing imaginary parts $a=0=\Psi$). Under a certain genericity hypothesis called maximal symmetry breaking (see Hypothesis 3.3 and Remark 3.4), the moduli space $\mathcal{M}_{B}$ is a smooth and complete hyperkähler manifold. Its tangent bundle $T\mathcal{M}_{B}$ is well defined (as a smooth manifold) and $\mathcal{M}_{B}$ also embeds into $T\mathcal{M}_{B}$, as the zero section. Under these assumptions, our first main result can be stated as follows:

Main Theorem 1** (Existence theorem for Haydys monopoles).**

*Under the assumptions of Hypothesis 3.3: The Haydys moduli space $\mathcal{M}_{H}$ is a smooth manifold around the Bogomolny moduli space $\mathcal{M}_{B}$, and the tangent and normal bundles of $\mathcal{M}_{B}$ are isomorphic.

In particular, there exists finite energy Haydys monopoles that are not Bogomolny monopoles.*

Remark 1.4**.**

This situation contrasts with that of finite energy Kapustin–Witten monopoles on $\mathbb{R}^{3}$. Indeed, while we find that many Haydys monopoles exist which are not simply Bogomolny monopoles, we proved in [NO21] that any finite energy Kapustin–Witten monopole on $M=\mathbb{R}^{3}$ must actually be a Bogomolny monopole.

The moduli space of finite energy solutions to the Haydys monopole equation on $M=\mathbb{R}^{3}$ inherits some interesting geometric structures mirroring the hyperkähler structure on the moduli space of Bogomolny monopoles $\mathcal{M}_{B}$. Namely, we prove that there is an infinite dimensional space

[TABLE]

carrying 3-different hyperkähler structures $(I_{1},I_{2},I_{3})$, $(J_{1},J_{2},J_{3})$, and $(K_{1},K_{2},K_{3})$ associated with the same metric $h$ and such that $I_{1}=J_{1}=J_{1}$, which we denote as $L_{1}$ for simplicity. The group of gauge transformation $\mathcal{G}$ acts on $\mathcal{C}$ preserving all the structure and the space of Haydys monopoles $\mathcal{C}_{H}\subset\mathcal{C}$ can be obtained as the common zero level set of all moment maps. Furthermore $(L_{1},h)$ descends to the moduli space of Haydys monopoles $\mathcal{M}_{H}$ equipping it with a Kähler structure with respect to which $\mathcal{M}_{B}\subset\mathcal{M}_{H}$ is a minimal Lagrangian submanifold, i.e. a minimal A-brane.

Finally, the three different hyperkähler structures on $\mathcal{C}$ mentioned above, even though not descending to the whole of $\mathcal{M}_{H}$, they do descend to $\mathcal{M}_{B}$ equipping it with its standard hyperkähler structure.

Main Theorem 2**.**

The following assertions hold:

1. (a)

$\mathcal{M}_{H}$* is a Kähler manifold with respect to a structure compatible with the $L^{2}$-metric.* 2. (b)

$\mathcal{M}_{B}\hookrightarrow\mathcal{M}_{H}$* as a minimal Lagrangian submanifold.* 3. (c)

The complex structures $I_{2},J_{2}$, and $K_{2}$, together with the $L^{2}$-metric, descend to $\mathcal{M}_{B}\hookrightarrow\mathcal{M}_{H}$ equipping it with a well defined hyperkähler structure, which is isomorphic to its canonical $L^{2}$-hyperkähler structure.

Remark 1.5**.**

In the terminology of [KW07], part (b) of this theorem is equivalent to saying that $\mathcal{M}_{B}\hookrightarrow\mathcal{M}_{H}$ is a minimal A-brane.

1.3. Organization

In Section 2, we prove that the Haydys monopole equations 1.8a, 1.8b and 1.8c are the dimensional reduction of the 4-dimensional Haydys equation (as in [H15]). In Section 3, after introducing the necessary tools we prove Main Theorem 1 whose proof relies on a use of the Banach space contraction mapping principle. In Section 4.2 we study the geometry of the Haydys monopole moduli space, and prove Main Theorem 2.

Acknowledgment**.**

*The authors would like to express their gratitude to Siqi He for having found a mistake in an earlier version of this article. The authors would equally like to thank Mark Stern for many helpful conversations and for having taught us so many things about gauge theory. We also thank Paul Aspinwall and Steve Rayan for explaining us what branes are.

We further thank the anonymous referee for the detailed and useful report.

The second author was supported by Fundação Serrapilheira 1812-27395, by CNPq grants 428959/2018-0 and 307475/2018-2, and FAPERJ through the program Jovem Cientista do Nosso Estado E-26/202.793/2019.*

2. Dimensional reduction

In this section we prove the dimensional reductions of the 4-dimensional Haydys equation yield the Haydys monopole equations 1.8a, 1.8b and 1.8c.

Let us start by recalling the notion of complex (anti-)self-duality in dimension 4. Given an oriented, Riemannian 4-manifold $(X,g_{4})$, let $\Lambda_{\mathbb{C}}^{*}X$ be the complexification of its exterior algebra bundle, and let $\ast_{4}$ and $\overline{\ast}_{4}$ be the complex linear and conjugate linear extensions of the Hodge star operator on $\Lambda_{\mathbb{C}}^{*}X$, respectively. Both $\ast_{4}$ and $\overline{\ast}_{4}$ square to the identity on $\Lambda_{\mathbb{C}}^{2}X$ and hence either can be used to define (anti-)self-dual complex 2-forms. In this paper, we consider the complex linear case, that is when (anti-)self-duality is defined using $\ast_{4}$.

Let now $\rm{G}$ be a compact Lie group, and $\rm{G}_{\mathbb{C}}$ its complex form. Let $P^{X}$ be principal $\rm{G}$-bundle over $X$, and define the complexified $\rm{G}_{\mathbb{C}}$-bundle $P_{\mathbb{C}}^{X}=P^{X}\times_{\rm{G}}\rm{G}_{\mathbb{C}}$ as being that associated with respect to the standard action by left multiplication of $\rm{G}$ on $\rm{G}_{\mathbb{C}}$. Let $\mathfrak{g}_{P^{X}}$ and $\mathfrak{g}_{P_{\mathbb{C}}^{X}}$ be the corresponding adjoint bundles. Note that $\mathfrak{g}_{P_{\mathbb{C}}^{X}}\simeq\mathfrak{g}_{P^{X}}\otimes_{\mathbb{R}}\mathbb{C}$, and thus

[TABLE]

Any “complex” connection ${\bf A}$ on $P_{\mathbb{C}}^{X}$ decomposes as ${\bf A}=A+iB$, where $A$ is a “real” connection on $P^{X}$ and $B\in\Omega^{1}(X,\mathfrak{g}_{P^{X}})$. Then we can decompose the curvature $F_{{\bf A}}$ of ${\bf A}$ as follows

[TABLE]

and thus

[TABLE]

Let the $\pm$ superscripts denote the pointwise orthogonal projection from $\Lambda^{2}X\otimes\mathfrak{g}_{P^{X}}$ onto $\Lambda_{\pm}^{2}X\otimes\mathfrak{g}_{P^{X}}$. Now we can ${\bf A}$ anti-self-dual with respect to $\ast_{4}$ if

[TABLE]

Note that when ${\bf A}$ is an $\rm{G}$-connection, that is when $B=0$, then both equation 2.5 reduce to the classical anti-self-duality (instanton) equation on $X$.

Supplementing equation 2.5 with $d_{A}^{*}B=0$ one gets the Haydys equation; cf. [H15]*Section 4.2.

Assume now that $X=\mathbb{S}^{1}\times M$, where $M$ is a Riemannian 3-manifold with metric $g$, and $g_{X}$ is the product metric. Furthermore, let the orientation of $X$ given by the product orientation. The group of orientation preserving isometries of $X$ has a normal subgroup, which is isomorphic to $\mathrm{SO}(2)$, that acts on $\mathbb{S}^{1}$ as rotations. Thus, one can look for $\mathrm{SO}(2)$-equivariant (“static”) solutions of the Haydys equation 2.5. It is easy to see, that if ${\bf A}$ is an $\mathrm{SO}(2)$-equivariant connection on $X$, then there exists a principal $\rm{G}$-bundle $P\rightarrow M$, together with and isomorphism between its pullback to $X$ and $P^{X}$, and a quadruple $(\nabla,\Phi,a,\Psi)$, such that $\nabla$ is a connection on $P$, $a\in\Omega^{1}(M,\mathfrak{g}_{P})$, and $\Phi,\Psi\in\Omega^{0}(M,\mathfrak{g}_{P})$, with the property that (omitting pullbacks and the isomorphism)

[TABLE]

Let $\ast$ be the Hodge star operator of $(M,g)$. Then we have the following lemma:

Lemma 2.1** (Dimensional reduction of the Haydys equation).**

The complex connection ${\bf A}$ in \tagform@2.6 solves the Haydys equation 2.5 and $d_{A}^{*}B=0$, if and only if equations 1.8a, 1.8b and 1.8c hold.

Proof.

Let ${\bf A}=A+iB$. Recall that the Haydys equations for ${\bf A}$ are

[TABLE]

where

[TABLE]

Now we further assume that ${\bf A}$ has the form

[TABLE]

and the quadrupole $(\nabla,\Phi,a,\Psi)$ is pulled back from $M$. Straightforward computations yield

[TABLE]

thus equation 2.7a is equivalent to

[TABLE]

proving equations 1.9a and 1.8a.

We also have

[TABLE]

thus for equation 2.7b we have

[TABLE]

Thus $\mathrm{Im}(F_{{\bf A}})^{+}=0$ is equivalent to

[TABLE]

which proves equation 1.8b.

Finally, we have

[TABLE]

which proves equation 1.8c. This completes the proof. ∎

Before proceeding, let us point out a couple of other possible ways one can interpret the Haydys monopole equations.

Remark 2.2** (Reduction of the Vafa–Witten equations).**

*The Vafa–Witten equation is another set of 4-dimensional, gauge theoretic PDE’s; cf. [Haydys2015]Section 4.1 for example. We remark, without proof, that the similar reduction of the Vafa–Witten equations also results in equations 1.8a, 1.8b and 1.8c. A simple way to see this is to observe that $\Lambda^{1}M\simeq\Lambda_{+}^{2}X$ via the map $b\mapsto\tfrac{1}{2}(dt\wedge b+\ast b)$.

Remark 2.3** (Reduction of the split $\rm{G}_{2}$-monopole equation).**

*The Haydys monopole equations 1.8a, 1.8b and 1.8c can be obtained as the reduction of the $\rm{G}_{2}$-monopole equations on $\mathbb{R}^{7}$ equipped with the split $\rm{G}_{2}$-structure of signature $(3,4)$. See, for example, [Oliveira2016]Section 2.

3. Solving the Haydys monopole equation

The goal of this section is to construct solutions to the Haydys monopole equations 1.8a, 1.8b and 1.8c on $M=\mathbb{R}^{3}$ and, more concretely, to prove Main Theorem 1. We achieve that as follows: First, we recall the linearization of the Bogomolny equation 1.1 in Section 3.1, then we introduce the relevant function spaces to be used in Section 3.2, and prove a gap theorem for the adjoint of the linearization in Section 3.3. In Section 3.4, we prove a multiplication property of the function spaces introduced in Section 3.2. In Section 3.5, we reinterpret the the Haydys monopole equations 1.8a, 1.8b and 1.8c which we supplement in Section 3.6 with the gauge fixing condition. These new set of equations can be viewed as fixed point equation, which we solve using Banach Fixed Point Theorem in Section 3.7. Finally, Section 4.1 contains a computation of the dimension of the moduli space, which reveals that our construction yields, in fact, an open subset of the moduli space.

3.1. The Bogomolny monopole equation and its linearization

Let $M=\mathbb{R}^{3}$ and $m_{0}=(\nabla_{0},\Phi_{0})\in\mathcal{A}\times\Omega^{0}(M,\mathfrak{g}_{P})$ be a pair satisfying the Bogomolny monopole equation 1.1, and the finite energy condition, that is $|F_{\nabla_{0}}|=|d_{\nabla_{0}}\Phi_{0}|\in L^{2}(\mathbb{R}^{3})$. Furthermore, we make the following two hypotheses on $m_{0}$, which are standard in the literature:

Hypothesis 3.1**.**

Let $R>0$ and the radius $R$ ball $B_{R}\subset\mathbb{R}^{3}$, then $\mathbb{R}^{3}\backslash B_{R}\cong[R,+\infty)\times\mathbb{S}^{2}$ and consider the projection $\pi_{\infty}:\mathbb{R}^{3}\backslash B\to\mathbb{S}^{2}$. We suppose that there is a a unitary connection, $\nabla^{\infty}$, on a bundle $P_{\infty}\to\mathbb{S}^{2}$ which for sufficiently large $R\gg 1$

[TABLE]

and smooth nonzero sections $\Phi_{\infty},\kappa\in\Omega^{0}(\mathbb{S}^{2},\mathrm{ad}(P_{\infty}))$, such that $\Phi_{0}$ and $d_{\nabla_{0}}\Phi_{0}$ have the asymptotic expansions

[TABLE]

Furthermore, we have

[TABLE]

Remark 3.2**.**

Hypothesis 3.1* has been proven in some cases (see [JT80]*Theorem 10.5 for the first example) and, conjecturally, holds for all finite energy monopoles on $\mathbb{R}^{3}$; cf. [JT80]Theorem 18.4 & Corollary 18.5. The authors of this paper, together with Benoit Charbonneau, are currently working on a proof of this conjecture.

We furthermore impose a more technical hypothesis, which is crucial in the proof of Main Theorem 1.

Hypothesis 3.3**.**

The field $\Phi_{\infty}$ takes values in the interior of a Weyl chamber, i.e. it attains no value in a facet of one such Weyl chamber. A Bogomolny monopole satisfying this hypothesis is said to have maximal symmetry breaking.

Remark 3.4**.**

*It is easy to see that a monopole has maximal symmetry breaking exactly if $\ker(\mathrm{ad}(\Phi_{\infty}))$ is Abelian. Note also that any nonflat monopole with structure group $\rm{G}=\mathrm{SU}(2)$ has to have maximal symmetry breaking. This said, we point out that monopoles without maximal symmetry breaking do exist; see [D92, D93].

Furthermore, we mention here, without proof, that by adapting the arguments in [CLS16], it is possible to prove that maximal symmetry breaking implies Hypothesis 3.1. The proof of this—among more general claims—is currently being completed by the authors; see Remark 3.2.

Finally, we conjecture that Main Theorem 1 holds for monopoles with nonmaximal symmetry breaking as well.*

Definition 3.5**.**

For any $v_{0}=(a_{0},\Psi_{0})\in\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$, let

[TABLE]

*and $D=d_{2}\oplus d_{1}^{*}$, let $D^{*}$ be the formal adjoint of $D$. A pair $v_{0}=(a_{0},\Psi_{0})\in\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$ is called a tangent vector to the Bogomolny monopole moduli space at $m_{0}$ if it lies in $\ker_{L_{1}^{2}}(D)$.

Moreover, for any $c_{0}$, if we define*

[TABLE]

It is easy to see that

[TABLE]

Remark 3.6**.**

The operator $D$ is the linearization of the Bogomolny monopole equation 1.1 together with the standard Coulomb type gauge fixing condition $d_{\nabla_{0}}^{*}a_{0}=[\Phi_{0},\Psi_{0}]$. Thus, when $D:L_{1}^{2}\rightarrow L^{2}$ is surjective the implicit function theorem can be used to prove that the Bogomolny monopole moduli space is smooth and its tangent space at $m_{0}$ can be identified with $\ker_{L_{1}^{2}}(D)$.

3.2. Function spaces

Now we introduce the various functions spaces that are used in the proof of Main Theorem 1.

Definition 3.7**.**

Let $\|\cdot\|$ denote $L^{2}$-norms and $\rho=(1+|x|^{2})^{1/2}$. Define the Hilbert spaces $\mathcal{H}_{k}$ (with $k=1,2$, or 3) as the norm-completions of $C_{0}^{\infty}(\mathbb{R}^{3},(\Lambda^{0}\oplus\Lambda^{1})\otimes\mathfrak{g}_{P})$ via the norms

[TABLE]

The corresponding inner products are denoted by $\langle\cdot,\cdot\rangle_{\mathcal{H}_{k}}$.

Lemma 3.8** (Sobolev and Hardy’s inequalities).**

Let $c\in\mathcal{H}_{1}$. Then the Sobolev inequality says

[TABLE]

and Hardy’s inequality says

[TABLE]

Remark 3.9**.**

Let the symbol $\sim$ denote norm equivalence. Then using Hardy’s inequality and Hypothesis 3.1 gives

[TABLE]

Lemma 3.10** (First order inequalities, partly in [Taubes1983]*Lemma 6.8).**

There are positive constants $R,C_{m_{0}}$, depending only on the monopole $m_{0}$, such that for all $c_{0}\in\mathcal{H}_{1}$

[TABLE]

Proof.

We start by proving the first inequality, which follows from the Weitzenböck type formula $DD^{*}c=\nabla_{0}^{*}\nabla_{0}c-[[c,\Phi_{0}],\Phi_{0}]$ as follows

[TABLE]

The method for proving the second inequality is outlined in [Taubes1983]. For completeness, we include here its proof using the strategy outlined in that reference. By Hypothesis 3.1, we have that $\rho^{2}d_{\nabla_{0}}\Phi_{0}\in L^{\infty}$, and hence, if $c\in\mathcal{H}_{1}$, then we can integrate by parts and thus

[TABLE]

Now, for $R\gg 1$ let $\chi_{R}$ be a smooth bump function supported in $B_{R}(0)$ and equal to $1$ in $B_{R-1}(0)$. Then,

[TABLE]

with the first terms satisfying

[TABLE]

As for the second term, we may use the particular form of $(d_{\nabla_{0}}\Phi_{0})^{W}c$ and the $\mathrm{Ad}$-invariance of the inner product to find a bilinear map $N(\cdot,\cdot)$ so that

[TABLE]

where in the last inequality we have used Lemma 3.16 to be proven later. Now, given that $d_{\nabla_{0}}\Phi_{0}\in L^{2}$, for any positive $\varepsilon\ll 1$ we may find $R=R_{\varepsilon}\gg 1$ so that $\|(1-\chi_{R_{\varepsilon}})d_{\nabla_{0}}\Phi_{0}\|_{L^{2}}\leqslant\varepsilon$ and so

[TABLE]

Inserting these back into equation 3.21 we find

[TABLE]

and rearranging yields the second inequality in the statement.

We now turn to proving the last two inequalities, i.e. the last two ones. Using the first inequality just proved above we compute

[TABLE]

where $B(-,-)$ denotes a bilinear operator which is algebraic, and thus continuous. Now, using the definition of the $\mathcal{H}_{1}$-norm we have

[TABLE]

and we consider each of these separately. For the first term we use the Hardy’s inequality together with Young’s inequality in the form $2\langle D^{*}(\rho^{-1}c),\rho^{-2}d\rho\otimes c\rangle\leqslant\sqrt{2}\|D^{*}(\rho^{-1}c)\|+\tfrac{1}{\sqrt{2}}\|\rho^{-2}c\|^{2}$

[TABLE]

for some fixed $\delta\in(0,3-2\sqrt{2})$. As for the second term, we use Hypothesis 3.1, namely that $d_{\nabla_{0}}\Phi_{0}=O(\rho^{-2})$, and an argument as that made above to control $\langle(d_{\nabla_{0}}\Phi_{0})^{W}c,c\rangle$

[TABLE]

We now sum these inequalities, i.e. insert them back into equation 3.34, and recall that $\|\nabla_{0}(\rho^{-1}c)\|^{2}+\|[\Phi_{0},\rho^{-1}c]\|^{2}=\|\rho^{-1}c\|^{2}_{\mathcal{H}_{1}}$ to obtain

[TABLE]

where we have chosen $\varepsilon>0$ sufficiently small so it may be absorbed. Then, rearranging we obtain

[TABLE]

for some $R>0$. Then, inserting this into the equation 3.33 we obtain

[TABLE]

which proves the third inequality in the statement. The proof of the last one follows from a very similar computation, which we omit. ∎

Lemma 3.11** (Second order inequalities).**

There is $C>0$ depending only on the monopole $m_{0}$ so that for all $c_{0}\in\mathcal{H}_{2}$

[TABLE]

Proof.

The last two inequalities in the statement of Lemma 3.10 yield

[TABLE]

Composing these with the first two in Lemma 3.10 yields

[TABLE]

which yields the stated inequalities. ∎

Corollary 3.12**.**

For $k=1,2$, the operators $D,\ D^{*}:\mathcal{H}_{k+1}\rightarrow\mathcal{H}_{k}$ are continuous and Fredholm. In particular $DD^{*},\ D^{*}D:\mathcal{H}_{2}\rightarrow\mathcal{H}_{0}$ are also continuous and Fredholm.111When $D$ and $D^{*}$ are considered as maps from $L_{1}^{2}(\mathbb{R}^{3})$ to $L^{2}(\mathbb{R}^{3})$, Corollary 3.12 does not hold, because of the failure of the Rellich Lemma for unbounded domains.

Proof.

The continuity of these operators is immediate so we focus on the Fredholm property. The inequalities in Lemma 3.10 together with the compactness of the embedding $\mathcal{H}_{1}\hookrightarrow L^{2}(B_{R_{\varepsilon}})$, imply that the operators $D,D^{*}:\mathcal{H}_{1}\rightarrow\mathcal{H}_{0}$ have finite dimensional kernel and closed image. Similarly, these inequalities show that both $\ker_{L^{2}}(D^{*})$ and $\ker_{L^{2}}(D)$ are contained in $\mathcal{H}_{1}$. Hence, these can be respectively identified with the cokernel of the operators $D,D^{*}:\mathcal{H}_{1}\rightarrow\mathcal{H}_{0}$, and so their cokernels are also finite dimensional. Putting all these facts together follows that the mentioned first order operators are Fredholm.

In order to prove that the second order operators $DD^{*},\ D^{*}D:\mathcal{H}_{2}\rightarrow\mathcal{H}_{0}$ are Fredholm is enough that $D$ and $D^{*}$ also be Fredholm when defined from $\mathcal{H}_{2}$ to $\mathcal{H}_{1}$, which can be done through a very similar computation. Alternatively, it follows from the same argument as above, but using equations 3.47a and 3.47b instead. ∎

3.3. A Gap Theorem

In the proof of Lemma 3.10 we saw that

[TABLE]

which implies the operator $D^{*}:\mathcal{H}_{1}\rightarrow\mathcal{H}_{0}$ is injective. Indeed, from Lemma 3.10, the inequality

[TABLE]

holds for any $c\in\mathcal{H}_{1}$. Thus, $DD^{*}:\mathcal{H}_{2}\rightarrow\mathcal{H}_{0}$ is also injective, and, since it is a formally self-adjoint elliptic operator, its spectrum is gapped.

Theorem 3.13** (Gap Theorem).**

There is a constant $C>0$, possibly depending on the monopole $m_{0}=(\nabla_{0},\Phi_{0})$, such that

[TABLE]

Proof.

The proof of this assertion is a standard argument by contradiction using the fact that $\ker_{\mathcal{H}_{2}}(DD^{*})\subseteq\ker_{\mathcal{H}_{2}}(D^{*})=\{0\}$. Indeed, if equation 3.54 is not true, then there is a sequence $c_{i}\in\mathcal{H}_{2}$ such that $\|c_{i}\|_{\mathcal{H}_{2}}=1$ and $\|DD^{*}c_{i}\|_{\mathcal{H}_{0}}^{2}\rightarrow 0$. Since the sequence $\{c_{i}\}$ is bounded in $\mathcal{H}_{2}$ by assumption, there is a weak $\mathcal{H}_{2}$-limit, say $c_{\infty}\in\mathcal{H}_{2}$, which satisfies $DD^{*}c_{\infty}=0$. As $DD^{*}$ has no $\mathcal{H}_{2}$-kernel, we have $c_{\infty}=0$, that is $c_{i}$ converges weakly to 0.

Now, consider any bounded domain $\Omega\subset\mathbb{R}^{3}$, the embedding $\mathcal{H}_{2}(\Omega)\hookrightarrow L_{1}^{2}(\Omega)$ is compact, $c_{i}\rightarrow c_{\infty}=0$ strongly in $L_{1}^{2}(\Omega)$. Putting this together with equation 3.47a for $DD^{*}$ follows that

[TABLE]

Taking the limit as $i\rightarrow\infty$, the right hand side converges to zero, so we also have

[TABLE]

which contradicts $\|c_{i}\|_{\mathcal{H}_{2}}=1$. ∎

Using the Lax–Milgram Theorem, we immediately conclude the following:

Corollary 3.14** (Green operator of $DD^{*}$).**

There is continuous linear map

[TABLE]

such that $G\circ DD^{*}=\mathrm{id}_{\mathcal{H}_{2}}$.

3.4. Multiplication properties of the function spaces

Lemma 3.15**.**

Let

[TABLE]

be a bilinear map whose norm is pointwise uniformly bounded, that is there is a positive constant $C$, such that for all $x\in\mathbb{R}^{3}$, and all $\gamma_{1},\gamma_{2}\in\Lambda_{x}^{1}\oplus\Lambda_{x}^{0}$

[TABLE]

Then, for any connection $\nabla$, there is some other constant $C^{\prime}$ such that if now $c_{1},c_{2}$ are $L_{1}^{2}$ sections, then

[TABLE]

Proof.

Given that $\tfrac{3}{2}<2<3$ and using the Hölder’s inequality twice and then the Sobolev inequality from Lemma 3.8, we have

[TABLE]

which concludes the proof. ∎

The nonlinearities of the Haydys monopole equations 1.8a, 1.8b and 1.8c are quadratic, but come composed with the Lie algebra bracket $[\cdot,\cdot]$ acting in the $\mathfrak{g}$-valued components. Thus, given a quadratic map $N_{0}$ as in Lemma 3.15, the maps under consideration are of the form $N(c_{1},c_{2})$, that is if for $i=1,2$: $c_{i}=s_{i}\otimes\gamma_{i}$ with $s_{i}\in\mathfrak{g}$, $\gamma_{i}\in\Lambda^{0}\oplus\Lambda^{1}$ we have

[TABLE]

In that context, and in terms of the $\mathcal{H}_{k}$-norms, the result in the Lemma 3.15 must be rephrased, which requires some preparation. For instance, recall that given a finite energy monopole $m_{0}=(\nabla_{0},\Phi_{0})$, there is $\Phi_{\infty}:\mathbb{S}^{2}\rightarrow\mathfrak{g}-\{0\}$ so that $\lim_{\rho\rightarrow\infty}\Phi_{0}|_{\mathbb{S}^{2}_{\rho}}=\Phi_{\infty}$ uniformly. Recall that a monopole $m_{0}$ is said to have maximal symmetry breaking, if $\ker(\mathrm{ad}(\Phi_{\infty}))$ is Abelian.

Lemma 3.16** (Multiplication properties of the $\mathcal{H}_{k}$-spaces).**

Let $m_{0}=(\nabla_{0},m_{0})$ be a monopole with maximal symmetry breaking and $N$ a quadratic map as above. Then there exists $C_{m_{0}}>0$, possibly depending on the monopole $m_{0}=(\nabla_{0},\Phi_{0})$, such that

[TABLE]

Proof.

We start by proving the claimed inequality inside a bounded domain $\Omega\subset\mathbb{R}^{3}$. Notice that, as $\Omega$ is bounded and $\rho$ continuous the $H^{1}(\Omega)$-norm is equivalent to $L_{1}^{2}(\Omega)$ norm. Then, from Lemma 3.15 we immediately obtain

[TABLE]

We are then left with proving the inequality in the statement outside a compact domain. By Hypothesis 3.1, the Higgs field $\Phi_{0}$ approaches a $\nabla^{\infty}$-parallel field $\Phi_{\infty}\neq 0$ at infinite. Hence, there exists an $R>0$, such that $|\Phi_{0}|>|\Phi_{\infty}|/2$. On the other hand, Hypotheses 3.1 and 3.3 implies that $\ker(\mathrm{ad}(\Phi_{0}))$ is Abelian on $\mathbb{R}^{3}-B_{R}(0)$. Let $\underline{\mathfrak{g}}$ denote the trivial $\mathrm{Lie}(G)$-bundle, which we identify now with $\mathrm{ad}(P)$. Furthermore, let $\underline{\mathfrak{g}}^{||}=\ker(\mathrm{ad}(\Phi_{0}))$. Then, over $\mathbb{R}^{3}-B_{R}(0)$, $\underline{\mathfrak{g}}^{||}$ is a smooth, Abelian Lie-algebra bundle, and

[TABLE]

with $\underline{\mathfrak{g}}^{\perp}=\ker(\mathrm{ad}(\Phi_{0}))^{\perp}$. Sections of $(\Lambda^{0}\oplus\Lambda^{2})\otimes\underline{\mathfrak{g}}$ can be then written as $c=c^{||}+c^{\perp}$. By the maximal symmetry breaking hypothesis again, we have that $[\underline{\mathfrak{g}}^{||},\underline{\mathfrak{g}}^{||}]=\{0\}$. Thus

[TABLE]

Thus, it suffices to prove the stated inequality separately for each of these components. Start by noticing that $\|c^{\perp}\|_{\mathcal{H}_{1}}\sim\|c^{\perp}\|_{L_{1}^{2}}$ while $\|c^{||}\|_{\mathcal{H}_{1}}\sim\|\nabla_{0}c^{||}\|_{L^{2}}+\|\rho^{-1}c^{\perp}\|_{L^{2}}\sim\|\nabla_{0}c^{||}\|_{L^{2}}$, and so making use of Lemma 3.15 we have

[TABLE]

A similar application of Lemma 3.15 with the roles of $c_{1}$, $c_{2}$ interchanged gives the same bound on the term $[c_{1}^{\perp},c_{2}^{||}]$, and in any order regarding $c_{1}$, $c_{2}$ also one for the term $[c_{1}^{\perp},c_{2}^{\perp}]$. ∎

3.5. Preparation for the proof of the Main Theorem 1

Let $\mathcal{D}=\mathcal{A}\oplus\Omega^{0}(M,\mathfrak{g}_{P})$ and $\mathcal{C}=T\mathcal{D}=\mathcal{A}\oplus\Omega^{0}(M,\mathfrak{g}_{P})\oplus\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$ be the configuration space for Haydys monopoles, that is $(\nabla,\Phi,a,\Psi)\in\mathcal{C}$. Furthermore, let $\mathcal{R}=\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$, and

[TABLE]

Then we can rewrite the Haydys monopole equations 1.8a, 1.8b and 1.8c as

[TABLE]

We call $\kappa$ the Haydys map.

Remark 3.17**.**

Note that if $m_{0}=(\nabla_{0},\Phi_{0})$ is a Bogomolny monopole on $M$, then for $v_{0}=(a_{0},\Psi_{0})\in\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$ the last two components of $\kappa(m_{0},v_{0})$ are exactly the linearization of the Bogomolny equation 1.1 together with the usual Coulomb type gauge fixing condition which we have been writing as $D(v_{0})=(d_{2}\oplus d_{1}^{*})(v_{0})$; see Section 3.1. Let now $v_{0}$ be a tangent vector to the Bogomolny monopole moduli space at $m_{0}$ as in Definition 3.5. Then the last two components and the terms involving $m_{0}$ in the first component of $\kappa(m_{0},v_{0})$ vanish, but the (quadratic) terms depending on $v_{0}$ need not, in general. So $(m_{0},\nu_{0})$ fails to solve the Haydys monopole equations 1.8a, 1.8b and 1.8c for $v_{0}\in\ker(D)-\{0\}$, but the error is of order $O(|v_{0}|^{2})$ pointwise.

3.6. Linearization and gauge fixing

In this section, we look for solutions of the Haydys monopole equations 1.8a, 1.8b and 1.8c as follows: Let $m_{0}$ be a (finite energy) Bogomolny monopole, and $v_{0}=(a_{0},\Psi_{0})$ be a tangent vector to the Bogomolny monopole moduli space at $m_{0}$ with unit $L^{2}$-norm. Then consider $c_{0}=(m_{0},tv_{0})=(\nabla_{0},\Phi_{0},ta_{0},t\Psi_{0})$, for small $t$, which is $O(t^{2})$ away from being a Haydys monopole, as in Remark 3.17. Since $\mathcal{C}$ is an affine space over $\mathcal{V}=(\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P}))^{\oplus 2}$, we have that $T_{c_{0}}\mathcal{C}\simeq\mathcal{V}$. Let then $\delta c_{0}=(b_{1},\phi,b_{2},\psi)\in\mathcal{V}$, and we search for a solution which is of the form $c=(m,v)=(m_{0},tv_{0})+\delta c_{0}$. As we are interested in solutions up to gauge equivalence only, it is convenient to work on the orthogonal complement of a slice of the gauge action. For that reason, we add the condition that $\delta c_{0}$ is orthogonal to the gauge slice passing through $(m_{0},tv_{0})$, which is equivalent to

[TABLE]

We can further restrict the form of $\delta c_{0}$: write $\delta c_{0}=(\delta m_{0},\delta v_{0})$, and require that both $\delta m_{0}$ and $\delta v_{0}$ are perpendicular to the kernel of $D$, that is to all tangent vector to the Bogomolny monopole moduli space at $m_{0}$. In other words, $\delta c_{0}\in\mathrm{Im}(D^{*}\oplus D^{*})$. We do not lose any generality due to this requirement in what follows. Indeed, a tangential component in $\delta m_{0}$ would just “redefine” $m_{0}$, and—even more clearly—a tangential component in $\delta v_{0}$ could be absorbed in $v_{0}$.

3.7. The proof of Main Theorem 1

Proof.

From the discussion in the previous section, the gauge fixed Haydys monopole equations 1.8a, 1.8b and 1.8c around $c_{0}\in\mathcal{C}$ is encoded in a map

[TABLE]

Let $\mathcal{V}_{0}=\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$, and thus $\mathcal{V}\simeq\mathcal{R}\oplus\Omega^{0}(M,\mathfrak{g}_{P})\simeq\mathcal{V}_{0}^{\oplus 2}$. In this sense, the linearization of $\hat{\kappa}_{c_{0}}$ at a Bogomolny monopole $c_{0}=(m_{0},0)$ is

[TABLE]

where $\mathcal{L}$ is the gauge fixed linearization of the Bogomolny equation at $m_{0}$. Under Hypothesis 3.3, $\mathcal{L}$ is a continuous and surjective Fredholm operator (cf. [Taubes1983, K11, O16]), and thus so is $d\hat{\kappa}_{c_{0}}$. Hence we can conclude that $\mathcal{M}_{H}$ is a smooth manifold around $\mathcal{M}_{B}$, and moreover the normal bundle of $\mathcal{M}_{B}$ is isomorphic to $T\mathcal{M}_{B}$. In particular, $\dim(\mathcal{M}_{H})=2\dim(\mathcal{M}_{B})$. We construct below an explicit isomorphism.

Now let $c_{0}=(m_{0},tv_{0})$, where again $v_{0}$ is a tangent vector of the Bogomolny monopole moduli space at $m_{0}$ with unit $L^{2}$-norm, and $t$ is to be specified later. Let $\delta c_{0}=s\delta c$, where $\delta c=(\delta m,\delta v)$ and $s$ a small parameter also to be specified later. By Remark 3.17, the gauge fixed Haydys monopole equations 1.8a, 1.8b and 1.8c become $\hat{\kappa}_{c_{0}}(s\delta c)=0$. Since $\hat{\kappa}_{c_{0}}$ is quadratic, the equation becomes

[TABLE]

where $Q_{c_{0}}$ is the continuous quadratic remainder in the Taylor expansion of $\hat{\kappa}$ around $(c_{0},0)$, and there are no higher order terms. As noted in Remark 3.17, we have

[TABLE]

Short computation shows that in the direction $(b_{1},\phi,b_{2},\psi)\in\mathcal{V}\simeq T_{c_{0}}\mathcal{C}$, the linearization of $\kappa$ at $c_{0}=(\nabla_{0},\Phi_{0},a_{0},\Psi_{0})$ is

[TABLE]

which combined with the linearization of $g$, yields

[TABLE]

for some continuous, linear remainder term $L_{c_{0}}$, which is algebraic (not a differential operator). Since $\delta c=(\delta m,\delta v)\in\mathrm{Im}(D^{*}\oplus D^{*})$, we can write $(\delta m,\delta v)=(D^{*}u_{1},D^{*}u_{2})={\bf D}^{*}u$, where ${\bf D}^{*}=D^{*}\oplus D^{*}$ and $u=(u_{1},u_{2})\in\mathcal{H}_{2}^{\oplus 2}$. Thus we have

[TABLE]

Hence the gauge fixed Haydys equation 3.76—now in terms of $u$—becomes

[TABLE]

By Corollary 3.14, the operator $DD^{*}:\mathcal{H}_{2}\rightarrow\mathcal{H}_{0}$ admits a continuous Green’s operator $G$. Let ${\bf G}=G\oplus G$, thus ${\bf G}\circ{\bf D}{\bf D}^{*}=\mathrm{id}_{\mathcal{H}_{2}^{\oplus 2}}$. Thus, applying ${\bf G}$ to equation 3.81 yields

[TABLE]

Note, that equation 3.82 can be rewritten as a fixed point equation on $u$ as

[TABLE]

In what follows, for each operator on a Banach space, $X$, let $\|X\|$ be its operator norm. In order to use the Banach Fixed Point Theorem, we now prove that for $t$ sufficiently small and $s$ chosen appropriately, $F$ is a contraction from $B_{1}(0)\subset\mathcal{H}_{2}^{\oplus 2}$ to itself. First, we prove it maps $B_{1}(0)\subset\mathcal{H}_{2}^{\oplus 2}$ to itself. Indeed, using Lemmata 3.16 and 3.12 together with $\|v_{0}\|_{\mathcal{H}_{0}}=1$, we obtain that for $u\in B_{1}(0)\subset\mathcal{H}_{2}^{\oplus 2}$

[TABLE]

For a fixed $t>0$, and varying, but positive $s$, the term in the parentheses is minimized when $s(t)=\tfrac{t}{\|{\bf D}^{*}\|}$, in which case we get

[TABLE]

Hence, for $t\leqslant t_{\max}(m_{0})=(6C_{m_{0}}\|G\|\|D^{*}\|)^{-1}$, $F$ definitely maps the ball $B_{1}(0)\subset\mathcal{H}_{2}^{\oplus 2}$ to itself. Now we show that in this case $F$ is also a contraction. Let $u,v\in B_{1}(0)$. Then, by Lemmata 3.16 and 3.12, we have for $s=\tfrac{t}{\|{\bf D}^{*}\|}$

[TABLE]

Hence, if $t<t_{\max}(m_{0})$ the hypotheses of the Banach Fixed Point Theorem apply, and so there is a unique solution to the fixed point equation 3.83, which in turn provides a (unique) solution to the Haydys monopole equations 1.8a, 1.8b and 1.8c of the form

[TABLE]

In fact, $u$ can be approximated as

[TABLE]

where recall that the $(m_{0},t\ v_{0})$-dependence is encoded in $F$; see equation 3.83. This concludes the proof of Main Theorem 1. ∎

Remark 3.18**.**

In our construction the neighborhood of the monopole moduli space we constructed is an open ball-bundle, with, a priori, varying radius $t_{\max}(m_{0})$. In particular the normal bundle of $\mathcal{M}_{B}\subset\mathcal{M}_{H}$ is canonically isomorphic to the tangent bundle $T\mathcal{M}_{B}$.

Remark 3.19**.**

*Note furthermore that the situation is similar to that of the Higgs bundle moduli space over a Riemann surface: every holomorphic bundle over a closed Riemann surface can be viewed as a Higgs bundle with vanishing Higgs field, and thus defines a submanifold of the Hitchin moduli space. Moreover the tangent bundle and normal bundles of this submanifold are isomorphic.

We see the same picture with the Riemann surface replaced by $\mathbb{R}^{3}$, holomorphic bundles replaced by monopoles, and Higgs bundles replaced by Haydys monopoles.*

Example 3.20**.**

Let $\rm{G}=\mathrm{SU}(2)$ and $\mathcal{M}_{B}$ be the charge 1 moduli space; see Section 4.1 for definitions. In this case $\mathcal{M}_{B}=\mathbb{R}^{3}\times\mathbb{S}^{1}$ with its flat metric. Furthermore, there is an action of $\mathbb{R}^{3}$ by translations and of $\mathbb{S}^{1}$ by gauge transformations of the form $\exp(s\Phi)$, for $s\in\mathbb{R}$. This action extends to $\mathcal{M}_{H}$ and using it we find that $\mathcal{M}_{H}$ is a product Riemannian manifold of the form $\mathcal{M}_{H}\simeq\mathbb{R}^{3}\times\mathbb{S}^{1}\times F$, where the fiber $F$ is a 4-dimensional hyperkähler manifold along its (nonempty) smooth locus, $F_{\mathrm{smooth}}$. In particular, $t_{\max}$ is constant (and thus its infimum is positive), and the smooth locus of $\mathcal{M}_{B}$ is $\mathbb{R}^{3}\times\mathbb{S}^{1}\times F_{\mathrm{smooth}}$.

4. On the geometry of the Haydys monopole moduli space

4.1. Dimension of the Haydys moduli space

Let us consider the $\rm{G}=\mathrm{SU}(2)$ case first. Let $(\nabla,\Phi)$ be a finite energy $\mathrm{SU}(2)$ Bogomolny monopole. By Hypothesis 3.1, regarding $\mathrm{ad}(P_{\infty})$ a real, oriented, rank-3 vector bundle over $\mathbb{S}_{\infty}^{2}$, the asymptotic Higgs field $\Phi_{\infty}\in\Gamma(\mathrm{ad}(P_{\infty}))$ is nonzero and $\nabla^{\infty}$-parallel. Hence $\Phi_{\infty}$ determines a map from $\mathbb{S}_{\infty}^{2}$ to the sphere in the Lie algebra $\mathfrak{su}(2)\cong\mathbb{R}^{3}$ and so is a map between two 2-spheres. Hence, it has a degree which is commonly called charge. Let us denote by $\mathcal{M}_{H}^{k}$ the connected component of the moduli space of Haydys monopoles with real structure group $\mathrm{SU}(2)$ that contains the Bogomolny monopoles of charge $k$. We now prove that $\dim_{\mathbb{R}}(\mathcal{M}_{H}^{k})=8k$. Indeed, the linearization of the gauge fixed Haydys monopole map \tagform@3.74, is the linear operator $D\oplus D$. As in the case of monopoles, from the analysis in [Taubes1983]*Proposition 9.2 follows that any tangent vector $v$ to $\mathcal{M}_{H}^{k}$ at Haydys monopole $(\nabla,\Phi,a,\Psi)$ must be such that

[TABLE]

Thus, $\dim_{\mathbb{R}}(\mathcal{M}_{H}^{k})=\dim(\ker_{\mathcal{H}_{1}}(D\oplus D))=2\dim(\ker_{\mathcal{H}_{1}}(D))$, which, in fact, coincides with the index of $D\oplus D:\mathcal{H}_{1}\rightarrow\mathcal{H}_{0}$. Finally, for $k>0$, the dimension of $\ker_{\mathcal{H}_{1}}(D)$ can be computed, as in [Taubes1983]*Proposition 9.1, to be $4k$. Putting these together we conclude that

[TABLE]

Thus, we have constructed an open subset of $\mathcal{M}_{H}^{k}$.

Remark 4.1**.**

Also for all $\rm{G}$ we construct an open subset of the connected component of $\mathcal{M}_{H}$ containing $\mathcal{M}_{B}$. This follows immediately from the fact that

[TABLE]

*For $\rm{G}=\mathrm{SU}(N)$ the latest have been computed in [SG18]Theorem 4.3.9 as being 4 times the sum of the magnetic weights.

4.2. Geometric structures on the Haydys monopole moduli space

4.2.1. Linear model

Let $\mathfrak{g}$ be a real semisimple Lie algebra and consider the quaternionic vector space $V=\mathfrak{g}\otimes_{\mathbb{R}}\mathbb{H}$. Writing an element of $V$ as $A=A_{0}+iA_{1}+jA_{2}+kA_{3}$ may be equipped with a $\rm{G}$-bi-invariant metric obtained by $\langle A,A^{\prime}\rangle=\sum_{i=0}^{3}\langle A_{i},A^{\prime}_{i}\rangle$, where in the rightmost term we use the Killing form on $\mathfrak{g}$. The quaternionic structure determines three symplectic structures $\omega_{I}$, $\omega_{J}$, $\omega_{K}$ with respect to which the adjoint action of $\rm{G}$ is tri-Hamiltonian. The three moment maps associated with these respectively are

[TABLE]

where $i=1,2,3$ respectively and $(i,j,k)$ is a cyclic permutation of $(1,2,3)$.

This whole setup may be complexified by considering $\mathfrak{g}_{\mathbb{C}}$ rather than $\mathfrak{g}$. Then, we define

[TABLE]

and use the rightmost term to extend the inner product from $V$ to $V_{\mathbb{C}}$. Furthermore, we use this to consider the three quaternionic structures on $V_{\mathbb{C}}$ given by

[TABLE]

and similarly for $J$ and $K$. Notice in particular that $I_{1}=J_{1}=K_{1}$ but that all these complex structures together do not form a compatible octonionic structure. Further notice that for example $I_{2}\circ J_{2}\neq K_{2}$ and $I_{3}\circ J_{3}\neq K_{3}$, in fact we have

[TABLE]

Together with the inner product $\langle\cdot,\cdot\rangle$ these complex structures give rise to three sets of hyperkähler structures with respect to which $\rm{G}$ acts in an Hamiltonian fashion. The associated moment maps can be written as

[TABLE]

with $\mu_{J_{1}}=\mu_{K_{1}}$ being given by same formula, while

[TABLE]

and $\mu_{J_{2}}$, $\mu_{K_{2}}$ similarly obtained by cyclic permutations of $(1,2,3)$. Finally, we have

[TABLE]

with again $\mu_{J_{3}}$ and $\mu_{K_{3}}$ being obtained from a cyclic permutation of $(1,2,3)$.

Remark 4.2**.**

There is one further quite natural hyperkähler structure on $V_{\mathbb{C}}\cong V\oplus V$ which is given by $\mathrm{diag}(I,I)$, $\mathrm{diag}(J,J)$ and $\mathrm{diag}(K,K)$. Using these we can still obtain the moment maps $\mu_{I_{2}},\mu_{J_{2}},\mu_{K_{2}}$ as follows. Instead of considering a Riemannian metric on $V_{\mathbb{C}}$ we use the indefinite pairing

[TABLE]

Using it and the quaternionic structure above we define three symplectic forms with respect to which we can define moment maps very much in the same manner. These coincide with the moment maps $\mu_{I_{2}},\mu_{J_{2}},\mu_{K_{2}}$.

We now consider the joint moment maps

[TABLE]

together with $\mu_{J}$ and $\mu_{K}$. As the complex structure $I_{1}=J_{1}=K_{1}$ is common to the three triples, it is the only one which immediately restricts to

[TABLE]

We must now check that all the other ones equally do restrict to $Q$. The first observation which is relevant for our analysis is the fact that the zero level set of moment maps $\mu_{I},\mu_{J},\mu_{K}$ are invariant under the map $\iota:V_{\mathbb{C}}\to V_{\mathbb{C}}$ given by $\iota(A,B)=(A,-B)$ as can be immediately seen from the equations 4.8, 4.9 and 4.10. From this, we find the following.

Lemma 4.3**.**

Let

[TABLE]

be the fixed locus of the involution $\iota$. As $Q\subset V_{\mathbb{C}}$ is invariant under the map $\iota$ we find that $\mathrm{Fix}(\iota)\cap Q=\mathrm{Fix}(\iota|_{Q})$.

We now use this to shortcut the proof of the following statement.

Proposition 4.4**.**

*Along all of $Q$, the tangent spaces to $Q$ are invariant under the complex structure $I_{1}=J_{1}=K_{1}$.

Along $\mathrm{Fix}(\iota)\cap Q$, the tangent spaces to $Q$ are invariant under all the On the other hand structures $I_{i},J_{i},K_{i}$ for $i=1,2,3$. In other words, these complex structures preserve $TQ|_{\mathrm{Fix}(\iota|_{Q})}$.*

Proof.

For the first statement we simply note that by the standard Kähler reduction technique the tangent spaces to $\mu_{I_{1}}^{-1}(0)$ are preserved by $I_{1}$. Now, let $x\in\mu_{I}^{-1}(0)\cap\mu_{J}^{-1}(0)\cap\mu_{K}^{-1}(0)$, we show that $T_{x}=T_{x}(\mu_{I}^{-1}(0)\cap\mu_{J}^{-1}(0)\cap\mu_{K}^{-1}(0))$ is invariant by $I_{1}$. This follows immediately from the formulas $d\mu_{J_{2}}\circ I_{1}=d\mu_{J_{3}}$ and $d\mu_{K_{2}}\circ I_{1}=d\mu_{K_{3}}$ which can be obtained by direct inspection.

As for the second part of the statement, instead of showing that for $x\in\mathrm{Fix}(\iota)\cap Q$ the tangent space $T_{x}$ is invariant by all these complex structures, we show that its orthogonal complement $T_{x}^{\perp}$ is itself invariant. To do this notice that $T_{x}=\cap_{\mathcal{I}=I,J,K}\cap_{i=1}^{3}\ker(d\mu_{\mathcal{I}_{i}})$ and so

[TABLE]

However, recall that for $L=I,J,K$ and $i=1,2,3$ we have that for any $\xi\in\mathfrak{g}$

[TABLE]

where $\xi_{\ast}$ denotes the vector field in $V_{\mathbb{C}}$ obtained via the infinitesimal action of $\xi\in\mathfrak{g}$. Thus, from this formula and the definition of the gradient we find that \nabla\mathopen{}\mathclose{{}\left(\langle\xi,\mu_{L_{i}}\rangle}\right)=L_{i}\xi_{\ast}. Thus, we find

[TABLE]

and must show this is invariant under the complex structures $I_{i},J_{i},K_{i}$. On the other hand, from Lemma 4.3 we find that $d\iota|_{Q}:TQ\to TQ$, and as $\iota|_{\mathrm{Fix}(\iota|_{Q})}$ is the identity

[TABLE]

is a bundle map. Furthermore, as $\iota$ is a linear map on $V_{\mathbb{C}}$, then regarding $T_{x}$ and $T_{x}^{\perp}$ as a subspace of $V_{\mathbb{C}}$, we can identity its derivative $d(\iota)|_{\mathrm{Fix}(\iota|_{Q})}$ with $\iota$ itself.

Hence, in order to show that $T_{x}^{\perp}$ is invariant under the complex structures $I_{i},J_{i},K_{i}$. This would be immediate if these complex structures formed a closed algebra as that of the octonions for example. That is only true modulo $\iota$, indeed we have $I_{2}\circ J_{2}=\iota\circ K_{2}$, $I_{3}\circ J_{3}=\iota\circ K_{3}$ and similar formulas for other compositions. ∎

Remark 4.5**.**

Alternatively, we can explicitly check that for all $A\in V$

[TABLE]

is preserved by all the complex structures.

Remark 4.6**.**

Given that $I_{1}=J_{1}=K_{1}$ we have $\dim(Q)=\dim(\mathfrak{g})$ if $\mathfrak{g}$ is finite dimensional.

Notice that the fixed point locus of the involution $\iota$ is given by $\mathrm{Fix}(\iota)=V\oplus 0\subset V_{\mathbb{C}}$ is a complex submanifold with respect to $I_{2},J_{2},K_{2}$ which restrict to $\mathrm{Fix}(\iota)$ as $I,J,K$ respectively, thus inducing an hyperkähler structure there. On the other hand, $\mathrm{Fix}(\iota)$ is totally real with respect to all the remaining complex structures. In fact, it is complex-Lagrangian with respect to the respectively induced complex symplectic structure. This may be trivially checked by noticing that it is complex with respect to $\mathcal{I}_{2}$ and Lagrangian with respect to $\omega_{\mathcal{I}_{3}}+i\omega_{\mathcal{I}_{1}}$ for all $\mathcal{I}=I,J,K$. In summary we have the following.

Lemma 4.7**.**

Consider $V_{\mathbb{C}}$ equipped with the complex structure $I_{1}=J_{1}=K_{1}$ and the corresponding symplectic form $\omega$. The fixed locus $\mathrm{Fix}(\iota)$ is Lagrangian with respect to $\omega$.

On the other hand, $\mathrm{Fix}(\iota)$ is complex with respect to any of the structures $I_{2}$, $J_{2}$, $K_{2}$. Furthermore, $I_{2}$, $J_{2}$, $K_{2}$, equip $\mathrm{Fix}(\iota)$ with an hyperkähler structure. In fact, $\mathrm{Fix}(\iota)$ is a complex-Lagrangian submanifold of $V_{\mathbb{C}}$ with respect to the hyperkähler structures induced by $(I_{2},I_{3},I_{1})$, $(J_{2},J_{3},J_{1})$, $(K_{2},K_{3},K_{1})$ on $V_{\mathbb{C}}$.

Remark 4.8**.**

*In the terminology of [KW07], $\mathrm{Fix}(\iota)$ is an A-brane with respect to $(\omega_{1},I_{1}=J_{1}=K_{1})$ and an (ABA)-brane with respect to the three hyperkähler structures on $V_{\mathbb{C}}$ induced by $(I_{1},I_{2},I_{3})$, $(J_{1},J_{2},J_{3})$, $(K_{1},K_{2},K_{3})$.

Notice that the involution $\iota$ is non (anti)-symplectic or (anti)-holomorphic, so the construction above is not contained in any standard use of involutions to find branes.*

This linear model serves as the model for a more general construction which we use to obtain some interesting geometric structures in the moduli space of solutions to the Haydys equation in Section 4.2.3. In the next section, we briefly outline the finite dimensional curved version of that construction.

4.2.2. Curved model

Let $X$ be a smooth manifold equipped with three different hyperkähler structures, compatible with the same metric $h$, as those of the previous section. This means that they are all compatible with the same Riemannian metric $h$ and the complex structures $(I_{1},I_{2},I_{3})$, $(J_{1},J_{2},J_{3})$, $(K_{1},K_{2},K_{3})$ satisfy $I_{1}=J_{1}=K_{1}$, which we denote by $L_{1}$ for clarity, and

[TABLE]

with each of these sides squaring to the identity.222It is unclear whether this condition could be dropped in some cases of interest. Further, we suppose that there is a Lie group action $\rm{G}$ which acts on $X$ in a tri-Hamiltonian fashion, with respect to all three hyperkähler structures. In order to perform a meaningful reduction we seek to require the structure which makes Proposition 4.4 work. For that we must imitate the existence of a map $\chi$, taking the role of $\iota$ in the proof of Proposition 4.4, which along its fixed loci closes the algebra of the complex structures and preserves the moment map equation. Such a bundle map must be $\rm{G}$-invariant, so that it descends to the quotient. Finally, notice that the fixed loci of an isometric anti-holomorphic involution on a Kähler manifold is not only Lagrangian but a minimal submanifold. This is summarized as follows.

Proposition 4.9**.**

Let $Q=\bigcap_{\mathcal{I}=I,J,K}\bigcap_{i=1,2,3}\mu_{\mathcal{I}_{i}}^{-1}(0)$, then $(L_{1},\omega_{L_{1}})$ descends to $Q/\rm{G}$ which is a Kähler manifold of real dimension $\dim(X)-8\dim(\rm{G})$.

*Suppose there is a smooth $G$-invariant $L_{1}$-anti-holomorphic isometric involution $\chi:X\to X$ satisfying $\chi(Q)\subset Q$. Then, $\chi$ descends to $\hat{\chi}:Q/\rm{G}\to Q/\rm{G}$ and its fixed locus $F$ is a minimal Lagrangian submanifold of $Q/\rm{G}$.

Furthermore, if along $\mathrm{Fix}(\chi)\cap Q$, the bundle maps*

[TABLE]

form a closed algebra. Then, all the hyperkähler structures on $X$ determined by the metric and $(I_{1},I_{2},I_{3})$, or $(J_{1},J_{2},J_{3})$, or $(K_{1},K_{2},K_{3})$ restricts to $\mathrm{Fix}(\chi)\cap Q$ and descend to $F\subset Q/\rm{G}$ which then is an hyperkähler manifold of real dimension $\frac{1}{2}(\dim(X)-8\dim(\rm{G}))$ in three different ways.

4.2.3. Proof of Main Theorem 2

Proof.

By fixing a connection one can identify the space of connections on $P$ with $\Omega^{1}(M,\mathfrak{g}_{P})$, and do the construction from Section 4.2.1 with the quaternionic Lie algebra $V$ replaced by $\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$, with $M=\mathbb{R}^{3}$. We now recall the flat hyperkähler structure on $\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$. This is obtained by first fixing the usual $L^{2}$-metric

[TABLE]

also used to define the metric on the moduli space of Bogomolny monopoles. Then, we consider the complex structures $I_{v}$, parametrized by $v\in\mathbb{S}^{2}\subset\mathbb{R}^{3}$ acting on $(c,\psi)\in\Omega^{1}(M,\mathfrak{g}_{P})\oplus\Omega^{0}(M,\mathfrak{g}_{P})$ as follows. Identify $(c,\psi)$ with $c+\psi dt\in\Omega^{1}(M\times\mathbb{R}_{t},\mathfrak{g}_{P})$, then use the identifications $M\times\mathbb{R}_{t}\cong v^{\perp}\oplus(v\mathbb{R}\times\mathbb{R}_{t})\cong\mathbb{C}^{2}$ to define a complex structure on $M\times\mathbb{R}_{t}$ and define $I_{v}$ as its action by pullback on $\Omega^{1}(M\times\mathbb{R}_{t},\mathfrak{g}_{P})$. Using $e_{1}$, $e_{2}$, $e_{3}$ as the standard basis of $\mathbb{R}^{3}$, we write $I=I_{e_{1}}$, $J=I_{e_{2}}$, $K=I_{e_{3}}$.

Finally, we turn to our version of $V_{\mathbb{C}}$ which is the configuration space

[TABLE]

equipped the constant coefficient metric $h$ given by

[TABLE]

with $h_{B}$ as above. Then, we may equip $\mathcal{C}$ with the three quaternionic structures $(I_{1},I_{2},I_{3})$, or $(J_{1},J_{2},J_{3})$, or $(K_{1},K_{2},K_{3})$ as in Section 4.2.1. As in there, the gauge group $\mathcal{G}$ of automorphisms of $P$ acts on $\mathcal{C}$ by conjugation and so we obtain the moment maps which for convenience we organize here as

[TABLE]

for $i=1,2,3$.333Note that here we are organizing the moment maps in a nonstandard way. Indeed, for any fixed $i$, the complex structures $I_{i},J_{i},K_{i}$ do not follow the quaternionic relations A straightforward computation shows that the equation

[TABLE]

can be identified with $(\mu_{I_{2}},\mu_{J_{2}},\mu_{K_{2}})=0$. In the same way, we have

[TABLE]

which can be identified with $(\mu_{I_{3}},\mu_{J_{3}},\mu_{K_{3}})=0$. Finally the last equation

[TABLE]

corresponds to $\mu_{I_{1}}=\mu_{J_{1}}=\mu_{K_{1}}=0$ which recall is only one equation as $I_{1}=J_{1}=K_{1}$.

Formally, the same argument as that we used in Proposition 4.4, shows that this common complex structure restricts to the locus $\mathcal{C}_{H}\subset\mathcal{C}$ cut out by the Haydys equations. Thus, the Kähler structure determined by $(h,I_{1}=J_{1}=K_{1})$ descends to the quotient

[TABLE]

which can be identified with the moduli space of solutions to the Haydys equation. On $\mathcal{C}$ we have an involution $\iota$ sending $c=(\nabla,\Phi,a,\Psi)$ to $\iota(c)=(\nabla,\Phi,-a,-\Psi)$ which trivially preserves $\mathcal{C}_{H}$. Thus, by Lemma 4.7, $\mathrm{Fix}(\iota)\subset\mathcal{C}$ and so is a complex Lagrangian submanifold of $\mathcal{C}$ with respect to the whole three hyperkähler structures $(L_{2},L_{3},L_{1})$ where $L\in\{I,J,K\}$, i.e. an ABA-brane with respect to any of these. In particular, as stated in that Lemma $\mathrm{Fix}(\iota)$ is Lagrangian with respect to $I_{1}=J_{1}=K_{1}$.

The points of $\mathrm{Fix}(\iota)$ correspond to those $c$ of the form $c=(\nabla,\Phi,0,0)$. In particular, for $c\in\mathrm{Fix}(\iota)\cap\mathcal{C}_{H}$ we find that $(\nabla,\Phi)$ is actually a Bogomolny monopole. Furthermore, $\iota$ is a $\mathcal{G}$-invariant $I_{1}=J_{1}=K_{1}$-antiholomorphic and isometric involution of $\mathcal{C}$ and as stated in Proposition 4.9 it descends to the Haydys moduli space $\hat{\iota}:\mathcal{M}_{H}\to\mathcal{M}_{H}$. Its fixed loci is then the moduli subspace of Bogomolny monopoles

[TABLE]

which is then a minimal Lagrangian submanifold of $\mathcal{M}_{H}$ to which the hyperkähler structures $\{L_{1},L_{2},L_{3}\}$, for $L\in\{I,J,K\}$ descend and agree. In other words, it is a minimal Lagrangian A-brane which arises as a reduction of $\mathrm{Fix}(\iota)$ which is itself an ABA-brane of $\mathcal{C}$ with respect to the hyperkähler structures $\{L_{2},L_{3},L_{1}\}$. This is the main result of this section which we state as follows.

Theorem 4.10**.**

There is an infinite dimensional affine space $\mathcal{C}$ equipped with three are three $\mathcal{G}$-invariant hyperkähler structures such that space of Haydys monopoles $\mathcal{C}_{H}\subset\mathcal{C}$ is cut out the zero set of all the corresponding moment maps.

The moduli space of Haydys monopoles $\mathcal{M}_{H}=\mathcal{C}_{H}/\mathcal{G}$ is a Kähler manifold which has the moduli space of Bogomolny monopoles $\mathcal{M}_{B}$ as a minimal Lagrangian submanifold of $\mathcal{M}_{H}$. Furthermore, the three different hyperkähler structures on $\mathcal{C}$ descend to $\mathcal{M}_{B}$ equipping it with an hyperkähler structure.

This finally implies Main Theorem 2. ∎

Remark 4.11**.**

In the terminology of [KW07], $\mathcal{M}_{B}$ is a minimal A-brane of the Kähler manifold $\mathcal{M}_{H}$ which arises from reduction of an (ABA)-brane with respect to the three hyperkähler structures on $\mathcal{C}$ induced by all the different structures $(I_{1},I_{2},I_{3})$, $(J_{1},J_{2},J_{3})$, $(K_{1},K_{2},K_{3})$. Furthermore, these do descend to $\mathcal{M}_{B}$, which the induced structure from $(I_{2},J_{2},K_{2})$ and the metric $h$ equips with an hyperkähler structure.

Remark 4.12**.**

As in the case of the Bogomolny monopole moduli space $\mathcal{M}_{B}$, the translations of $\mathbb{R}^{3}$ and the gauge transformations of the form $\exp(s\Phi)$ for $s\in\mathbb{R}$ give rise to flat directions in the moduli space $\mathcal{M}_{H}$. Thus, as in the case of monopoles we may quotient out by these and consider centered configurations.