Yang–Mills theory for semidirect products G⋉g∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}\ltimes \mathfrak {g}^*$$\end{document} and its instantons

Yang–Mills theory with a symmetry algebra that is the semidirect product h⋉h∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}\ltimes \mathfrak {h}^*$$\end{document} defined by the coadjoint action of a Lie algebra h\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}$$\end{document} on its dual h∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}^*$$\end{document} is studied. The gauge group is the semidirect product Gh⋉h∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_{\mathfrak {h}}\ltimes {\mathfrak {h}^*}$$\end{document}, a noncompact group given by the coadjoint action on h∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}^*$$\end{document} of the Lie group Gh\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_{\mathfrak {h}}$$\end{document} of h\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}$$\end{document}. For h\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}$$\end{document} simple, a method to construct the self–antiself dual instantons of the theory and their gauge nonequivalent deformations is presented. Every Gh⋉h∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_{\mathfrak {h}}\ltimes {\mathfrak {h}^*}$$\end{document} instanton has an embedded Gh\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm{G}_{\mathfrak {h}}$$\end{document} instanton with the same instanton charge, in terms of which the construction is realized. As an example, h=su(2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {h}=\mathfrak {s}\mathfrak {u}(2)$$\end{document} and instanton charge one is considered. The gauge group is in this case SU(2)⋉R3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$SU(2)\ltimes \mathbf{R}^3$$\end{document}. Explicit expressions for the selfdual connection, the zero modes and the metric and complex structures of the moduli space are given.


Introduction
Motivated by an interest in finding new gauge configurations, we consider Yang-Mills theory with a symmetry algebra that is the classical double of a real Lie algebra and study its selfantiself dual solutions. By the classical double of a real Lie algebra h we understand in this paper the semidirect product h h * defined by the action of h on its dual h * via the coadjoint representation. Our concern here is Yang-Mills theory with gauge group the simply connected Lie group G h h * obtained from h h * by exponentiation.
The group G h h * admits several descriptions. From a geometric point of view, it is the cotangent bundle of the Lie group G h of h. Algebraically, it can be regarded as the semidirect product G h G h * of G h with the Lie group G h * of h * . The cotangent bundle construction is standard in symplectic mechanics. The semidirect product approach is not new either in the physics literature. The Chern-Simons formulation of three-dimensional gravity [1,2] is probably the most cele-Dedicated to Ramón F. Alvarez-Estrada on occasion of his 70th birthday. a e-mail: ferruiz@ucm.es brated example of a gauge theory with a gauge group of this type. In that case, h is the Lorentz algebra in three dimensions, h * is the algebra of three-dimensional translations, h h * is the algebra of isometries iso (1,2), and G h G h * is the isometry group ISO (1,2). Other forms of semidirect products, some involving finite groups, have been employed in various scenarios, including quantization of monopoles with nonabelian magnetic charges [3], neutrino mixing [4,5], and hypercharge quantization [6,7].
An important property of h h * is that it is a metric Lie algebra. This means that it admits an invariant, nondegenerate, symmetric, bilinear form, called metric, that takes values in R. The relevance of this property comes from the observation that if g is a metric Lie algebra and is a metric on it, it is possible to formulate Yang-Mills theory with gauge group the Lie group G g of g. To do this on a d-dimensional spacetime manifold, introduce a one-form gauge field κ and its two-form field strength K = dκ + κ ∧ κ, both valued in g, and consider the Yang-Mills d-form L ym = (K , K ). Nondegeneracy of ensures that L ym contains a kinetic term for the gauge field κ, while invariance of guarantees that L ym is invariant under G g gauge transformations. By considering the classical double h h * , it is thus possible to define a gauge theory even if h is not metric. Similarly, fourdimensional topological field theory and three-dimensional Chern-Simons theory can be considered, with Lagrangians given by (K , K ) and κ, dκ + 2 3 κ ∧ κ . In view of this, it seems natural to ask how many different real metric Lie algebras there are. The list of them is exhausted by (i) reductive algebras, (ii) classical doubles, and (iii) double extensions. Reductive algebras are direct sums of semisimple Lie algebras and the Abelian algebra. They are the Lie algebras of the compact Lie groups, and their gauge theories have been the subject of continuous study over the last 40 years. Less is known about the gauge theories for algebras of type (ii) and (iii). Yang-Mills theory for classical doubles is the object of this paper. As regards double extensions, they are obtained by a nontrivial generalization [8] due to Medina and Revoy of the semidirect product that defines the classical double. In fact, a classical double can be regarded as a double extension of the trivial algebra. These authors proved a structure theorem that states (a) that every real metric Lie algebra is an orthogonal sum of indecomposable real metric Lie algebras, and (b) that every indecomposable real metric Lie algebra is simple, one-dimensional or the double extension of a metric Lie algebra by either a simple or a onedimensional Lie algebra. A discussion of the theorem can be found in Ref. [9]. Some Wess-Zumino-Witten models and gauge theories for double extensions have been considered in Refs. [9][10][11][12].
Let us center on the case of interest here, gauge theories with symmetry algebra h h * . In these theories, the gauge field κ takes values in h h * and has nonzero projections onto h and h * . New degrees of freedom are thus introduced when h is replaced with h h * . In Sect. 2, it is shown, however, that the homology and homotopy invariants for the group G h h * are the same as for G h . This has two implications. Homotopically nontrivial solutions for G h h * gauge theory exist if they do for G h gauge theory, and the h * -component of the gauge field κ does not contribute to the theory's invariants. Here we study these questions. It will be shown that G h h * instantons indeed have the same instanton charge as their embedded G h instantons, but larger moduli spaces. A method to construct G h h * ∼ = T * G h ∼ = G h G h * instantons and their moduli spaces from those of G h instantons will be presented. This paper is organized as follows. Section 2 is dedicated to review the definition and basic properties of h h * and its Lie group G h h * . The Lagrangian and field content of G h h * Yang-Mills theory are discussed in Sect. 3. The construction of self-antiself dual G h h * instantons in terms of the embedded G h instantons is presented in Sect. 4. This construction is explicitly realized for h = su(2) and instanton charge one in Sect. 5, where expressions for the gauge field, the zero modes and the metric and complex structures of the moduli space are presented. In Sect. 6 we collect our final comments.

The classical double of a Lie algebra and its Lie group
Let us start by reviewing the construction of the classical double as a semidirect product. Assume that h is a real Lie algebra of dimension n with basis {T i } satisfying [T i , T j ] = f i j k T k . Denote by h * its dual vector space, and take for h * the canonical dual basis {Z i }, defined by Z i (T j ) = δ i j . Form the vector space h ⊕ h * . Its elements are pairs (T, Z ), with T in h and Z in h * , and as a basis on it one may take {(0, T i ), (0, Z j )}. Consider the semidirect product h h * that results from acting with h on h * via the coadjoint representation. For T in h, the coadjoint representation ad * T : h * → h * associates Z → ad * T Z , with action on T in h given by . This results in a Lie algebra of dimension 2n with Lie bracket For the bases {T i } and {Z i }, one has ad T i Z j (T k ) = f ik j , so the Lie bracket becomes Here we have introduced the notation, which we will often use, The semidirect product h h * is a particular type of Drinfeld double [13], namely the one specified by the trivial bialgebra structure on h.
Let us also recall that a bilinear symmetric form on a Lie algebra is invariant if, for all A, B, and C in the algebra, it satisfies This in turn implies invariance under the group adjoint action, or more precisely, Coming back to h h * , it is very easy to see that is nondegenerate and solves condition (2.3) for the commutators (2.2), where ω i j = ω(T i , T j ) are the components of an arbitrary symmetric, possibly degenerate, invariant, bilinear form ω on h. Hence h h * is a real metric Lie algebra, even if h is not, and is a metric on it. The algebras h, h * and h h * define through exponentiation simply connected Lie groups that we denote by G h , G h * and G h h * . From a geometric point of view, G h h * is the cotangent bundle T * G h of G h , a standard construction in geometry. T * G h is in turn isomorphic to the semidirect product G h h * , where G h acts on h * by the coadjoint action. For h in G h , the coadjoint representation Ad * h : h * → h * maps Z to Ad * h Z , whose action on T in h is given by Since h in G h can be uniquely written as h = e T , with T in h, the derivative of Ad * h is the coadjoint action ad * T used to construct the semidirect product h h * . As a group, h * is Abelian, noncompact and homeomorphic to R n , and {0} × h * is a normal subgroup. For example, for h = su(2), this gives G h h * ∼ = SU (2) R 3 .
One may also adopt the following approach to G h h * . Consider the Cartesian product G h × G h * , whose elements are pairs (h, n) that can be uniquely written as (e T , e Z ), for some T in h and some Z in h * . The homomorphism ϕ : and Lie algebra h h * . As a group, G h * is Abelian, noncompact, and homeomorphic to R n , given by (t, (h, n)) → (h, tn), is then a homotopy. This means that G h G h * and G h × {0} are homotopically equivalent, hence have the same homology and homotopy invariants. In particular, they have the same third homotopy group. For the elements of G h G h * we will use the notation We finish this section with two comments, one on representations and one on deformations.

Comment 1. Given any p-dimensional matrix representation of h that associates to its basis
It is straightforward to check that ρ above is then the adjoint representation of h h * . Representations other than (2.6) are possible. An example is the following. Let e i be the unit column vector in R n , with components (e i ) j = δ i j . Some simple algebra shows that the matrices form a (n + 1)-dimensional representation of h h * . Note finally that every matrix representation of h h * induces a matrix representation of G h h * via matrix exponentiation.
Comment 2. Assume that the algebra h is metric, so that ω i j in Eq. (2.5) can be taken as the components of a metric. One may use ω i j and its inverse ω i j , given by ω ik ω k j = δ i j , to lower and raise indices in the structure constants f i j k . This yields completely antisymmetric structure constants Consider the commutators is an arbitrary real parameter. These commutators satisfy the Jacobi identity for all s and reduce to the Lie bracket (2.9) of the classical double when s → 0. The vector space h ⊕ h * with the Lie bracket (2.10) is thus a Lie algebra, call it h s h * , and a deformation of h h * with deformation parameter s. The algebra h s h * is metric since it admits the metric In the new basis, the Lie bracket (2.10) becomes and the metric s takes the diagonal form (2.14) The deformed algebra h s h * is thus the direct sum h⊕h and its simply connected Lie group G h s h * becomes the direct product G h × G h .

The gauge theory and its field content
Our interest here is Yang-Mills theory with gauge group G h h * . Consider a spacetime manifold M d of dimension d equipped with a metric γ . Greek letters μ, ν, . . . will label coordinate indices 1, 2, . . . , d in a local chart {x μ }. In such a chart, γ μν will denote the metric components and γ μν the components of the inverse metric. For an r-form ζ we will adopt the normalization ζ = 1 r ! ζ μ 1 ···μ r dx μ 1 ∧ · · · ∧ dx μ r . Indices will be raised and lowered using γ μν and γ μν metric. For the commutator of an r-form ζ with an s-form ξ , both tak- The gauge field is a connection one-form κ on M d that takes values in h h * . The connection defines a covariant derivative d κ , whose action on an (h h * )-valued r-form ζ is given by d κ ζ = dζ + [κ, ζ ], and a curvature two-form or field strength The curvature takes values in h h * and satisfies the Bianchi . Under such transformations, the curvature changes as As usual, infinitesimal gauge transformation are obtained by expanding g = e T e Z in powers of T and Z and keeping terms up to order one. With := T + Z , they read where K is the Hodge dual of K and is an invariant metric on h h * . The transformation law (3.3) for K , the observation that any g can be written as g = e T e Z , and the invariance condition (2.4) imply that (K , K ) remains unchanged under gauge transformations. The functional is thus gauge invariant and can be taken as the classical action of G h h * Yang-Mills theory. Variation of S ym with respect to κ gives for the field equation For d ≥ 4, it is also possible to consider the gauge invariant four-form (K , K ). Since (K , K ) does not require a metric, it can be regarded as the Lagrangian of a topological field theory in four dimensions, the classical action being The form (K , K ) is the first Pontrjagin class of the principal bundle over M d with structure group G h h * , and the exterior derivative of a Chern-Simons three-form. That is, In analogy with the case of semisimple Lie algebras, one may formulate Chern-Simons field theory on a three-dimensional manifold M 3 with the classical action The connection κ and the curvature K can be expanded in the Lie algebra basis {T i , Z j } as where α i and β i are one-forms on M d , and F i and B i are two-forms. Substitution in Eq. (3.1) gives In infinitesimal form, gauge transformations read whereas for the field strength they become The Bianchi identity d κ K = 0 unfolds in the two identities 20) and the field equation There are a few observations that, despite their simplicity, are worth making. Firstly, the curvature F has the same dependence on α as results from gauging the algebra h. It is B that mixes α with β. Secondly, the Lagrangian (K , K ) has a kinetic term for all the field components α i and β i of the gauge field κ. Note in this regard that, for ω degenerate, ω(F, F) does not define a Yang-Mills Lagrangian since it does not contain a kinetic term for all the α i . Thirdly, the field strength B, its Bianchi identity (3.20) and its field equation For h the Lorentz algebra in three dimensions, the metric has the form in Eq. (2.5) and L cs (κ) in Eq. (3.24) gives, for ω i j = 0, the Chern-Simons Lagrangian of three-dimensional gravity [1,2], modulo an exact form.

Semidirect instantons: general analysis
Let us turn our attention to self-antiself dual instantons on R 4 . They are described by connections κ s that solve the equation K =±K , where the positive sign corresponds to selfduality and the negative sign to anti-selfduality. For such con- Finiteness of the Yang-Mills action on the rightmost side of this equation requires the curvature h-component F s to approach zero at the three-sphere S 3 ∞ at infinity. This in turn demands α s to approach a pure gauge configuration. That is, Note that no boundary condition for β s is needed. These arguments can be made more explicit by noting that S p [κ] is the integral over S 3 ∞ of the Chern-Simons three-form L cs (κ) in Eq. (3.24). For a connection κ = (α, β) that approaches (α ∞ = h −1 dh, β ∞ ) at S 3 ∞ , with β ∞ arbitrary, Eq. (3.24) and F ∞ = 0 imply that All in all, the instanton charge, call it N , and the boundary conditions for a self-antiself dual G h h * instanton κ s = (α s , β s ) are specified by those of the embedded G h instanton, This implies in particular that β s does not contribute to the instanton charge, The self-antiself duality equation K =±K splits in Equation (4.4) and the boundary condition α → h −1 dh set a differential problem for α, whose solutions are the self-antiself dual G h instantons. For every solution α s , Eq. (4.5) becomes an homogeneous linear differential problem for β, with solution β s . In what follows we present a method to find the most general solution β s for a given α s . Take h to be simple and ω i j in Eq. (2.5) a metric on h. This is the case of all self-antiself dual G h instantons known to date [14][15][16][17][18][19][20][21][22][23][24]. Introduce generators Z i = ω i j Z j . The commutation relations for {T i , Z j } and the metric take the form (2.9) and (2.11), with s = 0. Since any gauge field κ = (α , β ) obtained from a solution κ s = (α s , β s ) by a G h h * gauge transformation is trivially a solution, we restrict our attention to gauge nonequivalent solutions. The space of all such solutions with instanton charge N is the moduli space Standard arguments [25,26] show that if κ s is a solution to the self-antiself duality equation, κ = κ s + δκ is a gauge nonequivalent solution if δκ satisfies the equation The solutions δκ s = (δα s , δβ s ) to these equations describe gauge nonequivalent displacements in the moduli space M N (G h h * ). We will use standard terminology and refer to them as zero modes (since they are the zero modes of a linear differential operator). In Eqs. (4.4), (4.9), and (4.10) one recognizes the problem of charge N self-antiself dual G h instantons and their zero modes. Given its solution {α s , δα s }, we want to solve Eqs. (4.5), (4.11), and (4.12) for β and δβ. Let us first understand the solution to the G h problem. A solution α s to Eq. (4.4) depends on a set of free parameters {u a } that describe instanton degrees of freedom and that occur in the differential problem as integration constants [19][20][21][22][23][24][25][26]. In the ADHM approach, the {u a } appear as free parameters in the quaternion matrices in terms of which α s is constructed. Using the fact that partial derivatives ∂/∂u a commute with the exterior differential d and noting the Jacobi identity for the generators {T i } of h, it is trivial to check that (i) derivatives ∂α s /∂u a of α s along u a and (ii) rotations [α s , T i ] of α s about T i solve the moduli equation (4.9). The problem is that they may not satisfy the gauge-fixing condition (4.10). To correct this, one includes infinitesimal local G h transformations and writes for the zero modes where t (a) = t j (a) T j and t (i) = t j (i) T j are h-valued functions that must be chosen so that Eq. (4.10) holds. The zero modes δ (a) α s and δ (i) α s give the gauge nonequivalent deformations of α s . Introducing angles τ i for the rotations around T i , one may take {u a , τ i } as local coordinates on the moduli space

The connection
We now turn to Eq.  This is trivially self-antiself dual and does not contribute to the instanton charge. To check the latter, use (F, [F, Z i ]) = 0 for any two-form F, so that Since ω (F s , F s ) is a constant, equal to 8π 2 N , with N the charge of the G h instanton specified by α s , the derivatives on the right hand side vanish and Eq. (4.3) is reproduced.
Once we have (α s , β s ), we look for the solutions δβ to Eqs. (4.11) and (4.12). There are two types of solutions: those with δα = δα s = 0, and those with δα = 0.

Zero modes with δα = 0
A perturbation α s → α s + δα s produces a change β s → β s + δβ s given by (4.20) Here z (a) and z (i) are the h * -valued functions For δα = 0, the moduli equation (4.11) and the gauge-fixing condition (4.12) for δβ i reduce to those for the zero modes δα i of the self-antiself dual G h instanton α s . It then trivially follows that there are dim N (G h ) additional zero modes δκ s = (δα s , δβ s ) with These have the same structure of all zero modes, partial derivatives with respect to moduli parameters,ũ a andτ i in this case, followed by infinitesimal gauge transformations.
To summarize, the gauge field (α s , β s ), with α s the connection of a charge N self-antiself dual G h instanton and β s as in Eq. (4.15), specifies a self-antiself dual G h h * instanton with the same charge. The dimension of its moduli space where u a and τ i are local coordinates on M N (G h ), andũ a andτ i are kind of dual coordinates. If the zero modes of the G h instanton α s are given by Eqs. (4.13) and (4.14), the zero modes of the (α s , β s ) instanton take the form in Eqs. (4.13)-(4.14), (4.19)-(4.20), and (4.25)-(4.26). We may call these instantons cotangent T * G h , or semidirect G h G h * instantons.
The moduli space M N (G h h * ) inherits a natural metric from the field theory defined by the overlap of deformations δκ = (δα, δβ). If U and V stand for two arbitrary moduli coordinates, the moduli space metric coefficients are given by Denote by H the metric on M N (G h ), with components (4.28) where pq stands for The hh-coefficient G pq is the sum of H pq and a contribution pq that arises from the h * -components δ ( p,q) β of the deformations along the moduli space directions p and q.
In the next section we explicitly realize this construction for h = su(2) and instanton charge one.

