The chain gravity properad introduced earlier by the author acts on the cyclic Hochschild of any cyclic $A_\infty$ algebra equipped with a scalar product of degree $-d$. In particular, it acts on the cyclic Hochschild complex of any Poincare duality algebra of degree $d$, and that action factors through a quotient dg properad $ST_{3-d}$ of ribbon graphs which is in focus of this paper. We show that its cohomology properad $H^\bullet(ST_{3-d})$ is highly non-trivial and that it acts canonically on the reduced equivariant homology $\bar{H}_\bullet^{S^1}(LM)$ of the loop space $LM$ of any simply connected $d$-dimensional closed manifold $M$. By its very construction, the string topology properad $H^\bullet(ST_{3-d})$ comes equipped with a morphism from the gravity properad which is fully determined by the compactly supported cohomology of the moduli spaces $M_{g,n}$ of stable algebraic curves of genus $g$ with marked points. This result gives rise to new universal operations in string topology as well as reproduces in a unified way several known constructions: we show that (i) $H^\bullet(ST_{3-d})$ is also a properad under the properad of involutive Lie bialgebras in degree $3-d$ whose induced action on $\bar{H}_\bullet^{S^1}(LM)$ agrees precisely with the famous purely geometric construction of M. Chas and D. Sullivan, (ii) $H^\bullet(ST_{3-d})$ is a properad under the properad of homotopy involutive Lie bialgebras in degree $2-d$; (iii) E. Getzler's gravity operad injects into $H^\bullet(ST_{3-d})$ implying a purely algebraic counterpart of the geometric construction of C. Westerland establishing an action of the gravity operad on $\bar{H}_\bullet^{S^1}(LM)$.
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.
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…
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.
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 $X$ be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ of the free loop space of $X$ preserves the Hodge decomposition of $\overline{H}_{\ast}^{S^1}(\mathcal{L}X,\mathbb{Q}) $ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture proposed in …
We study the application of IBL-infinity-algebras to string topology and explicitly compute the case of spheres. This involves finding a Green kernel and computing integrals associated to trivalent ribbon graphs, which are similar to integrals from perturbative Chern-Simons theory. We generalize the computation and show that the twisted IBL-infinity-structure in question is in many cases trivial.
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…
