1:  % Version of 03/21/05

2: 

3: \documentclass[twoside,10pt]{book}

4: \setlength{\textwidth}{125mm}

5: \setlength{\textheight}{185mm}

6: \setlength{\parindent}{8mm}

7: \frenchspacing

8: \setlength{\oddsidemargin}{0pt}

9: \setlength{\evensidemargin}{0pt}

10: 

11: \usepackage{amsmath,amsthm}

12: \usepackage{graphicx,amscd,amssymb}

13: \graphicspath{{figures/}{fr/}}

14: \usepackage[all]{xy}

15: 

16: %%%%%%%Sasha's macros%%%%%%%%%%%%%%%%%%%%%%%%

17: %\newcommand{\coh}{co\-ho\-mol\-o\-gy}

18: 

19: \newcommand{\ass}{\mathcal{A}ss}

20: \newcommand{\Aut}{\operatorname{Aut}}

21: \newcommand{\Beta}{\operatorname{B}}

22: \newcommand{\CC}{\mathcal{C}}

23: \newcommand{\Char}{\operatorname{char}}

24: \newcommand{\comm}{\mathcal{C}omm}

25: \newcommand{\Corr}{\mathcal{C}orr}

26: \newcommand{\DD}{\mathcal{D}}

27: \newcommand{\EE}{\mathcal{E}}

