Hostname: page-component-77c89778f8-9q27g Total loading time: 0 Render date: 2024-07-17T09:27:05.357Z Has data issue: false hasContentIssue false

HIGHER STRING TOPOLOGY ON GENERAL SPACES

Published online by Cambridge University Press:  07 August 2006

PO HU
Affiliation:
Department of Mathematics, Wayne State University, Detroit, MI 48202, USA
Get access

Abstract

In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan, and of Cohen and Jones. For a finite simplicial complex $X$ and $k \geq 1$, I construct a spectrum $Maps(S^k, X)^{S(X)}$, which is obtained by taking a generalization of the Spivak bundle on $X$ (which however is not a stable sphere bundle unless $X$ is a Poincaré space), pulling back to $Maps(S^k, X)$ and quotienting out the section at infinity. I show that the corresponding chain complex is naturally homotopy equivalent to an algebra over the $(k + 1)$-dimensional unframed little disk operad $\mathcal{C}_{k + 1}$. I also prove a conjecture of Kontsevich, which states that the Quillen cohomology of a based $\mathcal{C}_k$-algebra (in the category of chain complexes) is equivalent to a shift of its Hochschild cohomology, as well as prove that the operad $C_{\ast}\mathcal{C}_k$ is Koszul-dual to itself up to a shift in the derived category. This gives one a natural notion of (derived) Koszul dual $C_{\ast}\mathcal{C}_k$-algebras. I show that the cochain complex of $X$ and the chain complex of $\Omega^k X$ are Koszul dual to each other as $C_{\ast}\mathcal{C}_k$-algebras, and that the chain complex of $Maps(S^k, X)^{S(X)}$ is naturally equivalent to their (equivalent) Hochschild cohomology in the category of $C_{\ast}\mathcal{C}_k$-algebras.

Type
Research Article
Copyright
2006 London Mathematical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)