We study the Lie algebra structure of the first Hochschild cohomology group of a finite dimensional monomial algebra A, in terms of the combinatorics of its quiver, in any characteristic. This allows us also to examine the identity component of the algebraic group of outer automorphisms of A in characteristic zero. Criteria for the (semi-)simplicity, the solvability, the reductivity, the commutativity and the nilpotency are given.
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 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 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.
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.
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.
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.
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.
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 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.
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.
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…
Dimer models provide a method of constructing noncommutative crepant resolutions of affine toric Gorenstein threefolds. In homological mirror symmetry, they can also be used to describe noncommutative Landau--Ginzburg models dual to punctured Riemann surfaces. For a zigzag consistent dimer embedded in a torus, we explicitly compute the Hochschild cohomology of its Jacobi algebra in terms of dimer combinatorics. This includes a full characterization of the Batalin--Vilkovisky structure induced by the Calabi--Yau structure of the Jacobi algebra. We then compute the compactly supported Hochschild…
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.
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…
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,…
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.
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.
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-…
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 define the singular Hochschild cohomology groups $HH_{sg}^i(A, A)$ of an associative $k$-algebra $A$ as morphisms from $A$ to $A[i]$ in the singular category $D_{sg}(A\otimes_k A^{op})$ for $i\in \mathbb{Z}$. We prove that $HH_{sg}^*(A, A)$ has a Gerstenhaber algebra structure and in the case of a symmetric algebra $A$, $HH_{sg}^*(A, A)$ is a Batalin-Vilkovisky (BV) algebra.
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$.
