1: \documentclass[nohyper,12pt,letterpaper]{JHEP}
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: \usepackage[dvips]{epsfig}
4: \usepackage{epsf,amsfonts,amssymb}
5: \usepackage{graphicx}
6: \usepackage{amsmath}
7:
8: %TCIDATA{OutputFilter=Latex.dll}
9: %TCIDATA{LastRevised=Sat Jan 04 14:53:10 2003}
10: %TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
11:
12: \input epsf.sty
13: \textheight=620pt
14: \textwidth=460pt
15: \hoffset=-3truecm
16: \voffset=-3truecm
17: \pagestyle{plain}
18: \input{tcilatex}
19:
20: \title{Metrics building of pp waves orbifold geometries}
21: \author{El Mostapha Sahraoui$^{1,2}$ and El Hassan Saidi$^{1}$ \\
22: %EndAName
23: $^1$ Lab/UFR-High Energy Physics, Physics Department,\\ Faculty of
24: Science, P O Box 1014, Av Inb Batouta, \\ Rabat, Morocco\\ $^2$
25: Dipartemento di Fisica Theorica, \\ Via Pietro Giuria, 1 -
26: 10125,\\ Universita di Torino - Italy.\\ E-mail:
27: \email{mostapha12@hotmail.com, H-saidi@fsr.ac.ma} }
28:
29: \abstract{
30: We study strings on orbifolds of $AdS\times S^{5}$ by $SU\left( 2\right) $
31: discrete groups in the Penrose limit. We derive the degenerate metrics of pp
32: wave of $AdS\times S^{5}/\Gamma $ using ordinary $ADE$ and affine $\widehat{ADE}$
33: singularities of complex surfaces and results on $\mathcal{N}=4$ CFT$_{4}$s. We also give explicit metric moduli dependences for both abelian and
34: non abelian orbifolds.
35: }
36: \preprint{
37: hep-th/0210168\\
38: UFRHEP/02/05}
39: \keywords{Penrose Limit, pp-wave background, $ADE$ singularities, ${\cal N}=2$ CFT$_4$}
40: \begin{document}
41:
42:
43: \section{Introduction}
44:
45: It is by now possible to derive spectrum of string theory from the gauge
46: theory point of view not only on a flat space but also on plane wave of $%
47: AdS_{5}\times S^{5}$ \cite{GMN}. This is amongst the fruits of the AdS/CFT
48: correspondance \cite{ms1,ms2,ms3,ms4}\ relating the spectrum of type IIB
49: string theory on $AdS_{5}\times S^{5}$\ to the spectrum of single trace
50: operators in $4D$ $\mathcal{N}=4$ super Yang Mills theory. The idea is based
51: on considering chiral primary operators in the conformal field side and look
52: for their corresponding states in the string side but here on pp-wave
53: backgrounds. For instance, a field operator like $Tr[Z^{J}]$\ with large $J$
54: is associated with the string vacuum state in the light cone gauge $%
55: |0,p_{+}\rangle _{l.c}$ with large momentum $p^{+}$. Both objects have a
56: vanishing $\Delta -J$ interpreted on the string side as the light cone
57: energy $E_{c}$ of type IIB string on the pp wave background and on the field
58: side as an anomalous dimension. The correspondance between the whole tower
59: of string states $\left( \prod_{r,s}a^{\dagger n_{r}}S^{\dagger
60: m_{s}}\right) |0,p_{+}\rangle _{l.c}$ with $E_{c}=n$ and gauge invariant
61: conformal operators $Tr[O]$ is deduced from the previous trace $Tr[Z^{J}]$
62: by replacing some of the $Z$'s by monomials involving the gauge covariant
63: derivative $DZ$ or/and the remaining four transverse scalars $\phi ^{j}$ and
64: fermions $\chi ^{a}$ of the $\mathcal{N}=4$ multiplet. The BMN
65: correspondence rule between superstring states creation operators $%
66: a^{\dagger }$ and $S^{\dagger }$ and CFT$_{4}$ field operators is.
67:
68: \begin{eqnarray}
69: a^{\dagger i} &\rightarrow &D_{i}Z\qquad \text{for }i=1,...,4 \notag \\
70: a^{\dagger j} &\rightarrow &\phi ^{j-4}\qquad \text{for }j=5,...,8 \\
71: S^{a} &\rightarrow &\chi _{J=1/2}^{a}, \notag
72: \end{eqnarray}
73: For more details, see \cite{GMN}. Soon after this discovery, an intensive
74: interest has been devoted to further explore this issue; in particular the
75: extension of the BMN results to pp wave orbifolds with $U\left( N\right) $
76: symmetries \cite{kprt,shikh} and orientifolds of D-brane system with an $%
77: Sp\left( N\right) $ gauge invariance \cite{m1}, see also \cite{m2,m3}. In
78: \cite{kprt}, the BMN proposal has been extended to type IIB superstring
79: propagating on pp-wave $\mathbf{Z}_{k}$\ orbifolds. There, it has been shown
80: that first quantized free string theory on such background is described by
81: the large $N$, fixed gauge coupling limit of $\mathcal{N}=2$ $\left[ U\left(
82: N\right) \right] ^{k}$ quiver gauge theory and have proposed a precise map
83: between gauge theory operators and string states for both untwisted and
84: twisted sectors. For $\Delta -J=0$, the BMN correspondence for the lowest
85: string state reads as,
86: \begin{equation}
87: Tr\left[ S^{q}\mathcal{Z}^{J}\right] \quad \leftrightarrow \quad
88: |0,p^{+}\rangle _{q},
89: \end{equation}
90: where $|0,p^{+}\rangle _{q}$ is the vacuum in the \textit{q-th} twisted
91: sector and where
92: \begin{equation}
93: S=diag\left( 1,\exp i\frac{2\pi }{k},...,\exp i\frac{2\left( k-1\right) \pi
94: }{k}\right) .
95: \end{equation}
96: One may also write down the correspondence for the other states with $\Delta
97: -J=n>0$. Here one has a rich spectrum due to the presence of $k-1$ twisted
98: sectors in addition to the usual one. This analysis remains however
99: incomplete since it concerns only a special kind of $\mathcal{N}=2$ CFT$_{4}$
100: model; the more familiar supersymmetric scale invariant theory one can have
101: in four dimension.\ In fact there are several others $\mathcal{N}=2$ CFT$%
102: _{4} $'s in one to one correspondence with both ordinary and Affine $ADE$
103: singularities of the ALE space. These models have very different moduli
104: spaces; and then it would be interesting to explore how the BMN
105: correspondence extends for general $\mathcal{N}=2$ CFT$_{4}$ models and how
106: the machinery works in general.
107:
108: The aim of this paper is to further develop the analysis initiated in \cite
109: {kprt} by considering all possible kinds of abelian and non abelian pp wave
110: orbifolds. Here we will focus our attention on the type IIB string side by
111: deriving explicity the moduli dependent metrics of all kinds of pp wave
112: orbifolds preserving sixteen supersymmetries. We will put the accent on the
113: way the analogue of the\ field moduli, of the quiver gauge theory, enters in
114: the game in the string side. In \cite{s3}, we will give the details
115: concerning its correspondings $\mathcal{N}=2$ CFT$_{4}$ side.
116:
117: The presentation is as follows: In section 2, we recall some aspects of the
118: pp wave geometry in the BMN limit of $AdS_{5}\times S^{5}$. In section 3, we
119: study ordinary $SU\left( k\right) $ pp waves geometry. In section 4, we
120: consider its $\widehat{SU\left( k\right) }$\ affine analogue and also give
121: the explicit derivation of the moduli dependent metrics. In section 5, we
122: derive the results for Affine $\widehat{SO\left( k\right) }$ \ pp wave
123: geometries and make comments regarding the other kinds of orbifolds.
124:
125: \section{pp waves orbifold geometries}
126:
127: To start recall that the general form of the plane wave metric of the $%
128: AdS_{5}\times S^{5}$ in the BMN limit reads as,
129: \begin{equation}
130: ds^{2}=-4dx^{-}dx^{+}-A_{ij}\left( x^{+}\right) x^{i}x^{j}\left(
131: dx^{+}\right) ^{2}+\sum_{i=1}^{8}dx^{i}dx^{i}. \label{gmetric}
132: \end{equation}
133: Here the symmetric matrix $A_{ij}\left( x^{+}\right) $ is in general a
134: funtion of $\ x^{+}$. For simplicity, we will take it as $A_{ij}=\mu \delta
135: _{ij}$. In this case, the five form field strength is given by $F=\mu
136: dx^{+}\wedge (dx^{1}\wedge dx^{2}\wedge dx^{3}\wedge dx^{4}+dx^{5}\wedge
137: dx^{6}\wedge dx^{7}\wedge dx^{8})$, and the previous metric reduces to,
138: \begin{equation}
139: ds^{2}=-4dx^{-}dx^{+}-\mu ^{2}\left( \sum_{i=1}^{8}x^{i}x^{i}\right) \left(
140: dx^{+}\right) ^{2}+\sum_{i=1}^{8}dx^{i}dx^{i} \label{ppmetric}
141: \end{equation}
142: The study of type IIB strings on the Penrose limit of $AdS_{5}\times S^{5}$
143: orbifolds, $AdS_{5}\times S^{5}/\Gamma $, depends on the nature of the
144: discrete finite group $\Gamma $. Group theoretical analysis \cite{s1} on the
145: types of discrete symmetries $\Gamma $\ one can have in such kind of
146: situation, shows that $\Gamma $\ has to be contained in a specific $SU\left(
147: 2\right) $ subgroup of the $SO\left( 6\right) $ R-symmetry of the underlying
148: $\mathcal{N}=4$ CFT$_{4}$.
149: \begin{equation}
150: \Gamma \subset SU\left( 2\right) \subset SO\left( 6\right) \label{200}
151: \end{equation}
152: It follows from this constraint eq that $\Gamma $\ may be any finite
153: subgroups of the $\widetilde{ADE}$ \footnote{$\widetilde{ADE}$ denote $%
154: SU\left( 2\right) $ discrete subgroups and should not be confused with the
155: usual\ notations for ordinary $ADE$ \ and affine \ $\widehat{ADE}$ \ Lie
156: algebras.} classification of discrete finite subgroups of $SU\left( 2\right)
157: $ \cite{s1,s2}. These finite groups, which are well known in the
158: mathematical litterature, are either abelian as for the usual cyclic $%
159: \mathbf{Z}_{k}$\ group or non abelian as for the case of binary $\widetilde{%
160: DE}$ groups defined by,
161: \begin{eqnarray}
162: \widetilde{D_{2k}} &=&\left\{
163: a,b|b^{2}=a^{k};ab=ba^{-1};a^{2k}=I_{id}\right\} , \notag \\
164: \widetilde{E_{6}} &=&\left\{ a,b|a^{3}=b^{3}=\left( ab\right) ^{3}\right\} ,
165: \label{201}
166: \end{eqnarray}
167: together with analogous relations for $\widetilde{E_{7}}$\ and $\widetilde{%
168: E_{8}}$. In what follows, we shall address the question of metrics building
169: of pp wave orbifolds with respect to some of these groups; more details on
170: the way they are involved in the BMN correspendence will be exposed in a
171: subsequent paper \cite{s3}.
172:
173: To derive the moduli dependent metric of orbifolds of the pp wave
174: geometries, we start from eq(\ref{ppmetric}) and use the local coordinates $(%
175: \mathbf{x;}z_{1},z_{2})$ of the space $\mathbf{R}^{4}\times \mathbf{C}%
176: ^{2}\sim \mathbf{R}^{4}\times \mathbf{R}^{4}$ where $\mathbf{x=}%
177: (x^{2},x^{3},x^{4},x^{5})$ and where $z_{1}=\left( x^{6}+ix^{7}\right) $ and
178: $z_{2}=\left( x^{8}+ix^{9}\right) $. In this coordinate system, the metric
179: of the pp wave background has a manifest $SO(4)\times SU\left( 2\right)
180: \times U(1)\subset SO(4)\times SO\left( 4\right) $ isometry group and reads
181: as
182: \begin{eqnarray}
183: ds^{2} &=&-4dx^{+}dx^{-}+d\mathbf{x}^{2} \notag \\
184: &&-\mu ^{2}(\mathbf{x}^{2}+\left| z_{1}\right| ^{2}+\left| z_{2}\right|
185: ^{2})(dx^{+})^{2} \label{21a} \\
186: &&+\left| dz_{1}\right| ^{2}+\left| dz_{2}\right| ^{2}. \notag
187: \end{eqnarray}
188: where $\left| z_{i}\right| ^{2}=z_{i}\overline{z}_{i}$. In type IIB closed
189: string theory where these coordinates are interpreted as two dimension world
190: sheet bosonic periodic fields,
191: \begin{eqnarray}
192: x\left( \sigma ^{0},\sigma ^{1}+2\pi \right) &=&x\left( \sigma ^{0},\sigma
193: ^{1}\right) \notag \\
194: z\left( \sigma ^{0},\sigma ^{1}+2\pi \right) &=&z\left( \sigma ^{0},\sigma
195: ^{1}\right) , \label{210}
196: \end{eqnarray}
197: the above relation leads to a very remarkable field action which, in the
198: light cone gauge, is nothing but the action of a system of free and massive
199: harmonic oscillators,
200: \begin{equation}
201: S_{Bose}\left[ \mathbf{x;}z\right] \sim -\int d^{2}\sigma \left[ \partial
202: _{\alpha }\mathbf{x}\partial ^{\alpha }\mathbf{x+}\partial _{\alpha
203: }z_{i}\partial ^{\alpha }\overline{z}_{i}+\nu ^{2}(\mathbf{x}^{2}+\left|
204: z_{1}\right| ^{2}+\left| z_{2}\right| ^{2})\right] \label{211}
205: \end{equation}
206: where $\nu =p^{+}\mu $ and where $\partial _{\alpha }\partial ^{\alpha
207: }=-\partial _{\tau }^{2}+\partial _{\sigma }^{2}$.\ The field eq of motion $%
208: \left( \partial _{\alpha }\partial ^{\alpha }-\nu ^{2}\right) \mathbf{x}$
209: and $\left( \partial _{\alpha }\partial ^{\alpha }-\nu ^{2}\right) z$\ \ are
210: exactly solved as,
211: \begin{equation}
212: x\left( \tau ,\sigma \right) =\sum_{n\in Z}\frac{i}{\sqrt{2\omega _{n}}}%
213: \left( e^{-i\omega _{n}\tau +in\sigma }a_{n}-e^{i\omega _{n}\tau -in\sigma
214: }a_{n}^{\dagger }\right) , \label{212a}
215: \end{equation}
216: and similarly for the $z$'s and for fermionic partners. In this equation, $%
217: a_{n}$ and $a_{n}^{\dagger }$\ are, roughly speaking, the harmonic
218: annihilation and creation operators of string states and the $\omega _{n}$
219: frequencies are as follows,
220: \begin{equation}
221: \omega _{n}=\omega _{-n}=\sqrt{n^{2}+\nu ^{2}}. \label{213}
222: \end{equation}
223: Due to the presence of the background field, these $\omega _{n}$'s are no
224: longer integers as they are shifted with respect to the standard zero mass
225: results.
226:
227: To study the field theory associated with pp waves orbifolds with $%
228: \widetilde{ADE}$ singularities and their complex deformations, we consider
229: the form (\ref{21a}) of the metric and impose
230: \begin{eqnarray}
231: x\left( \sigma ^{0},\sigma ^{1}+2\pi \right) &=&x\left( \sigma ^{0},\sigma
232: ^{1}\right) \notag \\
233: z\left( \sigma ^{0},\sigma ^{1}+2\pi \right) &=&Uz\left( \sigma ^{0},\sigma
234: ^{1}\right) U^{-1},
235: \end{eqnarray}
236: where $U$\ is an element of the orbifold symmetry group and where $UzU^{-1}$
237: elements belong to the same equivalent class as $z$. For the special case of
238: the $Z_{k}$ abelian discrete symmetry where $UzU^{-1}=z\exp i\frac{2q\pi }{k}
239: $, the analogue of the expansion (\ref{212a}) has twisted sectors and reads
240: as
241: \begin{equation}
242: z_{1}\left( \tau ,\sigma \right) =\sum_{n\in Z}\frac{i}{\sqrt{2\omega
243: _{n\left( q\right) }}}e^{-in\left( q\right) \sigma }\left( e^{-i\omega
244: _{n\left( q\right) }\tau }b_{n}-e^{i\omega _{n\left( q\right) }\tau
245: }d_{-n}^{\dagger }\right) ,
246: \end{equation}
247: with
248: \begin{eqnarray}
249: n\left( q\right) &=&n+\frac{q}{k};\quad 0\leq q\leq k-1 \notag \\
250: b_{n} &=&a_{n}^{6}+ia_{n}^{7};\quad d_{n}^{\dagger }=a_{n}^{6\dagger
251: }+ia_{n}^{7\dagger },
252: \end{eqnarray}
253: and similar relations for $z_{2}\left( \tau ,\sigma \right) $ with the upper
254: indices $6$ and $7$ replaced by $8$ and $9$. Note that the metric (\ref{21a}%
255: ) allows to realize manifestly the orbifold group actions and, as we will
256: see, permits to read directly the various types of fundamental and
257: bi-fundamental matter moduli one has on the $\mathcal{N}=2$ field theory
258: side and too particularly in the CFT$_{4}$ model we are interesed in here.
259:
260: \section{$SU\left( k\right) $ pp waves geometry}
261:
262: There are two known kinds of $\mathcal{N}=2$ supersymmetric CFT$_{4}$s
263: associated with $A_{k}$ singularity. This is due to the fact that there are
264: two kinds of $A_{k}$ singularities one may have at the origin of complex
265: surfaces: the first kind involving the ordinary $SU\left( k\right) $ Lie
266: algebra classification and the other implying $\widehat{SU\left( k\right) }$
267: affine one. In this section, we focus our attention on the first case. In
268: the forthcoming section, we consider the affine one. Note in passing that
269: while conformal invariance presents no problem in the second case; there is
270: however extra constraint eqs one should take into account for the first
271: class of models. This feature, which is mainly associated with the inclusion
272: of fundamental matters in addition to bifundamental matter, will be
273: considered in \cite{s3}.
274:
275: \subsection{Degenerate orbifold Metric}
276:
277: To start recall that the nearby of the singular point $%
278: x^{6}=x^{7}=x^{8}=x^{9}=0$ of the real four dimension space$\ \mathbf{R}^{4}/%
279: \mathbf{Z}_{k}\sim \mathbf{C}^{2}/\mathbf{Z}_{k}$ is just an ALE space with
280: a $SU\left( k\right) $\ singularity. In other words in the neighbourhood of
281: the singularity, the space $\mathbf{R}^{4}\times \mathbf{C}^{2}/\mathbf{Z}%
282: _{k}$ may be thought of as $\mathbf{R}^{4}\times \mathbf{T}^{\ast }\mathbf{CP%
283: }^{1}$. The cotangeant bundle $\mathbf{T}^{\ast }\mathbf{CP}^{1}$ is known
284: to have two toric actions \cite{leung}:
285: \begin{equation}
286: z\rightarrow e^{i\theta }z;\quad w\rightarrow e^{-i\theta }w,
287: \end{equation}
288: and
289: \begin{equation}
290: z\rightarrow e^{i\phi }z;\quad w\rightarrow w,
291: \end{equation}
292: where $z$ is the non compact direction and $w$ is the coordinate of $\mathbf{%
293: CP}^{1}$. If we denote by $c$ and $c^{\prime }$ the two one dimensional
294: cycles of T$^{2}$ corresponding to the action $\theta $\ and $\phi $, then $%
295: \mathbf{T}^{\ast }\mathbf{CP}^{1}$ may be viewed as $\mathbf{T}^{2}$
296: fibration over $\mathbf{R}_{+}^{2}$ with coordinates $\left| z\right| $\ and
297: $\left| w\right| $. The toric action has three fixed loci:
298: \begin{eqnarray}
299: c-c^{\prime } &=&0\Leftrightarrow \left| w\right| =0,\quad \forall \left|
300: z\right| \notag \\
301: c^{\prime } &=&0\Leftrightarrow \frac{1}{\left| w\right| }=0,\quad \forall
302: \left| z\right| , \\
303: c+c^{\prime } &=&0\Leftrightarrow \left| z\right| =0,\quad \forall \left|
304: w\right| \notag
305: \end{eqnarray}
306: At the singular point where the two cycles shrink, the product $zw$ goes, in
307: general, to zero as
308: \begin{equation}
309: zw=\zeta ^{k},\qquad k\geq 2, \label{23}
310: \end{equation}
311: with $\zeta \rightarrow 0$. Eq(\ref{23}) tells us, amongst others, that the
312: local variables to deal with the geometry of the Penrose limit of $%
313: AdS_{5}\times S^{5}/\mathbf{Z}_{k}$ are
314: \begin{equation}
315: z_{1}=z;\qquad z_{2}=\frac{\zeta ^{k}}{z}. \label{25}
316: \end{equation}
317: Using these new variables as well as the explicit expression of the
318: differential,
319: \begin{equation}
320: dz_{2}=k\frac{\zeta }{z}^{k-1}d\zeta -\frac{\zeta ^{k}}{z^{2}}dz, \label{26}
321: \end{equation}
322: the metric of the pp wave orbifold geometry (\ref{21a}) reads near the
323: singularity as,
324: \begin{eqnarray}
325: ds^{2}|_{SU\left( k\right) } &=&-4dx^{+}dx^{-}+d\mathbf{x}^{2} \notag \\
326: &&-\mu ^{2}G_{++}dx^{+}{}^{2}+G_{z\overline{z}}\left| dz\right|
327: ^{2}+G_{\zeta \overline{\zeta }}\left| d\zeta \right| ^{2} \label{27} \\
328: &&+\left( G_{z\overline{\zeta }}dzd\overline{\zeta }+G_{\zeta \overline{z}%
329: }d\zeta d\overline{z}\right) , \notag
330: \end{eqnarray}
331: where the metric factors $G_{ij}$ are given by,
332: \begin{eqnarray}
333: G_{++} &=&\mathbf{x}^{2}+\left| z\right| ^{-2}\left( \left| z\right|
334: ^{4}+\left| \zeta \right| ^{2k}\right) , \notag \\
335: G_{z\overline{z}} &=&1+\frac{\left| \zeta \right| ^{2k}}{\left| z\right| ^{4}%
336: };\qquad G_{\zeta \overline{\zeta }}=k^{2}\frac{\left| \zeta \right|
337: ^{2\left( k-1\right) }}{\left| z\right| ^{2}}, \label{28} \\
338: G_{z\overline{\zeta }} &=&-k\frac{\left| \zeta \right| ^{2\left( k-1\right) }%
339: }{\left| z\right| ^{2}}\frac{\zeta }{z};\qquad G_{\zeta \overline{z}}=-\frac{%
340: \left| \zeta \right| ^{2\left( k-1\right) }}{\left| z\right| ^{2}}\frac{%
341: \overline{\zeta }}{\overline{z}}. \notag
342: \end{eqnarray}
343: This metric has degenerate zeros at $z=\zeta =0$, which may be lifted by
344: deformations of $G_{ij}$'s. In what follows, we describe a way to lift this
345: degeneracy by using complex deformations of ALE space singularity.
346:
347: \subsection{Moduli dependent pp wave geometry}
348:
349: To lift degeneracy of eq(\ref{28}), one can use either Kahler or complex
350: resolutions of the $SU\left( k\right) $ singularity. In the second case,
351: this is achieved by deformation of the complex structure of the orbifold
352: point of $\mathbf{C}^{2}/\mathbf{Z}_{k}$ which amount to repalce eq(\ref{23}%
353: ) by
354: \begin{equation}
355: z_{1}z_{2}=\zeta ^{k}+a_{1}\zeta ^{k-1}+...+a_{k-1}\zeta , \label{29}
356: \end{equation}
357: where $a_{i}$ are complex numbers. Note that if all the $a_{i}$'s are non
358: zero, the degeneracy is completely lifted, otherwise it is partially lifted.
359: Note also that from the field theory point of view, the $a_{i}$ moduli are
360: interpreted as the vev's of the hypermultiplets in the bi-fundamental
361: representations of the $\mathcal{N}=2$ supersymmetric $\prod_{i}U\left(
362: N_{i}\right) $\ quiver gauge theory \cite{s4}.\ The ratio $z_{i}=\frac{%
363: a_{i-1}a_{i+1}}{a_{i}^{2}}$\ are the gauge coupling moduli. From this
364: relation, eq(\ref{25}) extends as,
365: \begin{equation}
366: z_{2}=a_{0}\frac{\zeta ^{k}}{z}+\sum_{j=1}^{k}a_{j}\frac{\zeta ^{k-j}}{z},
367: \label{30}
368: \end{equation}
369: with $a_{0}=1$ and so the holomorphic differential $dz_{2}$ reads as,
370: \begin{equation}
371: dz_{2}=\sum_{j=0}^{k}a_{j}\frac{\zeta ^{k-j-1}}{z}\left[ \left( k-j\right)
372: d\zeta -\frac{\zeta }{z}dz\right] +\sum_{j=0}^{k}\frac{\zeta ^{k-j}}{z}%
373: da_{j}. \label{31}
374: \end{equation}
375: In eq(\ref{31}), we have also varied the complex moduli; this is what one
376: should do in $\mathcal{N}=2$ CFT$_{4}$ with $SU\left( k\right) $ geometry
377: which, in addition to gauge fields and bi-fundamental matters, requires the
378: introduction of fundamental matters as well. We shall not consider this
379: aspect here; we will then purely and simply set $da_{j}=0$. As such the
380: previous metric of the degenerate $SU\left( k\right) $ pp waves geometry
381: reads now as,
382: \begin{eqnarray}
383: G_{++} &=&\mathbf{x}^{2}+\frac{1}{\left| z\right| ^{2}}\left( \left|
384: z\right| ^{4}+\left| \sum_{j=0}^{k}a_{j}\zeta ^{k-j}\right| ^{2}\right) ,
385: \notag \\
386: G_{z\overline{z}} &=&1+\frac{1}{\left| z\right| ^{2}}\left|
387: \sum_{j=0}^{k}a_{j}\frac{\zeta ^{k-j}}{z^{2}}\right| ^{2},\qquad G_{\zeta
388: \overline{\zeta }}=\frac{1}{\left| z\right| ^{2}}\left| \sum_{j=0}^{k}\left(
389: k-j\right) a_{j}\zeta ^{k-j-1}\right| ^{2}, \label{32} \\
390: G_{z\overline{\zeta }} &=&-\frac{1}{\left| z\right| ^{2}}\left|
391: \sum_{j=0}^{k}\left( k-j\right) a_{j}\zeta ^{k-j}\right| ^{2}\frac{\zeta }{z}%
392: ,\qquad G_{\zeta \overline{z}}=-\frac{1}{\left| z\right| ^{2}}\left|
393: \sum_{j=0}^{k}\left( k-j\right) a_{j}\zeta ^{k-j}\right| ^{2}\frac{\overline{%
394: \zeta }}{\overline{z}}. \notag
395: \end{eqnarray}
396: By making appropriate choices of the $a_{j}$ complex moduli, one can cover
397: all the kinds of pp wave geometries involving subgroups of the $SU\left(
398: k\right) $ singularity.
399:
400: \section{Affine $\widehat{ADE}$ pp waves geometry}
401:
402: Here we are interested in the Penrose limit of $AdS_{5}\times S^{5}$
403: orbifolds with affine $\widehat{ADE}$ singularities. We will focus our
404: attention on the metric building of the pp wave geometry with affine $%
405: \widehat{A_{k}}$ singularity. Then we give the results for the other cases.
406: To start recall that affine $\widehat{A_{k}}$ singularity is given by the
407: following holomorphic eq
408: \begin{equation}
409: z_{1}^{2}+z_{2}^{3}+z_{2}^{2}=\zeta ^{k+1}; \label{33}
410: \end{equation}
411: describing a family of complex two surfaces embedded in $\mathbf{C}^{3}$. A
412: tricky way to handle this singularity is to use elliptic fibration over the
413: complex plane considered in \cite{s4,s5,s6}. In this method, one considers
414: instead of eq(\ref{33}), the following equivalent one,
415: \begin{equation}
416: v\left( z_{1}^{2}+z_{2}^{3}+\zeta ^{6}+az_{1}z_{2}\zeta \right) +\zeta
417: ^{k+1}=0, \label{341}
418: \end{equation}
419: where the parameter $a$ is the torus complex structure. Note that these eqs
420: are homogeneous under the change $\left( z_{1},z_{2},\zeta ,v\right)
421: \rightarrow \left( \lambda ^{3}z_{1},\lambda ^{2}z_{2},\lambda \zeta
422: ,\lambda ^{k-5}v\right) $ allowing to fix one of them; say $v=1$. With this
423: constraint, one recovers the right dimension of the $\widehat{SU\left(
424: k\right) }$ geometry near the origin. In what follows, we consider the case $%
425: k=2n-1$, $n\geq 2$ and set $v=1$.
426:
427: \subsection{Degenerate Orbifold metric}
428:
429: Starting from eq(\ref{341}), which we rewrite as
430: \begin{equation}
431: z_{1}^{2}-2z_{1}f+g=0, \label{35}
432: \end{equation}
433: where $f$ and $g$ are holomorphic functions given by,
434: \begin{eqnarray}
435: f &=&-\frac{a}{2}z_{2}\zeta , \notag \\
436: g &=&z_{2}^{3}+\zeta ^{6}+\frac{\zeta ^{2n}}{v}, \label{36}
437: \end{eqnarray}
438: one can solve eq(\ref{35}) as a homogenous function of $z_{2}$, $\zeta $ and
439: $v$\footnote{%
440: one may also take the other solution namely $z_{1}=f-\sqrt{f^{2}-g}$.}
441: \begin{equation}
442: z_{1}=f+\sqrt{f^{2}-g} \label{37}
443: \end{equation}
444: Using this relation, one may compute the differential $dz_{1}$ in terms of $%
445: dz_{2}$, $d\zeta $\ and $dv$\ as follows
446: \begin{equation}
447: dz_{1}=\left( 1+\frac{f}{\sqrt{f^{2}-g}}\right) df\text{ }-\frac{1}{2\sqrt{%
448: f^{2}-g}}dg, \label{38}
449: \end{equation}
450: with
451: \begin{equation}
452: d\chi =dz_{2}\partial _{z_{2}}\chi +d\zeta \partial _{\zeta }\chi
453: +dv\partial _{v}\chi , \label{39}
454: \end{equation}
455: where $\chi $\ stands for the functions $f$ and $g$. In the coordinate patch
456: $v=1$ where $dv=0$, the metric of pp waves background, near the orbifold
457: point with affine $\widehat{SU\left( 2n-1\right) }$ singularity, reads as,
458: \begin{eqnarray}
459: ds^{2} &=&-4dx^{+}dx^{-}+d\mathbf{x}^{2} \notag \\
460: &&-\mu ^{2}\left[ \mathbf{x}^{2}+\left| f+\sqrt{f^{2}-g}\right| ^{2}+\left|
461: z\right| ^{2}\right] (dx^{+})^{2} \label{400} \\
462: &&+G_{z\overline{z}}\left| dz\right| ^{2}+G_{\zeta \overline{\zeta }}\left|
463: d\zeta \right| ^{2}+\left( G_{z\overline{\zeta }}dzd\overline{\zeta }%
464: +hc\right) \notag
465: \end{eqnarray}
466: where
467: \begin{eqnarray}
468: G_{z\overline{z}} &=&1+\left| \left( 1+\frac{f}{\sqrt{f^{2}-g}}\right)
469: \partial _{z_{2}}f\text{ }-\frac{1}{2\sqrt{f^{2}-g}}\partial
470: _{z_{2}}g\right| ^{2}, \notag \\
471: G_{\zeta \overline{\zeta }} &=&\left| \left( 1+\frac{f}{\sqrt{f^{2}-g}}%
472: \right) \partial _{\zeta }f\text{ }-\frac{1}{2\sqrt{f^{2}-g}}\partial
473: _{\zeta }g\right| ^{2}, \notag \\
474: G_{z\overline{\zeta }} &=&\left[ \left( 1+\frac{f}{\sqrt{f^{2}-g}}\right)
475: \partial _{z}f\text{ }-\frac{1}{2\sqrt{f^{2}-g}}\partial _{z}g\right] \times
476: \label{41} \\
477: &&\left[ \overline{\left( 1+\frac{f}{\sqrt{f^{2}-g}}\right) \partial _{\zeta
478: }f\text{ }-\frac{1}{2\sqrt{f^{2}-g}}\partial _{\zeta }g}\right] \notag
479: \end{eqnarray}
480: A more explicit expression of this degenerate metric may be obtained by
481: using eqs(\ref{36},\ref{37}).
482:
483: \subsection{pp waves metric}
484:
485: To lift the degeneracy of the orbifold metric eq(\ref{41}), we use the
486: following complex deformation of eq(\ref{341}),
487: \begin{equation}
488: 0=v\left( z_{1}^{2}+z_{2}^{3}+\zeta ^{6}+az_{1}z_{2}\zeta \right) +\zeta
489: ^{2n}+\Delta , \label{420}
490: \end{equation}
491: with
492: \begin{equation}
493: \Delta =\sum_{i=1}^{n-1}a_{2i}z_{2}^{i}\zeta
494: ^{2n-2i}+a_{2n}z_{2}^{n}+z_{1}\sum_{i=0}^{n-2}b_{2i+1}z_{2}^{i}\zeta
495: ^{2n-2i-3}, \label{421}
496: \end{equation}
497: where $a_{2i}$ and $b_{2i+1}$\ are complex numbers describing the complex
498: deformations of the singularity. This relation may also be rewritten as,
499: \begin{equation}
500: z_{1}^{2}-2z_{1}F+G=0, \label{43}
501: \end{equation}
502: where now,
503: \begin{eqnarray}
504: F &=&-\frac{1}{2}\left( az_{2}\zeta +\sum_{i=0}^{n-2}b_{2i+1}z_{2}^{i}\zeta
505: ^{2n-2i-3}\right) , \notag \\
506: G &=&z_{2}^{3}+\zeta ^{6}+\left( \frac{\zeta ^{2n}}{v}%
507: +\sum_{i=1}^{n}a_{2i}z_{2}^{i}\zeta ^{2n-2i}\right) , \label{431}
508: \end{eqnarray}
509: To get the metric of the pp wave geometry, one does the same analysis as we
510: have done in subsection 4.1 for the case where $a_{i}=b_{i}=0$. The
511: relations one gets\ are formally similar to those we have obtained before;
512: one has just to replace $f$ and $g$ by $F$ and $G$ respectively.
513:
514: \section{Conclusion}
515:
516: The analysis we have described above may be applied for the remaining other
517: kinds of pp waves orbifolds with ordinary $ADE$ and affine $\widehat{ADE}$
518: singularities. All one has to do is to identify the explicit expressions of
519: the analogue of the holomorphic functions $F$ and $G$ and redo the same
520: calculations. For the case of affine $\widehat{SO\left( k\right) }$ pp wave
521: orbifolds, the analogue of eqs(\ref{431}) is given by,
522: \begin{eqnarray}
523: F &=&-\frac{1}{2}\left( az_{2}\zeta +b_{1}\zeta ^{2n}+c_{1}\zeta
524: ^{4}z_{2}^{n-2}\right) , \notag \\
525: G &=&z_{2}^{3}+\zeta ^{6}+\left( b_{2}\zeta ^{2n+2}+c_{2}\zeta
526: ^{3}z_{2}^{n}+\sum_{i=0}^{2n-4}a_{2i}z_{2}^{i}\zeta ^{4n-2i}\right) ,
527: \end{eqnarray}
528: for $k=2n$ and
529: \begin{eqnarray}
530: F &=&-\frac{1}{2}\left( az_{2}\zeta +b_{1}\zeta ^{2n}+c_{1}\zeta
531: ^{3}z_{2}^{n-2}\right) , \notag \\
532: G &=&z_{2}^{3}+\zeta ^{6}+\left( b_{2}\zeta ^{2n+2}+c_{2}\zeta
533: ^{4}z_{2}^{n-1}+\sum_{i=0}^{2n-4}a_{2i}z_{2}^{i}\zeta ^{4n-2i}\right)
534: \end{eqnarray}
535: fo $k=2n-1$. One may also write down the expression of these holomorphic
536: functions $F$ and $G$ for the other remaining geometries. More details on
537: these calculations including Kahler deformations method as well as the
538: corresponding CFT$_{4}$ models will be exposed in \cite{s3}.
539:
540: \begin{thebibliography}{10}
541: \bibitem[1]{GMN} D. Berenstein, J. Maldacena and H. Nastase, ``String in
542: flat space and pp-waves from $\mathcal{N}=4$ Sper Yang Mills'',
543: hep-th/0202021.
544:
545: \bibitem[2]{ms1} J. Maldacena, ``The large N limit of uperconformal field
546: theoriesand supergravity,'' Adv. Theor. Phys. \textbf{2}, 231(1998),
547: hep-th/9711200
548:
549: \bibitem[3]{ms2} S. S. Gubser, I. R. Klebanov and A. M. Ployakov,``Gauge
550: theory coelators from non-critical string theory,'' Phys.Lett. \textbf{B 428}%
551: , 105 (1998), hep-th/9802109.
552:
553: \bibitem[4]{ms3} E. Witten, ``Anti de Sitter space and holography,'' Adv.
554: Theor. Math. Phys. \textbf{2}, 253 (1998), hep-th/9802150.
555:
556: \bibitem[5]{ms4} O. Aharony, S. S Gubser, J. Maldacena, H. Oogori and Y.
557: Oz, ``Large N field theories, string theory and gravity,'' Phys. Rept.
558: \textbf{323}, 183(2000), hep-th/9905111
559:
560: \bibitem[6]{kprt} N. Kim, A. Pankiewicz, S. Rey and S. Theisen,
561: ``Superstring on pp-wave orbifold from large N quiver gauge theory'',
562: hep-th/0203080.
563:
564: \bibitem[7]{m1} D. Berenstein, E. Gava, J. Maldacena, K.S. Narain and H.
565: Nastase, ``Open strings on plane waves and their Yang Mills duals''
566: hep-th/0203249.
567:
568: \bibitem[8]{m2} A. Fayyazuddin and M. Spalinski, ``Large N superconformal
569: gauge theories and upergravity orientifold'', Nucl. Phy. \textbf{B535}
570: (1998)219, hep-th/9805096.
571:
572: \bibitem[9]{m3} O. Aharony, A. Fayyazuddin and J. Maldacena, `` The large L
573: limit of N=1,2 from three-banes in F-theory'', JHEP 9807(1998)013,
574: hep-th/9807159.
575:
576: \bibitem[10]{m4} M. Blau, J. Figueroa O'Farill, C. Hull and G.
577: Papadopoulos, ``Penrose limits and maximal supersymmetry'', hep-th/0201081.
578:
579: \bibitem[11]{m5} M. Blau, J. Figueroa O'Farill, C. Hull and G.
580: Papadopoulos, ``A new maximally supersymmetric background of type IIB
581: superstring theory'', JHEP \textbf{0201} 047(2001) hep-th/0110242..
582:
583: \bibitem[12]{s1} A. Lawrence, N. Nekrasov and C. Vafa, ``On conformal
584: theories in 4 dimension'', Nucl.Phys. B533 (1998) 199-209, hep-th /9803015
585:
586: \bibitem[13]{s2} B. Feng, A. Hanany, Yang-Hui He and N. Prezas, ``Discrete
587: torsion, non abelian orbifolds and the schur multiplier'', hep-th/0010023
588:
589: \bibitem[14]{s3} E M Sahraoui and E H Saidi, ``Type IIB String on pp Wave
590: Orbifolds and ADE Singularities,'' UFRHEP/02/10
591:
592: \bibitem[15]{s4} S.Kachru \ and E.Silverstein, ``4d conformal field
593: theories and strings on orbifolds'', Phys.Rev.Lett. 80 (1998)4855-4858,
594: hep-th/9802183
595:
596: \bibitem[16]{s5} S Katz, P.Mayr and C.Vafa, ``Mirror symmetry and exact
597: solution of 4d N=2 gauge theories I'', Adv.Theor.Math.Phys. 1 (1998)53-114,
598: hep-th/9706110
599:
600: \bibitem[17]{s6} A Belhaj, A ElFallah and E H Saidi, ``Toric geometry,
601: enhanced non simply laced gauge symmetries in superstrings and F-theory
602: compactifications'', CQG 17 (2000) 517, hep-th/0012131.
603:
604: \bibitem[18]{leung} N.C. Leung, C. Vafa, ``Branes and Toric Geometry'',
605: Adv.Theor.Math.Phys. 2 (1998) 91-118, hep-th/9711013.
606:
607: \bibitem[19]{shikh} M. Alishahiha and M.M. Sheikh-jabbari, ``The pp wave
608: limits of orbifolded $AdS_{5}\times S^{5}$'', hep-th/0203018.
609: \end{thebibliography}
610:
611: \end{document}
612: