1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4: %\documentstyle[11pt]{article}
5: \documentclass[11pt]{article}
6: %\usepackage[notcite,notref]{showkeys}
7: \usepackage{epsfig}
8: \topmargin=-1.5cm\textheight=22.cm\textwidth=16.cm
9: \evensidemargin=0.5cm\oddsidemargin=0.5cm
10: \begin{document}
11: %GREEK LETTERS
12: \def\a{\alpha}\def\b{\beta}\def\g{\gamma}\def\d{\delta}\def\e{\epsilon }
13: \def\k{\kappa}\def\l{\lambda}\def\L{\Lambda}\def\s{\sigma}\def\S{\Sigma}
14: \def\Th{\Theta}\def\th{\theta}\def\om{\omega}\def\Om{\Omega}\def\G{\Gamma}
15: \def\y{\vartheta}\def\m{\mu}\def\n{\nu}
16: %%%
17: \def\ws{worldsheet}
18: \def\susy{supersymmetry}
19: \def\ts{target superspace}
20: \def\ks{$\k$--symmetry}
21: %\newcommand{\plabel}[1]{\label{#1}\fbox{#1}}
22: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
23: \newcommand{\plabel}{\label}
24: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
25: \renewcommand\baselinestretch{1.5}
26: \newcommand{\nn}{\nonumber\\}\newcommand{\p}[1]{(\ref{#1})}
27: \renewcommand{\thefootnote}{\fnsymbol{footnote}}
28: \thispagestyle{empty}
29: \begin{flushright}
30: hep--th/0403101
31: \end{flushright}
32:
33:
34:
35: \bigskip
36: \thispagestyle{empty}
37:
38: \vspace{1cm}
39: \begin{center}
40: {\Large\bf Diagrammar and metamorphosis of coset symmetries in
41: dimensionally reduced type IIB supergravity}
42:
43:
44:
45: \vspace{2.5cm}
46: %{\bf
47: A. J. ~~Nurmagambetov
48: %\footnote{Work supported in part ...}
49: \footnote{Electronic address: ajn@kipt.kharkov.ua}
50:
51: \vspace{1.8cm}
52: {\small\it A.I. Akhiezer Institute for Theoretical Physics\\
53: NSC ``Kharkov Institute of Physics and Technology"\\
54: Kharkov, 61108, Ukraine}
55:
56:
57:
58: \vspace{3.3cm} {\bf Abstract}
59: \end{center}
60: Studying the reduction of type IIB supergravity from ten to three
61: space-time dimensions we describe the metamorphosis of Dynkin
62: diagram for gravity line ``caterpillar" into a type IIB
63: supergravity ``dragonfly" that is triggered by inclusion of
64: scalars and antisymmetric tensor fields. The final diagram
65: corresponds to type IIB string theory $E_8$ global symmetry group
66: which is the subgroup of the conjectured $E_{11}$ hidden symmetry
67: group. Application of the results for getting the type IIA/IIB
68: T-duality rules and for searching for type IIB vacua solutions is
69: considered.
70:
71: \vspace{3cm} {\it PACS: 04.65.+e, 04.50.+h, 11.25.Mj}
72: %{\it Keywords:
73: %AdS/CFT, M5-brane, supergravity}
74:
75:
76: \renewcommand{\thefootnote}{\arabic{footnote}}
77: \setcounter{page}1
78:
79:
80:
81:
82: \newpage
83:
84:
85: One of the problems which has been actively studied last time is
86: to identify the underlying Superstring/M-theory symmetry group
87: \cite{westE11,westE8,ehtw}. Knowing the group is the essential
88: step in passing from higher energies and dimensions to
89: phenomenologically relevant vacua of M-theory and is the bypass
90: for bringing to light the hidden but essential ingredients of
91: higher dimensional theory that might help uncover its true
92: non-perturbative structure. The evidence on possible
93: group-theoretical ground of M-theory comes from studying the coset
94: symmetries in dimensionally reduced D=11 supergravity as the
95: M-theory low-energy limit. It was realized long ago \cite{cj} that
96: the global symmetry groups of D=11 supergravity toroidally
97: compactified down to four space-time dimensions fall into the
98: class of exceptional groups $E_n$ with $n\le 7$. Subsequent
99: reduction of D=11 supergravity to three \cite{MS} and to two
100: \cite{N} dimensional space-times (see also \cite{miz}) revealed
101: $E_8$ and $E_9$ global symmetry structure. The role of $E_{10}$ as
102: the hidden symmetry group of D=11 supergravity compactified onto
103: ten-dimensional torus was emphasized in \cite{julia82} and this
104: conjecture has been proved in \cite{miz}.
105:
106: The important step in relating the global symmetry groups of
107: toroidally reduced D=11 supergravity to the true but hidden
108: symmetry group of the theory in eleven dimensions was done in
109: \cite{kns}. There was discovered the exceptional geometry of D=3
110: maximal supergravity that allowed to reformulate D=11 supergravity
111: in a $E_8$ invariant way. Together with previously obtained
112: results of \cite{dwn} and \cite{dtn} this observation gave the
113: strong evidence in favor of searching for the exceptional geometry
114: of M-theory based on a symmetry group which shall contain as a
115: subgroup the $E_n$ sequence of global low-dimensional symmetries
116: with $n\le 10$. Following previous experience it could be naively
117: expected to have, after ``compactifying" the time, a hidden
118: symmetry group whose algebra is of the rank eleven and includes
119: $E_9$ and $E_{10}$ as subalgebras. Since $E_{10}$ is the
120: hyperbolic Kac-Moody algebra \cite{GN} which contains $E_8$ and
121: its affine extension $E_9 \sim E^{+}_8$ as subalgebras and is
122: called the over-extension of $E_8$, i.e. $E_{10}\sim E^{++}_8$, an
123: M-theory hidden symmetry group should also be an extension of
124: hyperbolic Kac-Moody algebras. Such a generalization studied in
125: \cite{westE8}, \cite{gow}, \cite{ksw}, \cite{k} has been
126: christened the ``very-extension" of $E_8$ or $E_{11}\sim
127: E^{+++}_8$ (see also \cite{NO}, \cite{NF}).
128:
129: The relevance of $E_{11}$ to the non-linear realization of
130: supergravities has been demonstrated for the bosonic subsectors of
131: higher dimensional maximal supergravities \cite{westE11},
132: \cite{sw}. A curious result is that the global hidden symmetry
133: group of type IIB theory turns out to be the same as for M\&A
134: theories related to each other by dimensional reduction. Since the
135: type IIB theory is not related to M-theory via straightforward
136: dimensional reduction on a circle the validity of $E_{11}$ as the
137: type IIB theory global symmetry group can be established in
138: studying the coset structure of dimensionally reduced type IIB
139: supergravity. Substantial fragments of this structure has been
140: found in \cite{cjlp}, \cite{cjlp0}, \cite{keur}, \cite{ksw},
141: \cite{sm}.
142:
143: The aim of the present paper is to re-collect the fragments in a
144: systematic way during the application of ``anti-oxidation"
145: strategy of \cite{lw} and to emphasize the points that were
146: omitted from previous considerations. We are getting started with
147: ten-dimensional theory compactifying it to three space-time
148: dimensions. The special role of three-dimensional space-time in
149: establishing the hidden symmetries of higher-dimensional
150: supergravities has been emphasizing for a long time since there is
151: no gravity degrees of freedom in D=3 and dualising gauge fields we
152: get the theory whose dynamics is completely determined by scalar
153: degrees of freedom. Depending on the original higher-dimensional
154: sub-sectors of fields the scalars parameterize different $G/H$
155: coset spaces. Identifying the global group $G$ for different
156: subsectors of type IIB supergravity is our main task.
157:
158:
159: Let us begin our quest of the hidden symmetry group of type IIB
160: superstring theory with the following action describing dynamics
161: of the bosonic subsector of fields entering the type IIB
162: supergravity multiplet
163: $$
164: S=\int_{{\cal M}^{10}}\, [R\ast{\bf 1}+{1\over 2}d\phi_0\ast
165: d\phi_0 +{1\over 2}e^{2\phi_0}d\chi_0\ast d\chi_0
166: $$
167: $$
168: -{1\over 2}e^{-\phi_0}H^{(3)}\ast H^{(3)}-{1\over
169: 2}e^{\phi_0}\tilde{H}^{(3)}\ast \tilde{H}^{(3)}+{1\over
170: 4}\tilde{H}^{(5)}\ast \tilde{H}^{(5)}
171: $$
172: \begin{equation}\label{2b}
173: +{1\over 2}A^{(4)} dB^{(2)} dA^{(2)} +{\cal L}_{PST}].
174: \end{equation}
175: The first term of (\ref{2b}) corresponds to Einstein-Hilbert term,
176: $\int_{{\cal M}^{10}}\, \ast {\bf 1}\equiv \int\, d^{10}x
177: \sqrt{-g}$, $\phi_0$ and $\chi_0$ are the dilaton and axion
178: scalars. $H^{(3)}$ and $\tilde{H}^{(3)}$ are the field strengths
179: of NS and RR gauge fields $B^{(2)}$ and $A^{(2)}$
180: \begin{equation}\label{H3}
181: H^{(3)}=dB^{(2)},\qquad \tilde{H}^{(3)}=dA^{(2)}-H^{(3)}\chi_0.
182: \end{equation}
183: As well as the scalars they cast the doublet under $SL(2,R)$
184: global symmetry group of type IIB theory. $\tilde{H}^{(5)}$ is the
185: self-dual field strength of the $SL(2,R)$ singlet RR field
186: $A^{(4)}$
187: \begin{equation}\label{H5}
188: \tilde{H}^{(5)}=dA^{(4)}-H^{(3)} A^{(2)},\qquad
189: \tilde{H}^{(5)}=\ast \tilde{H}^{(5)}.
190: \end{equation}
191: The last term which is not important for the discussion in what
192: follows encodes the self-duality condition \cite{dls,dlt}. Since
193: we have made the choice of differential form notation the wedge
194: product between forms has to be assumed.
195:
196:
197: The first step in completing our task is to recover the following
198: structure of action
199: \begin{equation}\label{D3ac}
200: S=\int_{{\cal M}^3}\, \left[{1\over 2} d\vec {\phi}\ast d\vec
201: {\phi}+{1\over 2}\sum_{\vec{\alpha}}~e^{\vec{\alpha}\cdot
202: \vec{\phi}} d\chi_{\vec{\alpha}}\ast
203: d\chi_{\vec{\alpha}}\right]+\dots,
204: \end{equation}
205: which is obtained from (\ref{2b}) after performing dimensional
206: reduction on $T^7$. Here $\vec{\phi}=(\phi_0,\phi_1,\dots,\phi_7)$
207: is the dilaton vector comprised of the original dilaton $\phi_0$
208: and those appeared during dimensional reduction. The
209: $\vec{\alpha}$ are constant eight-vectors which label additional
210: (axionic) scalar fields $\chi_{\vec{\alpha}}$. The difference
211: between two types of scalars consists in sources of their
212: appearance due to dimensional reduction and different types of
213: interactions they possess \cite{popelec}. The axions come from
214: non-diagonal part of the Kaluza-Klein metric and from dualizing
215: the higher rank tensor fields. They possess only derivative
216: interactions. On the contrary the scalars associated with dilatons
217: comes from diagonal part of the metric and can have non-derivative
218: interactions as in (\ref{D3ac}). The form of the action
219: (\ref{D3ac}) is a signal that the scalars parameterize a $G/H$
220: coset space if of course one can identify the axion counting
221: vectors as positive roots of a group $G$. The global symmetry
222: group $G$ is uniquely defined by the Cartan matrix constructed out
223: of the simple roots \cite{popelec}.
224:
225: To reach the action (\ref{D3ac}) we will use the same strategy as
226: in \cite{lw}. To this end one has to take into account the
227: standard rules of step by step toroidal reduction \cite{lpss}
228: $$
229: \int\, d^D x~eR \longrightarrow \int\, d^{D-1} x~eR +\int_{{\cal
230: M}^{D-1}}[{1\over 2}d\phi_{1} \ast d\phi_1
231: $$
232: \begin{equation}\label{grdr}
233: +{1\over 2}e^{-2(D-2)\alpha_{D-1}\phi_1} F^{(2)}_1\ast F^{(2)}_1]
234: \end{equation}
235: with
236: \begin{equation}\label{alphDdf}
237: \sqrt{2 (D-2)(D-3)}\cdot \alpha_{D-1}=1,
238: \end{equation}
239: and
240: $$
241: \int_{{\cal M}^{D}}\, {1\over 2} F^{(n)}\ast F^{(n)}
242: \longrightarrow
243: $$
244: \begin{equation}\label{Fndr}
245: \int_{{\cal M}^{D-1}} [{1\over 2} e^{-2(n-1)\alpha_{D-1}\phi_1}
246: F^{(n)}_1 \ast F^{(n)}_1 + {1\over
247: 2}e^{2(D-1-n)\alpha_{D-1}\phi_1} F^{(n-1)}_1 \ast F^{(n-1)}_1].
248: \end{equation}
249: The effect of transgression consisting in appearing new terms in
250: the reduced field strength $F^{(n)}_1=dA_1^{(n-1)}+\dots$ and of
251: having the Chern-Simons term in type IIB supergravity action are
252: denoted by the ellipsis in (\ref{D3ac}) and may be safely ignored
253: \cite{lw} since they have not an influence on the results in what
254: follows.
255:
256:
257: Let us get started with pure gravity case. Performing the
258: reduction in step by step manner one can recover six
259: seven-dimensional simple root vectors $\vec{\alpha}_k$ having the
260: following structure \cite{lw}
261: \begin{equation}\label{alphdf}
262: \vec{\alpha}_k= (0,\dots,0,-2(8-k)
263: %(D-k-2)
264: \alpha_{9-k}
265: %{D-k-1}
266: ,2(6-k)
267: %(D-k-4)
268: \alpha_{8-k}
269: %{D-k-2}
270: ,0,\dots,0)
271: \end{equation}
272: with $\alpha$'s from (\ref{alphDdf}), $k=0,\dots,5
273: %n-2
274: $ zeros on the left and $(5-k)
275: %n-2-k
276: $ zeros on the right. It is easy to verify that
277: \begin{equation}\label{aiak}
278: \vec{\alpha}_i\cdot \vec{\alpha}_k=
279: \cases{
280: %\begin{cases}
281: 4,& $i=k$ \cr -2,&$|i-k|=1$ \cr 0,& $|i-k|\ge 2$}
282: %\end{cases}
283: \end{equation}
284: All other roots coming from this subsector of type IIB
285: supergravity are not simple and can be expressed as a linear
286: combination of simple roots with non-negative coefficients.
287:
288: One more simple root vector comes from dualising the Kaluza-Klein
289: vector field which appeared in the first step of reduction from
290: ten to three and having the following form
291: \begin{equation}\label{deldf}
292: \vec{\delta}=(16\cdot\alpha_{9},2\cdot\alpha_{8},2\cdot\alpha_{7},\dots,2\cdot\alpha_{3}).
293: %(2(D-2)\alpha_{D-1},2\alpha_{D-2},2\alpha_{D-3},\dots,2\alpha_{D-7})
294: \end{equation}
295: One can check that
296: \begin{equation}\label{delak}
297: \vec{\delta}\cdot \vec{\alpha}_k=
298: \cases{
299: %\begin{cases}
300: 0,&$k\ne 0$ \cr -2, &$k=0$, }
301: %\end{cases}
302: \qquad \vec{\delta}\cdot \vec{\delta}=4,
303: \end{equation}
304: and other roots that come from dualising the rest of the
305: Kaluza-Klein vectors are not simple. Denoting $\vec{\delta}$ as
306: $\vec{\alpha}_{(0)}$ one can construct the Cartan matrix
307: \begin{equation}\label{C0}
308: A_{ij}=2{\vec{\alpha}_i\cdot \vec{\alpha}_j \over \vec{\alpha}_i
309: \cdot \vec{\alpha}_i},\qquad i=(0),0,\dots,5
310: \end{equation}
311: that corresponds to the $A_{7}$ Dynkin diagram. This diagram is
312: that of $SL(8)$ group and is called the gravity line.
313:
314: \vspace{1.2cm}
315: \begin{figure}[h]
316: \centering{\includegraphics
317: %[height=0.8cm, width=5cm]
318: {dyn.eps}}
319: \caption{Gravity line ``caterpillar" of $A_{7}$.}
320: \end{figure}
321:
322: Let us extend our analysis to include the dilaton-axion sector of
323: type IIB supergravity. Since we have $\phi_0$ from the beginning
324: we shall extend our simple root vectors (\ref{alphdf}),
325: (\ref{deldf}) with one additional column with zero on the left,
326: i.e.
327: $$
328: \vec{\alpha}_{(0)}=(0,16\alpha_{9},2\alpha_{8},2\alpha_{7},\dots,2\alpha_{3}),$$
329: etc. Hence we should deal with eight-dimensional simple root
330: vectors. And since we have axion $\chi_0$ from the beginning we
331: have also one additional eight-dimensional root vector
332: \begin{equation}\label{epsdf}
333: \vec{\epsilon}=(2,0,\dots,0).
334: \end{equation}
335: Clearly,
336: \begin{equation}\label{epsprod}
337: \vec{\epsilon}\cdot \vec{\epsilon}=4,\qquad \vec{\epsilon}\cdot
338: \vec{\alpha}_k=0,~\forall k.
339: \end{equation}
340: The Cartan matrix extended by new root corresponds to the
341: following Dynkin diagram
342:
343: \vspace{1.3cm}
344: \begin{figure}[h]
345: \centerline{\includegraphics
346: %[height=0.7cm, width=5cm]
347: {dyn1.eps}}
348: \caption{Beginning of the ``caterpillar's" metamorphosis.}
349: \end{figure}
350: that encodes the $SL(8)\otimes SL(2,R)$ group structure of this
351: sector of fields of type IIB supergravity. In the language of
352: Dynkin diagrams the first node on the right corresponds to the
353: $SL(2,R)$ group.
354:
355: The next step is to extend our system of roots with inclusion of
356: $H^{(3)}$ and $\tilde{H}^{(3)}$ tensor fields. One more simple
357: root is coming from the reduction of the NS field kinetic term
358: \cite{lw}
359: \begin{equation}\label{betadf}
360: \vec{\beta}=(-1,12\cdot\alpha_{9},12\cdot\alpha_{8},0,\dots,0).
361: %(-1,2(D-4)\alpha_{D-1},2(D-4)\alpha_{D-2},0,\dots,0)
362: \end{equation}
363: It is easy to check that
364: \begin{equation}\label{betapr}
365: \vec{\beta}\cdot \vec{\alpha}_k=
366: \cases{
367: %\begin{cases}
368: 0,&$k\ne 1$ \cr -2,&$k=1$ \cr +2, &$k=(0)$, }
369: %\end{cases}
370: \quad \vec{\beta}\cdot \vec{\beta}=4, \quad \vec{\beta}\cdot
371: \vec{\epsilon}=-2.
372: \end{equation}
373: As such the root $\vec{\alpha}_{(0)}$ is not simple anymore since
374: the off-diagonal entries of the Cartan matrix are negative
375: integers or zero. It is merely a technical point to establish the
376: absence of other simple roots which could possibly come from the
377: dualisation of the NS 2-form gauge field and the rest of the
378: fields of type IIB multiplet and their dualisation. Therefore at
379: this stage of our study we arrive at the following diagram.
380:
381: \vspace{1.5cm}
382: \begin{figure}[h]
383: \centerline{\includegraphics
384: %[height=2.4cm, width=5cm]
385: {dyn2or.eps}}
386: \caption{End of metamorphosis. ``Dragonfly" is fully fledged.}
387: \end{figure}
388:
389: This diagram is topologically equivalent to the $E_8$ Dynkin
390: diagram and therefore the latter is the global symmetry group of
391: type IIB theory compactified to three space-time dimensions.
392:
393:
394: \vspace{0.6cm}
395: \begin{figure}[h]
396: \centerline{\includegraphics{dyn2.eps}} \caption{Type IIB
397: $E_8$-like diagram.}
398: \end{figure}
399:
400:
401: Let us turn now to the applying the results obtained so far. We
402: will describe first the interpretation of T-duality rules in the
403: language of Dynkin diagrams (see also \cite{keur}, \cite{ksw}).
404: Doing the calculations outlined above one arrives at the following
405: diagram that encodes the coset structure of type IIA supergravity
406: reduced to three space-time dimensions. Here we have chosen a
407: slightly different notation to indicate the tensor fields from
408: which the simple roots came.
409:
410: \vspace{0.2cm}
411: \begin{figure}[h]
412: \centerline{\includegraphics{dynIIa.eps}} \caption{Type IIA $E_8$
413: diagram.}
414: \end{figure}
415:
416:
417: Comparing Fig. 5 to Fig. 4 one can observe that two diagrams
418: coincide along the gravity line from the nodes 1 to 5. This is
419: just an indication of having the same gravity sub-sector for two
420: theories in D=9 space-time dimension. To have the same theories in
421: D=9 we have to identify the node corresponding to type IIA NS
422: 2-form $B^{(2)}$ with that of type IIB gravity node, the type IIA
423: gravity node with the node of type IIB NS 2-form field and the one
424: of type IIA Kaluza-Klein vector field with that of type IIB axion.
425: This identification corresponds to seminal T-duality rules (cf.
426: e.g. \cite{ejl})
427: \begin{equation}\label{Trul}
428: i_z B^{(2)}_{IIA}\cong (i_Z g)_{IIB},\ \ (i_z g)_{IIA}\cong i_Z
429: B^{(2)}_{IIB},\ \ i_z A^{(1)}\cong \chi_0.
430: \end{equation}
431:
432: Another important point in playing with Dynkin diagrams is the
433: possibility of identifying the relevant $AdS \times S$ vacuum
434: configurations \cite{sm}. Couple of years ago it was a
435: breakthrough in constructing the consistent non-linear
436: Kaluza-Klein ans\"atze for spherical dimensional reduction of
437: supergravities (see \cite{popelec} and \cite{cglp} for review). A
438: systematic group-theoretical ground indicating the possibility of
439: such reductions is still lacking though it was formulated the
440: criterion of consistency of the reduction on $S^n$ based on the
441: possibility to enhance the global symmetry group after $T^n$
442: reduction due to ``conspiracy" of scalars.
443:
444: Essential step in searching for the non-linear Kaluza-Klein
445: ans\"atze for spherical reductions is figuring out the possibility
446: of having the $AdS\times S$ vacuum configuration.
447: %As such, this is respected to linear ans\"atze.
448: Recently it was proposed the method of examining such a
449: possibility based on considering the appropriate Kac-Moody
450: algebras \cite{sm}. In the context of type IIB supergravity the
451: evidence of $AdS_5 \times S^5$ vacuum configuration is based on
452: manipulations with $E_7$ diagram
453:
454: %\vspace{0.6cm}
455: \begin{figure}[h]
456: \centerline{\includegraphics{dyn2bC4.eps}} \caption{Type IIB $E_7$
457: diagram.}
458: \end{figure}
459: extended with three additional nodes on the left, i.e. with
460: $E_7^{+++}$ diagram (cf. Fig. 7).
461:
462: \vspace{0.6cm}
463: \begin{figure}[h]
464: \centerline{\includegraphics{dynE7.eps}} \caption{$E^{+++}_7$
465: diagram.}
466: \end{figure}
467: The origin of the $E_7$ is easy to explain since the latter
468: corresponds to a ``larva" in the metamorphosis of Fig. 1 to Fig.
469: 3. Such a diagram comes from the subsector of fields consisting of
470: gravity and self-dual 4-form gauge field. It is worth mentioning
471: that the root $\vec{\xi}$ coming from the reduction of
472: $\tilde{H}^{(5)}$ field strength and the one coming from its
473: dualisation obey the following relations
474: $$
475: \vec{\xi}\cdot \vec{\alpha}_k=
476: \cases{
477: %\begin{cases}
478: 0,&$k\ne 3$ \cr -2,&$k=3$ \cr +2, &$k=(0)$,}
479: %\end{cases}
480: \qquad \vec{\tilde{\xi}}\cdot \vec{\alpha}_k=
481: \cases{
482: %\begin{cases}
483: 0,&$k\ne 3$ \cr -2,&$k=3$ \cr +2, &$k=(0)$,}
484: %\end{cases}
485: $$
486: \begin{equation}\label{xi}
487: \vec{\xi}\cdot \vec{\xi}=4,\qquad \vec{\tilde{\xi}}\cdot
488: \vec{\tilde{\xi}}=4,\qquad \vec{\xi}\cdot \vec{\tilde{\xi}}=4.
489: \end{equation}
490: Hence it is a matter of taste which one is selected to be the
491: simple root that is the remnant of the $\tilde{H}^{(5)}$
492: self-duality. As soon as the choice was made another root is no
493: longer simple.
494:
495: Skipping the details of manipulations with $E^{+++}_7$ diagram
496: that leads to the $AdS_5\times S^5$ configuration (we refer the
497: reader to the original paper \cite{sm}), it is worth mentioning
498: that the subset of fields leading to the $E^{+++}_7$ is precisely
499: the one for which the existence of the non-linear ansatz for the
500: $S^5$ dimensional reduction \cite{popeS5} was proved! Another
501: example of having the non-linear ans\"atze for $AdS_{D-3}\times
502: S^3$ and $AdS_3\times S^{D-3}$ configurations was established for
503: the bosonic string theory \cite{popeS3} which includes graviton,
504: dilaton and 2-rank gauge field in the massless sector. This
505: subsector enters the type IIB supergravity and corresponds to the
506: $D^{+++}_8$ Kac-Moody group. One can verify following the approach
507: of \cite{sm} that such vacuum solutions are indeed the case.
508:
509: To summarize, we have traced the metamorphosis of Dynkin diagrams
510: representing the symmetries of different sub-sectors of
511: dimensionally reduced type IIB supergravity. This provides the
512: link to the results obtained in the framework of non-linear
513: realization of type IIB supergravity \cite{sw} and of searching
514: for the M-theory hidden symmetry group
515: \cite{westE11,westE8,ehtw,ksw,k} as well as to the results
516: obtained by use of the oxidising technique \cite{cjlp0,keur}. The
517: graphical representation of the coset symmetries in dimensionally
518: reduced supergravities encodes a lot of information on the matter
519: field content of a theory, the relevant low-dimensional vacua and
520: dualities between different supergravities and is therefore the
521: very useful tool in studying the hidden symmetry structure of
522: Superstring/M-theory.
523:
524: {\bf Acknowledgements.} We are very grateful to Igor Bandos and
525: Dmitri Sorokin for pleasant discussions and constant
526: encouragement. This work is supported in part by the Grant N
527: F7/336-2001 of the Ukrainian SFFR and by the INTAS Research
528: Project N 2000-254.
529:
530:
531: \newpage
532: \begin{thebibliography}{99}
533:
534: \bibitem{westE11}
535: P.C.West, Class. Quant. Grav. {\bf 18}, 4443 (2001).
536:
537: \bibitem{westE8}
538: P.C.West, Class. Quant. Grav. {\bf 20}, 2393 (2003).
539:
540: \bibitem{ehtw}
541: F. Englert, L. Houart, A. Taormina and P.C. West, JHEP {\bf 0309},
542: 020 (2003).
543:
544: \bibitem{cj} E. Cremmer and B. Julia, Nucl. Phys. {\bf B159}, 141
545: (1979).
546:
547: \bibitem{MS}
548: N. Marcus and J.H. Schwarz, Nucl. Phys. {\bf B228}, 145 (1983).
549:
550: \bibitem{N}
551: H. Nicolai, Phys. Lett. {\bf B194}, 402 (1987).
552:
553: \bibitem{miz}
554: S. Mizoguchi, Nucl. Phys. {\bf B528}, 238 (1998).
555:
556: \bibitem{julia82}
557: B. Julia, in Proc. of AMS-SIAM Summer Seminar on Application of
558: Group Theory in Physics and Mathematics, Chicago (1982).
559:
560: \bibitem{kns}
561: K. Koepsell, H. Nicolai and H. Samtleben, Class. Quant. Grav. {\bf
562: 17}, 3689 (2000).
563:
564: \bibitem{dwn}
565: B. de Wit and H. Nicolai, Nucl. Phys. {\bf B274}, 363 (1986).
566:
567: \bibitem{dtn}
568: B. Drabant, M. T\"ox and H. Nicolai, Class. Quant. Grav. {\bf 6},
569: 255 (1989).
570:
571: \bibitem{GN}
572: R.W. Gebert and H. Nicolai, hep-th/9411188.
573:
574: \bibitem{gow}
575: M.R. Gaberdiel, D.I. Olive and P.C. West, Nucl. Phys. {\bf B645},
576: 403 (2002).
577:
578: \bibitem{ksw}
579: A. Kleinschmidt, I. Schnakenburg and P. West, hep-th/0309198.
580:
581: \bibitem{k}
582: A. Kleinschmidt, hep-th/0304246.
583:
584: \bibitem{NO}
585: H. Nicolai and D.I. Olive, Lett. Math. Phys. {\bf 58}, 141 (2001).
586:
587: \bibitem{NF}
588: H. Nicolai and T. Fischbacher, hep-th/0301017.
589:
590: \bibitem{sw}
591: I. Schnakenburg and P.C. West, Phys. Lett. {\bf B517}, 137 (2001).
592:
593: \bibitem{cjlp}
594: E. Cremmer, B. Julia, H. L\"u and C.N. Pope, Nucl. Phys. {\bf
595: B535}, 242 (1998).
596:
597: \bibitem{cjlp0}
598: E. Cremmer, B. Julia, H. L\"u and C.N. Pope, hep-th/9909099;\\
599: Dualization of Dualities I, Nucl. Phys. {\bf 535}, 73 (1998).
600:
601: \bibitem{keur}
602: A. Keurentjes, Nucl. Phys. {\bf 658}, 303 (2003).
603:
604: \bibitem{sm}
605: I.Schnakenburg and A. Miemiec, hep-th/0312096.
606:
607: \bibitem{lw}
608: N.D. Lambert and P.C. West, Nucl. Phys. {\bf B615}, 117 (2001).
609:
610: \bibitem{dls}
611: G. Dall'Agata, K. Lechner and D.P. Sorokin, Class. Quant. Grav.
612: {\bf 14}, L195 (1997).
613:
614: \bibitem{dlt}
615: G. Dall'Agata, K. Lechner and M. Tonin, JHEP {\bf 9807}, 017
616: (1998).
617:
618: \bibitem{popelec}
619: C.N. Pope, Lectures on Kaluza-Klein,
620: http://faculty.physics.tamu.edu/pope/.
621:
622: \bibitem{lpss}
623: H. L\"u, C.N. Pope, E. Sezgin and K.S. Stelle, Nucl. Phys. {\bf
624: B456}, 669 (1995).
625:
626: \bibitem{cglp}
627: M. Cveti\v{c}, G.W. Gibbons, H. L\"u and C.N. Pope, Class. Quant.
628: Grav. {\bf 20}, 5161 (2003).
629:
630: \bibitem{popeS5}
631: M. Cveti\v{c}, H. L\"u, C.N. Pope, A. Sadrzadeh and T.A. Tran,
632: Nucl. Phys. {\bf B586}, 275 (2000).
633:
634: \bibitem{popeS3}
635: M. Cveti\v{c}, H. L\"u and C.N. Pope, Phys. Rev. {\bf D62}, 064028
636: (2000).
637:
638: \bibitem{ejl}
639: E. Eyras, B. Janssen and Y. Lozano, Nucl. Phys. {\bf B531}, 275
640: (1998).
641:
642: \end{thebibliography}
643: \end{document}
644: