1: % Ho Jan 10, 2004
2: % Ho Jan 22, 2004
3:
4: \documentclass[10pt]{article}
5: \usepackage{epsfig,graphicx,amssymb,amsfonts}
6:
7: \def \be {\begin{equation}}
8: \def \ee {\end{equation}}
9: \def \bea {\begin{eqnarray}}
10: \def \eea {\end{eqnarray}}
11: \def \nn {\nonumber}
12: \def \spa {$\;$}
13: \def \la {\langle}
14: \def \ra {\rangle}
15: %\def \rr {\raise.6ex\hbox{\tiny $\prime$}\kern-.17em{\mbox{\large $\imath$}}}
16: \def \rr {\raise.35ex\hbox{\small $\prime$}\kern-.17em{\mbox{\large $\imath$}}}
17: %\def \R {{\textsf{I}\kern-.10em \textsf{R}}}
18: %\def \T {{\textsf{T}\kern-.45em \textsf{T}}}
19: %\def \C {{\textsf{C}\kern-.37em \textsf{C}}}
20: %\def \Z {{\textsf{Z}\kern-.35em \textsf{Z}}}
21: \def \del {\partial}
22: \def \dels {\partial\kern-.5em / \kern.5em}
23: \def \As {{A\kern-.5em / \kern.5em}}
24: \def \Ds {D\kern-.7em / \kern.5em}
25: \def \Psib {{\bar \Psi}}
26:
27: \def \a {\alpha}
28: \def \b {\beta}
29: \def \dag {\dagger}
30: \def \g {\gamma}
31: \def \G {\Gamma}
32: \def \d {\delta}
33: \def \eps {\epsilon}
34: \def \m {\mu}
35: \def \n {\nu}
36: \def \k {\kappa}
37: \def \lam {\lambda}
38: \def \Lam {\Lambda}
39: \def \s {\sigma}
40: \def \r {\rho}
41: \def \om {\omega}
42: \def \Om {\Omega}
43: \def \one {{\bf 1}}
44: \def \th {\theta}
45: \def \Th {\Theta}
46: \def \Chi {\chi}
47: \def \t {\tau}
48: \def \ve {\varepsilon}
49: \def \II {I\hspace{-.1em}I\hspace{.1em}}
50: \def \IIA {\mbox{\II A\hspace{.2em}}}
51: \def \IIB {\mbox{\II B\hspace{.2em}}}
52:
53: \newcommand{\ho}[1]{$\, ^{#1}$}
54: \newcommand{\hoch}[1]{$\, ^{#1}$}
55: %%%%%% These are only for this paper %%%%%%
56:
57: \def \EOM {(\mbox{EOM})}
58: \def \D {{\cal D}}
59:
60: \def\baselinestretch{1.2}
61: \setlength{\topmargin}{-0.0in}
62: \setlength{\textheight}{52pc}
63: \setlength{\textwidth}{6.125in}
64: \setlength{\oddsidemargin}{0.1875in}
65: \setlength{\evensidemargin}{0.1875in}
66: \begin{document}
67: \begin{titlepage}
68: %\catcode`\@=11
69: %\catcode`\@=12
70: %\twocolumn[\hsize\textwidth\columnwidth\hsize\csname%
71: %@twocolumnfalse\endcsname
72:
73: %\draft
74: \begin{center}
75: \hfill hep-th/0401167\\
76: \vskip .5in
77:
78: \textbf{\LARGE
79: Isometry of $AdS_2$ And The $c=1$ Matrix Model
80: }
81:
82: \vskip .5in
83: {\large Pei-Ming Ho} %$^1$}
84: \vskip 15pt
85:
86: {\small Department of Physics,
87: Harvard University,
88: Cambridge, MA 02138, USA}
89: \footnote{On leave from National Taiwan University.}
90: \\
91: {\small Department of Physics,
92: National Taiwan University,
93: Taipei 106, Taiwan, R.O.C.}
94: \\
95: {\small Physics Division,
96: National Center for Theoretical Sciences,
97: National Taiwan University,
98: Taipei 106, Taiwan, R.O.C.}
99: \\
100:
101: \vskip .2in
102: \sffamily{
103: pmho@phys.ntu.edu.tw}
104:
105: \vspace{60pt}
106: %\maketitle
107: \end{center}
108: \begin{abstract}
109:
110: Implications of the $SL(2,\mathbb{R})$ symmetry of
111: the $c = 1$ matrix models are explored.
112: Based on the work of de Alfaro, Fubini and Furlan,
113: we note that when the Fermi sea is drained,
114: the matrix model for 2 dimensional string theory
115: in the linear dilaton background is equivalent to
116: the matrix model of $AdS_2$ recently proposed by Strominger,
117: for which $SL(2,\mathbb{R})$ is an isometry.
118: Utilizing its Lie algebra,
119: we find that a topological property of $AdS_2$
120: is responsible for quantizing D0-brane charges in type 0A theory.
121: We also show that the matrix model faithfully reflects
122: the relation between the Poincare patch and global coordinates of $AdS_2$.
123:
124: \end{abstract}
125: %\pacs{PACS numbers: 11.25.-w, 11.25.Mj, 11.25.Sq}%]
126: \end{titlepage}
127: %\begin{narrowtext}
128: \setcounter{footnote}{0}
129:
130: \section{Introduction}
131:
132: Motivated by the problems with unstable D-branes,
133: the $c=1$ matrix model \cite{MM}
134: (for reviews see \cite{Klebanov,GinspargMoore,Polchinski})
135: has recently attracted a lot of attention \cite{c=1}
136: as the simplest string theory from which
137: we might learn something useful.
138:
139: The $c=1$ matrix model is equivalent to a theory of free fermions $\Psi$
140: in 1+1 dimensional spacetime with the Hamiltonian
141: \footnote{
142: More precisely we should consider the field theory,
143: and the Hamiltonian is $\int dx \Psi^{\dag} H \Psi$,
144: where $\Psi(x)$ is the 2nd quantized fermion field.
145: We will use the notation of quantum mechanics
146: although everything can be extended to the 2nd quantized theory.
147: }
148: \be
149: %\label{H}
150: H = -\frac{1}{2}\del_x^2 + V(x), \quad
151: V(x) = -\frac{x^2}{2}.
152: %+ \frac{M}{2x^2}.
153: \ee
154: It is dual to 2 dimensional bosonic string theory or type 0B theory
155: \cite{TT,DKKMMS} depending on whether we fill one side or both sides
156: of the potential.
157: By filling the Fermi sea differently and an orbifolding,
158: the same model was also conjectured to be
159: dual to type \IIB theory \cite{GTT}.
160:
161: A slight deformation of the potential
162: \be \label{H}
163: V(x) = -\frac{x^2}{2} + \frac{M}{2x^2}.
164: \ee
165: was conjectured \cite{JevickiYoneya}
166: to lead to bosonic string theory
167: in 2 dimensions in the background of a black hole of mass $M$.
168: More recently it was also conjectured \cite{TT,DKKMMS}
169: to be dual to type 0A string theory
170: in the linear dilaton background with RR electric field proportional to $q$,
171: where
172: \be \label{Mq}
173: M = q^2-\frac{1}{4}.
174: \ee
175:
176: In the limit $M\rightarrow\infty$ (or $x\rightarrow 0$),
177: we can scale $x$ and ignore the quadratic term in the potential.
178: Hence
179: \be \label{AdS2V}
180: V(x) = \frac{M}{2x^2}.
181: \ee
182: This model was conjectured \cite{Strominger} to be dual to
183: type 0A string theory in the $AdS_2$ background.
184: The isometry group $SL(2, \mathbb{R})$ of $AdS_2$
185: is identified with a symmetry algebra of this matrix model.
186: The generators are
187: \be
188: H = \frac{1}{2}\left(p^2 + \frac{M}{x^2}\right), \quad
189: K = \frac{1}{2}x^2, \quad
190: D = -\frac{1}{4}\left(xp+px\right),
191: \label{HKD}
192: \ee
193: where $p = -i\del_x$ is the conjugate momentum of $x$.
194: They satisfy the $SL(2,\mathbb{R})$ Lie algebra
195: \be
196: [H, D]=iH, \quad [K, D]=-iK, \quad [H,K]=2iD.
197: \ee
198:
199: The ground states of matrix models are specified by a single parameter $\mu$
200: which is the energy at the surface of the Fermi sea.
201: It is dual to the amplitude of a static tachyon background.
202: In the $AdS_2$ model the potential (\ref{AdS2V})
203: is bounded from below at zero, so $\mu \geq 0$.
204: The ground states with $\mu > 0$ spontaneously break
205: the $SL(2,\mathbb{R})$ symmetry.
206: Only the unique state with no fermion ($\mu = 0$) preserves the isometry,
207: and is matched to the invariant vacuum of $AdS_2$.
208:
209: One might be puzzled by the fact that the $SL(2,\mathbb{R})$ symmetry
210: exists also for other matrix models as part of the $W_{\infty}$ algebra.
211: But of course $SL(2,\mathbb{R})$ can not be the isometry of
212: the dual target spaces which are asymptotically flat.
213: The resolution is that the $SL(2,\mathbb{R})$ symmetry
214: can be understood as the isometry of the matrix model
215: in a way we will explain later,
216: and the isometry is spontaneously broken by the ground state chosen
217: for the other matrix models.
218: Nevertheless, we will see that the $SL(2,\mathbb{R})$ symmetry
219: has important implications also for other matrix models.
220:
221: Utilizing the $SL(2,\mathbb{R})$ generators,
222: the authors of \cite{AFF} showed that all quantum theories with
223: Hamiltonians of the form
224: \be \label{V0}
225: H = \frac{p^2}{2} + V(x), \quad V(x) = \frac{a}{2} x^2 + \frac{M}{2 x^2}
226: \ee
227: with the same parameter $M$, but arbitrary coefficient $a$,
228: are related to one another by coordinate transformations.
229: This has many striking implications.
230: For $M = 0$, the undeformed matrix model ($a = -1$) is in some sense
231: equivalent to the simple harmonic oscillator ($a = 1$),
232: and also to the theory without any potential ($a = 0$).
233: For $M > 0$, the deformed matrix model ($a = -1$) is in some way
234: the same as type 0A theory in $AdS_2$ ($a = 0$).
235: Yet these theories have completely different asymptotic behaviors!
236:
237: As the potentials in (\ref{H}) and (\ref{AdS2V})
238: can be viewed as the same theory written in two sets of coordinates,
239: the $\mu\rightarrow -\infty$ limit of type 0A matrix model
240: can be identified with the vacuum of the $AdS_2$ matrix model.
241: In other words, type 0A theory in $AdS_2$ background
242: should be identified with the result of tachyon condensation
243: from the linear dilaton background.
244: \footnote{As the closed string tachyons are massless in 2 dimensions,
245: tachyon condensation might never happen.
246: What we mean here is to tune the parameter $\mu$
247: of the tachyon field by hand to $-\infty$.}
248: Due to the similarity between type 0A and 0B,
249: we conjecture that the same is true for type 0B theory as well.
250:
251: The coordinate transformations relating theories
252: with different $a$ in (\ref{V0}) are not always bijective.
253: Some coordinate systems only cover a small part of the spacetime
254: defined by another set of coordinates.
255: We will see that properties of coordinate transformations of the matrix model
256: reflect those of the target space in string theory.
257: It was proposed \cite{Strominger} that
258: the Hamiltonian (\ref{V0}) with $a = 1$ (i.e., $H+K$)
259: is dual to $AdS_2$ in global coordinates,
260: while (\ref{AdS2V}) is dual to the Poincare patch,
261: which only covers half of the former.
262: Based on this proposal,
263: we will show that the RR flux background $q$ needs to be quantized
264: in order for the global time of $AdS_2$ to be compactified.
265:
266: In addition, we will show that,
267: by adding a suitable (time-dependent) Fermi surface,
268: we can use the Hamiltonian (\ref{V0}) with any $a$ to
269: describe string theory in the linear dilaton background.
270: As the asymptotic behavior of particles for $a>0, a=0$ and $a<0$
271: are drastically different,
272: the phenomenology of each model appears to be very different,
273: although the encoded information is (almost) equivalent.
274: This reflects the observer dependence
275: familiar in the context of general relativity.
276: By analogy with $AdS_2$,
277: there should exist a coordinate transformation
278: (possibly combined with field redefinitions)
279: of string theory/supergravity in the linear dilaton background
280: which extends the spacetime beyond the region manifest in the old description.
281:
282: In the appendix \ref{Isometry} we prove that (\ref{V0}) exhausts
283: all possibilities of nontrivial isometries for
284: 1 dimensional quantum mechanics with the standard kinetic term.
285: The proof that all theories defined by (\ref{V0})
286: with the same $M$ are equivalent at the quantum level
287: are given in appendix \ref{appKilling}.
288:
289: \section{$SL(2,\mathbb{R})$ Symmetry} \label{SL2R}
290:
291: The quantum mechanics defined by (\ref{AdS2V})
292: was extensively studied \cite{AFF}
293: as an example of quantum mechanics with conformal symmetry.
294: Assuming that the kinetic energy is standard $\frac{1}{2}p^2$,
295: by simple dimensional analysis one can see that
296: (\ref{AdS2V}) is the only potential consistent with conformal symmetry.
297: (Conformal quantum mechanics with more than one variables
298: and general kinetic terms were discussed in \cite{MichelsonStrominger}.)
299: The $SL(2,\mathbb{R})$ symmetry (\ref{HKD})
300: was found in \cite{AFF} as the conformal symmetry.
301:
302: In this section we will first review how
303: the $SL(2,\mathbb{R})$ symmetry is a symmetry of
304: conformal transformations of the time variable
305: together with a time-dependent scaling of the spatial coordinate
306: for the matrix model \cite{AFF}.
307: This could come as a bit of surprise for those who
308: are not familiar with the results of \cite{AFF},
309: since the spacetime coordinates in the matrix model
310: are nonlocally related to the coordinates of target space.
311: (The nonlocal transformation are determined by the leg factors
312: \cite{Polchinski,JevickiYoneya}.)
313:
314: Then we will use the Lie algebra generators,
315: which are dual to Killing vectors in $AdS_2$,
316: to define new time coordinates,
317: and find that the new Hamiltonians are all of the form (\ref{V0})
318: with the same $M$.
319:
320: \subsection{Isometry of Quantum Mechanics} \label{iqm}
321:
322: An infinitesimal general coordinate transformation is generated
323: by a differential operator of the form
324: \be \label{D}
325: \D = iA\del_t + iB\del_x + C,
326: \ee
327: where $A, B, C$ are functions of $x$ and $t$.
328: Classically $C$ can be dropped,
329: and the infinitesimal coordinate transformation is
330: \be
331: \d t = \eps A, \quad \d x = \eps B.
332: \ee
333: The final result will justify why $C$ should be allowed
334: for quantum mechanics.
335: $\D$ generates a symmetry if
336: \be \label{EOMD}
337: \EOM \D = \D' \EOM
338: \ee
339: for some well defined operator $\D'$
340: so that a solution of the Schr\"{o}dinger equation
341: is still a solution after the transformation defined by $\D$, i.e.,
342: \be
343: \EOM \psi = 0 \quad \Rightarrow \quad \EOM e^{i\eps \D}\psi = 0.
344: \ee
345: Note that $\D'$ does not have to equal $\D$.
346: The condition (\ref{EOMD}) is equivalent to
347: \be
348: [\EOM, \hat{\D}] = 0, \quad \hat{\D} = AH - Bp + C, \label{Dhat}
349: \ee
350: where $\hat{\D}$ is $\D$ with $i\del_t$ replaced by the Hamiltonian $H$.
351: ($\D$ and $\hat{\D}$ are equivalent when acting on
352: solutions of the Schr\"{o}dinger equation.)
353: The generators (\ref{HKD}) are to be
354: identified with $\hat{\D}$'s at $t = 0$ for the matrix model.
355:
356: We will refer to the coordinate transformations which
357: preserve the Schr\"{o}dinger equation
358: as the quantum mechanics isometry.
359: It is natural to ask when a quantum theory admits nontrivial isometry.
360: Any time-independent Hamiltonian is an isometry generator of time translation.
361: We prove in appendix \ref{Isometry} for
362: with the standard kinetic energy
363: $\frac{1}{2} p^2$ the only time-independent Hamiltonian
364: with more than one isometry generators is of the form (\ref{V0}).
365: There are 3 isometry generators $H, K, D$ (\ref{HKD}) for a generic $M$.
366: If $M = 0$, there are 2 additional generators,
367: which can be identified with the creation and annihilation operators
368: of the simple harmonic oscillator when $a>0$.
369:
370: In terms of the coordinates in the $AdS_2$ theory (\ref{AdS2V}),
371: the $SL(2,\mathbb{R})$ isometry
372: is represented as the projective transformation of time
373: and a scaling of space \cite{AFF}
374: \be
375: t \rightarrow \frac{\a t + \b}{\g t + \d}, \quad
376: x \rightarrow \frac{1}{\g t + \d}x.
377: \ee
378:
379: \subsection{Killing Operators and Coordinate Transformations} \label{KO}
380:
381: In analogy with Riemannian geometry,
382: the symmetry generators preserving Schr\"{o}dinger equations
383: are reminiscent of Killing vectors,
384: which preserve the metric,
385: and it is natural to use them to define new time coordinates.
386: Of course,
387: one can always perform arbitrary general coordinate transformations
388: or change of variables to rewrite a theory.
389: The special features of the time coordinates chosen by Killing operators
390: are that their conjugate Hamiltonians are time-independent
391: and of the standard form $\frac{1}{2}p^2 + V(x)$.
392:
393: Take a generic $SL(2,\mathbb{R})$ generator
394: \be \label{G}
395: G = \a H + \b D + \g K,
396: \ee
397: and we would like to introduce a new coordinate $\t$
398: such that the old and new Schr\"{o}dinger equations are equivalent
399: (up to unitary transformation)
400: \be \label{Schrodinger}
401: i \frac{\del}{\del t}\Psi = H\Psi \Longleftrightarrow
402: i \frac{\del}{\del \t}\Psi' = G\Psi', \quad \Psi' = U\Psi.
403: \ee
404: It turns out that, remarkably,
405: $\tau$ is simply a function of $t$ \cite{AFF}
406: \be \label{tautransf}
407: d\tau = \frac{dt}{\a + \b t + \g t^2}.
408: \ee
409: For the range of $t$ satisfying
410: \be \label{condont}
411: f(t) = (\a + \b t + \g t^2) > 0,
412: \ee
413: $\t$ is a legitimate reparametrization of time.
414: Furthermore, after a simultaneous scaling of the spatial coordinate
415: \be \label{stransf}
416: \s = \frac{x}{(\a + \b t + \g t^2)^{1/2}},
417: \ee
418: $G$ is again of the form (\ref{V0}) \cite{AFF}
419: \be \label{HG}
420: G = -\frac{p_\s^2}{2} + V_G, \quad
421: V_G = -\frac{\Delta}{8} \s^2 + \frac{M}{2\s^2},
422: \ee
423: where
424: \be
425: \Delta = \b^2 - 4 \a\g.
426: \ee
427: The new coordinate system is as good as the old one
428: as long as (\ref{condont}) is satisfied.
429:
430: The result above is derived in appendix \ref{appKilling}.
431: Here we verify it in the classical theory.
432: The action for the potential (\ref{AdS2V}) is
433: \be
434: S = \int dt \left(\frac{1}{2}\dot{x}^2 - \frac{M}{2 x^2}\right).
435: \ee
436: From (\ref{tautransf}) and (\ref{stransf}), it follows that
437: \be
438: \frac{dx}{dt} = f^{-1/2}(\del_{\t}\s + \frac{1}{2}(\del_t f) \s).
439: \ee
440: Plugging it in the action and integrating by parts, we find
441: \be \label{S}
442: S = \left[\frac{1}{2}(\del_t f)x^2\right]_{\t_0}^{\t_1}
443: + \int d\t \left(\frac{1}{2}(\del_{\t}\s)^2
444: - \frac{d}{8}\s^2 - \frac{M}{2 \s^2} \right).
445: \ee
446: This is exactly the action for the Hamiltonian $G$ (\ref{HG}).
447: Due to the boundary term in (\ref{S}),
448: a unitary transformation is involved in the quantum version.
449:
450: It is a very intriguing fact that
451: all Hamiltonians of the form (\ref{V0})
452: are different descriptions of essentially
453: the same theory related by simple coordinate transformations
454: (\ref{tautransf}) and (\ref{stransf}).
455:
456: \subsection{Coordinate Patches: $S_-\subset S_0\subset S_+$} \label{CP}
457:
458: A redefinition (scaling) of the coordinates
459: ($\s \rightarrow \lam\s$, $\t \rightarrow \lam^2 \t$)
460: has the effect of scaling the coefficient of the $\s^2$ term by $\lam^4$.
461: So essentially we have 3 classes of $G$ that
462: are not related to each other in a trivial way.
463: They are examplified by $(\a = 1, \b = 0, \g = 1)$,
464: $(\a = 1, \b = 0, \g = 0)$ and $(\a = 1, \b = 0, \g = -1)$.
465: For notation,
466: we will equip variables with subscripts $+, 0, -$,
467: according to the values of $\g$,
468: and refer to the corresponding matrix models
469: by $S_+, S_0$, and $S_-$, respectively.
470: The Killing operators associated to $S_+, S_0, S_-$ are $(H+K), H, (H-K)$.
471: Their potentials are
472: \be \label{pot}
473: S_+:\;\; V_+ = \frac{1}{2}x_{+}^2 + \frac{M}{2x_{+}^2}, \quad
474: S_0:\;\; V_0 = \frac{M}{2x_0^2}, \quad
475: S_-:\;\; V_- = -\frac{1}{2}x_{-}^2 + \frac{M}{2x_{-}^2}.
476: \ee
477:
478: The coordinate transformations are given by
479: (\ref{tautransf}) and (\ref{stransf})
480: \bea \label{coord-transf}
481: t_0 = \tan(t_+) = \tanh(t_-), \quad
482: x_0 = \sec(t_+) x_+ = \mbox{sech}(t_-) x_-.
483: \eea
484: It follows that the momenta are related by
485: \be \label{p-transf}
486: p_0 = \cos(t_+)p_+ + \sin(t_+) x_+ = \cosh(t_-)p_- - \sinh(t_-)x_-.
487: \ee
488: From these expressions we can see that
489: the origins of all time coordinates coincide.
490: At $t=0$, the spatial coordinates and
491: conjugate momenta also coincide.
492:
493: For later use, we list here the solutions of the classical equations of motion
494: \bea
495: x_+ &=& \sqrt{A_+^2\cos(2(t_+ - T_+))+\sqrt{A_+^4 + M}}, \label{x+} \\
496: x_0 &=& \sqrt{2E_0 (t_0-T_0)^2 + \frac{M}{2E_0}}, \label{x0} \\
497: x_- &=& \sqrt{A_-^2\cosh(2(t_- - T_-))\pm\sqrt{A_-^4 - M}}, \label{x-}
498: \eea
499: where we assumed that $M>0$,
500: and so the particle stays on the positive side of the real line.
501: The parameters are related by
502: \bea \label{A+T+}
503: &A_+^2 = \sqrt{\left(E_0(T_0^2-1)+\frac{M}{4E_0}\right)^2+4E_0^2 T_0^2}, \quad
504: T_+ = -\tan^{-1}\left(\frac{2E_0 T_0}{E_0(T_0^2-1)+\frac{M}{4E_0}}\right), \\
505: &A_-^2 = \sqrt{\left(E_0(T_0^2+1)+\frac{M}{4E_0}\right)^2-4E_0^2 T_0^2}, \quad
506: T_- = -\tanh^{-1}\left(\frac{2E_0 T_0}{E_0(T_0^2+1)+\frac{M}{4E_0}}\right).
507: \eea
508: For $M = 0$, the solutions are
509: \bea
510: x_+ &=& A(\sin(t_+) - T_0 \cos(t_+)), \label{x+1} \\
511: x_0 &=& A(t_0 - T_0), \\
512: x_- &=& A(\sinh(t_-) - T_0 \cosh(t_-)). \label{x-1}
513: \eea
514: These solutions are related to each other through (\ref{coord-transf}).
515: But they are not the $M\rightarrow 0$ limit of (\ref{x+}-\ref{x-}),
516: since the $M = 0$ theory is not continuously connected to finite $M$ theories.
517:
518: The coordinate transformations (\ref{coord-transf})
519: are not 1-1 mappings.
520: Roughly speaking, the coordinate systems $S_-, S_0, S_+$
521: forms a cascade of patches
522: \be \label{SSS}
523: S_- \subset S_0 \subset S_+.
524: \ee
525: The whole range $\mathbb{R}$ of time for a smaller patch is mapped to
526: a finite interval in a larger patch.
527: More precisely,
528: \bea
529: &\left(\begin{array}{l}
530: -\infty < t_- < \infty \\ |x_-| < \infty
531: \end{array}\right) \rightarrow
532: \left(\begin{array}{l}
533: -1 < t_0 < 1 \\ |x_0| < \infty %\\ x_0(t_0=\pm 1) = 0
534: \end{array}\right) \rightarrow
535: \left(\begin{array}{l}
536: -\frac{\pi}{4} < t_+ < \frac{\pi}{4} \\ |x_+| < \infty
537: %\\ x_+(t_+ = \pm\frac{\pi}{4}) = 0
538: \end{array}\right), \\
539: &\left(\begin{array}{l}
540: -\infty < t_0 < \infty \\ |x_0| < \infty
541: \end{array}\right) \rightarrow
542: \left(\begin{array}{l}
543: -\frac{\pi}{2} < t_+ < \frac{\pi}{2} \\ |x_+| < \infty
544: %\\ x_+(t_+ = \pm \frac{\pi}{2}) = 0
545: \end{array}\right). \label{ttt}
546: \eea
547: One can check that the condition (\ref{condont}) is satisfied
548: and $t_0, t_+$, and $t_-$ are legitimate time coordinates
549: within the ranges shown above.
550:
551: So far we have treated $t_+$ as a parameter of $\mathbb{R}$.
552: Later we will see that $t_+$ should be compactified on a unit circle.
553: But the hierarchical relation (\ref{SSS}) remains the same.
554:
555: \subsection{Matrix Model Isometry vs. Spacetime Isometry}
556:
557: Each of these coordinate systems in the matrix model is matched to
558: a coordinate system in the dual theory of $AdS_2$
559: according to the associated Killing operators.
560: The Killing vectors of $AdS_2$ are
561: \be
562: H = i\del_t, \quad
563: D = i(t\del_t + \s\del_{\s}), \quad
564: K = i((t^2+\s^2)\del_t + 2t\s \del_s),
565: \ee
566: where we used the same notation to identify $SL(2, \mathbb{R})$ generators
567: in $AdS_2$ and the matrix model.
568: Here $(t, \s)$ are the coordinates of the Poincare patch.
569: The generator $(H+K)$ can be written as $i\del_{\t}$
570: where $\t$ is time in the global coordinates $(\t, \om)$
571: \be \label{global}
572: \t \pm \om = 2\tan^{-1}(t\pm \s).
573: \ee
574: Similarly, defining another set of coordinates
575: \be
576: \t' \pm \om' = 2\tanh^{-1}(t\pm \s),
577: \ee
578: one finds $H-K = i\del_{\t'}$.
579: This Killing vector is time-like only in a small part of $AdS_2$
580: covered by the Poincare patch.
581: We note that the relation (\ref{SSS}) is
582: mimicked by their $AdS_2$ cousins.
583: Despite the duality which guarantees some sort of matching,
584: this is nontrivial because the duality map is nonlocal.
585:
586: \section{Target Space Geometry}
587:
588: \subsection{$AdS_2$ as Near Horizon Geometry} \label{nearhorizon}
589:
590: The supergravity solution of type 0A theory
591: with background RR electric field proportional to $q$ is \cite{BL}
592: \bea
593: ds^2 &=& (1 + \frac{q^2}{8} (\Phi-\Phi_0-\frac{1}{2})e^{2\Phi})
594: (-dt^2 + d\s^2), \\
595: \s(\Phi) &=& \frac{1}{\sqrt{2}}\int^{\Phi}
596: \frac{d\Phi'}{1+\frac{q^2}{8}(\Phi'-\Phi_0-\frac{1}{2})e^{2\Phi'}}, \\
597: \Phi_0 &=& - \log\frac{q}{4},
598: \eea
599: which is asymptotically flat in the $\s\rightarrow \infty$ limit.
600: If we scale the spatial coordinate around the ``near horizon'' region
601: $\s \rightarrow \infty$,
602: we arrive at the $AdS_2$ geometry
603: \be
604: ds^2 = \frac{1}{4\s^2}(-dt^2 + d\s^2), \quad
605: \Phi = \Phi_0 = -\log\frac{q}{4}.
606: \ee
607:
608: Correspondingly, the deformed matrix quantum mechanics dual to
609: type 0A theory with RR flux $q$ is defined by (\ref{H}).
610: In terms of the generators defined in (\ref{HKD}),
611: the Hamiltonian is $H-K$.
612: %Applying the dilation operator of $SL(2,\mathbb{R})$
613: %to zoom in around $x = 0$,
614: %\be
615: %e^{i\eps D}x e^{-i\eps D} = e^{-\eps/2} x,
616: %\ee
617: %the two terms in the Hamiltonian are scaled differently
618: %\be
619: %e^{i\eps D}H e^{-i\eps D} = e^{\eps} H, \quad
620: %e^{i\eps D}K e^{-i\eps D} = e^{-\eps} K.
621: %\ee
622: If we scale $x$, $H$ and $K$ are scaled accordingly
623: \be
624: x \rightarrow \lam x, \quad H \rightarrow \lam^{-2} H,
625: \quad K \rightarrow \lam^2 K.
626: \ee
627: Obviously, the Hamiltonian approaches to $H$ as we zoom in $x$.
628: Essentially, this is simply saying that
629: if we zoom in around the region very close to $x = 0$,
630: we can eventually ignore the $x^2$ term in the potential.
631: Similarly, any Fermi surface with $\mu \leq 0$ will eventually
632: become out of sight as we zoom in around $x = 0$.
633: Hence the $AdS_2$ background corresponds to the vacuum
634: without fermion in the matrix model.
635:
636: \subsection{Connections Among Matrix Models}
637:
638: According to Sec. \ref{SL2R},
639: the $AdS_2$ matrix model (\ref{AdS2V}),
640: which is of the form of $S_0$,
641: can also be written as $S_+$ or $S_-$.
642: The distinctive feature of the $AdS_2$ theory is
643: that the ground state has no fermion.
644: When the Fermi sea is filled to a finite energy $\mu$ in $S_-$,
645: the matrix model is dual to string theory in the linear dilaton background
646: with a tachyon field proportional to $\mu$.
647: This implies that the back-reaction of the tachyon field changes
648: the target space geometry from an asymptotically flat space to $AdS_2$
649: in the limit of tachyon condensation $\mu \rightarrow -\infty$.
650: By tunning the tachyon amplitude, we can interpolate between
651: Minskowski space ($\mu=0$) and $AdS_2$ ($\mu=-\infty$).
652: This gives an explicit example of how large fluctuations
653: of the Fermi sea correspond to changes of the background geometry.
654:
655: For bosonic or type 0B theory, there is no analogous scaling argument
656: on the supergravity side for $AdS_2$ as in Sec. \ref{nearhorizon}.
657: However, for the undeformed matrix quantum mechanics,
658: the vacuum with no fermion is still $SL(2,\mathbb{R})$ invariant.
659: Based on the similarity among type 0A, 0B and bosonic theories,
660: we propose that $AdS_2$ is also the spacetime geometry for type 0B theory
661: in the limit $\mu\rightarrow -\infty$.
662:
663: If the correspondence between $S_+$ and the global $AdS_2$ theory is correct,
664: we would expect that a similar correspondence should persist
665: when a Fermi sea is introduced.
666: That is, there should exist an alternative description of
667: 2 dimensional string theory with the linear dilaton background,
668: which contains the old story as a partial description of the full theory.
669: Since complicated field redefinition is involved in
670: matching the matrix model with the spacetime physics,
671: it is possible that the incompleteness of the usual description
672: is not simply referring to the spacetime,
673: but to the set of observables in string theory.
674: Currently we do not have a candidate for this theory,
675: we only know that it should be dual to $S_+$ with
676: a time-dependent Fermi sea.
677: (The Fermi sea in $S_+$ which corresponds to a ground state in $S_-$
678: will be described in Sec. \ref{FS}.)
679:
680: \subsection{Topology of $AdS_2$ and Quantization of RR Charge} \label{TQ}
681:
682: $AdS_2$ can be defined by its embedding in $2+1$ dimensions
683: \be \label{AdS}
684: X_0^2 + X_{-1}^2 - X_1^2 = 1.
685: \ee
686: The Poincare patch is related to Cartesian coordinates via
687: the coordinate transformation
688: \be
689: \s = (X_{-1} - X_1)^{-1}, \quad t = \s X_0.
690: \ee
691: It has the metric
692: \be
693: ds^2 = dX_0^2 + dX_{-1}^2 - dX_1^2 = \frac{1}{\s^2}(dt^2 - d\s^2).
694: \ee
695: The global coordinates of $AdS_2$ is defined by (\ref{global}),
696: for which the metric is
697: \be
698: ds^2 = \frac{1}{4\sin^2(\om)}(d\t^2 - d\om^2).
699: \ee
700: Translation in global time $\t$ is generated by
701: \be
702: L_0 = i\del_{\t} = H+K.
703: \ee
704: Hence $AdS_2$ in the Poincare patch is dual to $S_0$,
705: and in global coordinates to $S_+$ \cite{Strominger}.
706:
707: According to the topology defined by (\ref{AdS}),
708: without extension to the covering space of $AdS_2$,
709: $\t$ is an angular variable,
710: and so
711: \be \label{top}
712: e^{i2\pi L_0} = 1,
713: \ee
714: which implies that the eigenvalues of $L_0$ have to be integers.
715: $L_0$'s eigenfunctions can be solved exactly \cite{Danielsson1}
716: and the eigenvalues of $H+K$ are
717: \be
718: E_n = n + |q|, \quad n = 0, 1, 2, \cdots,
719: \ee
720: where $q$ is the RR charge of type 0A theory.
721: The topological constraint (\ref{top}) then requires that
722: the RR charge $q$ is quantized.
723:
724: With the spectrum given by integers,
725: the time variable $t_+$ of $S_+$ can be
726: naturally compactified on the unit circle
727: with $t_+\in(-\pi,\pi)$.
728: Recalling the image of $t_0$ in $S_+$ (\ref{ttt}),
729: we see that the spacetime of $S_0$ is half of the spacetime of $S_+$,
730: in perfect agreement with the relation between
731: the Poincare patch and global coordinates of $AdS_2$.
732:
733: Since the matrix model for linear dilaton background
734: is equivalent to adding a certain Fermi sea background
735: in the $AdS_2$ matrix model, as we argued earlier,
736: the quantization of $q$ for $AdS_2$ ensures
737: the quantization of $q$ for other matrix models.
738:
739: As a final remark on this issue, for $M > 0$,
740: the classical description of $S_+$ has a period of $\pi$ instead of $2\pi$
741: as shown by (\ref{x+}).
742: \footnote{
743: For $M = 0$,
744: the classical period of $t_+$ is already $2\pi$.
745: }
746: Hence the classical theory of $S_+$ is completely equivalent to that of $S_0$.
747: We need to examine the wave functions of $S_+$ in order to see that
748: the period of $t_+$ is actually $2\pi$.
749: On the other hand, from the viewpoint of dual theories,
750: it is a classical statement that the Poicare patch is half of the global $AdS_2$.
751: This is hence an example of the fact that sometimes
752: $AdS/CFT$ duality matches classical effects to quantum effects.
753:
754: \section{Fermi Sea} \label{FS}
755:
756: The ground state of a matrix model is a Fermi sea filled to an energy $\mu$.
757: In another theory this state is mapped to a time-varying Fermi sea,
758: which can not be viewed as a small fluctuation
759: over a static Fermi sea in view of the new Hamiltonian.
760: A configuration easy to discuss in one theory
761: may be complicated for another.
762:
763: A generic Fermi surface can be described by its boundary
764: in the phase space $f(x, p, t) = 0$.
765: As every point on the boundary has to follow the trajectories
766: determined by the equation of motion
767: (\ref{x+}-\ref{x-}) and (\ref{x+1}-\ref{x-1}),
768: one can always rewrite $f(x, p, t)$ as a function of two variables.
769: The two variables can be any two constants of motion,
770: such as $(E_0, T_0)$ in (\ref{x0}).
771: Or instead we can use the coordinate and momentum at $t = 0$.
772: Whichever variables we choose,
773: we can use (\ref{coord-transf}) and (\ref{p-transf})
774: to switch the descriptions of a Fermi sea.
775: The benefit of using the phase space variables at $t = 0$
776: is that they are identical in all theories.
777:
778: For $M = 0$,
779: the phase space evolution for $S_+$ is simply
780: the circular periodic motion of the simple harmonic oscillator.
781: (See Fig.\ref{PS+0}.)
782: \footnote{
783: The lengths of curves are different because
784: they are particle trajectories for the same period of time,
785: i.e., faster particles leave a longer curve.
786: For $M = 0$ the phase spaces have left-right symmetry
787: and only the right half is plotted.
788: For $M > 0$ only $x > 0$ is allowed.
789: }
790: It is a periodic motion along deformed circles if $M > 0$.
791: (See Fig.\ref{PS+M}.)
792: Classically the period for $M = 0$ is twice that for $M > 0$.
793:
794: \begin{figure}%[tp]
795: \begin{minipage}{70mm}
796: \begin{center}
797: \includegraphics[width=6cm]{PS+0.ps}
798: \caption{ Phase space of $S_+$ for $M = 0$ } \label{PS+0}
799: \end{center}
800: \end{minipage}
801: \hspace*{10mm}
802: \begin{minipage}{70mm}
803: \begin{center}
804: \includegraphics[width=6cm]{PS+M.ps}
805: \caption{ Phase space of $S_+$ for $M > 0$ } \label{PS+M}
806: \end{center}
807: \end{minipage}
808: \hspace*{10mm}
809: \end{figure}
810:
811: The phase space evolution for $S_0$ is
812: straight horizontal motion along the $x_0$ axis if $M = 0$.
813: (See Fig.\ref{PS00}.)
814: For $M > 0$ a point in the phase space turns around at
815: the infinite potential wall.
816: The trajectories are asymptotically horizontal lines.
817: (See Fig.\ref{PS0M}.)
818:
819: \begin{figure}%[tp]
820: \begin{minipage}{70mm}
821: \begin{center}
822: \includegraphics[width=6cm]{PS00.ps}
823: \caption{ Phase space of $S_+$ for $M = 0$ } \label{PS00}
824: \end{center}
825: \end{minipage}
826: \hspace*{10mm}
827: \begin{minipage}{70mm}
828: \begin{center}
829: \includegraphics[width=6cm]{PS0M.ps}
830: \caption{ Phase space of $S_0$ for $M > 0$ } \label{PS0M}
831: \end{center}
832: \end{minipage}
833: \hspace*{10mm}
834: \end{figure}
835:
836: For $S_-$, a point in the phase space always moves along
837: a hyperbolic curve.
838: (See Fig.\ref{PS-0} and Fig.\ref{PS-M}.)
839:
840: \begin{figure}%[tp]
841: \begin{minipage}{70mm}
842: \begin{center}
843: \includegraphics[width=6cm]{PS-0.ps}
844: \caption{ Phase space of $S_+$ for $M = 0$ } \label{PS-0}
845: \end{center}
846: \end{minipage}
847: \hspace*{10mm}
848: \begin{minipage}{70mm}
849: \begin{center}
850: \includegraphics[width=6cm]{PS-M.ps}
851: \caption{ Phase space of $S_-$ for $M > 0$ } \label{PS-M}
852: \end{center}
853: \end{minipage}
854: \hspace*{10mm}
855: \end{figure}
856:
857: It is then easy to visualize the Fermi surface
858: in a different coordinate system.
859: The phase space configuration of a Fermi surface
860: at $t=0$ in one coordinate system
861: is identical in another coordinate system.
862: As long as we know how each point in the phase space evolves with time,
863: we can easily figure out the evolution of the Fermi surface in any theory.
864:
865: For example, the static Fermi sea in the matrix model
866: for bosonic strings is bounded by a hyperbolic curve in the phase space.
867: It is static for $S_-$, and is rotating around the origin for $S_+$.
868: In general a static Fermi sea is time-dependent in another coordinate system.
869: The origin of the phase space for $M = 0$ is the only case
870: that is static in all theories.
871:
872: In \cite{KS}, interesting time-dependent solutions of the Fermi sea
873: were found in the matrix model.
874: Some of them describe tachyon condensation.
875: For instance, the solution for light-like tachyon condensation,
876: \be
877: (x + p + 2 \lam e^t)(x - p) = g_s^{-1}
878: \ee
879: describes a Fermi sea which is at rest
880: and filled up to the energy $g_s^{-1}$ in the infinite past,
881: but has all fermions removed to the infinities in the infinite future.
882: However, in the $S_+$ theory all solutions are periodic.
883: If tachyon condensation happens during half the cycle,
884: the reverse process must take over the other half of the cycle.
885: This is consistent with the fact that
886: tachyons in 2 dimensions are not tachyonic.
887:
888: %\be
889: %e^t (x - p) (\sinh(t) x - \cosh(t) p) = -\frac{1}{2g_s}.
890: %\ee
891:
892: \section{Discussions}
893:
894: In this paper we clarified the meaning of the $SL(2,\mathbb{R})$ symmetry
895: as an isometry of the matrix model.
896: We also used its Lie algebra generators,
897: interpreted as Killing vectors of $AdS_2$ in the dual theory,
898: to define new coordinate systems in which
899: the matrix model takes different Hamiltonians.
900: This reflects the different appearances of $AdS_2$
901: in different coordinate patches.
902: It turns out that all matrix models (\ref{V0}) are in some sense equivalent,
903: and a choice of the string theory background corresponds
904: to a choice of the Fermi sea.
905: The moduli space of string theory is mapped to
906: the space of all Fermi sea configurations
907: (including the time-dependent ones).
908:
909: As a supportive evidence of our interpretation,
910: we used $AdS_2$'s topological property to quantize
911: the D0-brane charge $q$ for the type 0A matrix model.
912: We also find that the relation between
913: the Poincare patch and global coordinates of $AdS_2$
914: is faithfully inherited by the map between time coordinates
915: of corresponding matrix models.
916:
917: Finally, let us examine more carefully to what extent
918: we can claim the quantum equivalence among $S_+, S_0, S_-$.
919: First, the Hilbert spaces, if defined as the spaces of
920: normalizable wave functions,
921: are identical even at the quantum level for all finite $t$
922: (whenever the coordinate transformation is not singular),
923: although the energy eigenfunctions are of course different.
924: Yet if we further restrict ourselves to states with finite energies,
925: the Hilbert spaces are different among $S_+, S_0, S_-$.
926: For instance, according to (\ref{x+}) and (\ref{A+T+}),
927: \be
928: E_+ = E_0(T_0 + 1)^2 + \frac{M}{4E_0},
929: \ee
930: so $E_+$ diverges whenever $E_0 = 0$ or $T_0\rightarrow \pm\infty$,
931: which are finite energies in $S_0$.
932: This is what one should expect as a generic phenomenon
933: associated with spacetime coordinate transformations.
934:
935: On the other hand, we see from our discussion in Sec.\ref{CP}
936: that it can not be a complete equivalence,
937: since the coordinate transformations are not bijective.
938: In fact we already have an example of inequivalence:
939: the quantization of RR flux due to compactification of $t_+$ in $S_+$
940: can not be repeated in $S_0$ or $S_-$
941: since the latter have no access to the full range of $t_+$.
942: Similarly, we expect that $S_+$ will be superior to $S_0$ and $S_-$
943: when we consider certain orbifolds of $AdS_2$,
944: and that this conclusion can be carried over to the linear dilaton background
945: when the appropriate Fermi sea is introduced.
946:
947: \section*{Acknowledgment}
948:
949: The author thanks Allan Adams, Joanna Karczmarek, Lubos Motl,
950: Andy Strominger, Tadashi Takayanagi and John Wang
951: for helpful discussions.
952: This work is supported in part by
953: the National Science Council, Taiwan, R.O.C.
954: the Center for Theoretical Physics
955: at National Taiwan University,
956: and the CosPA project of the Ministry of Education, Taiwan, R.O.C.
957:
958: \appendix
959:
960: \section{Solutions to the Isometry Condition} \label{Isometry}
961:
962: The isometry condition (\ref{EOMD})
963: can be solved for any given Hamiltonian $H$.
964: In fact it is possible to use the isometry condition
965: to find all Hamiltonians with nontrivial isometries.
966:
967: Following Sec. \ref{iqm},
968: if $H$ has a quadratic term in $\del_x$,
969: we can compare the coefficients of $\del_t$ on both sides of (\ref{EOMD}).
970: It implies that
971: \be
972: \quad \D' = \D + i\frac{\del}{\del t} A.
973: \ee
974: Then we compare the coefficient of $\del_t\del_x$,
975: and see that we must have $\del_x A = 0$,
976: that is, $A$ is a function of $t$ only.
977: Hamiltonians with only linear terms in $\del_x$
978: will not be considered in this paper.
979: But we expect that similar approach will apply.
980:
981: Matching the coefficients of $\del_x^n$ for each $n$
982: in the isometry condition (\ref{EOMD}) gives
983: \bea
984: &\del_x B = \frac{1}{2}\del_t A, \quad \del_x C = \del_t B, \\
985: &i\del_t(C+AV) + iB\del_x V + \frac{1}{2}\del_x^2 C = 0. \label{eq3}
986: \eea
987: The first two can be easily solved
988: \be \label{BC}
989: B = \frac{1}{2}\del_t A(t) x + b(t), \quad
990: C = \frac{1}{4}\del_t^2 A(t) x^2 + \del_t b(t) x + c_0(t),
991: \ee
992: and after plugging these in (\ref{eq3}) we get
993: \be \label{3rdid}
994: \del_t A (V+\frac{1}{2}x\del_x V)+ b\del_x V +
995: \frac{1}{4}\del_t^3 A x^2 + \del_t^2 b x +
996: \del_t c_0 - \frac{i}{4}\del_t^2 A = 0.
997: \ee
998: Now we should consider separately the cases $\del_t A \neq 0$ and $\del_t A = 0$.
999:
1000: If $\del_t A \neq 0$,
1001: we can shift $x$ by $x\rightarrow x - \frac{2b}{\del_t A}$
1002: to absord $b$.
1003: Hence we can assume $b(t) = 0$
1004: without loss of generality.
1005: We will still use $x$ to stand for the shifted coordinate.
1006: The equations (\ref{BC}-\ref{3rdid}) are simplified to
1007: \bea
1008: &B = \frac{1}{2}\del_t A(t) x, \quad
1009: C = \frac{1}{4}\del_t^2 A(t) x^2 + c_0(t), \label{BC1} \\
1010: &\del_t A (V+\frac{1}{2}x\del_x V) +
1011: \frac{1}{4}\del_t^3 A x^2 +
1012: \del_t c_0 - \frac{i}{4}\del_t^2 A = 0. \label{3rdid1}
1013: \eea
1014: Eq. (\ref{3rdid1}) is a statement about the linear dependence
1015: of $(V+\frac{x}{2}\del_x V), x^2, x, 1$ as functions of $x$.
1016: Yet since the coefficients of them are functions of $t$,
1017: the only chance for it to hold for all $t$ and $x$ is that
1018: all coefficients are the same function of $t$ up to overall constant factors.
1019: That is
1020: \be \label{eqAc0}
1021: \frac{\del_t^3 A}{\del_t A} = -8 v_2, \quad
1022: \frac{-\del_t c_0 + \frac{i}{4}\del_t^2 A}{\del_t A} = v_0,
1023: \ee
1024: for some constants $v_2, v_0$.
1025: The potential $V$ can then be easily solved from (\ref{3rdid1})
1026: \be \label{V}
1027: V = v_0 + v_2 x^2 + \frac{M}{2 x^2}.
1028: \ee
1029:
1030: The isometry generators $\D$ are defined by $A$, $B$ and $C$,
1031: which are determined by (\ref{BC1}) and (\ref{eqAc0}).
1032: For the potential (\ref{V}) with $v_2\neq 0$,
1033: the result is that $\D$ is in general a linear combination of
1034: the following 3 generators
1035: \bea
1036: &{\cal H} = i \del_t - v_0, \label{H+-} \\
1037: &{\cal L}_+ = e^{\sqrt{-8v_2}t}\left( i\del_t +
1038: \frac{i}{2}\sqrt{-8v_2}x\del_x - 2v_2 x^2
1039: -(v_0 - \frac{i}{4}\sqrt{-8v_2}) \right), \label{L+} \\
1040: &{\cal L}_- = e^{-\sqrt{-8v_2}t}\left( i\del_t -
1041: \frac{i}{2}\sqrt{-8v_2}x\del_x - 2v_2 x^2
1042: -(v_0 + \frac{i}{4}\sqrt{-8v_2}) \right). \label{L-}
1043: \eea
1044: They satisfy the $SL(2,\mathbb{R})$ Lie algebra
1045: \be
1046: [{\cal H}, {\cal L}_{\pm}] = \pm i\sqrt{-8v_2}{\cal L}_{\pm},
1047: \quad
1048: [{\cal L}_+, {\cal L}_-] = -2i\sqrt{-8v_2}{\cal H}.
1049: \ee
1050: For the potential (\ref{V}) with $v_2 = 0$, i.e.,
1051: \be \label{v2=0}
1052: V = v_0 + \frac{M}{2 x^2},
1053: \ee
1054: they are
1055: \bea
1056: &{\cal H} = i \del_t - v_0, \label{H2} \\
1057: &{\cal L}_1 = it\del_t + \frac{i}{2}x\del_x - v_0 t + \frac{i}{4},
1058: \label{L1} \\
1059: &{\cal L}_2 = \frac{i}{2}t^2\del_t + \frac{i}{2}tx\del_x
1060: + \frac{x^2}{4} - \frac{v_0}{2} t^2 + \frac{i}{4} t.
1061: \label{L2}
1062: \eea
1063: They realize a different set of generators of the same algebra
1064: \be \label{HL1L2}
1065: [{\cal H}, {\cal L}_1 ] = i{\cal H}, \quad
1066: [{\cal H}, {\cal L}_2 ] = i{\cal L}_1, \quad
1067: [{\cal L}_1, {\cal L}_2 ] = i{\cal L}_2.
1068: \ee
1069:
1070: If on the other hand $\del_t A = 0$, then $A$ is a constant,
1071: and $b$ has to be nonzero for the existence
1072: of any additional isometry generator in addition to ${\cal H}$.
1073: Due to $\del_t A = 0$, (\ref{3rdid}) becomes
1074: \be
1075: b\del_x V + \del_t^2 b x + \del_t c = 0.
1076: \ee
1077: Again this implies that $b, \del_t^2 b$ and $\del_t c$
1078: can only differ by constant factors.
1079: Thus $V$ has to be of the form
1080: \be
1081: V = v_2 x^2 + v_0,
1082: \ee
1083: and the symmetry generators are
1084: \be \label{M}
1085: {\cal M}_{\pm} = e^{\pm\sqrt{-2v_2}t}\left(
1086: i\del_x \pm \sqrt{-2v_2} x \right),
1087: \ee
1088: in addition to ${\cal H} = i\del_t$.
1089: ${\cal M}_{\pm}$ are space-like Killing operators.
1090: They satisfy the algebra
1091: \be \label{crann}
1092: [{\cal H}, {\cal M}_{\pm}] = \pm i \sqrt{-2v_2} {\cal M}_{\pm}, \quad
1093: [{\cal M}_+, {\cal M}_-] = -2i\sqrt{-2v_2}.
1094: \ee
1095: The generators ${\cal L}_{\pm}$ (\ref{L+}, \ref{L-})
1096: can still be defined when $v_{-2} = 0$.
1097: Their commutation relations with ${\cal M}_{\pm}$ are
1098: \be
1099: [{\cal L}_{\pm}, {\cal M}_{\pm}] = 0, \quad
1100: [{\cal L}_{\pm}, {\cal M}_{\mp}] = \mp 2i \sqrt{-2v_2} {\cal M}_{\pm}.
1101: \ee
1102:
1103: To summarize, for $M = 0$ in (\ref{V0}),
1104: there are a total of 5 isometry generators
1105: ${\cal H}, {\cal L}_{\pm}$ and ${\cal M}_{\pm}$.
1106: The two new generators ${\cal M}_{\pm}$
1107: are in fact simply the creation and annihilation operators
1108: of the simple harmonic oscillator when $v_2 > 0$.
1109: (When $M \neq 0$, the $SL(2,\mathbb{R})$ algebra
1110: is also very useful for studying the spectrum \cite{AFF,Danielsson1}.)
1111: When $v_2 < 0$, they can be used to construct
1112: the discrete spectrum of imaginary energies in the matrix model.
1113:
1114: If $v_2 = 0$, the new generators (\ref{M}) reduce to
1115: \be
1116: {\cal M}_1 = i\del_x, \quad {\cal M}_2 = it\del_x + x.
1117: \ee
1118: The algebra is defined by (\ref{HL1L2}) and
1119: \bea
1120: &[{\cal H}, {\cal M}_1] = 0, \quad
1121: [{\cal H}, {\cal M}_2] = i{\cal M}_1, \quad
1122: [{\cal M}_1, {\cal M}_2] = i, \\
1123: &[{\cal L}_1, {\cal M}_1] = -\frac{i}{2}{\cal M}_1, \quad
1124: [{\cal L}_1, {\cal M}_2] = \frac{i}{2}{\cal M}_2, \\
1125: &[{\cal L}_2, {\cal M}_1] = -\frac{i}{2}{\cal M}_2, \quad
1126: [{\cal L}_2, {\cal M}_2] = 0.
1127: \eea
1128:
1129: Using the fact that all Hamiltonians with potentials
1130: of the form (\ref{V}) with the same $M$
1131: are related to each other by coordinate transformations \cite{AFF}
1132: (see next section),
1133: the generators (\ref{H+-}), (\ref{L+}), (\ref{L-})
1134: are related to the generators (\ref{H2}), (\ref{L1}), (\ref{L2})
1135: by coordinate transformations.
1136: By unitary transformations of $e^{iv_0 t}$,
1137: we can always set $v_0 = 0$.
1138: Then we see that the generators in (\ref{H2}-\ref{L2})
1139: are related to $H, K, D$ in (\ref{HKD}) as
1140: \be
1141: ({\cal H}, {\cal L}_1, 2{\cal L}_2) \rightarrow (H, D, K),
1142: \ee
1143: respectively,
1144: by setting $t = 0$ and replacing $i\del_t$ by $H$.
1145:
1146: \section{Killing Operator as Hamiltonian} \label{appKilling}
1147:
1148: By suitably choosing a new time coordinate $\t$,
1149: we can rewrite the isometry generator $\D$
1150: \be \label{D1}
1151: \D = \a{\cal H} + \b{\cal L}_1 + 2\g{\cal L}_2 =
1152: if(t) \del_t + \frac{1}{2}(\del_t f(t)) x\del_x
1153: + \frac{i}{4}(\del_t f(t) - i2\g x^2)
1154: \ee
1155: as
1156: \be \label{D2}
1157: i\del_{\t},
1158: \ee
1159: where
1160: \be
1161: f(t) = \a + \b t + \g t^2
1162: \ee
1163: for some constants $\a, \b, \g$,
1164: up to unitary transformations,
1165: so that $\t$ is the coordinate translated by $\D$.
1166: Apparently, for the new Schr\"{o}dinger equation
1167: \be
1168: (i\del_\t - H_{\t}) \psi = 0
1169: \ee
1170: to be equivalent to the old one,
1171: $H_{\t}$ should be equivalent to $\hat{\D}$,
1172: which is $\D$ with $i\del_t$ replaced by $H$.
1173:
1174: Comparing (\ref{D1}) with (\ref{D2}), we demand that
1175: \be
1176: \frac{\del t}{\del \t} = f(t), \quad
1177: \frac{\del x}{\del \t} = \frac{1}{2}\del_t f.
1178: \ee
1179: They are solved by (\ref{tautransf}) and (\ref{stransf}),
1180: or more explicitly
1181: \be
1182: \tau = \tau(t) =
1183: \frac{2}{\sqrt{\Delta}} \tan^{-1}\left(\frac{f'(t)}{\sqrt{\Delta}}\right),
1184: \quad \s = f^{-1/2} x, \label{sy},
1185: %\\
1186: %t = \frac{1}{c}
1187: %\left(\sqrt{\Delta}\tan\left(\frac{\sqrt{\Delta}}{2}\t\right)-b\right),
1188: %\quad x = f^{1/2} \s,
1189: \ee
1190: where $\Delta = 4\a\g-\b^2$.
1191: Here $\s$ is the new spatial coordinate.
1192: Obviously there is a freedom to shift $\tau$ by a constant.
1193:
1194: For (\ref{sy}) to make sense we need to assume $\g\neq 0$.
1195: But they are still valid even if $\Delta < 0$,
1196: using $\tan(i\th) = i\tanh(\th)$.
1197: %The derivatives are related by
1198: %\be
1199: %\del_t = f^{-1}\del_{\t} - \frac{1}{2}f^{-1}(\del_t f) \s\del_{\s}, \quad
1200: %\del_x = f^{-1/2}\del_{\s}.
1201: %\ee
1202: %and the equation of motion in terms of the new coordinates is
1203: %(see (\ref{EOMEOM}))
1204: In terms of the new variables, the equation of motion becomes
1205: \be
1206: \EOM = f^{-1}\left(
1207: i\del_{\t}+\frac{i}{4}(\del_t f)+
1208: \frac{1}{2}(\del_{\s}-\frac{i}{2}(\del_t f)\s)^2
1209: +\frac{1}{8}(\del_t f)^2\s^2-\frac{v_{-2}}{\s^2}
1210: \right) = f^{-1}\EOM'.
1211: \ee
1212: One can find the new Hamiltonian by reading it off from
1213: the new equation of motion.
1214: This expression can be simplified by a unitary transformation
1215: \be
1216: \psi = U\hat{\psi}, \quad U = e^{\frac{i}{4}(\del_t f)\s^2},
1217: \ee
1218: and a rescaling of the wave function to absorb
1219: the time dependent measure
1220: \be
1221: \hat{\psi} = f^{1/4}\tilde{\psi}, \quad
1222: \frac{dx}{d\s} = f^{-1/2}.
1223: \ee
1224: Let the new Hamiltonian be defined through
1225: \be
1226: i\del_{\t} - H_{\t} = f^{1/4}U^{\dag}\left(f\EOM\right)Uf^{-1/4},
1227: \ee
1228: We find
1229: \be \label{Htau}
1230: H_{\t} = -\frac{1}{2}\del_{\s}^2
1231: +\frac{M}{2 \s^2}+\frac{\Delta}{8}\s^2.
1232: \ee
1233: Finally, one can check that
1234: \be
1235: U^{\dag}\D U = i\del_{\t},
1236: \ee
1237: as we aimed at in the beginning.
1238: Compared with Sec. \ref{KO},
1239: $H_{\t}$ (\ref{Htau}) was denoted $G$ in (\ref{HG}).
1240:
1241: In the derivation above we see that,
1242: in addition to the coordinate transformation,
1243: a unitary transformation by $U$ and a scaling by $f^{1/4}$
1244: is needed for the wave function to satisfy
1245: Schr\"{o}dinger equation in the new coordinate system.
1246:
1247: \vskip .8cm
1248: \baselineskip 22pt
1249: \begin{thebibliography}{99}
1250: \itemsep 0pt
1251:
1252: \bibitem{MM}
1253: D.~J.~Gross and N.~Miljkovic,
1254: ``A Nonperturbative Solution Of D = 1 String Theory,''
1255: Phys.\ Lett.\ B {\bf 238}, 217 (1990);
1256: %%CITATION = PHLTA,B238,217;%%
1257: E.~Brezin, V.~A.~Kazakov and A.~B.~Zamolodchikov,
1258: ``Scaling Violation In A Field Theory Of Closed Strings In One Physical Dimension,''
1259: Nucl.\ Phys.\ B {\bf 338}, 673 (1990);
1260: %%CITATION = NUPHA,B338,673;%%
1261: P.~Ginsparg and J.~Zinn-Justin,
1262: ``2-D Gravity + 1-D Matter,''
1263: Phys.\ Lett.\ B {\bf 240}, 333 (1990).
1264: %%CITATION = PHLTA,B240,333;%%
1265:
1266: \bibitem{Klebanov}
1267: I.~R.~Klebanov,
1268: ``String theory in two-dimensions,''
1269: [hep-th/9108019].
1270: %%CITATION = HEP-TH 9108019;%%
1271:
1272: \bibitem{GinspargMoore}
1273: P.~Ginsparg and G.~W.~Moore,
1274: ``Lectures On 2-D Gravity And 2-D String Theory,''
1275: [hep-th/9304011].
1276: %%CITATION = HEP-TH 9304011;%%
1277:
1278: \bibitem{Polchinski}
1279: J.~Polchinski,
1280: ``What is string theory?,''
1281: [hep-th/9411028].
1282: %%CITATION = HEP-TH 9411028;%%
1283:
1284: \bibitem{c=1}
1285: J.~McGreevy and H.~Verlinde,
1286: ``Strings from tachyons: The c = 1 matrix reloaded,''
1287: JHEP {\bf 0312}, 054 (2003)
1288: [hep-th/0304224];
1289: %%CITATION = HEP-TH 0304224;%%
1290: and for a long list of recent reference, see e.g. \cite{GTT}.
1291:
1292: \bibitem{TT}
1293: T.~Takayanagi and N.~Toumbas,
1294: ``A matrix model dual of type 0B string theory in two dimensions,''
1295: JHEP {\bf 0307}, 064 (2003)
1296: [hep-th/0307083].
1297: %%CITATION = HEP-TH 0307083;%%
1298:
1299: \bibitem{DKKMMS}
1300: M.~R.~Douglas, I.~R.~Klebanov, D.~Kutasov,
1301: J.~Maldacena, E.~Martinec and N.~Seiberg,
1302: ``A new hat for the c = 1 matrix model,''
1303: [hep-th/0307195].
1304: %%CITATION = HEP-TH 0307195;%%
1305:
1306: \bibitem{GTT}
1307: S.~Gukov, T.~Takayanagi and N.~Toumbas,
1308: ``Flux backgrounds in 2D string theory,''
1309: [hep-th/0312208].
1310: %%CITATION = HEP-TH 0312208;%%
1311:
1312: \bibitem{JevickiYoneya}
1313: A.~Jevicki and T.~Yoneya,
1314: ``A Deformed matrix model and the black hole background
1315: in two-dimensional string theory,''
1316: Nucl.\ Phys.\ B {\bf 411}, 64 (1994)
1317: [hep-th/9305109].
1318: %%CITATION = HEP-TH 9305109;%%
1319:
1320: \bibitem{Strominger}
1321: A.~Strominger,
1322: ``A matrix model for AdS(2),''
1323: [hep-th/0312194].
1324: %%CITATION = HEP-TH 0312194;%%
1325:
1326: \bibitem{AFF}
1327: V.~de Alfaro, S.~Fubini and G.~Furlan,
1328: ``Conformal Invariance In Quantum Mechanics,''
1329: Nuovo Cim.\ A {\bf 34}, 569 (1976).
1330: %%CITATION = NUCIA,A34,569;%%
1331:
1332: \bibitem{MichelsonStrominger}
1333: J.~Michelson and A.~Strominger,
1334: ``The geometry of (super)conformal quantum mechanics,''
1335: Commun.\ Math.\ Phys.\ {\bf 213}, 1 (2000)
1336: [hep-th/9907191].
1337: %%CITATION = HEP-TH 9907191;%%
1338:
1339: \bibitem{BL}
1340: %T.~Banks and M.~O'Loughlin,
1341: %``Nonsingular Lagrangians for two-dimensional black holes,''
1342: %Phys.\ Rev.\ D {\bf 48}, 698 (1993)
1343: %[hep-th/9212136].
1344: %%%CITATION = HEP-TH 9212136;%%
1345: %R.~Balbinot and A.~Fabbri,
1346: %``Two-dimensional black holes in accelerated frames: Spacetime structure,''
1347: %Class.\ Quant.\ Grav.\ {\bf 13}, 2457 (1996)
1348: %[gr-qc/9602047].
1349: %%%CITATION = GR-QC 9602047;%%
1350: %A.~Fabbri,
1351: %``Classical stability of black hole Cauchy horizons in two-dimensional
1352: %%asymptotically flat space-times,''
1353: %[gr-qc/9607013].
1354: %%%CITATION = GR-QC 9607013;%%
1355: N.~Berkovits, S.~Gukov and B.~C.~Vallilo,
1356: ``Superstrings in 2D backgrounds with R-R flux and new extremal black holes,''
1357: Nucl.\ Phys.\ B {\bf 614}, 195 (2001)
1358: [hep-th/0107140].
1359: %%CITATION = HEP-TH 0107140;%%
1360:
1361: \bibitem{Danielsson1}
1362: U.~H.~Danielsson,
1363: ``A Matrix model black hole,''
1364: Nucl.\ Phys.\ B {\bf 410}, 395 (1993)
1365: [hep-th/9306063].
1366: %%CITATION = HEP-TH 9306063;%%
1367:
1368: \bibitem{KS}
1369: J.~L.~Karczmarek and A.~Strominger,
1370: ``Matrix cosmology,''
1371: [hep-th/0309138].
1372: %%CITATION = HEP-TH 0309138;%%
1373:
1374: \end{thebibliography}
1375: \end{document}
1376: