Let $A$ be a $k$-algebra and $G$ be a group acting on $A$. We show that $G$ also acts on the Hochschild cohomology algebra $HH^{\bullet}(A)$ and that there is a monomorphism of rings $HH^{\bullet}(A)^G \hookrightarrow HH^{\bullet}(A[G])$. That allows us to show the existence of a monomorphism from $HH^{\bullet}(\widetilde{A})^G$ into $HH^{\bullet}(A)$, where $\widetilde{A}$ is a Galois covering with group $G$.
We show that dualising transfer maps in Hochschild cohomology of symmetric algebras commutes with Tate duality. This extends a well-known result in group cohomology.
We study homological properties of a family of algebras called toupie algebras. Our main objective is to obtain the Gerstenhaber structure of their Hochschild cohomology, with the purpose of describing the Lie algebra structure of the first Hochschild cohomology space, together with the Lie module structure of the whole Hochschild cohomology.
We compute the Hochschild cohomology groups of gentle algebras and show that they are determined by the derived invariant introduced by Avella-Alaminos and Geiss.
We calculate the dimensions of the Hochschild cohomology groups of a self-injective special biserial algebra $Λ_{s}$ obtained by a circular quiver with double arrows. Moreover, we give a presentation of the Hochschild cohomology ring modulo nilpotence of $Λ_{s}$ by generators and relations. This result shows that the Hochschild cohomology ring modulo nilpotence of $Λ_{s}$ is finitely generated as an algebra.
We compute the Hochschild Cohomology of a finite-dimensional preprojective algebra of generalized Dynkin type Ln over a field of characteristic different from 2 . In particular, we describe the ring structure of the Hochschild Cohomology ring under the Yoneda product by giving an explicit presentation by generators and relations.
In this paper we explore the relations between the Hochschild cohomology of an algebra over some field and the Hochschild cohomology of its smash product with a finite group. Basically we are concentrated on the case where the group under consideration is an extension of a cyclic $p$-group by some $p'$-group, where $p$ is the characteristic of the ground field.
We explicitly calculate a projective bimodule resolution for a special biserial algebra giving rise to the Hecke algebra H_q(S_4) when q=-1. We then determine the dimensions of the Hochschild cohomology groups.
Tate-Hochschild cohomology of an algebra is a generalization of ordinary Hochschild cohomology, which is defined on positive and negative degrees and has a ring structure. Our purpose of this paper is to study the eventual periodicity of an algebra by using the Tate-Hochschild cohomology ring. First, we deal with eventually periodic algebras and show that they are not necessarily Gorenstein algebras. Secondly, we characterize the eventual periodicity of a Gorenstein algebra as the existence of an invertible homogeneous element of the Tate-Hochschild cohomology ring of the algebra, which is our…
In this paper we study the second Hochschild cohomology group of the preprojective algebra of type $D_4$ over an algebraically closed field $K$ of characteristic 2. We also calculate the second Hochschild cohomology group of a non-standard algebra which arises as a socle deformation of this preprojective algebra and so show that the two algebras are not derived equivalent. This answers a question raised by Holm and Skowroński.
Let $k$ be an algebraically closed field of characteristic $p>2$. We determine the Hochschild cohomology of $U(\mathfrak{sl}_2(k))$ and the invariants of $\mathfrak{sl}_2(k)$ and $\mathsf{SL}_2(k)$ in the adjoint action on the divided power algebra $D(\mathfrak{sl}_2(k))$.
We describe the dimensions of low Hochschild cohomology spaces of exceptional periodic representation-infinite algebras of polynomial growth. As an application we obtain that an indecomposable non-standard periodic representation-infinite algebra of polynomial growth is not derived equivalent to a standard self-injective algebra.
In this paper we study sufficient conditions for the solvability of the first Hochschild cohomology of a finite dimensional algebra as a Lie algebra in terms of its Ext-quiver in arbitrary characteristic. In particular, we show that if the quiver has no parallel arrows and no loops then the first Hochschild cohomology is solvable. For quivers containing loops, we determine easily verifiable sufficient conditions for the solvability of the first Hochschild cohomology. We apply these criteria to show the solvability of the first Hochschild cohomology space for large families of algebras, namely,…
In this paper, we determine the dimensions of the Hochschild cohomology groups of some self-injective special biserial algebra whose Grothendieck group is of rank $4$. This result provides us with a negative answer to Happel's question in [H].
In this paper we determine the first Hochschild homology and cohomology with different coefficients for gentle algebras and we give a geometrical interpretation of these (co)homologies using the ribbon graph of a gentle algebra as defined in earlier work by the second author. We give an explicit description of the Lie algebra structure of the first Hochschild cohomology of gentle and Brauer graph algebras (with multiplicity one) based on trivial extensions of gentle algebras and we show how the Hochschild cohomology is encoded in the Brauer graph. In particular, we show that except in one low-…
In this paper we determine the second Hochschild cohomology group for a class of self-injective algebras of tame representation type namely, those which are standard one-parametric but not weakly symmetric. These were classifed up to derived equivalence by Bocian, Holm and Skowroński. We connect this to the deformation of these algebras.
We compute the Hochschild cohomology algebras of Ringel-self-dual blocks of polynomial representations of $\GL_2$ over an algebraically closed field of characteristic $p>2$, that is, of any block whose number of simple modules is a power of $p$. These algebras are finite-dimensional and we provide an explicit description of their bases and multiplications.
We use the dimension and the Lie algebra structure of the first Hochschild cohomology group to distinguish some algebras of dihedral, semi-dihedral and quaternion type up to stable equivalence of Morita type. In particular, we complete the classification of algebras of dihedral type that was mostly determined by Zhou and Zimmermann.
In this paper we study the second Hochschild cohomology group ${HH}^2(Λ)$ of a finite dimensional algebra $Λ$. In particular, we determine ${HH}^2(Λ)$ where $Λ$ is a finite dimensional self-injective algebra of finite representation type over an algebraically closed field $K$ and show that this group is zero for most such $Λ$; we give a basis for ${HH}^2(Λ)$ in the few cases where it is not zero.
We study the Lie module structure given by the Gerstenhaber bracket on the Hochschild cohomology groups of a monomial algebra with radical square zero. The description of such Lie module structure will be given in terms of the combinatorics of the quiver. The Lie module structure will be related to the classification of finite dimensional modules over simple Lie algebras when the quiver is given by the two loops and the ground field is the complex numbers.
Given a finite-dimensional algebra $Λ$ and $A \geqslant 1$, we construct a new algebra $\tildeΛ_A$, called the stretched algebra, and relate the homological properties of $Λ$ and $\tildeΛ_A$. We investigate Hochschild cohomology and the finiteness condition (Fg), and use stratifying ideals to show that $Λ$ has (Fg) if and only if $\tildeΛ_A$ has (Fg). We also consider projective resolutions and apply our results in the case where $Λ$ is a $d$-Koszul algebra for some $d \geqslant 2$.
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.
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 discuss how the Hochschild cohomology of a dg category can be computed as the trace of its Serre functor. Applying this approach to the principal block of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$, we obtain its Hochschild cohomology as the compactly supported cohomology of an associated space. Equivalently, writing $\mathcal{O}$ as modules over the endomorphism algebra $A$ of a minimal projective generator, this is the Hochschild cohomology of $A$. In particular our computation gives the Euler characteristic of the Hochschild cohomology of $\mathcal{O}$ in type A.
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.
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.
In this paper, we compute the product structure of the Hochschild cohomology of preprojective algebras of quivers of type D and E over a field of characteristic zero.
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…
We give a basis for the Hochschild cohomology ring of tame Hecke algebras. We then show that the Hochschild cohomology ring modulo nilpotence is a finitely generated algebra of Krull dimension 2, and describe the support varieties of modules for these algebras. As a consequence we obtain the result that the Hochschild cohomology ring modulo nilpotence of a Hecke algebra has Krull dimension 1 if the algebra is of finite type and has Krull dimension 2 if the algebra is of tame type.
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.
Let $(S,L)$ be a Lie-Rinehart pair such that $L$ is $S$-projective and let $U$ be its universal enveloping algebra. The purpose of this paper is to present a spectral sequence which converges to the Hochschild cohomology of $U$ and whose second page involves the Lie-Rinehart cohomology of the pair and the Hochschild cohomology of $S$ with values on $U$.
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 $B$ be a quantum algebra possessing a semiclassical limit $A$. We show that under certain hypotheses $B^e$ can be thought of as a deformation of the Poisson enveloping algebra of $A$, and we give a criterion for the Hochschild cohomology of $B$ to be a deformation of the Poisson cohomology of $A$ in the case that $B$ is Koszul. We verify that condition for the algebra of $2\times 2$ quantum matrices and calculate its Hochschild cohomology and the Poisson cohomology of its semiclassical limit.
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.
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 Hochschild cohomology ring of a group algebra is an object that has received recent attention, but is difficult to compute, in even the simplest of cases. In this paper, we use the product formula due to Witherspoon and Siegel to extend some of their computations. In particular, we compute the Hochschild cohomology algebra of group algebras kG where |G| is less than 16, and we provide an alternative computation of the ring $HH^*(k(E \ltimes P))$ considered by Kessar and Linckelmann.
We determine the product structure on Hochschild cohomology of commutative algebras in low degrees, obtaining the answer in all degrees for complete intersection algebras. As applications, we consider cyclic extension algebras as well as Hochschild and ordinary cohomology of finite abelian groups.
Dieter Happel asked the following question: If the $n$-th Hochschild cohomology group of a finite dimensional algebra $Γ$ over a field vanishes for all sufficiently large $n$, is the global dimension of $Γ$ finite? We give a negative answer to this question.
The Hochschild homology/cohomology an associative algebra, together with the Connes differential, the contraction map and the Lie derivative, forms the structure of calculus. In this paper we compute explicitely the calculus structure of preprojective algebras of Dynkin quivers over a field of characteristic zero. This also completes the work in math.AG/0502301, where the Batalin-Vilkovisky structure of the Hochschild cohomology of preprojective algebras of non-Dynkin quivers are computed and the calculus can be easily computed from that.
Given a cluster-tilted algebra B we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. We find several consequences when B is representation-finite, and also in the case where B is cluster-tilted of type \tilde{\mathbb{A}}.
We generalize the notion of Külshammer ideals to the setting of a graded category. This allows us to define and study some properties of Külshammer type ideals in the graded center of a triangulated category and in the Hochschild cohomology of an algebra, providing new derived invariants. Further properties of Külshammer ideals are studied in the case where the category is $d$-Calabi-Yau.
Symonds' proof of Benson's regularity conjecture implies that the regularity of the cohomology of a fusion system and that of the Hochschild cohomology of a p-block of a finite group is at most zero. Using results of Benson, Greenlees, and Symonds, we show that in both cases the regularity is equal to zero.
This is a survey paper based on my talks at the 41st Symposium on Ring Theory and Representation Theory, held in Shizuoka University, Japan in September 2008, and will appear in the conference proceedings. The paper begins with a brief introduction to the use of Hochschild cohomology in developing the theory of support varieties for a module over an artin algebra, by Snashall and Solberg (Proc. London Math. Soc.(3) 88 (2004), 705-732). The paper then describes the current status of research concerning the structure of the Hochschild cohomology ring modulo nilpotence.
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 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 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.
We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups.
We consider the socle deformations arising from formal deformations of a class of Koszul self-injective special biserial algebras which occur in the study of the Drinfeld double of the generalized Taft algebras. We show, for these deformations, that the Hochschild cohomology ring modulo nilpotence is a finitely generated commutative algebra of Krull dimension 2.
We apply the sheaf cohomology BGG method developed by the authors and Lachowska-Qi to the computation of Hochschild cohomology groups of various blocks of the small quantum group. All our computations of the center of the corresponding block agree with the conjectures of Lachowska-Qi. In the case of the nontrivial singular block for $\mathfrak{g} = \mathfrak{sl}_3$, we obtain the H*$(\mathfrak{u}, \mathbb{C}) = \mathbb{C}[\mathcal{N}]$-module structure of HH*$(\mathfrak{u}_λ)$.
We determine the Batalin-Vilkovisky structure on the Tate-Hochschild cohomology of the group algebra $kG$ of a finite group $G$ in terms of the additive decomposition. In particular, we show that the Tate cohomology of $G$ is a Batalin-Vilkovisky subalgebra of the Tate-Hochschild cohomology of the group algebra $kG$, and that the Tate cochain complex of $G$ is a cyclic $A_{\infty}$-subalgebra of the Tate-Hochschild cochain complex of $kG$.
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
We give an explicit approach for Bockstein homomorphisms of the Hochschild cohomology of a group algebra and of a block algebra of a finite group and we show some properties. To give explicit definitions for these maps we use an additive decomposition and a Product Formula for the Hochschild cohomology of group algebras given by Siegel and Witherspoon in 1999. For k an algebraically closed field of characteristic p and G a finite group we prove an additive decomposition and a Product Formula for the cohomology algebra of a defect group of a block ideal of kG with coefficients in the source alg…
