22 pages; LaTeX 2e. New version included a generalization, the higher derived brackets generated by a not necessarily inner derivation, and a based on it homotopy-theoretic interpretation
发表信息：
J. Pure and Appl. Algebra. 202 (2005), Issues 1-3, 1 November 2005, 133-153
We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element $Δ$. Given this, we introduce an infinite sequence of higher brackets on the image of the projector, and explicitly calculate their Jacobiators in terms of $Δ^2$. This allows to control higher Jacobi identities in terms of the ``order'' of $Δ^2$. Examples include Stasheff's strongly homotopy Lie algebras and variants of homotopy Batalin--Vilkovisky algebras. There is a generalization with $\D$ replaced by an arbitrary odd derivation. We discuss applications and links with other constructions.
We introduce a new type of algebra, which is called a Lie-Leibniz algebra. This concept is an abstraction of derived bracket construction. It will be proved that the operad of Lie-Leibniz algebras is Koszul. The strong homotopy version of derived bracket Leibniz algebras will be discussed. We will get some new results with respect to sh Lie and sh Leibniz algebras.
We give a quick method of constructing strong homotopy associative algebra, namely, the higher derived product construction. This method is associative analogue of classical higher derived bracket construction in the category of Loday algebras. We introduce a new type of algebra "Loday pair" which is noncommutative analogue of classical Leibniz pair. We study strong homotopy Loday pairs and the higher derived brackets on the Loday pairs.
We will introduce the notion of higher derived bracket construction in the category of operads and prove that the higher derived bracket construction of Lie operad is equivalent to the cobar construction of Leibniz operad. The theorem is proved by computing Schroder number.
We develop a general framework for the construction of various derived brackets. We show that suitably deforming the differential of a graded Leibniz algebra extends the derived bracket construction and leads to the notion of strong homotopy (sh) Leibniz algebra. We discuss the connections among homotopy algebra theory, deformation theory and derived brackets. We prove that the derived bracket construction induces a map from suitably defined deformation theory equivalence classes to the isomorphism classes of sh Leibniz algebras.
We describe $L_\infty$-algebras governing homotopy relative Rota-Baxter Lie algebras and triangular $L_\infty$-bialgebras, and establish a map between them. Our formulas are based on a functorial approach to Voronov's higher derived brackets construction which is of independent interest.
We consider two different constructions of higher brackets. First, based on a Grassmann-odd, nilpotent Δoperator, we define a non-commutative generalization of the higher Koszul brackets, which are used in a generalized Batalin-Vilkovisky algebra, and we show that they form a homotopy Lie algebra. Secondly, we investigate higher, so-called derived brackets built from symmetrized, nested Lie brackets with a fixed nilpotent Lie algebra element Q. We find the most general Jacobi-like identity that such a hierarchy satisfies. The numerical coefficients in front of each term in these generalized Ja…
We study pre-Lie pairs, by which we mean a pair of a homotopy Lie algebra and a pre-Lie algebra with a compatible pre-Lie action. Such pairs provide a wealth of algebraic structure, which in particular can be used to analyze the homotopy Lie part of the pair. Our main application and the main motivation for this development are the dg Lie algebras of hairy graphs computing the rational homotopy groups of the mapping spaces of the $E_n$ operads. We show that twisting with certain Maurer-Cartan elements trivializes their Lie algebra structure. The result can be used to understand the rational ho…
Brackets by another name, Whitehead or Samelson products, have a history parallel to that in Kosmann-Schwarzbach's From Schouten to Mackenzie: notes on brackets. Here I sketch the development of these and some of the other brackets and products and braces within homotopy theory and homological algebra and with applications to mathematical physics. In contrast to the brackets of Schouten, Nijenhuis and of Gerstenhaber, which involve a relation to another graded product, in homotopy theory many of the brackets are free standing binary operations. My path takes me through many twists and turns. T…
We provide a simple construction of a Gerstenhaber-infinity algebra structure on a class of vertex algebras V, which lifts the strict Gerstenhaber algebra structure on BRST cohomology of V introduced by Lian and Zuckerman. We outline two applications: the construction of a sheaf of Gerstenhaber-infinity algebras on a Calabi-Yau manifold extending the multiplication and bracket of functions and vector fields, and of a Lie-infinity structure related to the bracket of Courant.
We explore the relationship between the classical constructions of cumulants and Koszul brackets, showing that the former are an expontial version of the latter. Moreover, under some additional technical assumptions, we prove that both constructions are compatible with standard homological perturbation theory in an appropriate sense. As an application of these results, we provide new proofs for the homotopy transfer Theorem for $L_\infty$ and $IBL_\infty$ algebras based on the symmetrized tensor trick and the standard perturbation Lemma, as in the usual approach for $A_\infty$ algebras. Moreov…
We study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras thus generalising previous work by Loday and Gerstenhaber-Schack. These results are then used to show that a $C_\infty$-algebra with an invariant inner product on its cohomology can be uniquely extended to a symplectic $C_\infty$-algebra (an $\infty$-generalisation of a commutative Frobenius algebra introduced by Kontsevich). As another application, we show that the `string topology' oper…
Structures of Lie algebras, Lie coalgebras, Lie bialgebras and Lie quasibialgebras are presented as solutions of Maurer-Cartan equations on corresponding governing differential graded Lie algebras using the big bracket construction of Kosmann-Schwarzbach. This approach provides a definition of an $L_\infty$-(quasi)bialgebra (strongly homotopy Lie (quasi)bialgebra). We recover an $L_\infty$-algebra structure as a particular case of our construction. The formal geometry interpretation leads to a definition of an $L_\infty$ (quasi)bialgebra structure on $V$ as a differential operator $Q$ on $V,$ …
Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.
It is well known that a foliation F of a smooth manifold M gives rise to a rich cohomological theory, its characteristic (i.e., leafwise) cohomology. Characteristic cohomologies of F may be interpreted, to some extent, as functions on the space P of integral manifolds (of any dimension) of the characteristic distribution C of F. Similarly, characteristic cohomologies with local coefficients in the normal bundle TM/C of F may be interpreted as vector fields on P. In particular, they possess a (graded) Lie bracket and act on characteristic cohomology H. In this paper, I discuss how both the Lie …
We recover some recent results by Dotsenko, Shadrin and Vallette on the Deligne groupoid of a pre-Lie algebra, showing that they follow naturally by a pre-Lie variant of the PBW Theorem. As an application, we show that Kapranov's $L_\infty$ algebra structure on the Dolbeault complex of a Kähler manifold is homotopy abelian and independent on the choice of Kähler metric up to an $L_\infty$ isomorphism, by making the trivializing homotopy and the $L_\infty$ isomorphism explicit.
Given a Lie algebra, there uniquely exists a Poisson algebra which is called a Lie-Poisson algebra over the Lie algebra. We will prove that given a Loday/Leibniz algebra there exists uniquely a noncommutative Poisson algebra over the Loday algebra. The noncommutative Poisson algebras are called the Loday-Poisson algebras. In the super/graded cases, the Loday-Poisson bracket is regarded as a noncommutative version of classical (linear) Schouten-Nijenhuis bracket. It will be shown that the Loday-Poisson algebras form a special subclass of Aguiar's dual-prePoisson algebras. We also study a proble…
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 Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the higher Koszul brackets on the cohomology of a manifold supplied with a generalised Poisson structure all vanish.
This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie der…
The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order operators. We then introduce a unifying theme for building derived brackets and show that two prevalent derived Lie bracket constructions are equivalent. Two basic methods of constructing derived strict sh-Lie brackets are also shown to be essentially the same. So far, each of these derived brackets is defined on an abelian subalgebra of a Lie algebra. We describ…
Quadratic Poisson brackets on a vector space equipped with a bilinear multiplication are studied. A notion of a bracket compatible with the multiplication is introduced and an effective criterion of such compatibility is given. Among compatible brackets, a subclass of coboundary brackets is described, and such brackets are enumerated in a number of examples.
Poisson brackets on the polynomial algebra C[x,y,z] are studied. A description of all such brackets is given and, for a significant class of Poisson brackets, the Poisson prime ideals and Poisson primitive ideals are determined. The results are illustrated by numerous examples.
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 maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brackets also in some cases for skew group algebras arising as group extensions of quantum symmetric algebras.
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 cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild co…
The paper is devoted to the Poisson brackets compatible with multiplication in associative algebras. These brackets are shown to be quadratic and their relations with the classical Yang--Baxter equation are revealed. The paper also contains a description of Poisson Lie structures on Lie groups whose Lie algebras are adjacent to an associative structure.
A class of nongraded Hamiltonian Lie algebras was earlier introduced by Xu. These Lie algebras have a Poisson bracket structure. In this paper, the isomorphism classes of these Lie algebras are determined by employing a ``sandwich'' method and by studying some features of these Lie algebras. It is obtained that two Hamiltonian Lie algebras are isomorphic if and only if their corresponding Poisson algebras are isomorphic. Furthermore, the derivation algebras and the second cohomology groups are determined.
Quadratic Poisson brackets on associative algebras are studied. Such a bracket compatible with the multiplication is related to a differentiation in tensor square of the underlying algebra. Jacobi identity means that this differentiation satisfies a classical Yang--Baxter equation. Corresponding Lie groups are canonically equipped with a Poisson Lie structure. A way to quantize such structures is suggested.
We discuss double Poisson structures in sense of M. Van den Bergh on free associative algebras focusing on the case of quadratic Poisson brackets. We establish their relations with an associative version of Young-Baxter equations, we study a bi-hamiltonian property of the linear-quadratic pencil of the double Poisson structure and propose a classification of the quadratic double Poisson brackets in the case of the algebra with two free generators. Many new examples of quadratic double Poisson brackets are proposed.
We start by clarifying and extending the multibraces notation, which economically describes substitutions of multilinear maps and tensor products of vectors. We give definitions and examples of homotopy algebras, strongly homotopy Gerstenhaber and Gerstenhaber bracket algebras, and strongly homotopy Batalin-Vilkovisky algebras. We show that a homotopy algebra structure on a vector space can be lifted to its Hochschild complex, and also suggest an induction method to generate explicit strongly homotopy Gerstenhaber algebra maps on a topological vertex operator algebra (TVOA), their existence ha…
A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential algebra of horizontal forms. The same construction applies for graded brackets in field theory such as the Batalin-Fradkin-Vilkovisky bracket of the Hamiltonian BRST theory or the Batalin-Vilkovisky antib…
A.A. Kirillov introduced the family algebras in 2000. In this paper we study the noncommutative Poisson bracket P on the classical family algebra. We show that P is the first-order deformation from the classical family algebra to the quantum family algebra. We will prove that the noncommutative Poisson bracket is in fact a Hochschild 2-coboundary therefore the deformation is infinitesimally trivial. In the last part of this paper we also talk about Mackey's analogue and the quantization problem of the family algebras.
We settle in this paper a question left open in our paper ``Modular Hecke algebras and their Hopf symmetry'', by showing how to extend the Rankin-Cohen brackets from modular forms to modular Hecke algebras. More generally, our procedure yields such brackets on any associative algebra endowed with an action of the Hopf algebra of transverse geometry in codimension one, such that the derivation corresponding to the Schwarzian derivative is inner. Moreover, we show in full generality that these Rankin-Cohen brackets give rise to associative deformations.
An arbitrary Leibniz algebra can be embedded in a differential graded Lie algebra via the derived bracket construction. Such an embedding is called a derived bracket representation. We will construct the universal version of the derived bracket representation, prove that the principal part of the target dg Lie algebra defines a subcomplex of Leibniz (co)homology complex and that the existence of the subcomplex is a reflection of the anti-cyclicity of the Leibniz operad.
Let TA denote the space underlying the tensor algebra of a vector space A. In this short note, we show that if A is a differential graded algebra, then TA is a differential Batalin-Vilkovisky algebra. Moreover, if A is an A-infinity algebra, then TA is a commutative BV-infinity algebra.
The aim of this paper is to study some brackets defined on $(τ,σ)$-derivations satisfying quasi-Lie identities. Moreover, we provide examples of $(p,q)$-deformations of Witt and Virasoro algebras as well as $\mathfrak{sl}(2)$ algebra. These constructions generalize the results obtained by Hartwig, Larsson and Silvestrov on $σ$-derivations, arising in connection with discretizations and deformations of algebras of vector fields.
Let $G$ be a simple complex factorizable Poisson Lie algebraic group. Let $\U_\hbar(\g)$ be the corresponding quantum group. We study $\U_\hbar(\g)$-equivariant quantization $\C_\hbar[G]$ of the affine coordinate ring $\C[G]$ along the Semenov-Tian-Shansky bracket. For a simply connected group $G$ we prove an analog of the Kostant-Richardson theorem stating that $\C_\hbar[G]$ is a free module over its center.
Let $A$ be a Koszul (or more generally, $N$-Koszul) Calabi-Yau algebra. Inspired by the works of Kontsevich, Ginzburg and Van den Bergh, we show that there is a derived non-commutative Poisson structure on $A$, which induces a graded Lie algebra structure on the cyclic homology of $A$; moreover, we show that the Hochschild homology of $A$ is a Lie module over the cyclic homology and the Connes long exact sequence is in fact a sequence of Lie modules. Finally, we show that the Leibniz-Loday bracket associated to the derived non-commutative Poisson structure on $A$ is naturally mapped to the Ger…
We introduce the cluster algebraic formulation of the integrable difference equations, the discrete Lotka-Volterra equation and the discrete Liouville equation, from the view point of the general T-system and Y-system. We also study the Poisson structure for the cluster algebra, and give the associated Poisson bracket for the two difference equations.
The quantization problem for the trace-bracket algebra, derived from double Poisson brackets, is discussed. We obtain a generalization of the boundary YBE (or so-called ABCD-algebra) for the quantization of quadratic trace-brackets. A dynamical deformation is proposed on the lines of Gervais-Neveu-Felder dynamical quantum algebras.
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
For any graded bialgebras $A$ and $B$, we define a commutative graded algebra $A_B$ representing the functor of $B$-representations of $A$. When $A$ is a cocommutative graded Hopf algebra and $B$ is a commutative ungraded Hopf algebra, we introduce a method deriving a Gerstenhaber bracket in $A_B$ from a Fox pairing in $A$ and a balanced biderivation in $B$. Our construction is inspired by Van den Bergh's non-commutative Poisson geometry, and may be viewed as an algebraic generalization of the Atiyah--Bott--Goldman Poisson structures on moduli spaces of representations of surface groups.
This paper resolves the unicity conjecture of Bonahon and Wong for the Kauffman bracket skein algebras of all oriented finite type surfaces at all roots of unity. The proof is a consequence of a general unicity theorem that says that the irreducible representations of a prime affine $k$-algebra over an algebraically closed field $k$, that is finitely generated as a module over its center, are generically classified by their central characters. The center of the Kauffman bracket skein algebra of any orientable surface at any root of unity is characterized, and it is proved that the skein algebr…
Rota-Baxter Operators on Vertex Algebras in Integrated $λ$-Bracket Formalism and Their Associated 2-Cocycles
Siberian State University of Telecommunication and Informatics Science（西伯利亚电信与信息科学国立大学）；Novosibirsk State University of Economics and Management（新西伯利亚国立经济与管理大学）；Novosibirsk State University（新西伯利亚国立大学）
Let $\boldsymbol{k}$ be a field of characteristic zero and $A=\boldsymbol{k}[x_{1},...,x_{n}]/I$ with $I=(f_{1},...,f_{k})$ be an affine algebra. We study Nambu-Poisson brackets on $A$ of arity $m\geq 2$, focusing on the case when $m$ is even. We construct an $L_{\infty}$-algebroid on the cotangent complex $\mathbb{L}_{A|\boldsymbol{k}}$, generalizing previous work on the case when $A$ is a Poisson algebra. This structure is referred to as the higher form brackets. The main tool is a $P_{\infty}$-structure on a resolvent $R$ of $A$. These $P_{\infty}$- and $L_{\infty}$-structures are merely $\…
The purpose of this article is to embed the string topology bracket developed by Chas-Sullivan and Menichi on negative cyclic cohomology groups as well as the dual bracket found by de Thanhoffer de Voelcsey-Van den Bergh on negative cyclic homology groups into the global picture of a noncommutative differential (or Cartan) calculus up to homotopy on the (co)cyclic bicomplex in general, in case a certain Poincare' duality is given. For negative cyclic cohomology, this in particular leads to a Batalin-Vilkovisky algebra structure on the underlying Hochschild cohomology. In the special case in wh…
To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an explicit construction.
In this paper we show that, after completion in the I-adic topology, the Goldman bracket on the space spanned by homotopy classes of loops on a smooth, complex algebraic curve is a morphism of mixed Hodge structure. We prove similar statements for the natural action (defined by Kawazumi and Kuno) of the loops in X on paths from one "boundary component" to another. These results are used to construct torsors of isomorphisms of the the completed Goldman Lie algebra with the completion of its associated graded Lie algebra. Such splittings give torsors of partial solutions to the Kashiwara--Vergne…
In this paper we establish the existence of certain structures on the ordinary and equivariant homology of the free loop space on a manifold or, more generally, a formal Poincaré duality space. These structures; namely the loop product, the loop bracket and the string bracket, were introduced and studied by Chas and Sullivan under the general heading `string topology'. Our method is based on obstruction theory for $C_\infty$-algebras and rational homotopy theory. The resulting string topology operations are manifestly homotopy invariant.
This paper is focused on the structure of the Kauffman bracket skein algebra of a punctured surface at roots of unity. A criterion that determines when a collection of skeins forms a basis of the skein algebra as an extension over the $SL(2,{\mathbb C})$ characters of the fundamental group of the surface, with appropriate localization is given. This is used to prove that when the algebra is localized so that every nonzero element of the center has a multiplicative inverse, that it is a division algebra. Finally, it is proved that the localized skein algebra can be split over its center as a te…
Developing ideas based on combinatorial formulas for characteristic classes we introduce the algebra modeling secondary characteristic classes associated to $N$ connections. Certain elements of the algebra correspond to the ordinary and secondary characteristic classes.That construction allows us to give easily the explicit formulas for some known secondary classes and to construct the new ones. We write how $i$-th differential and $i$-th homotopy operator in the algebra are connected with the Poisson bracket defined in this algebra. There is an analogy between this algebra and the noncommutat…
Let $F$ be a finite type surface and $ζ$ a complex root of unity. The Kauffman bracket skein algebra $K_ζ(F)$ is an important object in both classical and quantum topology as it has relations to the character variety, the Teichmüller space, the Jones polynomial, and the Witten-Reshetikhin-Turaev Topological Quantum Field Theories. We compute the rank and trace of $K_ζ(F)$ over its center, and we extend a theorem of Frohman and Kania-Bartoszynska which says the skein algebra has a splitting coming from two pants decompositions of $F$.
We introduce the notion of \emph{almost commutative Q-algebras} and demonstrate how the derived bracket formalism of Kosmann-Schwarzbach generalises to this setting. In particular, we construct `almost commutative Lie algebroids' following Va\uıntrob's Q-manifold understanding of classical Lie algebroids. We show that the basic tenets of the theory of Lie algebroids carry over verbatim to the almost commutative world.
Poisson brackets (P.b) are the natural initial terms for the deformation quantization of commutative algebras. There is an open problem whether any Poisson bracket on the polynomial algebra of $n$ variables can be quantized. It is known (Poincare-Birkhoff-Witt theorem) that any linear P.b. for all $n$ can be quantized. On the other hand, it is easy to show that in case $n=2$ any P.b. is quantizable as well. Quadratic P.b. appear as the unitial terms for the quantization of polynomial algebras as quadratic algebras. The problem of the quantization of quadratic P.b. is also open. In the paper we…
A few generalizations of a Poisson algebra to field theory canonically formulated in terms of the polymomentum variables are discussed. A graded Poisson bracket on differential forms and an $(n+1)$-ary bracket on functions are considered. The Poisson bracket on differential forms gives rise to various generalizations of a Gerstenhaber algebra: the noncommutative (in the sense of Loday) and the higher-order (in the sense of the higher order graded Leibniz rule). The $(n+1)$-ary bracket fulfills the properties of the Nambu bracket including the ``fundamental identity'', thus leading to the Nambu…
Based on the presentation of the Kauffman bracket skein module of the torus given by the third author in previous work, Charles D. Frohman and Răzvan Gelca established a complete description of the multiplicative operation leading to a famous product-to-sum formula. In this paper, we study the multiplicative structure of the Kauffman bracket skein algebra of the thickened four-holed sphere. We present an algorithm to compute the product of any two elements of the algebra, and give an explicit formula for some families of curves. We surmise that the algorithm has quasi-polynomial growth with re…
An infinite dimensional algebra which is a non-decomposable reducible representation of $su(2)$ is given. This algebra is defined with respect to two real parameters. If one of these parameters is zero the algebra is the commutative algebra of functions on the sphere, otherwise it is a noncommutative analogue. This is an extension of the algebra normally refered to as the (Berezin) quantum sphere or ``fuzzy'' sphere. A natural indefinite ``inner'' product and a basis of the algebra orthogonal with respect to it are given. The basis elements are homogenious polynomials, eigenvectors of a Laplac…
