Related papers: Homotopy BV-algebra structure on the double cobar …

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…

We prove an orbifold conjecture for a solvable automorphism group. Namely, we show that if V is a C_2-cofinite simple vertex operator algebra and G is a finite solvable automorphism group of V, then the fixed point vertex operator…

The goal of this paper is to set up an obstruction theory in the context of algebras over an operad and in the framework of differential graded modules over a field. Precisely, the problem we consider is the following: Suppose given two…

There are two main approaches to the problem of realizing a $\Pi$-algebra (a graded group $\Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an…

We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$\Delta$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other…

We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…

We prove that Hochschild cohomology with coefficients in $A^*=\Hom_k(A,k)$ under conditions on the algebra structure of $A^*$ is a Batalin-Vilkovisky algebra. We also show that for symmetric and Frobenius algebras, this recovers the known…

In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(\Omega\Sigma X; \coefZ)$ is a Hopf algebra. We introduce a new homotopy…

The space of E-infinity structures on an simplicial operad C is the limit of a tower of fibrations, so its homotopy is the abutment of a Bousfield-Kan fringed spectral sequence. The spectral sequence begins (under mild restrictions) with…

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…

We define a BV-structure on the Hochschild-cohomology of a unital, associative algebra A with a symmetric, invariant and non-degenerate inner product. The induced Gerstenhaber algebra is the one described in Gerstenhaber's original paper on…

Let $A$, $A'$ be separable $C^*$-algebras, $B$ a stable $\sigma$-unital $C^*$-algebra. Our main result is the construction of the pairing $[[A',A]]\times\operatorname{Ext}^{-1/2}(A,B)\to\operatorname{Ext}^{-1/2}(A',B)$, where $[[A',A]]$…

Let $A$ be a separable $C^*$-algebra and $B$ a stable $C^*$-algebra containing a strictly positive element. We show that the group $\Ext(SA,B)$ of unitary equivalence classes of extensions of $SA$ by $B$, modulo the extensions which are…

We show that the cobar construction of a DG-bialgebra is a homotopy G-algebra. This implies that the bar construction of this cobar is a DG-bialgebra as well.

We introduce the notion of an $L_{\infty}$-bialgebra structure on a vector space. We show that the rational homotopy groups $\pi_{*}(\Omega \Sigma Y)\otimes \mathbb{Q}$ admit such a structure for the loop space $\Omega \Sigma Y$ of a…

We first review various known algebraic structures on the Hochschild (co)homology of a differential graded algebras under weak Poincar{\'e} duality hypothesis, such as Calabi-Yau algebras, derived Poincar{\'e} duality algebras and closed…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity…

We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This…

We prove that the shifted Hochschild chain complex $C\_*(A,A)[m]$ of a symmetric open Frobenius algebra $A$ of degree $m$ has a natural homotopy coBV-algebra structure. As a consequence $HH\_*(A,A)[m]$ and $HH^*(A,A^\vee)[-m]$ are…