1: \documentclass{article}
2: \usepackage{amsmath,amssymb}
3: \usepackage[dvips]{graphicx}
4: \usepackage{cite}
5:
6: %------------------------------------------
7: % Definition for style
8: % Don't change these definition
9: %------------------------------------------
10: \topmargin -1.5cm
11: \oddsidemargin 0pt \evensidemargin 0pt
12: \textheight 23cm \textwidth 16.0cm
13: \def\abstract#1{\vskip 7mm
14: \begin{center}{\large Abstract}\par \smallskip
15: \begin{minipage}[c]{12cm}
16: \small #1
17: \end{minipage}
18: \end{center}
19: }
20: \def\title#1{\begin{center}{\Large\bf #1}\end{center}}
21: \def\author#1{\vskip 5mm \begin{center}{#1}\end{center}}
22: \def\address#1{\begin{center}{\it #1}\end{center}}
23: %------------------------------------------
24: % End of definition for style
25: %-------------------------------------------
26: % Define your macro here.
27: %-------------------------------------------
28: \makeatletter
29: % You can use \lesssim ( < ) and \gtrsim ( > ).
30: % ~ ~
31: \@ifundefined{lesssim}{\def\lesssim{\mathrel{\mathpalette\vereq<}}}{}
32: \@ifundefined{gtrsim}{\def\gtrsim{\mathrel{\mathpalette\vereq>}}}{}
33: \def\vereq#1#2{\lower3pt\vbox{\baselineskip1.5pt \lineskip1.5pt
34: \ialign{$\m@th#1\hfill##\hfil$\crcr#2\crcr\sim\crcr}}}
35: \makeatother
36:
37: %--------------------------------------------
38:
39:
40: %%%%%%%%% macros defined by the author %%%%%%%%%%%%%%%%
41: %
42: \newcommand{\dd}{D6-D2$^*$}
43: \newcommand{\ddp}{D4-D0$^*$}
44: \newcommand{\Rb}{\mathbb{R}}
45: \newcommand{\Enh}{Enhan\c{c}on}
46: \newcommand{\enh}{enhan\c{c}on}
47: \newcommand{\oo}{$\bigcirc$}
48: \newcommand{\xx}{$\times$}
49: \newcommand{\ls}{\ell_s}
50: \newcommand{\del}{\partial}
51: \newcommand{\vev}[1]{\langle #1 \rangle}
52: \newcommand{\nn}{\nonumber}
53: %
54: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
55:
56: \begin{document}
57: %%%%% KUCP-0194
58: %
59: %%%%%%%%%%%% title and author %%%%%%%%%%%%%%%%%%%%%
60: \begin{flushright}
61: KUCP-0194\\
62: {\tt gr-qc/0108084}
63: \end{flushright}
64:
65: \title{%
66: {\Enh} and Resolution of Singularity
67: }
68: \author{%
69: Satoshi Yamaguchi\footnote{E-mail:yamaguch@phys.h.kyoto-u.ac.jp}
70: }
71: \address{%
72: Graduate School of Human and Environmental Studies, \\
73: Kyoto University, Kyoto, 606--8501, Japan
74: }
75:
76: %%%%%%%%%%%% abstract
77: \abstract{ We review the {\enh} mechanism proposed by Johnson, Peet and
78: Polchinski. If we consider the D6-brane wrapped on K3, then there
79: appears a naked singularity called ``repulson'' in the supergravity
80: solution. But this singularity is resolved by a shell structure called
81: ``{\enh}''. In the interior of the {\enh}, the abelian gauge symmetry is
82: enhanced to a nonabelian one, and ordinary supergravity is no more
83: reliable. We also review the interpretation of {\enh} as fuzzy sphere.
84: This paper is the contribution to the proceedings of ``Frontier of
85: Cosmology and Gravitation", April 25-27 2001, YITP. }
86:
87: \section{Introduction}
88:
89: The string theory includes the graviton in its massless spectrum, and
90: each order of the loop expansion is finite. Therefore, the string theory
91: is thought as the ``quantum theory of the gravity'' (For a review of the
92: string theory, see \cite{Joe}). However, the formulation of the string
93: theory depends on background, and we can only formulate it as a
94: fluctuation from the background.
95:
96: Let us consider what happens when the background has some geometrical
97: singularity. If one can formulate the string theory consistently on the
98: geometrically singular background, let us call it ``resolution of
99: singularity in the string theory''. For a review of singularities in the
100: string theory, see \cite{Natsuume}.
101:
102: Orbifolds are the most famous examples of resolution of singularity in
103: string theory. The string theory on an orbifold can be formulated
104: consistently by including the twisted sectors. The twisted sectors
105: correspond to the resolution modes.
106:
107: Also D-branes are interesting objects from the point of view of
108: singularities. A D-brane is the object on which open string can
109: end\cite{Joe}. On the other hand, a D-brane can also be described as a
110: solution of the classical supergravity\cite{Soda} --- the low energy
111: effective theory of the string theory. The supergravity description and
112: the open string description of a D-brane do not look very similar at
113: first sight. The evidences of the equivalence of these two are as follows.
114: \begin{itemize}
115: \item The supergravity description and the open string description of a
116: D-brane have the same charge called Ramond-Ramond charge.
117: \item Both of them are BPS saturated states. BPS saturated states are
118: the lowest energy states out of those which have the same charge,
119: that is, extremal in terms of the relativity.
120: \end{itemize}
121: For this reason, we regard them as the same object.
122:
123: If we describe this D-brane as a solution of
124: the supergravity, there often appear naked singularities. But,
125: D-branes are not ``bad'' objects in open string description,
126: the singularities in supergravity description should be resolved
127: by some mechanisms.
128:
129: The singularity treated in this paper --- repulson singularity --- is
130: one of the D-brane singularities\cite{Johnson:2000qt}. It does not
131: resemble to ordinary D-brane singularities in the supergravity
132: description. However, we know that the string theory on this D-brane
133: background is not singular, therefore, the geometric singularity is
134: resolved. We intend to see how this singularity is resolved from the
135: geometrical point of view and clarify what happens near the
136: singularity. In this point of view, Johnson, Peet and
137: Polchinski\cite{Johnson:2000qt} propose that there appears a special
138: radius called ``{\enh} radius'' and D-branes form a ``shell'' at this
139: radius. And in inner region of this radius, the geometry seems to be
140: flat and there are no singularity. We review this ``{\enh} mechanism''
141: in this paper.
142:
143: The organization of this paper is as follows. In section \ref{sec-dd},
144: we consider the D-brane configuration called ``{\dd} system'' and see
145: how the singularity appears. We also analyze this system by the
146: D-brane probe and see a special radius called ``{\enh} radius''
147: appears. In section \ref{sec-gauge} we interpret the {\enh} in terms
148: of the gauge theory and explain the proposal of the ``shell''. In section
149: \ref{sec-fuzzy}, we introduce another point of view of the {\enh} shell
150: as a fuzzy sphere.
151:
152: \section{{\dd} system}\label{sec-dd}
153:
154: Let us consider the Type IIA string theory on $\Rb^{5,1}\times$K3 . Here,
155: the manifold ``K3'' is a 4-dimensional Ricci flat
156: K\"ahler simply connected compact manifold. The manifolds which satisfy
157: the above conditions are all diffeomorphic. For a review of string
158: theory on K3 see \cite{Aspinwall:1996mn}.
159:
160: We consider $N$ D6-branes wrapped on whole K3 in the above theory. In
161: the view of the 6-dimensional theory, these D6-branes look 2-branes.
162: This system has not only $N$ D6-brane charge but also $(-N)$ D2-brane
163: charge\cite{Bershadsky:1996sp} of shown in table \ref{D6-D2}. This is
164: because K3 is curved and the stringy correction arises. Actually, these
165: negatively charged D2-branes are not the ordinary anti-D2-branes and
166: have negative contribution to the brane tension. We call this system
167: ``{\dd} system''. This {\dd} system is BPS saturated and conserves 8
168: supercharges.
169:
170: \begin{table}[h]
171: \begin{center}
172: \begin{tabular}{|c|c|c|c|c|c|c||c|c|c|c|}\hline
173: &0 &1 &2 &3 &4 &5 &6 &7 &8 &9 \\ \hline
174: &\multicolumn{6}{|c||}{$\Rb^{5,1}$} &\multicolumn{4}{|c|}{K3} \\
175: \hline D6 &\oo &\xx &\xx &\xx &\oo &\oo &\oo &\oo &\oo &\oo \\
176: \hline D2${}^*$ &\oo &\xx &\xx &\xx &\oo &\oo &\xx &\xx &\xx &\xx \\
177: \hline
178: \end{tabular}
179: \end{center}
180: \caption{{\dd} system. The branes spread to the direction
181: marked by {\oo}, and do not spread to the direction marked by {\xx} .
182: There are actually no D2-brane, but we write D2-brane
183: in this table in order to express the D2-brane charge.}
184: \label{D6-D2}
185: \end{table}
186:
187: \subsection{Classical solution}
188: The low energy effective theory of the type IIA string theory is the
189: type IIA supergravity.
190: The type IIA supergravity includes the following fields as bosonic fields.
191: \begin{itemize}
192: \item NSNS fields --- $g_{MN}$ (metric), $B^{(2)}$ (NSNS 2-form), $\Phi$ (dilaton).
193: \item RR fields --- $C^{(1)}$ (RR 1-form), $C^{(3)}$ (RR 3-form).
194: \end{itemize}
195: A D6-brane has magnetic charge of the gauge field $C^{(1)}$. It is
196: convenient to denote the electro-magnetic dual of $C^{(1)}$ by 7-form
197: $C^{(7)}$. Then, A D6-brane has electric charge of $C^{(7)}$.
198: On the other hand, D2-brane
199: has electric charge of $C^{(3)}$. Sometimes it is convenient to use
200: 5-form $C^{(5)}$, which is the electro-magnetic dual of $C^{(3)}$.
201:
202: Now we write down the classical solution of {\dd} system. Let the
203: longitudinal direction on the brane $\mu,\nu=0,4,5$, and their flat
204: metric $\eta_{\mu\nu}={\rm diag}(-1,1,1)$. We denote the transverse
205: direction of the branes as $i,j=1,2,3$. Let us also define the radial
206: coordinate $r^2=x^ix^i$. By using these notations, the solution
207: can be written down as
208: \begin{align}
209: &ds^2=Z_2^{-1/2}Z_{6}^{-1/2} \eta_{\mu\nu}dx^{\mu}dx^{\nu}
210: +Z_2^{1/2}Z_{6}^{1/2}dx^{i}dx^{i}
211: +Z_2^{1/2}Z_{6}^{-1/2}V_{0}^{1/2}ds^{2}_{K3},\nn\\
212: &e^{2\Phi}=g_0^2 Z_2^{1/2}Z_{6}^{-3/2}, \nn\\
213: &C^{(3)}=(Z_2g_0)^{-1}dx^0\wedge dx^4\wedge dx^5,\nn\\
214: &C^{(7)}=(Z_6g_0)^{-1}dx^0\wedge dx^4\wedge dx^5\wedge ({\rm vol}(K3)).
215: \nn
216: \end{align}
217: Here, we use the harmonic function $Z_2$ and $Z_6$ of the form
218: \begin{align}
219: & Z_2=1-\frac{|r_2|}{r}, \qquad r_2
220: =-\frac{(2\pi)^4g_0N\ls^5}{2V_0},\label{z2}\\
221: & Z_6=1+\frac{r_6}{r}, \qquad r_6=\frac{g_0N\ls}{2}.\label{z6}
222: \end{align}
223: In the above equations, $ds^2_{K3}$ is a Ricci flat metric on K3 of unit
224: volume, and ${\rm vol}(K3)$ is the volume form of the K3, which is
225: 4-form. We also used here the constant $\ls$ called ``string
226: length''. The string length characterizes length scale of the stringy
227: effects. If one want to see smaller things than $\ls$ or higher energy
228: things than $1/\ls$, he should use string theory rather than
229: supergravity.
230:
231: In the above solution, there are two continuous parameter (integration
232: constant) $g_0,\ V_0$ and one discrete parameter $N$. The $g_0$ is the
233: string coupling constant at far from the branes. The $V_0$ is the volume
234: of the K3 at far from the branes.
235:
236: Let us consider the parameter region where the classical supergravity is
237: valid at least far from the brane. First, to suppress the loop
238: contribution of the string theory, $g_0$ should be small. We also
239: suppose $V_0$ is very smaller than the stringy volume
240: $V_*:=(2\pi\ls)^4$ in order to avoid
241: the stringy effects. Then, we can see from (\ref{z2}) and (\ref{z6})
242: that $|r_2|/r_6=V_*/V_0$ is very smaller than $1$, so we can conclude
243: $|r_2|\ll r_6$ when we suppose the supergravity is valid at infinity.
244: This means that if we observe this system far from the brane,
245: we cannot see the effect of $D2^*$ charge.
246:
247: Now, we consider the singularity. The point $r=|r_2|$ is a naked
248: singularity. This singularity is ``repulsive'' which mean there are
249: repulsive force near the singularity. Therefore, this singularity is
250: called ``repulson singularity''. In figure \ref{potential}, we show
251: the gravitational potential.
252:
253: \begin{figure}
254: \begin{center}
255: \mbox{\includegraphics[width=5cm]{pot.eps}
256: \put(4,42){$r$}
257: \put(-150,93){$1-g_{00}$}
258: \put(-70,50){$r_6$}
259: \put(-70,42){$|$}
260: \put(-155,50){$|r_2|$}
261: \put(-138.5,42){$|$}
262: }
263: \end{center}
264: \caption{The potential of {\dd} system. At $r=|r_2|$ the potential
265: diverge. Near the singularity, there is repulsive force, and At far
266: from the singularity, there is attractive force.}
267: \label{potential}
268: \end{figure}
269:
270: Let us remark the validity of the supergravity near the singularity.
271: The singular point is $r=|r_2|=\frac12\left(\frac{V_*}{V_0}\right)g_0
272: N$. The validity of the supergravity at infinity requires both
273: $\left(\frac{V_*}{V_0}\right)$ and $g_0$ small. If $N$ is not so large,
274: $|r_2|\ll \ls$ and supergravity or geometrical consideration is no more
275: valid. The region of repulsive force is the same order as $|r_2|$.
276: Therefore, If we intend to view the repulson singularity by supergravity
277: point of view, we should set $N$ very large in order to $|r_2|\gg
278: \ls$. However, even if we set $N$ very large, the compactification of
279: IIA supergravity is no more valid, because the volume of the K3
280: $V:=V_0Z_2/Z_6$ becomes arbitrary small near the
281: singularity. Especially, there is the
282: point $V=V_*=(2\pi \ls)^4$, which is called ``{\enh} radius'' in the
283: following context. At this point, extra massless fields appear as we see
284: later.
285:
286: In the following subsection, we investigate what happens near the
287: singularity.
288:
289: \subsection{Probe analysis}
290: In order to see the nature of the singularity, we use some object as a
291: probe and move it close to singularity. A neutral object cannot reach
292: the singularity because of the repulsive gravity force. Then, how about
293: a charged object? Especially, when we construct {\dd} system, we gather
294: $N$ of single {\dd} at a point. Actually, {\dd}'s are BPS even if they
295: are separate, there are no force between them.
296: For these reasons, we use a {\dd} as the
297: probe. Do not confuse the source {\dd} system, and the probe {\dd}.
298: The former is composed of N {\dd}'s and makes the background. The latter
299: is a single {\dd} used to study the geometry made by the source {\dd}
300: system.
301:
302:
303: Let us consider the D-brane dynamics on some nontrivial background.
304: For example, the action of a particle in the electromagnetic field
305: is
306: \begin{align*}
307: S=-\int dt \;m\sqrt{-g}+\int eA^{(1)},
308: \end{align*}
309: where $g$ is induced metric, $A^{(1)}$ is pull-back the electromagnetic
310: field to world-line, $e$ is the charge of the particle, and $m$ is the
311: mass of the particle. On the analogy of a particle, a $p$-brane action
312: on $(p+1)$-form field $C^{(p+1)}$ background can be written as
313: follows. First, change the integration region to the $(p+1)$-dimensional
314: world volume. Next, change the length of the world line to the volume of
315: the world volume. Finally, change the gauge field to $(p+1)$-form which
316: is naturally integrated on the $(p+1)$-dimensional world volume. The
317: result is written as
318: \begin{align*}
319: S=-\int d^{p+1}\xi T_p\sqrt{-{\rm det}g}+\int \mu C^{(p+1)},
320: \end{align*}
321: where $T_p$ is the brane tension, and $\mu$ is the brane charge.
322:
323: In the case of the {\dd}, the action is a little complicated because of
324: the following reason.
325: \begin{itemize}
326: \item The D-brane tension depend on the value of dilaton $\Phi$,
327: the tension depend on $r$. When we integrate in the K3, the
328: tension is also depend on K3 volume.
329: \item As mentioned before, {\dd} system
330: has negative D2 charge because of the curvature.
331: \item Related above, the curvature of K3 has negative contribution
332: to the tension.
333: \end{itemize}
334:
335: As a result, if we integrate the K3 part, the action becomes
336: \begin{align}
337: S=-\int_{M}d^3\xi e^{-\Phi(r)}(\mu_6 V(r)-\mu_2)\sqrt{-\det g}
338: +\mu_6\int C^{(7)}-\mu_2 \int C^{(3)},\label{probe-action1}
339: \end{align}
340: where $V(r)=V_0Z_2/Z_6$ as defined before, $\mu_p=(2\pi)^{-p}\ls^{-p+1}$
341: are D$p$-brane charges.
342:
343: Now, we fix the reparametrization symmetry and assume some anzats.
344: \begin{itemize}
345: \item Static gauge. $x^0=\xi^0,\ x^4=\xi^1,\ x^5=\xi^2$
346: \item The prove move only to $r$-direction. We also assume $r$ is
347: depend only on $\xi^0$.
348: \item We consider the slow motion, and expand by the velocity
349: $\dot{r}:=\del r/\del \xi^0$.
350: \end{itemize}
351: Then, the action (\ref{probe-action1}) can be rewritten as
352: \begin{align}
353: &S=\int d\xi^1 d\xi^2 \int d\xi^0\left[(\text{const})
354: +\frac{\mu_6 Z_6}{2g_0}(V(r)-V_*)\dot r^2+\dots
355: \right].\label{v-exp}
356: \end{align}
357:
358: The $0$-th order term of the $\dot r$ expansion of integrand of action
359: is the potential term. In the action (\ref{v-exp}), the potential is
360: constant and independent of $r$. Thus, if the probe is not move ($\dot
361: r=0$) then there is no force, and this system is stable. This is
362: consistent with the fact that this system (the source {\dd} system
363: and the probe {\dd}) is BPS if the probe stops.
364:
365: The second term is the leading term of the kinetic energy. We can see
366: the tension depends on $r$, and when the volume of
367: the K3 becomes the stringy volume: $V(r)=V_*$, the tension vanishes.
368: When the probe is far from the source branes, the volume
369: of K3 becomes $V(r)\cong V_0 \gg V_*$.
370: If the probe approaches to the singularity and $r$ decreases, at the
371: point $V(r)=V_* \Leftrightarrow r=r_e:=\frac{2V_0}{V_0-V_*}|r_2|$ , the
372: probe becomes tensionless, and moreover, when $r<r_e$ the tension
373: becomes negative. This critical point $r_e$ is called ``{\enh} radius''.
374: The $r$ dependence of the volume of the K3 is shown in figure
375: \ref{fig-volume}.
376: \begin{figure}
377: \begin{center}
378: \mbox{\includegraphics[width=8cm]{volume.eps}
379: \put(0,0){$r$}
380: \put(-170,-7){$r_e$}
381: \put(-210,-7){$|r_2|$}
382: \put(-25,40){K3}
383: \put(-20,80){$V_0$}
384: \put(-180,40){$V_*$}
385: }
386: \end{center}
387: \caption{The image of the $r$ dependence of the volume of the K3 $V(r)$.
388: At large $r$, the volume is $V_0$ and we assume it is large. At $r=r_e$,
389: the volume becomes $V_*$, where the stringy effect is relevant.
390: At $r=|r_2|$, $V(r)=0$.}\label{fig-volume}
391: \end{figure}
392:
393: Negative tension is rather pathological. It seems that near the {\enh}
394: radius, the classical supergravity is no more valid. Actually, when a
395: nonperturbative object like a D-brane become light, even the
396: perturbative string is no more valid. In the next section, we collect
397: some observations, and mention the interpretation proposed by Johnson,
398: Peet and Polchinski.
399:
400: \section{Gauge symmetry enhancement and {\dd} shell} \label{sec-gauge}
401:
402: \subsection{type IIA string theory on K3 as a gauge Higgs system}
403: In this section, we consider the 6-dimensional gauge theory obtained by
404: the compactification of type IIA string theory on K3, and for a while, let
405: us consider the background without {\dd} branes.
406:
407: First, we look at two U(1) gauge field of the following. One is obtained
408: directly from ten dimensional $C^{(1)}$ by $C^{(1)}_m$ where
409: $m=0,1,\dots,5$. The other $\tilde C^{(1)}$ is obtained from
410: ten dimensional 5-form $C^{(5)}$(electro-magnetic dual of 3-form
411: $C^{(3)}$) by the relation $C^{(5)}=\tilde C^{(1)}\wedge {\rm vol}(K3)$,
412: where vol$(K3)$ is the volume form of the $K3$. Note that a {\dd} has a
413: magnetic charge $(1,-1)$ of $(C^{(1)},\tilde C^{(1)})$.
414:
415: Next, we have a scalar field $H=V-V_*$, where $V$ is the volume of
416: the $K3$. The vacuum expectation value of $H$ is $V_0-V_*$.
417: Note that $H$ is a moduli, which means the vacuum expectation value
418: of $H$ takes continuous values, and $\vev H$ parameterizes
419: the vacuum.
420:
421: Finally, there are a particles of {\ddp}. {\ddp} is the D4-brane wrapped
422: on K3, and there appear the negative D0-brane charge for the same reason
423: as the {\dd} case. We show the {\ddp} configuration in table
424: \ref{D4-D0}. We can see that it is actually a particle in 6-dimensions
425: from the table \ref{D4-D0}.
426:
427: \begin{table}[h]
428: \begin{center}
429: \begin{tabular}{|c|c|c|c|c|c|c||c|c|c|c|}\hline
430: &0 &1 &2 &3 &4 &5 &6 &7 &8 &9 \\ \hline
431: &\multicolumn{6}{|c||}{$\Rb^{5,1}$} &\multicolumn{4}{|c|}{K3} \\
432: \hline D4 &\oo &\xx &\xx &\xx &\xx &\xx &\oo &\oo &\oo &\oo \\
433: \hline D0${}^*$ &\oo &\xx &\xx &\xx &\xx &\xx &\xx &\xx &\xx &\xx \\
434: \hline
435: \end{tabular}
436: \end{center}
437: \caption{{\ddp} system}
438: \label{D4-D0}
439: \end{table}
440:
441: The action of the {\ddp} can be obtained by the same way as the {\dd}
442: case. The result is
443: \begin{align*}
444: S=-\int d\xi^0 \frac{\mu_4}{g_0}(V_0-V_*)\sqrt{-g_{00}}.
445: \end{align*}
446: We can read the mass of the {\ddp} as $\frac{\mu_4}{g_0}(V_0-V_*)$ ,
447: which is proportional to the $\vev{H}$. If $V_0$ is not much larger than
448: $V_*$, then, {\ddp} particles is light, and easily pair created or pair
449: annihilated. Therefore, we should treat {\ddp} particles as
450: fields. Note that this field is electrically charged $(-1,1)$ under the
451: $C^{(1)},\tilde C^{(1)}$ so the field is complex. Moreover, we assume
452: this field is a vector field. We denote this field as $W_{m}^{-}$ and
453: its complex conjugate $W_{m}^{+}$.
454:
455: \begin{table}[htbp]
456: \begin{center}
457: \begin{tabular}{|c|c|c|}\hline
458: origin & field & interpretation \\ \hline\hline
459: 10-d 1-form & $C^{(1)}$ & photon \\ \hline
460: 10-d 5-form & $\tilde C^{(1)}$ & another photon \\ \hline
461: volume of K3 & $H$ & massless Higgs field \\ \hline
462: {\ddp} & $W_{m}^{\pm}$ & W-boson \\ \hline
463: \end{tabular}
464: \end{center}
465: \caption{The fields that we observe in 6-dimensional gauge theory
466: obtained from type IIA theory compactified on K3. They
467: are interpreted as fields in a Higgs mechanism.}
468: \label{actors}
469: \end{table}
470:
471: We summarize these actors in the table \ref{actors}. This shows that the
472: 6-dimensional system includes the $U(2)$ gauge theory with massless
473: adjoint Higgs. The $U(2)$ gauge field is
474: \begin{align*}
475: A_{m}=\left(
476: \begin{array}{cc}
477: C^{(1)}_m & W^+_m \\
478: W^-_m & \tilde C^{(1)}_m
479: \end{array}\right).
480: \end{align*}
481: Actually, the charge of the {\ddp} is consistent with this picture.
482:
483: What is the role of the {\dd} in this picture? It has magnetic charges
484: of the photon. Hence, we can conclude the {\dd} is the
485: 'tHooft-Polyakov monopole in this gauge Higgs system. Near the center
486: of the classical 'tHooft-Polyakov monopole, the value of Higgs becomes
487: small and the W-boson mass becomes small.
488:
489: When $H=0$ the W-bosons become massless, and the gauge symmetry is
490: enhanced from $U(1)^2$ to $U(2)$. At the {\enh} radius of {\dd} system,
491: this gauge symmetry enhancement occurs. The name ``{\enh}'' is from this
492: gauge symmetry {\em enhancement}.
493:
494: \subsection{{\Enh} as a shell}
495: Let us go back to the {\dd} system and consider the problem that
496: the tension of the probe becomes negative. In the field theory,
497: this is not a problem. In that case, only the mass square
498: is appear in the theory, which mean $m_{W}^2\propto \vev{H^2}$.
499:
500: In the probe theory, we can make a trick and avoid a negative mass as
501: follows. We can rewrite the probe action (\ref{probe-action1}) outside
502: the {\enh} radius as
503: \begin{align}
504: S=-\int d^3\xi e^{-\Phi(r)}\mu_6\sqrt{-(V(r)-V_*)^2\det g_{ab}}+\dots.
505: \label{probe-action2}
506: \end{align}
507: If we use this form also inside the {\enh} radius, the mass does not
508: become negative, but another problem occur. Inside the {\enh} radius,
509: the potential term of (\ref{probe-action2}) is not constant. It becomes
510: \begin{align}
511: S=\int d^3\xi\left[\frac{2\mu_6}{g_0}(Z_6^{-1}(r)V_0-Z_2^{-1}(r)V_*)
512: +(\text{higher order in }\dot r )\right].
513: \end{align}
514: The potential is flat when $r>r_e$. On the other hand, when $r<r_e$,
515: there are repulsive force. Therefore, {\dd} probe cannot stop at a point
516: inside the {\enh} radius and the nearest point it can stop is the {\enh}
517: radius.
518:
519: \begin{figure}
520: \begin{center}
521: \mbox{\includegraphics[width=5cm]{pot2.eps}
522: \put(3,0){$r$}
523: \put(-170,70){$U(r)$}
524: \put(-165,55){$\uparrow$}
525: \put(-90,10){$r_e$}
526: \put(-88,0){$|$}
527: \put(-150,10){$|r_2|$}
528: \put(-142,0){$|$}
529: }
530: \end{center}
531: \caption{The graph of potential term in (\ref{probe-action2}).
532: $U(r)=-\frac{2\mu_6}{g_0}(Z_6^{-1}(r)V_0-Z_2^{-1}(r)V_*)$.
533: If $r>r_e$, the potential is flat. If $r<r_e$, there are repulsive force.}
534: \end{figure}
535:
536: Now, let us consider how to construct the {\dd} system and repulson
537: singularity by gathering $N$ {\dd}'s. Let us observe one of the $N$ {\dd}'s, and others as sources
538: of the background field, that is we separate {\dd}'s to a probe brane
539: and source branes. This is a kind of mean field approximation. The
540: prove {\dd} can be stops anywhere when it is apart enough from the
541: source branes. Then, we move slowly the whole {\dd}'s to a point to make
542: the singularity. But when they are closer each other than the {\enh}
543: radius, there are repulsive force and the configuration is unstable. In
544: the result, the closest stable configuration is one in which the {\dd}'s
545: form a $S^2$ shell at the {\enh} radius. The image of this observation
546: is shown in figure \ref{fig-shell}
547:
548: \begin{figure}[htbp]
549: \begin{center}
550: \mbox{\includegraphics[width=10cm]{shell.eps}
551: \put(-270,-10){(a) no force}
552: \put(-175,-10){(b) repulsive force}
553: \put(-50,-10){(c) shell}
554: }\end{center}
555: \caption{To make singularity by gathering the {\dd}. The dashed circle
556: expresses the {\enh} radius. If {\dd}'s are put as (a),
557: the configuration is BPS and there is no force. On the other hand,
558: if {\dd}'s are more close each other and put as (b),
559: there are repulsive force and the configuration is unstable. So the
560: closest stable configuration is the shell as (c).}
561: \label{fig-shell}
562: \end{figure}
563:
564: In the interior of the shell, it seems that the metric is flat because
565: there are no source in the interior the shell. Consequently, there are
566: no singularity in this configuration. This mechanism of resolution of
567: singularity is called ``{\enh} mechanism''.
568:
569: There is still another problem. We naively mention that {\dd}'s are form
570: the shell. However, if we treat {\dd}'s as finite number of thin object,
571: they cannot form a whole shell. More concretely, there are SO(3)
572: symmetry in the original {\dd} system, but we cannot realize a SO(3)
573: invariant configuration by putting finite number of points on the $S^2$.
574: Therefore, on the {\enh} shell, the branes are no more thin, but they
575: seem to melt, mixed to each other and become a higher dimensional
576: object. We review this picture from another point of view in the next
577: section.
578:
579: \section{{\Enh} and fuzzy sphere}
580: \footnote{This section was omitted in the talk.}
581: \label{sec-fuzzy}
582:
583: In order to see how the {\dd} branes form a $S^2$, let us go to a dual
584: picture --- the D3-D5 system. The D3-D5 system is, as shown in table
585: \ref{D3-D5}, composed of 2 D5-branes and
586: $N$ D3-branes attached to both D5-branes. The two D5-branes correspond
587: to the curvature of K3 in the {\dd} system, and $N$ D3-branes correspond
588: to $N$ {\dd} branes in the {\dd} system. Therefore the {\enh} can be
589: seen in the D3-D5 system as D3-brane shell. Let us see how the D3-branes
590: form a shell.
591:
592: From the point of view of the gauge theory on the D5-branes,
593: the D3-branes are the magnetic monopole --- 'tHooft Polyakov monopole.
594: classical solution of 'tHooft Polyakov monopole is not a point like
595: thin object, but a fat object. In brane picture, this is a tube like
596: configuration as shown in figure \ref{double-funnel}.
597:
598: \begin{figure}
599: \begin{center}
600: \mbox{\includegraphics[width=4cm]{intersect.eps}}
601: \hspace{1cm}
602: \mbox{\includegraphics[width=4cm]{throat.eps}}
603: \end{center}
604: \caption{The image of the D3-D5 system. The D3-branes are attached to
605: two D5-branes. From the point of view of the gauge theory on D5-branes,
606: the D3-branes are smeared and become a tube. The smallest radius of the
607: throat is to be {\enh} radius\cite{Johnson:2000qt,Johnson:2001bm}.}
608: \label{double-funnel}
609: \end{figure}
610:
611: \begin{table}[h]
612: \begin{center}
613: \begin{tabular}{|c|c|c|c|c|c|c||c|c|c|c|}\hline
614: &0 &1 &2 &3 &4 &5 &6 &7 &8 &9 \\ \hline
615: \hline D3 &\oo &\xx &\xx &\xx &\oo &\oo &\oo &\xx &\xx &\xx \\
616: \hline D5 &\oo &\oo &\oo &\oo &\oo &\oo &\xx &\xx &\xx &\xx \\
617: \hline
618: \end{tabular}
619: \end{center}
620: \label{D3-D5}
621: \caption{D3-D5 system}
622: \end{table}
623:
624: Let us consider this system from the point of view of the gauge theory
625: on the $N$ D3-branes. The theory on the D3-branes is the super symmetric
626: U($N$) gauge theory. It includes the gauge field $A_{\mu},\ \mu=0,4,5,6$
627: and adjoint scalar field ($N\times N$ hermitian matrix)
628: $X^I,I=1,2,3,7,8,9$. The matrices $X^I$ are interpreted as the coordinate
629: of the position of the D3-branes. We use the following anzats here.
630: \begin{itemize}
631: \item Only three of the scalar $X^1,X^2,X^3$ have nontrivial value.
632: The other field: the gauge field and $X^7,X^8,X^9$ is set to be 0.
633: \item $X^1,X^2,X^3$ depend only on one of the space-like coordinate
634: $\sigma$ of the world volume.
635: \end{itemize}
636:
637: Since we want BPS solutions, we should consider the Bogomolnyi equation
638: in stead of the equation of motion. If a configuration satisfies
639: Bogomolnyi equation, that configuration also satisfies the equation of
640: motion.
641:
642: In the above anzats, Bogomolnyi equation becomes
643: \begin{align}
644: \del_{\sigma}X^i=\frac i2\varepsilon^{ijk}[X^j,X^k].
645: \label{Nahm}
646: \end{align}
647:
648: There are trivial solutions in which the $X^{i}$'s are independent of
649: $\sigma$.
650: \begin{align*}
651: \del_{\sigma}X^i=0,\quad [X^i,X^j]=0,\qquad (i,j=1,2,3).
652: \end{align*}
653: In this case, $X^i,\ i=1,2,3$ can be diagonalized at the same time.
654: \begin{align}
655: X^i={\rm diag}(x_1^i,x_2^i,\dots,x_N^i).
656: \label{trivial-solution}
657: \end{align}
658: This shows that the position of the $a$-th D3-brane is
659: $(x^1_a,x^2_a,x^3_a)$ . So this solution is $N$ of thin D3-branes,
660: which means that the position of each brane is sharply determined.
661: The solution (\ref{trivial-solution}) is not the solution we need.
662: In this solution, there are no D5-branes, and not the dual of original
663: {\dd} system.
664:
665: We show here another solution.
666: The shape of this solution is like the figure \ref{funnel}, and
667: called ``funnel solution''\cite{Constable:2000ac}.
668: In that solution, the position of each
669: branes are blurred and has SO(3) symmetry. These are necessary
670: properties of the {\enh}, and we regard this solution as {\enh}.
671: The solution is
672: \begin{align*}
673: &X^i(\sigma)=-\frac{1}{\sigma}\alpha^{i},
674: \end{align*}
675: where $\alpha^{i}$ is $N$-dimensional representation matrix of
676: SU(2) which satisfy
677: \begin{align*}
678: [\alpha^i,\alpha^j]=i\varepsilon^{ijk}\alpha^k.
679: \end{align*}
680: In this solution, from the Casimir operator of $N$-dimensional
681: representation, the following relation is satisfied.
682: \begin{align*}
683: (X^1)^2+(X^2)^2+(X^3)^2=(R(\sigma))^2\cdot 1_{N},
684: \qquad R(\sigma)^2=\frac{1}{\sigma^2}(N^2-1),
685: \end{align*}
686: where $1_{N}$ is the $N\times N$ identity matrix.
687: As a result, if we consider the constant $\sigma$ section,
688: $(X^1,X^2,X^3)$ is formally a $S^2$ of radius $R(\sigma)$.
689: This space is called ``fuzzy sphere''\cite{Madore:1992bw}.
690:
691: This geometry can be interpreted as the figure \ref{funnel}.
692: The section of constant $\sigma$ is a ``$S^2$'' of radius $R(\sigma)$
693: $R(\sigma)\propto \sigma^{-1}$ and divergent at $\sigma=0$. This can be
694: interpreted as there are a D5-brane at $\sigma=0$. So this is a picture
695: of a D5-brane and $N$ D3-branes end on the D5-brane from the point of
696: view of the gauge theory on D3-branes. Actually, it is shown that
697: this solution has a D5-brane charge\cite{Myers:1999ps}.
698:
699: We obtained a solution which contains a D5-brane and $N$ D3-branes.
700: However, strictly speaking, this is not the solution we need. In this
701: solution, there is only one D5-brane and the gauge group on D5-brane is
702: U(1), and this solution is Dirac monopole in view of the gauge theory on
703: the D5-brane. The solution we actually need is shown in figure
704: \ref{double-funnel}. In this case, there are two D5-branes and the gauge
705: group on D5-brane is U(2). There are adjoint Higgs fields on the brane
706: gauge theory, and the gauge group is broken to U(1)${}^2$. Moreover, the
707: D3-brane is a 'tHooft-Polyakov monopole from the viewpoint of
708: D5-brane gauge theory. To obtain this type of solution
709: is a future problem.
710:
711: \begin{figure}
712: \begin{center}
713: \mbox{\includegraphics[width=4cm]{funnel.eps}
714: \put(-30,70){$\rightarrow \sigma$}
715: \put(-80,80){$\uparrow R(\sigma)$}
716: }\hspace{1cm}
717: \mbox{\includegraphics[width=4cm]{d3d5.eps}
718: \put(-30,60){D3-brane}
719: \put(-90,80){D5-brane}
720: }
721: \end{center}
722: \caption{The image of the funnel solution. The section of constant
723: $\sigma$ is a $S^2$ of radius $R(\sigma)\propto \sigma^{-1}$.
724: This solution can be interpreted as blurred picture of
725: $N$ D3-branes ending on a D5-brane. Actually it is known that this
726: solution has a D5-brane charge.}\label{funnel}
727: \end{figure}
728:
729: \section{Conclusion}
730:
731: In this paper, we review the {\enh} mechanism --- a mechanism of
732: resolution of repulson singularity of {\dd} system. In this mechanism,
733: the {\dd} makes a shell at the {\enh}, which is in exterior the
734: singularity.
735: Since there is no source in the interior of the shell,
736: the inside of the shell is flat and nonsingular. This
737: shell turns out to be a fuzzy sphere.
738:
739: We mention the recent progress about {\enh} here. In \cite{Jarv:2000zv},
740: other types of 3 dimensional gauge theory appear by introducing some
741: kinds of orientifolds. The investigations from the view point of gauge
742: theory on the brane are also done in \cite{Evans:2000ct,%
743: Bertolini:2001dk,Frau:2001gk,Petrini:2001fk,Billo:2001vg,
744: Merlatti:2001gd}. In these papers, {\enh} and the gauge theory on
745: ``fractional D-branes'' are studied. Fractional D-branes are wrapped
746: D-branes on vanishing cycles of some (for example orbifold) singularity
747: and their D-brane charge is actually fractional. {\enh}s appear also in
748: these fractional D-brane system. In
749: \cite{Johnson:2001us,Constable:2001fe} {\enh} and the black hole
750: thermodynamics are investigated. In \cite{Maeda:2001si}, the supergravity
751: solution of {\enh} shell and its stability are studied. In
752: \cite{Johnson:2001wm} more on consistency of {\enh} are corrected and
753: applied to some general case.
754:
755: \subsection*{Acknowledgement}
756:
757: I would like to thank the participants of the associated seminars,
758: especially, Yoshifumi Hyakutake, Akihiro Ishibashi, Hideo Kodama, Makoto
759: Natsuume, Jiro Soda, Masa-aki Sakagami for usefull discussion.
760:
761: The work of the author is supported in part by the JSPS Research
762: Fellowships for Young Scientists.
763: \begin{thebibliography}{99}
764: \bibitem{Joe}
765: J. Polchinski, {\it String Theory I, II} (Cambridge University
766: Press 1998)
767:
768: \bibitem{Natsuume}
769: M. Natsuume, talk at this workshop, gr-qc/0108059.
770:
771: \bibitem{Soda}
772: J. Soda, talk at this workshop, gr-qc/0108046.
773:
774: %\cite{Johnson:2000qt}
775: \bibitem{Johnson:2000qt}
776: C.~V.~Johnson, A.~W.~Peet and J.~Polchinski,
777: %``Gauge theory and the excision of repulson singularities,''
778: Phys.\ Rev.\ D {\bf 61} (2000) 086001
779: [hep-th/9911161].
780: %%CITATION = HEP-TH 9911161;%%
781:
782: %\cite{Aspinwall:1996mn}
783: \bibitem{Aspinwall:1996mn}
784: P.~S.~Aspinwall,
785: %``K3 surfaces and string duality,''
786: hep-th/9611137.
787: %%CITATION = HEP-TH 9611137;%%
788:
789: %\cite{Bershadsky:1996sp}
790: \bibitem{Bershadsky:1996sp}
791: M.~Bershadsky, C.~Vafa and V.~Sadov,
792: %``D-Strings on D-Manifolds,''
793: Nucl.\ Phys.\ B {\bf 463} (1996) 398
794: [hep-th/9510225].
795: %%CITATION = HEP-TH 9510225;%%
796:
797: %\cite{Johnson:2001bm}
798: \bibitem{Johnson:2001bm}
799: C.~V.~Johnson,
800: %``Enhancons, fuzzy spheres and multi-monopoles,''
801: Phys.\ Rev.\ D {\bf 63} (2001) 065004
802: [hep-th/0004068].
803: %%CITATION = HEP-TH 0004068;%%
804:
805: %\cite{Constable:2000ac}
806: \bibitem{Constable:2000ac}
807: N.~R.~Constable, R.~C.~Myers and O.~Tafjord,
808: %``The noncommutative bion core,''
809: Phys.\ Rev.\ D {\bf 61} (2000) 106009
810: [hep-th/9911136].
811: %%CITATION = HEP-TH 9911136;%%
812:
813: %\cite{Myers:1999ps}
814: \bibitem{Myers:1999ps}
815: R.~C.~Myers,
816: %``Dielectric-branes,''
817: JHEP {\bf 9912} (1999) 022
818: [hep-th/9910053].
819: %%CITATION = HEP-TH 9910053;%%
820:
821: %\cite{Madore:1992bw}
822: \bibitem{Madore:1992bw}
823: J.~Madore,
824: %``The Fuzzy sphere,''
825: Class.\ Quant.\ Grav.\ {\bf 9} (1992) 69.
826: %%CITATION = CQGRD,9,69;%%
827:
828: %%%//----------------------------------------------------------
829:
830: %\cite{Jarv:2000zv}
831: \bibitem{Jarv:2000zv}
832: L.~Jarv and C.~V.~Johnson,
833: %``Orientifolds, M-theory, and the ABCD's of the enhancon,''
834: Phys.\ Rev.\ D {\bf 62} (2000) 126010
835: [hep-th/0002244].
836: %%CITATION = HEP-TH 0002244;%%
837:
838: %\cite{Evans:2000ct}
839: \bibitem{Evans:2000ct}
840: N.~Evans, C.~V.~Johnson and M.~Petrini,
841: %``The enhancon and N = 2 gauge theory/gravity RG flows,''
842: JHEP {\bf 0010} (2000) 022
843: [hep-th/0008081].
844: %%CITATION = HEP-TH 0008081;%%
845:
846: %\cite{Bertolini:2001dk}
847: \bibitem{Bertolini:2001dk}
848: M.~Bertolini, P.~Di Vecchia, M.~Frau, A.~Lerda, R.~Marotta and I.~Pesando,
849: %``Fractional D-branes and their gauge duals,''
850: JHEP {\bf 0102} (2001) 014
851: [hep-th/0011077].
852: %%CITATION = HEP-TH 0011077;%%
853:
854: %\cite{Frau:2001gk}
855: \bibitem{Frau:2001gk}
856: M.~Frau, A.~Liccardo and R.~Musto,
857: %``The geometry of fractional branes,''
858: Nucl.\ Phys.\ B {\bf 602} (2001) 39
859: [hep-th/0012035].
860: %%CITATION = HEP-TH 0012035;%%
861:
862: %\cite{Petrini:2001fk}
863: \bibitem{Petrini:2001fk}
864: M.~Petrini, R.~Russo and A.~Zaffaroni,
865: %``N = 2 gauge theories and systems with fractional branes,''
866: Nucl.\ Phys.\ B {\bf 608} (2001) 145
867: [hep-th/0104026].
868: %%CITATION = HEP-TH 0104026;%%
869:
870: %\cite{Billo:2001vg}
871: \bibitem{Billo:2001vg}
872: M.~Billo, L.~Gallot and A.~Liccardo,
873: %``Classical geometry and gauge duals for fractional branes on ALE orbifolds,''
874: hep-th/0105258.
875: %%CITATION = HEP-TH 0105258;%%
876:
877: %\cite{Merlatti:2001gd}
878: \bibitem{Merlatti:2001gd}
879: P.~Merlatti,
880: %``The enhancon mechanism for fractional branes,''
881: hep-th/0108016.
882: %%CITATION = HEP-TH 0108016;%%
883:
884: %%-------------------------------------------------------------------
885:
886: %\cite{Johnson:2001us}
887: \bibitem{Johnson:2001us}
888: C.~V.~Johnson and R.~C.~Myers,
889: %``The enhancon, black holes, and the second law,''
890: hep-th/0105159.
891: %%CITATION = HEP-TH 0105159;%%
892:
893: %\cite{Constable:2001fe}
894: \bibitem{Constable:2001fe}
895: N.~R.~Constable,
896: %``The entropy of 4D black holes and the enhancon,''
897: hep-th/0106038.
898: %%CITATION = HEP-TH 0106038;%%
899:
900: %%--------------------------------------------------------
901:
902: %\cite{Maeda:2001si}
903: \bibitem{Maeda:2001si}
904: K.~Maeda, T.~Torii, M.~Narita and S.~Yahikozawa,
905: %``The stability of the shell of D2-D6 branes in a N = 2 supergravity solution,''
906: hep-th/0107060.
907: %%CITATION = HEP-TH 0107060;%%
908:
909: %\cite{Johnson:2001wm}
910: \bibitem{Johnson:2001wm}
911: C.~V.~Johnson, R.~C.~Myers, A.~W.~Peet and S.~F.~Ross,
912: %``The enhancon and the consistency of excision,''
913: hep-th/0105077.
914: %%CITATION = HEP-TH 0105077;%%
915:
916:
917: \end{thebibliography}
918: \end{document}
919: