Related papers: Homotopy Gerstenhaber algebras
A relative Rota-Baxter algebra is a triple $(A, M, T)$ consisting of an algebra $A$, an $A$-bimodule $M$, and a relative Rota-Baxter operator $T$. Using Voronov's derived bracket and a recent work of Lazarev et al., we construct an…
A homotopy commutative algebra, or $C_{\infty}$-algebra, is defined via the Tornike Kadeishvili homotopy transfer theorem on the vector space generated by the set of Young tableaux with self-conjugated Young diagrams. We prove that this…
We construct a map of operads from an $E_2$-operad to the condensation of the operad for multiplicative hyperoperads. We deduce from it the existence of an $E_2$-action on the homotopy limit of the underlying functor of a multiplicative…
It is shown that for any morphism, i: g --> h, of Lie algebras the vector space underlying the Lie algebra h is canonically a g-homogeneous formal manifold with the action of g being highly nonlinear and twisted by Bernoulli numbers. This…
The deformation complex of an algebra over a colored PROP P is defined in terms of a minimal (or, more generally, cofibrant) model of P. It is shown that it carries the structure of an L_\infty-algebra which induces a graded Lie bracket on…
We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a…
We extend bar-cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen equivalence between the category of…
A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the…
A simplicial cochain complex can be derived from a locally small poset by taking the nerve of the poset viewed as a category. We show that the simplicial cochain complex and a relative Hochschild cochain complex of the incidence algebra of…
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…
Diassociative algebras form a categoy of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an…
We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain…
We study $\mathcal{O}$-operators of associative conformal algebras with respect to conformal bimodules. As natural generalizations of $\mathcal{O}$-operators and dendriform conformal algebras, we introduce the notions of twisted Rota-Baxter…
Investigating a recent positive solution of a conjecture of Grunewald and O'Halloran for complex finite dimensional nilpotent Lie algebras, we are in the position to find results of existence and uniqueness for the construction of complex…
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
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…
Motivated by the group entropy theory, in this work we generalize the algebra of real numbers (that we called G-algebra), from which we develop an associated G-differential calculus. Thus, the algebraic structures corresponding to the…
We calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra…
We show that if an operad is at the same time a cosimplicial object such that the respective structure maps are compatible with the operadic composition in a natural way, then one obtains a Gerstenhaber algebra structure on cohomology, and…