Representations of the Schlessinger-Stasheff's associative homotopy Lie algebras in the spaces of higher-order differential operators are analyzed; in particular, a remarkable identity for the Wronskian determinants is obtained. The W-transformations of chiral embeddings, related with the Toda equations, of complex curves into the Kaehler manifolds are shown to be endowed with the homotopy Lie algebra structures. Extensions of the Wronskian determinants that preserve the properties of the Schlessinger-Stasheff's algebras are constructed for the case of $n\geq1$ independent variables.
Filipov proved that Jacobian algebra is n-Lie. In our paper we consider algebras defined on associative commutative algebra U with derivation $\der$ by (k+1)-multiplication $V^{0,1,...,k}=\der^0\wedge\der^1\wedge...\wedge \der^k$ (Wronskian). We study whether they have (k+1)-Lie, k-left commutative and homotopical (k+1)-Lie structures.
A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we introduce a strongly homotopy version of hom-associative algebras ($HA_\infty$-algebras in short) on a graded vector space. We describe $2$-term $HA_\infty$-algebras in details. In particular, we study 'skeletal' and 'strict' $2$-term $HA_\infty$-algebras. We also introduce hom-associative $2$-algebras as categorification of hom-associative algebras. The category of $2$-term $HA_\infty$-algebras and the category of hom-associative $2$-algebras are shown to be equivalent. An appr…
A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. We show that the Hochschild type cochain complex of a hom-associative algebra carries a homotopy G-algebra structure. As a consequence, we get a Gerstenhaber algebra structure on the cohomology of a hom-associative algebra. We also find similar results for hom-dialgebras.
Bihom-associative algebras have been recently introduced in the study of group hom-categories. In this paper, we introduce a Hochschild type cohomology for bihom-associative algebras with suitable coefficients. The underlying cochain complex (with coefficients in itself) can be given the structure of an operad with a multiplication. Hence, the cohomology inherits a Gerstenhaber structure. We show that this cohomology also control corresponding formal deformations. Finally, we introduce bihom-associative algebras up to homotopy and show that some particular classes of these homotopy algebras ar…
We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to the operad of "moulds". It provides an efficient environment for doing integro-differential calculus. Interesting variations are obtained by using formal group laws. The preceding case corresponds to the additive formal group law. We unravel the notion of homotopy associative algebra with derivation in the spirit of Kadeishvili's work.
Rota-Baxter systems of T. Brzeziński are a generalization of Rota-Baxter operators that are related to dendriform structures, associative Yang-Baxter pairs and covariant bialgebras. In this paper, we consider Rota-Baxter systems in the presence of bimodule, which we call generalized Rota-Baxter systems. We define a graded Lie algebra whose Maurer-Cartan elements are generalized Rota-Baxter systems. This allows us to define a cohomology theory for a generalized Rota-Baxter system. Formal one-parameter deformations of generalized Rota-Baxter systems are discussed from cohomological points of vie…
This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence, we develop a cohomology theory of Rota-Baxter algebras of any weight and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions. The notion of homotopy Rota-Baxter algebras is introduced and it is shown that the operad governing homotopy Rota-Baxter algebras is a minimal model of the operad of Rota-Baxter alg…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping spaces gives an injection on all homotopy groups at any basepoint. We prove similar results both for unital and non-unital algebras, and also Koszul dually for the universal enveloping algebra functor from dg Lie algebras to dg associative algebras. An important ingredient is a natural model for these derived mapping spaces as Maurer-Cartan spaces of complete fil…
This paper studies averaging algebras, say, associative algebras endowed with averaging operators. We develop a cohomology theory for averaging algebras and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions of averaging algebras. We make explicit the $L_\infty$-algebra structure over the cochain complex defining cohomology groups and introduce the notion of homotopy averaging algebras as Maurer-Cartan elements of this $L_\infty$-algebra.
In this note, we prove an obstruction theorem for the existence of A infinite-structures over a commutative ring R on an algebra A associative up to homotopy, in terms of the Hochschild cohomology of the associative algebra H(A). The hidden purpose of the note is to show that there are no assumptions needed on the commutative ring R nor bounded assumptions on the complex A.
In this paper, we introduce the notions of crossed module of associative conformal algebras, 2-term strongly homotopy associative conformal algebras, and discuss the relationship between them and the 3-th Hochschild cohomology of associative conformal algebras. We classify the non-abelian extensions by introducing the non-abelian cohomology. We show that non-abelian extensions of an associative conformal algebra can be viewed as Maurer-Cartan elements of a suitable differential graded Lie algebra, and prove that the Deligne groupoid of this differential graded Lie algebra corresponds one to on…
Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$
Bernoulli Institute for Mathematics, Computer Science & Artificial Intelligence, University of Groningen（格罗宁根大学伯努利数学、计算机与人工智能研究所）；ETH Zürich – Department of Mathematics（苏黎世联邦理工学院数学系）
In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then we recall the graded Lie algebras and graded associative algebras that characterize these algebraic structures as Maurer-Cartan elements. The corresponding Maurer-Cartan element equips the graded Lie or associative algebra with a differential. Then the deformations of the given algebraic structures are characterized as the Maurer-Cartan elements of the result…
Dendriform algebras are certain splitting of associative algebras and arise naturally from Rota-Baxter operators, shuffle algebras and planar binary trees. In this paper, we first consider involutive dendriform algebras, their cohomology and homotopy analogs. The cohomology of an involutive dendriform algebra splits the Hochschild cohomology of an involutive associative algebra. In the next, we introduce a more general notion of oriented dendriform algebras. We develop a cohomology theory for oriented dendriform algebras that closely related to extensions and governs the simultaneous deformati…
Dendriform coalgebras are the dual notion of dendriform algebras and are splitting of associative coalgebras. In this paper, we define a cohomology theory for dendriform coalgebras based on some combinatorial maps. We show that the cohomology with self coefficients governs the formal deformation of the structure. We also relate this cohomology with the cohomology of dendriform algebras, coHochschild (Cartier) cohomology of associative coalgebras and cohomology of Rota-Baxter coalgebras which we introduce in this paper. Finally, using those combinatorial maps, we introduce homotopy analogue of …
The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the $B_\infty$-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotient of a certain operad associated to the compactified configuration spaces. Different notions of homotopy Gerstenhaber algebras are discussed: one of them is a $B_\infty$-algebra, another, called a hom…
This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure f…
First we describe a class of homotopy Frobenius algebras via cyclic operads which we call cyclic $A_\infty$ algebras. We then define a suitable new combinatorial operad which acts on the Hochschild cochains of such an algebra in a manner which encodes the homotopy BV structure. Moreover we show that this operad is equivalent to the cellular chains of a certain topological (quasi)-operad of CW complexes whose constituent spaces form a homotopy associative version of the Cacti operad of Voronov. These cellular chains thus constitute a chain model for the framed little disks operad, proving a cyc…
Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $ϕ$ ({\rm i.e.} morphism of commutative, associative algebra up to homotopy) between $\g\_1$ and $\g\_2$, there exists a $G\_\infty$-morphism $Φ$ between $\g\_1$ and $\g\_2$ that restricts to $ϕ$. We also show that any $L\_\infty$-morphism ({\rm i.e.} morphism of Lie algebra up to homotopy), in particular the…
The notion of $n$-ary algebras, that is vector spaces with a multiplication concerning $n$-arguments, $n \geq 3$, became fundamental since the works of Nambu. Here we first present general notions concerning $n$-ary algebras and associative $n$-ary algebras. Then we will be interested in the notion of $n$-Lie algebras, initiated by Filippov, and which is attached to the Nambu algebras. We study the particular case of nilpotent or filiform $n$-Lie algebras to obtain a beginning of classification. This notion of $n$-Lie algebra admits a natural generalization in Strong Homotopy $n$-Lie algebras …
