1: \chapter{The NS $5$-brane}

2: \label{ch3} 

3: In this chapter we  compute the instanton effects originating from the NS $5$-brane, using the DTM formulation.  The underlying idea is that, for small coupling constant $g_s$, the path integral is dominated by the configurations of lowest Euclidean action and one may proceed by expanding around these configurations. \\

4: Naturally, the simplest such configuration is the ordinary perturbative vacuum of the theory, which has $S_E=0$. However, as we have seen in chapter \ref{ch2b}, there are other minima of the action we have to expand about. These minima are the ones corresponding to the $5$-brane and membrane. For reasons that will become clear later on, we will not follow such a program for the \mem and we will restrict ourselves to the $5$-brane only.\\

5: We expand the action up to second order around the instanton configuration, which will be discussed further in section \ref{instmeasure}. Ideally one would like to compute the determinant of the resulting quadratic operator acting on the fluctuations, thus doing a  one-loop computation. However, we are dealing with a difficult non-linear sigma model coupled to supergravity and the resulting quadratic operator is rather complicated, therefore we will not compute its determinant. \\

6: The instanton solutions \R{sol1} and \R{sol2} break the translation invariance of the theory, since they are located at specific points $\{x_i\}$, these are the so-called \emph{collective coordinates}. Furthermore, the instanton solution partially breaks supersymmetry, which gives rise to fermionic collective coordinates. We will discuss the relation between broken symmetries and collective coordinates in section \ref{ubs}.\\

7: As we shall see in section \ref{instmeasure}, the collective coordinates are related to zero modes of the quadratic operator acting on the fluctuations. This means that one has to be careful in constructing the path integral measure. \\

8: In section \ref{instmeasure} we will construct the path integral measure suitable for a ($1$-loop) calculation in the presence of the NS $5$-brane instanton. We shall see that we have to trade the integration over a certain set of quantum fluctuations (zero modes of the quadratic operator) for integrations over the collective coordinates. Apart from the integration over the position (the bosonic collective coordinates) there are also the integrations over the fermionic collective coordinates, these are Berezin integrals. Such integrals are very restrictive because they will only be nonzero if we compute correlation functions which contain enough fermions to `soak up' the Berezin integrals.\\

9: This leads us to consider  specific correlators in section \ref{sect_correl}. By computing these correlators we can construct the effective action\footnote{Part of the effective action actually, namely the corrections to the kinetic terms of the scalars and tensors and some vertices. To compute corrections to the other terms in the action \R{sa1} one can apply supersymmetry.}. To be precise: the action of the DTM (with $N=2$ local supersymmetry) with $5$-brane instanton corrections.\\

10: In section \ref{sect_modul} we shall consider the consequences for the moduli space of the UHM, which is what we were after all along, and examine the breaking of certain isometries of the Heisenberg algebra to a discrete subgroup.\\

11: We have to keep in mind that we are approximating a NS \5b wrapped along the Calabi-Yau by this instanton. Stated differently, in string theory the \fb instanton is described by an embedding of the $6$-dimensional worldvolume into the $10$-dimensional space $\mR^4\times Y_3$ such that the worldvolume ends up entirely on the Calabi-Yau. The embedding maps are then thought of as the collective coordinates of the \fb and performing  a genuine path integral would involve doing an integration over these maps. This amounts to a path integral over the worldvolume theory  in the \sugra background $\mR^4\times Y_3$, as advocated in \cite{Becker:1995kb}, see also \cite{Harvey:1999as}.\\

12: Due to the complicated and somewhat mysterious nature of that worldvolume theory, this would be  difficult. We will not try to include such worldvolume effects and limit ourselves to an integration over the collective coordinates in their capacity as positions in Euclidean space. \\

13: 

14: 

15: First we will present some background material, in section \ref{sec1}, on the general $N=2$ supergravity theory coupled to tensors and scalars. This is the theory into which the DTM fits. In section \ref{dtm_susy} we will restrict ourselves to the case of only the DTM for which we will be doing the calculations of the rest of the chapter. Many technical details and calculations have been directed to the appendices, they will be referred to as needed. 

16: 

17: \section{Supersymmetry}

18: \label{sec1}

19: In chapter \ref{ch2} we have explained that we will be performing the NS $5$-brane instanton calculation in the Euclidean DTM. One can Wick rotate to Lorentzian signature and dualize back to the UHM, so that we do not need the (Euclidean) supersymmetric UHM. \\

20: The most general form of the  action for  scalars and tensors coupled to $N=2$ supergravity has been constructed in \cite{Theis:2003jj} for spacetimes with Lorentzian signature. In Euclidean space the action is given by

21: \begin{align} 

22:   & e^{-1} \cL  = \notag\\

23:   &\, \frac{1}{2\kappa^2}\, R + \frac{1}{4}\, \cF^{\mu\nu}

24:     \cF_{\mu\nu} + \frac{1}{2}\, \cG_{AB}\, \hat{D}^\mu \phi^A\,

25:     \hat{D}_\mu \phi^B + \frac{1}{2}\, M^{IJ} \cH^\mu_I\,

26:     \cH_{\mu J} \notag \\[2mm]

27:   &\, - \I A_A^I H^\mu_I\, \partial_\mu \phi^A \notag 

28:      + \I \gve^{\mu\nu\rho\gs} (\cD_\mu \psi_\nu^i \gs_\rho

29:     \bgps_{\gs i} + \psi_\gs^i \gs_\rho \cD_\mu \bgps_{\nu i}) \notag\\[1.6mm]

30:   &\, +

31:     \frac{\I}{2}\, h_{a\ba}\, (\gl^a \gs^\mu \cD_\mu \bgl^\ba -

32:     \cD_\mu \gl^a \gs^\mu \bgl^\ba) +\I \kappa M^{IJ} \cH^\mu_I\, (g_{Jia}\, \psi_\mu^i \gl^a +

33:     \text{c.c.})  

34:     \notag \\[1.8mm]

35:   &\, - \kappa\, \cG_{AB} (\hat{D}_\mu \phi^A + \partial_\mu \phi^A)\,

36:     (\gg^B_{ia}\, \gl^a \gs^{\mu\nu} \psi_\nu^i + \text{c.c.}) +

37:     \I \kappa M^{IJ} \cH^\mu_I\, (g_{Jia}\, \psi_\mu^i \gl^a +

38:     \text{c.c.}) \notag \\[2mm]

39:   &\, - \I \frac{\kappa}{2\sqrt{2}}\, (\tilde{\cF}^{\mu\nu} + \tilde{F}^{

40:     \mu\nu})\, (\psi_\mu^i \psi^{}_{\nu i} + \bgps_\mu^i \bgps^{}_{

41:     \nu i}) + \frac{\I\kappa}{2\sqrt{2}}\, \cF_{\mu\nu}\, (\cE_{ab}\,\gl^a

42:     \gs^{\mu\nu} \gl^b - \text{c.c.}) \notag \\[2mm]

43:   &\, + \I M^{IJ} k_{Ja\ba}\, \gl^a \gs^\mu \bgl^\ba \big[ \cH_{\mu

44:     I} + \I \kappa\, (g_{Iib}\, \psi_\mu^i \gl^b + \text{c.c.})

45:     \big] \notag \\[2.5mm]

46:   &\, + \kappa^2 M^{IJ} (g_{Iia}\, \psi_\mu^i \gl^a + \text{c.c.})\,

47:     (g_{Jjb}\, \gl^b \gs^{\mu\nu} \psi_\nu^j + \text{c.c.})

48:     \notag \\[1.2mm]

49:   &\, + \frac{\kappa^2}{8}\, (\cE_{ac} \cE_{bd}\, \gl^a \gl^b\ \gl^c

50:     \gl^d + \text{c.c.}) - \frac{1}{4}\, V_{ab\,\ba\bb}\, \gl^a

51:     \gl^b\, \bgl^\ba \bgl^\bb  \pt \label{eq:sa1}

52: \end{align} 

53: This action is based on  $n_T$ tensors $B_{\gm\gn I} \,,\, I=1, \ldots, n_T$ and $4n-n_T$ scalars $\gf^A$, $A=1, \ldots, 4n-n_T$, together with $2n$ $2$-component spinors $\gl^a$, $a=1,\ldots, 2n$, called the hyperinos. Furthermore there are the fields from the supergravity multiplet: the vielbeins $e^{\,\,m}_\gm$, the graviphoton $A_\gm$ and the gravitinos $\gps^i_\gm\,,\,i=1,2$.

54: We have performed the Wick rotation as discussed in appendix \ref{appwick}.\\

55: Our conventions are such that all the field dependent quantities, such as $M^{IJ}$, $\cG_{AB}$ and so on, are the same as in the Lorentzian case. Sign changes or different factors of $\I$ are never absorbed, but always written explicitly.\\

56: The condition that the \susy algebra closes and that the action is invariant, imposes constraints on (and relations between) the various quantities appearing in the action. They are  the same as in the Lorentzian case. We list a number of them in appendix \ref{appsusy1}, where we will  also specify the various covariant derivatives.  For more details see \cite{Theis:2003jj}. 

57: 

58: In this chapter we only need transformation rules and \susy relations for the instanton background. We will work up to linear order in the fermions. 

59: %The explanation for this is that we will be performing a one-loop\footnote{We will use this phrase to refer to the calculation. But note that, as explained, we are not actually doing a one-loop calculation since we are not computing the determinant.} calculation (see section \ref{instmeasure}) and \susy transformations generating terms of higher order in the (fermionic) fields will appear at $\cO(\gF^3)$, where $\gF$ is a generic field. These effects start to appear at two-loop, similarly for the equations of motion. \\

60: %For instance, although the \susy transformations for the scalars stay the same

61: The supersymmetry transformations of the scalars are given by

62: \equ{

63: \gd_\ge \gf^A=\gg_{ia}^A \ge^i \gl^a + \bgg^{i\,\,\,A}_{\,\ba}\bge_i \bgl^\ba \label{eq:sctr1}  \pt

64: }

65: The transformation rules for the fermions (up to linear order in the fermions) are

66: \bea

67: \gd_\ge\gl^a&=&\left(\I\p{\gm}\gf^A W_A^{ai} + H_{\gm I}f^{Iai}\right)\gs^\gm \bge_i +\ldots \nn \\[1.5mm]

68: \gd_\ge\bgl^\ba&=&\left(\I\p{\gm}\gf^A \bW_{A i}^{\ba} + H_{\gm I}\bff^{Ia}_{\,\,\,\,i}\right)\bgs^\gm \ge^i +\ldots \label{eq:str2} \km

69: \eea

70: with scalar dependent functions $\gg$, $W$ and $f$. We have left out higher order terms in the fermions, denoted by the ellipses.\\

71: The transformation of the tensors is given by

72: \begin{equation} \label{eq:de_B_loc}

73:  \gd_\ge B_{\mu\nu I} = 2\I\, g_{Iia}\, \ge^i \gs_{\mu\nu} \gl^a

74:  - 4 \kappa^{-1} {\Omega_I}^i{}_j\, \ge^j \gs_{[\mu} \bgps_{\nu]i}

75:  + \text{c.c.} \pt

76: \end{equation}

77: The transformations of the supergravity multiplet are given by

78:  \begin{align}

79: &  \gd_\ge e_\mu{}^m  = \I \kappa\, (\ge^i \gs^m \bgps^{}_{\mu i} -

80:     \psi_\mu^i \gs^m \bge_i) \notag \\[2.5mm]

81: &  \gd_\ge A_\mu = \I\sqrt{2\,}\, (\ge_i \psi_\mu^i + \bge^i \bgps_{\mu

82:     i}) \notag \\[2mm]

83: &  \gd_\ge \psi_\mu^i  = \kappa^{-1}\, \cD_\mu \ge^i + \frac{1}{\sqrt{2\,}}\,

84:     \gve^{ij} F^+_{\mu\nu}\, \gs^\nu \bge_j - \I \kappa^{-1}

85:     H_{\mu I} \Gamma^{Ii}{}_j\, \ge^j + \dots \notag \\[0.5mm]

86: & \gd_\ge \bgps_{\mu i}  = \kappa^{-1}\, \cD_\mu \bge_i + \frac{1}

87:     {\sqrt{2\,}}\, \gve_{ij} F^-_{\mu\nu}\, \bgs^\nu \ge^j + \I \kappa^{-1}

88:     H_{\mu I} \Gamma^{Ij}{}_i\, \bge_j + \dots \km \nn

89:  \end{align}

90: where, in the last two lines, we have denoted the (anti-) selfdual

91: graviphoton field strengths by $F_{\mu\nu}^{\pm}=\half(F_{\mu\nu}\pm

92: \tilde{F}_{\mu\nu})$ and we have dropped fermion bilinears.

93: 

94: The quantities $g_{Iia}$, $\W{A}{ai}$, etc.\ appearing in the

95: above equations are functions of the scalar fields and satisfy the relations

96: \R{rel1}--\R{EWidentity}. Moreover, we have the relation

97:  \begin{equation} \label{eq:Gamma-Omega}

98:   \Gamma^{Ii}{}_j = M^{IJ} {\Omega_J}^i{}_j \km

99:  \end{equation}

100: between the coefficients which appear in the supersymmetry

101: transformations of the gra\-vi\-tinos and tensors, respectively.

102: 

103: Note that the fermions (and gravitini) are no longer related to each other by complex conjugation. If we write `c.c.' in the action or anywhere else, we mean the analytic continuation of the complex conjugated expressions in Lorentzian signature. We work in the so-called $1.5$ order formalism. This means that  the spin connection is a function of  other fields which is determined by its own (algebraic) field equation.

104: 

105: \section{The supersymmetric DTM}

106: \label{dtm_susy}

107: We will discuss the supersymmetry transformation rules of the DTM at linear order in the fermions. 

108: Action \R{sa1} is a general action for scalars and tensors coupled to $N=2$ supergravity. The action of the DTM is a specific example of  action \R{sa1}. We can obtain it by taking $n=1$ and $n_T=2$ so there are $2$ scalars and $2$ tensors, as discussed in section \ref{instsol}. Furthermore there are $2$ spinors $(\gl^1\,,\,\gl^2)$, $2$ gravitini $(\gps_\gm^1\,,\,\gps_\gm^2)$ and their conjugate  counterparts. Specifying, as in section \ref{instsol}, to

109: \equ{

110: M^{IJ}=e^\gf \left(%

111: \begin{array}{cc}

112:   1 & -\gc \\

113:   -\gc & e^\gf + \gc^2 \\

114: \end{array}%

115: \right)

116: \qquad 

117: \cG_{AB}= \left(%

118: \begin{array}{cc}

119:   1 & 0 \\

120:   0 & e^{-\gf} \\

121: \end{array}%

122: \right)

123: \qquad 

124: A^I_A=0

125: \label{eq:DTM_metrics}

126: }

127: we obtain the bosonic part of the DTM. From now on we will work in units of $\gk^2=\2$ and rescale the \susy parameters $\ge^i$ by a factor of $\sqrt{2}$ for convenience.\\

128: Note that we have set\footnote{$A^I_A\equiv M^{IJ}G_{JA}$ and arises in the dualization process from the UHM to the DTM, as  discussed in section \ref{secDTM1}.} $A^I_A$ equal to zero. Strictly speaking we could have allowed for a nonvanishing connection $A^I_A$ with trivial field strength  $F_{AB}^{\,\,\,\,I}=2\p{[A}A^I_{B]}=0$. Such connections are pure gauge and lead to total derivatives in the action, which could be dropped in perturbation theory. Nonperturbatively they can be nonvanishing and lead to imaginary theta-angle-like terms. We have discussed and included such terms separately in \R{boun1} and \R{boun2}, so it suffices to set $A^I_A=0$. In appendix \ref{appdtm1} we list the functions $g_{Iia}$, $\W{A}{ai}$, etc.\ for the DTM.\\

129: The linearized Euclidean \susy transformations of the fermions can be written as

130: \begin{alignat}{2}

131:   \gd_\ge \gl^a & = \I\sqrt{2\,}\, E_\mu^{ai}\, \gs^\mu \bge_i\ , &\qquad

132:     \gd_\ge \bgps_{\mu i} & = 2 \bar{D}_{\mu\,i}{}^j\, \bge_j +

133:     \gve_{ij} F^-_{\mu\nu}\, \bgs^\nu \ge^j \notag \\[2pt]

134:   \gd_\ge \bgl^\ba & = \I\sqrt{2\,}\, \bar{E}_{\mu\,i}^\ba\, \bgs^\mu \ge^i\

135:     , &\qquad \gd_\ge \psi_\mu^i & = 2 {D_\mu}^i{}_j\, \ge^j +

136:     \gve^{ij} F^+_{\mu\nu}\, \gs^\nu \bge_j\km \label{susyMN}

137:  \end{alignat}

138: where we have introduced

139:  \begin{alignat}{2} \label{defMN}

140:   & E_\mu^{ai}  = \partial_\mu \phi^A W_{\!A}^{ai} - \I H_{\mu I} f^{Iai}\ ,

141:     &\qquad \bar{D}_{\mu\,i}{}^j & = \gd^j_i \nabla_{\!\mu} - \partial_\mu

142:     \phi^A \Gamma_{\!A}{}^j{}_i + \I H_{\mu I} \Gamma^{Ij}{}_i

143:     \notag \\[1mm]

144:   & \bar{E}_{\mu\,i}^\ba  = \partial_\mu \phi^A \bar{W}_{\!Ai}^\ba - \I

145:     H_{\mu I} \bar{f}^{I\ba}{}_i\ , &\qquad {D_\mu}^i{}_j & =

146:     \gd^i_j \nabla_{\!\mu} + \partial_\mu \phi^A \Gamma_{\!A}{}^i{}_j -

147:     \I H_{\mu I} \Gamma^{Ii}{}_j\km

148:  \end{alignat}

149: with $\nabla_{\!\mu}$ the Lorentz-covariant derivative. The observation that $\bar{E}_\mu$ and $D_\mu$ are related to

150: their counterparts $E_\mu$ and $\bar{D}_\mu$ according

151: to\footnote{Note that in the second identity the covariant derivatives

152: in $D_\mu$ and $\bar{D}_\mu$ are in the same representation of Spin(4),

153: whereas in \eqref{susyMN} they are not.}

154:  \begin{equation} \label{eq:MNrel}

155:   \bar{E}_{\mu\,j}^\ba = - h^{\ba a} \cE_{ab}\, E_\mu^{bl}\, \gve_{lj}\

156:   ,\qquad {D_\mu}^i{}_j = \gve^{ik} \bar{D}_{\mu\,k}{}^l\, \gve_{lj} \km

157:  \end{equation}

158:  will prove  useful. \\

159: The first identity is due to the relation \R{EWidentity}, while

160: the second is a consequence of $SU(2)$-covariant constancy of

161: $\gve_{ij}$.

162: 

163: More explicitly, we have, at the linearized level,

164:  \begin{align}

165:   \gd_\ge \lp \gl^1 \\[2mm] \gl^2 \rp & = \I \lp e^{-\phi/2} \partial_\mu

166:     \chi - e^{\phi/2} \hat{H}_{\mu1} & \partial_\nu \phi + e^\phi

167:     H_{\nu2} \\[2mm] - \partial_\mu \phi + e^\phi H_{\mu2} & e^{-\phi/2}

168:     \partial_\nu \chi + e^{\phi/2} \hat{H}_{\nu1} \rp \lp \gs^\mu

169:     \bge_1 \\[2mm] \gs^\nu \bge_2 \rp \notag \\[3mm]

170:   \gd_\ge \lp \bgl^1 \\[2mm] \bgl^2 \rp & = \I \lp e^{-\phi/2} \partial_\mu

171:     \chi + e^{\phi/2} \hat{H}_{\mu1} & \partial_\nu \phi - e^\phi

172:     H_{\nu2} \\[2mm] - \partial_\mu \phi - e^\phi H_{\mu2} & e^{-\phi/2}

173:     \partial_\nu \chi - e^{\phi/2} \hat{H}_{\nu1} \rp \lp \bgs^\mu \ge^1

174:     \\[2mm] \bgs^\nu \ge^2 \rp \label{eq:ferm-transf}

175:  \end{align}

176: for the matter fermions, and

177:  \begin{align}

178:  & \gd_\ge \lp \psi_\mu^1 \\[2mm] \psi_\mu^2 \rp  = \lp 2 \nabla_{\!

179:     \mu} + \half e^\phi H_{\mu2} & - e^{-\phi/2} \partial_\mu \chi +

180:     e^{\phi/2} \hat{H}_{\mu1} \\[2mm] e^{-\phi/2} \partial_\mu \chi +

181:     e^{\phi/2} \hat{H}_{\mu1} & 2 \nabla_{\!\mu} - \half e^\phi

182:     H_{\mu2} \rp \lp \ge^1 \\[2mm] \ge^2 \rp + \dots \notag

183:     \\[3mm]

184: &  \gd_\ge \lp \bgps_{\mu1} \\[2mm] \bgps_{\mu2} \rp  = \lp 2

185:     \nabla_{\!\mu} - \half e^\phi H_{\mu2} & - e^{-\phi/2} \partial_\mu

186:     \chi - e^{\phi/2} \hat{H}_{\mu1} \\[2mm] e^{-\phi/2} \partial_\mu

187:     \chi - e^{\phi/2} \hat{H}_{\mu1} & 2 \nabla_{\!\mu} + \half

188:     e^\phi H_{\mu2} \rp \lp \bge_1 \\[2mm] \bge_2 \rp + \dots

189:     \label{eq:gravitino-trans}

190:  \end{align}

191: for the gravitinos, where we have omitted the graviphoton terms.\\

192: We end this section by giving the fermionic equations of motion, at the

193: linearized level. For the hyperinos we find

194:  \begin{align}

195:   & \I \gs^\mu \cD_\mu \bgl^\ba + H_{\mu I}\, \bar{\Gamma}^{I\ba}

196:     {}_{\bb}\, \gs^\mu \bgl^\bb + \frac{\I}{2}\, h^{\ba a}

197:     \cE_{ab}\, F^+_{\mu\nu}\, \gs^{\mu\nu} \lambda^b = - \frac{1}

198:     {\sqrt{2\,}}\, \gs^\nu \bar{E}^{\ba}_{\mu\,i} \bgs^\mu \psi_\nu^i

199:     \label{eq:hyperino-EOM} \\[2pt]

200:   & \I \bgs^\mu \cD_\mu \gl^a + H_{\mu I}\, \Gamma^{Ia}{}_{b}\, \bgs^\mu

201:     \gl^b - \frac{\I}{2}\, h^{\ba a} \bar{\cE}_{\ba\bb}\, F^-_{\mu

202:     \nu}\, \bgs^{\mu\nu} \bgl^\bb = -\frac{1}{\sqrt{2\,}}\, \bgs^\nu

203:     {E}^{ai}_{\mu} \gs^\mu \bgps_{\nu\,i}\pt

204:  \end{align}

205: For the definition of the covariant derivative $\cD_\gm$ see appendix \ref{appsusy1}.

206: What makes these different from the usual Dirac-like equation is the

207: presence of the mixing term with the (anti-) selfdual graviphoton field

208: strength and the inhomogeneous gravitino term originating from its

209: coupling to the rigid supersymmetry current of the double-tensor

210: multiplet. This will become important in the discussion of the fermionic

211: zero modes.

212: The gravitino field equations read

213:  \begin{align}

214:   & \I \gve^{\mu\nu\rho\gs} \gs_\rho \cD_\gs \bgps_{\nu\,i} - \gve^{\mu

215:     \nu\rho\gs} H_{\gs I} \Gamma^{Ij}{}_i\, \gs_\rho \bgps_{\nu j}

216:     - \I F^{\mu\nu-} \psi_{\nu\,i} = \frac{1}{2\sqrt{2\,}}\, h_{a\ba}

217:     \bar{E}^{\ba}_{\nu\,i}\, \gs^\nu \bgs^\mu \lambda^a

218:     \label{eq:gravitino-EOM} \\[2pt]

219:   & \I \gve^{\mu\nu\rho\gs} \bgs_\rho \cD_\gs \psi_\nu^i + \gve^{\mu\nu

220:     \rho\gs} H_{\gs I} \Gamma^{Ii}{}_j\, \gs_\rho \psi_\nu^j + \I

221:     F^{\mu\nu+} \bgps_\nu^i = - \frac{1}{2\sqrt{2\,}}\, h_{a\ba} E^{ai}_{

222:     \nu}\, \bgs^\nu \gs^\mu \bgl^\ba\ . \label{eq:gravitino-EOM2}

223:  \end{align}

224: Note that one can combine the first two terms on the left-hand side

225: into the operator ${D_\mu}^i{}_j$, as defined in \eqref{defMN}.

226: 

227: 

228: 

229: 

230: 

231: \section{(Un)broken supersymmetry}

232: \label{ubs}

233: Often a specific solution to the equations of motion will break most (or all) of the symmetries of the theory. The symmetries which are not broken by the solution are called \emph{unbroken} of \emph{residual} symmetries and form a symmetry group. The symmetries which are broken by the solution are called the \emph{broken} symmetries and can be used to generate new solutions.\\

234: For instance, the single-centered\footnote{The multicentered case is similar, but we will mainly use the single-centered one in this chapter.} instanton solution \R{ss1} is not translationally invariant because it is located at a specific point $\{x_0\}$. This is sometimes phrased by saying that the instanton `breaks translational invariance'. Because the underlying theory is translationally invariant, this will manifest itself in the degeneracy of the solutions related to each other by translations. Indeed, the action \R{sc5b1} does not depend on $\{x_0\}$. These solutions can be translated into each other by acting with the broken symmetry. This leads to the notion of \emph{collective coordinates}. These are the coordinates generated by the broken symmetries, in this case simply the position $\{x_0\}$.\\

235: Similarly, the solutions of a \sugra theory are in general not invariant under the \susy transformations that leave the theory invariant. The solutions that  preserve part of the supersymmetries are often called BPS\footnote{After Bogomol'nyi-Prasad-Sommerfield \cite{Prasad:1975kr, Bogomolny:1975de}. For more information on BPS solutions and supersymmetry see for example \cite{Weinberg:2000cr, Stelle:1998xg} and references therein.} solutions. \\

236: Schematically (local) supersymmetry transformations take the form

237: \bea

238: && \gd_\ge B \sim \ge F \nn \\[1mm]

239: && \gd_\ge F \sim \p{}\ge + B\ge \label{eq:vbs1} \km

240: \eea

241: where $B$ stands for bosons and $F$ for fermions. Typically one is interested in purely bosonic configurations. According to the general definition given above, the bosonic solutions will be supersymmetric if there is an $\ge(x)$ such that \R{vbs1} vanishes. The bosonic fields are trivially invariant (because the fermionic fields are zero) and one only needs to examine the equation

242: \equ{

243: \gd_\ge F \sim (\p{} + B)\ge=0 \pt \label{eq:ks1}

244: }

245: The commutator of $2$ such spinors will give an (infinitesimal) Killing vector which generates an isometry of the bosonic background. Equation \R{ks1} is often called the Killing spinor equation.\\

246: 

247: As we shall see in the next subsection, the instanton configuration preserves only part of the supersymmetries. The supersymmetric vacuum is the trivial one with all fields equal to zero. The broken supersymmetries will  generate new solutions characterized by their fermionic collective coordinates. Thus if we start with a purely bosonic configuration which is a solution to the equations of motion, acting with the broken supersymmetries generates fermionic fields. Naturally, this new configuration is also a solution to the equations of motion because the broken supersymmetries are symmetries of the theory.\\

248: There is a lot more to say about this subject, and we refer to the literature, e.g. \cite{Ortin:2004ms, Mohaupt:2000mj, Stelle:1998xg} and the references therein. In the following we present a detailed inspection of the (un)broken supersymmetries in the background of our instanton solution. The case of the anti-instanton is similar.

249: 

250: \subsection{Unbroken supersymmetry}

251: \label{unbroken}

252: Which supersymmetries leave the instanton solution (\ref{eq:sol1}, \ref{eq:sol2}, \ref{eq:Bbound1}) invariant, or equivalently, which supersymmetries are left unbroken by this solution? 

253: The background is determined by the instanton solution for the bosonic fields as in (\ref{eq:sol1}, \ref{eq:sol2}, \ref{eq:Bbound1}). The fermionic fields are all equal to zero.

254: The supersymmetry transformation rules of the bosonic fields contain the fermionic fields, which means that the bosons are always invariant under supersymmetry transformations. To find the unbroken supersymmetries we therefore only have to examine the conditions

255: \equ{

256: \gd_\ge \gl^a=\gd_\ge \bgl^\ba=\gd_\ge\gps_\gm^i=\gd_\ge\bgps_{\gm i}=0 \label{eq:cond3a}

257: }

258: where $\{a,\ba,i\}=1,2$. This will put certain constraints on the \susy parameters $\bge_i(x)$ and $\ge^i(x)$. We will focus on the $\bge_i(x)$ because the $\ge^i(x)$ can easily be obtained from those as we shall see. \\

259: 

260: 

261: It is convenient to consider $\gd_\ge\bgps_{\gm 2}$ first. Using \R{gravitino-trans} and \R{Bbound1} we obtain 

262: \equ{

263: 0=\2 \gd_\ge\bgps_{\gm 2}=\left(\p{\gm}-\4 \p{\gm}\gf\right)\bge_2 \nn \km

264: }

265: defining $\bge_2\equiv e^{1/4\gf}\bget_2$ gives

266: \equ{

267: e^{\gf/4}\p{\gm}\bget_2 =0 \nn \km

268: }

269: which means that $\bget_2$ is a constant spinor. We can rewrite the $\gl^a$ variations \R{ferm-transf} as

270: \bea

271: &&\gd_\ge \gl^1=-2\I \gs^\gm \left(\p{\gm} -\2 \p{\gm}\gf -\4 e^\gf H_{\gm 2}\right)\bge_2 + \I \gs^\gm \gd_\ge \bgps_{\gm 2} \label{eq:ft1} \\

272: && \gd_\ge \gl^2=+2\I \gs^\gm \left(\p{\gm} -\2 \p{\gm}\gf +\4 e^\gf H_{\gm 2}\right)\bge_1 - \I \gs^\gm \gd_\ge \bgps_{\gm 1} 

273: \label{eq:ft2} \pt

274: \eea

275: Upon using \R{Bbound1} these equations simplify. Equation \R{ft1} becomes

276: \equ{

277: \gd_\ge\gl^1=-2\I \gs^\gm\left(\p{\gm}-\4 \p{\gm}\gf\right)e^{\gf/4}\bget_2 =0 \nn\km

278: }

279: where we used that $\bge_2\equiv e^{1/4\gf}\bget_2$  and the fact that $\gd_{\bge_2}\bgps_{\gm 2}=0$. Because this equation is identically zero, it imposes no new constraints. Next on the list is $\gd_\ge \bgps_{\gm 1}$ which is, using \R{Bbound1} and the result for $\bge_2$

280: \equ{

281: 0=\2\gd_\ge \bgps_{\gm 1}=\left(\p{\gm}+\4 \p{\gm}\gf\right) \bge_1 - e^{-\gf/4}\p{\gm}\gc \,\bget_2 =e^{-\gf/4}\left(\p{\gm}\bget_1 -\p{\gm}\gc\, \bget_2\right) \nn

282: }

283: where we have defined $\bge_1\equiv e^{-\gf/4}\bget_1$ in the last step, $\bget_1$ is some spinor. So if $\bget_1$ is related to $\bget_2$ through

284: \equ{

285: \p{\gm}\bget_1=\p{\gm}\gc \,\bget_2 \label{eq:srel1} \km

286: }

287: we have $\gd_\ge \bgps_{\gm 2}=\gd_\ge \bgps_{\gm 1}=\gd_\ge \gl^1=0$. This leaves only one equation, namely $\gd_\ge \gl^2=0$. Using \R{ft2} , \R{Bbound1} and the above results we find

288: \equ{

289: 0=\gd_\ge \gl^2=\gs^\gm\left(\p{\gm} -\frac{3}{4} \p{\gm}\gf\right) e^{-\gf/4} \bget_1\km \nn

290: }

291: which means that $\p{\gm}\bget_1=\p{\gm}\gf \,\bget_1$ which is solved by $\bget_1=e^\gf \bc_1$ for some constant spinor $\bc_1$, giving $\bge_1=e^{3\gf/4}\bc_1$. Note that a more general solution for $\bget_1$ is

292: \equ{

293: \bget_1=e^\gf \bc_1 + e^\gf \p{\gn}h\,\bgs^\gn \gx \nn \km

294: }

295: with $h$ a harmonic function and $\gx$ a constant spinor. However we still have to deal with equation \R{srel1} and we did not find any non-trivial solutions for the $\p{\gn}h\bgs^\gn \gx$ part. Therefore we only consider $\bget_1=e^\gf \bc_1$. Relation \R{srel1} then becomes

296: \equ{

297: e^\gf\p{\gm}\gf\, \bc_1=\p{\gm}\gc \,\bget_2 \nn \km

298: }

299: which is only satisfied for 

300: \equ{

301: \gc=ae^\gf + b \label{eq:temp3a} \km

302: }

303: with some constants $a,b$ and $\bc_1 =a \bget_2$. 

304: 

305: In the calculations above we have not used single-centeredness of our instanton solutions, so $\gf$ and $\gc$ were still determined by \R{sol1} and \R{sol2}. Now we see that equation \R{temp3a} imposes a new constraint because we can only write $\gc$ in this particular form if, see \R{38b},  all $\gc_i$ are equal. Note that \R{temp3a} follows automatically, for some constants $a$ and $b$ that we will determine in a moment,  if one imposes spherical symmetry as in that case the harmonic function $e^{-\gf}\gc$ depends linearly on the harmonic function $e^{-\gf}$. This means that we are dealing with a single-centered instanton. Equations \R{sol1} and \R{sol2} then simplify:

306: \bea

307: && e^{-\gf}=e^{-\gf_\infty} + \frac{|Q_2|}{4\gp^2 (x-x_0)^2} \label{eq:ss1} \\

308: && e^{-\gf}\gc=e^{-\gf_\infty}\gc_\infty +\frac{Q_1}{4\gp^2 (x-x_0)^2}  \label{eq:ss2}

309: \eea

310: and the last equation can indeed be rewritten as

311: \equ{

312: \gc=e^{-\gf_\infty}\gD \gc e^\gf + \gc_0=g_s^2\gD\gc e^\gf +\gc_0 \nn \km

313: }

314: with $\gD\gc\equiv \gc_\infty-\gc_0$ and $\gc_0=\frac{Q_1}{|Q_2|}$, see \R{38b}. We can thus make the identifications $a=g_s^2 \gD \gc$ and $b=\gc_0$. The action for multi-centered instantons \R{instaction2} reduces to single-centered one \R{sc5b1}. \\

315: In the following we will always consider single-centered instantons, or equivalently, spherically symmetric ones.\\

316: The same analysis can be performed for anti-instantons, the total result is

317: \bea

318: && \bge_1 =e^{\gf/2}(g_s^2\gD\gc)^{(1\pm 1)} e^{\pm\gf/4} \bget \label{eq:ks11}\\[2mm]

319: && \bge_2=\pm e^{\gf/2}(g_s^2\gD\gc)^{(1\mp 1)} e^{\mp \gf/4} \bget \label{eq:ks2} \km

320: \eea

321: where the (lower) upper sign corresponds to (anti-)instantons. We have given $\bget_2$ the new name $\bget$. We can write this result concisely as $\bge_i(x)=u_i(x) \bget$, where the $u_i(x)$ can be read off from \R{ks11} and \R{ks2}.\\

322: The Killing spinors of opposite chirality are then given by $\ge^i(x)=\gve^{ij} u_j(x) \get$ with $\get$ another (unrelated) constant spinor. This immediately follows from \R{MNrel}: if $u_i$ are (spinless) zero modes of $E_\gm$ and $\bD_\gm$, then $\gve^{ij}u_j$ are zero modes of $\bE_\gm$ and $D_\gm$.

323: The conclusion of this analysis is that the NS $5$-brane instanton in flat space leaves one half of the supersymmetries unbroken. In other words, the instanton solution is a BPS configuration. \\

324: Although saying that the instanton preserves half of the supersymmetries is the standard way in which to phrase this result, it is slightly misleading. Namely, we go from $4$ arbitrary spinors $(\bge_i, \ge^i)$ to $2$ constant spinors $(\bget, \get)$ together with a very specific space dependence via  $e^\gf$. So we really go from $4$ times `infinitely many' supersymmetries, to $2$ very specific ones.\\

325: Note that the trivial solution with both $e^{-\gf}$ and $\gc$ constant, preserves all the supersymmetries. Thus the instanton configuration tends asymptotically to the maximally supersymmetric vacuum.\\

326: 

327: \subsubsection{The membrane}

328: \label{mem4a}

329: For the sake of completeness we briefly discuss the unbroken supersymmetries in the case of the membrane instanton configuration in a similar fashion, although we will not need them explicitly. As explained in section \ref{mem1}, the simplest membrane instanton solution is characterized by taking $Q_2=\gD \gc=0$ which means that $H_{\gm 2}=0$. The solution is then specified by

330: \equ{

331: H_{\gm 1}=\pm \p{\gm} h\nn\km

332: }

333: with $h$ given by \R{h1}.   To find the unbroken supersymmetries we again have to examine the conditions \R{cond3a}, but now in the membrane background. For convenience we define

334: \equ{

335: \gl^\pm\equiv\2 (\gl^1 \pm \gl^2) \qquad \gps_\gm^\pm\equiv\2 (\gps^1_\gm \pm \gps^2_\gm) \qquad \ge^\pm\equiv\2(\ge^1 \pm\ge^2) \nn

336: }

337: and similarly for barred quantities. The supersymmetry variations \R{ferm-transf} and \R{gravitino-trans} become

338: \bea

339: && \gd_\ge \bgl^+=-2\I \p{\gm}\gf \,\bgs^\gm \ge^- \,\quad\qquad \gd_\ge \bgl^-=0 \nn \\

340: && \gd \gps_\gm^+=2(\p{\gm} -\2 \p{\gm}\gf)\ge^+ \qquad \gd_\ge \gps_\gm^-=2(\p{\gm} +\2 \p{\gm}\gf)\ge^- \nn \pt

341: \eea

342: The unbroken supersymmetries are then given by

343: \equ{

344: \ge^+=e^{\gf/2}\get^+ \qquad \ge^-=0 \nn \km

345: }

346: with $\get^+$ a constant spinor. This means that the membrane instanton preserves half of the supersymmetries as well, it is also a BPS solution. The broken supersymmetries can be used to generate solutions for the fermions as will be shown in the case of the $5$-brane instanton in the next section. We will not demonstrate this explicitly for the membrane.

347: 

348: 

349: 

350: \subsection{Broken supersymmetries}

351: \label{brokensusy}

352: Now we will turn our attention to the broken symmetries. As we have explained, these will generate new solutions. Specifically, starting from a purely bosonic background (as determined by the instanton solution (\ref{eq:sol1}, \ref{eq:sol2}, \ref{eq:Bbound1})) the broken supersymmetries will generate solutions for the fermions. Alternatively, if we are going to generate new (classical) solutions for the fermions, we can also try to construct them by directly solving the equations of motion (linear in the fermions).\\

353: This will be the plan for this section: we will solve the equations of motion (up to linear order in the fermions) for the fermions  and then show  how to obtain these solutions by means of the broken supersymmetries. The  solutions therefore will depend on fermionic \emph{collective} coordinates. These will appear as integration constants if one uses the equations of motion and as supersymmetry parameters in the other approach. The importance of these solutions will become clear in the next section, where we will see that a more apt name for them is \emph{zero modes}.

354: 

355: 

356: \subsubsection{The hyperinos}

357: First we shall solve the equations of motion for the hyperinos, which are coupled to the gravitinos, (\ref{eq:hyperino-EOM}, \ref{eq:gravitino-EOM}). For the DTM we have (see appendix \ref{appdtm1}) $\G{A}{a}{b}=\gG^{1a}_{\,\,\,\,\,b}=0$ and  $\gG^{2a}_{\,\,\,\,\,b}$ is given by \R{Gamma2ab}. Using \R{Bbound1} we obtain\footnote{Unless stated otherwise we choose the instanton background, i.e., the plus sign. The calculation with the minus sign is of course similar.}

358: \begin{equation} \label{eq:5br-zeromode-eqn1}

359:   \I \gs^\mu \lp \partial_\mu \bgl^1 - \tfrac{3}{4} \partial_\mu \phi\, \bgl^1

360:   \\[2mm] \partial_\mu \bgl^2 + \tfrac{3}{4} \partial_\mu \phi\, \bgl^2 \rp = -

361:   \gs^\nu \bgs^\mu \lp e^{-\phi/2} \partial_\mu \chi\, \psi_\nu^1 + \partial_\mu

362:   \phi\, \psi_\nu^2 \\[2mm] 0 \rp 

363:  \end{equation}

364: and similarly for the $\gl^a$:

365: \begin{equation} \label{eq:5br-zeromode-eqn2}

366:   \I \bgs^\mu \lp \partial_\mu \gl^1 + \tfrac{3}{4} \partial_\mu \phi\, \gl^1

367:   \\[2mm] \partial_\mu \gl^2 - \tfrac{3}{4} \partial_\mu \phi\, \gl^2 \rp = \bgs^\nu

368:   \gs^\mu \lp 0 \\[2mm] \partial_\mu \phi\, \bgps_{\nu1} -e^{-\phi/2} \partial_\mu

369:   \chi\, \bgps_{\nu2} \rp \pt

370:  \end{equation}

371: It is convenient to start with $\bgl^2$ and $\gl^1$ because they decouple from the gravitinos. To this end, consider the more general operator

372: \equ{

373: \label{eq:Dk}

374:   \slsh{D}_k \equiv \sigma^\mu (\partial_\mu - k \partial_\mu \phi) = e^{k\phi}

375:   \p\!\!\!/\, e^{-k\phi}\ ,\qquad k \in \fieldR\pt

376:   }

377: The zero modes of $\slsh{D}_k$ are in one to one correspondence to those of $\sder$. But whereas the zero modes $\bgz$ of $\sder$ ($\sder \bgz=0$) are not normalizable\footnote{Normalizable zero modes $\cZ$ must satisfy $\int_0^\infty dr r^3 |\cZ|^2 < \infty$. This implies that $\cZ$ must go to zero as $r^{-5/2}$ or faster at infinity and it may not diverge faster that $r^{-3/2}$ at the origin.} the corresponding  modes of $\slsh{D}_k$ ($\gl=e^{k\gf}\bgz$) are only normalizable for appropriate values of $k$.\\

378: In flat Euclidean space the only solution for $\bgz$ is a constant spinor. However, when the origin is cut out, as it is in our case, there is a nontrivial solution: 

379: \equ{

380: \bgz(x)=2\I \p{\gm}h(x) \bgs^\gm \gx \nn \km

381: }

382: where $\gx$ is a constant spinor, $h$ is a harmonic function and we included the factor of $2\I$ for later convenience. This is the only solution as one can show by writing $\bgz$ as

383: \equ{

384: \bgz(x)=2\I f_\gm(x) \bgs^\gm \gx \nn

385: }

386: for an arbitrary real function $f_\gm$. The equation $\sder\bgz=0$ then imposes

387: \equ{

388: \p{[\gm}f_{\gn]}=\p{\gm}f^\gm=0 \pt\nn

389: }

390: The constant solution cannot lead to a normalizable solution and must therefore be discarded. The possible normalizable solutions to $\slsh{D}_k\bgl=0$ are given by

391: \equ{

392: \bgl=2\I e^{k\gf}\p{\gm}h \bgs^\gm \gx \nn \pt

393: }

394: As we are dealing with spherical solutions (\ref{eq:ss1}, \ref{eq:ss2}), the only harmonic function available is given by $e^{-\gf}$. Thus the normalizable zero modes to $\slsh{D}_k$ are given by

395: \equ{

396: \bgl=2\I e^{k\gf} \p{\gm}e^{-\gf}\bgs^\gm \gx \qquad k\geq \frac{3}{4} \nn \km

397: }

398: where $k\geq 3/4$ can be found by inspecting the asymptotic behaviour. 

399: 

400: Using these results we can now easily write down the solutions for the hyperinos:

401: \equ{

402: \bgl^2=0 \qquad \gl^1=0 \label{eq:hzm1} \pt

403: }

404: Because their equations of motion correspond to $k=-3/4$, which would lead to non-normalizable zero modes, they must be set to zero.\\

405: If there would be no gravitinos present in (\ref{eq:5br-zeromode-eqn1}, \ref{eq:5br-zeromode-eqn2}) the solutions for $\bgl^1$ and $\gl^2$ would be given by 

406: \equ{

407: \bgl^1=2\I e^{3\gf/4}\p{\gm} e^{-\gf} \bgs^\gm \gx^1 \qquad

408: \gl^2=2\I e^{3\gf/4}\p{\gm} e^{-\gf} \gs^\gm \bgx^2 \label{eq:hzm2}\km

409: }

410: with $\gx^1$ and $\bgx^2$ constant spinors.\\

411: As we will demonstrate now, there are in fact no normalizable solutions for the gravitinos.