28: \newcommand{\End}[1]{\mathcal{E}nd\,_{#1}}

29: \newcommand{\ev}{\operatorname{ev}}

30: \newcommand{\Hom}{\operatorname{Hom}}

31: \newcommand{\id}{\operatorname{id}}

32: \newcommand{\II}{\mathcal{I}}

33: \newcommand{\In}{\operatorname{In}}

34: \newcommand{\INT}{\operatorname{int}}

35: \newcommand{\lie}{\mathcal{L}ie}

36: \newcommand{\Map}{\operatorname{Map}}

37: \newcommand{\MM}{\mathcal{M}}

38: \newcommand{\Mor}{\operatorname{Mor}}

39: \newcommand{\OO}{\mathcal{O}}

40: \newcommand{\out}{\operatorname{out}}

41: \newcommand{\PB}{\operatorname{PB}}

42: \newcommand{\PP}{\mathcal{P}}

43: \newcommand{\PRB}{\operatorname{PRB}}

44: \newcommand{\rank}{\operatorname{rank}}

45: \newcommand{\RB}{\operatorname{RB}}

46: \newcommand{\Si}{\Sigma}

47: \newcommand{\SO}{\operatorname{SO}}

48: \newcommand{\tr}{\operatorname{tr}}

49: \newcommand{\UU}{\mathcal{U}}

50: \newcommand{\varin}{\operatorname{in}}

51: \newcommand{\virt}{{\operatorname{virt}}}

52: 

53: \newcommand{\nc}{{\mathbb{C}}}

54: \newcommand{\nq}{{\mathbb{Q}}}

55: \newcommand{\nr}{{\mathbb{R}}}

56: \newcommand{\nz}{{\mathbb{Z}}}

57: 

58: %%%%%%%Ralph's macros%%%%%%%%%%%%%%%%%%%%%%%%

59: \newcommand{\ba}{\mathbb{A}}

60: \newcommand{\bc}{\mathbb{C}}

61: \newcommand{\bp}{\mathbb{ P}}

62: \newcommand{\bz}{\mathbb{Z}}

63: \newcommand{\br}{\mathbb{R}}

64: \newcommand{\bq}{\mathbb{Q}}

65: \newcommand{\bh}{\mathbb{H}}

66: \newcommand{\blh}{{\bf h}}

67: \newcommand{\bn}{\mathbb{N}}

68: \newcommand{\bs}{\mathbb{S}}

69: \newcommand{\bl}{\mathbb{L}}

70: \newcommand{\p}{\partial}

71: \newcommand{\cc}{\mathcal{C}}

72: \newcommand{\ce}{\mathcal{E}}

73: \newcommand{\cz}{\mathcal{Z}}

74: \newcommand{\cl}{\mathcal{L}}

75: \newcommand{\cs}{\mathcal{S}}

76: \newcommand{\cg}{\mathcal{G}}

77: \newcommand{\cb}{\mathcal{B}}

78: \newcommand{\cp}{\mathcal{P}}

79: \newcommand{\ch}{\mathcal{H}}

80: \newcommand{\cm}{\mathcal{M}}

81: \newcommand{\ct}{\mathcal{T}}

82: \newcommand{\sr}{\mathcal{R}}

83: \newcommand{\cu}{\mathcal{U}}

84: \newcommand{\cf}{\mathcal{F}}

85: \newcommand{\bx}{\mathbb{X}}

86: \newcommand{\mb}{\mathbf}

87: \newcommand{\ca}{\mathcal{A}}

88: \newcommand{\hk}{\hookrightarrow}

89: \newcommand{\bg}{\bigskip}

90: \newcommand{\med}{\medskip}

91: \newcommand{\la}{\longrightarrow}

92: \newcommand{\bfl}{\begin{flushleft}}

93: \newcommand{\efl}{\end{flushleft}} 

94: \newcommand{\eps}{\epsilon}

95: \newcommand{\mtm}{M^{-TM}}

96: \newcommand{\ltm}{LM^{-TM}}

97: \newcommand{\dbar}{\bar \partial}

98: \newcommand{\om}{\Omega}

99: \newcommand{\nee}{\nu_\epsilon (e)}

100: 

101: \newcommand{\un}{\underbar n}

102: \newcommand{\um}{\underbar m}

103: \newcommand{\xr}{\xrightarrow}

104: \newcommand{\cmt}{\cm^{top}}

105:   

106:  \newcommand{\ccg}{\cc_{\Gamma}}

107:  \newcommand{\ag}{Aut (\Gamma)}

108:  \newcommand{\ago}{Aut(\Gamma_1)}

109:  \newcommand{\agt}{Aut(\Gamma_2)}

110:  \newcommand{\ccgm}{\cm (\G, M)}

111:  \newcommand{\tccgm}{\tilde\cm (\G, M)}

112: 

113: 

114:  

115: \newcommand{\sg}{\Sigma}

116: \newcommand{\et}{Map({\bf 8}, M)}

117: \newcommand{\cpab}{\cp_M(L_1, L_2)}

118: \newcommand{\cpac}{\cp_M(L_1, L_3)}

119: \newcommand{\cpbc}{\cp_M(L_2, L_3)}

120: \newcommand{\cpabc}{\cp_M(L_1, L_2, L_3)}

121: \newcommand{\fmk}{F_{D^k}(M, 2)}

122: \newcommand{\fmak}{F_{D^k}(M_1, 2)}

123: \newcommand{\fmbk}{F_{D^k}(M_2, 2)}

124: \newcommand{\sgm}{\cs (G; M)}

125: \newcommand{\mgm}{\cm_\sigma (G; M)}

126: \newcommand{\mgma}{\cm_\sigma (G, M; \vec{a})}

127: \newcommand{\mdgm}{\cm_\delta   (G;M)}

128: \newcommand{\mdgma}{\cm_\delta (G, M; \vec{a})}

129: \newcommand{\va}{\vec{a}}

130: \newcommand{\met}{Map(8,M)}

131: \newcommand{\heq}{H^{S^1}_*(LM)}

132: \newcommand{\G}{\Gamma}

133: \newcommand{\scrb}{\mathcal{B}}

134: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

135: 

136: \newtheorem{thm}{Theorem}[section]

137: \newtheorem{lm}[thm]{Lemma}

138: \newtheorem{prop}[thm]{Proposition}

139: \newtheorem{crl}[thm]{Corollary}

140:  

141: \newtheorem{conj}[thm]{Conjecture}

142: %\newtheorem{quest}[thm]{Question}

143: 

144: \theoremstyle{definition}

145: 

146: \newtheorem{definition}{Definition}[section]

147: \newtheorem{ex}{Example}[section]

148: \newtheorem{xca}{Exercise}

149: 

150: \theoremstyle{remark}

151: 

152: \newtheorem{rem}{Remark}%[section]

153: \newtheorem{ack}{Acknowledgments}

154: \renewcommand{\theack}{}

155: 

156: %\renewcommand{\thesubsection}{\arabic{subsection}}

157: 

158: \newcommand{\abs}[1]{\lvert#1\rvert}

159: %\DeclareMathSymbol{\rtimes}{\mathbin}{AMSb}{"226F}

160: %\newsymbol\rtimes 226F

161: 

162: \includeonly{intro,chapterone,chaptertwo,

163: chapterthree,chapterfour,chapterfive}

164: 

165: \begin{document}

166: 

167: \frontmatter

168: 

169: \title{Notes on String Topology}

170: 

171: \author{Ralph L. Cohen

172: \thanks{Partially supported by a grant from the NSF.}

173: \\

174: %\address{

175: Department of Mathematics\\

176: Stanford University\\

177: Building 380\\

178: Stanford, CA 94305-2125\\

179: %\email

180: \texttt{ralph@math.stanford.edu}

181: %\author{

182: \and Alexander A. Voronov $^1$

183: \\

184: %\address{

185: School of Mathematics\\

186: University of Minnesota\\

187: 206 Church St.\ S.E.\\

188: Minneapolis, MN 55455\\

189: %\email

190: \texttt{voronov@umn.edu}}

191: 

192: \date{March 23, 2005}

193: 

194: %\begin{abstract}

195: %\end{abstract}

196: 

197: \setcounter{page}{5}

198: \maketitle

199: \tableofcontents

200: \thispagestyle{empty}

201: 

202: \mainmatter

203: \include{intro}

204: \include{chapterone}

205: \include{chaptertwo}

206: \include{chapterthree}

207: \include{chapterfour}

208: \include{chapterfive}

209: 

210: 

211: \backmatter

212: %\bibliographystyle{amsalpha}

213: %\bibliography{ralphbiblio,../dennis/op,../grant/nsf}

214: 

215: \providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}

216: \providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }

217: % \MRhref is called by the amsart/book/proc definition of \MR.

218: \providecommand{\MRhref}[2]{%

219:   \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}

220: }

221: \providecommand{\href}[2]{#2}

222: \begin{thebibliography}{EKMM97}

223: 

224: \bibitem[Abr96]{abrams}

225: L.~Abrams, \emph{Two-dimensional topological quantum field theories and

226:   {F}robenius algebras}, J. Knot Theory Ramifications \textbf{5} (1996), no.~5,

227:   569--587. \MR{MR1414088 (97j:81292)}

228: 

229: \bibitem[Ada78]{Ad}

230: J.~F. Adams, \emph{Infinite loop spaces}, Princeton University Press,

231:   Princeton, NJ, 1978.

232: 

233: \bibitem[AS04]{abschwarz}

234: A.~Abbondandolo and M.~Schwarz, \emph{On the {F}loer homology of cotangent

235:   bundles}, Preprint, August 2004, \texttt{math.SG/0408280}.

236: 

237: \bibitem[Ati61]{atiyah}

238: M.~F. Atiyah, \emph{{T}hom complexes}, Proc.\ London Math.\ Soc. \textbf{3}

239:   (1961), no.~11, 291--310.

240: 

241: \bibitem[Ati88]{atiyah:TQFT}

242: M.~Atiyah, \emph{Topological quantum field theories}, Inst. Hautes \'Etudes

243:   Sci. Publ. Math. (1988), no.~68, 175--186 (1989). \MR{MR1001453 (90e:57059)}

244: 

245: \bibitem[BC94]{betzcohen}

246: M.~Betz and R.~L. Cohen, \emph{Moduli spaces of graphs and cohomology

247:   operations}, Turkish Journal of Math. \textbf{18} (1994), 23--41.

248: 

249: \bibitem[BCR04]{baascohenramirez}

250: N.~A. Baas, R.~L. Cohen, and A.~Ramirez, \emph{The topology of the category of

251:   open and closed strings}, Preprint, November 2004, \texttt{math.AT/0411080}.

252: 

253: \bibitem[Beh97]{behrend}

254: K.~Behrend, \emph{Gromov-{W}itten invariants in algebraic geometry}, Invent.

255:   Math. \textbf{127} (1997), no.~3, 601--617, \texttt{alg-geom/9601011}.

256:   \MR{MR1431140 (98i:14015)}

257: 

258: \bibitem[BF86]{bf}

259: D.~Burghelea and Z.~Fiedorowicz, \emph{Cyclic homology and algebraic

260:   {$K$}-theory of spaces. {II}}, Topology \textbf{25} (1986), no.~3, 303--317.

261:   \MR{MR842427 (88i:18009b)}

262: 

263: \bibitem[BG75]{beckgott}

264: J.~C. Becker and D.~Gottlieb, \emph{The transfer maps and fibre bundles},

265:   Topology \textbf{14} (1975), 1--12.

266: 

267: \bibitem[BHM93]{bokhsiangmad}

268: M.~Bokstedt, W.-C. Hsiang, and I.~Madsen, \emph{The cyclotomic trace and

269:   algebraic $k$-theory of spaces}, Invent.\ Math. \textbf{111} (1993),

270:   465--540.

271: 

272: \bibitem[BV73]{boardman-vogt}

273: J.~M. Boardman and R.~M. Vogt, \emph{Homotopy invariant algebraic structures on

274:   topological spaces}, Lecture Notes in Math., vol. 347, Springer-Verlag, 1973.

275: 

276: \bibitem[CG04]{cohen-godin}

277: R.~L. Cohen and V.~Godin, \emph{{A polarized view of string topology}},

278:   Topology, geometry and quantum field theory, London Math. Soc. Lecture Notes,

279:   vol. 308, Cambridge Univ. Press, Cambridge, 2004, \texttt{math.AT/0303003},

280:   pp.~127--154.

281: 

282: \bibitem[Cha01]{chas}

283: M.~Chas, \emph{{Combinatorial Lie bialgebras of curves on surfaces}}, Tech.

284:   report, SUNY at Stony Brook, May 2001, \texttt{math.GT/0105178}. To appear in

285:   Topology.

286: 

287: \bibitem[Cha03]{chataur}

288: D.~Chataur, \emph{{A bordism approach to string topology}}, Preprint, CRM,

289:   Barcelona, 2003, \texttt{arXiv:math.AT/0306080}.

290: 

291: \bibitem[CJ02]{cohen-jones}

292: R.~L. Cohen and J.~D.~S. Jones, \emph{A homotopy theoretic realization of

293:   string topology}, Math. Ann. \textbf{324} (2002), no.~4, 773--798,

294:   \texttt{math.GT/0107187}. \MR{1 942 249}

295: 

296: \bibitem[CJY03]{cohenjonesyan}

297: R.~L. Cohen, J.~D.~S. Jones, and J.~Yan, \emph{The loop homology algebra of

298:   spheres and projective spaces}, Progr. Math., vol. 215, Birkh\"auser, Basel,

299:   2003, pp.~77--92.

300: 

301: \bibitem[CK00]{connes-kreimer}

302: A.~Connes and D.~Kreimer, \emph{Renormalization in quantum field theory and the

303:   {R}iemann-{H}ilbert problem. {I}. {T}he {H}opf algebra structure of graphs

304:   and the main theorem}, Comm. Math. Phys. \textbf{210} (2000), no.~1,

305:   249--273, \texttt{hep-th/9912092}. \MR{2002f:81070}

306: 

307: \bibitem[CKS05]{cohenkleinsull}

308: R.~L. Cohen, J.~Klein, and D.~Sullivan, \emph{On the homotopy invariance of

309:   string topology}, In preparation, March 2005.

310: 

311: \bibitem[CN05]{cohennorbury}

312: R.~L. Cohen and P.~Norbury, \emph{{M}orse field theory}, In preparation, March

313:   2005.

314: 

315: \bibitem[Coh76]{fcohen:disks}

316: F.~R. Cohen, \emph{The homology of {$\mathcal{C}_{n+1}$}-spaces, {$n\ge0$}},

317:   The homology of iterated loop spaces, Lecture Notes in Math., vol. 533,

318:   Springer-Verlag, 1976, pp.~207--351.

319: 

320: \bibitem[Coh04a]{cohenmontreal}

321: R.~L. Cohen, \emph{{Morse theory, graphs, and string topology}}, Preprint,

322:   November 2004, \texttt{math.GT/0411272}. To appear in Proc. SMS/NATO Adv.

323:   study inst. on Morse theoretic methods in nonlinear analysis and symplectic

324:   topology, Kluwer press (2005).

325: 

326: \bibitem[Coh04b]{cohen1}

327: \bysame, \emph{Multiplicative properties of {A}tiyah duality}, Homology,

328:   Homotopy, and its Applications \textbf{6} (2004), no.~1, 269--281.

329: 

330: \bibitem[Coh05]{cohen2}

331: \bysame, \emph{String topology and {M}orse theory on the loop space}, In

332:   preparation, March 2005.

333: 

334: \bibitem[CS99]{chas-sullivan}

335: M.~Chas and D.~Sullivan, \emph{String topology}, Preprint, CUNY, November 1999,

336:   \texttt{math.GT/9911159}. To appear in Ann.\ of Math.

337: 

338: \bibitem[DW90]{dijkgraaf-witten}

339: R.~Dijkgraaf and E.~Witten, \emph{Topological gauge theories and group

340:   cohomology}, Comm. Math. Phys. \textbf{129} (1990), no.~2, 393--429.

341:   \MR{MR1048699 (91g:81133)}

342: 

343: \bibitem[EKMM97]{maygroup}

344: A.~D. Elmendorf, I.~Kriz, M.~A. Mandell, and J.~P. May, \emph{Rings, modules,

345:   and algebras in stable homotopy theory}, Math.\ Surveys and Monographs,

346:   vol.~47, Amer.\ Math.\ Soc., Providence, 1997.

347: 

348: \bibitem[Fie92]{fied-symm}

349: Z.~Fiedorowicz, \emph{The symmetric bar construction}, Preprint, Ohio State

350:   University, 1992, \texttt{http://www.math.ohio-state.edu/\~{}fiedorow/}.

351: 

352: \bibitem[Fie98]{fied-constr}

353: \bysame, \emph{{Constructions of $E_n$ operads}}, Preprint, Ohio State

354:   University, August 1998, \texttt{math.AT/9808089}.

355: 

356: \bibitem[FMT02]{french}

357: Y.~Felix, L.~Menichi, and J.-C. Thomas, \emph{Duality in {G}erstenhaber

358:   algebras}, Preprint, November 2002, \texttt{math.AT/0211229}.

359: 

360: \bibitem[Fuk93]{fukaya}

361: K.~Fukaya, \emph{{M}orse homotopy, $a_\infty$-category, and {F}loer

362:   homologies}, Proc.\ Garc.\ workshop on geometry and topology (Seoul), Lecture

363:   Notes Ser., vol.~18, Seoul National Univ., 1993, pp.~1--102.

364: 

365: \bibitem[Ger68]{gerstenhaber:composition}

366: M.~Gerstenhaber, \emph{On the deformation of rings and algebras. {III}}, Ann.

367:   of Math. (2) \textbf{88} (1968), 1--34. \MR{MR0240167 (39 \#1521)}

368: 

369: \bibitem[Get94]{getzler:BV}

370: E.~Getzler, \emph{{B}atalin-{V}ilkovisky algebras and two-dimensional

371:   topological field theories}, Comm. Math. Phys. \textbf{159} (1994), no.~2,

372:   265--285, \texttt{hep-th/9212043}.

373: 

374: \bibitem[God04]{godin}

375: V.~Godin, Ph.D. thesis, Stanford University, Stanford, CA, 2004.

376: 

377: \bibitem[Gol86]{goldman}

378: W.~M. Goldman, \emph{Invariant functions on {L}ie groups and {H}amiltonian

379:   flows of surface group representations}, Invent. Math. \textbf{85} (1986),

380:   no.~2, 263--302.

381: 

382: \bibitem[Goo85]{goodwillie}

383: T.~Goodwillie, \emph{Cyclic homology, derivations, and the free loop space},

384:   Topology \textbf{24} (1985), 187--215.

385: 

386: \bibitem[Gru05]{gruher}

387: K.~Gruher, Ph.D. thesis, Stanford University. In preparation, March 2005.

388: 

389: \bibitem[Har85]{harer}

390: J.~L. Harer, \emph{Stability of the homology of the mapping class groups of

391:   orientable surfaces}, Ann.\ of Math. \textbf{121} (1985), 215--249.

392: 

393: \bibitem[Har04]{harrelson}

394: E.~Harrelson, \emph{On the homology of open-closed string theory}, Preprint,

395:   December 2004, \texttt{math.AT/0412249}.

396: 

397: \bibitem[HKV01]{hkv}

398: P.~Hu, I.~Kriz, and A.~A. Voronov, \emph{On {K}ontsevich's {H}ochschild

399:   cohomology conjecture}, Preprint, University of Michigan, September 2001,

400:   \texttt{math.AT/0309369}. To appear in Compos.\ Math.

401: 

402: \bibitem[HSS00]{hss}

403: M.~Hovey, B.~Shipley, and J.~Smith, \emph{Symmetric spectra}, J. Amer.\ Math.\

404:   Soc. \textbf{13} (2000), 149--208.

405: 

406: \bibitem[Hu04]{pohu}

407: P.~Hu, \emph{Higher string topology on general spaces}, Preprint, Wayne State

408:   University, January 2004, \texttt{math.AT/0401081}.

409: 

410: \bibitem[Hua97]{huang:book}

411: Y.-Z. Huang, \emph{Two-dimensional conformal geometry and vertex operator

412:   algebras}, Birkh\"auser Boston, Boston, MA, 1997. \MR{98i:17037}

413: 

414: \bibitem[Jon87]{jones}

415: J.~D.~S. Jones, \emph{Cyclic homology and equivariant homology}, Inv. Math.

416:   \textbf{87} (1987), 403--423.

417: 

418: \bibitem[Kle99]{klein2}

419: J.~Klein, \emph{Poincare duality embeddings and fiberwise homotopy theory},

420:   Topology \textbf{38} (1999), 597--620.

421: 

422: \bibitem[Kle03]{klein}

423: \bysame, \emph{Fiber products, {P}oincar\'e duality, and $a_\infty$-ring

424:   specta}, Preprint, June 2003, \texttt{math.AT/0306350}.

425: 

426: \bibitem[Kli82]{kling}

427: W.~Klingenberg, \emph{Riemannian geometry}, Math.\ Surveys and Monographs,

428:   vol.~47, deGruyter, 1982.

429: 

430: \bibitem[KM94]{konm}

431: M.~Kontsevich and Yu.~I Manin, \emph{Gromov-{W}itten classes, quantum

432:   cohomology, and enumerative geometry}, Comm. Math. Phys. \textbf{164} (1994),

433:   525--562, \texttt{hep-th/9402147}.

434: 

435: \bibitem[Kon92]{kon:witten}

436: M.~Kontsevich, \emph{Intersection theory on the moduli space of curves and the

437:   matrix {A}iry function}, Comm. Math. Phys. \textbf{147} (1992), no.~1, 1--23.

438:   \MR{93e:32027}

439: 

440: \bibitem[Kon99]{kon:after}

441: \bysame, \emph{Operads and motives in deformation quantization}, Lett. Math.

442:   Phys. \textbf{48} (1999), 35--72.

443: 

444: \bibitem[KS00]{kon-soib}

445: M.~Kontsevich and Y.~Soibelman, \emph{Deformations of algebras over operads and

446:   the {D}eligne conjecture}, Conf\'erence Mosh\'e Flato 1999, Vol. I (Dijon),

447:   Kluwer Acad. Publ., Dordrecht, 2000, \texttt{math.QA/0001151}, pp.~255--307.

448:   \MR{1 805 894}

449: 

450: \bibitem[KS03]{kallel-salvatore}

451: S.~Kallel and P.~Salvatore, \emph{{Rational maps and string topology}},

452:   Preprint, Universit\'e Lille I, 2003, \texttt{math.AT/0309038}.

453: 

454: \bibitem[KSV96]{ksv2}

455: T.~Kimura, J.~Stasheff, and A.~A. Voronov, \emph{Homology of moduli spaces of

456:   curves and commutative homotopy algebras}, The Gelfand Mathematics Seminars,

457:   1993--1995 (I.~Gelfand, J.~Lepowsky, and M.~M. Smirnov, eds.), Birkh\"{a}user

458:   Boston, 1996, pp.~151--170.

459: 

460: \bibitem[Lal04]{lalonde}

461: F.~Lalonde, \emph{A field theory for symplectic fibrations over surfaces},

462:   Geom. Topol. \textbf{8} (2004), 1189--1226 (electronic),

463:   \texttt{math.SG/0309335}. \MR{MR2087081}

464: 

465: \bibitem[LT98]{li-tian}

466: J.~Li and G.~Tian, \emph{Virtual moduli cycles and {G}romov-{W}itten invariants

467:   of algebraic varieties}, J. Amer. Math. Soc. \textbf{11} (1998), no.~1,

468:   119--174. \MR{MR1467172 (99d:14011)}

469: 

470: \bibitem[Man99]{manin:frob}

471: Y.~I. Manin, \emph{Frobenius manifolds, quantum cohomology, and moduli spaces},

472:   American Mathematical Society Colloquium Publications, vol.~47, American

473:   Mathematical Society, Providence, RI, 1999. \MR{MR1702284 (2001g:53156)}

474: 

475: \bibitem[May96]{may}

476: J.~P. May, \emph{Operads, algebras and modules}, Operads: Proceedings of

477:   Renaissance Conferences (J.-L. Loday, J.~Stasheff, and A.~A. Voronov, eds.),

478:   Amer. Math. Soc., 1996, pp.~?--?

479: 

480: \bibitem[Mer03]{merkulov}

481: S.~A. Merkulov, \emph{{A de Rham model for string topology}}, Preprint,

482:   Stockholm University, 2003, \texttt{arXiv:math.AT/0309038}.

483: 

484: \bibitem[ML65]{maclane}

485: S.~Mac~Lane, \emph{Categorical algebra}, Bull. Amer. Math. Soc. \textbf{71}

486:   (1965), 40--106. \MR{30 \#2053}

487: 

488: \bibitem[MS02]{mcs}

489: J.~E. McClure and J.~H. Smith, \emph{A solution of {D}eligne's {H}ochschild

490:   cohomology conjecture}, Recent progress in homotopy theory (Baltimore, MD,

491:   2000), Amer. Math. Soc., Providence, RI, 2002, \texttt{math.QA/9910126},

492:   pp.~153--193. \MR{1 890 736}

493: 

494: \bibitem[MSS02]{mss}

495: M.~Markl, S.~Shnider, and J.~Stasheff, \emph{Operads in algebra, topology and

496:   physics}, Mathematical Surveys and Monographs, vol.~96, American Mathematical

497:   Society, Providence, RI, 2002. \MR{1 898 414}

498: 

499: \bibitem[MV03]{markl-voronov}

500: M.~Markl and A.~A. Voronov, \emph{{PROPped up graph cohomology}}, Preprint

501:   M/03/47, IHES, Bures-sur-Yvette, France, July 2003, \texttt{math.QA/0307081}.

502:   Submitted to Acta Math.

503: 

504: \bibitem[MW02]{madsen-weiss}

505: I.~Madsen and M.~S. Weiss, \emph{{The stable moduli space of Riemann surfaces:

506:   Mumford's conjecture}}, Preprint, Aarhus University, December 2002,

507:   \texttt{math.AT/0212321}.

508: 

509: \bibitem[Pen87]{penner:CMP}

510: R.~C. Penner, \emph{The decorated {T}eichm\"uller space of punctured surfaces},

511:   Comm. Math. Phys. \textbf{113} (1987), no.~2, 299--339. \MR{89h:32044}

512: 

513: \bibitem[Ram05]{ramirez}

514: A.~Ramirez, Ph.D. thesis, Stanford University. In preparation, March 2005.

515: 

516: \bibitem[Sal01]{salvatore}

517: P.~Salvatore, \emph{Configuration spaces with summable labels}, Cohomological

518:   methods in homotopy theory (Bellaterra, 1998), Progr. Math., vol. 196,

519:   Birkh\"auser, Basel, 2001, \texttt{math.AT/9907073}, pp.~375--395.

520:   \MR{2002f:55039}

521: 

522: \bibitem[Sch93]{schwarz}

523: A.~Schwarz, \emph{Geometry of {B}atalin-{V}ilkovisky quantization}, Comm. Math.

524:   Phys. \textbf{155} (1993), no.~2, 249--260. \MR{MR1230027 (95f:81095)}

525: 

526: \bibitem[Sch05]{schwarzmontreal}

527: M.~Schwarz, Proc.\ SMS/NATO Adv.\ study inst.\ on Morse theoretic methods in

528:   nonlinear analysis and symplectic topology, Kluwer Press, 2005, To appear.

529: 

530: \bibitem[Seg88]{segal:elliptic}

531: G.~Segal, \emph{Elliptic cohomology (after {L}andweber-{S}tong, {O}chanine,

532:   {W}itten, and others)}, Ast\'erisque (1988), no.~161-162, Exp.\ No.\ 695, 4,

533:   187--201 (1989), S\'eminaire Bourbaki, Vol.\ 1987/88. \MR{MR992209

534:   (91b:55005)}

535: 

536: \bibitem[Seg99]{segal:stanford}

537: \bysame, \emph{Topological field theory (`{S}tanford {N}otes')},

538:   \texttt{http://www.cgtp.duke.edu/ITP99/segal/}, 1999.

539: 

540: \bibitem[Seg01]{segal}

541: \bysame, \emph{Topological structures in string theory}, Phil. Trans. R. Soc.

542:   Lond. A \textbf{359} (2001), 1389--1398.

543: 

544: \bibitem[Seg04]{segal:CFT}

545: \bysame, \emph{The definition of conformal field theory}, Topology, geometry

546:   and quantum field theory, London Math. Soc. Lecture Notes, vol. 308,

547:   Cambridge Univ. Press, Cambridge, 2004, pp.~421--577. \MR{MR2079383}

548: 

549: \bibitem[Sta63]{stasheff:HI}

550: J.~Stasheff, \emph{On the homotopy associativity of {H}-spaces, {I}}, Trans.

551:   Amer. Math. Soc. \textbf{108} (1963), 275--292.

552: 

553: \bibitem[Str84]{strebel}

554: K.~Strebel, \emph{Quadratic differentials}, Springer-Verlag, Berlin, 1984.

555: 

556: \bibitem[Sul04]{sullivan:oc}

557: D.~Sullivan, \emph{{Open and closed string field theory interpreted in

558:   classical algebraic topology}}, Topology, geometry and quantum field theory,

559:   London Math. Soc. Lecture Notes, vol. 308, Cambridge Univ. Press, Cambridge,

560:   2004, \texttt{math.QA/0302332}, pp.~344--357.

561: 

562: \bibitem[SV05]{sullivan-voronov}

563: D.~Sullivan and A.~A. Voronov, \emph{Brane topology}, Preprint,

564: University of Minnesota, In preparation, March 2005.

565: 

566: \bibitem[SW03a]{salamonweber}

567: D.~Salamon and J.~Weber, \emph{{Floer homology and the heat flow}}, Preprint,

568:   April 2003, \texttt{math.SG/0304383}.

569: 

570: \bibitem[SW03b]{salvatore-wahl}

571: P.~Salvatore and N.~Wahl, \emph{{Framed discs operads and Batalin-Vilkovisky

572:   algebras}}, Q. J. Math. \textbf{54} (2003), no.~2, 213--231,

573:   \texttt{math.AT/0106242}.

574: 

575: \bibitem[Tam00]{tamarkin:koncon}

576: D.~E. Tamarkin, \emph{Deformation complex of a $d$-algebra is a

577:   $(d+1)$-algebra}, Preprint, Harvard University, October 2000,

578:   {\texttt{math.QA/0010072}}.

579: 

580: \bibitem[Til97]{tillmann}

581: U.~Tillmann, \emph{On the homotopy of the stable mapping class group}, Invent.\

582:   Math. \textbf{130} (1997), no.~2, 257--275.

583: 

584: \bibitem[Vit96]{viterbo}

585: C.~Viterbo, \emph{{Functors and computations in Floer homology with

586:   applications, Part II}}, Preprint, 1996.

587: 

588: \bibitem[Vor01]{me:ua}

589: A.~A. Voronov, \emph{Notes on universal algebra}, Preprint 26/2001, University

590:   of Warwick, December 2001, \texttt{math.QA/0111009}. To appear in Proc.\

591:   Sympos.\ Pure Math.

592: 

593: \bibitem[Web02]{weber}

594: J.~Weber, \emph{{Perturbed closed geodesics are periodic orbits: Index and

595:   transversality}}, Math. Zeit. \textbf{241} (2002), 45--81.

596: 

597: \bibitem[Wit91]{witten:cohft}

598: E.~Witten, \emph{Introduction to cohomological field theories}, Internat. J.

599:   Modern Phys. A \textbf{6} (1991), no.~16, 2775--2792, Topological methods in

600:   quantum field theory (Trieste, 1990). \MR{MR1117747 (92h:58035)}

601: 

602: \bibitem[Wol83]{wolpert}

603: S.~Wolpert, \emph{On the symplectic geometry of deformations of hyperbolic

604:   surfaces}, Ann.\ of Math. \textbf{117} (1983), 207--234.

605: 

606: \end{thebibliography}

607: 

608: \end{document}

609: 

610: \begin{abstract}

611: This paper is an exposition of the new subject of String

612: Topology. We present an introduction to this exciting new area, as

613: well as a survey of some of the latest developments, and our views

614: about future directions of research. We begin with reviewing the

615: seminal paper of Chas and Sullivan, which started String Topology by

616: introducing a BV-algebra structure on the homology of a loop space of

617: a manifold, then discuss the homotopy theoretic approach to String

618: Topology, using the Thom-Pontrjagin construction, the cacti operad,

619: and fat graphs. We review quantum field theories and indicate how

620: string topology fits into the general picture. Other topics include an

621: open-closed version of string topology, a Morse theoretic

622: interpretation, relation to Gromov-Witten invariants, and ``brane''

623: topology, which deals with sphere spaces. The paper is a joint account

624: of the lecture series given by each of us at the 2003 Summer School on

625: String Topology and Hochschild Homology in Almer\'{\i}a, Spain.

626: \end{abstract}

627: