On the Hochschild cohomology ring of tensor products of algebras

We prove that, as Gerstenhaber algebras, the Hochschild cohomology ring of the tensor product of two algebras is isomorphic to the tensor product of the respective Hochschild cohomology rings of these two algebras, when at least one of them is finite dimensional. In case of finite dimensional symmetric algebras, this isomorphism is an isomorphism of Batalin–Vilkovisky algebras. As an application, we explain by examples how to compute the Batalin–Vilkovisky structure, in particular, the Gerstenhaber Lie bracket, over the Hochschild cohomology ring of the group algebra of a finite abelian group.     

Tensor product of Hopf bimodules over a group

We describe the monoidal structure of the category of Hopf bimodules of a finite group and we derive a surjective ring map from the Grothendieck ring of the category of Hopf bimodules to the center of the integral group ring. We consider analogous results for the multiplicative structure of the Hochschild cohomology.

     

Bialgebra cohomology, pointed Hopf algebras, and deformations

We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.     

Radical cube zero weakly symmetric algebras and support varieties

One of our main results is a classification of all the weakly symmetric radical cube zero finite dimensional algebras over an algebraically closed field having a theory of support via the Hochschild cohomology ring satisfying Dade’s Lemma. In the process we give a characterization of when a finite dimensional Koszul algebra has such a theory of support in terms of the graded centre of the Koszul dual.     

On Hochschild cohomology of orders

We show that certain tiled R-orders $\Lambda$ have periodic projective resolutions and hence we determine the Hochschild cohomology ring of $\Lambda$. This generalises, reproves and connects several results in the literature.Received: 23 October 2002     

Hochschild-Mitchell cohomology and Galois extensions

We define H-Galois extensions for k-linear categories 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 group algebra decomposes as a direct sum indexed by conjugacy classes of the group. We also compute some Hochschild-Mitchell cohomology groups of categories with infinite associated quivers.     

Global Hochschild (co-)homology of singular spaces

We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so-called (derived) Hochschild complex of a morphism; the Hochschild cohomology and homology groups are then the Ext and Tor groups of that complex. We prove that these objects are well defined, extend the known cases, and have the expected functorial and homological properties such as graded commutativity of Hochschild cohomology and existence of the characteristic homomorphism from Hochschild cohomology to the (graded) centre of the derived category.     

André spectral sequences for Baues–Wirsching cohomology of categories

We construct spectral sequences in the framework of Baues–Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical cohomology and homology theories including Hochschild–Mitchell cohomology and those studied before by Watts, Roos, Quillen and others.     

Hochschild homology and split pairs

We study the Hochschild homology of algebras related via split pairs, and apply this to fiber products, trivial extensions, monomial algebras, graded-commutative algebras and quantum complete intersections. In particular, we compute lower bounds for the dimensions of both the Hochschild homology and cohomology groups of quantum complete intersections.     

The cohomology structure of string algebras

We show that the graded commutative ring structure of the Hochschild cohomology HH^*(A) is trivial in case A is a triangular quadratic string algebra. Moreover, in case A is gentle, the Lie algebra structure on HH^*(A) is also trivial.     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

Hochschild cohomology of brauer tree algebras

The aim of this paper is to study the structure of the Hochschild cohomology ring of Brauer tree algebras. We explicitly describe the even cohomology ring by generators and relations. This generalizes results of [11] on the Hochschild cohomology of blocks of modular group algebras with cyclic defect groups.     

Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

一类量子Koszul代数的${\mathbb{Z}}_{2}$-Galois 覆盖的 Hochschild上同调

考虑一类量子Koszul代数的 ${\mathbb{Z}}_{2}$-Galois覆盖$\Lambda_{\q}$, 并计算 这类代数的各阶Hochschild上同调群的维数, 进而利用道路的语言, 刻画了 Hochschild上同调环的cup积. 作为应用, 给出了这类代数的Hochschild上同调环模掉幂零理想的 代数结构.     

Transfer in Hochschild Cohomology of Blocks of Finite Groups

We develop the notion of a cohomology ring of blocks of finite groups and study its basic properties by means of transfer maps between the Hochschild cohomology rings of symmetric algebras associated with bounded complexes of finitely generated bimodules which are projective on either side.