412: 

413: \subsubsection{The gravitinos}

414: In the instanton background the equations of motion for the gravitinos (\ref{eq:gravitino-EOM}, \ref{eq:gravitino-EOM2}) become, using appendix \ref{appdtm1}, 

415: \equ{

416: \I \gve^{\mu\nu\rho\gs} \gs_\rho \lp \partial_\gs \bgps_{\nu1} + \tfrac{1}{4}

417:   \partial_\gs \phi\, \bgps_{\nu1} - e^{-\phi/2} \partial_\gs \chi\, \bgps_{\nu2}

418:   \\[2mm] \partial_\gs \bgps_{\nu2} - \tfrac{1}{4} \partial_\gs \phi\, \bgps_{\nu2}

419:   \rp = \frac{1}{2} \lp e^{-\phi/2} \partial_\nu \chi \\[2mm] \partial_\nu \phi \rp

420:   \gs^\nu \bgs^\mu \gl^1 \pt \label{eq:G1}

421:   }

422: We notice that only $\gl^1$ couples to the gravitino, but we just \R{hzm1} concluded that $\gl^1=0$. This means that the gravitinos decouple. If we define 

423: \equ{

424: \bgps_{\gm 2}\equiv e^{\gf/4} \bgz_{\gm 2} \nn \km

425: }

426: we can, using \R{B4}, rewrite the second equation in \R{G1} as

427: \equ{

428: \gs^\gm\left(\p{\gm}\bgz_{\gn 2} -\p{\gn}\bgz_{\gm 2}\right)=0 \label{eq:H1} \pt

429: }

430: There are many solutions to this equation, e.g. $\bgz_{\gm 2}=\p{\gm}\bgz_{2}$, but we still have to impose a (supersymmetry) gauge. We choose to work with the standard gauge

431: \equ{

432: \bgs^\gm\gps^i_\gm=\gs^\gm \bgps_{\gm i}=0 \km \label{eq:susygauge1}

433: }

434: in particular $\gs^\gm\bgz_{\gm 2}=0$. Equation \R{H1} simplifies to $\sder \bgz_{\gm 2}=0$ which has the solution

435: \equ{

436: \bgz_{\gm 2}=\p{\gm}\p{\gn}h \,\bgs^\gn \gx \km \label{eq:susyclass1}

437: }

438: with $\gx$ a constant spinor and $h$ a harmonic function. For a given solution one can still act with a supersymmetry transformation. These supersymmetry transformations can either transform the solution for the gravitino in such a way that it still respects the gauge \R{susygauge1}, or not. We must therefore check  if there are residual supersymmetry transformations that produce  new solutions for the gravitino that still obey the gauge condition \R{susygauge1}.\\

439: The supersymmetry transformations for the gravitinos \R{gravitino-trans} simplify to

440: \bea

441: &&\gd_\ge\bgps_{\gm 1}=2\left(\p{\gm} + \4 \p{\gm}\gf\right)\bge_1-2e^{-\gf/2}\p{\gm}\gc \,\bge_2 \nn \\[1mm]

442: && \gd_\ge\bgps_{\gm 2}=2\left(\p{\gm}-\4 \p{\gm}\gf\right)\bge_2 \km \label{eq:grtr2}

443: \eea

444: where we again used the values for the instanton background and \mbox{appendix \ref{appdtm1}}. We can write $\gd_\ge \bgps_{\gm 2}$ as \equ{

445: \gd_\ge \bgps_{\gm 2}=2 \p{\gm}\left(e^{-\gf/4}\bge_2\right) \km \nn

446: }

447: a total derivative, which vanishes in \R{H1}. We should also impose the gauge condition, i.e.

448: \equ{

449: 0=\gs^\gm\left(\gd_\ge\bgps_{\gm 2}\right) =2\sder \left(e^{-\gf/4}\bge_2\right) \label{eq:gauge1} \pt

450: }

451: The solutions are given by a constant or by the derivative of a harmonic function. Acting with such a residual supersymmetry transformation gives a solution which is contained within the class of solutions \R{susyclass1}. Therefore the only solution for $\bgps_{\gm 2}$ is given by

452: \equ{

453: \bgps_{\gm 2}=e^{\gf/4}\p{\gm}\p{\gn}h \,\bgs^\gn \gx \nn \km

454: }

455: where we can again choose $h=e^{-\gf}$ for spherically symmetric harmonic functions.\\

456: However, this solution is not normalizable because it diverges too fast at the origin. Consequently there is no normalizable solution for $\bgps_{\gm 2}$ and we must set it to zero in the hyperino equations of motion. \\

457: A similar analysis shows that there are no normalizable solutions for $\bgps_{\gm 1}$ and the unbarred gravitinos either, so we set them to zero in \R{5br-zeromode-eqn1} and \R{5br-zeromode-eqn2}. 

458: Summarizing, we have the following results

459: \bea

460: &&\bgps_{\gm i}=\gps^i_\gm =\gl^1=\bgl^2=0 \nn \\[2mm]

461: &&\bgl^1=2\I e^{3\gf/4}\p{\gm} e^{-\gf} \bgs^\gm \gx \quad \qquad

462: \gl^2=2\I e^{3\gf/4}\p{\gm} e^{-\gf} \gs^\gm \bgx \nn   \km

463: \eea

464: with two constant\footnote{Note that we use a slightly different notation now, compare with \R{hzm2}. The spinors $\gx$ and $\bgx$ are unrelated.} spinors $\gx$ and $\bgx$. 

465: 

466: 

467: \subsubsection{Using the broken supersymmetries}

468: We have constructed all the solutions to the  equations of motion (linear in the fermions) with certain boundary conditions\footnote{Namely that they are normalizable, which imposes certain conditions on their asymptotic behaviour.}. We shall now show that we can generate these solutions with the broken supersymmetries.\\

469: As it turns out, the broken supersymmetries are contained in the residual supersymmetry transformations left after gauge fixing the gravitinos, i.e. those $\bge_1$ and $\bge_2$ satisfying $\gs^\gm \gd_{\ge}\bgps_{\gm 1}=\gs^\gm \gd_{\ge}\bgps_{\gm 2}=0$. The nontrivial solutions to this equation are given by 

470: \equ{

471: \bge_2=e^{\gf/4}\bget \label{eq:ngbr1}\km

472: }

473: with $\p{\gm}\bget=0$. This is precisely the Killing spinor from \R{ks2}, so it leaves the hyperinos invariant.  The broken supersymmetries for $\bge_1$ are determined by those transformations that leave $\bgps_{\gm 1}$ invariant and preserve the gauge condition \R{gauge1} but act nontrivially on the hyperinos. Using \R{grtr2} and \R{ngbr1} we find

474: \equ{

475: \bge_1=e^{-\gf/4}\left(\gc \bget + \bgx'\right) \nn\km

476: }

477: where $\bgx'$ is another constant spinor. If we insert $\bge_1$ and $\bge_2$ into the transformations of the $\gl^a$ we find that (after a redefinition $\bgx'=\bgx-\gc_0 \bget$) the spinor proportional to $\bget$ is precisely the Killing spinor \R{ks11}. The spinor\footnote{The supersymmetry parameters which generate new solutions for the hyperinos are summarized in \R{brsp1}.} proportional to $\bgx$ does generate a new solution for $\gl^2$:

478: \equ{

479: ^{(1)}\gl^1=0 \quad \qquad ^{(1)}\gl^2=-2\I e^{-\gf/4}\p{\gm}\gf\, \gs^\gm \bgx \label{eq:kst1} \km

480: }

481: where we included a factor of $2\I$ for convenience. These are precisely the solutions obtained earlier, see (\ref{eq:hzm1}, \ref{eq:hzm2}). Equation \R{MNrel} relates the Killing spinors of opposite chirality\footnote{Remember that is really just a very concise way of doing the same calculation for the barred sector.}, which gives

482: \equ{

483: \ge^1=0 \qquad \quad \ge^2=-e^{-\gf/4}\gx \nn \pt

484: }

485: These generate

486: \equ{

487: ^{(1)}\bgl^1=-2\I e^{-\gf/4}\p{\gm}\gf \,\bgs^\gm \gx \qquad \quad ^{(1)}\bgl^2=0 \label{eq:kst2}\km

488: }

489: also a perfect match with \R{hzm2}.\\

490: Note that these solutions depend on $x$ and the collective coordinate $\{x_0\}$. We have introduced some new notation: the superscript $^{(1)}$ left of the $\gl$'s indicates that this solution is obtained by applying a supersymmetry transformation once. The resulting function therefore contains one Grassmann collective coordinate (GCC). We omit the superscript $^{(0)}$.\\

491: Later on we will construct the scalar superpartner of the solutions for the hyperinos found above. The solution for the superpartner can be found by using \R{sctr1} and the solutions for the hyperinos and the supersymmetry parameter which generated them. These solutions for scalars will carry the label $^{(2)}$ because they contain two fermionic collective coordinates (one from the supersymmetry parameters and one from the hyperinos).\\

492: We can perform a  similar analysis for the anti-instanton in which case we find

493: \bea

494: && ^{(1)}\gl^2=^{(1)}\bgl^1=0 \nn \\[1mm]

495: && ^{(1)}\gl^1=-2\I e^{-\gf/4}\p{\gm}\gf\,\gs^\gm\tilde{\bgx} \qquad  ^{(1)}\bgl^2=+2\I e^{-\gf/4}\p{\gm}\gf\,\bgs^\gm\tilde{\gx} \nn \pt

496: \eea

497: For future convenience, we will introduce a very compact notation that links the hyperino labels $`1'$ and $`2'$ to the (anti-)instanton labels $(-) +$. \\

498: This is done in such a way that the hyperino labels $1$ and $2$ are denoted by upper and lower indices respectively. These indices are then further specified by indicating the background, i.e.  instanton or anti-instanton. In this notation the absence of fermionic zero modes is expressed by the equations $^{(1)}\gl^{\pm}=0$ where the upper index is associated to the first hyperino in the instanton $(+)$ background and the lower label to the second hyperino in the anti-instanton $(-)$ background. Similarly we have $^{(1)}\bgl^{\mp}=0$. For the broken supersymmetry parameters we have $\ge^\pm=\bge_\mp=0$ and for the $\gl$'s we can write

499: \equ{

500: ^{(1)}\gl^{\mp}=-2\I e^{-\gf/4}\p{\gm}\gf \,\gs^\gm \bgx^\mp \qquad \quad

501: ^{(1)}\bgl^{\pm}=\mp2\I e^{-\gf/4}\p{\gm}\gf \,\bgs^\gm \gx^\mp \label{eq:brfermions1}\pt

502: }

503: These are generated by 

504: \equ{

505: \ge^\mp =-e^{-\gf/4}\gx^\mp \qquad \quad \bge_\pm=\pm e^{-\gf/4}\bgx^\pm \label{eq:brsp1} \km

506: }

507: where the fermionic collective coordinates $\bgx^\mp$ are two independent constant spi\-nors which distinguish between instantons and anti-instantons, similarly for $\gx^\pm$.\\

508: Where it is clear from the context what is meant, we shall drop the $\pm$ indices on $\gx$ and $\bgx$ for clarity.\\

509: As a last remark in this section, note the difference with Yang-Mills theories where fermionic zero modes only appear in one chiral sector. In the  situation described above they are evenly distributed over the two (barred and unbarred) sectors.

510: 

511: 

512: 

513: 

514: \section{The instanton measure}

515: \label{instmeasure}

516: In the previous section we have seen how broken symmetries and collective coordinates are related. In this section we shall examine the consequences collective coordinates have for the path integral. \\

517: Consider a generic bosonic system without gauge invariance, with fields $\gF^M$ and Euclidean action $S[\gF]$. We can expand the fields around the instanton solution (which solves the equation of motion) as follows:

518: \equ{

519: \gF^M(x)=\gF^M_{cl}(x,C) + \gF_{qu}^M(x,C) \label{eq:field1} \pt

520: }

521: The collective coordinates are collectively denoted by $C^{i_0}$ and the fluctuations $\gF_{qu}^M$ depend on them as well. Note however that the field as a whole, i.e. $\gF^M(x)$ does not. 

522: For a general field $\gF^M(x)$, collective coordinates do not exist as such. These coordinates only become meaningful when the fields are expanded around a configuration which minimizes the action. Only then can some symmetries be broken, giving rise to collective coordinates. The collective coordinates in turn parametrize (by construction) only the classical solution and the fluctuations.

523: Expanding the action around the instanton background gives

524: \equ{

525: S=S_{cl} + \2\int d^4x\,\gF^M_{qu} M_{MN} \gF^N_{qu} + \cO(\gF^3) \label{eq:exp1} \km

526: }

527: where $M_{MN}$ results from taking the second variation of the action with respect to the  fields and is given by  $M_{MN}=\cG_{MP}\gD^P_{\,\,N}$. $\gD^P_{\,\,N}$ is a Hermitian operator with respect to the inner product for the fields defined by $\cG_{MN}$ and can explicitly be calculated by expanding in the fluctuations. Being Hermitian it possesses a basis of eigenfunctions $F_i^M$ in which we can expand the fluctuations: 

528: \bea

529: &&  \gD^M_{\,\,N} F^N_i=\ge_i F^M_i \label{eq:4a} \\[3mm]

530: &&  \gF^M_{qu}=\sum_i\gx_i F_i^M \label{eq:4b} \pt

531: \eea

532: There is a big caveat however, because the operator $\gD$ is guaranteed to have zero modes, which we can see by starting with the equations of motion $\frac{\gd S}{\gd \gF}\big|_{\gF_{cl}}=0$ and deriving with respect to the collective coordinates. 

533: \equ{

534: 0=\frac{\gd}{\gd C^{i_0}} \frac{\gd S}{\gd \gF^N}\Big|_{\gF_{cl}}=\frac{\gd^2 S}{\gd \gF^M \gd \gF^N}\Big|_{\gF_{cl}} \pp{\gF^M_{cl}}{C^{i_0}} \nn \km

535: }

536: which means that $Z^N_{i_0}\equiv \pp{\gF^N_{cl}}{C^{i_0}}$ is a null vector\footnote{Admittedly, the question whether there are zero modes which cannot be obtained in this fashion remains an unsolved problem.} of $\gD$. \\

537: We see that if we have a solution to the equations of motion and take the derivative with respect to the collective coordinates, we obtain a zero mode. In the previous section we concluded that we can either generate fermionic solutions to the equations of motion by directly solving them or by applying the broken supersymmetries, naturally the results agreed. The collective coordinates were nothing but the fermionic parameters $\gx$ and $\bgx$ and for reasons which have just become clear we referred to those solutions as zero modes.\\

538: The following general treatment of zero modes  in the path integral and the relation with collective coordinates focuses on bosonic fields for simplicity. The fermionic case is similar.\\

539: 

540: Some of the modes in \R{4a} and \R{4b} will have zero eigenvalue $\ge$ but \emph{nonzero} fluctuation coefficient $\gx$. It is convenient to split \R{4b} into two sets\footnote{These sets are mutually orthogonal, in fact we can always choose an entirely orthogonal basis for the fluctuations, because $\gD$ is a Hermitian operator.} :

541: \equ{

542: \gF^M_{qu}=\sum_{\iz} \gx_\iz F_\iz^M + \sum_\iq \gx_\iq F_\iq^M \nn \km

543: }

544: such that the $\{\iz\}$ run over the zero mode fluctuations $F^M_\iz$ which have $\ge_\iz=0$ but $\gx_\iz\neq 0$ and the $\{\iq\}$ run over the non-zero mode fluctuations $F^M_\iq$. We see that we can identify $Z^M_\iz=F^M_\iz$. \\

545: We can define an inner product for the fluctuations as follows:

546: \equ{

547: U_{ij}\equiv \int d^4 x F^M_i \cG_{MN}F_j^N \nn \pt

548: }

549: The action \R{exp1} then becomes\footnote{The part involving the zero mode fluctuations is zero, because $\ge_\jz=0$. Thus these fluctuations are also `zero modes' in the sense that they represent physical fluctuations in field space which do not change the value of the action.}

550: \equ{

551: S=S_{cl} + \2 \sum_{i,j} \gx_j \gx_i \ge_j U_{ij}

552: =S_{cl} + \2 \left(\sum_{\iz, \jz} \gx_\jz \gx_\iz \ge_\jz U_{\iz \jz} + \sum_{\iq, \jq}\gx_\jq \gx_\iq \ge_\jq  U_{\iq\jq}\right) \nn .

553: }

554: The path integral measure is defined as 

555: \equ{

556: \int [\d\gF^M]\equiv \int \sqrt{\det U_0} \prod_\iz \frac{\d\gx_\iz}{\sqrt{2\gp}} \big[\d\tgF^{A}\big] \label{eq:pim1} \pt

557: }

558: We have separated the zero and non-zero fluctuations. The measure of the latter is indicated by $\big[\d\tgF^{A}\big]$, corresponding to an integral over the fluctuation coefficients $\gx_\iq$. Including the zero modes in this measure would lead to a determinant of $M$ which would equal zero, thus invalidating this approach. Instead, the non-zero modes now lead to an \emph{amputated} determinant $\det{\!}'\gD$. The $U_0$ is the inner product over the zero modes only, it actually defines a metric on the moduli space of collective coordinates. \\

559: The integral over the zero modes must be treated separately, by converting it into an integral over the collective coordinates by a Faddeev-Popovish trick, \cite{Gervais:1974dc, Tomboulis:1975gf}. This means that we insert the number $1$,  suitably represented, into the path integral measure \R{pim1}. A suitable representation for $1$ is

560: \equ{

561: 1=\int \prod_\iz \d C^\iz \left| \det \pp{f_\iz}{C^\jz}\right| \prod_\jz \gd \left[f_\jz (C)\right] \label{eq:one1} \km

562: }

563: which holds for any set of (invertible) functions $f_\iz$. We identify the $C$ with the collective coordinates (as in \R{field1}) and we let the labels run over the zero mode set. 

564: An apt choice for the functions $f_\iz$ is 

565: \equ{

566: f_\iz \equiv -\int d^4x \,\gF^M_{qu} \cG_{MN} F_\iz^N =- \sum_\jz \gx_\jz U_{\jz\iz} \pt\nn

567: }

568: Taking the derivative yields

569: \equ{

570: \pp{f_\iz(C)}{C^\kz} =-\int d^4 x \left\{\pp{\gF^M_{qu}}{C^\kz} \cG_{MN}F^N_\iz + \gF^M_{qu} \p{C^\kz}\left(\cG_{MN}F^N_\iz\right)\right\} \nn 

571: }

572: and because $\gF^M$ does not depend on the collective coordinates $C$, see \R{field1}, we can replace $\gF^M_{qu}$ by $-\gF^M_{cl}$ in the first term, which gives

573: \bea

574: \pp{f_\iz(C)}{C^\kz} &=&-\int d^4 x \left\{-F^M_\kz \cG_{MN}F^N_\iz+\gF^M_{qu} \p{C^\kz}\left(\cG_{MN}F^N_\iz\right)\right\} \nn \\

575: &=&U_{\kz\iz}-\int d^4 x \gF^M_{qu} \p{C^\kz}\left(\cG_{MN}F^N_\iz\right) \nn\pt

576: \eea

577: Equation \R{one1} can thus be expressed as

578: \equ{

579: 1=\!\int \!\prod_\iz \d C^\iz \left|\det \left\{ U_{\kz\iz}-\int \! d^4 x \,\gF^M_{qu} \p{C^\kz}\left(\cG_{MN}F^N_\iz\right)\right\}\right| \prod_\jz \gd\left[\sum_\iz \gx_\iz U_{\iz\jz}\right] \nn 

580: }

581: which has to be inserted into \R{pim1}. The delta function over the $\gx_\iz$'s forces them to be zero, because $U_{\iz\jz}$ is invertible and thus has no zero eigenvectors. This means that $\gF^M_{qu}$ in the second term in the determinant only contains the genuine quantum fluctuations which gives this term an extra factor of $\hbar$ (had we kept $\hbar$ in the game) meaning that it contributes at $2$-loop instead of $1$-loop. We will therefore drop this term, see also \cite{Amati:1978wu, Yaffe:1978wx, Morris:1984zi}.\\

582: The total measure\footnote{Note that his measure is invariant under general coordinate transformations on the moduli space.} becomes

583: \equ{

584: \int  [\d\gF^M] e^{-S}=\int \prod_\iz \frac{dC^\iz}{\sqrt{2\gp}} \sqrt{\det U_0} \, e^{-S_{cl}}\left(\det{\!}'\gD\right)^{-\2} \nn \pt

585: }

586: This is the general procedure to obtain the one-loop measure in the presence of instantons, for reviews of instanton calculations in supersymmetric theories, see \cite{Dorey:2002ik, Belitsky:2000ws}.\\

587: 

588: \subsection{The bosonic measure}

589: The general treatment above can be directly applied to the NS $5$-brane instanton solution. Let us start with the bosonic collective coordinates. For the single centered instanton there are $4$ collective coordinates, namely the location of the instanton $x_0^\gm$ in $\mR^4$.  This means that the moduli space is four dimensional and has a $4$-dimensional metric which we shall denote by $(U_0)_{\gm\gn}$. This metric receives contributions from both the scalars and the tensors. In the above treatment we considered a generic bosonic system with fields $\gF^M$. For the instanton solution we must consider the fields $(\gf^A, B_{\gm\gn I})$, so we can identify

590: \equ{

591: \gF^M=\{\gf^A, B_{\gm\gn I}\} \qquad \textrm{and}\qquad \cG_{MN}=\left(%

592: \begin{array}{cc}

593:   \cG_{AB}(\gf_{cl}) & 0 \\[1mm]

594:   0 & M^{IJ}(\gf_{cl}) \\

595: \end{array}%

596: \right)

597: \nn \pt

598: }

599: The Hermitian operator reads

600: \equ{

601: \gD^M_{\,\,N}=\left(%

602: \begin{array}{cc}

603:   -\gd^A_{\,\,B}\p{}^2 + \ldots & \ldots \\[1mm]

604:   \ldots & -\gd_I^{\,\,J} \p{}^2+\ldots\\

605: \end{array}%

606: \right)

607: \km

608: }

609: the ellipses stand for operators at most linear in derivatives. In the scalar sector we have a block diagonal metric $\cG_{AB}$, see \R{GAB1}, hence we can compute the contributions coming from $\gf$ and $\gc$ separately. For the case of the dilaton zero mode, i.e. $ \pp{\gf}{x_0^\gm}$,  we have to compute

610: \equ{

611: U^{(\gf)}_{\gm\gn}=\int \!d^4 x \pp{\gf}{x_0^\gm}\pp{\gf}{x_0^\gn} =\int \!d^4 x \frac{x_\gm x_\gn}{r^2} e^{-2\gf}\left(\p{r}e^{-\gf}\right)^2 =\4 \gd_{\gm\gn} \int \!d^4 x e^{2\gf} \left(\p{r}e^{-\gf}\right)^2 \label{eq:gf1} 

612: }

613: where we used $\pp{\gf}{x_0^\gm}=e^\gf\p{\gm}e^{-\gf}$ and the spherical symmetry of the single-centered instanton. To compute the last expression in \R{gf1} we use the slightly more general integral

614: \equ{

615: I_p\equiv \int d^4 x h^{-p}(\p{r}h)^2 \qquad h\equiv h_\infty + \frac{Q}{4\gp^2 r^2} \nn

616: }

617: for some power $p>1$. Using $\frac{dr}{r^3}=-2\gp^2 \frac{dh}{Q}$ this integral becomes

618: \equ{

619: I_p=\left(\frac{Q}{2\gp^2}\right)^2 \textrm{Vol}(S^3)\int_0^\infty dr r^{-3} h^{-p}=Q \int_{h_\infty}^\infty dh h^{-p} =\frac{Q}{p-1}h_\infty^{1-p} \nn \km

620: }

621: which diverges for $p\leq 1$. Applying this to \R{gf1} yields the result

622: \equ{

623: U^{(\gf)}_{\gm\gn}=\frac{|Q_2|}{4g_s^2} \gd_{\gm\gn} \nn \pt

624: }

625: Similarly, we have for the $\gc$ zero mode, 

626: \equ{

627: \pp{\gc}{x_0^\gm}=g_s^2 \gD\gc e^{2\gf}\p{\gm}e^{-\gf} \nn\km

628: }

629: the metric

630: \equ{

631: U^{(\gc)}_{\gm\gn}=\int d^4 \, x e^{-\gf} \pp{\gc}{x_0^\gm}\pp{\gc}{x_0^\gn}=\frac{|Q_2|}{8} (\gD\gc)^2 \gd_{\gm\gn} \nn \km

632: }

633: remember that $\cG_{\gc\gc}=e^{-\gf}$. \\

634: The tensors are slightly more subtle. Tensors have gauge symmetries which have to be gauge-fixed, we choose the background gauge condition

635: \equ{

636: \pu{\gm}\left(M^{IJ}B^{qu}_{\gm\gn J}\right)=0 \label{eq:bgg1} \pt

637: }

638: The instanton configurations are solutions to the classical, gauge invariant equations of motion and taking derivatives with respect to $x_0^\gm$ do not yield zero modes of the \emph{gauge-fixed} operator $\gD^M_{\,\,N}$ in general. Therefore we consider the following zero modes

639: \equ{

640: Z_{\gm\gn I\gr}\equiv \pp{B_{\gm\gn  I}}{x_0^\gr} - 2\p{[\gm}\gL_{\gn]I\gr} \nn \km

641: }

642: where we added the second part to make sure the $Z$ obey the background gauge condition \R{bgg1}. If we then choose $\gL_{\gn I \gr}=B_{\gn \gr I}$ we obtain 

643: \equ{

644: Z_{\gm\gn I\gr}=-H_{\gm\gn\gr I}=\gve_{\gm\gn\gr\gs}H_I^\gs \nn \km

645: }

646: which manifestly satisfies \R{bgg1} because of the classical tensor field equations, see section \ref{sectionBb1}. The tensorial part of the metric consequently becomes

647: \equ{

648: U^{(B)}_{\gm\gn}=\2 \int d^4 x\, M^{IJ}Z^{\gr\gs}_{\,\,\,I\gm}Z_{\gr\gs J\gn}=\int d^4 x \,M^{IJ}\left(\gd_{\gm\gn}H^\gr_I H_{\gr J} -H_{\gm I}H_{\gn J}\right) \nn \km

649: }

650: spherical symmetry and the Bogomol'nyi equation \R{Bbound1} give

651: \equ{

652: U^{(B)}_{\gm\gn}=\frac{3}{4} \gd_{\gm\gn} \int d^4 x \left(e^\gf \hH_1^\gr \hH_{\gr 1} + e^{2\gf} H_2^\gr H_{\gr 2}\right) =3\left(U^{(\gc)}_{\gm\gn} +U^{(\gf)}_{\gm\gn}\right) \nn \km

653: }

654: where $\hH^\gm_I$ was defined in \R{heisinv1}. 

655: The total bosonic metric becomes

656: \equ{

657: (U_0)_{\gm\gn}=U^{(\gf)}_{\gm\gn}+U^{(\gc)}_{\gm\gn}+U^{(B)}_{\gm\gn}=S_{cl}\gd_{\gm\gn} \nn \km

658: }

659: with $S_{cl}$ given in \R{sc5b1}. This compact result  is similar to the case of Yang-Mills instantons.\\

660: With these results we can finally write down the bosonic part of the single-centered (anti-)instanton measure:

661: \equ{

662: \int \frac{d^4 x_0}{(2\gp)^2} (\det U_0)^{\2} e^{-S^\pm_{\inst}}\left(\det{\!}' \gD\right)^{-\2} =\int \frac{d^4 x_0}{(2\gp)^2} S^2_{cl} e^{-S^\pm_{\inst}} \left(\det{\!}' \gD\right)^{-\2} \label{eq:bos-meas} \pt

663: }

664: 

665: 

666: \subsection{The fermionic measure}

667: In section \ref{brokensusy} we have shown that there are (nonzero)  solutions for some of the hyperinos and none for the gravitinos. This means that the equations of motion (linear in the fermions) are given by (\ref{eq:5br-zeromode-eqn1}, \ref{eq:5br-zeromode-eqn2}) with zeroes on the right hand sides. We can reproduce these equations of motion by starting from the action

668: \equ{

669: S=\int d^4 x \,\I \gl^a\left(\slsh{D}_{3/4}\right)_{a\bb} \bgl^\bb \nn \km

670: }

671: where 

672: \equ{

673: \left(\slsh{D}_{3/4}\right)_{a\bb}\equiv \left(%

674: \begin{array}{cc}

675:   \slsh{D}_{3/4} & 0 \\[2mm]

676:   0 & \slsh{D}_{-3/4} \\

677: \end{array}%

678: \right) \nn 

679: }

680: and $\slsh{D}_{\pm3/4}$ has been defined in \R{Dk}.\\

681: When expanding the fermionic fields as in \R{field1}, the quadratic part of this action (which includes the zero modes) becomes

682: \equ{

683: S_2=\int d^4 x \,\I \gl^a_{qu}\left(\slsh{D}_{3/4}\right)_{a\bb} \bgl_{qu}^\bb \nn \pt

684: }

685: We have to proceed along the same lines as for the bosons. Contrary to $\gD^M_{\,\,N}$ however, $\slsh{D}_k$ is not an Hermitian operator, but it satisfies\footnote{This is different from one's usual twisted Dirac operator, because we twist with an anti-Hermitian connection. As a result, it is not clear how to calculate the index of such an operator.}

686: \equ{

687: \left(\slsh{D}_k\right)^\dagger=\slsh{\bar D}_{-k} \nn \pt

688: }

689: On the other hand, the operators

690: \equ{

691: M_k\equiv \slsh{D}_{\!-k}\,\slsh{\bar

692: D}_k \qquad \quad {\bar M}_k\equiv\slsh{\bar D}_{\!-k}\,\slsh{D}_k \nn 

693: }

694: are Hermitian. Furthermore, the spectrum of nonzero modes of $M_{-3/4}$ and $\bM_{3/4}$ is identical, similarly for $M_{3/4}$ and $\bM_{-3/4}$. This can be seen as follows, let $F^1_i$ and $F^2_i$ denote a basis of eigenfunctions of $M_{-3/4}$ and $M_{3/4}$ respectively. $\bF^1_i$ and $\bF^2_i$ denote a basis of eigenfunctions of $\bM_{3/4}$ and $\bM_{-3/4}$. \\

695: The eigenfunctions of $M_{-3/4}$ and ${\bar M}_{3/4}$

696: are then related, with the same eigenvalue $\gve_i^1=\bar\gve_i^1\neq 0$,

697: by 

698: \equ{

699: {\bar F}^1_i=(\gve_i^1)^{-1/2}\slsh{\bar D}_{\!-3/4}F^1_i \qquad F^1_i=(\gve_i^1)^{-1/2}\slsh{D}_{3/4}{\bar F}^1_i \nn \pt

700: }

701: Similarly, the spectrum of nonzero modes of $M_{3/4}$ and ${\bar

702: M}_{-3/4}$ is identical and the relation between the eigenfunctions is

703: given by 

704: \equ{

705: {\bar F}^2_i=(\gve_i^2)^{-1/2}\slsh{\bar D}_{3/4}F^2_i \qquad F^2_i=(\gve_i^2)^{-1/2}\slsh{D}_{\!-3/4}{\bar F}^2_i \nn \pt

706: }

707: Here we assumed  for simplicity that the eigenvalues are positive. Bearing in mind that both $M_{3/4}$

708: and ${\bar M}_{3/4}$ have zero modes, together with the fact that the

709: fermion zero modes are in $\gl^2$ and $\bgl^1$, we can expand the

710: fermions in a basis of eigenfunctions (suppressing spinor indices),

711:  \begin{equation}

712:   \gl^a_\mathrm{qu} = \sum_i\, \xi^a_i F_i^a\ ,\qquad

713:   \bgl^\ba_\mathrm{qu} = \sum_i\, \bar{\xi}_i^a \bar{F}^\ba_i\ ,

714:  \end{equation}

715: with $\xi_i^a$ and $\bar{\xi}^a_i$ anticommuting (there is no sum over

716: $a$). Substituting this into the action and using the relation between the

717: different eigenfunctions as discussed above we get

718:  \begin{equation}

719:   S_2 = \I \sum_{a,i,j} \xi^a_i\, U_{ij}^{aa}\, (\gve_j^a)^{1/2}\,

720:   \bar{\xi}^a_j\ ,\qquad U_{ij}^{ab} \equiv \int\! \d^4x\ F_i^aF_j^b\ .

721:  \end{equation}

722: We then define the fermionic part of the path-integral measure as

723: (up to a sign from the ordering of the differentials)

724:  \begin{equation}

725:   [\d\gl]\, [\d\bgl] \equiv \prod_a \prod_i\, \d\xi_i^a\, \d

726:   \bar{\xi}_i^a\, (\det U^{aa})^{-1}\ ,

727:  \end{equation}

728: such that the fermion integral gives the Pfaffians of $\slsh{\bar

729: D}_{3/4}$ and $\slsh{D}_{3/4}$ in the nonzero mode sector. In the zero

730: mode sector, we are left over with an integral over the four GCCs (Grassmann collective coordinates). These 

731: are combined into two spinors, multiplied by the inverses\footnote{Note that to ensure invariance under reparametrizations of the GCCs we have to use the inverse determinant on the moduli space of GCCs, instead of the square root, as in the case of bosonic collective coordinates \R{pim1}.} of the norms

732: of the zero modes. The zero mode eigenfunctions have the form

733: $Z^2_{\alpha\beta'}=\p{}^{(1)}\!\gl^2_\alpha/\partial\bgx^{\beta'}$ given in

734: \R{kst1}, so that we find for their inner product

735:  \begin{align}

736:   U^{22}_{\alpha'\beta'} & = \int\! \d^4x\, {Z^{2\ga}}_{\alpha'}\,

737:     Z^2_{\ga\beta'} = -4 \int\! \d^4x\, e^{-\phi/2} \partial_\mu \phi\,

738:     \partial_\nu \phi\, (\gve\,\bgs^\mu \gs^\nu)_{\alpha'\beta'} \notag \\[1mm]

739:   & = 4\, \gve_{\alpha'\beta'} \int\! \d^4x\, e^{3\phi/2} (\partial_r

740:     e^{-\phi})^2 = \frac{8\, |Q_2|}{g_s}\, \gve_{\alpha'\beta'}\ .

741:  \end{align}

742: 

743: 

744: 

745: The fermionic measure on the moduli space of collective coordinates

746: then is

747:  \begin{equation} \label{eq:ferm-meas}

748:   \int\! \d^2\xi\, \d^2\bar{\xi}\ \Big(\frac{g_s}{8\,|Q_2|}\Big)^2\

749:   \big( \det{\!}' M_{3/4}\ \det{\!}' \bar{M}_{3/4} \big)^{1/2} \pt 

750:  \end{equation}

751: The convention is that $\d^2\xi\equiv\d\xi_1\,\d\xi_2$. \\

752: The complete measure is then given by combining \R{ferm-meas} with

753: \R{bos-meas} (which contains the determinant due to the fluctuations in the hypermultiplet) this gives 

754: \begin{equation} \label{eq:meas}

755:   \int \frac{d^4x_0}{(2\pi)^2}\ \int\! \d^2\gx\, \d^2\bgx\ \Big(

756:   \frac{g_s\, S_\cl}{8\,|Q_2|} \Big)^2\, K_\text{1-loop}^\pm\,

757:   e^{-S^\pm_\inst} \pt

758:  \end{equation}

759:  

760: Although the classical values in the instanton background of the gravitational and vector multiplets are trivial (flat metric and vanishing vector multiplets) their quantum effects cannot be ignored. This is a complicated calculation which is beyond the scope of our computations. Moreover, these loop effects would have to be computed in the full ten-dimensional string theory. We will be pragmatic and denote with $K_\text{1-loop}^\pm$ the

761: ratio of all fermionic and bosonic determinants in the

762: one-(anti-)instanton background. 

763: 

764: 

765: 

766: \section{Correlation functions}

767: \label{sect_correl}

768: In this section instanton effects to the effective action will be computed by calculating correlators that receive instanton corrections. The (single-centered anti-)instanton measure \R{meas} is used to compute the instanton contributions to the correlators. We again notice that it contains an integral over the four GCCs. Hence a generic correlation function $\langle A \rangle$ will only be nonzero if the `$A$' is able to saturate the fermionic measure. Clearly there will be at least a nonzero four-point fermion correlation function, which will correct the four point vertex. Diagrammatically, such a four-point vertex   consists of four fermion zero modes connected to an instanton at position $x_0$ which is integrated over. If one computes this diagram, one can read off the four-index tensor that determines the four-fermi terms in the effective action, i.e., one can see how $V_{ab\ba\bb}$ would get corrected, see \R{sa1}.\\

769: This would be difficult to do in practice due to the fact that we are working in the $1.5$ order formalism as explained in section \ref{sec1}. Additional four-fermi terms are hidden in the spacetime curvature scalar $R(\go)$ as a function of the spin connection. Moreover, the four-fermi correlator would merely give information about the target-space curvature-like terms rather than the fundamental objects $M^{IJ}$, $\cG_{AB}$ and $A^I_A$. The latter are much more interesting because they determine the metric of the hypermultiplet, see \R{dual-metric}.\\

770: We can  obtain instanton corrections to these fundamental quantities by studying the GCC dependence of the scalars and tensors. For instance, the correlator \equ{

771: \langle \gf^A(x) \gf^B(y)\rangle \nn

772: }

773: will give one-loop corrections  to $\cG_{AB}$ in the presence of an instanton. But what to insert for $\gf^A(x)$?\\

774: Obviously this $\gf^A(x)$ must be something with two GCCs. We must again use the broken supersymmetries which generate fluctuations that  are related by supersymmetry to the purely bosonic instantons and are genuine zero modes which leave the action unchanged as we saw in section \ref{brokensusy}. We observed that applying them once (at linear order) generated the fermionic zero modes, see \R{brfermions1} and  \R{brsp1}. To these solutions for the hyperinos correspond bosonic superpartners. These are obtained by acting twice with the broken supersymmetries on the scalars. Put differently, substitute the values for the hyperinos and the broken supersymmetry parameters (\R{brfermions1} and  \R{brsp1}) into \R{sctr1}. This induces a quadratic GCC dependence in the scalars, i.e., the scalar superpartner contains two GCCs. Similarly, by using \R{de_B_loc} the tensor superpartners can be constructed.

775: The relevant correlators to study will thus be $2$-point functions of scalars and tensors. \\

776: 

777: At second order in the GCCs the scalars are given by (see \R{sctr1})

778: \begin{equation}

779:   {}^{(2)}\!\phi^A = \frac{1}{2}\, \gd_\ge^2 \phi^A|_\cl = \frac{1}{\sqrt{2\,}}

780:   \big( \gg^A_{ia}(\phi_\cl)\, \ge^i\, {}^{(1)}\!\gl^a + \bar{\gg}^i

781:   {}^A_\ba(\phi_\cl)\, \bge_i\, {}^{(1)}\!\bgl^\ba \big) \km \nn

782:  \end{equation}

783: where we write $\frac{1}{2}\, \gd_\ge^2 \phi^A|_\cl$ because one has to exponentiate the infinitesimal (broken) supersymmetry transformations\footnote{Remember that we have rescaled the supersymmetry parameters by a factor of $\sqrt{2}$.}. \\

784: In section \ref{brokensusy} we have seen that $^{(1)}\gl^\pm=^{(1)}\bgl^\mp=0$ and for the broken supersymmetry parameters $\ge^\pm=\bge_\mp=0$. This means that only terms proportional to $\gg_{\mp\mp}^A$ and $\bgg^{\pm A}_{\,\,\pm}$ contribute, they are both zero for the dilaton. Only $\gc$ gets corrected (at this order)

785:  \begin{equation}\label{eq:2chi} 

786:   {}^{(2)}\!\chi = 2\I\, \partial_\mu \phi\, \gx \gs^\mu \bgx\ ,\qquad

787:   {}^{(2)}\!\phi = 0 \pt

788:  \end{equation}

789: Due to our conventions for the fermionic zero modes chosen in

790: \R{brfermions1}, this expression for $\chi$ is the same in the instanton and anti-instanton background.

791: Analogously, the second order corrections of the tensors follow from \R{de_B_loc}. The instanton and anti-instanton cases yield, up to a sign, the same answer,

792:  \begin{equation} \label{eq:2B1}

793:   {}^{(2)}\!B_{\mu\nu 1} = \mp 2\I\, \gve_{\mu\nu\rho\gs}\, \partial^\rho

794:   e^{-\phi}\, \xi \gs^\gs \bgx\ ,\qquad {}^{(2)}\!B_{\mu\nu 2} = 0 \km

795:  \end{equation}

796: notice again that only the R-R sector is turned on.

797: One can easily check that the Bogomol'nyi  equation \R{Bbound1} still holds at this order in the GCCs:

798: \begin{equation}

799:   {}^{(2)}\!H_{\mu1} = \pm \partial_\mu \big( e^{-\phi}\, {}^{(2)}\!\chi

800:   \big) \km

801:  \end{equation}

802: the second equation in \R{Bbound1} is trivially satisfied.

803: It may surprise  those familiar with instanton calculus,

804: that the equations of motion are satisfied without any fermion-bilinear

805: source term. One would expect such a source term to be present, since

806: \R{2chi} and \R{2B1} are obtained by acting with those broken

807: supersymmetries that also generate the fermionic zero modes. This is

808: typically what happens with the Yukawa terms in $N=2$ or $N=4$ SYM

809: theory in flat space; in that theory the adjoint scalar field is found by

810: solving the inhomogeneous Laplace equation with a fermion-bilinear

811: source term. The fermionic zero modes in the presence of a YM instanton

812: then determine the profile and GCC dependence of the adjoint scalar

813: field. Some references where this is discussed in more detail are given

814: in \cite{Dorey:1996hu, Dorey:2002ik, Dorey:1999pd}.

815: 

816: In the case at hand, the fermion bilinear source term actually vanishes

817: when the zero modes are plugged in. To see this, let us  consider

818: the tensors, for which the full equations of motion read

819:  \begin{align}

820:   e^{-1}\, \frac{\gd S}{\gd B_{\mu\nu I}} = \gve^{\mu\nu\rho\gs} \partial_\rho

821:     \big[ & M^{IJ} \cH_{\gs J} - \I A_A^I \partial_\gs \phi^A +

822:     \frac{\I}{\sqrt{2\,}} M^{IJ} (g_{Jia} \psi_\gs^i \gl^a + \text{c.c.})

823:     \notag \\*

824:   & + \I M^{IJ} k_{Ja\ba}\, \gl^a \gs_\gs \bgl^\ba\, \big]\ .

825:  \end{align}

826: The fermionic zero modes we have found above do not enter these

827: equations directly, because ${}^{(1)}\psi_\mu^i={}^{(1)}\bgps_{\mu

828: i}=0$, and the two matrices $M^{IJ} k_{Ja\ba}$ are diagonal (actually

829: zero for $I=1$) but for $a=\ba$ either ${}^{(1)}\!\gl^a$ or ${}^{(1)}

830: \!\bgl^\ba$ vanishes. Hence, up to second order in the GCC, only the

831: bosonic fields contribute. This is consistent with the fact that the

832: BPS condition still holds at this order. A similar analysis can be

833: done for the equations of motion for the scalars.

834: 

835: \subsection{$2$-point functions}

836: We have seen above that the objects of prime interest are bilinears in the R-R fields $^{(2)}\gc$ and $^{(2)}H_1^\gm$.  In this section we will compute correlators of these R-R combinations. In the next section we will compute combinations of one R-R field with the zero modes $^{(1)}\gl^\mp$ and $^{(1)}\bgl^\pm$.\\

837: The total measure for the single-centered (anti-) instanton has been found in the previous section, see \R{meas}. Using this measure, one computes a correlator by integrating the fields over the collective coordinates. However, computing the correlator of two $\chi$'s for instance (as given in \R{2chi}) is not straightforward due to the integration over $x_0$. For simplicity we therefore take 

838: a large distance limit. We then express the fields (for convenience)  in terms of propagators, which will enable us to read off the effective vertices from the correlation functions by stripping off the external legs. For the bosons we find

839: \begin{align}

840:  & {}^{(2)}\!\chi(x)   = - 2\I\, |Q_2|\, g_s^{-2}\, \xi \gs^\mu \bgx\,

841:     \partial_\mu G(x,x_0)\, \big( 1 + \dots \big) \notag \\[1.4mm]

842:  & {}^{(2)}\!H^\mu_1(x)   = \mp 2\I\, |Q_2|\, \xi \gs^\nu \bgx\, \big(

843:     \partial^\mu \partial_\nu - \gd^\mu_\nu \partial^2 \big) G(x,x_0)\km \label{eq:exact1}

844:  \end{align}

845: where $G(x,x_0)=1/4\pi^2(x-x_0)^2$ is the massless scalar propagator.

846: 

847: In the first equation in \R{exact1} we only keep the

848: leading term in the large distance expansion valid when $(x-x_0)^2\mg

849: |Q_2|/4\pi^2 g_s^2$. In this limit the dilaton is effectively given by

850: $e^{-\phi}\approx e^{-\phi_\infty}=g_s^2$ and similarly $\chi\approx

851: \chi_\infty$.  

852: So the fields are replaced by their asymptotic values

853: and these will be used to describe the asymptotic geometry of the moduli

854: space in a next section. 

855: The second equation in \R{exact1} is exact: for correlators involving ${}^{(2)}\!H^\mu_1$ it is not necessary to make a large distance approximation.

856: For correlators involving the fermions it is also necessary to make a large distance approximation. In this approximation the fermion zero modes are given by

857: \begin{align} \label{eq:ferm_prop}

858:   {}^{(1)}\gl^\mp_\alpha(x) & = - 2\, |Q_2|\, g_s^{-3/2} S_{\alpha

859:     \beta'} (x,x_0)\, \bgx^{\beta'} \big( 1 + \dots \big) \notag

860:     \\[1.4mm]

861:   {}^{(1)} \bgl^\pm_{\beta'}(x) & = \pm 2\, |Q_2|\, g_s^{-3/2}\,

862:     \xi^\alpha S_{\alpha\beta'}(x,x_0)\, \big( 1 + \dots \big) \km

863:  \end{align}

864: where the ellipses again indicate terms of higher order in the large distance expansion and $S(x,x_0)=-\I{\p\!\!\!/}\,G(x,x_0)$ is the $\gl\bgl$ propagator.\\

865: Let us begin with the purely bosonic correlators. With the GCC measure

866: $\d\mu_\xi\equiv\d^2\xi\,\d^2\bgx$ $\big(g_s/8|Q_2|\big)^2$ from

867: \R{ferm-meas} and the Fierz identity $\xi\gs_\mu\bgx\,\xi\gs_\nu\bgx

868: =-\2\gd_{\mu\nu}\,\xi\xi\,\bgx\bgx$, we find in the large distance

869: limit

870:  \begin{equation}

871:   \int\! \d\mu_\xi\, {}^{(2)}\chi(x)\, {}^{(2)}\chi(y) = \frac{1}{8

872:   g_s^2}\, \partial_0^\mu\, G(x,x_0)\, \partial^0_\mu\, G(y,x_0)\km \nn

873:  \end{equation}

874: where we have replaced $\p{\gm}$ with $-\partial^0_\mu\equiv -\p{}/\partial x^\mu_0$, denoting the derivative with respect

875: to the bosonic collective coordinates. Using ${}^{(2)}\phi=0$, we then

876: obtain for the leading semiclassical contribution to the correlation

877: function of two scalars in the one-(anti-)instanton background

878:  \begin{align}

879:   \langle \phi^A(x)\, \phi^B(y) \rangle_{\textrm{{\scriptsize inst}}} & = g_s^{-2}\, \gd^A_\chi

880:     \gd^B_\chi\! \int\! d^4x_0\ Y_\pm\, \partial_0^\mu\, G(x,x_0)\,

881:     \partial^0_\mu\, G(y,x_0) \notag \\[1mm]

882:   & = g_s^{-2}\, Y_\pm\, \gd^A_\chi \gd^B_\chi\, G(x,y)\pt

883:     \label{eq:cor_chi-chi}

884:  \end{align}

885: Here we denote (remember that the difference between $S_\cl$ and

886: $S^\pm_\inst$ is given by the surface terms (\ref{eq:boun5}, \ref{eq:boun2}))

887:  \begin{equation} \label{eq:Y-inst}

888:   Y_\pm \equiv \frac{1}{32\pi^2}\, S_\cl^2\, e^{-S^\pm_\inst}

889:   K_\text{1-loop}^\pm\ ,

890:  \end{equation}

891: which is small for small string coupling constant $g_s$. Since

892: translation invariance implies that neither $S_\cl$ nor

893: $K_\text{1-loop}^\pm$ depends on the collective coordinates $x_0$, we

894: were allowed to integrate by parts and use $\partial_0^2\,G(x,x_0)=-\gd(x-

895: x_0)$. There is no boundary term because the domain of integration

896: covers all of $\mR^4$ with no points excised (the instanton can be located at any point) and the integrand vanishes at

897: infinity.

898: 

899: 

900: The result \R{cor_chi-chi} is to be compared with the

901: propagator derived from an effective action with instanton and

902: anti-instanton corrected metric $\cG_{AB}^\eff=\cG_{AB}+\cG_{AB}^\inst$,

903: with $\cG_{AB}$ as in \R{DTM_metrics}. Similarly we write for the

904: inverse $\cG^{AB}_\eff=\cG^{AB}+\cG^{AB}_\inst$, with $\cG_{AC}\cG^{CB}

905: =\delta_A^B$. At leading order in $Y_\pm$, we find 

906:  \begin{equation} \label{eq:inv-cG_eff}

907:   \cG^{AB}_\inst = \lp 0 & 0 \\[2mm] 0 & g_s^{-2} (Y_+ + Y_-) \rp\pt

908:  \end{equation}

909: Note that since $Y_-=(Y_+)^\star$, instanton and anti-instanton

910: contributions combine into a real correction\footnote{We are assuming

911: here that $K_-=(K_+)^\star$. Presumably, the one-loop determinants $K_\pm$

912: only differ by a phase coming from the fermionic determinants. If this

913: phase can be absorbed in the corresponding surface terms

914: \R{boun2}, the instanton and anti-instanton determinants are

915: real and equal. \label{ftnote10}}. This result receives of course

916: corrections from perturbation theory and from terms that become

917: important beyond the large distance approximation in which $e^{-\phi}

918: \approx g_s^2$. Such terms play a role when inverting the result of

919: \R{inv-cG_eff} to obtain the effective metric $\cG_{AB}^\eff$. They

920: correspond to higher order powers in $Y_\pm$ and interfere with

921: multi-centered (anti-)instanton effects. Dropping all these subleading

922: terms we find

923:  \begin{equation} \label{eq:cG_eff}

924:   \cG_{AB}^\eff =  \lp 1 & 0 \\[2mm] 0 & e^{-\phi} - g_s^2 (Y_+ + Y_-)

925:   \rp  

926:   \km

927:  \end{equation}

928: for more details see appendix \ref{propcor}. \\

929: 

930: Having computed the correlator of two R-R scalars in the (anti-)instanton background, we now turn to the correlator of two R-R tensors using \R{exact1}. This will give instanton corrections to the tensor metric $M^{IJ}$. The integration over the GCCs gives 

931:  \begin{equation}

932:   \int\! \d\mu_\xi\, {}^{(2)}H_{\mu1}(x)\, {}^{(2)}H_{\nu1}(y) =

933:   \frac{g_s^2}{8}\, G_{\mu\rho}(x,x_0)\, G^\rho_{\,\nu}(y,x_0)\ ,

934:  \end{equation}

935: where $G_{\mu\nu}(x,x_0)=\big(\partial_\mu\partial_\nu-\gd_{\mu\nu}\partial^2\big)G(x,

936: x_0)$ is the gauge-invariant propagator of the dual tensor field strengths. We then have to integrate over $x_0$, use ${}^{(2)}H_{\mu2}=0$ and the convolution property\footnote{This convolution is defined as \equ{G_{\gm\gr} \star G^\gr_{\,\gn}=\int d^4z\, G_{\gm\gr}(x,z) G^\gr_{\,\gn}(y,z)=G_{\gm\gn}(x,y) \nn\pt}}  $G_{\mu\rho}\star

937: G_{\,\nu}^\rho=G_{\mu\nu}$, it follows that

938:  \begin{equation}

939:   \langle H_{\mu I}(x)\, H_{\nu J}(y) \rangle_{\textrm{{\scriptsize inst}}} = g_s^2\, Y_\pm\,

940:   \gd_I^1\, \gd_J^1\, G_{\mu\nu}(x,y) \pt \label{eq:MIJ1}

941:  \end{equation}

942: {}From the right-hand side we read off the (anti-) instanton correction

943: to the inverse metric $M_{IJ}$, which multiplies the tensor propagators.

944: We find for the sum

945:  \begin{equation} \label{eq:M_eff}

946:   M_{IJ}^\inst = g_s^2\, (Y_+ + Y_-)\, \gd_I^1\, \gd_J^1\ ,

947:  \end{equation}

948: In the large distance approximation (for which $\chi\approx

949: \chi_\infty$) we then obtain

950:  \begin{equation}

951:   M^{IJ}_\eff = M^{IJ}- g_s^{-2}\, (Y_+ + Y_-) \lp 1 & -\chi_\infty

952:   \\[2mm] -\chi_\infty & \chi^2_\infty \rp\km \label{eq:tisc1}

953:  \end{equation}

954: with $M^{IJ}$ as in \R{DTM_metrics}. This seems to suggest that both

955: R-R and NS-NS sectors get corrections in front of the tensor kinetic

956: terms. However, when expressed in terms of $\hat{H}_1=H_1-\chi H_2$,

957: the tensor kinetic terms in the effective action simplify to

958:  \begin{equation}

959:   e^{-1} \cL_\eff = \frac{1}{2}\, \big( e^\phi - g_s^{-2} 

960:   (Y_+ + Y_-) \big)\, \hat{H}^\mu_1 \hat{H}_{\mu1} + \frac{1}{2}\,

961:   e^{2\phi} H^\mu_2 H_{\mu2} + \dots\ ,

962:  \end{equation}

963: In this basis, which is the one to distinguish between fivebrane and

964: membrane instantons (see the discussion in section \ref{mem1}),

965: the NS-NS sector does not receive any instanton corrections.\\

966: 

967: There is also the combination of the tensor and scalar (see \R{exact1}) we can consider. 

968: The GCC integration over this mixed bosonic combination yields

969:  \begin{equation}

970:   \int\! \d\mu_\xi\, {}^{(2)}H_{\mu1}(x)\, {}^{(2)}\chi(y) = \mp

971:   \frac{1}{8}\, G_{\mu\nu}(x,x_0)\, \partial_0^\nu\, G(y,x_0) \km

972:  \end{equation}

973: which vanishes when integrated over $x_0$ thanks to the Bianchi

974: identity $\partial^\mu G_{\mu\nu}=0$. We conclude that

975:  \begin{equation}

976:   \langle H_{\mu I}(x)\, \phi^A(y) \rangle = 0\ .

977:  \end{equation}

978: This was to be expected, since for constant coefficients $A_A^I$ the

979: vertex 

980: \equ{

981: -\I A_A^I H^\mu_I\partial_\mu\phi^A \nn

982: }

983: is a total derivative and therefore does not contribute to the propagator. However, we will argue later 

984: that instantons \emph{must} induce such a vertex with field-dependent

985: coefficients. To determine this vertex explicitly we would have to

986: go beyond the leading and large distance expansion, see appendix \ref{inst-vielb}.

987: 

988: The calculation of the bosonic 2-point functions is sufficient to

989: determine the instanton-corrected moduli space metric, which we present

990: in the next section. The full geometry, or the full effective action, does not follow from the metric alone, but also from various

991: connections that appear e.g.\ in the supersymmetry transformation rules.

992:  As we now show, these connections can

993: be read off from the three-point functions.

994: 

995: \subsection{3-point functions} 

996: First we compute $\Gamma^{Ia}{}_b$ in the instanton background. It appears in the effective action \R{sa1}

997: through the relation \R{k-Gamma} and measures the strength of the

998: coupling between the tensors and the fermions. We therefore compute

999:  \bea

1000:   &&\langle \gl_\alpha^a(x)\, \bgl_{\beta'}^\bb(y)\, H_{\mu I}(z) \rangle \nn \\[2mm]

1001:   &&\,\,= -\I \frac{|Q_2|}{g_s}\, Y_\pm \gd^a_\mp\, \gd^\bb_\pm\, \gd_I^1\!

1002:   \int\! \d^4x_0\, \big[ S(x,x_0) \bgs^\nu S(y,x_0) \big]_{\alpha

1003:   \beta'}\, G_{\mu\nu}(z,x_0)\pt \nn 

1004:  \eea

1005: These two correlators induce an effective vertex $-h_{a\ba}

1006: (\Gamma^I_\inst)^a{}_b\,\gl^b\gs^\mu\bgl^\ba H_{\mu I}$ with

1007: coefficients

1008:  \begin{equation} \label{eq:Gamma_inst}

1009:   (\Gamma_\inst^I)^a{}_b = -\I \frac{|Q_2|}{g_s}\, M^{I1}_\infty\,

1010:   (Y_+\, \gd^a_2 h_{b1} + Y_-\, \gd^a_1 h_{b2}) = -\I \frac{|Q_2|}

1011:   {g_s}\, M^{I1}_\infty \lp 0 & Y_- \\[2mm] Y_+ & 0 \rp\ .

1012:  \end{equation}

1013: Here we have used that $h_{a\bb}$ is not corrected at leading

1014: order\footnote{The 2-point function of two fermion insertions vanishes

1015: in the semiclassical limit.}. We also used the notation that $M^{I

1016: J}_\infty$ stands for $M^{IJ}$ with the fields replaced by their

1017: asymptotic values at infinity.

1018: 

1019: The last two correlators contribute to the connection $\G{A}{a}{b}$,

1020: which appears in the covariant derivative on the fermions

1021: \R{covderlam}. This connection was zero on tree-level, see

1022: \R{DTM-connections}, but it receives instanton corrections as

1023: follows from

1024: \bea

1025: &&\langle \gl_\alpha^a(x)\, \bgl_{\beta'}^\bb(y)\, \phi^A(z) \rangle \nn \\[2mm]

1026:   &&\,\,= \mp \I \frac{|Q_2|}{g_s^3}\, Y_\pm \gd^a_\mp\, \gd^\bb_\pm\,

1027:   \gd^A_\chi\! \int\! \d^4x_0\, \big[ S(x,x_0) \bgs^\mu S(y,x_0)

1028:   \big]_{\alpha\beta'}\, \partial_\mu\, G(z,x_0) \pt \nn

1029: \eea

1030: This corresponds to an effective vertex $-\I h_{a\ba}(\Gamma^\inst_{\!A}

1031: )^a{}_b\,\gl^b\gs^\mu\bgl^\ba\,\partial_\mu\phi^A$ with

1032:  \begin{equation}

1033:   (\Gamma^\inst_{\!A})^a{}_b = \frac{|Q_2|}{g_s^3}\, \cG_{A

1034:   \chi}^\infty \lp 0 & -Y_- \\[2mm] Y_+ & 0 \rp \pt\nn

1035:  \end{equation}

1036: 

1037: The above connections induce instanton corrections to the curvature

1038: tensors that appear in the four-fermi couplings of the effective action

1039: \R{sa1}. Indeed, the fact that these curvatures receive instanton

1040: corrections also follows from the computation of 4-point functions of

1041: fermionic insertions. These results should be consistent  with

1042: the instanton corrections to the curvatures as determined by the connections. For reasons explained in

1043: the beginning of this section, checking this consistency may be a

1044: complicated task.

1045: 

1046: Note however, that there is another four-fermi term in

1047: \R{sa1} proportional to the product of two antisymmetric

1048: tensors $\cE_{ab}$. It is easy to see that this tensor cannot receive

1049: instanton corrections since it multiplies only $\gl^a$ in the action,

1050: not $\bgl^\ba$. Due to the even distribution of fermionic zero modes

1051: among $\gl^a$ and $\bgl^\ba$ there are thus no non-vanishing correlation

1052: functions that could induce an effective vertex involving $\cE_{ab}$. A

1053: similar argument shows that the connections $\Gamma^{Ii}{}_j$ do not get

1054: corrected: they occur in the action only in combination with gravitinos.

1055:  For example in the vertex $2\Gamma^{Ii}{}_j H^{\mu\nu\rho}_I\psi^j_\mu

1056: \gs_\nu^{}\bgps_{\rho i}$, hidden in the square of the supercovariant

1057: field strengths of the tensors \R{sucoH}, which have no zero modes to

1058: lowest order in the GCC\@. Correlation functions of fields corresponding

1059: to vertices involving $\Gamma^{Ii}{}_j$ then do not saturate the GCC

1060: integrals and vanish. If we were to continue the procedure of sweeping

1061: out solutions by applying successive broken supersymmetry

1062: transformations to the fields, the gravitinos could obtain a GCC

1063: dependence at third order, but then the number of GCCs in the

1064: correlators of interest exceeds the number of degrees of freedom and

1065: they therefore vanish as well. However, due to

1066: \R{gamma-omega1} the coefficients ${\Omega_I}^i{}_j$ do get

1067: corrected:

1068:  \begin{equation}

1069:   (\Omega_I^\eff)^i{}_j = M_{IJ}^\eff\, \Gamma^{Ji}{}_j =

1070:   {\Omega_I}^i{}_j + g_s^2 (Y_+ + Y_-) \gd_I^1\, \Gamma^{1i}_{\infty

1071:   j}\ .

1072:  \end{equation} 

1073: These quantities appear in the supersymmetry transformations of the 

1074: tensors \R{de_B_loc}.

1075: 

1076: 

1077: 

1078: \section{The universal hypermultiplet moduli space} 

1079: \label{sect_modul}

1080: 

1081: In order to determine the instanton corrections to the universal

1082: hypermultiplet, we first Wick-rotate back to Lorentzian signature and then

1083: dualize the tensors $H_I$ into two pseudoscalars $\phi^I=(\varphi,\gs)$,

1084: using the same notation as in section \ref{instsol}, i.e.\ $\varphi$ is a R-R

1085: field and $\gs$ the NS axion. If we combine the latter and $\phi^A=(\phi

1086: ,\chi)$ into a four-component field $\phi^{\hat{A}}=(\phi^A, \phi^I)$,

1087: then in this basis the universal hypermultiplet metric reads, see \R{dual-metric}

1088:  \begin{equation}\label{eq:dual-metric2}

1089:   G_{\!\hat{A}\hat{B}} = \lp \cG_{AB} + A_A^I M_{IJ} A_B^J & A_A^K

1090:   M_{KJ} \\[3mm] M_{IK} A_B^K & M_{IJ} \rp\pt

1091:  \end{equation}

1092: Using \R{cG_eff}, \R{M_eff} and $A_A^I=0$, we find for the

1093: asymptotic effective Lagrangian

1094:  \begin{align}

1095: &  e^{-1} \cL_\mathrm{UH} = - \frac{1}{2}\, (\partial_\mu \phi)^2 - \frac{1}   {2}\, e^{-\phi} (1 - g_s^2 e^\phi Y)\, (\partial_\mu \chi)^2 \nn \\[1mm]

1096:   &- \frac{1}{2}\, e^{-\phi} (1 + g_s^2 e^\phi Y)\, (\partial_\mu \varphi)^2

1097:      - \frac{1}{2}\, e^{-2\phi} (\partial_\mu \gs + \chi \partial_\mu

1098:     \varphi)^2 + \dots\km \label{eq:lag1}

1099:  \end{align}

1100: where the ellipses stands for subleading terms and $Y=Y_++Y_-$ is the

1101: sum of the instanton and anti-instanton contributions, as introduced in

1102: \R{Y-inst}. It can be written as

1103:  \begin{align} \label{eq:total-Y}

1104:   Y & = \frac{1}{32\pi^2}\, S_\cl^2\, e^{-S_\cl} \big( e^{\I{\hat\gs}

1105:     |Q_2|} K_\text{1-loop}^+ + e^{-\I{\hat\gs |Q_2|}} K_\text{1-loop}^-

1106:     \big)\notag \\[1.5mm]

1107:   & = \frac{1}{16\pi^2}\, S_\cl^2\, e^{-S_\cl} K_\text{1-loop}

1108:     \cos(\hat\gs Q_2)\km

1109:  \end{align}

1110: where we introduced $\hat\gs\equiv\gs+\chi_0\varphi$ such that $Y$

1111: is periodic in $\hat\gs$. The second equality in \R{total-Y} holds

1112: only under the reality assumption made in footnote \ref{ftnote10}. 

1113: Furthermore note that only the R-R sector receives corrections from the

1114: NS5-brane instanton.

1115: 

1116: \subsection{The metric and isometries} 

1117: \label{vze}

1118: In this section we present the instanton corrected line element of the quaternionic target space of the UHM. 

1119: First we  write down the general form of the line element, which is given by

1120: (using $A_A^I=0$)

1121:  \begin{equation*}

1122:   d s_\mathrm{UH}^2 = G_{\!\hat{A}\hat{B}}\, d\phi^{\hat{A}} \otimes

1123:   d\phi^{\hat{B}} = \cG_{AB}\, d\phi^A \otimes d\phi^B + M_{IJ}\,

1124:   d\phi^I \otimes d \phi^J\pt \nn

1125:  \end{equation*}

1126: We remind the reader that the classical metric is given by the line

1127: element

1128:  \begin{equation}

1129:   d s_\mathrm{UH}^2 = d\phi^2 + e^{-\phi} d\chi^2 + e^{-\phi}

1130:   d\varphi^2 + e^{-2\phi} (d\sigma + \chi d\varphi)^2 \km \label{eq:hf4t1}

1131:  \end{equation}

1132: and describes the homogeneous quaternionic space $SU(1,2)/

1133: U(2)$, see \R{uhmgeo1}. As discussed in section \ref{instsol}, the isometry group

1134: $SU(1,2)$ can be split into three categories. First, there is a

1135: Heisenberg subgroup of shift isometries,

1136:  \begin{equation} \label{eq:Heis-alg2}

1137:   \phi \rightarrow \phi \ ,\qquad \chi \rightarrow \chi + \gamma\ ,

1138:   \qquad \varphi \rightarrow \varphi + \beta\ ,\qquad \sigma

1139:   \rightarrow \sigma - \alpha - \gamma\, \varphi\km

1140:  \end{equation}

1141: where $\alpha$, $\beta$, $\gamma$ are real (finite) parameters. This

1142: Heisenberg group is preserved in perturbation theory \cite{Strominger:1997eb, Antoniadis:1997eg}. We have

1143: not discussed these perturbative corrections, which only appear at one-loop in the

1144: string frame, here. They are discussed in \cite{Antoniadis:2003sw, Anguelova:2004sj} and should be

1145: added to our final result for the metric.\\

1146: Second, there is a U(1) symmetry \R{u1tr} that acts as a rotation on $\varphi$

1147: and $\chi$, accompanied by a compensating transformation on $\sigma$,

1148: \bea

1149: && \gvf \to \cos(\gd) \,\gvf + \sin(\gd) \,\gc \qquad \gc \to \cos (\gd) \,\gc -\sin (\gd)\, \gvf \km \nn \\ [1.5mm]

1150: && \gs \to \gs -\4 \sin (2 \gd) \left(\gc^2 -\gvf^2\right) + \sin^2 (\gd)\, \gc \gvf \label{eq:delta-isom} \pt

1151: \eea

1152: We now present the instanton corrected moduli space metric. As shown

1153: above, instanton effects are proportional to $Y$, given by

1154: \R{total-Y}, and depend on the instanton charge $Q_2$ and the R-R

1155: background specified by $\chi_0$.  Moreover, also the asymptotic values

1156: of the fields, $g_s$ and $\chi_\infty$, appear. They are treated as

1157: coordinates in the asymptotic regime of the moduli space, i.e., where

1158: $\chi =\chi_\infty$ and $e^{-\phi}=g_s^2$. For fixed values of

1159: $\chi_0$ and $Q_2$, the moduli space metric is given by

1160:  \begin{equation} \label{eq:nonpert-metric}

1161:   d s_\mathrm{UH}^2 = d\phi^2 + e^{-\phi} (1-Y) d{\chi}^2 +

1162:   e^{-\phi} (1+Y) d\varphi^2 + e^{-2\phi} (d\gs + \chi

1163:   d\varphi)^2\km

1164:  \end{equation}

1165: up to subleading terms. This metric therefore satisfies the constraints

1166: from quaternionic geometry only up to leading order\footnote{As we have checked explicitly.}. It remains to be seen to what extent the

1167: quaternionic structure can fix these subleading corrections. The result written in \R{nonpert-metric} depends on $Q_2$

1168: and on the chosen R-R background. To obtain the full moduli space metric,

1169: one must sum over all instanton numbers $Q_2$. It would be very

1170: interesting to do this sum explicitly and to see of which function we

1171: have the asymptotic limit. Unfortunately, for that we need more

1172: knowledge of the one-loop determinants and the subleading corrections, which is not available at present.

1173: 

1174: We can also deduce the leading-order instanton corrections to the

1175: vielbeins and other geometric quantities. These can be computed from the

1176: vielbeins that determine the double-tensor multiplet geometry, which we

1177: give in appendix~\ref{inst-vielb}.\\

1178: 

1179: What happens to the isometries \R{Heis-alg2} and \R{delta-isom}? For the Heisenberg group, this

1180: amounts to investigating which isometries are broken by the quantity

1181: $Y$, as the other terms are invariant. First we focus on the

1182: $\gamma$-shift in $\chi$. For a given, fixed R-R background $\chi_0$, the

1183: $\gamma$-shift is broken completely. This is because $Y$ is proportional

1184: to $S_\cl$, which contains $\Delta\chi=\chi_\infty-\chi_0$, see

1185: \R{sc5b1}. However, this symmetry can be restored if we

1186: simultaneously change the background as $\chi_0\rightarrow\chi_0+

1187: \gamma$. Since $\chi_0$ is subject to a quantization condition (see

1188: section \ref{secns5b1}), this induces a quantization condition on

1189: the possible values for $\gamma$. This means that the $\gamma$-shift is

1190: broken to a discrete subgroup.\\

1191: With this in mind, we find that under the action of a generic element in

1192: the Heisenberg group the metric is invariant only if the following

1193: quantization condition is satisfied:

1194:  \begin{equation} \label{eq:quant-cond}

1195:   \alpha - (\chi_0 + \gamma) \beta = \frac{2\pi n}{|Q_2|}\km

1196:  \end{equation}

1197: with $n$ an integer. As explained before, the $\gamma$-dependence is

1198: not relevant here since we could shift the R-R background again. As for the

1199: other two isometries generated by $\alpha$ and $\beta$, only a linear

1200: combination is preserved. Stated differently, the $\beta$-isometry is

1201: preserved as a continuous isometry if we accompany it by a compensating

1202: $\alpha$-shift, where $\alpha$ is determined from \R{quant-cond}.\\

1203: If we solely perform an $\alpha$-transformation, only a discrete

1204: $\fieldZ_{|Q_2|}$ subgroup survives as a symmetry. In fact, since the

1205: full metric includes a sum over $Q_2$, only shifts with $\alpha=

1206: 2\pi n$ are unbroken. In conclusion, for the Heisenberg group one

1207: isometry remains continuous and two are broken to discrete subgroups.

1208: This is precisely in line with the proposal made in \cite{Anguelova:2004sj}.\\

1209: The remaining isometry we discuss is \R{delta-isom}. Since the last

1210: term in \R{nonpert-metric} is invariant by itself, we should only

1211: look at the R-R sector. Due to the fact that $Y$ is independent of

1212: $\varphi$, but depends on $\chi^2$, this continuous rotation symmetry

1213: is broken. In fact, the terms proportional to $Y$ break this isometry

1214: down to the identity $\delta=0$ and the discrete transformation with

1215: $\delta=\pi$,

1216:  \begin{equation}

1217:   \chi \rightarrow -\chi\ ,\qquad \varphi \rightarrow -\varphi\ ,

1218:   \qquad \gs \rightarrow \gs\pt

1219:  \end{equation}

1220: This conclusion is different from \cite{Becker:1999pb}, where also $\delta=\pi/2$

1221: was claimed to survive as an isometry. 

1222: It is not excluded though, that the full answer may have more symmetries. This full answer should contain (all the) subleading corrections and perhaps membranes.

1223:  At the end of appendix \ref{inst-vielb} we in fact argue

1224: that the connection $A_A^I$ becomes nonzero at subleading order, away

1225: from the asymptotic region. After dualization, this induces new terms

1226: in the metric, as follows from \R{dual-metric2}, so one has to

1227: reanalyze the breaking of isometries. Clearly, this is an interesting

1228: point that deserves further study.\\

1229: Finally note the existence of another discrete isometry which

1230: changes the sign in $\chi$ (or $\varphi$) together with a sign flip

1231: in $\gs$. This is because the (leading) instanton plus anti-instanton

1232: corrections are even in $\chi$ and $\gs$. This discrete isometry is

1233: however not part of (a discrete subgroup of) $SU(1,2)$.

1234: 

1235: 

1236: \section{Short summary and outlook}

1237: Having reached our goal, \R{nonpert-metric}, we need to reflect on its meaning. In the range of approximations we are working in,  using  supergravity and the large distance approximation for the fields (see \R{exact1} and \R{ferm_prop}), this is a solid result. Note that one should actually combine our result with the one-loop correction found in \cite{Antoniadis:2003sw}.  We shall elaborate on this one-loop correction in the next chapter.\\

1238: To make further progress, one should really perform this calculation in string theory, which then includes the worldvolume theory of the $5$-brane, and calculate the one-loop determinants. Another generalization is the case of more hypermultiplets, which corresponds to more general Calabi-Yau manifolds with $h^{(1,2)}\neq 0$. To advance in the UHM case, one should try to take a closer look at the constraints coming from the quaternionic geometry. We saw in section \ref{hypergeo} that the definition of a four (real) dimensional quaternionic manifold is that it is Einstein and has (anti-)selfdual Weyl curvature. It is easy to check that the classical metric, \R{hf4t1} obeys these conditions. If we include the $5$-brane contributions as in \R{nonpert-metric}, these conditions are still obeyed up to leading order in $Y$. In fact, this already imposes some constraints on $Y$. One could try to systematically analyze these conditions and find the corrections to the metric which obey the constraints. This is exactly what we will do in the next chapter where we will construct the possible deformations of the metric allowed by the quaternionic constraints.

1239: 

1240: 

1241:  \clearpage{\pagestyle{empty}\cleardoublepage}

1242: 

1243: 

1244: 

1245: 

1246: 

1247: 

1248: 

1249: 

1250: 

1251: 

1252: 

1253: 

1254: 

1255: 

1256: 

1257: 

1258: 

1259: 

1260: 

1261: 

1262: 

1263: 

1264: 

1265: 

1266: