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.
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.
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.
Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the gauge group and of the space of (irreducible) connections modulo gauge transformations for any such bundle.
Félix and Thomas developed string topology of Chas and Sullivan on simply-connected Gorenstein spaces. In this paper, we prove that the degree shifted homology of the free loop space of a simply-connected ${\mathbb Q}$-Gorenstein space with rational coefficient is a non-unital and non-counital Frobenius algebra by solving the up to constant problem. We also investigate triviality or non-triviality of the loop product and coproduct of particular Gorenstein spaces.
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.
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)$.
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…
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.
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.
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 …
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.
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…
The generalized string topology construction of Gruher and Salvatore assigns to any bundle of $E_n$-algebras $A$ over a closed oriented manifold $M$ a collection of intersection-type operations on the homology of the total space. These operations are realized by an $H_n$-ring structure on the Thom spectrum $A^{-TM}$ under the Thom isomorphism. We rigidify and extend this construction to a functor connecting the homotopy theory of spaces and spectra parametrized by $M$ to the homotopy theory of module spectra over the Atiyah-Milnor-Spanier-Whitehead dual $M^{-TM} \simeq \bbD M$. Then, using an …
The loop product is an operation in string topology. Cohen and Jones gave a homotopy theoretic realization of the loop product as a classical ring spectrum $LM^{-TM}$ for a manifold $M$. Using this, they presented a proof of the statement that the loop product is isomorphic to the Gerstenhaber cup product on the Hochschild cohomology $HH^*(C^*(M)\,;C^*(M))$ for simply connected $M$. However, some parts of their proof are technically difficult to justify. The main aim of the present paper is to give detailed modification to a geometric part of their proof. To do so, we set up an "up to higher h…
We develop a variant of calculus of functors, and use it to relate the gauge group G(P) of a principal bundle P over M to the Thom ring spectrum (P^Ad)^{-TM}. If P has contractible total space, the resulting Thom ring spectrum is LM^{-TM}, which plays a central role in string topology. R.L. Cohen and J.D.S. Jones have recently observed that, in a certain sense, (P^Ad)^{-TM} is the linear approximation of G(P). We prove an extension of that relationship by demonstrating the existence of higher-order approximations and calculating them explicitly. This also generalizes calculations done by G. Ar…
Let $M$ be a connected, closed oriented manifold. Let $ω\in H^m(M)$ be its orientation class. Let $χ(M)$ be its Euler characteristic. Consider the free loop fibration $ΩM\buildrel{i}\over\hookrightarrow LM\buildrel{ev}\over\twoheadrightarrow M$. For any class $a\in H^*(LM)$ of positive degree, we prove that the cup product $χ(M)a\cup ev^*(ω)$ is null. In particular, if $i^*:H^*(LM;\mathbb{F}_p)\twoheadrightarrow H^*(ΩM;\mathbb{F}_p)$ is onto then $χ(M)$ is divisible by $p$ (or $M$ is a point).
In this manuscript, we consider cobordism operations in the $2$-dimensional labeled open-closed topological quantum field theory for the classifying space of a connected compact Lie group in the sense of Guldberg. In particular, it is proved that the whistle cobordism operation is non-trivial in general provided the labels are in the set of maximal closed subgroups of the given Lie group. The non-triviality of cobordism operations induced by gluing the whistle with the opposite and other labeled cobordisms is also discussed.
Let G be a compact Lie group. Let E be a principal G-bundle over a closed manifold M, and Ad(E) its adjoint bundle. In this paper we describe a new Frobenius algebra structure on h_*(Ad(E)), where h_* is an appropriate generalized homology theory. Recall that a Frobenius algebra has both a product and a coproduct. The product in this new Frobenius algebra is induced by the string topology product. In particular, the product can be defined when G is any topological group and in the case that E is contractible it is precisely the Chas-Sullivan string product on H_*(LM). We will show that the cop…
The free loop space of a Lie group is homeomorphic to the product of the Lie group itself and its based loop space. We show that the coproduct on the homology of the free loop space that was introduced by Goresky and Hingston splits into the diagonal map on the group and a based coproduct on the homology of the based loop space. This result implies that the coproduct is trivial for even-dimensional Lie groups. Using results by Bott and Samelson, we show that the coproduct is trivial as well for a large family of simply connected Lie groups.
The purpose of this paper is to give applications of the Eilenberg-Moore type spectral sequence converging to the relative loop homology algebra of a Gorenstein space, which is introduced in the previous paper due to the authors. Moreover, it is proved that the spectral sequence is functorial on the category of simply-connected Poincaré duality spaces over a space.
Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result regarding $R$-line bundles previously proven by the authors. The main application is the calculation of the homotopy type of $BGL_n(End ((L))$ where $L \to X$ is any $R$-line bundle, and $End (L)$ is the ring spectrum of endomorphisms. In the case when such a bundle is the fiberwise suspension spectrum of a principal bundle over a manifold, $G \to P \to M$, this…
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.
We show that in closed string topology and in open-closed string topology with one $D$-brane, higher genus stable string operations are trivial. This is a consequence of Harer's stability theorem and related stability results on the homology of mapping class groups of surfaces with boundaries. In fact, this vanishing result is a special case of a general result which applies to all homological conformal field theories with a property that in the associated topological quantum field theories, the string operations associated to genus one cobordisms with one or two boundaries vanish. In closed s…
Cohen and Godin constructed positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating a certain operations called string operations to orientable surfaces with parametrized boundaries. We show that all TQFT string operations associated to surfaces of genus at least one vanish identically. This is a simple consequence of properties of the loop coproduct which will be discussed in detail. One interesting property is that the loop coproduct is nontrivial only on the degree $d$ homology group of the co…
We apply a version of the Chas-Sullivan-Cohen-Jones product on the higher loop homology of a manifold in order to compute the homology of the spaces of continuous and holomorphic maps of the Riemann sphere into a complex projective space. This product makes sense on the homology of maps from a co-H space to a manifold, and comes from a ring spectrum. We also build a holomorphic version of the product for maps of the Riemann sphere into homogeneous spaces. In the continuous case we define a related module structure on the homology of maps from a mapping cone into a manifold, and then describe a…
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…
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 $C_\infty$ coalgebra $C_*$, a strict dg Hopf algebra $H_*$, and a twisting cochain $τ:C_* \rightarrow H_*$ such that $Im(τ) \subset Prim(H_*)$, we describe a procedure for obtaining an $A_\infty$ coalgebra on $C_* \otimes H_*$. This is an extension of Brown's work on twisted tensor products. We apply this procedure to obtain an $A_\infty$ coalgebra model of the chains on the free loop space $LM$ based on the $C_\infty$ coalgebra structure of $H_*(M)$ induced by the diagonal map $M \rightarrow M \times M$ and the Hopf algebra model of the based loop space given by $T(H_*(M)[-1])$. When …
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…
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.
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.
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.
Arone and the second author showed that when the dimensions are in the stable range, the rational homology and homotopy of the high dimensional anologues of spaces of long knots can be calculated as the homology of a direct sum of finite graph-complexes that they described explicitly. They also showed that these homology and homotopy groups can be interpreted as the higher order Hochschild homology also called Hochschild-Pirashvili homology. In this paper, we generalize all these results to high dimensional analogues of spaces of string links. The methods of our paper are applicable in the ran…
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.
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 gr…
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 …
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)}$, and 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 Kontsevich's conjecture 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 …
Let $M$ be any simply-connected Gorenstein space over any field. Félix and Thomas have extended to simply-connected Gorenstein spaces, the loop (co)products of Chas and Sullivan on the homology of the free loop space $H_*(LM)$. We describe these loop (co)products in terms of the torsion and extension functors by developing string topology in appropriate derived categories. As a consequence, we show that the Eilenberg-Moore spectral sequence converging to the loop homology of a Gorenstein space admits a multiplication and a comultiplication with shifted degree which are compatible with the loop…
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 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 …
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…
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.
Chas and Sullivan showed that the homology of the free loop space LM of an oriented closed smooth finite dimensional manifold M admits the structure of a Batalin-Vilkovisky (BV) algebra equipped with an associative product called the loop product and a Lie bracket called the loop bracket. We show that the cap product is compatible with the above two products in the loop homology. Namely, the cap product with cohomology classes coming from M via the circle action acts as derivations on loop products as well as on loop brackets. We show that Poisson identities and Jacobi identities hold for the …
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.
We show that the reduced Hochschild homology of a DG open Frobenius algebra has the natural structure of a Batalin-Vilkovisky coalgebra, and the reduced cyclic homology has the natural structure of a gravity coalgebra. This gives an algebraic model for a Batalin-Vilkovisky coalgebra structure on the reduced homology of the free loop space of a simply connected closed oriented manifold, and a gravity coalgebra structure on the reduced equivariant homology.