We construct a differential and a Lie bracket on the space\linebreak $\{\Hom (A^{\otimes k}, A^{\otimes l})\},_{k,l\ge 0}$ for any associative algebra $A$. The restriction of this bracket to the space $\{\Hom (A^{\otimes k}, A)\},_{k\ge 0}$ is exactly the Gerstenhaber bracket. We discuss some formality conjecture related with this construction. We also discuss some applications to deformation theory.
We show that the Gerstenhaber-Schack cohomology of a Hopf algebra determines its Hochschild cohomology, and in particular its Gerstenhaber-Schack cohomological dimension bounds its Hochschild cohomological dimension, with equality of the dimensions when the Hopf algebra is cosemisimple of Kac type. Together with some general considerations on free Yetter-Drinfeld modules over adjoint Hopf subalgebras and the monoidal invariance of Gerstenhaber-Schack cohomology, this is used to show that both Gerstenhaber-Schack and Hochschild cohomological dimensions of the coordinate algebra of the quantum p…
We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors.
The goal of this article is to compute the Gerstenhaber bracket of the Hochschild cohomology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from $2$ and $3$. This is in part based on a general method we introduce to easily compute the Gerstenhaber bracket between elements of $\operatorname{HH}^{0}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for $n \in \mathbb{N}_{0}$, the method by M. Suárez-Álvarez to calculate the Gerstenhaber bracket between elements of $\operatorname{HH}^{1}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for any $n \in \mathbb…
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasi-isomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C(A) of a regular commutative algebra A over a field of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method a…
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…
We point out that for Yetter's deformational Hochschild complex of a monoidal functor between abelian monoidal categories the Gerstenhaber-Voronov type operations can be defined making it a strong homotopy Gerstenhaber algebra. This encodes deformation theory of monoidal functors in an analogical way as deformation theory of associative algebras is described by the strong homotopy Gerstenhaber algebra structure on the corresponding Hochschild cochains. We describe a quasi-classical limit of deformations of a symmetric monoidal functor in terms of Poisson type structure.
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 apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results.
This paper aims to give a short but self-contained introduction into the theory of (wheeled) props, properads, dioperads and operads, and illustrate some of its key ideas in terms of a prop(erad)ic interpretation of simplicial and permutahedra cell complexes with subsequent applications to the Hochschild-Kostant-Rosenberg type isomorphisms.
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…
It is well known that (in suitable codimension) the spaces of long knots in $\mathbb{R}^n$ modulo immersions are double loop spaces. Hence the homology carries a natural Gerstenhaber structure, given by the Gerstenhaber structure on the Hochschild homology of the $n$-Poisson operad. In this paper, we compute the latter Gerstenhaber structure in terms of hairy graphs, and show that it is not quite trivial combinatorially. Curiously, the construction makes essential use of methods and results of deformation quantization, and thus provides a bridge between two previously little related subjects i…
We construct a Frobenius algebra structure on the Hochschild cochains of a group ring k[G] that extends the known structure of a <1, 2> topological quantum field theory on HH^0(k[G]; k[G]), k a field and G a finite group. The convolution product extends to the homotopy commutative Gerstenhaber product on cochains, the Frobenius coproduct extends to a coproduct on the chain complex for Hochschild homology, and there is a pairing on Hochschild cocahins satisfying Frobenius associativity. The pairing, however, degenerates on a certain subcomplex of Hochschild cochains. The cochain complex for gro…
We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order.
Using five basic principles we treat Gerstenhaber/Lie brackets, BV operators and Master equations appearing in mathematical and physical contexts in a unified way. The different contexts for this are given by the different types of (Feynman) graphs that underlie the particular situation. Two of the maxims we bring forth are (1) that extending to the non-connected graphs gives a commutative multiplication forming a part of the BV structure and (2) that there is a universal odd twist that unifies and explains seemingly ad hoc choices of signs, and is responsible for the BV operator being a diffe…
In 1963 [Ann. of Math. {\bf 78}, 267-288], Gerstenhaber invented a \emph{comp(osition)} calculus in the Hochschild complex of an associative algebra. In this paper, the first steps of the Gerstenhaber theory are exposed in an abstract (comp system) setting. In particular, as in the Hochschild complex, a graded Lie algebra and a pre-coboundary operator can be associated to every comp system. A derivation deviation of the pre-coboundary operator over the total composition is calculated in two ways, (the long) one of which is essentially new and can be seen as an example and elaboration of the au…
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…
Let $C$ be a differential graded coalgebra, $ \barΩC$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\barΩC ; \barΩC)$. This result permits to describe a Hodge decomposition of the loop space homology of a closed oriented manifold, in the sense of Chas-Sullivan, when the field of coefficients is of characteristic zero.
We generalize the coupled braces {x}{y} of Gerstenhaber and {x}{y,...,z} of Getzler depicting compositions of multilinear maps in the Hochschild complex C(A)=Hom(TA;A) of a graded vector space A to expressions of the form {x,...,y}...{z,...,w} on the extended space Hom(TA;TA), and clarify many of the existing sign conventions that show up in the algebra of mathematical physics (namely in associative and Lie algebras, Batalin-Vilkovisky algebras, homotopy associative and homotopy Lie algebras). As a result, we introduce a new variant of the master identity for homotopy Lie algebras. We also com…
In this paper we construct a graded Lie algebra on the space of cochains on a $\mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial) skew-symmetrization; the coboundary operator is a skew-symmetrized version of the Hochschild differential. We show that an order-one element $m$ satisfying the zero-square condition $[m,m]=0$ defines an algebraic structure called "Lie antialgebra". The cohomology (and deformation) theory of these algebras is then defined. We present two examples of non-trivial…
Let $M$ be any compact simply-connected $d$-dimensional smooth manifold and let $\mathbb{F}$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $HH^*(S^*(M);S^*(M))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjecturated to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}(LM)$ introduced by Chas and Sullivan. We also show that the negative cyclic cohomology $HC^*_-(S^*(M))$ has a Lie bracket. Such Lie bracket is e…
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…
Global constructions of quantization deformation and obstructions are discussed for an arbitrary complex analytic space in terms of adapted (analytic) Hochschild cohomology. For K3-surfaces an explicit global construction of a Poisson bracket is given. It is shown that the analytic Hochschild (co)homology on a complex space has structure of coherent analytic sheaf in each degree.
The Gerstenhaber and Schack cohomology comparison theorem asserts that there is a cochain equivalence between the Hochschild complex of a certain algebra and the usual singular cochain complex of a space. We show that this comparison theorem preserves the brace algebra structures. This result gives a structural reason for the recent results establishing fine topological structures on the Hochschild cohomology, and a simple way to derive them from the corresponding properties of cochain complexes.
In this article, we show under what additional ingredients a comp (or opposite) module over an operad with multiplication can be given the structure of a cyclic k-module and how the underlying simplicial homology gives rise to a Batalin-Vilkovisky module over the cohomology of the operad. In particular, one obtains a generalised Lie derivative and a generalised (cyclic) cap product that obey a Cartan-Rinehart homotopy formula, and hence yield the structure of a noncommutative differential calculus in the sense of Nest, Tamarkin, Tsygan, and others. Examples include the calculi known for the Ho…
We study the Hochschild cohomology and the Gerstenhaber algebra structure on the algebraic non-commutative torus/quantum torus orbifolds resulting by the action of finite subgroups of $SL_2(\mathbb Z)$. We also examine the Poisson structures and compute the Poisson cohomology.
Given a differential graded (dg) symmetric Frobenius algebra $A$ we construct an unbounded complex $\mathcal{D}^{*}(A,A)$, called the Tate-Hochschild complex, which arises as a totalization of a double complex having Hochschild chains as negative columns and Hochschild cochains as non-negative columns. We prove that the complex $\mathcal{D}^*(A,A)$ computes the singular Hochschild cohomology of $A$. We construct a cyclic (or Calabi-Yau) $A$-infinity algebra structure, which extends the classical Hochschild cup and cap products, and an $L$-infinity algebra structure extending the classical Gers…
We compute the Hochschild and Gerstenhaber-Schack cohomological dimensions of the universal cosovereign Hopf algebras, when the matrix of parameters is a generic asymmetry. Our main tools are considerations on the cohomologies of free product of Hopf algebras, and on the invariance of the cohomological dimensions under graded twisting by a finite abelian group.
We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrangian submanifold, endowed with the Koszul bracket. As a corollary we generalize a recent result by Hitchin on deformations of holomorphic Poisson manifolds.
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.
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate "cobar" construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this "cobar" construction. We show consequently that the $E_3$-algebra structure on the higher Hochschil…
We first review various known algebraic structures on the Hochschild (co)homology of a differential graded algebras under weak Poincar{é} duality hypothesis, such as Calabi-Yau algebras, derived Poincar{é} duality algebras and closed Frobenius algebras. This includes a BV-algebra structure on $HH^*(A,A^\vee)$ or $HH^*(A,A)$, which in the latter case is an extension of the natural Gerstenhaber structure on $HH^*(A,A)$. As an example, after proving that the chain complex of the Moore loop space of a manifold $M$ is a CY-algebra and using Burghelea-Fiedorowicz-Goodwillie theorem we obtain a BV-st…
We will introduce an operation "twisting" on Hochschild complex by analogy with Drinfeld's twisting operations. By using the twisting and derived bracket construction, we will study differential graded Lie algebra structures associated with bi-graded Hochschild complex. We will show that Rota-Baxter type operators are solutions of Maurer-Cartan equations. As an application of twisting, we will give a construction of associative Nijenhuis operators.
In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to commutativity of the cup-product on Hochschild cohomology, a morphism from the graded algebra Sym(k^n) to Ext^*(A,A), the Ext-algebra in the category of A-bimodules. We prove that any extension of the n-parameter first order deformation of A to an INFINITE ORDER formal deformation provides a canonical `lift' of the graded algebra morphism above to a dg-algebra…
Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison cohomology. We also investigate the algebraic structure of the Chevalley-Eilenberg complexes of L-infinity algebras and show that they possess, along with the Gerstenhaber bracket, an L-infinity structure that is homotopy abelian.
We carry over to a quite general noncommutative setting some of the basic tools of differential geometry, using from the very beginning the setting of convenient vector spaces developed by Froelicher and Kriegl, which allows to carry all of multilinear algebra into this kind of functional analysis with suitably completed tensor products. In the first section we give a short description of the setting of convenient spaces elaborating those aspects which are needed later. Then we repeat the usual construction of noncommutative differential forms for convenient algebras. Next they show that the b…
We compute the second Hochschild cohomology space $HH^2(\mathcal{H}_1)$ of Connes-Moscovici's Hopf algebra $\mathcal{H}_1$, giving the infinitesimal deformations (up to equivalence) of the associative structure. $HH^2(\mathcal{H}_1)$ is shown to be one dimensional, and thus Connes-Moscovici's formal deformation of $\mathcal{H}_1$ using Rankin-Cohen brackets is unique up to equivalence.
