1: \input harvmac

2: %\draftmode

3: \input epsf

4: %

5: \noblackbox

6: \def\newpage{\vfill\eject}

7: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

8: \def\npb#1#2#3{{\it Nucl.\ Phys.} {\bf B#1} (19#2) #3}

9: \def\plb#1#2#3{{\it Phys.\ Lett.} {\bf B#1} (19#2) #3}

10: \def\prl#1#2#3{{\it Phys.\ Rev.\ Lett.} {\bf #1} (19#2) #3}

11: \def\prd#1#2#3{{\it Phys.\ Rev.} {\bf D#1} (19#2) #3}

12: \def\mpla#1#2#3{{\it Mod.\ Phys.\ Lett.} {\bf A#1} (19#2) #3}

13: \def\cmp#1#2#3{{\it Commun.\ Math.\ Phys.} {\bf #1} (19#2) #3}

14: \def\atmp#1#2#3{{\it Adv.\ Theor.\ Math.\ Phys.} {\bf #1} (19#2) #3}

15: \def\jhep#1#2#3{{\it JHEP\/} {\bf #1} (19#2) #3}

16: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

17: 

18: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

19: \newcount\figno

20: \figno=0

21: \def\IZ{\relax\ifmmode\mathchoice

22: {\hbox{\cmss Z\kern-.4em Z}}{\hbox{\cmss Z\kern-.4em Z}}

23: {\lower.9pt\hbox{\cmsss Z\kern-.4em Z}}

24: {\lower1.2pt\hbox{\cmsss Z\kern-.4em Z}}\else{\cmss Z\kern-.4em

25: Z}\fi}

26: \def\IR{\relax{\rm I\kern-.18em R}}

27: \def\fig#1#2#3{

28: \par\begingroup\parindent=0pt\leftskip=1cm\rightskip=1cm\parindent=0pt

29: \baselineskip=11pt

30: \global\advance\figno by 1

31: \midinsert

32: \epsfxsize=#3

