Closed string operators in topology leading to Lie bialgebras and higher string algebra

String Topology

Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce an (i+j-d+2)-dimensional family. Our purpose is to describe mathematical structure behind such interactions.

Notes on string topology

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…

De Rham model for string topology

A De Rham model for string topology based on the theory of iterated integrals is presented.

Compactifying String Topology

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…

The bv algebra in string topology of classifying spaces

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$.

Chain-Level String Topology Operations

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.

String topology coproduct 与曲面上的 Turaev cobracket

String topology coproduct and Turaev cobracket on surfaces

本文给出高亏格曲面弦拓扑余积的完整算法计算，并证明弦余括号等于 Turaev 余括号的负值。

Analytic Topology of Groups, Actions, Strings and Varietes

This is a paper in Analytic Topology.

On string topology of classifying spaces

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.…

A bordism approach to string topology

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.

Open-Closed String Topology via Fat Graphs

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…

On String Topology of Three Manifolds

Let $M$ be a closed, oriented and smooth manifold of dimension $d$. Let $ŁM$ be the space of smooth loops in $M$. Chas and Sullivan introduced loop product, a product of degree $-d$ on the homology of $LM$. In this paper we show how for three manifolds the ``nontriviality'' of the loop product relates to the ``hyperbolicity'' of the underlying manifold. This is an application of the existing powerful tool and results in three dimensional topology such as the prime decomposition, torus decomposition, Seifert theorem, torus theorem.

弦拓扑中的Cartan微积分

Cartan calculus in string topology

本文研究自由环路空间同调上的Cartan微积分，证明其可由弦拓扑的环路积与环路括号刻画，并验证环路积在Hodge分解下性质良好，丰富了弦拓扑的代数结构研究。

The topology of the category of open and closed strings

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…

A Morse theoretic description of string topology

Let M be a closed, oriented, n-dimensional manifold. In this paper we give a Morse theoretic description of the string topology operations introduced by Chas and Sullivan, and extended by the first author, Jones, Godin, and others. We do this by studying maps from surfaces with cylindrical ends to M, such that on the cylinders, they satisfy the gradient flow equation of a Morse function on the loop space, LM. We then give Morse theoretic descriptions of related constructions, such as the Thom and Euler classes of a vector bundle, as well as the shriek, or unkehr homomorphism.

Morse theory, graphs, and string topology

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 …

Open/Closed String Topology and Moduli Space Actions via Open/Closed Hochschild Actions

In this paper we extend our correlation functions to the open/closed case. This gives rise to actions of an open/closed version of the Sullivan PROP as well as an action of the relevant moduli space. There are several unexpected structures and conditions that arise in this extension which are forced upon us by considering the open sector. For string topology type operations, one cannot just consider graphs, but has to take punctures into account and one has to restrict the underlying Frobenius algebras. In the moduli space, one first has to pass to a smaller moduli space which is closed under …

The homotopy invariance of the string topology loop product and string bracket

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…

String topology for complex projective spaces

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…

Geometry and Topology of String Junctions

We study elliptic fibrations by analyzing suitable deformations of the fibrations and vanishing cycles. We introduce geometric string junctions and describe some of their properties. We show how the structure of the geometric string junctions is naturally related to the Lie algebra structures of the associated singularities. One application in physics is in F-theory, where our novel approach connecting deformations and Lie algebras describes the structure of generalized type IIB seven-branes and string junction states which end on them.

Higher string topology operations

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.

Transverse string topology and the cord algebra

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.

Gauge theory and string topology

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…

Equivariant operads, string topology, and Tate cohomology

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.

A chain level Batalin-Vilkovisky structure in string topology and decorated cacti

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…

Strings, fermions and the topology of curves on annuli

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…

Knot contact homology, string topology, and the cord algebra

The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^3$ is the submanifold of the cotangent bundle $T^* \mathbb{R}^3$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent bundle $S^* \mathbb{R}^3$, one obtains the unit conormal $Λ_K$, and the Legendrian contact homology of $Λ_K$ is a knot invariant of $K$, known as knot contact homology. We define a version of string topology for strings in $\mathbb{R}^3 \cup L_K$ and prove that this is isomorphic in degree 0 to knot contact homology. The string topology perspective gives a top…

Topological Field Theory Interpretation of String Topology

The string bracket introduced by Chas and Sullivan [math.GT/9911159] is reinterpreted from the point of view of topological field theories in the Batalin-Vilkovisky or BRST formalisms. Namely, topological action functionals for gauge fields (generalizing Chern-Simons and BF theories) are considered together with generalized Wilson loops. The latter generate a (Poisson or Gerstenhaber) algebra of functionals with values in the $S^1$-equivariant cohomology of the loop space of the manifold on which the theory is defined. It is proved that, in the case of $GL_n$ with standard representation, the …

A chain level Batalin-Vilkovisky structure in string topology via de Rham chains

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…

Spectral Sequences in String Topology

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…

论弦拓扑余积的不变性

On the invariance of the string topology coproduct

研究弦拓扑余积在同伦等价下不变性失效问题，给出基于同伦数据及“伪对角线”构建阻碍类的奈夫公式变体，此阻碍类可衡量同伦等价有界性，且决定余积到高维环路推广的不变性失效。

The Milnor triple-linking number of string links by cut-and-paste topology

Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots, generalizing the Gauss linking integral. Their techniques were later used to construct real cohomology classes in spaces of knots and links in higher-dimensional Euclidean spaces. In previous work, we constructed cohomology classes in knot spaces with arbitrary coefficients by integrating via a Pontrjagin--Thom construction. We carry out a similar construction over the space of string links, but with a refinement in which configuration spaces are glued together acc…

String Topology for Lie Groups

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…

The Cleavage Operad and String Topology of Higher Dimension

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…

String topology for spheres

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…

Generalized string topology operations

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…

A polarized view of string topology

Let M be a closed, connected manifold, and LM its loop space. In this paper we describe closed string topology operations in h_*(LM), where h_* is a generalized homology theory that supports an orientation of M. We will show that these operations give h_*(LM) the structure of a unital, commutative Frobenius algebra without a counit. Equivalently they describe a positive boundary, two dimensional topological quantum field theory associated to h_*(LM). This implies that there are operations corresponding to any surface with p incoming and q outgoing boundary components, so long as q >0. The abse…

A homotopy theoretic realization of string topology

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…

拉格朗日容量与链级弦拓扑

Lagrangian capacity and chain level string topology

通过有限Gutt-Hutchings容量推导Liouville域的拉格朗日容量上界，证明凸或凹环面域的拉格朗日容量等于其对角线，完全解决了椭球拉格朗日容量的Cieliebak-Mohnke猜想。

Quantum Statistics and Spacetime Topology: Quantum Surgery Formulas

To formulate the universal constraints of quantum statistics data of generic long-range entangled quantum systems, we introduce the geometric-topology surgery theory on spacetime manifolds where quantum systems reside, cutting and gluing the associated quantum amplitudes, specifically in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable of creating anyonic excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particle…

Topology and Flux of T-Dual Manifolds with Circle Actions

We present an explicit formula for the topology and H-flux of the T-dual of a general type II compactification, significantly generalizing earlier results. Our results apply to T-dualities with respect to any circle action on spacetime. As before, T-duality exchanges type IIA and type IIB string theories. A new consequence is that the T-dual spacetime is a singular space when the fixed point set is non-empty; the singularities correspond to Kaluza-Klein monopoles. We propose that the Ramond-Ramond charges of type II string theories on the singular dual are classified by twisted equivariant coh…