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 apply the theory of directed topology developed by Grandis [9, 10] to the study of stratified spaces by describing several ways in which a stratification or a stratification with orientations on the strata can be used to produce a related directed space structure. This description provides a setting for the constructions of state-sum TQFTs with defects of [5, 8], which we extend to a similar construction of a Dijkgraaf- Witten type TQFT in the case where the defects (lower dimensional strata) are not sources or targets, but sources on one side and targets on the other, according to an orien…
Previously, we showed that most of the open-closed topological quantum field theory (TQFT) string operations vanish including all the higher genus TQFT operations, and we described a small list of genus zero open-closed TQFT string operations which can be nontrivial. In this paper, we consider open-closed string operations associated to open-closed cobordisms homeomorphic to discs. These operations constitute the main part of genus zero string operations, and they include the saddle string operation of two open strings interacting at their internal points. We show not only that disc string ope…
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 give an introduction for the non-expert to TQFT (Topological Quantum Field Theory), focussing especially on its role in algebraic topology. We compare the Atiyah axioms for TQFT with the Eilenberg Steenrod axioms for homology, give a few simple examples of TQFTs, and discuss some other approaches that have been taken to defining TQFT. We then propose a new formulation of TQFT, which is closer in spirit to the way conventional functors of algebraic topology, like homology, are presented. In this approach the fundamental operation of gluing is incorporated through the notion of a *gluing morp…
In this expository paper written for physicists and geometers we introduce the notions of TQFT and of orbifold. Then we survey the construction of TQFT's originating from orbifolds such as Chen-Ruan theory and Orbifold String Topology.
We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs) which we call open-closed TQFTs. These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that have a particular global structure in order to model the smooth topology of open and closed string worldsheets. We show that the category of open-closed TQFTs is equivalent to the category of knowledgeable Frobenius algebras. A knowledgeable Frobenius algebra (A,C,i,i^*) consists of a symmetric Frobenius algebra A, a commutative Frobenius algebra C, and an …
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 describe the relation between the Turaev--Viro TQFT and the string-net space introduced in the papers of Levin and Wen. In particular, the case of surfaces with boundary is considered in detail.
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.
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.
After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second structure, called a {\it quasi} cubical category, formed of arbitrary cubical cospans concatenated by homotopy pushouts. This structure, simpler but weaker, has {\it lax} identities. It contains a similar framework for cobordisms of manifolds with corners and could therefore be the basis to extend the study of TQFT's of Part II to higher cubical degree.
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…
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.
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.
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…
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 …
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 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…
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.
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 …
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 …
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.
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…
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.
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.
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…
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.
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 …
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.
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…
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.