The semidirect extension BPST instanton and its moduli
On R 4 take coordinates x μ = (x 1 , x 2 , x 3 , x 4 ) and Euclidean metric δ μν . Set h = su(2), with basis [T i , T j ] = i jk T k . The most general invariant bilinear form ω that can be defined on su (2) is ω i j = ω 0 δ i j , with ω 0 an arbitrary constant that is conventionally set equal to 1/2g 2 . The classical double su(2) su(2) * has commutators and the most general metric on it reads This is of the form (2.5), or more precisely, of the form (2.11) with s = 0. In the basis {T i , Z j } the connection κ has components α i and β j , and the curvature K has components F i and B j , given by In what follows we restrict ourselves to the positive sign in the equation K = ±K . This corresponds to selfdual instantons and, with the metric convention (5.2), positive instanton charge. The negative sign, antiself dual instantons with negative instanton charge, is analogously treated. The group G su(2) su(2) * is the cotangent bundle T * SU (2), isomorphic to the semidirect product SU (2) R 3 .
3), is solved by SU (2) selfdual instantons. Take as solution the BPST instanton [14], whose connection α i s and curvature F i s are given in singular gauge by and Here ρ is an arbitrary constant, r a is the radius of the threesphere centered at any point a μ in R 4 , andη i μν are the 't Hooft symbols [27] whose properties are collected in the appendix. The BPST connection has instanton charge one in units of 1/g 2 , The moduli space of the BPST instanton [21][22][23][24][25][26] is an eightdimensional manifold on which one may take as global coordinates the instanton size ρ, the four coordinates a μ of the instanton center, and three angles τ i , which account for rotations about the generators {T i } of su (2). The deformations along these moduli directions are [25] δ (ρ) α s = ∂α s ∂ρ , where t is the function t (r a ) = − ρ 2 r 2 a + ρ 2 . (5.12)

The semidirect BPST instanton and its zero modes
The results in Sect. 4 imply that, for α = α s , the most general solution to the equation B i = B i is, modulo gauge transformations, whereρ,ã μ andτ j are free parameters. The curvature B i then becomes 14) The su(2) su(2) * connection (α s , β s ) specifies a charge one SU (2) R 3 instanton that we call a semidirect or cotangent BPST instanton. It depends on 16 moduli parameters, ρ, a μ , τ j ,ρ,ã μ , andτ j . The derivatives entering β i s and B i s are trivially calculated from the expression of α s .
The su(2)-components of the zero modes along the moduli directions ρ, a μ and τ i are those in Eqs. (5.9)-(5.11). Upon substitution in Eqs. (4.19) and (4.20), we obtain for their su(2) * -companions where z (τ i ) is a function of x μ given by As a cross check, one may directly verify, by a long but simple calculation, that δ (ρ,a μ ,τ i ) β s indeed satisfy the moduli equation (4.11) and the gauge-fixing condition (4.12). We remark that δ (ρ,a μ ,τ i ) β s follow from Eqs. (4.19) and (4.20) and that no additional gauge transformation has been introduced so as to ensure that the gauge-fixing condition holds. The zero modes associated to the moduli coordinatesρ, a μ andτ i are given by Eqs. (4.25)-(4.26), which in our case take the form with t as in Eq. (5.12).

The moduli space metric
The expressions for the zero modes above and some calculations lead to the moduli space metric ρ a ν τ jρãντ j The change of coordinates with r ± and s ± given by ρ + 2ρ ± 4ρ 2 + (ρ + 2ρ) 2 , (5.24) brings the metric to the diagonal form where f andf are positive functions of σ andσ . This shows that the metric has signature (8,8).
The field theory is invariant under translations and SO(4) rotations in R 4 , and under SU (2) R 3 gauge transformations. These symmetries go into isometries of the moduli metric. Indeed, R 4 translations give rise to translations in b μ andb μ , generated by ∂/∂b μ and ∂/∂b μ . Rotations become SO(4) ∼ = SU (2) + × SU (2) − rotations in b μ andb μ , generated by andχ i ± , obtained from Eq. (5.26) by replacing b μ withb μ . Finally gauge transformations become translations in τ i and τ i generated by ∂/∂τ i and ∂/∂τ i . Note that, in the conventional BPST instanton, one has translational and rotational invariance in a μ . The first one is an isometry here, but the second one is not, due to the occurrence of the term da μ dã μ in the moduli metric.

Complex structures
Let us show that the moduli space M 1 SU (2) R 3 is a hyper-Kähler manifold. We do this by finding three complex As in the BPST case, one expects the moduli space to inherit its complex structures from those of R 4 , which can be written as −η i μν dx μ ∧ dx n . This suggests the ansatz (5.28) Using the expressions for the zero modes and some algebra and integration, one has ρ a ν τ kρãντ k (5.22), it is straightforward to check that the two-forms J i in Eq. (5.29) indeed satisfy Eq. (5.27); hence they are complex structures. It is worth remarking that the moduli space is hyper-Kähler, despite not being a Riemannian manifold. It looks like hyper-Kählerity is "transmitted" to M 1 (SU (2) R 3 ) via its Riemannian submanifolds.
We finish by studying the compatibility of the isometries of the moduli metric with the complex structures. Recall that for an isometry generated by a Killing vector ξ to be compatible with a tensor A, the Lie derivative L ξ A of A along ξ must vanish. For an isometry given in a chart {u a } by u a → u a = u a + ε ξ a (u), we use for the Lie derivative the convention L ξ A = lim ε→0 1 ε A (u) − A(u) . With this convention, one may check that the isometries generated by ξ = ∂ b μ , ∂b μ , χ i + , ∂ τ i and ∂τi are compatible with the complex structures J i . However, for ξ = χ i − , one has L χ i − J j = i jk J k . The complex structures are thus rotated by SU (2) − rotations, but they remain unchanged by the other isometries.

Outlook
In this paper we have proposed a method to obtain the selfantiself dual solutions for a gauge group G h h * from those for G h . This hints to using Medina and Revoy's theorem [8] to find structure results for the self-antiself dual instantons of the Lie groups with metric Lie algebras. One may advance a few ideas on the subject. According to the theorem, it would suffice to consider three cases: (1) simple Lie algebras, (2) Abelian algebras, and (3) double extensions of a metric Lie algebra by either a simple or a one-dimensional Lie algebra.
Simple real Lie algebras are the Lie algebras of real simple Lie groups, whose instantons would be regarded as the basic objects in terms of which state structure results. Next on the list is the Abelian Lie algebra. This case is trivial, since on R 4 there are no Abelian instantons. One is left with the Lie groups of double extensions.
The double extension d(m, h) of a metric Lie algebra m by a Lie algebra h is obtained [8,9] by forming the classical double h h * and, then, by acting with m on h via antisymmetric derivations. Since m needs to be metric, three possibilities must be considered for m. The first one is that m is a simple real Lie algebra. In this case [9], the algebra of antisymmetric derivations of m is m itself and the double extension is isomorphic to the direct product m×(m m * ). The corresponding Lie group is then the direct product G m × G m m * and its instantons are determined in terms of the G m instantons using the construction presented here. The second possibility is that m is Abelian, of dimension m. Being Abelian, any nondegenerate, symmetric bilinear form on m is a metric, and this can always be brought to a diagonal form with all its eigenvalues equal to either +1 or −1. If there are p positive and q negative eigenvalues, the algebra h of antisymmetric derivations is any subalgebra of so( p, q). In this case, by extending the arguments at the beginning of Section 4, it can be shown that the third homotopy group of G d(m,h) is equal to the third homotopy group of G h . This motivates studying the self-antiself dual solutions of such theories in detail. The third option, that m is a double extension, takes us back to the starting point.
One would also like to include matter fields in the analysis. Their coupling to an h h * gauge field requires additional matter fields components, which introduce additional field equations that may lead to new nontrivial configurations.