We present the Gerstenhaber algebra structure on the Hochschild cohomology of Koszul algebras defined by quivers and relations using the idea of homotopy liftings. E.L. Green, G. Hartman, E.N. Marcos and O. Solberg provided a canonical way of constructing a minimal projective bimodule resolution of a Koszul quiver algebra. The resolution has a comultiplicative structure which we use to define homotopy lifting maps. We first present a short example that demonstrates the theory. We then study the Gerstenhaber algebra structure on Hochschild cohomology of a family of bound quiver algebras, some members of which are counterexamples to the Snashall-Solberg finite generation conjecture. We give examples of homotopy lifting maps for degree $2$ and degree $1$ cocycles and draw connections to derivation operators. As an application, we describe Hochschild 2-cocycles satisfying the Maurer-Cartan equation.
This paper presents an infinite family of Koszul self-injective algebras whose Hochschild cohomology ring is finite-dimensional. Moreover, for each $N \geq 5$ we give an example where the Hochschild cohomology ring has dimension $N$. This family of algebras includes and generalizes the 4-dimensional Koszul self-injective local algebras of Buchweitz, Green, Madsen and Solberg, which were used to give a negative answer to Happel's question, in that they have infinite global dimension but finite-dimensional Hochschild cohomology.
We identify two Batalin-Vilkovisky algebra structures, one obtained by Kowalzig and Krahmer on the Hochschild cohomology of an Artin-Schelter regular algebra with semisimple Nakayama automorphism and the other obtained by Lambre, Zhou and Zimmermann on the Hochschild cohomology of a Frobenius algebra also with semisimple Nakayama automorphism, provided that these two algebras are Koszul dual to each other.
We introduce the Hochschild extensions of dg algebras, which are $A_\infty$-algebras. We show that all exact Hochschild extensions are symmetric Hochschild extensions, more precisely, every exact Hochschild extension of a finite dimensional complete typical dg algebra is a symmetric $A_\infty$-algebra. Moreover, we prove that the Koszul dual of trivial extension is Calabi-Yau completion and the Koszul dual of exact Hochschild extension is deformed Calabi-Yau completion, more precisely, the Koszul dual of the trivial extension of a finite dimensional complete dg algebra is the Calabi-Yau comple…
We formulate the (co)bar construction theory of dg $K$-(co)rings and the calculus theory of the Hochschild homology and cohomology of dg $K$-rings. As applications, we compare the Hochschild (co)homologies of a complete typical dg $K$-ring and its Koszul dual. Moreover, we show that the Koszul dual of a finite dimensional complete typical $d$-symmetric dg $K$-ring is a $d$-Calabi-Yau dg algebra whose Hochschild cohomology is a Batalin-Vilkovisky algebra. Furthermore, we prove that the Hochschild cohomologies of a finite dimensional complete typical $d$-symmetric dg $K$-ring and its Koszul dual…
Given an acyclic twisting cochain $π:C\to A$, from a curved dg coalgebra $C$ to a dg algebra $A$, we show that the associated twisted hom complex $\mathrm{Hom}^π_k(C,A)$ has cohomology equal to the Hochschild cohomology of $A$, as a graded ring. As a corollary we find that the Hochschild cohomology of a Koszul algebra $A$, along with its cup product, is a subquotient of the tensor product algebra $A^!\otimes A$ of $A$ with its Koszul dual.
We show that Hochschild cohomology of an algebra over a field is a space of infinity coderivations on an arbitrary projective bimodule resolution of the algebra. The Gerstenhaber bracket is the graded commutator of infinity coderivations. We thus generalize, to an arbitrary resolution, Stasheff's realization of the Gerstenhaber bracket on Hochschild cohomology as the graded commutator of coderivations on the tensor coalgebra of the algebra.
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.
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 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.
We prove that the Gerstenhaber bracket on the Hochschild cohomology of the group algebra of a cyclic group over a field of positive characteristic is not trivial. In this case, we relate the Lie algebra structure on the odd degrees of the Hochschild cohomology with a Witt-type algebra.
We prove formulas of different types that allow to calculate the Gerstenhaber bracket on the Hochschild cohomology of an algebra using some arbitrary projective bimodule resolution for it. Using one of these formulas, we give a new short proof of the derived invariance of the Gerstenhaber algebra structure on Hochschild cohomology. Also we give some new formulas for the Connes' differential on the Hochschild homology that lead to formulas for BV differential on the Hochschild cohomology in the case of symmetric algebras. Finally, we use one of the obtained formulas to get a full description of…
Analogous to a recent result of N. Kowalzig and U. Krähmer for twisted Calabi-Yau algebras, we show that the Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin-Vilkovisky algebra, thus generalizing a result of T.Tradler for finite dimensional symmetric algebras. We give a criterion to determine when a Frobenius algebra given by quiver with relations has semisimple Nakayama automorphism and apply it to some known classes of tame Frobenius algebras. We also provide ample examples including quantum complete intersections, finite dimensional Hopf a…
Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and polynomial algebras that arise in orbifold theory and representation theory; deformations in this context include graded Hecke algebras and symplectic reflection algebras. We give some general results des…
We prove that for certain classes of graded algebras (Koszul, local, cellular), infinite global dimension implies that Hochschild homology does not vanish in high degrees, provided the characteristic of the ground field is zero. Our proof uses Igusa's formula relating the Euler characteristic of relative cyclic homology to the graded Cartan determinant.
Let $Λ=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $Λ$ is given in Green-Solberg. This resolution is shown to have a "comultiplicative" structure in Green-Hartman-Marcos-Solberg, and this is used to find a minimal projective resolution $\mathbb{P}$ of $Λ$ over the enveloping algebra $Λ^e$. Using these results we show that the multiplication in the Hochschild cohomology ring of $Ł$ relative to the resolution $\mathbb{P}$ is given as a cup product and als…
A partly (anti-)commutative quiver algebra is a quiver algebra bound by an (anti-)commutativity ideal, that is, a quadratic ideal generated by monomials and (anti-)commutativity relations. We give a combinatorial description of the ideals and the associated generator graphs, from which one can quickly determine if the ideal is admissible or not. We describe the center of a partly (anti-)commutative quiver algebra and state necessary and sufficient conditions for the center to be finitely generated as a K-algebra. As an application, necessary and sufficient conditions for finite generation of t…
Koszul property was generalized to homogeneous algebras of degree N>2 in [5], and related to N-complexes in [7]. We show that if the N-homogeneous algebra A is generalized Koszul, AS-Gorenstein and of finite global dimension, then one can apply the Van den Bergh duality theorem [23] to A, i.e., there is a Poincare duality between Hochschild homology and cohomology of A, as for N=2.
In this paper we prove a version of curved Koszul duality for Z/2Z-graded curved coalgebras and their coBar differential graded algebras. A curved version of the homological perturbation lemma is also obtained as a useful technical tool for studying curved (co)algebras and precomplexes. The results of Koszul duality can be applied to study the category of matrix factorizations MF(R,W). We show how Dyckerhoff's generating results fit into the framework of curved Koszul duality theory. This enables us to clarify the relationship between the Borel-Moore Hochschild homology of curved (co)algebras …
We introduce the notion of a BV-operator $Δ=\{Δ^n:V^n\longrightarrow V^{n-1}\}_{n\geq 0}$ on a homotopy $G$-algebra $V^\bullet$ such that the Gerstenhaber bracket on $H(V^\bullet)$ is determined by $Δ$ in a manner similar to the BV-formalism. As an application, we produce a BV-operator on the cochain complex defining the secondary Hochschild cohomology of a symmetric algebra $A$ over a commutative algebra $B$.
We describe the Gerstenhaber algebra structure on the Hochschild cohomology HH*$(A)$ when $A$ is a quadratic string algebra. First we compute the Hochschild cohomology groups using Barzdell's resolution and we describe generators of these groups. Then we construct comparison morphisms between the bar resolution and Bardzell's resolution in order to get formulae for the cup product and the Lie bracket. We find conditions on the bound quiver associated to string algebras in order to get non-trivial structures.
Let $A$ be a Koszul Calabi-Yau algebra. We show that there exists an isomorphism of Batalin-Vilkovisky algebras between the Hochschild cohomology ring of $A$ and that of its Koszul dual algebra $A^!$. This confirms (a generalization of) a conjecture of R.~Rouquier.
This document is supplementary material for the author's paper \emph{The cup product on hochschild cohomology for localizations of filtered koszul algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.
In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A. Neeman and V. Retakh, which links $\mathrm{Ext}$-groups with fundamental groups of categories of extensions and relies on expressing the fundamental group of a (small) category by means of the associated Quillen groupoid. As a main result, we show that our construction behaves well with respect to structure preserving functors between exact monoidal categories…
The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the characteristic of the underlying field divides the group order. We show how to investigate Gerstenhaber brackets using twisted product resolutions, which are often smaller and more convenient than the cumber…
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…
In this article we establish an explicit link between the classical theory of deformations à la Gerstenhaber -- and a fortiori with the Hochschild cohomology-- and (weak) PBW-deformations of homogeneous algebras. Our point of view is of cohomological nature. As a consequence, we recover a theorem by R. Berger and V. Ginzburg, which gives a precise condition for a filtered algebra to satisfy the so-called PBW property, under certain assumptions.
It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A basic question is to define the differential of the bimodule Koszul complex of an $N$-homogeneous algebra, e.g., for computing its Hochschild homology. The differential defined here uses $N$-complexes. That puts right the wrong differential presented in the original paper in a 2-complex setting. Actually, as we shall see, it is impossible to avoid $N$-complex…
We formulate the Gerstenhaber algebra structure of Hochschild cohomology of finite group extensions of some quantum complete intersections. When the group is trivial, this work characterizes the graded Lie brackets on Hochschild cohomology of these quantum complete intersections, previously only known for a few cases. As an example, we compute the algebra structure for two generator quantum complete intersections extended by select groups.
In this paper, we study the Batalin-Vilkovisky structure on the Hochschild cohomology of quantum zigzag algebras $A_{q}$ of type $\widetilde{\mathbf{A}}_{1}$. We first calculate the dimensions of Hochschild homology groups and Hochschild cohomology groups of $A_{q}$. Based on these computations, we determine the Hochschild cohomology ring of $A_{q}$, and give the Batalin-Vilkovisky operator and the Gerstenhaber bracket on Hochschild cohomology ring of $A_{q}$ explicitly.
We define a cup product on the Hochschild cohomology of an associative conformal algebra $A$, and show the cup product is graded commutative. We define a graded Lie bracket with the degree $-1$ on the Hochschild cohomology $\HH^{\ast}(A)$ of an associative conformal algebra $A$, and show that the Lie bracket together with the cup product is a Gerstenhaber algebra on the Hochschild cohomology of an associative conformal algebra. Moreover, we consider the Hochschild cohomology of split extension conformal algebra $A\hat{\oplus}M$ of $A$ with a conformal bimodule $M$, and show that there exist an…
Let $R$ be a Koszul algebra over a field $k$ and $M$ be a linear $R$-module. We study a graded subalgebra $Δ_M$ of the Ext-algebra $\operatorname{Ext}_R^*(M,M)$ called the diagonal subalgebra and its properties. Applications to the Hochschild cohomology ring of $R$ and to periodicity of linear modules are given. Viewing $R$ as a linear module over its enveloping algebra, we also show that $Δ_R$ is isomorphic to the graded center of the Koszul dual of $R$.
In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Priddy. It also extends and generalizes the definition recently introduced by the author and A. Rey. In order to simplify the exposition we consider the minimal graded projective resolution of the algebra A as a bimodule, which may be used to compute the corresponding …
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（新西伯利亚国立大学）
In this article, we present actions by central elements on Hochschild cohomology groups with arbitrary bimodule coefficients, as well as an interpretation of these actions in terms of exact sequences. Since our construction utilises the monoidal structure that the category of bimodules possesses, we will further recognise that these actions are compatible with monoidal functors and thus, as a consequence, are invariant under Morita equivalences. By specialising the bimodule coefficients to the underlying algebra itself, our efforts in particular yield a description of the degree-$(n,0)$-part o…
We show that recollements of module categories give rise to homomorphisms between the associated Hochschild cohomology algebras which preserve the strict Gerstenhaber structure, i.e., the cup product, the graded Lie bracket and the squaring map. We review various long exact sequences in Hochschild cohomology and apply our results in order to realise that the occurring maps preserve the strict Gerstenhaber structure as well. As a byproduct, we generalise a known long exact cohomology sequence of Koenig-Nagase to arbitrary surjective homological epimorphisms. We use our observations to motivate …
The operad of anti-pre-Lie algebras and its Lie elements
Nankai University（南开大学）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Institut de Recherche Mathématique Avancée, UMR7501, Université de Strasbourg et CNRS（斯特拉斯堡大学CNRS联合数学高级研究所）；Université de Strasbourg（斯特拉斯堡大学）
We construct comparison morphisms between two well-known projective resolutions of a monomial algebra $A$: the bar resolution and Bardzell's resolution; the first one is used to define the cup product and the Lie bracket on the Hochschild cohomology $HH^*(A)$ and the second one has been shown to be an efficient tool for computations of these cohomology groups. The constructed comparison morphisms allow us to show that the cup product restricted to even degrees of the Hochschild cohomology has a very simple description. Moreover, for $A=k Q/I$ a monomial algebra such that $dim_k \ e_i A e_j = 1…
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…
We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homol…
Braverman and Gaitsgory gave necessary and sufficient conditions for a nonhomogeneous quadratic algebra to satisfy the Poincare-Birkhoff-Witt property when its homogeneous version is Koszul. We widen their viewpoint and consider a quotient of an algebra that is free over some (not necessarily semisimple) subalgebra. We show that their theorem holds under a weaker hypothesis: We require the homogeneous version of the nonhomogeneous quadratic algebra to be the skew group algebra (semidirect product algebra) of a finite group acting on a Koszul algebra, obtaining conditions for the Poincare-Birkh…
We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of a simply connected topological space. We prove that the canonical derived Poisson structure on a universal enveloping algebra arising from a cyclic pairing on the Koszul dual coalgebra preserves the H…
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology…
A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we define a cup product on the cohomology of a hom-associative algebra. We show that the cup product together with the degree $-1$ graded Lie bracket (which controls the deformation of the hom-associative algebra structure) on the cohomology forms a Gerstenhaber algebra. This generalizes a classical fact that the Hochschild cohomology of an associative algebra carries a Gerstenhaber algebra structure.
The purpose of this paper is to define cohomology structures on Hom-associative algebras and Hom-Lie algebras. The first and second coboundary maps were introduced by Makhlouf and Silvestrov in the study of one-parameter formal deformations theory. Among the relevant formulas for a generalization of Hochschild cohomology for Hom-associative algebras and a Chevalley-Eilenberg cohomology for Hom-Lie algebras, we define Gerstenhaber bracket on the space of multilinear mappings of Hom-associative algebras and Nijenhuis-Richardson bracket on the space of multilinear mappings of Hom-Lie algebras. Al…
The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace al…
We demonstrate how a simple linear-algebraic technique used earlier to compute low-degree cohomology of current Lie algebras, can be utilized to compute other kinds of structures on such Lie algebras, and discuss further generalizations, applications, and related questions. While doing so, we touch upon such seemingly diverse topics as associative algebras of infinite representation type, Hom-Lie structures, Poisson brackets of hydrodynamic type, Novikov algebras, simple Lie algebras in small characteristics, and Koszul dual operads.
In this note, we give a description of the graded Lie algebra of double derivations of a path algebra as a graded version of the necklace Lie algebra equipped with the Kontsevich bracket. Furthermore, we formally introduce the notion of double Poisson-Lichnerowicz cohomology for double Poisson algebras, and give some elementary properties. We introduce the notion of a linear double Poisson tensor on a quiver and show that it induces the structure of a finite dimensional algebra on the vector spaces V_v generated by the loops in the vertex v. We show that the Hochschild cohomology of the associ…
We exhibit a Poisson module restoring a twisted Poincare duality between Poisson homology and cohomology for the polynomial algebra R=C[X_1,...,X_n] endowed with Poisson bracket arising from a uniparametrised quantum affine space. This Poisson module is obtained as the semiclassical limit of the dualising bimodule for Hochschild homology of the corresponding quantum affine space. As a corollary we compute the Poisson cohomology of R, and so retrieve a result obtained by direct methods (so completely different from ours) by Monnier.
