Contents
1 Introduction
The celebrated construction of Atiyah, Drinfeld, Hitchin, and Manin [1] provided a description of all instantons of in terms of algebraic data. It has been generalized in a number of ways. Werner Nahm in [2] discovered the construction of calorons, i.e. instantons on as well as that of magnetic monopoles, in terms of solutions of an integrable system of Ordinary Differential Equations. Kronheimer and Nakajima [3] constructed instantons on ALE spaces in terms of algebraic data organized into a quiver diagram. Nekrasov and Schwarz [4] modified the original ADHM construction to obtain instantons on noncommutative Here, we present data describing instantons on the TaubNUT and multiTaubNUT spaces [5], which combines all elements of the above mentioned constructions.
We motivate our construction by string theory analysis of a ChalmersHananyWitten [6, 7] brane configuration that is Tdual to the brane realization of instantons on a TaubNUT space. This analysis is akin to the string theory derivation of the original ADHM and KronheimerNakajima constructions for Atype ALE spaces by Douglas and Moore [8, 9]. Dbrane analysis leading to the KronheimerNakajima construction on a general ALE space appeared in [10].
The KronheimerNakajima construction was used to obtain some explicit instanton solutions on the EguchiHanson space in [11] and [12]. For the case of calorons, the explicit solutions were found in [13] and [14].
A detailed transform from the data we present here to the gauge field on the TaubNUT, as well as an explicit solution of one instanton on the TaubNUT, will appear in [15].
Let us emphasize that the AHDM and Nahm constructions produce instantons on flat backgrounds and . KronheimerNakajima construction does leads to instantons in nontrivial geometric backgrounds of ALE spaces, however, it is based on the fact that any ALE space is a deformation of an orbifold of flat space. Here, we study YangMills instantons on essentially curved ALF spaces which do not possess any useful flat limit.
There was a number of attempts at construction of instantons on the TaubNUT space. Some isolated solutions were found in [16, 17] and particular families of solutions appear in [18, 19, 20]. We claim that the construction presented here produces all solutions for generic boundary conditions. We explore the geometry of the moduli space of solutions and present as an illustration the explicit metric on the moduli space of charge one instanton.
2 Selfdual Connections on TaubNUT
A TaubNUT space is described by the following metric
(1) 
where is the periodic coordinate on the TaubNUT, is a oneform such that (here is the Hodge star operation for a flat threedimansional space parameterized by ).
An instanton on this space is a Hermitian connection with the curvature such that it has finite action and the curvature form is selfdual:
(2) 
Here denotes the Hodge dual operation for the TaubNUT space (1). There is a number of topological invariants associated to such a connection. The action is given by the integral of the Chern character:
(3) 
and monopole charges are defined in the following way. Since the action is finite, the curvature tends to zero as we approach infinity, thus the connection tends to a flat one on the squashed threesphere as This threesphere is Hopffibered over with the fiber parameterized by The fiber has a finite size at infinity. Since the limiting connection is flat, the monodromy of the connection along the fiber has eigenvalues independent of the point on the base Let the limiting values of the eigenvalues be and with as Generically and thus the bundle over splits into eigen line bundles and with degrees and We define the monopole charge by
In intuitive physics terms, at infinity the gauge field becomes independent of and after the dimensional reduction, it looks like a monopole field. The charge defined above, is the charge of this monopole. To be more precise, let us denote the limiting independent connection along the circle by and the other three horizontal components of the connection by so that Dimensionally reducing along the finite circle, as in [21], we obtain the Higgs field and the gauge field in If denotes the threedimensional curvature of the pair satisfies the Bogomolny equation Thus at infinity the pair behaves as a monopole and is its charge.
As demonstrated in [21] the case of nonzero and vanishing instanton number reduces to the study of singular monopoles. Nahm data for singular monopoles was identified in [22] and further explored in [23, 24]. Explicit singular monopole solutions were constructed in [25, 26]. In this paper we focus on the pure instanton case, i.e we put
3 Instanton Data as a Bow Diagram
We consider an instanton of zero monopole charge and instanton number with maximal symmetry breaking, that is, with eigenvalues of the monodromy matrix at infinity with Each such instanton configuration is determined uniquely by the data we describe below. This data can be organized into the diagram in Figure 1.
In the limit the TaubNUT space degenerates to flat and the above diagram becomes the ADHM quiver diagram for instantons on We shall refer to diagrams such as the one in Figure 1 as Bow Diagrams.
Each interval represented by a wavy line connecting two dots corresponds to Nahm data. In the diagram above there are three such intervals and we shall refer to these as ‘Left’, ‘Middle,’ and ‘Right’ intervals respectively and parameterize each by a coordinate taking value in these ranges. We denote the lengths of these intervals by and Nahm data consists of a quadruplet of dependent Hermitian matrices continuous on each interval and satisfying the Nahm equations
(4)  
Geometrically, one can think of a Hermitian vector bundle of complex dimension over each interval with a connection and Hermitian Higgs fields (i.e. endomorphisms of the bundle ) and We use subscripts and superscripts and to specify the interval to which the Nahm data belong. The dots on the wavy line represent the fibers of this bundle and over the points and External dots represent one dimensional vector spaces and Each arrow connects two dots and represents a map from the space at its tail to the space at its head. For example, in any given trivialization is represented by an matrix corresponding to a map from to
This data transforms under a unitary gauge transformation as
(5) 
Besides the Nahm Eqs. (3), these data satisfy certain conditions at and to write these in a compact form we introduce an auxiliary twistorial variable and a combination
(6) 
for each interval. Then the following conditions are satisfied for all values of
(7)  
(8)  
(9)  
(10) 
Let us point out that the matching conditions (9) and (10) are identical to those of a monopole Nahm data [27].
We claim that the set of bow data satisfying Eqs. (3, 710) determines the instanton configuration on the TaubNUT space up to a gauge transformation. The equivalence classes of the bow data up to the transformation (5) are in onetoone correspondence with such instantons. Moreover, this correspondence is an isometry of the corresponding hyperkähler moduli spaces. For the case of the Nahm transform for monopoles Hitchin proved that it is onetoone in [28], and the proof of the isometry statement was given by Nakajima in [29].
4 Structure of Moduli Spaces
The moduli space of instantons on the TaubNUT is hyperkähler; moreover, the corresponding bow data presents it as an infinite hyperkähler quotient of linear spaces, since the Nahm equations (3) and the matching conditions of Eqs. (710) can be viewed as moment maps with respect to the gauge group action of Eq. (5). The moduli space can also be viewed as a finite hyperkähler quotient of a product of linear spaces and a number of The hyperkähler structure on the the cotangent bundle to a group was studied in [30], where this space emerges as a moduli space of Nahm data with regular boundary conditions on an interval. It carries a natural triholomorphic action of with the first and second factors corresponding to the value of the gauge transformation on one and the other end of the interval. In terms of these building blocks the moduli space of charge instantons on the TaubNUT space (1) is given by the following hyperkähler quotient:
(11) 
where each group is a and

acts on on the left and on on the right,

acts on the first factor, acting on on the right and on on the left,

acts on the second factor, acting on on the right and on on the left,

acts on on the right and on on the left.
This allows one to construct more or less explicitly the twistor space of Let us now explain how this finite quotient construction arises from our bow diagram description.
Let us use the language of the hyperkähler reduction to give geometric meaning to the equations of Section 3. Given the bow data one views the space of all such unconstrained data
(12) 
as a direct product of infinitedimensional vector spaces of unconstrained Nahm quadruplets for each interval and the linear spaces of and The metric on the space of Nahm quadruplets on each interval is given by
(13) 
and the natural metrics on the rest of the data are
(14) 
There are three natural complex structures on these spaces coming from identifying as components of a quaternion and from the identification of the spaces parameterized by ’s and the pairs with quaternions. These complex structures are spelled explicitly in Section 8.
The transformations (5) leave the metric and the complex structures invariant. Let denotes the group of all gauge transformations on Our claim is that the moduli space of instantons is isometric to the hyperkähler quotient of by
(15) 
is exactly the space of equivalence classes under the gauge transformation (5) of bow data satisfying the moment map Eqs. (3, 710). This is the infinite hyperkähler quotient of linear spaces. Now we compare this formula to Eq.(11). Let denote the subgroup of consisting of all gauge transformations that equal to identity at the marked points (i.e with then
(16) 
Thus, we can perform the above reduction in two steps, first performing the quotient with respect to and then with respect to The moment maps of the action are exactly the lefthandsides of the Nahm Eqs.(3). Taking the zero level of the moment map and dividing by the group action we are left with on each interval. The second step of the hyperkähler reduction amounts to formula (11).
4.1 Algebraic Description
Let us give a more algebraic description of this space. Selecting a particular complex structure leads to a description of the Nahm data as a connection on the vector bundle and its endomorphism (none of these are restricted to be Hermitian). For example, for one of the complex structures, and With the complex structure selected, we can combine the three Nahm equations into one complex and one real. The complex Nahm equation within the interval simply reads Now, we introduce the parallel transport from one end of the interval to another. Let be covariantly constant with respect to (i.e. ) such that the value of at the left end of the coresponding interval equals identity. Then we denote the value of at the right end of the interval by This yields us natural complex coordinates on which is the moduli space of all the regular Nahm data satisfying the Nahm equations.
As in [31], in a given complex structure the moduli space is equivalent as a complex variety to The latter is given by
(17) 
where
(18)  
(19) 
satisfying the complex moment map conditions
(20)  
(21) 
modulo the gauge equivalence
(22) 
here and
4.2 Comparison with AHDM Construction
We can use the gauge transformations given by and to put , then and the only nontrivial remaining relation is
(23) 
with the gauge equivalence given by the remaining group with the action of an element
(24) 
Eq.(23) with the equivalence (24) is exactly the ADHM condition for instantons on the flat space.
This establishes the isomorphism of the moduli space of instantons on a TaubNUT space and the moduli space of unframed instantons on as complex varieties. We would like to emphasize, however, that even though in any given complex structure these two moduli spaces are isomorphic, their twistor spaces and metrics differ.
5 Some Generalizations
5.1 Instantons
instantons on the TaubNUT space with the gauge group and with maximal symmetry breaking at infinity are given in terms of the bow diagram in Figure 2.
Here are the eigenvalues of the monodromy at infinity and, if all of them are distinct, the auxiliary spaces are onedimensional. The moduli space is again given by a finite hyperkähler quotient of a product of linear spaces and copies of
5.2 Instantons on multiTaubNUT
Given the bow data for instantons on the TaubNUT it is relatively easy to obtain the bow data on a general ALF space, which is a centered multiTaubNUT space. In order to achieve this, similarly to [3], one can consider the quotient of the TaubNUT by the cyclic group rotating the TaubNUT circle If we are to obtain instantons on centered degenerate TaubNUT, we should consider rank ADHM data for its covering TaubNUT space. In other words, the bundle of section 3 is rank . The equivariance conditions one should impose are
(25) 
Here the multiplication by rotates the circle of the TaubNUT, and the factors and with are the linear transformations of the auxiliary spaces and The factors and correspond to the accompanying gauge transformation of the gauge fields on the TaubNUT. with being a permutation matrix permuting the blocks. We can choose it to be a clock matrix In order to satisfy the equivariance conditions and have to be some integer powers of the st root of unity, say and
The equivariant bow data thus consists of the block diagonal and
(26) 
and and are such that they have only th block nonvanishing; similarly and have only the th block nonvanishing. The remaining gauge transformations that respect the equivariance conditions are block diagonal.
These data are naturally arranged into a bow diagram with wavy lines connected cyclically by the components and and two auxiliary spaces and connected to some points on the th and th wavy lines.
If we are to start with instantons on the TaubNUT (instead of the instantons discussed so far in this section) the only difference would be to have auxiliary spaces and (instead of two) pairs of maps The maps and map between these auxiliary spaces and some fibers above points on some of the wavy intervals.
Thus, the bow data for the instantons in a nondegenerate multiTaubNUT background is given by Figure 3. The positions of the dots on the wavy lines are given by the eigenvalues of the monodromy at infinity while the differences of the lengths of the wavy lines are determined by the fluxes of the field on the multiTaubNUT. Just as in the ALE case [3], for a generic (nondegenerate) multiTaubNUT, the moment maps no longer vanish, but are given by the multiTaubNUT resolution parameters.
6 Brane Configuration Analysis
We begin with a setup similar to that of Douglas and Moore [8] by realizing a charge instanton configuration on a TaubNUT space in Type IIA string theory. Namely, consider Typer IIA string theory on a direct product of the TaubNUT space and the sixdimensional Minkowski spacetime. Let the coordinates be in the Minkowski space and the remaining coordinates and in the TaubNUT space with the sixth coordinate being the periodic coordinate of the circle of the TaubNUT. Now introduce D6branes wrapping the TaubNUT space with the worldvolumes in the directions, and D2branes positioned at points on the TaubNUT space with worldvolumes in the directions. In the effective worldvolume theory on the D6brane, this configuration is described by instantons in the gauge group on the TaubNUT.
Performing the Tduality along the periodic TaubNUT direction we obtain a ChalmersHanahyWitten configuration [6, 7] of D5branes, D3branes and one NS5brane in a flat tendimensional Minkowski space with direction periodic. The exact orientation of the branes is specified in Table 1.
0  1  2  3  4  5  6  7  8  9  
D5  
D3  
NS5  
Vector  A  A  A  Y  Y  Y  
Adjoint Hyper  Re H  Im H  Re H  Im H 
Now, that we have identified the relevant brane configuration, we would like to describe the theory on the worldvolume of the D3branes. In the absence of the fivebranes this would be a maximally supersymmetric YangMill theory with the gauge group As indicated in Table 1 the Vector multiplet consists of the threedimensional gauge field with components and the Higgs fields corresponding to the transverse directions to the D3branes as well as two Majorana fermions. The Adjoint Hupermultiplet consists of one Dirac fermion, three Hermitian Higgs fields and one Hermitian connection. We combine these Higgs fields and this connection into two complex fields and so that are the Higgs fields corresponding to the transverse directions while is the gauge field connection in direction
The presence of the fivebranes breaks the maximal supersymmetry to and introduces additional degrees of freedom in the effective worldvolume theory on the D3brane. Even though the sigma model analysis of this configuration is difficult due to the presence of both Ramond and NeveuSchwarz charges, let us give some local arguments for the inhomogeneities we are about to introduce.
6.1 D3D5 Intersection
Let us focus first on one of the D5branes with a number of D3branes ending on it on the left and the same number ending on the right as in the leftmost diagram in Figure 4. Assembling the D3branes together, we can end up in the middle configuration of Figure 4. Now, we can move the D3branes in the direction transverse to the D5, thus ending with the configuration on the right diagram of Figure 4. This brane configuration contains a massive string state corresponding to the lowest excitation of the string connecting the D3’s and the D5’s. Its mass is proportional to the distance between the D3branes and the D5brane and it is clearly in the fundamental representation of the gauge group on the D3branes.
Running this argument backwards, moving the D3’s so that they intersect the D5 renders this fundamental multiplet massless, and separating the two parts of the D3brane amounts to giving it a vacuum expectation value.
6.2 D3NS5 Intersection
Here we focus on the local configuration with the D3branes in the vicinity of an NS5brane as on the left diagram in Figure 5. Moving the D3branes towards the NS5brane, so that they intersect as in the middle diagram, we can now separate the left and the right parts of the D3’s along the NS5brane, as in the rightmost diagram of Figure 5. This configuration has a string state corresponding to the lowest excitation of a string stretching between the left and right D3brane ends. This state is in the bifundamental of the gauge group on the D3brane and its mass is proportional to the distance between the two D3 ends.
Again, running the arguments in reverse, we move the left and right D3branes’ ends together, so that the bifundamental multiplet becomes massless. Now moving the D3brane off the NS5brane amounts to giving this multiplet some vacuum expectation value.
It is clear from the leftmost diagram of Figure 5 that there appears to be a single gauge group on the D3brane, so one might ask how this fits with our description of two gauge groups and a bifundamental multiplet. As we are about to see in the next section, the Dflatness conditions state that the expectation value of the Higgs field corresponding to the D3brane position transverse to the NS5brane equals the bilinear combination of the bifundamental multiplet As a result the Higgs breaks the product of the left and right gauge groups to a subgroup of the skewdiagonal that leaves the bifundamental field invariant.
7 Impurity Theory and Mirror Symmetry
7.1 Theory with Impurities and its Dflatness Conditions
Supersymmetric gauge theories with impurities of codimension one and two were studied in [32] via the Tduality. We adopt these results to our case in this section. We should mention here the superfield formulations of impurity theories in [34] and [35] superspace that can be adopted in our context by introducing defects with bifundamental superfields. Following the approach of [32] here we work in components. The bosonic matter content in the bulk is

the vector multiplet containing the gauge fields with and three Higgs fields

the adjoint hypermultiplet containing two complex Higgs fields and
The degrees of freedom localized at the inhomogeneities in the interior at are two complex fundamental scalars and The main difference from [32] is that we introduce bifundamental hypermultiplet . This multiplet contains two scalar fields and transforming as bifundamentals with respect to the gauge groups acting on the left and the right ends of the interval. Augmenting the Lagrangian of [32] with these bifundamental fields we obtain the following component form of the bosonic field Lagrangian of the effective theory on the D3branes. The bulk Lagrangian (with the index ranges and ) is given by
(27) 
and the inhomogeneity Lagrangian
(28) 
where is understood to be a covariant derivative in the sixth direction (in other words ), the auxiliary field and is the covariant derivative naturally acting on the bifundamenal, e.g.
7.2 Mirror Symmetry and Bow Reciprocity
The brane configuration identified in Section 6 allows for an Sdual description. Sduality leads to an analogous configuration with NS fivebranes in place of D5branes and vice versa. From the point of view of the gauge theory on the D3brane identified in Section 7.1, this duality is the MontonenOlive electricmagnetic duality. The brane picture leads us to conclude that this duality effectively interchanges the two types of inhomogeneities in our theory, leading to a reciprocity among bows. The reciprocity rule is represented in Figure 6.
It amounts to interchanging the fundamental and bifundamental multiplets and splitting and rejoining the Nahm data intervals accordingly.
If we are to consider a theory with impurities specified by the diagram on the right in Figure 7, it is a theory with gauge group with three inhomogeneity hyperplanes: two with fundamental and one with bifundamental hypermultiplets. Two of the branches of vacua of this theory are described by the two bow diagrams of Figure 7. The Coulomb branch of the theory is isometric to the moduli space of instantons on a twocentered TaubNUT (also called ALF space)^{1}^{1}1At first sight this moduli space might appear to be empty, however, in the presence of noncommutativity, indicated here by the difference of the wavy interval lengths, this space is not trivial., while the Higgs branch is given by the moduli space of instantons on a TaubNUT space ( ALF). As usual, Sduality maps the above impurity theory to another impurity theory with two bifundamental and one fundamental matter multiplets.
To give an example, we apply this rule to the bow diagram of instantons on the TaubNUT space. The reciprocal pair of diagrams is presented in Figure 7.
The resulting bow diagram describes Abelian selfdual connections on a twocentered TaubNUT space.
Let us emphasize that the moduli spaces of a bow and its reciprocal bow are generically different. What this reciprocity suggests, however, is that the two bows should be considered together and the moduli space of one is viewed as a branch of a larger moduli space.
8 Moduli Space of One Instanton
For the case of a single instanton all the instanton data are Abelian and the Nahm equations imply that all ’s for are constant on each interval while can be made constant by a gauge transformation that acts trivially at the boundary. If the interval has length due to a gauge transformation the corresponding is periodically identified with the period Thus we have three copies of parameterised by the Nahm data on the three intervals and three copies of parameterized by and The remaining gauge group acting on these data is with the following action:
(32) 
It is convenient to introduce quaternionic notation for this data:
(33) 
Then the complex structures are given by and The following computation is close to that of [33]. For each of the and we introduce coordinates and via the following decomposition: with an antiHermitian and a periodic For any such the combination is traceless and Hermitian, thus it can be written in terms of a real three vector