Hochschild two-cocycles play an important role in the deformation à la Gerstenhaber of associative algebras. The aim of this paper is to introduce the category of Hoch-algebras whose objects are associative algebras equipped with an extra magmatic operation \succ verifying the Hochschild two-cocycle relation:
(x \succ y)*z+ (x*y)\succ z= x\succ (y*z)+ x*(y\succ z).
The free Hoch-algebra over a K-vector space is given in terms of planar rooted trees and the triples of operads (As,Hoch, Mag^\infty) endowed with the infinitesimal relations are shown to be good. We then obtain an equivalence of categories between connected infinitesimal Hoch-bialgebras and Mag^\infty-algebras.
We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.
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.
It has been shown in previous work that the modular group acts projectively on the center of a factorizable ribbon Hopf algebra. The center is the zeroth Hochschild cohomology group. In this article, we extend this projective action of the modular group to an arbitrary Hochschild cohomology group of a factorizable ribbon Hopf algebra, in fact up to homotopy even to a projective action on the entire Hochschild cochain 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.
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)$.
We show that the secondary Hochschild cohomology associated to a triple $(A,B,\varepsilon)$ has several of the properties of the usual Hochschild cohomology. Among others, we prove the existence of the cup and Lie products, discuss the connection with extensions of $B$-algebras, and give a Hodge type decomposition of the secondary Hochschild cohomology.
Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.
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 present a deformation theory associated to the higher Hochschild cohomology $H_{S^2}^*(A,A)$. We also study a $G$-algebra structure associated to this deformation theory.
We compute the Hochschild cohomology of any block of $q$-Schur algebras. We focus the even part of this Hochschild cohomology ring. To compute the Hochschild cohomology of $q$-Schur algebras, we prove the following two results: first, we construct two graded algebra surjections between the Hochschild cohomologies of quasi-hereditary algebras because all $q$-Schur algebras over a field are quasi-hereditary. Second, we give the graded algebra isomorphism of Hochschild cohomologies by using a certain derived equivalence.
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 prove that Hochschild cohomology of a certain class of fully group-graded algebras is a Mackey functor. We use the machinery of transfer maps between the Hochschild cohomology of symmetric algebras.
We give two sufficient and necessary conditions for a Hochschild extension of a finite dimensional algebra by its dual bimodule and a Hochschild 2-cocycle to be a symmetric algebra.
It is shown that the Hochschild Cohomological dimension of an associative algebra is not an upper-semi continuous function, showing the semi-continuity theorem is no longer valid for non-commutative algebras. A family of $\mathbb{C}$ exhibits this-algebras parameterized by $\mathbb{C}$ all but one of which has Hochschild cohomological dimension $2$ and the other having Hochschild cohomological dimension $1$.
For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples.
We prove the existence of two long exact sequences relating the Hochschild cohomology of a triangular matrix algebra with the Hochschild homology of its component subalgebras. We also study the structure of the maps of the first sequence.
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.
In this paper we define a new cohomology theory for a $B$-algebra $A$. We use this cohomology to study deformations of algebras $A[[t]]$, that have a $B$-algebra structure.
We study cup product and cap product in Tate-Hochschild theory for a finite dimensional Frobenius algebra. We show that Tate-Hochschild cohomology ring equipped with cup product is isomorphic to singular Hochschild cohomology ring introduced by Wang. An application of cap product occurs in Tate-Hochschild duality; as in Tate (co)homology of a finite group, the cap product with the fundamental class of a finite dimensional Frobenius algebra provides certain duality result between Tate-Hochschild cohomology and homology groups. Moreover, we characterize minimal complete resolutions over a finite…
In this paper we study properties of the secondary Hochschild homology of the triple $(A,B,\varepsilon)$ with coefficients in $M$. We establish a type of Morita equivalence between two triples and show that $H_\bullet((A,B,\varepsilon);M)$ is invariant under this equivalence. We also prove the existence of an exact sequence which connects the usual and the secondary Hochschild homologies in low dimension, allowing one to perform easy computations. The functoriality of $H_\bullet((A,B,\varepsilon);M)$ is also discussed.
For a truncated quiver algebra over a field of arbitrary characteristic, its Hochschild cohomology is calculated. Moreover, it is shown that its Hochschild cohomology algebra is finite-dimensional if and only if its global dimension is finite if and only if its quiver has no oriented cycles.
Let k be a field, q in k. We derive a cup product formula on the Hochschild cohomology ring of a family Lambda_q of quiver algebras. Using this formula, we determine a subalgebra of k[x,y] isomorphic to Hochschild cohomology modulo N, where N is the ideal generated by homogeneous nilpotent elements. We explicitly construct non-nilpotent Hochschild cocycles which cannot be generated by lower homological degree elements, thus disproving the Snashall-Solberg finite generation conjecture.
We consider a class of self-injective special biserial algebras $Λ_N$ over a field $K$ and show that the Hochschild cohomology ring of $Λ_N$ is a finitely generated $K$-algebra. Moreover the Hochschild cohomology ring of $Λ_N$ modulo nilpotence is a finitely generated commutative $K$-algebra of Krull dimension two. As a consequence the conjecture of Snashall-Solberg \cite{SS}, concerning the Hochschild cohomology ring modulo nilpotence, holds for this class of algebras.
We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be defined as a derived functor on the category of representations of a crossed product algebra. We investigate the relationship of our theory with Hopf cyclic cohomology and also prove Morita invariance of the Hopf--Hochschild (co)homology.
For algebras with radical square zero, we give a combinatorial description to the Tate-Hochschild cohomology. We compute the Gerstenhaber algebra structure on the Tate-Hochschild cohomology for some classes of such algebras.
The minimal projective bimodule resolutions of the exterior algebras are explicitly constructed. They are applied to calculate the Hochschild (co)homology of the exterior algebras. Thus the cyclic homology of the exterior algebras can be calculated in case the underlying field is of characteristic zero. Moreover, the Hochschild cohomology rings of the exterior algebras are determined by generators and relations.
We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in positive degree to those in negative degree, in the case where the algebra is Frobenius. We explicitly compute all Tate-Hochschild (co)homology groups for certain classes of Frobenius algebras, namely…
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…
Hochschild (co)homology and Pirashvili's higher order Hochschild (co)homology are useful tools for a variety of applications including deformations of algebras. When working with higher order Hochschild (co)homology, we can consider the (co)homology of any commutative algebra with symmetric coefficient bimodules, however traditional Hochschild (co)homology is able to be computed for any associative algebra with not necessarily symmetric coefficient bimodules. In a previous paper, the author generalized higher order Hochschild cohomology for multimodule coefficients (which need not be symmetric…
We show that for many semi-hyperbolic groups the decomposition into conjugacy classes of the Hochschild homology of the l^1-rapid decay group algebra is injective.
We define $H$-Galois extensions for $k$-linear categories and a Hopf algebra $H$ and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology, related to this situation. This spectral sequence is multiplicative and for a $H$ a group algebra decomposes as a direct sum indexed by the set of conjugacy classes of the group. We also compute some Hochschild-Mitchell cohomology groups of categories with infinite associated quiver.
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.
Let $T$ be a Hochschild extension algebra of a finite dimensional algebra $A$ over a field $K$ by the standard duality $A$-bimodule ${\rm Hom}_K(A,\,K)$. In this paper, we determine the ordinary quiver of $T$ if $A$ is a self-injective Nakayama algebra by means of the $\mathbb{N}$-graded second Hochschild homology group $HH_2(A)$ in the sense of Sköldberg.
The objective of this paper is to give a concrete interpretation of the dimension of the first Hochschild cohomology space of a cyclically oriented or tame cluster tilted algebra in terms of a numerical invariant arising from the potential.
We study the homological algebra of bimodules over involutive associative algebras. We show that Braun's definition of involutive Hochschild cohomology in terms of the complex of involution-preserving derivations is indeed computing a derived functor: the Z/2-invariants intersected with the center. We then introduce the corresponding involutive Hochschild homology theory and describe it as the derived functor of the pushout of Z/2-coinvariants and abelianization.
In this paper we define a new cohomology for multiplicative Hom-associative algebras, which generalize Hochschild cohomology and fits with deformations of Hom-associative algebras including the structure map $α$. It is a generalization of the known Hochschild-type cohomology for Hom-associative algebras defined by Amar, Ejbehi and Makhlouf. Moreover, we provide various observations and similarly a new cohomology of Hom-bialgebras extending the Gerstenhaber-Schack cohomology for Hom-bialgebras given by Dekkar and Makhlouf.
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.
We compute the Hochschild cohomology ring of the algebras $A= k\langle X, Y\rangle/ (X^a, XY-qYX, Y^a)$ over a field $k$ where $a\geq 2$ and where $q\in k$ is a primitive $a$-th root of unity. We find the the dimension of $\mathrm{HH}^n(A)$ and show that it is independent of $a$. We compute explicitly the ring structure of the even part of the Hochschild cohomology modulo homogeneous nilpotent elements.
It is shown that a recollement of derived categories of algebras induces those of tensor product algebras and opposite algebras respectively, which is applied to clarify the relations between recollements of derived categories of algebras and smoothness and Hochschild cohomology of algebras.
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…
We describe how the Hochschild (co)homology of a bound quiver algebra changes when adding or deleting arrows to the quiver. The main tools are relative Hochschild (co)homology, the Jacobi-Zariski long exact sequence obtained by A. Kaygun and a one step relative projective resolution of a tensor algebra.
Let A be any finite dimensional Hopf algebra over a field k. We specify the Tate and Tate-Hochschild cohomology for A and introduce cup products that make them become graded rings. We establish the relationship between these rings. In particular, the Tate-Hochschild cohomology of A is isomorphic (as algebras) to its Tate cohomology with coefficients in an adjoint module. Consequently, the Tate cohomology ring of A is a direct summand of its Tate-Hochschild cohomology ring. As an example, we explicitly compute both the Tate and Tate-Hochschild cohomology for the Sweedler algebra H_4.
We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral sequence of the length filtration of a Hochschild chain complex. $A_\infty$-structures arise naturally in the study of based loop spaces and the geometry of manifolds, in particular in Lagrangian Floer theory and Morse homology. In several geometric situations, Hochschild homology may be used to describe homology groups of free loop spaces. The objective of thi…
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…
Keller proved in 1999 that the Gerstenhaber algebra structure on the Hochschild cohomology of an algebra is an invariant of the derived category. In this paper, we adapt his approach to show that the Gerstenhaber algebra structure on the Tate-Hochschild cohomology of an algebra is preserved under singular equivalences of Morita type with level, a notion introduced by the author in previous work.
Let $G$ be a finite simple group and $k$ be an algebraically closed field of prime characteristic dividing the order of $G$. We show that for all $2$-cocycles $α\in Z^2(G;k^\times)$, the first Hochschild cohomology group of the twisted group algebra $HH^1(k_αG)$ is nonzero.
