In this paper we study the topology of the cobordism category of open and closed strings. This is a 2-category in which the objects are compact one-manifolds whose boundary components are labeled by an indexing set (the set of "D-branes"), the 1-morphisms are cobordisms of manifolds with boundary, and the 2-morphisms are diffeomorphisms of the surface cobordisms. Our methods and techniques are direct generalizations of those used by U. Tillmann in her study of the category of closed strings. We input the striking theorem of Madsen and Weiss regarding the topology of the stable mapping class group to identify the homotopy type of the geometric realization of the category of open and closed strings as an infinite loop space.
We construct a space of string diagrams, which are a type of fatgraph with some additional data, and show that there are string topology operations on the chains of the free loop space of a closed Riemannian manifold which are parameterized by the chains on the space of string diagrams. These operations are shown to recover known structure on homology of the free loop space.
This paper examines the string topology category of a manifold, defined by Blumberg, Cohen and Teleman. Since the string topology category is a subcategory of a compactly generated triangulated category, the machinery of stratification, constructed by Benson, Krause and Iyengar, can be applied in order to gain an understanding of the string topology category. It is shown that an appropriate stratification holds when the manifold in question is a simply connected compact Lie group. This last result is used to derive some properties of the relevant string topology categories.
Using intersection theory in the context of Hilbert manifolds and geometric homology we show how to recover the main operations of string topology built by M. Chas and D. Sullivan. We also study and build an action of the homology of reduced Sullivan's chord diagrams on the singular homology of free loop spaces, extending previous results of R. Cohen and V. Godin and unifying part of the rich algebraic structure of string topology as an algebra over the prop of these reduced diagrams. Some of these operations are extended to spaces of maps from a sphere to a compact manifold.
Given a smooth closed manifold M with a family {L_i} of closed submanifolds, we consider the free loop space LM and the spaces PM(L_i,L_j) of open strings (paths g:[0,1]->M with g(0) in L_i, and g(1) in L_j). We construct string topology operations resulting in an open-closed TQFT on the family (h_*(LM),h_*(PM(L_i,L_j)) which extends the known string topology TQFT on h_*(LM). Here, h_* is a multiplicative generalized homology theory supporting orientations for M and the L_i. To construct the operations, we introduce the notion of open-closed fat graph, generalizing fat graphs to the open-close…
Let M be a closed, oriented, n -manifold, and LM its free loop space. Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively. In this paper we prove that these structures are homotopy invariants in the following sense. Let f : M_1 \to M_2 be a homotopy equivalence of closed, oriented n -manifolds. Then the induced equivalence, Lf : LM_1 \to LM_2 induces a ring isomorphism in homology, and an isomorphism of Lie algebra…
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a complete description of this Batalin-Vilkovisky algebra for complex projective spaces. This builds on a description of the ring structure that is due to Cohen, Jones and Yan. In the course of the proof we establish several new general results. These include a description of how symmetries of a manifold can be used to understand its string topology, and a relationship between characteristic classes and circle actions on s…
This paper is an exposition of the new subject of String Topology. We present an introduction to this exciting new area, as well as a survey of some of the latest developments, and our views about future directions of research. We begin with reviewing the seminal paper of Chas and Sullivan, which started String Topology by introducing a BV-algebra structure on the homology of a loop space of a manifold, then discuss the homotopy theoretic approach to String Topology, using the Thom-Pontrjagin construction, the cacti operad, and fat graphs. We review quantum field theories and indicate how stri…
Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on the homology of LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.
The efficiency of contemporary algebraic topology is not optimal since the category of topological spaces can be made more algebraic by introducing a profoundly new (-1)-dimensional topological space as a topological join unit. Thereby synchronizing the category of topological spaces with the structures within the contemporary category of simplicial complexes as well as with the structures within the algebraic categories. In the category of topological spaces, the empty space Ø has since long been given the role as a join unit - ad-hoc though. Since it is {Ø}, not Ø, that is the join unit with…
Given a principal bundle over a closed manifold, G --> P --> M, let P^{Ad} --> M be the associated adjoint bundle. Gruher and Salvatore showed that the Thom spectrum (P^{Ad})^{-TM} is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the `string topology spectrum of P", S (P). In the universal case when P is contractible, S(P) is equivalent to LM^{-TM} where LM is the free loop space of the manifold. This ring spectrum was introduced by the authors as a homotopy theoretic realization of the Chas-Sullivan string…
To open-closed cobordism surfaces, open-closed string topology associates topological quantum field theory (TQFT) operations, namely string operations, which depend only on homeomorphism types of surfaces and which satisfy the sewing property. We show that most TQFT string operations vanish in open-closed string topology. We describe those open-closed cobordisms with vanishing string operations, and give a short list of open-closed cobordisms with possibly nontrivial string operations.
From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bracket.
We show that a model of chain complex of the free loop space of a $C^\infty$-manifold, which is proposed in arxiv:1404.0153, admits an action of a certain dg operad. This is a chain level structure under the Chas-Sullivan BV structure on loop space homology. Our dg operad is a variant of the cacti operad, and we introduce combinatorial objects called "decorated cacti" to define it. We also define a chain level Gerstenhaber structure on Hochschild cochains of any differential graded algebra. Applied to the dga of differential forms, this structure is compatible with our chain level structure in…
We give a new proof of the string topology structure of a compact oriented surface of genus g greater than or equal to 2, using elementary algebraic topology. This reproves the result of Vaintrob.
In these lecture notes we discuss a body of work in which Morse theory is used to construct various homology and cohomology operations. In the classical setting of algebraic topology this is done by constructing a moduli space of graph flows, using homotopy theoretic methods to construct a virtual fundamental class, and evaluating cohomology classes on this fundamental class. By using similar constructions based on "fat" or ribbon graphs, we describe how to construct string topology operations on the loop space of a manifold, using Morse theoretic techniques. Finally, we discuss how to relate …
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the higher-dimensional diagrams one draws to represent these structures can be taken quite literally as pieces of topology. Examples of this are the braids in a braided monoidal category, and the pentagon which appears in the definitions of both monoidal category and A_infinity space. I will try to give a Friday-afternoonish description of some of the dreams peo…
The aim of this paper is to define a chain level refinement of the Batalin-Vilkovisky (BV) algebra structure on the homology of the free loop space of a closed, oriented $C^\infty$-manifold. For this purpose, we define a (nonsymmetric) cyclic dg operad which consists of "de Rham chains" of free loops with marked points. A notion of de Rham chains, which is a certain hybrid of the notions of singular chains and differential forms, is a key ingredient in our construction. Combined with a generalization of cyclic Deligne's conjecture, this dg operad produces a chain model of the free loop space w…
In this paper, we investigate the behaviour of the Serre spectral sequence with respect to the algebraic structures of string topology in generalized homology theories, specificially with the Chas-Sullivan product and the corresponding coproduct and module structures. We prove compatibility for two kinds of fibre bundles: the fibre bundle $Ω^n M \to L^n M \to M$ for an $h_*$-oriented manifold $M$ and the looped fibre bundle $L^n F \to L^n E \to L^n B$ of a fibre bunde $F \to E \to B$ of $h_*$-oriented manifolds. Our method lies in the construction of Gysin morphisms of spectral sequences. We a…
We want to investigate 'spaces' where paths have a 'weight', or 'cost', expressing length, duration, price, energy, etc. The weight function is not assumed to be invariant up to path-reversion. Thus, 'weighted algebraic topology' can be developed as an enriched version of directed algebraic topology, where illicit paths are penalised with an infinite cost, and the licit ones are measured. Its algebraic counterpart will be 'weighted algebraic structures', equipped with a sort of directed seminorm. In the fundamental weighted category of a generalised metric space, introduced here, each homotopy…
A chain complex model for the free loop space of a connected, closed and oriented manifold is presented, and on its homology, the Gerstenhaber and Batalin-Vilkovisky algebra structures are defined and identified with the string topology structures. The gravity algebra on the equivariant homology of the free loop space is also modeled. The construction includes non simply-connected case, and therefore gives an algebraic and chain level model of Chas-Sullivan's String Topology.
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a direct description of this Batalin-Vilkovisky algebra in the case that the manifold is a compact Lie group G. Our answer is phrased in terms of the homology of G, the homology of the space of based loops on G, and the homology suspension. The result is applied to compute the Batalin-Vilkovisky algebra associated to the special orthogonal groups SO(n) with coefficients in the rational numbers and in the integers modulo tw…
We define a coalgebra structure for open strings transverse to any framed codimension 2 submanifold. When the submanifold is a knot in R^3, we show this structure recovers a specialization of the Ng cord algebra, a non-trivial knot invariant which is not determined by a number of other knot invariants.
We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a specific description of the covers in the canonical topology and a homotopical analog. Lastly, we explore the covers in the homotopical analog by obtaining some examples.
In previous work with Schoenfeld, we considered a string-type chain complex of curves on surfaces, with differential given by resolving crossings, and computed the homology of this complex for discs. In this paper we consider the corresponding "string homology" of annuli. We find this homology has a rich algebraic structure which can be described, in various senses, as fermionic. While for discs we found an isomorphism between string homology and the sutured Floer homology of a related 3-manifold, in the case of annuli we find the relationship is more complex, with string homology containing f…
For a manifold N embedded inside euclidean space R^{n+1}, we produce a coloured operad that acts on the space of maps from N to M, where M is a compact, oriented, smooth manifold. For N the unit sphere, we indicate how this gives homological actions, generalizing the action of the Cacti operad and retrieving the Chas-Sullivan product by taking N to be the unit-circle in R^2. We go on to show that for S^n the unit sphere in R^{n+1}, the operad constructed is a coloured E_{n+1}-operad. This E_{n+1}-structure is finally twisted by SO(n+1) to homologically give actions of the framed little (n+1)-d…
We extend the structure of string topology from mapping spaces to embedding spaces $Emb(S^n,M)$. This extension comes from an action of the cleavage operad, a coloured $E_{n+1}$-operad. For all values of $n \in \mathbb{N}$, this gives an action of certain Thom spectra that provides an action on the level homology. We provide an analysis of the string topology structure derived from the embedding $Emb(S^n,M) \hookrightarrow Map(S^n,M)$. In the $1$-dimensional case it specializes a morphism of BV-algebras $\mathbb{H}_*(Emb(S^1,M)) \to \mathbb{H}_*(Map(S^1,M)$.
We study the string topology of a closed oriented Riemannian manifold M. We describe a compact moduli space of diagrams, and show how the cellular chain complex of this space gives algebraic operations on the singular chains of the free loop space LM of M. These operations are well-defined on the homology of a quotient of this moduli space, which has the homotopy type of a compactification of the moduli space of Riemann surfaces. In particular, our action of the 0-dimensional homology of the quotient space on the homology of the free loop space of M recovers the Cohen-Godin positive boundary T…
Examples of non-trivial higher string topology operations have been regrettably rare in the literature. In this paper, working in the context of string topology of classifying spaces, we provide explicit calculations of a wealth of non-trivial higher string topology operations associated to a number of different Lie groups. As an application of these calculations, we obtain an abundance of interesting homology classes in the twisted homology groups of automorphism groups of free groups, the ordinary homology groups of holomorphs of free groups, and the ordinary homology groups of affine groups…
We use the computational power of rational homotopy theory to provide an explicit cochain model for the loop product and the string bracket of a 1-connected closed manifold M. We prove that the loop homology of M is isomorphic to the Hochschild cohomology of the commutative graded algebra A_{PL}(M) with coefficients in itself. Some explicit computations of the loop product and the string bracket are given.
Luc Menichi showed that the BV algebras on $H^\bullet(LS^2;Z_2)[-2]$ coming from string topology and the one on $HH^\bullet(H^\bullet(S^2;Z_2),H^\bullet(S^2;Z_2))$ using Poincaré duality on $H^\bullet(S^2;Z_2)$ are not isomorphic. In this note we show how one can obtain the string topology BV algebra on Hochschild cohomology using a Poincaré duality structure with higher homotopies. This Poincaré duality (with higher homotopies) on cohomology is induced by a local Poincaré duality (with higher homotopies) on the cochain level.
We construct an equivalence of $E_{2}$ algebras between two models for the Thom spectrum of the free loop space that are related by derived Koszul duality. To do this, we describe the functoriality and invariance properties of topological Hochschild cohomology.
For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over $\mathbb{F}\_2$, such isomorphism of Batalin-Vilkovisky algebrasdoes not hold when $G=SO(3)$ or $G=G\_2$.
Let M be a connected, simply connected, closed and oriented manifold, and G a finite group acting on M by orientation preserving diffeomorphisms. In this paper we show an explicit ring isomorphism between the orbifold string topology of the orbifold [M/G] and the Hochschild cohomology of the dg-ring obtained by performing the smash product between the group G and the singular cochain complex of M.
This note explores the interaction between cohomology operations in a generalized cohomology theory and a string topology loop coproduct dual to the Chas--Sullivan loop product. More precisely, we ask for a description for the failure of a given operation to commute with the loop coproduct, and will obtain a satisfactory answer in the case where the operation preserves both sums and products. Examples of such operations include the total Steenrod square in ordinary mod 2 cohomology and the Adams operations in K-theory.
Following Cieliebak, Fukaya, Latschev and Volkov, we construct an IBL-infinity chain model for equivariant string topology on cyclic Hochschild cochains of de Rham cohomology. We study its properties and perform explicit computations.
In this paper we prove that for an almost complex orbifold, its virtual orbifold cohomology [math.AT/0606573] is isomorphic as algebras to the Chen-Ruan orbifold cohomology of its cotangent orbifold.
Let G be a compact Lie group. By work of Chataur and Menichi, the homology of the space of free loops in the classifying space of G is known to be the value on the circle in a homological conformal field theory. This means in particular that it admits operations parameterized by homology classes of classifying spaces of diffeomorphism groups of surfaces. Here we present a radical extension of this result, giving a new construction in which diffeomorphisms are replaced with homotopy equivalences, and surfaces with boundary are replaced with arbitrary spaces homotopy equivalent to finite graphs.…
This paper is a continuations of the project initiated in the book string topology for stacks. We construct string operations on the SO(2)-equivariant homology of the (free) loop space $L(X)$ of an oriented differentiable stack $X$ and show that $H^{SO(2)}_{*+dim(X) -2}(L(X))$ is a graded Lie algebra. In the particular case where $X$ is a 2-dimensional orbifold we give a Goldman-type description for the string bracket. To prove these results, we develop a machinery of (weak) group actions on topological stacks which should be of independent interest. We explicitly construct the quotient stack …
In this paper we study the string topology (á la Chas-Sullivan) of an orbifold. We define the string homology ring product at the level of the free loop space of the classifying space of an orbifold. We study its properties (introducing an operad to do so) and do some explicit calculations.
The purpose of this paper is to describe a general and simple setting for defining $(g,p+q)$-string operations on a Poincaré duality space and more generally on a Gorenstein space. Gorenstein spaces include Poincaré duality spaces as well as classifying spaces or homotopy quotients of connected Lie groups. Our presentation implies directly the homotopy invariance of each $(g,p+q)$-string operation as well as it leads to explicit computations.
$A_\infty$ categories are a mathematical structure that appears in topological field theory, string topology, and symplectic topology. This paper studies the cyclic homology of a Calabi-Yau $A_\infty$ category, and shows that it is naturally an equivariant topological conformal field theory, and in particular, contains an involutive Lie bialgebra. Applications of the theory to string topology and the Fukaya category are given; in particular, it is shown that there is a Lie bialgebra homomorphism from the cyclic cohomology of the Fukaya category of a symplectic manifold with contact type bounda…
In this paper we establish the existence of certain structures on the ordinary and equivariant homology of the free loop space on a manifold or, more generally, a formal Poincaré duality space. These structures; namely the loop product, the loop bracket and the string bracket, were introduced and studied by Chas and Sullivan under the general heading `string topology'. Our method is based on obstruction theory for $C_\infty$-algebras and rational homotopy theory. The resulting string topology operations are manifestly homotopy invariant.
We study string topology for classifying spaces of connected compact Lie groups, drawing connections with Hochschild cohomology and equivariant homotopy theory. First, for a compact Lie group $G$, we show that the string topology prospectrum $LBG^{-TBG}$ is equivalent to the homotopy fixed-point prospectrum for the conjugation action of $G$ on itself, $G^{hG}$. Dually, we identify $LBG^{-ad}$ with the homotopy orbit spectrum $(DG)_{hG}$, and study ring and co-ring structures on these spectra. Finally, we show that in homology, these products may be identified with the Gerstenhaber cup product …
For M a closed, connected, oriented manifold, we obtain the Batalin-Vilkovisky (BV) algebra of its string topology through homotopy-theoretic constructions on its based loop space. In particular, we show that the Hochschild cohomology of the chain algebra C_*ΩM carries a BV algebra structure isomorphic to that of the loop homology $\mathbb{H}_*(LM)$. Furthermore, this BV algebra structure is compatible with the usual cup product and Gerstenhaber bracket on Hochschild cohomology. To produce this isomorphism, we use a derived form of Poincaré duality with C_*ΩM-modules as local coefficient syste…
In 1999 Chas and Sullivan discovered that the homology H_*(LX) of the space of free loops on a closed oriented smooth manifold X has a rich algebraic structure called string topology. They proved that H_*(LX) is naturally a Batalin-Vilkovisky (BV) algebra. There are several conjectures connecting the string topology BV algebra with algebraic structures on the Hochschild cohomology of algebras related to the manifold X, but none of them has been verified for manifolds of dimension n>1. In this work we study string topology in the case when X is aspherical (i.e. its homotopy groups π_i(X) vanish…
A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2, 3 and 4.
