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.
In \cite{baker-ozel}, by using Fredholm index we developed a version of Quillen's geometric cobordism theory for infinite dimensional Hilbert manifolds. This cobordism theory has a graded group structure under topological union operation and has push-forward maps for complex orientable Fredholm maps. In \cite{cenap-isr}, by using Quinn's Transversality Theorem \cite{Quinn}, it has been shown that this cobordism theory has a graded ring structure under transversal intersection operation and has pull-back maps for smooth maps. It has been shown that the Thom isomorphism in this theory was satisf…
Let $M$ be a 1-connected closed manifold and $LM$ be the space of free loops on $M$. In \cite{C-S} M. Chas and D. Sullivan defined a structure of BV-algebra on the singular homology of $LM$, $H_\ast(LM; \bk)$. When the field of coefficients is of characteristic zero, we prove that there exists a BV-algebra structure on $\hH^\ast(C^\ast (M); C^\ast (M))$ which carries the canonical structure of Gerstenhaber algebra. We construct then an isomorphism of BV-algebras between $\hH^\ast (C^\ast (M); C^\ast (M)) $ and the shifted $ H_{\ast+m} (LM; {\bk})$. We also prove that the Chas-Sullivan product …
Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the $S^1$ equivariant homology $H_*^{S^1}(LM)$. These algebraic structures, as well as others, came under the general heading of the "string topology" of $M$. In this paper we will describe a realization of the Chas - Sullivan loop product in terms of a ring spectrum st…
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.
We show the Chas-Sullivan product (on the homology of the free loop space of a Riemannian manifold) is related to the Morse index of its closed geodesics. We construct related products in the cohomology of the free loop space and of the based loop space, and show they are nontrivial.
Let M be a closed Riemannian manifold. We extend the product of Goresky-Hingston, on the cohomology of the free loop space of M relative to the constant loops, to a nonrelative product. It is graded associative and commutative, and compatible with the length filtration on the loop space, like the original product. We prove the following new geometric property of the dual homology coproduct: the nonvanishing of the k-th iterate of the coproduct on a homology class ensures the existence of a loop with a (k+1)-fold self-intersection in every representative of the class. For spheres and projective…
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.
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.
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.
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 introduces new operations on the string topology of a smooth manifold: gravitational descendants of its cotangent bundle, which are augmentations of the Chas-Sullivan $L_\infty$ algebra structure of the loop space. The definition extends to Liouville domains. Descendants of the $n$-torus are computed. To a monotone Lagrangian torus in a symplectic manifold, one associates a Laurent polynomial called the Landau-Ginzburg potential, by counting holomorphic disks. This paper proves the following mirror symmetry prediction: the constant terms of the powers of an LG potential are equal to…
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.
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…
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…
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 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 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…
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…
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.
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 …
Let $M$ be a compact oriented $d$-dimensional smooth manifold. Chas and Sullivan have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM)$. Extending work of Cohen, Jones and Yan, we compute this Batalin-Vilkovisky algebra structure when $M$ is a sphere $S^d$, $d\geq 1$. In particular, we show that $\mathbb{H}_*(LS^2;\mathbb{F}_2)$ and the Hochschild cohomology $HH^{*}(H^*(S^2);H^*(S^2))$ are surprisingly not isomorphic as Batalin-Vilkovisky algebras, although we prove that, as expected, the underlying Gerstenhaber algebras are isomorphic. The proof requires the knowledge of…
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…
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…
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…
Let G be a Poincare duality group of dimension n. For a given element g in G, let C_g denote its centralizer subgroup. Let L_G be the graded abelian group defined by (L_G)_p = oplus_{[g]}H_{p+n}(C_g) where the sum is taken over conjugacy classes of elements in G. In this paper we construct a multiplication on L_G directly in terms of intersection products on the centralizers. This multiplication makes L_G a graded, associative, commutative algebra. When G is the fundamental group of an aspherical, closed oriented n manifold M, then (L_G)_* = H_{*+n}(LM), where LM is the free loop space of M. W…
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…
Let $M$ be a path-connected closed oriented $d$-dimensional smooth manifold and let ${\Bbbk}$ be a principal ideal domain. By Chas and Sullivan, the shifted free loop space homology of $M$, $H_{*+d}(LM)$ is a Batalin-Vilkovisky algebra. Let $G$ be a topological group such that $M$ is a classifying space of $G$. Denote by $S_*(G)$ the (normalized) singular chains on $G$. Suppose that $G$ is discrete or path-connected. We show that there is a Van Den Bergh type isomorphism $$ HH^{-p}(S_*(G),S_*(G))\cong HH_{p+d}(S_*(G),S_*(G)). $$ Therefore, the Gerstenhaber algebra $HH^{*}(S_*(G),S_*(G))$ is 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…
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…
Given a closed manifold $M$. We give an algebraic model for the Chas-Sullivan product and the Goresky-Hingston coproduct. In the simply-connected case, this admits a particularly nice description in terms of a Poincaré duality model of the manifold, and involves the configuration space of two points on $M$. We moreover, construct an $IBL_\infty$-structure on (a model of) cyclic chains on the cochain algebra of $M$, such that the natural comparison map to the $S^1$-equivariant loop space homology intertwines the Lie bialgebra structure on homology. The construction of the coproduct/cobracket de…
We show that the Chas-Sullivan loop product, a combination of the Pontrjagin product on the fiber and intersection product on the base, makes sense on the total space homology of any fiberwise monoid E over a closed oriented manifold M. More generally the Thom spectrum E^{-TM} is a ring spectrum. Similarly a fiberwise module over E defines a module over E^{-TM}. Fiberwise monoids include adjoint bundles of principal bundles, and the construction is natural with respect to maps of principal bundles. This naturality implies homotopy invariance of the algebra structure on H_*(LM) arising from the…
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…
In his Inventiones paper, Ziller (Invent. Math: 1-22, 1977) computed the integral homology as a graded abelian group of the free loop space of compact, globally symmetric spaces of rank 1. Chas and Sullivan (String Topology, 1999)showed that the homology of the free loop space of a compact closed orientable manifold can be equipped with a loop product and a BV-operator making it a Batalin-Vilkovisky algebra. Cohen, Jones and Yan (The loop homology algebra of spheres and projective spaces, 2004) developed a spectral sequence which converges to the loop homology as a spectral sequence of algebra…
In this paper, we import the theory of "Calabi-Yau" algebras and categories from symplectic topology and topological field theories to the setting of spectra in stable homotopy theory. Twistings in this theory will be particularly important. There will be two types of Calabi-Yau structures in the setting of ring spectra: one that applies to compact algebras and one that applies to smooth algebras. The main application of twisted compact Calabi-Yau ring spectra that we will study is to describe, prove, and explain a certain duality phenomenon in string topology. This is a duality between the ma…