33: \centerline{\epsfbox{#2}}

34: \vskip 12pt

35: \centerline{{\bf Figure \the\figno} #1}\par

36: \endinsert\endgroup\par}

37: \def\figlabel#1{\xdef#1{\the\figno}}

38: \def\pano{\par\noindent}

39: \def\smno{\smallskip\noindent}

40: \def\meno{\medskip\noindent}

41: \def\bigno{\bigskip\noindent}

42: %%% special math symbols

43: \def\pmb#1{\setbox0=\hbox{#1}%

44: \kern-.025em\copy0\kern-\wd0

45: \kern.05em\copy0\kern-\wd0

46: \kern-.025em\raise.0433em\box0 }

47: \font\cmss=cmss10

48: \font\cmsss=cmss10 at 7pt

49: \def\half{{1\over 2}}

50: \def\rlx{\relax\leavevmode}

51: \def\Cop{\relax\,\hbox{$\kern-.3em{\rm C}$}}

52: %\def\Cop{\relax\,\hbox{$\inbar\kern-.3em{\rm C}$}}

53: \def\Rop{\relax{\rm I\kern-.18em R}}

54: \def\Nop{\relax{\rm I\kern-.18em N}}

55: \def\Pop{\relax{\rm I\kern-.18em P}}

56: \def\Mon{{\bf M}}

57: \def\Zop{\rlx\leavevmode\ifmmode\mathchoice{\hbox{\cmss Z\kern-.4em Z}}

58: {\hbox{\cmss Z\kern-.4em Z}}{\lower.9pt\hbox{\cmsss Z\kern-.36em Z}}

59: {\lower1.2pt\hbox{\cmsss Z\kern-.36em Z}}\else{\cmss Z\kern-.4em

60: Z}\fi}

61: \def\bphi{{\pmb{$\phi$}}}

62: %%% misc.

63: \def\K{{\cal{K}}}

64: \def\R{{\cal{R}}}

65: \def\F{{\cal{F}}}

66: \def\N{{\cal N}}

67: \def\M{{\cal M}}

68: \def\C{{\cal C}}

69: \def\H{{\cal H}}

70: \def\I{{\cal I}}

71: \def\A{{\cal{A}}}

72: \def\W{{\cal W}}

73: \def\V{{\cal V}}

74: \def\E{{\cal E}}

75: \def\ie{{\it i.e.}}

76: \def\eg{{\it e.g.}}

77: 

78: %\GiveonTQ

79: \lref\GiveonTQ{

80: A.~Giveon and D.~Kutasov,

81: %``Comments on double scaled little string theory,''

82: JHEP {\bf 0001}, 023 (2000)

83: [hep-th/9911039].

84: %%CITATION = HEP-TH 9911039;%%

85: }

86: %\WeinbergVP

87: \lref\WeinbergVP{

88: E.~J.~Weinberg and A.~Wu,

89: ``Understanding Complex Perturbative Effective Potentials'',

90: Phys.\ Rev.\ D {\bf 36}, 2474 (1987).

91: %%CITATION = PHRVA,D36,2474;%%

92: }

93: %\GuthYA

94: \lref\GuthYA{

95: A.~H.~Guth and S.~Pi,

96: ``The Quantum Mechanics Of The Scalar Field In The New Inflationary

97: Universe'',

98: Phys.\ Rev.\ D {\bf 32}, 1899 (1985).

99: %%CITATION = PHRVA,D32,1899;%%

100: }

101: 

102: %\MarcusVS

103: \lref\MarcusVS{

104: N.~Marcus,

105: ``Unitarity And Regularized Divergences In String Amplitudes'',

106: Phys.\ Lett.\ B {\bf 219}, 265 (1989).

107: %%CITATION = PHLTA,B219,265;%%

108: }

109: %\FischlerTB

110: \lref\FischlerTB{

111: W.~Fischler and L.~Susskind,

112: ``Dilaton Tadpoles, String Condensates And Scale Invariance. 2'',

113: Phys.\ Lett.\ B {\bf 173}, 262 (1986).

114: %%CITATION = PHLTA,B173,262;%%

115: }

116: 

117: %\SenMG

118: \lref\SenMG{

119: A.~Sen,

120: ``Non-BPS states and branes in string theory,''

121: hep-th/9904207.

122: %%CITATION = HEP-TH 9904207;%%

123: }

124: %\MaldacenaRE

125: \lref\MaldacenaRE{

126: J.~Maldacena,

127: ``The large N limit of superconformal field theories and supergravity,''

128: Adv.\ Theor.\ Math.\ Phys.\  {\bf 2}, 231 (1998)

129: [Int.\ J.\ Theor.\ Phys.\  {\bf 38}, 1113 (1998)]

130: [hep-th/9711200].

131: %%CITATION = HEP-TH 9711200;%%

132: }

133: 

134: %\WittenQJ

135: \lref\WittenQJ{

136: E.~Witten,

137: ``Anti-de Sitter space and holography'',

138: Adv.\ Theor.\ Math.\ Phys.\  {\bf 2}, 253 (1998)

139: [hep-th/9802150].

140: %%CITATION = HEP-TH 9802150;%%

141: }

142: 

143: %\GubserBC

144: \lref\GubserBC{

145: S.~S.~Gubser, I.~R.~Klebanov and A.~M.~Polyakov,

146: ``Gauge theory correlators from non-critical string theory,''

147: Phys.\ Lett.\ B {\bf 428}, 105 (1998)

148: [hep-th/9802109].

149: %%CITATION = HEP-TH 9802109;%%

150: }

151: 

152: %\HarveyNA

153: \lref\HarveyNA{

154: J.~A.~Harvey, D.~Kutasov and E.~J.~Martinec,

155: ``On the relevance of tachyons'',

156: [hep-th/0003101].

157: %%CITATION = HEP-TH 0003101;%%

158: }

159: 

160: %\AntoniadisAA

161: \lref\AntoniadisAA{

162: I.~Antoniadis, C.~Bachas, J.~R.~Ellis and D.~V.~Nanopoulos,

163: ``Cosmological String Theories And Discrete Inflation,''

164: Phys.\ Lett.\ B {\bf 211}, 393 (1988).

165: %%CITATION = PHLTA,B211,393;%%

166: }

167: 

168: %\AntoniadisVI

169: \lref\AntoniadisVI{

170: I.~Antoniadis, C.~Bachas, J.~R.~Ellis and D.~V.~Nanopoulos,

171: ``An Expanding Universe In String Theory,''

172: Nucl.\ Phys.\ B {\bf 328}, 117 (1989).

173: %%CITATION = NUPHA,B328,117;%%

174: }

175: 

176: %\AntoniadisUU

177: \lref\AntoniadisUU{

178: I.~Antoniadis, C.~Bachas, J.~R.~Ellis and D.~V.~Nanopoulos,

179: ``Comments On Cosmological String Solutions,''

180: Phys.\ Lett.\ B {\bf 257}, 278 (1991).

181: %%CITATION = PHLTA,B257,278;%%

182: }

183: 

184: %\SeibergBJ

185: \lref\SeibergBJ{

186: N.~Seiberg and S.~H.~Shenker,

187: ``A Note on background (in)dependence,''

188: Phys.\ Rev.\ D {\bf 45}, 4581 (1992)

189: [hep-th/9201017].

190: %%CITATION = HEP-TH 9201017;%%

191: }

192: 

193: %\BalasubramanianDE

194: \lref\BalasubramanianDE{

195: V.~Balasubramanian, P.~Kraus, A.~E.~Lawrence and S.~P.~Trivedi,

196: ``Holographic probes of anti-de Sitter space-times,''

197: Phys.\ Rev.\ D {\bf 59}, 104021 (1999)

198: [hep-th/9808017].

199: %%CITATION = HEP-TH 9808017;%%

200: }

201: 

202: %\BalasubramanianSN

203: \lref\BalasubramanianSN{

204: V.~Balasubramanian, P.~Kraus and A.~E.~Lawrence,

205: ``Bulk vs. boundary dynamics in anti-de Sitter spacetime,''

206: Phys.\ Rev.\ D {\bf 59}, 046003 (1999)

207: [hep-th/9805171].

208: %%CITATION = HEP-TH 9805171;%%

209: }

210: 

211: %\BalasubramanianRY

212: \lref\BalasubramanianRY{

213: V.~Balasubramanian, S.~F.~Hassan, E.~Keski-Vakkuri and A.~Naqvi,

214: ``A space-time orbifold: A toy model for a cosmological singularity,''

215: hep-th/0202187.

216: %%CITATION = HEP-TH 0202187;%%

217: }

218: 

219: 

220: 

221: %\JackMK

222: \lref\JackMK{

223: I.~Jack, D.~R.~Jones and J.~Panvel,

224: ``Exact bosonic and supersymmetric string black hole solutions,''

225: Nucl.\ Phys.\ B {\bf 393}, 95 (1993)

226: [hep-th/9201039].

227: %%CITATION = HEP-TH 9201039;%%

228: }

229: 

230: %\WittenYR

231: \lref\WittenYR{

232: E.~Witten,

233: ``On string theory and black holes,''

234: Phys.\ Rev.\ D {\bf 44}, 314 (1991).

235: %%CITATION = PHRVA,D44,314;%%

236: }

237: 

238: %\DijkgraafBA

239: \lref\DijkgraafBA{

240: R.~Dijkgraaf, H.~Verlinde and E.~Verlinde,

241: ``String propagation in a black hole geometry,''

242: Nucl.\ Phys.\ B {\bf 371}, 269 (1992).

243: %%CITATION = NUPHA,B371,269;%%

244: }

245: 

246: %\BreitenlohnerBM

247: \lref\BreitenlohnerBM{

248: P.~Breitenlohner and D.~Z.~Freedman,

249: ``Positive Energy In Anti-De Sitter Backgrounds And Gauged Extended

250: Supergravity,''

251: Phys.\ Lett.\ B {\bf 115}, 197 (1982).

252: %%CITATION = PHLTA,B115,197;%%

253: }

254: 

255: %\StromingerPN

256: \lref\StromingerPN{

257: A.~Strominger,

258: ``The ds/CFT correspondence,''

259: JHEP {\bf 0110}, 034 (2001)

260: [hep-th/0106113].

261: %%CITATION = HEP-TH 0106113;%%

262: }

263: 

264: %\MaldacenaRE

265: \lref\MaldacenaRE{

266: J.~Maldacena,

267: ``The large $N$ limit of superconformal field theories and supergravity,''

268: Adv.\ Theor.\ Math.\ Phys.\  {\bf 2}, 231 (1998)

269: [Int.\ J.\ Theor.\ Phys.\  {\bf 38}, 1113 (1998)]

270: [hep-th/9711200].

271: %%CITATION = HEP-TH 9711200;%%

272: }

273: 

274: %\AharonyUB

275: \lref\AharonyUB{

276: O.~Aharony, M.~Berkooz, D.~Kutasov and N.~Seiberg,

277: ``Linear dilatons, NS5-branes and holography,''

278: JHEP {\bf 9810}, 004 (1998)

279: [hep-th/9808149].

280: %%CITATION = HEP-TH 9808149;%%

281: }

282: 

283: %\GasperiniHU

284: \lref\GasperiniHU{

285: M.~Gasperini and G.~Veneziano,

286: ``Inflation, deflation, and frame independence in string cosmology,''

287: Mod.\ Phys.\ Lett.\ A {\bf 8}, 3701 (1993)

288: [hep-th/9309023].

289: %%CITATION = HEP-TH 9309023;%%

290: }

291: 

292: %\VenezianoPZ

293: \lref\VenezianoPZ{

294: G.~Veneziano,

295: ``String cosmology: The pre-big bang scenario,''

296: hep-th/0002094.

297: %%CITATION = HEP-TH 0002094;%%

298: }

299: 

300: 

301: %\BanksYP

302: \lref\BanksYP{

303: T.~Banks and W.~Fischler,

304: ``M-theory observables for cosmological space-times,''

305: hep-th/0102077.

306: %%CITATION = HEP-TH 0102077;%%

307: }

308: 

309: 

310: \lref\Gradshteyn{I. S. Gradshteyn and I. M. Ryzhik, {\it Table of

311: Integrals, Series and Products}, Academic Press, (1994).}.

312: 

313: %\KounnasWC

314: \lref\KounnasWC{

315: C.~Kounnas and D.~L\"ust,

316: ``Cosmological string backgrounds from gauged WZW models,''

317: Phys.\ Lett.\ B {\bf 289}, 56 (1992)

318: [hep-th/9205046].

319: %%CITATION = HEP-TH 9205046;%%

320: }

321: 

322: %TolleyCV

323: \lref\TolleyCV{

324: A.~J.~Tolley and N.~Turok,

325: ``Quantum fields in a big crunch / big bang spacetime,''

326: hep-th/0204091.

327: %%CITATION = HEP-TH 0204091;%%

328: }

329: 

330: %\NekrasovKF

331: \lref\NekrasovKF{

332: N.~A.~Nekrasov,

333: ``Milne universe, tachyons, and quantum group,''

334: hep-th/0203112.

335: %%CITATION = HEP-TH 0203112;%%

336: }

337: 

338: %\LiuFT

339: \lref\LiuFT{

340: H.~Liu, G.~Moore and N.~Seiberg,

341: ``Strings in a Time-Dependent Orbifold,''

342: hep-th/0204168.

343: %%CITATION = HEP-TH 0204168;%%

344: }

345: 

346: %\SeibergHR

347: \lref\SeibergHR{

348: N.~Seiberg,

349: ``From big crunch to big bang - is it possible?,''

350: hep-th/0201039.

351: %%CITATION = HEP-TH 0201039;%%

352: }

353: 

354: %\KhouryBZ

355: \lref\KhouryBZ{

356: J.~Khoury, B.~A.~Ovrut, N.~Seiberg, P.~J.~Steinhardt and N.~Turok,

357: ``From big crunch to big bang,''

358: Phys.\ Rev.\ D {\bf 65}, 086007 (2002)

359: [hep-th/0108187].

360: %%CITATION = HEP-TH 0108187;%%

361: }

362: 

363: %\ElitzurRT

364: \lref\ElitzurRT{

365: S.~Elitzur, A.~Giveon, D.~Kutasov and E.~Rabinovici,

366: ``From Big Bang to Big Crunch and Beyond,''

367: hep-th/0204189.

368: %%CITATION = HEP-TH 0204189;%%

369: }

370: 

371: %Vilenkin

372: \lref\Vilenkin{

373: N.~J.~Vilenkin, ``Special Functions and the Theory of Group

374: Representations'',

375: AMS, 1968.}

376: 

377: %\BrandenbergerAJ

378: \lref\BrandenbergerAJ{

379: R.~H.~Brandenberger and C.~Vafa,

380: ``Superstrings In The Early Universe,''

381: Nucl.\ Phys.\ B {\bf 316}, 391 (1989).

382: %%CITATION = NUPHA,B316,391;%%

383: }

384: 

385: 

386: %\DiFrancescoUD

387: \lref\DiFrancescoUD{

388: P.~Di Francesco and D.~Kutasov,

389: ``World sheet and space-time physics in two-dimensional (Super)string

390: theory,''

391: Nucl.\ Phys.\ B {\bf 375}, 119 (1992)

392: [hep-th/9109005].

393: %%CITATION = HEP-TH 9109005;%%

394: }

395: %\KutasovPV

396: \lref\KutasovPV{

397: D.~Kutasov,

398: ``Some properties of (non)critical strings,''

399: hep-th/9110041.

400: %%CITATION = HEP-TH 9110041;%%

401: }

402: 

403: %\CornalbaNV

404: \lref\CornalbaNV{

405: L.~Cornalba, M.~S.~Costa and C.~Kounnas,

406: ``A resolution of the cosmological singularity with orientifolds,''

407: hep-th/0204261.

408: %%CITATION = HEP-TH 0204261;%%

409: }

410: 

411: %\CornalbaFI

412: \lref\CornalbaFI{

413: L.~Cornalba and M.~S.~Costa,

414: ``A New Cosmological Scenario in String Theory,''

415: hep-th/0203031.

416: %%CITATION = HEP-TH 0203031;%%

417: }

418: 

419: 

420: %\TeschnerFT

421: \lref\TeschnerFT{

422: J.~Teschner,

423: ``On structure constants and fusion rules in the SL(2,C)/SU(2) WZNW  model,''

424: Nucl.\ Phys.\ B {\bf 546}, 390 (1999)

425: [hep-th/9712256].

426: %%CITATION = HEP-TH 9712256;%%

427: }

428: 

429: 

430: 

431: 

432: %\TseytlinXK

433: \lref\TseytlinXK{

434: A.~A.~Tseytlin and C.~Vafa,

435: ``Elements of string cosmology,''

436: Nucl.\ Phys.\ B {\bf 372}, 443 (1992)

437: [hep-th/9109048].

438: %%CITATION = HEP-TH 9109048;%%

439: }

440: 

441: %\LustVD

442: \lref\LustVD{

443: D.~L\"ust,

444: ``Cosmological string backgrounds,''

445: hep-th/9303175.

446: %%CITATION = HEP-TH 9303175;%%

447: }

448: 

449: 

450:  %\MuellerIN

451: \lref\MuellerIN{

452: M.~Mueller,

453: ``Rolling Radii And A Time Dependent Dilaton,''

454: Nucl.\ Phys.\ B {\bf 337}, 37 (1990).

455: %%CITATION = NUPHA,B337,37;%%

456: }

457: 

458: %\PolchinskiRQ

459: \lref\PolchinskiRQ{

460: J.~Polchinski,

461: ``String Theory. Vol. 1: An Introduction To The Bosonic String,''

462: {\it  Cambridge, UK: Univ. Pr. (1998) 402 p}.

463: }

464: 

465: %\ColeyUH

466: \lref\ColeyUH{

467: A.~A.~Coley, ``Dynamical systems in cosmology,''

468: gr-qc/9910074.

469: %%CITATION = GR-QC 9910074;%%

470: }

471: 

472: %\Abbott

473: \lref\Abbott{

474: L.~F.~Abbott and S.~Deser,

475: ``Stability Of Gravity With A Cosmological Constant,''

476: Nucl.\ Phys.\ B {\bf 195}, 76 (1982).}

477: 

478: %\BirrellIX

479: \lref\BirrellIX{

480: N.~D.~Birrell and P.~C.~Davies,

481: ``Quantum Fields In Curved Space,''

482: {\it  Cambridge, Uk: Univ. Pr. ( 1982) 340p}.

483: }

484: 

485: %\MezincescuEV

486: \lref\MezincescuEV{

487: L.~Mezincescu and P.~K.~Townsend,

488: ``Stability At A Local Maximum In Higher Dimensional Anti-De Sitter Space

489: And Applications To Supergravity,''

490: Annals Phys.\  {\bf 160}, 406 (1985).

491: %%CITATION = APNYA,160,406;%%

492: }

493: 

494: %\BreitenlohnerBM

495: \lref\BreitenlohnerBM{

496: P.~Breitenlohner and D.~Z.~Freedman,

497: ``Positive Energy In Anti-De Sitter Backgrounds And Gauged Extended

498: Supergravity,''

499: Phys.\ Lett.\ B {\bf 115}, 197 (1982).

500: %%CITATION = PHLTA,B115,197;%%

501: }

502: 

503: %\BreitenlohnerJF

504: \lref\BreitenlohnerJF{

505: P.~Breitenlohner and D.~Z.~Freedman,

506: ``Stability In Gauged Extended Supergravity,''

507: Annals Phys.\  {\bf 144}, 249 (1982).

508: %%CITATION = APNYA,144,249;%%

509: }

510: 

511: %\HassanMQ

512: \lref\HassanMQ{

513: S.~F.~Hassan and A.~Sen,

514: ``Twisting classical solutions in heterotic string theory,''

515: Nucl.\ Phys.\ B {\bf 375}, 103 (1992)

516: [hep-th/9109038].

517: %%CITATION = HEP-TH 9109038;%%

518: }

519: 

520: %\SenZI

521: \lref\SenZI{

522: A.~Sen,

523: ``O(d) x O(d) symmetry of the space of cosmological solutions in string

524: theory, scale factor duality and two-dimensional black holes,''

525: Phys.\ Lett.\ B {\bf 271}, 295 (1991).

526: %%CITATION = PHLTA,B271,295;%%

527: }

528: 

529: %\GasperiniAK

530: \lref\GasperiniAK{

531: M.~Gasperini and G.~Veneziano,

532: ``O(d,d) covariant string cosmology,''

533: Phys.\ Lett.\ B {\bf 277}, 256 (1992)

534: [hep-th/9112044].

535: %%CITATION = HEP-TH 9112044;%%

536: }

537: 

538: %\MeissnerZJ

539: \lref\MeissnerZJ{

540: K.~A.~Meissner and G.~Veneziano,

541: ``Symmetries of cosmological superstring vacua,''

542: Phys.\ Lett.\ B {\bf 267}, 33 (1991).

543: %%CITATION = PHLTA,B267,33;%%

544: }

545: 

546: %\MeissnerGE

547: \lref\MeissnerGE{

548: K.~A.~Meissner and G.~Veneziano,

549: ``Manifestly O(d,d) invariant approach to space-time dependent string

550: vacua,''

551: Mod.\ Phys.\ Lett.\ A {\bf 6}, 3397 (1991)

552: [hep-th/9110004].

553: %%CITATION = HEP-TH 9110004;%%

554: }

555: 

556: %\SmithUP

557: \lref\SmithUP{

558: E.~Smith and J.~Polchinski,

559: ``Duality survives time dependence,''

560: Phys.\ Lett.\ B {\bf 263}, 59 (1991).

561: %%CITATION = PHLTA,B263,59;%%

562: }

563: 

564: %\SilversteinXN

565: \lref\SilversteinXN{

566: E.~Silverstein,

567: ``(A)dS backgrounds from asymmetric orientifolds,''

568: hep-th/0106209.

569: %%CITATION = HEP-TH 0106209;%%

570: }

571: 

572: %\AharonyCX

573: \lref\AharonyCX{

574: O.~Aharony, M.~Fabinger, G.~Horowitz and E.~Silverstein,

575: ``Clean time-dependent string backgrounds from bubble baths,''

576: hep-th/0204158.

577: %%CITATION = HEP-TH 0204158;%%

578: }

579: 

580: %\TseytlinWR

581: \lref\TseytlinWR{

582: A.~A.~Tseytlin,

583: ``Duality and dilaton,''

584: Mod.\ Phys.\ Lett.\ A {\bf 6}, 1721 (1991).

585: %%CITATION = MPLAE,A6,1721;%%

586: }

587: 

588: %\TseytlinHT

589: \lref\TseytlinHT{

590: A.~A.~Tseytlin,

591: ``On the form of the black hole solution in D = 2 theory,''

592: Phys.\ Lett.\ B {\bf 268}, 175 (1991).

593: %%CITATION = PHLTA,B268,175;%%

594: }

595: 

596: %\SimonMA

597: \lref\SimonMA{

598: J.~Simon,

599: ``The geometry of null rotation identifications,''

600: hep-th/0203201.

601: %%CITATION = HEP-TH 0203201;%%

602: }

603: 

604: %\BanksFE

605: \lref\BanksFE{

606: T.~Banks,

607: ``Cosmological breaking of supersymmetry or little Lambda goes back to  the future. II,''

608: hep-th/0007146.

609: %%CITATION = HEP-TH 0007146;%%

610: }

611: 

612: %\SusskindRI

613: \lref\SusskindRI{

614: L.~Susskind,

615: ``Twenty years of debate with Stephen,''

616: hep-th/0204027.

617: %%CITATION = HEP-TH 0204027;%%

618: }

619: 

620: %\SpradlinPW

621: \lref\SpradlinPW{

622: M.~Spradlin, A.~Strominger and A.~Volovich,

623: ``Les Houches lectures on de Sitter space,''

624: hep-th/0110007.

625: %%CITATION = HEP-TH 0110007;%%

626: }

627: 

628: %\BoussoNF

629: \lref\BoussoNF{

630: R.~Bousso,

631: ``Positive vacuum energy and the N-bound,''

632: JHEP {\bf 0011}, 038 (2000)

633: [hep-th/0010252].

634: %%CITATION = HEP-TH 0010252;%%

635: }

636: 

637: %\MaldacenaMW

638: \lref\MaldacenaMW{

639: J.~M.~Maldacena and C.~Nunez,

640: ``Supergravity description of field theories on curved manifolds and a no  go theorem,''

641: Int.\ J.\ Mod.\ Phys.\ A {\bf 16}, 822 (2001)

642: [hep-th/0007018].

643: %%CITATION = HEP-TH 0007018;%%

644: }

645: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

646: %%% Title page

647: \Title{\vbox{

648: \hbox{hep--th/0205101}

649: \hbox{EFI-02-77}}}

650: {\vbox{\centerline{String Propagation in the Presence}

651: \vskip 10pt

652: \centerline{of Cosmological Singularities}}}

653: \centerline{Ben Craps\footnote{$^\star$}{{\tt

654: craps,kutasov,rajesh@theory.uchicago.edu}}$^{,a}$,

655: David Kutasov$^{\star,a,b}$ and

656: %\footnote{$^\dagger$}{{\tt

657: %kutasov@theory.uchicago.edu}}$^{,a,b}$ and

658: Govindan Rajesh$^{\star,a}$

659: %\footnote{$^{\ddagger}$}{{\tt

660: %rajesh@theory.uchicago.edu}}$^{,a}$

661: }

662: \bigskip

663: \centerline{\it $^a$Enrico Fermi Institute, University of Chicago,

664: 5640 S. Ellis Av., Chicago, IL 60637, USA}

665: \medskip

666: \centerline{\it $^b$Department of Physics, University of Chicago,

667: 5640 S. Ellis Av., Chicago, IL 60637, USA}

668: \bigskip

669: %\smallskip

670: %\vskip1.5cm

671: \bigskip

672: \noindent

673: %abstract

674: We study string propagation in a spacetime with

675: positive cosmological constant, which includes

676: a circle whose radius approaches a finite value as

677: $|t|\to\infty$, and goes to zero at $t=0$. Near this

678: cosmological singularity, the spacetime looks like

679: $\IR^{1,1}/\IZ$. In string theory, this spacetime

680: must be extended by including four additional regions,

681: two of which are compact. The other two introduce new

682: asymptotic regions, corresponding to early

683: and late times, respectively. States of quantum

684: fields in this spacetime are defined in the tensor product

685: of the two Hilbert spaces corresponding to the early time

686: asymptotic regions, and the S-matrix describes the evolution

687: of such states to states in the tensor product of the two late

688: time asymptotic regions. We show that string theory provides a

689: unique continuation of wavefunctions past the cosmological

690: singularities, and allows one to compute the S-matrix. The

691: incoming vacuum evolves into an outgoing state with particles.

692: We also discuss instabilities of asymptotically timelike linear

693: dilaton spacetimes, and the question of holography in such

694: spaces. Finally, we briefly comment on the relation of our results

695: to recent discussions of de Sitter space.

696: 

697: 

698: \bigskip

699: 

700: \Date{5/02}

701: %%% text

702: 

703: 

704: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

705: \newsec{Introduction}

706: 

707: 

708: The purpose of this paper is to study some time-dependent solutions in

709: string theory with a positive cosmological constant. At early and late

710: times $(|t|\to\infty)$, the spacetimes we will consider asymptote to

711: linear dilaton solutions, with string frame metric and dilaton

712: \eqn\timedil{\eqalign{

713: ds^2=&-dt^2+dx^idx^i~;\cr

714: e^{\Phi}=&e^{-Q|t|}~,\cr

715: }}

716: where $x^i$, $i=1,\cdots,d$ are spatial coordinates\foot{One can also

717: replace the flat space labeled by $x_i$ by a more general background,

718: corresponding to a CFT ${\cal M}$ with central charge $d$, which is

719: not necessarily integer.}, and the linear dilaton slope $Q$ is related

720: to the dimension of space $d$ in a way described below. Thus, the theory

721: becomes arbitrarily weakly coupled in the far past and far future.

722: 

723: The finite time behavior is non-trivial, and generically

724: these solutions contain cosmological singularities. One

725: of the issues of interest is the physics associated with

726: these singularities. In particular, it is in general not

727: clear how to define observables in a cosmological spacetime:

728: should one specify initial conditions near a singularity

729: \BanksYP, or include a ``pre-big bang'' period \VenezianoPZ\

730: and specify initial conditions in an ``asymptotic past trivial''

731: regime? We will see below that string theory in the backgrounds

732: \timedil\ seems to favor the latter. 

733: 

734: In fact, in the example studied in this 

735: paper, we will find that the global spacetime contains two incoming and two

736: outgoing regions, connected to each other in a non-trivial way. String theory

737: provides a prescription for continuing wavefunctions through the singularities

738: separating the various regions. This allows one to study an S-matrix for string

739: propagation through the singularities, and thereby obtain information about

740: physics in the vicinity of the singularity. In particular, we will determine the

741: natural incoming and outgoing vacua, and compute the Bogolubov coefficients

742: relating them. We will find that the incoming vacuum evolves to a state with

743: particles.

744: 

745: Another interesting issue concerns the stability of the solutions \timedil.

746: In spacetimes with positive cosmological constant, SUSY is usually broken

747: and one must check for the existence of growing modes. We will show that

748: asymptotically timelike linear dilaton spacetimes in general contain 

749: non-negative mass squared modes whose wavefunctions grow exponentially with 

750: time at early and late times. The

751: contribution of these modes to one loop (torus) amplitudes is infrared

752: divergent, like that of a tachyon in flat spacetime with constant dilaton.

753: In particular, the graviton is tachyonic in this case.

754: 

755: One of the motivations for this work is the question of

756: holography in gravity with

757: positive cosmological constant. In \StromingerPN\ it

758: was proposed that gravity in de Sitter spacetime

759: is dual to a Euclidean CFT living on the boundary at

760: $|t|\to\infty$. This duality is modeled after the

761: AdS/CFT correspondence for negative cosmological

762: constant. In particular, on-shell wavefunctions in de

763: Sitter space with specified behavior near the boundary

764: are expected to be dual to off-shell operators in the

765: CFT, and S-matrix elements in de Sitter space should

766: correspond to Green functions in the boundary theory. Many

767: issues concerning this duality remain unclear. For example,

768: one finds that while low mass fields in the bulk are dual

769: to operators with real scaling dimensions in the boundary

770: CFT, above a certain critical value of the mass the scaling

771: dimensions become complex. Also, it is not clear whether the

772: duality requires the presence of both past and future boundaries,

773: or whether one of them is sufficient (this is related to the

774: question of observables mentioned above).

775: 

776: Some of these issues can be studied in asymptotically

777: timelike linear dilaton spacetimes, which share many

778: properties with (global) de Sitter space. Both contain

779: spacelike boundaries\foot{In the linear dilaton case,

780: the boundary is the weak coupling region, $|t|\to\infty$,

781: as in \AharonyUB\ in the spacelike case.}

782: at early and late times, and some

783: properties of solutions of the wave equation near the

784: boundary are very similar. As in the case of de Sitter

785: space, in asymptotically timelike linear dilaton vacua

786: there is a positive value of the mass squared at which

787: the qualitative behavior of the solutions changes. The main

788: advantage of timelike linear dilaton solutions is that they

789: are easy to embed in string theory, which allows these issues

790: to be studied in a relatively controlled setting.

791: 

792: Another reason to expect that timelike linear dilaton

793: solutions should be useful for studying holography in

794: de Sitter space is the analogy to the case of negative

795: cosmological constant. In that case, it is known that

796: AdS and spacelike linear dilaton vacua have a

797: holographic description in terms of CFT \MaldacenaRE\

798: and Little String Theory \AharonyUB, respectively. Many

799: of the issues related to holography in AdS and spacelike

800: linear dilaton spacetimes are

801: similar. For example, in both cases non-normalizable

802: on-shell bulk wavefunctions correspond to operators in

803: the boundary theory; the Breitenlohner-Freedman bound of

804: AdS space \BreitenlohnerBM\

805: has a precise analogue in spacelike linear dilaton theories;

806: issues related to stability are similar in the two cases.

807: Thus, it is natural to expect that if the AdS/CFT

808: correspondence has an analogue in de Sitter space, something

809: similar should happen for timelike linear dilaton spacetimes.

810: Of course, one does not expect timelike linear dilaton

811: spacetimes to be dual to CFT's, just as in the case of

812: negative cosmological constant, but the more qualitative

813: issues mentioned above should have counterparts in the linear

814: dilaton case.

815: 

816: %\WittenKN

817: \lref\WittenKN{

818: E.~Witten,

819: ``Quantum gravity in de Sitter space,''

820: hep-th/0106109.

821: %%CITATION = HEP-TH 0106109;%%

822: }

823: 

824: 

825: 

826: With this in mind, we discuss below the

827: implications of our results for holography

828: in de Sitter and timelike linear dilaton

829: spacetimes. We find that the physical picture

830: is rather different for positive and negative

831: cosmological constant. The

832: observables\foot{or, in the de Sitter case,

833: meta-observables \WittenKN.}

834: in de Sitter space and timelike linear dilaton

835: backgrounds are more similar to the scattering

836: states of flat space string theory than to the

837: non-normalizable observables familiar from AdS.

838: Correlation functions of these observables

839: compute S-matrix elements of the scattering

840: states. Wavefunctions which give rise to real

841: scaling dimensions in the boundary CFT correspond

842: to growing modes and lead

843: to infrared divergences in loop amplitudes.

844: 

845: The plan of the paper is as follows.

846: In section 2 we discuss some classical solutions

847: in gravity with positive cosmological constant.

848: At large $|t|$ these solutions asymptote to

849: \timedil. They exhibit a cosmological singularity

850: at $t=0$, near which they look like generalized Kasner

851: solutions. We focus on a particular case, the generalized

852: Milne universe, in which the geometry includes a circle

853: whose radius shrinks from a finite value at $t=-\infty$

854: to zero at $t=0$, and then increases again to the same

855: finite value at $t=+\infty$. Near the big crunch/big bang

856: singularity at $t=0$ the geometry looks like $\IR^{1,1}/\IZ$

857: (and thus has regions with closed timelike curves). We point

858: out that it is natural to continue the spacetime to one which

859: has four asymptotic regions, two corresponding to

860: early times, and two to late times (see figure 2).

861: 

862: In section 3 we embed the generalized Milne universe

863: into string theory. We discuss the structure of the Hilbert

864: space of asymptotic states in each of the two incoming

865: (or, alternatively, outgoing) regions in figure 2, and

866: show that the full spacetime can be viewed as a certain

867: coset of $SL(2,\IR)$.

868: 

869: In section 4 we study perturbations of the generalized

870: Milne universe, associated with a minimally coupled

871: scalar field of mass $m$, using the $SL(2,\IR)$ description

872: to continue wavefunctions through the singularities.

873: We show that the Hilbert space

874: of in-states is the direct product of the Hilbert spaces

875: corresponding to the two in-regions in figure 2, and

876: similarly for the Hilbert space of out-states. We compute

877: the Bogolubov coefficients relating the natural creation

878: and annihilation operators at early times to those at late

879: times. The in-vacuum corresponds to a state

880: with particles in the out-Hilbert space.

881: 

882: In section 5 we discuss the growing modes which are

883: typically present in asymptotically timelike linear

884: dilaton spacetimes \timedil. We show that these modes,

885: which have $m^2<Q^2$, give rise to infrared

886: divergences in one loop amplitudes.

887: 

888: In section 6 we comment on the relation of our results to

889: gravity in asymptotically de Sitter space, which shares

890: many of the properties discussed in the asymptotically

891: timelike linear dilaton case. In particular, we point out

892: that fields with mass smaller than the Hubble mass have

893: properties similar to those of fields with $m^2<Q^2$

894: in the timelike linear dilaton case.

895: 

896: In section 7 we summarize our results and comment on them.

897: 

898: 

899: 

900: 

901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

902: \newsec{Some classical solutions with positive cosmological constant}

903: 

904: We start with a discussion of some solutions of

905: gravity coupled to a dilaton, with a positive

906: cosmological constant. In the applications discussed

907: in the following sections, the gravity approximation

908: is in general invalid, because the gradient of the

909: dilaton is typically of order one in string units,

910: and due to the presence of (timelike and spacelike)

911: singularities. Nevertheless, the gravity analysis provides

912: a useful qualitative guide to the structure of spacetime.

913: In some cases, the gravity solution does not receive

914: stringy corrections and is exact, even in the presence

915: of singularities. The behavior of fields near singularities

916: is in general ambiguous in general relativity, and will be dealt

917: with in the next sections, using ideas from string theory.

918: 

919: In $d+1$ dimensional spacetime, string theory gives rise

920: to a classical low-energy effective action of the form

921: %

922: \eqn\action{

923: S_g = {1\over 2\kappa^2} \int{d^{d+1}x\sqrt{-g}

924: e^{-2\Phi}\bigl[R + 4 g^{\mu\nu} \partial_\mu

925: \Phi \partial_\nu\Phi - 2\Lambda]}~,

926: }

927: where $\kappa^2=8\pi G_N$. The fields $\Phi$ and $g$ are

928: the $d+1$ dimensional dilaton and metric,

929: respectively. The other massless and massive

930: modes of the string will be set to zero for now;

931: we will discuss them in the next sections, when

932: we study perturbations.\foot{Ramond-Ramond fields

933: have recently been included in \refs{\SilversteinXN},

934: with the aim of constructing de Sitter solutions in

935: supercritical string theory.}

936: A non-zero tree level cosmological constant

937: $\Lambda$ can be obtained, for example, by

938: considering non-critical strings (see \eg\

939: \PolchinskiRQ, p. 114), but for

940: now we will treat it as a free parameter.

941: %

942: 

943: We look for solutions for which the dilaton

944: $\Phi$ and the diagonal components of the string

945: frame metric $g$ depend on time but not on

946: space:\foot{More general solutions can be obtained

947: by applying O($d,d$) transformations

948: \refs{\MeissnerZJ,\MeissnerGE,\SenZI,\HassanMQ,\GasperiniAK}.}

949: %

950: \eqn\kasmet{

951: ds^2 = - dt^2 + \sum_{i=1}^{d}e^{2\alpha_i(t)} dx_i^2~.

952: }

953: %

954: If $x_i$ is compact, it is convenient to take it

955: to live on a circle of radius $l_s=\sqrt{\alpha'}$.

956: $R_i(t)=l_s\exp(\alpha_i(t))$ is then the dynamical

957: radius of the $i$'th dimension. In the rest of this

958: paper we will set $l_s=1$.

959: 

960: The equations of motion of $\alpha_i(t)$, $\Phi(t)$

961: which follow from the action \action\ can be

962: derived from the mini-superspace action

963: %

964: \eqn\mini{S_g=-{1\over 2\kappa^2}

965: \int dt \sqrt{-g_{00}}{e^{-\phi}\left(

966: \sum_{i=1}^{d}g^{00}\dot\alpha_i^2 -

967: g^{00}\dot\phi^2 +

968: 2\Lambda\right)}~,

969: }

970: %

971: where $\phi$ is defined by

972: %

973: \eqn\phidef{\phi=2\Phi - \sum_{i=1}^{d}\alpha_i~.}

974: %

975: One can think of $\exp(\phi/2)$ as the effective string

976: coupling of the lower-dimensional theory obtained by

977: averaging over $x_i$. The equations of motion which

978: follow from the action \mini\ are~\refs{\MuellerIN, \LustVD, \ColeyUH}

979: %

980: \eqn\kaseom{

981: \eqalign{

982: \ddot{\alpha_i} - \dot{\alpha_i} \dot{\phi} &= 0~; \cr

983: 2 \ddot{\phi} - \dot{\phi}^2 -  \sum_{i=1}^{d}\dot{\alpha_i}^2

984: + 2 \Lambda &= 0~;\cr

985: \sum_{i=1}^{d}\dot{\alpha_i}^2 - \dot{\phi}^2 + 2 \Lambda &= 0 ~.\cr}}

986: The last equation is obtained by varying with respect to $g_{00}$,

987: before fixing the gauge $g_{00}=-1$. Equations \kaseom\ can be

988: reduced to:

989: %

990: \eqn\kassoln{

991: \eqalign{

992: \dot\alpha_i &= c_i e^{\phi}~;\cr

993: \ddot\phi &= \dot\phi^2 - 2 \Lambda = \sum_{i=1}^{d} \dot\alpha_i^2~,\cr}}

994: %

995: where $c_i$ are arbitrary (real) integration constants.

996: 

997: To understand the qualitative structure of the solutions

998: of \kassoln, it is useful to note that one can think

999: of the dilaton $\phi$ as the position (on an infinite line)

1000: of a non-relativistic particle of unit mass. Substituting

1001: the first line of \kassoln\ into the second then gives the

1002: equation of motion of the particle in the potential

1003: \eqn\vvpphhii{V(\phi) = - {1\over 2}e^{2\phi} \sum_{i=1}^d c_i^2 ~,}

1004: with $\Lambda$ playing the role of the total energy of the particle.

1005: We next discuss some solutions of these equations that are going to

1006: be of interest below.

1007: 

1008: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1009: \subsec{Timelike linear dilaton}

1010: 

1011: A simple solution of \kassoln\ is obtained by setting all the

1012: integration constants $c_i$ to zero. In this case, the potential

1013: \vvpphhii\ vanishes, and the auxiliary particle moves with constant

1014: velocity determined by its total energy $\Lambda$. All $\alpha_i$ are

1015: constant, and the string-frame metric is flat. The ``shifted'' dilaton

1016: $\phi$ is simply twice the true dilaton (see \phidef), and~\kassoln\ can

1017: be solved to give

1018: %

1019: \eqn\tldsol{ds^2=-dt^2+dx_i^2,\;\;\Phi = \pm \sqrt{\Lambda\over 2}\; t~.}

1020: %

1021: As we review in section 3, the solution \tldsol\ corresponds to

1022: a simple exact CFT (for any $\Lambda$), but unfortunately it is

1023: singular. Indeed,

1024: this solution has the property that the string coupling $g_s=\exp(\Phi)$

1025: diverges either at large positive time (for the $+$ sign in \tldsol)

1026: or at large negative time (for the $-$ sign). Thus, the physics of

1027: this model is not perturbative -- correlation functions are typically

1028: pushed into the strong coupling region (see \eg\

1029: \refs{\DiFrancescoUD, \KutasovPV} for discussions).

1030: 

1031: For $t\not=0$, one can consider the solution

1032: \eqn\tldabs{\alpha_i={\rm const},\;\;

1033: \Phi = - \sqrt{\Lambda\over 2}\; |t|~,}

1034: for which the string coupling does not necessarily become

1035: large anywhere. However, \tldabs\ does not solve the sourceless

1036: equations of motion at $t=0$, and is thus incomplete.

1037: In subsection {\it 2.2},

1038: we will construct solutions which look like \tldabs\ for large

1039: $|t|$ but resolve the apparent non-analyticity near $t=0$.

1040: 

1041: If the dimension of spacetime is larger than two ($d>1$),

1042: one can pass to the Einstein frame, which is useful for some

1043: purposes. Performing the standard Weyl transformation

1044: \PolchinskiRQ\ on the string frame metric \tldsol,

1045: \eqn\weyltr{g_{\mu\nu,E}=e^{-{4\Phi\over d-1}}g_{\mu\nu}~,}

1046: one finds the line element

1047: \eqn\einsteinmetric{

1048: ds^2_E=e^{4Qt\over d-1}\left(

1049: -dt^2+dx_i^2\right)~,

1050: }

1051: where $Q=\mp\sqrt{\Lambda/2}$. We will take $Q$ to be positive,

1052: \eqn\Qdef{Q=\sqrt{\Lambda\over2}~,}

1053: so that the string coupling

1054: \eqn\ggss{g_s=e^{-Qt}}

1055: goes to zero at late times. Defining a new time coordinate

1056: \eqn\tX{

1057: \tau={d-1\over 2Q}\,e^{2Qt\over d-1}~,

1058: }

1059: \einsteinmetric\ becomes

1060: \eqn\einsteinmetricbis{

1061: ds^2_E=-d\tau^2+\left({2Q\over d-1}\right)^2 \tau^2dx_i^2~,

1062: }

1063: an FRW metric with a linearly growing scale factor \AntoniadisAA

1064: \eqn\at{a(\tau)={2Q\over d-1} \tau~.}

1065: The Ricci scalar of an FRW metric with zero spatial curvature is given by

1066: \eqn\ricci{

1067: {\cal R}=2d{\ddot a\over a}+(d^2-d)\left({\dot a\over a}\right)^2~.

1068: }

1069: For the metric \einsteinmetricbis\ we find

1070: \eqn\riccitld{

1071: {\cal R}={d^2-d\over \tau^2}~,

1072: }

1073: so that there is a curvature singularity at $\tau=0$.

1074: Since $\tau=0$ corresponds to $t=-\infty$ (see \tX),

1075: this singularity is not surprising. The string coupling

1076: \ggss\ diverges as $\tau\to 0$, and one does not expect

1077: the solution in that region to be reliable.

1078: 

1079: We will mostly focus below on the string frame metric

1080: $g_{\mu\nu}$ \action, since this is the metric felt

1081: by fundamental strings, which will be our main focus.

1082: The Einstein frame metric is useful

1083: for comparing to solutions of general relativity, and

1084: for studying other probes in the theory.

1085: 

1086: 

1087: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1088: \subsec{Generalized Kasner}

1089: 

1090: Since the solution with all $c_i$ \kassoln\ set to zero is singular,

1091: we next turn to solutions in which some or all of the $c_i$ are

1092: non-zero. In fact, it is not difficult to solve

1093: the equations of motion \kassoln\ with generic $c_i$.

1094: The solution has been described in~\LustVD, but in order to keep

1095: the discussion self-contained, we will review it here.

1096: We can first solve for $\phi$ by using the auxiliary description in terms

1097: of a particle rolling in the potential \vvpphhii, and then substitute

1098: the solution in \kassoln\ to find the scale factors $\alpha_i$. We

1099: furthermore impose the boundary condition that at early and late times

1100: the solution should approach the weakly coupled timelike linear dilaton

1101: one: $\alpha_i={\rm const}$, $\phi=-2Q|t|$. We find

1102: %

1103: \eqn\phidotsol{

1104: \dot\phi = - 2Q\; {\rm coth} (2Q t)~,}

1105: %

1106: so that

1107: %

1108: \eqn\phisol{

1109: \phi = -{1\over 2}{\rm log}({\rm sinh}^2 (2Q t)) + C~.}

1110: %

1111: The effective string coupling $\exp\phi/2$ becomes large near $t=0$,

1112: and one may expect a cosmological singularity at $t=0$. Note also

1113: that the solution is symmetric under time reversal, $t\to -t$. Due to

1114: the singularity at $t=0$, we are really solving the equations of motion

1115: separately for positive and negative $t$. The question of matching

1116: the positive and negative $t$ solutions across the singularity will

1117: be addressed for a special case in subsections~{\it 2.3} and~{\it 3.2}.

1118: 

1119: The constant of integration $C$ in \phisol\ is in principle arbitrary,

1120: but one natural way to fix it is the following. For $t\to 0$, the

1121: ``velocity of the particle'' $\dot\phi$ becomes very large and one

1122: can neglect the total energy $\Lambda$, relative to the kinetic

1123: energy $\half\dot\phi^2$, and the potential energy $V(\phi)$, \vvpphhii,

1124: separately. Thus, for small $t$ one can neglect the cosmological

1125: constant $\Lambda$ in the cosmological equations \kaseom. The resulting

1126: equations have been studied in the context of pre-big bang

1127: scenarios (see \eg\ \refs{\GasperiniHU, \VenezianoPZ}); they have a

1128: well-known class of solutions corresponding to generalized Kasner or

1129: homogeneous Bianchi I spacetimes. It is natural to require that in the

1130: limit $t\to 0$, our solutions reduce to those of

1131: \refs{\GasperiniHU, \VenezianoPZ}. This fixes $C$ in \phisol.

1132: One finds

1133: %

1134: \eqn\kasnersoln{

1135: \eqalign{

1136: \phi &= -{1\over 2} {\rm log}\left[{1\over 4Q^2} \left(\sum_i{c_i^2}\right)

1137: \;

1138: {\rm sinh}^2 (2Qt)\right]~;\cr

1139: \alpha_i &= {a_i\over2} \;

1140: {\rm log}\Bigl[{1\over Q^2}

1141: {\rm tanh}^2 (Qt)\Bigr]~,\cr

1142: }}

1143: %

1144: where

1145: \eqn\aaii{a_i\equiv {c_i\over\sqrt{\sum_j{c_j^2}}}~.}

1146: Note that $a_i$ satisfy $\sum_i a_i^2=1$.

1147: 

1148: Another way of presenting the solution \kasnersoln\

1149: is in terms of the higher

1150: dimensional dilaton $\Phi$ \phidef,

1151: \eqn\highphi{e^{2\Phi}={2Q\over\sqrt{\sum_j c_j^2\sinh^2(2Qt)}}

1152: \left({1\over Q^2}\tanh^2 (Qt)\right)^{\sum_i \half a_i}

1153: }

1154: and the radii of the spatial dimensions,

1155: \eqn\rrii{R_i(t)=\left({1\over Q^2}\tanh^2 (Qt)\right)^{\half a_i}~.

1156: }

1157: Depending on the sign of $a_i$, the $i$'th dimension is either

1158: expanding or contracting with time. Positive $a_i$ corresponds to

1159: pre-big bang contraction, while negative $a_i$ corresponds to

1160: expansion (in the string frame).

1161: 

1162: %\GiveonSY

1163: \lref\GiveonSY{

1164: A.~Giveon,

1165: ``Target space duality and stringy black holes,''

1166: Mod.\ Phys.\ Lett.\ A {\bf 6}, 2843 (1991).

1167: %%CITATION = MPLAE,A6,2843;%%

1168: }

1169: 

1170: 

1171: 

1172: In string theory one expects

1173: \eqn\tici{T_i:\;a_i\to -a_i}

1174: for any $i$ to be a symmetry \refs{\TseytlinWR,\TseytlinXK}. This

1175: transformation inverts the

1176: radius \rrii\ $R_i(t)\to 1/R_i(t)$, and thus acts as

1177: a time-dependent T-duality \refs{\SmithUP}. The fact that the lower

1178: dimensional

1179: dilaton $\phi$ \kasnersoln\ is invariant under the transformation

1180: $T_i$ \tici\ is also consistent with this interpretation.

1181: The symmetry \tici\ is analogous to the familiar T-duality

1182: relating the Euclidean cigar and trumpet \refs{\GiveonSY,\DijkgraafBA},

1183: with the radial direction of the cigar or trumpet replaced by

1184: the time, $t$.

1185: 

1186: 

1187: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1188: \subsec{Generalized Milne}

1189: 

1190: For generic $c_i$, the solution \highphi, \rrii\ has a cosmological

1191: singularity at $t=0$. An interesting special case which is less

1192: singular is obtained by setting

1193: $c_1=a_1=1$ (and thus all the other $c_i=0$). In

1194: this case, the geometry is that of flat $d-1$ dimensional space times

1195: a two dimensional spacetime with metric~\refs{\KounnasWC, \LustVD}

1196: %

1197: \eqn\bhmet{ds^2 = - dt^2 +{1\over Q^2}

1198: \tanh^2(Qt)\; dx^2}

1199: %

1200: and dilaton

1201: %

1202: \eqn\bhdil{\Phi(t)= -\log\cosh(Qt)~.}

1203: %

1204: Rescaling $t\rightarrow t/Q$, one finds

1205: %

1206: \eqn\bhsol{\eqalign{

1207: ds^2 &= {1\over Q^2}\; (-dt^2 + {\rm tanh}^2t\;dx^2)~;\cr

1208: \Phi &= - {\rm log}\cosh t~.\cr}}

1209: %

1210: Near $t=0$, \bhsol\ reduces to

1211: \eqn\bhsolbis{\eqalign{

1212: ds^2 &\sim {1\over Q^2}\; (-dt^2 + t^2\, dx^2)~;\cr

1213: \Phi &\sim 0~.\cr}}

1214: The structure of spacetime near $t=0$ depends on whether

1215: the spatial coordinate $x$ is compact or not.

1216: 

1217: If $x$ is

1218: non-compact, the spacetime \bhsolbis\ is completely smooth.

1219: Indeed, the metric \bhsolbis\ is flat (see \ricci),

1220: and the dilaton is constant. This

1221: is the two dimensional Milne universe,

1222: an unconventional parametrization

1223: of two wedges in flat Minkowski

1224: spacetime. To get the full Minkowski spacetime one must

1225: add two Rindler wedges (obtained by

1226: continuing $t$ to imaginary values in \bhsolbis).

1227: 

1228: 

1229: %

1230: \midinsert\bigskip{\vbox{{\epsfxsize=3in

1231:         \nobreak

1232:     \centerline{\epsfbox{bhfig.eps}}

1233:         \nobreak\bigskip

1234:     {\raggedright\it \vbox{

1235: {\bf Fig 1.}

1236: {\it The generalized Milne universe.}}}}}}

1237: \bigskip\endinsert

1238: %

1239: 

1240: A similar continuation in the full geometry \bhsol\ is

1241: achieved by changing coordinates to

1242: \eqn\newcoor{

1243: \eqalign{

1244: u=\sinh t\, e^{-x}~;\cr

1245: v=-\sinh t\, e^x~,

1246: }

1247: }

1248: in terms of which the background \bhsol\ is given

1249: by

1250: %

1251: \eqn\bhuv{

1252: \eqalign{

1253: ds^2&={1\over Q^2} {du\,dv\over1-uv}~;\cr

1254: \Phi&=

1255: -{1\over4}{\rm log}(1-uv)^2~.

1256: }

1257: }

1258: The original $(t,x)$ coordinates cover the two wedges

1259: $uv<0$ (regions $I$, $II$ in figure~1). The global spacetime

1260: corresponds to $-\infty<u,v<\infty$. It contains a curvature

1261: singularity and strong coupling region at $uv=1$. Following

1262: the discussion in subsection {\it 2.1}, one might be worried

1263: that the singularity might invalidate a weak coupling treatment.

1264: We will see in section~4 that this does not seem to be the case.

1265: 

1266: %\HorowitzAP

1267: \lref\HorowitzAP{

1268: G.~T.~Horowitz and A.~R.~Steif,

1269: ``Singular String Solutions With Nonsingular Initial Data,''

1270: Phys.\ Lett.\ B {\bf 258}, 91 (1991).

1271: %%CITATION = PHLTA,B258,91;%%

1272: }

1273: 

1274: 

1275: 

1276: The geometry \bhsol, which describes regions $I$ and $II$ in

1277: figure~1, is invariant under translations of $x$;

1278: thus, it is natural to ask what happens when $x$ is periodically

1279: identified, such that the early and late time geometry \bhsol\

1280: is $\IR\times S^1$. The resulting spacetime is singular; the

1281: spatial circle in region $I$ shrinks from a finite size at

1282: large negative $t$ to zero size at $t=0$, and then expands

1283: again for positive $t$ (in region $II$).

1284: Thus, the identification $x\simeq x+2\pi R$ which is spacelike

1285: at large $|t|$, becomes null as $t\to 0$, and can be thought of

1286: as an identification by a boost. This gives rise to a

1287: spacetime of the kind discussed in~\refs{\HorowitzAP,

1288: \KhouryBZ,\SeibergHR, \CornalbaFI, \NekrasovKF, \SimonMA, \TolleyCV,

1289: \LiuFT, \ElitzurRT, \CornalbaNV}.

1290: In terms of the variables \newcoor, which cover the whole

1291: spacetime of figure~1, the identification is

1292: \eqn\uvid{(u,v)\to (u e^{-\tau}, v e^\tau)}

1293: with $\tau=2\pi R$. Near $uv=0$, the manifold looks like

1294: $\IR^{1,1}/\IZ$. There are points with $uv=0$ that are distinct but

1295: cannot be separated by open sets -- the spacetime is non-Hausdorff.

1296: For instance, any point with $uv=0$ is identified by \uvid\ with points

1297: arbitrarily close to $u=v=0$.

1298: 

1299: For $uv<0$ (regions $I$, $II$ in figure~1),

1300: the identification \uvid\ is spacelike (as we saw before),

1301: while for $0<uv<1$ (regions $III$ and $IV$ in figure 1) it

1302: is timelike. Thus, the latter region contains closed timelike

1303: curves. For $uv>1$ (regions $V$ and $VI$),

1304: the identification becomes spacelike again.

1305: In fact, large positive $uv$ corresponds to another

1306: pair of asymptotic early and late time regions.

1307: 

1308: 

1309: The resulting spacetime is qualitatively of the form

1310: depicted in figure 2. This figure is intended to give

1311: a rough idea of the structure of asymptotic regions, but

1312: is less precise in the structure near the singularities.

1313: For example, the metric in region $VI$ is in fact

1314: such that the radius of the circle is increasing

1315: as one moves in towards the singularity, and the string

1316: coupling grows as well. In drawing figure 2 we have

1317: implicitly performed a T-duality locally on that region,

1318: to bring it to a form like that of region $I$.

1319: 

1320: 

1321: Due to the appearance of a cosmological singularity for

1322: compact $x$, many aspects of QFT in the spacetime \bhsol,

1323: \bhuv\ are unclear. In particular, it is not a priori

1324: obvious whether one should restrict to the expanding,

1325: post-big bang, part of the spacetime (region $II$ in

1326: figures 1,2), or include the other regions indicated

1327: in figures 1,2. In the latter case, one must understand

1328: how to continue the wavefunctions across cosmological

1329: singularities.

1330: 

1331: 

1332: %

1333: \midinsert\bigskip{\vbox{{\epsfxsize=3in

1334:         \nobreak

1335:     \centerline{\epsfbox{cigar.eps}}

1336:         \nobreak\bigskip

1337:     {\raggedright\it \vbox{

1338: {\bf Fig 2.}

1339: {\it The periodically identified generalized Milne solution.}}}}}}

1340: \bigskip\endinsert

1341: %

1342: 

1343: 

1344: 

1345: The approach to this problem that we will take is to realize the

1346: spacetime \bhsol, \bhuv\ as an exact classical solution in string

1347: theory. As we will see in the next sections, string theory provides

1348: a coherent picture of the physics in the full spacetime \bhuv.

1349: It describes both the ``pre-big bang'' regime $t<0$ (region~I)

1350: and the ``post-big bang'' regime $t>0$ (region~II), as well as the

1351: other regions

1352: in figures 1,2, and gives rise to well defined matching conditions

1353: of wavefunctions across the singularities. It can thus be used

1354: to evolve fields through the singularities, and study string

1355: interactions in the spacetime \bhsol, \bhuv.

1356: 

1357: 

1358: %\MyersFV

1359: \lref\MyersFV{

1360: R.~C.~Myers,

1361: ``New Dimensions For Old Strings,''

1362: Phys.\ Lett.\ B {\bf 199}, 371 (1987).

1363: %%CITATION = PHLTA,B199,371;%%

1364: }

1365: 

1366: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1367: \newsec{String theory}

1368: 

1369: In this section we describe some features of

1370: string propagation in the spacetime \bhsol, \bhuv.

1371: A nice property of this spacetime is that the

1372: string coupling

1373: \eqn\gst{g_s=e^\Phi={1\over\cosh t}}

1374: goes to zero at early $(t\to-\infty)$ and late

1375: $(t\to+\infty$) times. This allows one to set up the

1376: incoming and outgoing Hilbert spaces in regions where

1377: interactions can be neglected; in these regions the

1378: background is described by the timelike linear dilaton

1379: solution discussed in subsection {\it 2.1}. In order to study

1380: interactions, one has to extend the solution to all $t$.

1381: 

1382: In subsection {\it 3.1} we describe the $|t|\to\infty$ part of the

1383: background. In subsection {\it 3.2} we describe the full solution,

1384: which turns out to be a coset CFT. Some properties of

1385: excitations in the spacetime \bhsol\ are discussed in

1386: sections 4, 5.

1387: 

1388: 

1389: 

1390: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1391: \subsec{Timelike linear dilaton}

1392: 

1393: In this subsection we review some properties of the timelike

1394: linear dilaton solution, an exact CFT describing string

1395: propagation in flat spacetime with a varying string coupling,

1396: given by \ggss. This solution is discussed \eg\ in

1397: \refs{\MyersFV,\AntoniadisAA,\AntoniadisVI,\PolchinskiRQ}.

1398: 

1399: We start with the bosonic string. The worldsheet fields

1400: $x^\mu=(t,x^i)$ are free, but the time dependence of the

1401: dilaton is reflected in a modified worldsheet stress tensor,

1402: \eqn\modstress{T(z)=-\partial x_i

1403: \partial x^i+\partial t

1404: \partial t-Q\partial^2 t~.}

1405: The central charge is modified accordingly,

1406: \eqn\central{

1407: c=d+1-6Q^2~.

1408: }

1409: Since the total central charge must be equal to $26$ in the

1410: bosonic string, one finds that $d$ and $Q$ are related,

1411: \eqn\qdcor{6Q^2=d-25~.}

1412: We see that asymptotically timelike linear dilaton solutions

1413: are typically {\it supercritical}. One can replace

1414: the $d$ free fields $x^i$ by an arbitrary unitary CFT, and

1415: get more general timelike linear dilaton solutions in which

1416: space is curved. For concreteness, we will mostly

1417: discuss here the case of flat space.

1418: 

1419: Since the worldsheet theory is free and the string coupling is

1420: small, it is not difficult to construct the physical states.

1421: As in flat spacetime with constant dilaton, states are labeled

1422: by momentum $p_\mu$ and an oscillator contribution. The corresponding

1423: vertex operators have the form

1424: \eqn\vertope{V=e^{ip_\mu x^\mu}

1425: P_N(\partial x^\mu,\bar\partial x^\mu,\cdots)~,}

1426: where $P_N$ is a polynomial in derivatives of the worldsheet

1427: fields $x^\mu$ of total (left and right) scaling dimension $N$,

1428: and we have taken the zero mode part of the vertex

1429: operator to be a plane

1430: wave. Physical states correspond to Virasoro primaries

1431: of the form \vertope\ with scaling dimension one.

1432: {}From \modstress, it follows that the scaling dimension of $V$ \vertope\ is

1433: \eqn\lzero{

1434: L_0={1\over 4}p_i^2-{1\over 4}p_0(p_0-2iQ)+N~.

1435: }

1436: The non-standard

1437: contribution of $p_0$ to the scaling dimension is easy to

1438: understand. In string theory, the (zero mode parts of)

1439: vertex operators for emission of string modes have in

1440: general the form

1441: \eqn\verwave{V=g_s\Psi~,}

1442: where $\Psi$ is the wavefunction of the state, and $g_s$

1443: the string coupling. Usually, the factor of $g_s$ in \verwave\

1444: can be neglected since it is constant, but here it is

1445: time-dependent \ggss\ and therefore needs to be retained.

1446: The vertex operator \vertope\ corresponds to the wavefunction

1447: \eqn\psiwave{\Psi(\vec x, t)=e^{i\vec p\cdot \vec x}e^{i(p_0-iQ)t}~.}

1448: Thus, the energy is

1449: \eqn\zeromom{

1450: E=p_0-iQ

1451: }

1452: and \lzero\ reads

1453: \eqn\lzeromodif{L_0={1\over 4}\left(\vec p^2-E^2-Q^2\right)+N~.

1454: }

1455: The mass shell condition is

1456: \eqn\masss{m_{\rm eff}^2=E^2-\vec p^2=4(N-1)-Q^2~.}

1457: The effect of the linear dilaton is a downward shift

1458: of all masses squared by $Q^2$. Denoting by $m^2$ the

1459: combination

1460: \eqn\mflat{m^2=4(N-1)~,}

1461: as in the constant dilaton case, we have

1462: \eqn\meffec{m_{\rm eff}^2=m^2-Q^2~.}

1463: For example, the graviton behaves as a particle of

1464: mass $m_{\rm eff}^2=-Q^2$ in the linear dilaton background.

1465: 

1466: The negative mass shift \masss\ leads to the fact that

1467: there is a finite range of positive masses squared,

1468: $0<m^2<Q^2$, which are effectively tachyonic. 

1469: We will return to this issue in section~5.

1470: For now, we compute the torus partition sum,

1471: \eqn\partfion{

1472: Z(\tau)={\rm Tr}(q^{L_0-{c\over 24}}\bar q^{\tilde L_0-{c\over 24}})~,

1473: }

1474: which summarizes the multiplicities of states at different

1475: mass levels.

1476: Here $q=e^{2\pi i\tau}$ and $\bar q=e^{-2\pi i\bar\tau}$.

1477: On a Euclidean worldsheet, $\tau$ is complex, and

1478: $\bar\tau=\tau^*$. On a Minkowski torus, $\tau$

1479: and $\bar\tau$ are independent real numbers.

1480: 

1481: It is convenient to perform the calculation in the

1482: covariant formalism. One finds

1483: \eqn\partfionbos{

1484: Z_{d+1}^{\rm bos}(\tau)=V_{d+1}\int {d^{d+1}p\over (2\pi)^{d+1}}

1485: (q\bar q)^{-{d+1-6Q^2\over 24}+{1\over 4}

1486: (\vec p^2-p_0^2+2iQp_0)}

1487: (\sum_{\rm osc}q^N\bar q^{\tilde N})\ Z_{\rm ghost}~.

1488: }

1489: Here, $V_{d+1}$ is the volume of $d+1$ dimensional spacetime.

1490: Completing the square in the exponent and rewriting the

1491: resulting amplitude in terms of $E$ \zeromom, we find

1492: \eqn\partfionbosbis{

1493: Z_{d+1}^{\rm bos}(\tau)=V_{d+1}

1494: \int {d^dp\over(2\pi)^d}

1495: \int {dE\over2\pi} (q\bar q)^{-{d+1\over 24}+{1\over4}

1496: (\vec p^2-E^2)}(\sum_{\rm osc}q^N\bar q^{\tilde N})\ Z_{\rm ghost}

1497: ~.

1498: }

1499: The string amplitude involves also an integral over $\tau$, $\bar\tau$.

1500: Since spacetime has Lorentzian signature, one must take the worldsheet

1501: to be Lorentzian as well.\foot{For recent discussions of Lorentzian

1502: and Euclidean worldsheet and spacetime, see \refs{\BalasubramanianRY,

1503: \LiuFT}.} The $\tau$ integral is then oscillatory, and

1504: one needs to supply an $i\epsilon$ prescription to compute it. It is

1505: possible to deform the contours of integration over $\tau$ and $E$

1506: in \partfionbos\ such that $\tau$ becomes the modulus of a Euclidean torus,

1507: and $E$ is integrated over the imaginary axis. This is a standard procedure

1508: which is described \eg\ in \PolchinskiRQ, page 83.

1509: The final answer one obtains is

1510: \eqn\finbosz{

1511: Z_{d+1}^{\rm bos}=\int{d^2\tau\over4\tau_2}

1512: Z_{d+1}^{\rm bos}(\tau)=iV_{d+1}\int{d^2\tau\over16\pi^2\tau_2^2}

1513: (4\pi^2\tau_2)^{-{(d-1)\over2}}

1514: (\eta\bar\eta)^{1-d}~.}

1515: 

1516: Note that

1517: the partition sum \finbosz\ is proportional to the volume of time. This

1518: is natural from the spacetime point of view, since $Z_{d+1}$ is a trace

1519: over free string states; it receives contributions from the infinite time

1520: period during which the string coupling is very small, and the physics

1521: is effectively time translation invariant. From the worldsheet

1522: perspective, the factor of the volume of time arises since the linear

1523: dilaton term in the worldsheet

1524: Lagrangian, which breaks time translation invariance, vanishes on

1525: the torus (it is proportional to $\hat R$, the curvature of the worldsheet,

1526: which vanishes in this case). Thus, this amplitude is invariant under

1527: time translations.

1528: 

1529: The negative mass shift \masss\ is manifest in the partition sum \finbosz.

1530: {}From the form of the Dedekind $\eta$ function one finds that level matched

1531: states with oscillator number $N$ contribute terms that go like

1532: \eqn\levmatch{(q\bar q)^{-{d-1\over 24}+N}= (q\bar q)^{{1\over4}m_{\rm

1533: eff}^2}~,}

1534: where we used \qdcor, \masss. In particular, states with negative

1535: $m_{\rm eff}^2$

1536: contribute negative powers of $q\bar q$, a fact that will be

1537: important in section~5, when we discuss infrared divergences.

1538: 

1539: %\KutasovSV

1540: \lref\KutasovSV{

1541: D.~Kutasov and N.~Seiberg,

1542: ``Number Of Degrees Of Freedom, Density Of States

1543: And Tachyons In String Theory And CFT,''

1544: Nucl.\ Phys.\ B {\bf 358}, 600 (1991).

1545: %%CITATION = NUPHA,B358,600;%%

1546: }

1547: 

1548: %\PolchinskiRR

1549: \lref\PolchinskiRR{

1550: J.~Polchinski,

1551: ``String Theory. Vol. 2: Superstring Theory And Beyond,''

1552: {\it  Cambridge, UK: Univ. Pr. (1998) 531 p}.

1553: }

1554: 

1555: 

1556: It is also worth pointing out that the negative mass

1557: shift $-Q^2$ in \masss\ is related to another

1558: interesting physical property of the model, its high

1559: energy density of states. It was shown in \KutasovSV\

1560: (see also \KutasovPV)

1561: that in string theory there is a close relation between

1562: infrared instabilities and the high energy density of

1563: states (a UV-IR relation). The timelike linear dilaton

1564: background discussed here is an example of this. Since the

1565: model is supercritical, \ie\ the number of space dimensions is

1566: larger than twenty five (see \qdcor), the high energy density

1567: of states implicit in \finbosz\ is larger than that of

1568: critical bosonic string theory. Correspondingly, the

1569: infrared instability of the model is more severe than

1570: that of $25+1$ dimensional bosonic string theory due to

1571: the downward shifts of the masses of low lying states \masss.

1572: 

1573: We next move on to type II string theory in the timelike linear dilaton

1574: background. Much of the discussion above goes through. The worldsheet

1575: theory is now superconformal. The superconformal generators are

1576: \eqn\modsuper{\eqalign{

1577: T_B&=-\partial x_i\partial x^i+\partial t\partial t

1578: -Q\partial^2 t-\half\psi^\mu\partial\psi_\mu~;\cr

1579: T_F&=i\sqrt{2}(\psi_i\partial x^i-

1580: \psi_t\partial t+Q\partial\psi_t)~.\cr

1581: }}

1582: The central charge is

1583: \eqn\chat{\hat c={2\over3}c=d+1-4Q^2~.}

1584: Setting $\hat c=10$ for criticality, we find

1585: \eqn\dcond{4Q^2=d-9~.}

1586: The main new issue in the type II case concerns the chiral

1587: GSO projection. Modular invariance and spin-statistics

1588: give rise to strong constraints that need not have

1589: solutions generically. We will not attempt to classify

1590: all possible solutions, but will illustrate the resulting

1591: structures with an example from \AntoniadisVI.

1592: 

1593: A natural choice of a GSO projection is a separate

1594: $(-)^{F_L}$ and $(-)^{F_R}$ projection on the left

1595: and right movers, as in the critical superstring.

1596: This gives rise to the partition sum\foot{We use

1597: the notations of \PolchinskiRR.}

1598: \eqn\iipart{Z^{II}_{d+1}=

1599: iV_{d+1}\int {d^2\tau\over16\pi^2\tau_2^2}Z_x^{d-1}Z_\psi^+

1600: \bar Z_\psi^\pm~,}

1601: where

1602: \eqn\zzxx{Z_x=(4\pi^2\tau_2)^{-\half}|\eta(\tau)|^{-2}}

1603: and

1604: \eqn\zpsipm{Z_\psi^\pm=\half\left[Z_0^0(\tau)^{d-1\over2}-

1605: Z_1^0(\tau)^{d-1\over2}-Z_0^1(\tau)^{d-1\over2}\mp

1606: Z_1^1(\tau)^{d-1\over2}\right]~.}

1607: The choice of $\pm$ distinguishes between type IIA and

1608: type IIB string theory. A peculiar feature of \iipart\

1609: -- \zpsipm\ is that the partition sum is only modular

1610: invariant in $d+1=10+16m$ dimensions, $m=1,2,\ldots$.

1611: The resulting theory is not spacetime supersymmetric,

1612: which can be seen by noting that the worldsheet fermion

1613: contribution \zpsipm\ is not zero for $d+1\not=10$.

1614: For example, in the twenty six dimensional non-critical

1615: superstring vacuum,

1616: \eqn\idtwentysix{Z_\psi^\pm=

1617: \half\left[Z_0^0(\tau)^{12}-

1618: Z_1^0(\tau)^{12}-Z_0^1(\tau)^{12}\mp

1619: Z_1^1(\tau)^{12}\right]=24~.}

1620: Thus, there are large cancellations between (spacetime)

1621: bosons and fermions in the spectrum, but they are

1622: incomplete. The full partition sum in this case is

1623: \eqn\Ztwo{

1624: Z^{II}_{d+1=26}(\tau)=(24)^2 Z^{24}_x(\tau)~.

1625: }

1626: 

1627: \noindent

1628: So far we discussed some properties of the spectrum of

1629: string theory in the timelike linear dilaton background.

1630: As explained in the beginning of this section, this is

1631: sufficient for studying the spectrum of asymptotic states

1632: in the full classical string theory in the background \bhuv,

1633: because the background approaches a timelike linear dilaton

1634: one at $|t|\to\infty$.

1635: 

1636: 

1637: To study interactions in general, one needs to understand

1638: the full background \bhuv\ in string theory. Nevertheless,

1639: some interactions can be studied using the linear dilaton

1640: CFT. As is clear from figure 2, one expects two kinds of

1641: interactions in the background \bhuv. One kind

1642: involves processes that take place in the part of the geometry

1643: far from the big bang/big crunch region, $t\simeq 0$.

1644: Such processes, which are known as ``bulk amplitudes''

1645: (see \eg\ \refs{\DiFrancescoUD,\KutasovPV} for a discussion)

1646: can be studied by computing Shapiro-Virasoro type amplitudes

1647: in the timelike linear dilaton background. They are proportional

1648: to the volume of the (infinite) time interval well before or after

1649: the big bang or big crunch. We will not discuss them here,

1650: since they are rather standard, and do not shed light on the physics

1651: associated with the singularity.

1652: 

1653: Of more interest is the second kind of interactions, which occur

1654: near $t=0$, and thus are given by amplitudes that do not go like

1655: the volume of time. To study these, one needs to understand the

1656: full background \bhuv, to which we turn next.

1657: 

1658: 

1659: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1660: \subsec{SL(2,\IR)/U(1)}

1661: 

1662: %\BarsTI

1663: \lref\BarsTI{

1664: I.~Bars and K.~Sfetsos,

1665: ``Global analysis of new gravitational singularities in string and particle theories,''

1666: Phys.\ Rev.\ D {\bf 46}, 4495 (1992)

1667: [hep-th/9205037].

1668: %%CITATION = HEP-TH 9205037;%%

1669: }

1670: %\BarsSR

1671: \lref\BarsSR{

1672: I.~Bars and K.~Sfetsos,

1673: ``Conformally exact metric and dilaton in string theory on curved space-time,''

1674: Phys.\ Rev.\ D {\bf 46}, 4510 (1992)

1675: [hep-th/9206006].

1676: %%CITATION = HEP-TH 9206006;%%

1677: }

1678: We would like to understand the solution \bhuv\ in string

1679: theory. The answer to this question is in fact known. As

1680: shown in  \WittenYR, the coset CFT $SL(2,\IR)/U(1)$ where

1681: one gauges a non-compact spacelike $U(1)$ in $SL(2)$, gives

1682: rise to a sigma model in the background\foot{For early work

1683: on generalizations to other cosets and applications to cosmology,

1684: see \eg\ \refs{\TseytlinXK,\KounnasWC,\BarsTI,\BarsSR}.}

1685: \eqn\cosetbg{

1686: \eqalign{

1687: ds^2&=-k {du\,dv\over1-uv}~;\cr

1688: \Phi&=

1689: -{1\over4}{\rm log}(1-uv)^2~.

1690: }

1691: }

1692: $k$ is the level of the $SL(2)$ affine Lie

1693: algebra that enters the coset

1694: construction.\foot{Actually, \cosetbg\ with

1695: $-\infty<u,v<\infty$ describes $PSL(2,\IR)/U(1)$.

1696: $SL(2,\IR)/U(1)$ is a double cover of this space.

1697: We will be mostly interested in the single cover,

1698: \ie\ the $PSL(2)$ case.}

1699: For bosonic strings, the background \cosetbg\ is only valid for

1700: large $k$. The $1/k$ (or $\alpha'$) corrections are known

1701: \refs{\DijkgraafBA,\JackMK}. For the worldsheet supersymmetric

1702: version, which is the case of interest to us here,

1703: the background \cosetbg\ turns out to be exact

1704: \refs{\TseytlinHT,\JackMK}, with

1705: $k$ being the total level of $\widehat{SL(2)}$ (which

1706: receives a contribution of $k+2$ from a bosonic $SL(2)$ WZW

1707: model and a contribution of $-2$ from three free fermions

1708: in the adjoint of $SL(2)$). The central charge of the resulting

1709: superconformal field theory is

1710: \eqn\chatsl{\hat c=2+{4\over k}~.}

1711: Comparing \bhuv\ to \cosetbg, we see that the generalized Milne

1712: universe described in subsection {\it 2.3} corresponds to a negative

1713: level $SL(2)/U(1)$,

1714: \eqn\kQmatch{{1\over k}=-Q^2~.}

1715: Thus, the $SL(2)/U(1)$ CFT has central charge $\hat c<2$.

1716: It is also known that in this case the $N=1$ superconformal

1717: symmetry of the coset model is enhanced to $N=2$. For

1718: unitary CFT's these two facts would mean that the model

1719: must be an $N=2$ minimal model, and $k$ must be integer.

1720: However, in our case there is no reason to impose unitarity

1721: on the CFT, since the $SL(2)/U(1)$ directions include time.

1722: 

1723: The background \bhuv\ can be thought of as a double Wick

1724: rotated version of the two dimensional black hole. This

1725: is reflected in the Penrose diagram of figure 1. The

1726: region outside the horizon of the black hole corresponds

1727: in our case to the early time epoch (region $I$ in

1728: figure 1), while the other asymptotic region in the black

1729: hole case corresponds to the late time region $II$.

1730: The regions between the horizon and singularity of the black

1731: and white holes correspond in our case to regions

1732: $III$ and $IV$. The singularities at $uv=1$ appear

1733: timelike in regions $III$, $IV$. Finally, the regions

1734: behind the black and white hole singularities, $V$ and

1735: $VI$, give rise to additional asymptotic regions.

1736: 

1737: In section 2 we discussed a background obtained from \bhuv\ by the

1738: identification \uvid. This spacetime can be obtained from

1739: $SL(2,\IR)/U(1)$ by further modding out by a discrete group.

1740: In terms of the $SL(2,\IR)$ matrices $g$, the background

1741: \bhuv\ is obtained by gauging the continuous symmetry

1742: \eqn\ggbb{g\to e^{\rho\sigma_3}ge^{\rho\sigma_3}~.}

1743: The identified generalized Milne universe discussed in

1744: subsection {\it 2.3} is obtained by further gauging the

1745: discrete subgroup isomorphic to $\IZ$, which is generated

1746: by

1747: \eqn\ggaa{g\to e^{\tau\sigma_3}ge^{-\tau\sigma_3}~,}

1748: where $\tau=\pi R$ (note the factor of two relative to \uvid).

1749: 

1750: A note on T-duality: when constructing the $SL(2,\IR)/U(1)$

1751: model, one has a choice of gauging either the vector symmetry

1752: \ggbb, or the axial symmetry $g\to \exp(\rho\sigma_3)g

1753: \exp(-\rho\sigma_3)$. The CFT is self-dual under this

1754: replacement \refs{\GiveonSY,\DijkgraafBA},

1755: but duality exchanges regions $I$ and $VI$,

1756: as well as regions $II$ and $V$. Regions $III$ and $IV$

1757: are invariant. This will play a role in our discussion in section~4.

1758: 

1759: In the next section we turn to the study of excitations

1760: propagating in the background \bhuv. We will use the

1761: description of the singular spacetime of figure 2 as a

1762: coset of $PSL(2)$, to continue wavefunctions between

1763: different regions separated by cosmological singularities,

1764: and study the resulting S-matrix.

1765: 

1766: 

1767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1768: \newsec{Scalar perturbations}

1769: 

1770: We would like to analyze the propagation of small perturbations

1771: in the background \bhsol, \bhuv. For concreteness, we will consider

1772: a minimally coupled scalar field $T$ of mass $m$, which could (for

1773: example) be one of the perturbative string modes described in the

1774: previous section. We will focus on the non-trivial

1775: two dimensional part of the spacetime. The other $d-1$ dimensions

1776: are flat; it is easy to incorporate them into the discussion.

1777: 

1778: The contribution of $T$ to the action \action\ is

1779: \eqn\stach{S_T=

1780: {1\over 2\kappa^2} \int dxdt\sqrt{-g}

1781: e^{-2\Phi}\left(-g^{\mu\nu} \partial_\mu

1782: T \partial_\nu T- m^2T^2\right)~,

1783: }

1784: where we are neglecting self-interaction terms, as well

1785: as interactions with other fields, and focus on free

1786: propagation in the geometry \bhsol, \bhuv.

1787: 

1788: Since the background \bhsol\ is translation invariant

1789: in $x$, we will consider modes with a given value of

1790: spatial momentum,

1791: \eqn\planetach{T(t,x) = T(t) e^{ipx}+{\rm c.c.}}

1792: Substituting this ansatz into the action \stach, and

1793: adding \mini, one finds

1794: \eqn\minitach{S_g+S_T=

1795: -{1\over 2\kappa^2}

1796: \int dt \sqrt{-g_{00}}{e^{-\phi}\left[

1797: g^{00}(\dot\alpha^2 -\dot\phi^2+\dot T^2)

1798: +2\Lambda+m^2T^2+

1799: e^{-2\alpha(t)}p^2 T^2\right]}~.

1800: }

1801: The resulting equations of motion are (compare to \kassoln)

1802: \eqn\tacheom{\eqalign{

1803: &{\partial\over\partial t}\left(e^{-\phi}\dot\alpha\right)=

1804: p^2e^{-2\alpha(t)} T^2~;\cr

1805: &\ddot\phi = \dot\phi^2 - 2 \Lambda-

1806: (m^2+p^2e^{-2\alpha(t)})T^2 = \dot\alpha^2+\dot T^2~;\cr

1807: &\ddot{T} - \dot{\phi}\dot{T} + (m^2 + p^2 e^{-2\alpha(t)})T = 0~.

1808: \cr

1809: }}

1810: If the scalar field $T$ is small everywhere, one can neglect

1811: the $O(T^2)$ back-reaction of the metric and dilaton, which is

1812: summarized by the first two equations in \tacheom, and solve

1813: the linearized equation of motion of $T$ given by the last line

1814: of \tacheom, in the fixed background \bhmet, \bhuv.

1815: 

1816: Substituting the values of $\alpha$ and $\phi$ corresponding

1817: to the solution~{\bhmet, \bhdil}, and defining

1818: \eqn\newdefs{z=-{\rm sinh}^2(Qt),\;\; M={m\over Q}~,}

1819: brings the last line of \tacheom\ to the form

1820: %

1821: \eqn\hgf{

1822: z(1-z) T'' + (1 - 2z) T' -{1\over4} \bigl(M^2 -

1823: p^2 {1-z\over z}\bigr) T

1824: = 0~,}

1825: %

1826: where primes denote derivatives with respect to $z$. The

1827: asymptotic past and future regions, with $|t|\to\infty$,

1828: correspond to

1829: \eqn\zlimit{z\simeq -(1/4)\exp(2Q|t|)\to-\infty~.}

1830: In this limit \hgf\ simplifies:

1831: \eqn\asymhgf{-z^2T''-2zT'-{1\over4}(M^2+p^2)T=0~,}

1832: with the solution

1833: \eqn\solnasymp{\eqalign{

1834: T=&(-z)^\lambda~;\cr

1835: \lambda=&\half\left(-1\pm \sqrt{1-M^2-p^2}\right)~.\cr

1836: }}

1837: For $M^2+p^2>1$, this corresponds to

1838: plane waves with energy

1839: \eqn\EQQ{E=Q\sqrt{M^2+p^2-1}~.}

1840: For smaller masses one gets growing and decaying wavefunctions,

1841: as discussed in subsection~{\it 3.1}. The bound on $M$ in

1842: \solnasymp\ is the same as the one that follows from \meffec.

1843: In this section we will concentrate on the plane waves (with

1844: $E\in \IR$). We will return to the growing solutions in section~5.

1845: 

1846: Equation \hgf\ can be solved in terms of hypergeometric

1847: functions, but it is more instructive to proceed by using the

1848: construction of the space \bhuv\ as a coset of $PSL(2,\IR)$. This

1849: provides a unified description of the behavior of the wavefunctions

1850: in all six regions in figures 1,2.

1851: 

1852: One starts by constructing eigenfunctions of the Laplacian

1853: on $PSL(2,\IR)$, in which the $U(1)_L\times U(1)_R$ symmetries

1854: $g\to \exp(\rho_L\sigma_3)g\exp(\rho_R\sigma_3)$

1855: are diagonal. This is described in \Vilenkin\

1856: (see \ElitzurRT\ for a review and an application in a related

1857: context), so we will be brief.

1858: The eigenfunctions of the Laplacian are matrix

1859: elements of group elements between states belonging

1860: to representations of $PSL(2,\IR)$. The scattering states

1861: correspond to matrix elements in the principal continuous

1862: series. States in these representations are labeled by

1863: three quantum numbers, $j$; $m$; $\pm$. The quantum number

1864: $j=-\half+is$, $s\in \IR$, is related to the value of

1865: the Casimir, $j(j+1)$. The label $m$ determines the

1866: eigenvalue under the non-compact $U(1)$ symmetry

1867: $\exp(\alpha\sigma_3)$; for unitary representations,

1868: this eigenvalue is $\exp(2im\alpha)$, with $m\in \IR$. The

1869: third quantum number is a discrete label which takes two values.

1870: 

1871: A generic group element $g\in PSL(2,\IR)$ (with all

1872: elements of the $2\times 2$ matrix $g$ non-vanishing)

1873: can be written as

1874: \eqn\grepr{g(\alpha,\beta,\theta;\epsilon_2,\delta)=

1875: e^{\alpha\sigma_3}(i\sigma_2)^{\epsilon_2}

1876: g_\delta(\theta)e^{\beta\sigma_3}~,}

1877: where $\epsilon_2=0,1$; $\delta=I,II,IV$, and

1878: \eqn\gI{g_{IV}=

1879: \left(\matrix{

1880: \cos\theta&-\sin\theta\cr

1881: \sin\theta&\cos\theta\cr}\right);\qquad 0\le\theta\le{\pi\over2}~,}

1882: \eqn\gone{g_I=g_{II}^{-1}=

1883: \left(\matrix{

1884: \cosh\theta&\sinh\theta\cr

1885: \sinh\theta&\cosh\theta\cr}\right);\qquad 0\le\theta<\infty~.}

1886: The non-vanishing matrix elements of $g$ \grepr\ in the

1887: principal continuous series are

1888: \eqn\matelem{

1889: K_{\pm\pm}(\lambda,\mu;j;g)\equiv

1890: \langle j, m,\pm|g|j,\bar m,\pm\rangle=

1891: e^{2i(m\alpha+\bar m\beta)}

1892: \langle j, m,\pm|(i\sigma_2)^{\epsilon_2}

1893: g_\delta(\theta)|j,\bar m,\pm\rangle~,

1894: }

1895: where

1896: \eqn\lmmu{

1897: \lambda\equiv -im-j;\;\; \mu\equiv -i\bar m-j;\;\;j=-\half+is~.}

1898: The labels $m$, $\bar m$, $s$ take arbitrary real values.

1899: The functions \matelem\ appear in \Vilenkin\ (see also

1900: \ElitzurRT). We will present some of them later.

1901: 

1902: Given the eigenfunctions of the Laplacian on $PSL(2,\IR)$,

1903: we can find the wavefunctions on the coset obtained by gauging

1904: \ggbb, by restricting to gauge invariant wavefunctions.

1905: Since the parameters $\alpha$, $\beta$ in \grepr\ transform under

1906: \ggbb\ as $\alpha\to\alpha+\rho$, $\beta\to\beta+\rho$,

1907: the invariant wavefunctions are those with $m=-\bar m$. Further

1908: modding out by the identification \ggaa\ leads to quantization of $m$,

1909: $mR\in \half\IZ$. Also, twisted sectors appear, in which $m\not=-\bar m$.

1910: These correspond to winding modes on the coset manifold.

1911: 

1912: Thus, the matrix elements \matelem\ give rise to

1913: solutions of the wave equation on the spacetime \bhuv.

1914: Different regions in figures 1,2 correspond\foot{This is described

1915: in more detail in \ElitzurRT. The regions in figure 1 are

1916: related to those in figure~2 of \ElitzurRT\ as follows. Our regions

1917: $(I,II,III,IV,V,VI)$ correspond to regions $(1,1',II,I,2',4)$

1918: in \ElitzurRT.} to different types of $PSL(2,\IR)$

1919: matrices $g$, \grepr. For example, region I in figure 1

1920: corresponds to $\epsilon_2=0$, $\delta=I$ in \grepr.

1921: The coordinates on region I in \grepr, $\alpha-\beta$ and

1922: $\theta$, are related to the coordinates $x$ and $t$ in

1923: \bhsol\ as follows:

1924: \eqn\coordmap{\eqalign{

1925: x&\leftrightarrow\alpha-\beta~; \cr

1926: t&\leftrightarrow\theta ~. \cr

1927: }}

1928: The two independent solutions of \hgf\ in region $I$

1929: can be taken to be

1930: \Vilenkin

1931: \eqn\kplusone{

1932: T^{(+)}_I(t)=K_{++}(\lambda,\mu;j;g_I)=

1933: {1\over2\pi i}B(\lambda, -\lambda - 2j)

1934: {(1-z)^{j + {\lambda + \mu\over 2}}\over (-z)^{\lambda + \mu\over 2}}

1935: F(\lambda,\mu;-2j;{1\over z})}

1936: and

1937: \eqn\kminusone{\eqalign{

1938: T^{(-)}_I(t)&=K_{--}(\lambda,\mu;j;g_I)\cr

1939: &= {1\over2\pi i}B(1-\mu,\mu+2j+1)

1940: {(1-z)^{j+{\lambda+\mu\over 2}}\over (-z)^{2j+1+{\lambda+\mu\over 2}}}

1941: F(\lambda+2j+1,\mu+2j+1;2j+2;{1\over z})~,\cr

1942: }}

1943: where $z$ is given in \newdefs,

1944: $B(a,b)$ is the Euler Beta function

1945: \eqn\bfff{B(a,b)={\Gamma(a)\Gamma(b)\over\Gamma(a+b)}~,}

1946: and $F(a,b;c;x)$ is the hypergeometric function ${}_2F_1$.

1947: By comparing the asymptotic behavior of the two solutions

1948: \kplusone, \kminusone\ to \solnasymp, one can match the

1949: parameters $s, m$ in \lmmu\ with those in \solnasymp:

1950: \eqn\parmatch{\eqalign{

1951: m=&-\bar m={p\over2}~;\cr

1952: 2s=&\sqrt{M^2+p^2-1}=E/Q~.\cr

1953: }}

1954: For the case of compact $x$, there are both momentum and

1955: winding modes, with the spectrum

1956: \eqn\momwin{

1957: \eqalign{

1958: m=&\half({n\over R}+kwR)~;\cr

1959: \bar m=&\half(-{n\over R}+kwR)~.\cr

1960: }}

1961: Here, $n,w\in\IZ$ are the momentum and winding,

1962: respectively, while $k$ is the level of $\widehat{SL(2)}$.

1963: 

1964: Since the wavefunctions $K_{\pm\pm}$ are given by

1965: matrix elements on $PSL(2,\IR)$, \matelem, they

1966: are uniquely defined in all regions in figure 1.

1967: For example, the solution $T^{(+)}_I(t)$, which in region $I$ is given by

1968: \kplusone, can be determined in regions $II$, $VI$,

1969: by using the fact that \refs{\Vilenkin,\ElitzurRT}

1970: \eqn\konetwo{\eqalign{

1971: K_{++}(\lambda,\mu;j;g_{II})=& K_{--}(\lambda,\mu;j;g_{I})~;\cr

1972: K_{++}(\lambda,\mu;j;g_{VI})=& 0~,\cr

1973: }}

1974: where $g_{II}=g_I^{-1}$, as in \gone, and $g_{VI}=-g_Ii\sigma_2$.

1975: Another region that will be of interest below is region $V$, where

1976: \eqn\kppfive{\eqalign{

1977: K_{++}(\lambda,\mu;j;g_V)&= {1\over 2 \pi i}(1-z)^{\mu - \lambda\over 2}\cr

1978: \times&\bigl[B(-2j - \lambda, 1- \mu)(-z)^{-{\lambda+\mu+2j\over 2}}

1979: F(-\lambda -  2j,1-\lambda;- \mu-\lambda - 2j+ 1;z)\cr

1980: &+B(\lambda, \mu+2j+1)(-z)^{\lambda+\mu+2j\over 2}

1981: F(\mu,\mu+2j+ 1;\mu+\lambda + 2j+ 1;z)\bigr]\cr

1982: }}

1983: with  $g_V=i\sigma_2 g_I$.

1984: 

1985: Similarly, one can compute the other three eigenfunctions of

1986: the Laplacian $K_{+-}$, $K_{-+}$, $K_{--}$ in all six regions

1987: of figure 1. Of course, in any given region, only two of the

1988: four functions $K_{\pm\pm}$ are independent. The others can

1989: be expressed as linear combinations of any linearly independent

1990: two (and in some cases vanish, such as $K_{++}$ in region $VI$ \konetwo).

1991: We will give some additional examples below.

1992: 

1993: We are now ready to return to the problem of quantum field theory in

1994: the background \bhuv. Naively, in a spacetime with metric \bhmet,

1995: one would expect to specify an initial state at $t\to-\infty$

1996: and calculate the amplitude for it to propagate to some particular

1997: final state at $t\to+\infty$. However, extending the spacetime

1998: as in \bhuv\ and figures 1, 2, it is clear that the initial time

1999: surface actually contains two independent components, corresponding

2000: to early times in regions $I$ (which is covered by the original

2001: coordinates \bhmet) and $VI$. Similarly, the out-region is the

2002: union of late times in regions $II$ and $V$. Thus, the incoming

2003: Hilbert space is expected to be the direct product of the Hilbert

2004: spaces corresponding to regions $I$ and $VI$, while the outgoing

2005: Hilbert space is expected to be the direct product of Hilbert spaces

2006: corresponding to regions $II$ and $V$. This picture is further supported

2007: by the fact that regions $I$ and $VI$ are exchanged by T-duality

2008: \refs{\GiveonSY,\DijkgraafBA}, and so are regions $II$ and $V$.

2009: 

2010: To quantize the field $T$ \stach, we would like to expand it in a complete

2011: set of orthonormal mode solutions. In the early and late time regimes

2012: $|t|\to\infty$, the metric becomes Minkowski \timedil, and the string

2013: coupling goes to zero and so can be neglected. Therefore, it is natural

2014: to treat $i\partial/\partial t$ as the timelike Killing vector with respect

2015: to which one measures energies (as we have done in section 3). There are

2016: two natural sets of modes in terms of which the quantum field $T$ can

2017: be expanded, corresponding to the early and late time regimes, respectively.

2018: We next construct these modes.

2019: 

2020: At early times, we are looking for two types

2021: of solutions. The first type corresponds to wavefunctions which vanish

2022: in region $VI$, and contain only positive frequency modes as $t\to-\infty$

2023: in region $I$. Wavefunctions of the second type vanish in region $I$ and

2024: contain only positive frequency modes at early times in region $VI$.

2025: 

2026: The mode solutions of the first type

2027: are $K_{++}(\lambda,\mu;j;g)$ with $s>0$ in \lmmu. This solution

2028: indeed vanishes in region $VI$ (see \konetwo), and its

2029: $t\to-\infty$ behavior in region $I$ is determined by

2030: \zlimit, \kplusone:

2031: \eqn\tplusas{

2032: K_{++}(\lambda,\mu;j;g_I)(t\to-\infty)\simeq {1\over2\pi i}

2033: B(\lambda,-\lambda-2j)(-z)^j\simeq

2034: {1\over2\pi i}B(\lambda,-\lambda-2j)4^{-j}e^{-2Qtj}~.}

2035: Substituting $j=-\half+is$ we have

2036: \eqn\plssss{K_{++}(\lambda,\mu;j;g_I)(t\to-\infty)\simeq {1\over2\pi i}

2037: B(\lambda,-\lambda-2j)

2038: 4^{-j}e^{Qt}e^{-2iQst}~.}

2039: The factor $\exp(Qt)$ is the string coupling

2040: (see \timedil, \verwave), while

2041: $\exp(-2iQst)=\exp(-iE t)$ (see \parmatch).

2042: Thus, $K_{++}(\lambda,\mu;j;g)$ contains only

2043: positive frequency modes at early times in region $I$.

2044: 

2045: Similarly, the positive energy solutions of the second type

2046: correspond to  $K_{+-}(\lambda,\mu, j, g)$.

2047: One can show \Vilenkin\ that $K_{+-}$ satisfies the following

2048: properties:

2049: \eqn\proppm{\eqalign{

2050: K_{+-}(\lambda,\mu,j,g_I)&=K_{++}(-\lambda-2j,\mu,j,g_{VI})=0~;\cr

2051: K_{+-}(\lambda,\mu,j,g_{VI})&=K_{++}(-\lambda-2j,\mu,j,g_{I})~,\cr

2052: }}

2053: where we recall that $g_{VI}=-g_Ii\sigma_2$.

2054: The first line of \proppm\ shows that the

2055: mode $K_{+-}(t\to-\infty)$ lives purely in region

2056: $VI$. The second line gives the profile of $K_{+-}$

2057: in region $VI$, and in particular establishes

2058: that it corresponds to a positive energy solution

2059: as $t\to-\infty$ in this region.

2060: 

2061: One can expand the quantum field $T$ in the above modes,            

2062: \eqn\texpand{\eqalign{

2063: N\;T(\lambda,\mu)= &a_I(\lambda,\mu)K_{++}(\lambda,\mu;j;g)

2064: +a^\dagger_I(\lambda,\mu)K^*_{++}(\lambda,\mu;j;g)\cr

2065: +&a_{VI}(\lambda,\mu)K_{+-}(\lambda,\mu;j;g)+

2066: a^\dagger_{VI}(\lambda,\mu)K^*_{+-}(\lambda,\mu;j;g)~,\cr}}

2067: where $N$ is a normalization factor, which can be read off

2068: from \plssss. The vacuum $|0\rangle_{\rm in}$ is defined

2069: to be the state annihilated by the annihilation

2070: operators in regions $I$ and $VI$, $a_I$ and $a_{VI}$.

2071: The operators $a^\dagger_I$ and $a^\dagger_{VI}$

2072: create particles in regions $I$ and $VI$,

2073: respectively. The fact that the modes  $K_{++}$ and

2074: $K_{+-}$,  corresponding to the two in-regions $I$ and $VI$,

2075: are orthogonal in the Klein-Gordon norm (because

2076: either one or the other vanishes at all points on an early time

2077: Cauchy surface),  implies that the creation and annihilation operators

2078: $a_I, a^\dagger_I$ commute with $a_{VI}, a^\dagger_{VI}$.

2079: 

2080: At late times, it is more natural to choose modes that vanish

2081: in one of the out-regions and are purely positive frequency in

2082: the other one. Using results in \Vilenkin\ one finds that

2083: the solution of the wave equation that vanishes in region $V$

2084: and has purely positive energy in region $II$ is

2085: $K_{--}^*(-\lambda-2j,-\mu-2j;j;g)$, while the positive energy solution

2086: in region $V$ which vanishes in region $II$ is

2087: $K^*_{-+}(-\lambda-2j,-\mu-2j;j;g)$. Therefore, the expansion appropriate

2088: for late times is

2089: \eqn\texpandtwo{\eqalign{

2090: N\;T(\lambda,\mu)= &a_{II}(\lambda,\mu)K^*_{--}(-\lambda-2j,-\mu-2j;j;g)

2091: +a^\dagger_{II}(\lambda,\mu)K_{--}(-\lambda-2j,-\mu-2j;j;g)\cr

2092: +&a_{V}(\lambda,\mu)K^*_{-+}(-\lambda-2j,-\mu-2j;j;g)+

2093: a^\dagger_{V}(\lambda,\mu)K_{-+}(-\lambda-2j,-\mu-2j;j;g)~.\cr}}

2094: The out-vacuum $|0\rangle_{\rm out}$ is by definition annihilated

2095: by the annihilation operators $a_{II}$ and $a_{V}$.

2096: 

2097: To determine the relation between the incoming

2098: and outgoing vacua, one needs to expand the outgoing

2099: modes $K_{--}$, $K_{-+}$ \texpandtwo\ in terms of the

2100: incoming ones $K_{++}$, $K_{+-}$ \texpand. This can be

2101: done, for example, by matching the asymptotic behaviors

2102: at early times (in regions $I$ and $VI$).

2103: In region $I$, the asymptotic behavior of the mode

2104: solutions is

2105: \eqn\asympt{\eqalign{

2106: K_{++}(\lambda,\mu;j;g_I) & \sim {1\over 2\pi

2107: i}B(\lambda,-\lambda-2j) (-z)^j~;\cr

2108: K_{+-}(\lambda,\mu;j;g_I) &=0~;\cr

2109: K_{--}(\lambda,\mu;j;g_I) & \sim {1\over 2\pi

2110: i}B(1-\mu,\mu+2j+1) (-z)^{-j-1}~;\cr

2111: K_{-+}(\lambda,\mu;j;g_I) & \sim {1\over 2\pi

2112: i}[B(2j+1,-2j-\lambda)+B(2j+1,\lambda)] (-z)^{j}\cr

2113: &+{1\over 2\pi

2114: i}[B(-2j-1,\mu+2j+1)+B(-2j-1,1-\mu)] (-z)^{-j-1}~.\cr

2115: }

2116: }

2117: In region~VI, it is

2118: \eqn\asymptsix{\eqalign{

2119: K_{+-}(\lambda,\mu;j;g_{VI}) & \sim {1\over 2\pi

2120: i}B(\lambda,-\lambda-2j) (-z)^j~;\cr

2121: K_{++}(\lambda,\mu;j;g_{VI}) &=0~;\cr

2122: K_{-+}(\lambda,\mu;j;g_{VI}) & \sim {1\over 2\pi

2123: i}B(1-\mu,\mu+2j+1) (-z)^{-j-1}~;\cr

2124: K_{--}(\lambda,\mu;j;g_{VI}) & \sim {1\over 2\pi

2125: i}[B(2j+1,-2j-\lambda)+B(2j+1,\lambda)] (-z)^{j}\cr

2126: &+{1\over 2\pi

2127: i}[B(-2j-1,\mu+2j+1)+B(-2j-1,1-\mu)] (-z)^{-j-1}~.\cr

2128: }

2129: }

2130: {}From \asympt\ and \asymptsix, one obtains

2131: \eqn\bogol{

2132: \pmatrix{K_{--}\cr K_{-+}\cr K^*_{--}\cr K^*_{-+}}=

2133: \pmatrix{A&C&0&B\cr

2134:          C&A&B&0\cr

2135:          0&B^*&A^*&C^*\cr

2136:          B^*&0&C^*&A^*}

2137: \pmatrix{K^*_{++}\cr K^*_{+-}\cr K_{++}\cr K_{+-}}~,

2138: }

2139: with

2140: \eqn\abc{

2141: \eqalign{

2142: A&=-{B(1-\mu,\mu+2j+1)\over B(1-\lambda,\lambda+2j+1)}~;\cr

2143: B&={B(2j+1,-2j-\lambda)+B(2j+1,\lambda)\over

2144: B(\lambda,-\lambda-2j)}~;\cr

2145: C&=-{B(-2j-1,\mu+2j+1)+B(-2j-1,1-\mu)\over

2146: B(1-\lambda,\lambda+2j+1)}~.

2147: }

2148: }

2149: {}From \texpand, \texpandtwo\ and \bogol, the following Bogolubov

2150: transformation follows:

2151: \eqn\bogola{

2152: \pmatrix{a^\dagger_{I}\cr a^\dagger_{VI}\cr a_{I}\cr a_{VI}}

2153: =\pmatrix{A&C&0&B^*\cr

2154:          C&A&B^*&0\cr

2155:          0&B&A^*&C^*\cr

2156:          B&0&C^*&A^*}

2157: \pmatrix{a^\dagger_{II}\cr a^\dagger_{V}\cr a_{II}\cr a_V}~.

2158: }

2159: The Bogolubov coefficients in \bogola\ satisfy the

2160: relations

2161: \eqn\relbogol{\eqalign{

2162: |A|^2+|C|^2-|B|^2=&1~;\cr

2163: AC^*+A^*C=&0~,\cr

2164: }}

2165: which are equivalent to equations (3.39) and (3.40) in

2166: \BirrellIX. The relations \relbogol\ imply that \bogola\

2167: can be inverted to

2168: \eqn\invbogola{

2169: \pmatrix{a^\dagger_{II}\cr a^\dagger_{V}\cr a_{II}\cr a_{V}}

2170: =\pmatrix{A^*&C^*&0&-B^*\cr

2171:          C^*&A^*&-B^*&0\cr

2172:          0&-B&A&C\cr

2173:          -B&0&C&A}

2174: \pmatrix{a^\dagger_{I}\cr a^\dagger_{VI}\cr a_{I}\cr a_{VI}}~.

2175: }

2176: The Bogolubov coefficients can be used to determine some of

2177: the S-matrix elements of the field $T$, as in \BirrellIX.

2178: In particular, the fact that $B\neq0$ signals particle

2179: creation (see \refs{\AharonyCX,\CornalbaNV} for  recent

2180: discussions of particle creation in string theory).

2181: 

2182: The incoming vacuum evolves to an outgoing state which contains

2183: \eqn\sssnnn{

2184: {}_{\rm in}\langle 0|a^\dagger_{II}a_{II}|0\rangle_{\rm in}=

2185: {}_{\rm in}\langle 0|a^\dagger_Va_V|0\rangle_{\rm in}=|B|^2}

2186: particles in region $II$ as well as region $V$,

2187: in the mode labeled by $\lambda, \mu, s$. Plugging

2188: in the explicit form of $B$, given in \abc,

2189: one finds that

2190: \eqn\bsquared{|B|^2={\cosh^2\pi m\over\sinh^2\pi s}~,}

2191: where we have used \lmmu; $m$ and $s$ are related to

2192: the energy, momentum and winding via \parmatch\ and \momwin. 

2193: 

2194: We finish this section with a few comments. Our analysis

2195: of Bogolubov coefficients leading to \bogola\ is strictly

2196: speaking only valid in the large $|k|$ approximation.\foot{Recall

2197: that $k$ is the level of $\widehat{SL(2)}$ entering the

2198: construction (see subsection {\it 3.2}).}

2199: While we have not studied the $1/k$ corrections in detail,

2200: experience with $AdS_3$ \TeschnerFT\ suggests that the only

2201: difference with respect to the classical analysis is the

2202: appearance of a ``reflection coefficient'' relating

2203: vertex operators corresponding to the representations

2204: $|j\rangle$ and $|-j-1\rangle$. One expects in general to have

2205: \eqn\ojref{\tilde\theta(-j-1)={\Gamma(1-{2j+1\over k})\over

2206: \Gamma(1+{2j+1\over k})}\theta(j)~,}

2207: where $\theta(j)$, $\tilde\theta(-j-1)$ are the quantum

2208: vertex operators corresponding to the classical wavefunctions

2209: which satisfy the $|k|\to\infty$ limit of \ojref,

2210: $\tilde\theta(-j-1)=\theta(j)$.

2211: This should be checked in more detail, but if true, it implies

2212: that the $1/k$ corrections modify \bogola\ in the following

2213: simple way: $A$ and $C$ \abc\ are multiplied by

2214: $\Gamma(1-{2j+1\over k})/\Gamma(1+{2j+1\over k})$, while $B$

2215: remains the same. Since for $j=-\half+is$, the correction factor

2216: is a phase, it does not modify the consistency conditions \relbogol.

2217: 

2218: %\MaldacenaKM

2219: \lref\MaldacenaKM{

2220: J.~M.~Maldacena and H.~Ooguri,

2221: ``Strings in AdS(3) and the SL(2,R) WZW model. III: Correlation  functions,''

2222: hep-th/0111180.

2223: %%CITATION = HEP-TH 0111180;%%

2224: }

2225: 

2226: %\GiveonTQ

2227: \lref\GiveonTQ{

2228: A.~Giveon and D.~Kutasov,

2229: ``Comments on double scaled little string theory,''

2230: JHEP {\bf 0001}, 023 (2000)

2231: [hep-th/9911039].

2232: %%CITATION = HEP-TH 9911039;%%

2233: }

2234: 

2235: 

2236: Another interesting extension of the analysis of this

2237: section involves the calculation of higher point functions

2238: in the cosmological spacetime \bhuv. This can in principle be

2239: done by using results on $SL(2,\IR)$

2240: \refs{\TeschnerFT,\MaldacenaKM}. For example, to calculate three

2241: point functions one needs to perform a transform of the

2242: $SL(2,\IR)$ correlation functions computed in \TeschnerFT.

2243: A similar transform was discussed in the context of Little

2244: String Theory in \GiveonTQ. It seems to be well behaved there;

2245: more work is needed to establish whether the three point

2246: functions are also well behaved here.

2247: 

2248: Four and higher point functions are of course of interest

2249: as well, and one may hope that they can be understood

2250: using the underlying $SL(2,\IR)$ affine Lie algebra structure.

2251: Of particular interest are interactions that take place near

2252: the singularities in figure 2. The amplitudes that are sensitive

2253: to such interactions should receive contributions from principal

2254: discrete series and degenerate representations of $SL(2)$, which

2255: correspond to wavefunctions localized there, and can appear as

2256: intermediate states in four and higher point functions.

2257: 

2258: 

2259: 

2260: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2261: \newsec{Growing  modes and infrared divergences in asymptotically timelike linear dilaton spacetimes}

2262: 

2263: In the previous section we studied perturbations

2264: of the generalized Milne universe \bhuv\ which

2265: correspond to particles with real energy $E$

2266: \EQQ. As we noted after \EQQ, for sufficiently

2267: low mass, $m^2<Q^2$, the energy is imaginary

2268: (for low enough momentum), so that the wavefunctions

2269: grow or decay exponentially with time.

2270: In this section, we will briefly discuss such modes, 

2271: first classically, and then at one loop.

2272: 

2273: \subsec{Classical analysis}

2274: 

2275: Consider the classical evolution of a scalar field $T$ with mass

2276: $m$ in the linear dilaton background \timedil. For concreteness,

2277: we will first discuss the early time epoch, during which $g_s=\exp(Qt)$

2278: (for late times, one simply replaces $Q$ by $-Q$ in the following equations).

2279: The Lagrangian \stach\ is proportional to

2280: \eqn\lscalar{

2281: \CL=\half e^{-2Qt} (-\eta^{\mu\nu}\partial_\mu T\partial_\nu T-m^2 T^2)~.

2282: }

2283: The equation of motion of $T$ is

2284: \eqn\eom{

2285: (-\eta^{\mu\nu}\partial_\mu\partial_\nu+2Q\partial_t+m^2) T=0~.

2286: }

2287: A basis of solutions is given by

2288: \eqn\basissol{

2289: T(t,\vec x)=e^{Qt}e^{\pm iEt+i\vec k\cdot\vec x}~,

2290: }

2291: with

2292: \eqn\eeee{

2293: E=\sqrt{\vec k^2+m^2-Q^2}~.

2294: }

2295: As discussed in section 3, it is natural to define the wavefunction

2296: $\Psi$ to be the field $T$ with the factor of the coupling stripped

2297: off. While this was described in the context of string theory, it

2298: is very natural in field theory

2299: as well \SeibergBJ. The resulting wavefunction,

2300: \eqn\wwavefion{

2301: \Psi(t,\vec x)=e^{-Qt}T(t,\vec x)= e^{\pm iEt+i\vec k\cdot\vec x}

2302: }

2303: has the property that for $\vec k^2+m^2-Q^2<0$, it is not a

2304: plane wave, but an exponentially growing or decaying function

2305: of $t$,

2306: \eqn\expwave{\Psi(t,\vec x)=e^{\pm \omega t+i\vec k\cdot\vec x}}

2307: with $\omega=-iE$ \eeee.

2308: 

2309: 

2310: One consequence of this fact is the following.

2311: Rewrite the Lagrangian 

2312: \lscalar\ in terms of the wavefunction $\Psi$, by using 

2313: \wwavefion. This is natural since at early times $\Psi$

2314: is canonically normalized, while $T$ has a time dependent

2315: kinetic term \lscalar. Omitting a total derivative which

2316: does not influence the classical equations of motion,

2317: one finds 

2318: \eqn\lscpsi{

2319: \CL=\half (-\eta^{\mu\nu}\partial_\mu \Psi\partial_\nu \Psi-

2320: m_{\rm eff}^2 \Psi^2)~,

2321: }

2322: where $m_{\rm eff}$ is given by \meffec. This form makes it clear that

2323: the the physics at very early times is invariant under time translations, 

2324: and that fields with negative $m_{\rm eff}^2$ behave like tachyons

2325: in flat space with constant dilaton. For example, the Hamiltonian

2326: corresponding to \lscpsi,

2327: \eqn\hamilt{

2328: H=\half\int d^dx (\dot \Psi^2+(\nabla \Psi)^2+m_{\rm eff}^2\Psi^2)~,

2329: }

2330: is not constant for fields with $m_{\rm eff}^2+\vec k^2<0$: rather, it grows 

2331: or decays exponentially with time. 

2332: 

2333: Since fields with $m_{\rm eff}^2<0$ look like tachyons \lscpsi,

2334: it is natural to ask whether they lead to instabilities of the 

2335: space. Classically, this is the questions whether as one evolves 

2336: the growing wavefunctions \expwave\ forward in time, the self-interactions

2337: of the field $T$ and its interactions with other fields, such as the

2338: metric and dilaton, lead to large changes in the solution \bhuv\ even

2339: if the initial perturbation is very small. 

2340: 

2341: Consider first a spacetime that approaches an asymptotically timelike

2342: linear dilaton solution as $t\to+\infty$. The question whether such

2343: a solution is stable against perturbations by modes with $m_{\rm eff}^2<0$

2344: involves a competition between two effects: the

2345: growth of the wavefunction, $\Psi\sim \exp(\omega t)$, and

2346: the decrease of the coupling, $g_s=\exp(-Qt)$.

2347: One way to quantify this is to think about the effect

2348: of interaction terms in the Lagrangian \lscalar\ (with $Q\to -Q$).

2349: The schematic structure of the full interacting Lagrangian

2350: describing the field $T$ is\foot{For simplicity,

2351: we include only the self-interactions of $T$;

2352: similar comments apply to interactions of $T$ with other

2353: fields.}

2354: \eqn\lschem{

2355: \CL=\half e^{2Qt} (a_2T^2+a_3T^3+a_4T^4+\cdots)~.

2356: }

2357: In terms of the wavefunctions $\Psi=T\exp(Qt)$,  

2358: \lschem\ can be written as

2359: \eqn\lspsi{

2360: \CL=(b_2\Psi^2+b_3g_s\Psi^3+b_4g_s^2\Psi^4+\cdots)~.

2361: }

2362: Clearly, the effect of cubic and higher terms, relative to

2363: the leading, quadratic, term in the action is governed

2364: in the weak coupling region by the size of $T$. 

2365: Thus, if $T$ diverges as $t\to+\infty$, the

2366: late time solution is unstable against such perturbations, 

2367: and one has to take into account tachyon condensation.

2368: 

2369: It is not difficult to see that if the mass of the

2370: scalar field $T$ satisfies $m^2>0$, both solutions

2371: for $T$ \basissol\ go to zero as $t\to+\infty$, \ie\

2372: the late time behavior is stable. On

2373: the other hand, for $m^2<0$, there is always a solution

2374: for which $T$ grows exponentially at late times, and thus 

2375: the late time behavior is modified by tachyon condensation.

2376: It is reasonable to require that in a sensible vacuum

2377: of string theory there should not be modes with $m^2<0$;

2378: this is certainly the case in the type II examples

2379: discussed in subsection {\it 3.1}.

2380: 

2381: For early times, all fields $T$ grow with time \basissol.

2382: The question of (in)stability of the solution to generic

2383: perturbations takes one outside the realm of the linear

2384: dilaton part of spacetime, and we will not discuss it here. 

2385: 

2386: 

2387: 

2388: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2389: \subsec{Infrared divergences at one loop}

2390: 

2391: In this subsection, we would like to show that modes

2392: \basissol\ with $\vec k^2+m^2<Q^2$, which correspond to

2393: exponentially growing wavefunctions \expwave\ at early and late times,

2394: give rise to infrared divergences in one loop amplitudes

2395: in string theory in asymptotically timelike linear dilaton

2396: spacetimes. In fact, we have seen this already: in the

2397: discussion of the bosonic string on such backgrounds we

2398: pointed out that these modes contribute to the partition

2399: sum the term \levmatch, which can be written as

2400: $\exp(-\pi\tau_2(\vec k^2+m^2-Q^2))$. Thus, if

2401: $m^2+\vec k^2<Q^2$, the integral

2402: over $\tau_2$ diverges from the region near $\tau_2=\infty$,

2403: which is an infrared divergence, usually associated with a tachyon.

2404: A similar structure arises for the type II case \iipart.

2405: As in the case of a constant dilaton, one can try to define

2406: the divergent integral by analytic continuation \MarcusVS\

2407: and interpret the resulting finite, complex result

2408: as giving a decay rate \refs{\MarcusVS,\WeinbergVP}.

2409: 

2410: In the rest of this subsection we will discuss the one loop

2411: amplitude in field theory. The two main motivations

2412: for this discussion are the following. First,

2413: in the next section we will study the case of

2414: de Sitter space, which does not seem to have a satisfactory

2415: string theory realization. There, we will have to use

2416: field theoretic techniques. Second, we would like to

2417: discuss the relation of the Euclidean worldsheet partition

2418: sums \finbosz, \iipart\ to existing calculations in the

2419: QFT literature which are done in Minkowski space, and appear

2420: to be infrared finite.

2421: 

2422: As a warm-up exercise, consider the one-loop vacuum

2423: diagram of a scalar field in Minkowski space (with

2424: constant dilaton). In Schwinger parametrization, it

2425: reads

2426: \eqn\schwinger{Z_{\rm 1-loop}={\rm Tr}\int_0^\infty{ds\over

2427: s}e^{-is(-\eta^{\mu\nu}\partial_\mu

2428: \partial_\nu+m^2-i\epsilon)}~,

2429: }

2430: where the trace runs over an orthonormal basis of delta-function

2431: normalizable modes, which we choose to be the following

2432: eigenfunctions of the wave operator $-\eta^{\mu\nu}\partial_\mu

2433: \partial_\nu+m^2$:

2434: \eqn\basisnorm{

2435: \{e^{iEt+i\vec k\cdot\vec x}|(E,\vec k)\in \Rop^{d+1}\}~.

2436: }

2437: Thus we find

2438: \eqn\schwingerbis{

2439: Z_{\rm 1-loop}=

2440: \int dE\int d^{d}k

2441: \int_0^\infty{ds\over s} e^{-is(-E^2+\vec

2442: k^2+m^2-i\epsilon)}~.

2443: }

2444: Note that the $i\epsilon$ perscription makes the integral converge

2445: at large $s$. Consider first the case $m^2\geq 0$. Then it is

2446: convenient to Wick rotate (see \eg\ \PolchinskiRQ, p. 83)

2447: \eqn\wick{

2448: E \mapsto iE~;\ \ \ s\mapsto-is~,

2449: }

2450: so that \schwingerbis\ becomes

2451: \eqn\schwingertris{

2452: Z_{\rm 1-loop}=

2453: i\int dE\int d^{d}k

2454: \int_0^\infty{ds\over s} e^{-s(E^2+\vec

2455: k^2+m^2)}~.

2456: }

2457: This expression clearly has no infrared (large $s$) divergences, like

2458: the original Minkowski amplitude. Recall, also, that in string theory

2459: the parameter $s$ in \schwingertris\ is proportional to (the imaginary

2460: part of) the modulus of the worldsheet torus, $\tau_2$.

2461: 

2462: 

2463: For the case $m^2<0$, it is not a priori clear that performing the

2464: Wick rotation \wick\ is a sensible thing to do. In particular,

2465: while \schwingerbis\ does not have large $s$ divergences,

2466: the Wick rotated expression \schwingertris\ is IR divergent in

2467: this case. Thus, one might be tempted to perform the continuation

2468: \wick\ for all modes with positive $m^2$, and leave the contributions

2469: of tachyonic modes in the original form \schwingerbis. One problem

2470: with this is that one would then have to treat differently regions

2471: in the spatial momentum integral where $\vec k^2+m^2$ is positive and

2472: negative.

2473: 

2474: In string theory\foot{E.g. the critical bosonic string,

2475: or type 0 string theory.} one is instructed to perform the

2476: continuation to \schwingertris\ for all modes, including those

2477: with $m^2<0$.

2478: All but at most a few of the string modes have positive $m^2$,

2479: and the treatment of the remaining ones is determined by the

2480: requirement of modular invariance.

2481: 

2482: Another way to see this is the following. Suppose in string theory

2483: one performed the continuation \wick\ for all the positive $m^2$

2484: modes, and treated the negative $m^2$ modes differently. The

2485: resulting partition sum $Z(\tau)$ (see \eg\ \iipart) would not be

2486: modular invariant, and there would not be any justification to

2487: integrate it over the modular domain which excludes the small $s$

2488: region. One would thus integrate over $s$ between zero and infinity.

2489: The resulting amplitude would have a divergence from {\it small} $s$,

2490: which would be equivalent \KutasovSV\ to the original infrared divergence

2491: due to the tachyon. Thus, in string theory, one cannot avoid the infrared

2492: divergence associated with  \schwingertris\ with $m^2<0$. The best one

2493: can do is to push it into a UV regime, but the two are related by the

2494: standard UV/IR duality of perturbative string theory (worldsheet duality).

2495: 

2496: 

2497: It is elementary to generalize the above discussion

2498: to the timelike linear dilaton case. In the presence

2499: of a dilaton $\Phi=-Qt$, the one loop partition

2500: sum\foot{Other one loop amplitudes will behave in the

2501: same way for the purposes of the present discussion.}

2502: takes the form

2503: \eqn\contr{ Z_{\rm 1-loop}={\rm

2504: Tr}\int_0^\infty{ds\over s}e^{-is(-\eta^{\mu\nu}\partial_\mu

2505: \partial_\nu+2Q\partial_0+m^2-i\epsilon)}~,

2506: }

2507: where the trace runs over a suitable basis of normalizable

2508: functions. We choose the basis

2509: \eqn\basis{\{e^{-Qt}e^{iEt+i\vec k\cdot\vec x}|(E,\vec k)\in

2510: \Rop^{d+1}\}~,

2511: }

2512: such that \contr\ becomes

2513: \eqn\contrbis{

2514: \eqalign{Z_{\rm 1-loop}&=

2515: \int dE\int d^{d}k

2516: \int_0^\infty{ds\over s} e^{-is(-E^2+\vec k^2+m^2-Q^2-i\epsilon)}\cr

2517: &=i\int dE\int d^{d}k

2518: \int_0^\infty{ds\over s} e^{-s(E^2+\vec k^2+m^2-Q^2)}\cr

2519: &=i\pi^{(d+1)/2}\int_0^\infty{ds\over s}s^{-(d+1)/2} e^{-s(m^2-Q^2)}~,

2520: }}

2521: where we again rotated the contour of integration over $s$ and $E$

2522: as in \wick. We see that this indeed has a large $s$ divergence for

2523: all $m^2<Q^2$. The treatment of these modes is again determined by

2524: string theory, as above. This has been used implicitly in arriving at

2525: \finbosz, \iipart.

2526: 

2527: 

2528: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2529: \newsec{De Sitter space}

2530: 

2531: %\HullII

2532: \lref\HullII{

2533: C.~M.~Hull,

2534: ``de Sitter space in supergravity and M theory,''

2535: JHEP {\bf 0111}, 012 (2001)

2536: [hep-th/0109213].

2537: %%CITATION = HEP-TH 0109213;%%

2538: }

2539: %\BoussoFI

2540: \lref\BoussoFI{

2541: R.~Bousso, O.~DeWolfe and R.~C.~Myers,

2542: ``Unbounded entropy in spacetimes with positive cosmological constant,''

2543: hep-th/0205080.

2544: %%CITATION = HEP-TH 0205080;%%

2545: }

2546: We would now like to repeat the analysis of section~5 for de Sitter space

2547: (see \eg\ \refs{\WittenKN,\MaldacenaMW,\BanksFE,\BoussoNF,\HullII,

2548: \SpradlinPW,\SusskindRI,\BoussoFI}  and references therein for some

2549: recent discussions of de Sitter space). In global coordinates, which cover

2550: the whole de Sitter manifold, the metric reads

2551: \eqn\globaldS{

2552: ds^2=-d\tau^2+l^2{\rm cosh}^2(\tau/l)d\Omega_d^2~,

2553: }

2554: where $l$ is the de Sitter radius, $-\infty<\tau<\infty$,

2555: and  $d\Omega_d^2$ is the line element on the unit $d$-sphere.

2556: This metric solves

2557: Einstein's equations with positive cosmological constant

2558: \eqn\cosmo{

2559: \Lambda={d(d-1)\over 2l^2}

2560: }

2561: and describes a space that contracts for early times $\tau$

2562: and expands for late times. In that respect, it is

2563: similar to the Einstein frame metric describing the solutions of

2564: subsection~{\it 2.2} (see \einsteinmetric, \einsteinmetricbis\ for

2565: the asymptotic behavior of this Einstein frame metric). We will

2566: focus on the early time region

2567: $\tau\rightarrow -\infty$. It will be convenient to describe this

2568: region in planar coordinates, which cover half of de Sitter space:

2569: \eqn\planarpast{

2570: ds^2=-dt^2+e^{-2Ht}d\vec x^2~.

2571: }

2572: Here $-\infty<t<\infty$, $H=l^{-1}$ is the `Hubble constant', and

2573: $\vec x$ are coordinates on a $d$-plane. Early times correspond to

2574: $t\rightarrow-\infty$.

2575: 

2576: Translations of $t$ have to be

2577: accompanied by dilations in order to preserve the metric. The

2578: associated Killing vector $K$ is

2579: \eqn\killing{

2580: K=\partial_t+Hx^i\partial_i~,

2581: }

2582: which has norm squared

2583: \eqn\normkilling{

2584: (K,K)=-1+H^2e^{-2tH}\vec x^2~.

2585: }

2586: Thus we see that $K$ is timelike whenever $H^2e^{-2tH}\vec x^2<1$,

2587: so that there is a cosmological event horizon of size

2588: \eqn\horplan{

2589: \vec x^2=H^{-2}e^{2tH}~.

2590: }

2591: In analogy with subsection~{\it 5.1}, we now study the classical

2592: evolution of a scalar field with mass $m$

2593: in the background \planarpast:

2594: \eqn\mincoup{

2595: S=\half\int dt\int d^dx\, e^{-dHt}\, (\dot T^2-e^{2Ht}(\nabla T)^2

2596: -m^2 T^2)~,

2597: }

2598: with equation of motion

2599: \eqn\eomds{

2600: \ddot T-dH\dot T-e^{2Ht}\nabla^2 T+m^2T=0~.

2601: }

2602: We want to study this scalar field for early times $t$, for which

2603: the $e^{2Ht}\nabla^2 T$ term in \eomds\ is negligible.\foot{We

2604: will comment on what this means shortly.} Then the solutions are

2605: \eqn\sol{

2606: T_\pm\sim e^{h_\pm t}e^{i\vec k\cdot\vec x}\ ,\ \ t\rightarrow-\infty~,

2607: }

2608: where

2609: \eqn\hplusminus{

2610: h_\pm={dH\over2}\pm\sqrt{({dH\over2})^2-m^2}~.

2611: }

2612: For $0<m^2<({dH\over2})^2$, both solutions grow exponentially with $t$

2613: for early times. One can again rescale the field $T$ in \mincoup,

2614: $T=\Psi\exp(dHt/2)$, and find that the action \mincoup\ (with the

2615: second term and a total derivative neglected) takes the form

2616: \eqn\mincoup{

2617: S=\half\int dt\int d^dx\,(\dot \Psi^2-m_{\rm eff}^2 \Psi^2)~,

2618: }

2619: with $m_{\rm eff}^2=m^2-(dH/2)^2$. Hence, growing modes exist when

2620: \eqn\growham{

2621: m^2<({dH\over 2})^2~.

2622: }

2623: In the analysis leading to \sol, we assumed that $t$ was

2624: sufficiently large and negative for the $e^{2Ht}\nabla^2 T$

2625: term in \eomds\ to be negligible compared to the other two

2626: terms in the action. This is the case if

2627: \eqn\ineq{

2628: e^{2Ht}\vec k^2<<m^2,\;({dH\over 2})^2~.

2629: }

2630: Using \horplan, we see that our approximation is valid only for

2631: modes with wavelength large compared to the horizon radius (up to a

2632: $d$-dependent factor). This should be contrasted with discussions

2633: like that of \Abbott, where fluctuations inside the event horizon

2634: are discussed. 

2635: 

2636: As in subsection~{\it 5.2}, the growing modes \growham\

2637: lead to infrared divergences in one-loop amplitudes.

2638: The contribution of the scalar field \mincoup\ to the one-loop

2639: vacuum amplitude is

2640: \eqn\contrds{

2641: Z_{\rm 1-loop}={\rm Tr}\int_0^\infty{ds\over s}e^{-is(-\partial_t^2

2642: +dH\partial_t+e^{2Ht}\nabla^2+m^2-i\epsilon)}~,

2643: }

2644: where the trace runs over a suitable basis of normalizable

2645: functions. We choose these functions to be

2646: eigenfunctions of the differential operator in the exponent in \contrds,

2647: and label them by their behavior for early $t$, which is given by

2648: \eqn\basis{

2649: \{e^{{dHt\over 2}}e^{iEt+i\vec k\cdot\vec x}|

2650: (E,\vec k)\in \Rop^{d+1}\}~.

2651: }

2652: We evaluate the trace in the early time region,

2653: so that the $e^{2Ht}\nabla^2$ term in

2654: \contrds\ is negligible. Then \contrds\ becomes

2655: \eqn\contrdsbis{

2656: Z_{\rm 1-loop}=

2657: \int dE\int d^{d}k

2658: \int_0^\infty{ds\over s} e^{-is(-E^2+m^2-({dH\over2})^2-i\epsilon)}~,

2659: }

2660: where the integral over $\vec k$ has a large $|\vec k|$ cutoff

2661: determined by the condition that the $e^{2Ht}\nabla^2$ term in

2662: \contrds\ should be negligible. The result of the

2663: integral over $\vec k$ is a factor converting the coordinate

2664: volume of space (which multiplies the right hand side of

2665: \contrdsbis, although we have suppressed it in the formulae) into the

2666: physical volume of space (\ie, the volume measured with the metric

2667: \planarpast).

2668: Omitting this volume factor, we obtain by Wick rotation (as in

2669: subsection~{\it 5.2})

2670: \eqn\eval{

2671: Z_{\rm 1-loop}=

2672: i\int dE\int_0^\infty{ds\over s} e^{-s(E^2+m^2-({dH\over2})^2)}~.

2673: }

2674: We see that \eval\ has large $s$ divergences for all masses with

2675: $m^2<({dH\over2})^2$. This is precisely the range of masses 

2676: corresponding to growing modes \growham.

2677: 

2678: 

2679: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2680: \newsec{Summary and discussion}

2681: 

2682: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2683: 

2684: The main purpose of this paper was to study string propagation

2685: in the time-dependent spacetime \bhuv, \uvid, which includes a

2686: cosmological singularity, in the vicinity of which spacetime has

2687: the form $\IR^{1,1}/\IZ$. In such spacetimes there are many

2688: qualitative and quantitative issues that are not well understood

2689: in the framework of QFT in curved spacetime. For example, it is

2690: not clear whether one should only include the part of the spacetime

2691: which looks like a circle expanding from zero size at the singularity

2692: to a finite size at late times, or also the pre-big bang region,

2693: as well as the other regions in figures 1,2. There is a question as

2694: to the nature of observables, and in particular the continuation of

2695: wavefunctions through cosmological singularities.

2696: Ultimately, one would like to compute S-matrix elements in such

2697: spacetimes, and study the effects of the cosmological singularities

2698: on them.

2699: 

2700: We found that many of these and other questions can be addressed

2701: by realizing the cosmological spacetime \bhuv, \uvid\ as a coset

2702: CFT of the form $SL(2,\IR)/(U(1)\times \IZ)$. Our main results are

2703: the following:

2704: 

2705: The coset CFT describes a spacetime consisting of six regions (see

2706: figures 1,2), four of which include asymptotic early and late time

2707: regimes (two of each kind). The observables correspond to scattering

2708: states prepared at early times, and their S-matrix elements to

2709: evolve to some particular states at late times.

2710: 

2711: The asymptotic past consists of two disconnected regions, regions

2712: $I$ and $VI$ in figures 1,2. Correspondingly, the Hilbert space

2713: of asymptotic past states naturally takes the form of a direct product

2714: of the two Hilbert spaces corresponding to the two regions.

2715: Similarly, the future Hilbert space is a direct product of the

2716: Hilbert spaces corresponding to regions $II$ and $V$. In the asymptotic

2717: past and future the solution approaches a timelike linear dilaton

2718: one. The string coupling goes to zero, which makes it relatively

2719: easy to construct the incoming and outgoing Hilbert spaces.

2720: 

2721: Embedding the cosmological spacetime in $SL(2,\IR)$ allows one

2722: to continue wavefunctions through singularities. We used this

2723: continuation to compute the Bogolubov coefficients relating

2724: particles in the initial and final Hilbert spaces. We found

2725: that in order to obtain unitary evolution in the cosmological

2726: spacetime, one has to include both of the incoming and both

2727: of the outgoing regions. We also showed that the incoming vacuum

2728: evolves to a state with particles in the far future.

2729: 

2730: We discussed the existence of growing modes in asymptotically timelike

2731: linear dilaton solutions. We showed that scalar fields with mass

2732: $m^2<Q^2$ have exponentially growing or decaying wavefunctions (for

2733: low enough momentum), and lead to infrared divergences in one loop amplitudes.

2734: 

2735: We briefly discussed the relation of our results to gravity in

2736: de Sitter space. In the early and late time regimes, the qualitative

2737: structure of solutions to the wave equation in timelike linear dilaton

2738: and global de Sitter spacetime is similar, and thus one can use some

2739: of the arguments made in the timelike linear dilaton case. One finds

2740: that fields with mass smaller than the Hubble mass lead to  modes

2741: with growing wavefunction in de Sitter space, which are analogous to

2742: those with $m^2<Q^2$ in timelike linear dilaton backgrounds.

2743: In particular, they lead to infrared divergences in one loop diagrams.

2744: 

2745: An issue that has

2746: received some attention recently is the question of

2747: holography in de Sitter space, and in particular the proposal

2748: \StromingerPN\ that gravity in de Sitter space is equivalent to

2749: a Euclidean CFT living on the spacelike boundary at early and late

2750: times. The analogous statement in asymptotically timelike linear dilaton

2751: spacetimes would be that the theory is equivalent to a Euclidean

2752: theory living on the spacelike boundary at $|t|\to\infty$.

2753: 

2754: From our discussion it seems that the situation in both of these cases

2755: is expected to be more analogous to gravity in asymptotically flat

2756: spacetime than to that in anti-de Sitter or spacelike linear dilaton

2757: vacua. In the latter case, there is a class of observables that

2758: correspond to non-normalizable wavefunctions supported at the boundary,

2759: and one can study the path integral of gravity as a function of

2760: these ``boundary conditions''. In flat spacetime, one instead studies

2761: (delta function) normalizable wavefunctions that correspond to scattering

2762: states and their S-matrix.

2763: 

2764: In de Sitter and timelike linear dilaton spacetimes, the analogues of

2765: the non-normalizable wavefunctions of AdS and spacelike linear dilaton

2766: solutions seem to be the growing modes discussed in sections 5,6.

2767: The ``good observables'' are in fact

2768: analogues of the scattering states in flat spacetime. Therefore,

2769: it is not completely clear that a picture in terms of a Euclidean theory

2770: living on the spacelike boundary will be more useful in this case

2771: than an analogous picture in flat spacetime. A better understanding of

2772: holography in these spacetimes would be interesting.

2773: 

2774: Many other issues deserve further study. We described

2775: in section 2 a large class of solutions, the generalized Kasner solutions

2776: \highphi, \rrii. If the parameters $a_i$ \aaii\ are small, one can think

2777: of the resulting solutions as ``small perturbations'' of the generalized

2778: Milne solution that we discussed in sections 3,4 using coset CFT techniques.

2779: These perturbations correspond to zero momentum modes of the graviton and

2780: dilaton, which are massless but become effectively tachyonic in the

2781: timelike linear dilaton spacetime, \meffec. The Kasner solutions are

2782: in fact an example of how such modes can significantly influence the evolution,

2783: even if they are very small at early times. The 

2784: uncompactified generalized Milne solution

2785: \bhmet\ is non-singular at $t=0$ (as discussed in subsection {\it 2.3}),

2786: while arbitrarily small perturbations of it at early times, corresponding to

2787: turning on $a_2, a_3,\ldots$ lead to a singularity at finite $t$.

2788: It would be interesting to understand whether all the generalized Kasner

2789: solutions can be understood by thinking of the spacetime as a perturbed

2790: coset model. In particular, it would be interesting to understand

2791: whether one still has to include the different regions that were seen

2792: to play a role in the generalized Milne case, and if so, how to continue

2793: wavefunctions through the Kasner singularities.

2794: 

2795: Another general question involves the supercritical type II solutions

2796: corresponding to asymptotically timelike linear dilaton spacetimes

2797: at $t\to+\infty$, discussed in \refs{\AntoniadisAA,\AntoniadisVI} and in

2798: subsection {\it 3.1}. Since these solutions do not contain fields with

2799: $m^2<0$, it seems that their late time behavior might be stable. One

2800: can then ask what the status of these solutions is within M-theory. They are 

2801: obviously higher than eleven dimensional, and at least naively seem to have 

2802: more degrees of freedom than other known vacua of M-theory. It is not clear 

2803: how they are related to the standard eleven dimensional descriptions of M-theory.

2804: 

2805: 

2806: 

2807: 

2808: 

2809: 

2810: 

2811: 

2812: \bigskip

2813: \noindent{\bf Acknowledgements:}

2814: We would like to thank I.~Bars, S.~Elitzur, A.~Giveon, S.~Hollands,

2815: P.~Kraus, F.~Larsen, E.~Martinec, R.~Myers, E.~Rabinovici, A.~Schwimmer,

2816: N.~Seiberg and R.~Wald for discussions. This work is supported in part

2817: by DOE grant DE-FG02-90ER40560 and by NSF grant PHY-9901194. G.R.

2818: would like to thank the theory division at LBNL and UC Berkeley

2819: for hospitality while this work was being completed.

2820: 

2821: 

2822: 

2823: 

2824: 

2825: 

2826: 

2827: 

2828: \listrefs

2829: \end

2830: 

2831: 

2832: