Abstract:ALE and Taub-NUT (or ALF) hyper-Kahler four-manifolds can be naturally constructed as hyper-Kahler quotients. In the ALE case, this construction has long been understood in terms of D-branes; here we give a D-brane derivation in the Taub-NUT case. Likewise, instantons on ALE spaces and on Taub-NUT spaces have ADHM-like constructions related to hyper-Kahler quotients. Here we refine the analysis in the Taub-NUT case by making use of a D-brane probe, and give an application to M-theory.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about how to use D - branes to construct the hyper - Kähler quotient description of Taub - NUT space and instantons on it. Specifically:
1. **D - brane construction of Taub - NUT space**:
- The paper first explores how to understand the construction of Taub - NUT space as a hyper - Kähler quotient through D - brane probes. The Taub - NUT space can be obtained from a configuration of NS5 - branes on \( S^1\times\mathbb{R}^3 \) through T - duality. By analyzing the moduli space of D - brane probes, the author shows how to represent the Taub - NUT space as a hyper - Kähler quotient.
2. **D - brane construction of instantons**:
- Then, the paper further studies how to use a similar D - brane probe method to construct instantons on Taub - NUT space. This includes determining the relationship between ADHM data and Chern classes of instanton bundles, and describing the relationship between these constructions and the product of \( A_{k - 1} \) and \( A_{p - 1} \) singularities in M - theory.
### Solutions to specific problems
#### 1. **D - brane construction of Taub - NUT space**
- **T - duality**: The Taub - NUT space can be obtained from a configuration of NS5 - branes on \( S^1\times\mathbb{R}^3 \) through T - duality. T - duality converts the charge of NS5 - branes into "H - monopole" charge, which is encoded in the geometric structure.
- **D - brane probe**: By using Euclidean D - brane (E1 - brane) probes wrapped on \( S^1 \), we can analyze its moduli space. This moduli space is the same as the Taub - NUT space, thus verifying the hyper - Kähler quotient construction of the Taub - NUT space.
#### 2. **D - brane construction of instantons**
- **ADHM construction**: The paper extends the ADHM construction of instantons, especially for Taub - NUT space. Through D - brane probes, the relationship between ADHM data and Chern classes of instanton bundles is determined.
- **M - theory interpretation**: It further explores the relationship between these constructions and the product of \( A_{k - 1} \) and \( A_{p - 1} \) singularities in M - theory.
### Mathematical and physical formulas
- **Taub - NUT metric**:
\[
ds^2 = U d\vec{X}\cdot d\vec{X}+\frac{1}{U}(d\theta + \vec{\omega}\cdot d\vec{X})^2,
\]
where \( U=\frac{1}{|\vec{X}-\vec{x}|}+\frac{1}{\lambda^2} \).
- **Nahm equations**:
\[
\frac{d\vec{X}}{dy}+\vec{X}\times\vec{X} = 0.
\]
- **Hyper - Kähler moment map**:
\[
\vec{\mu}_W(y)=\frac{d\vec{X}}{dy}+\delta(y - 2\pi R)(\vec{X}(2\pi R)+\vec{\mu}_H).
\]
- **Multi - center Taub - NUT function**:
\[
U=\sum_{\sigma = 1}^k\frac{1}{|\vec{X}-\vec{x}_\sigma|}+\frac{1}{\lambda^2}.
\]
### Summary
This paper, through the method of D - brane probes, explores in detail the hyper - Kähler quotient construction of Taub - NUT space and instantons on it, providing new understanding and calculation methods. These results not only deepen the understanding of Taub - NUT space but also...