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.     

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.     

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.     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.     

Hochschild Cohomology of <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We compute the Hochschild cohomology of any block of q-Schur algebras. We focus on 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 derive equivalence.     

Idempotent et cohomologie de Hochschild

Any idempotent element e of an (associative) algebra T defines an algebra $A=eTe$ with unit e. We show that the morphism which compares their Hochschild cohomology algebras is a Gerstenhaber algebras morphism. Moreover, this morphism factorizes through the cohomological algebras of many triangular algebras. To cite this article: B. Bendiffalah, D. Guin, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

(Co)Homology Theories for Oriented Algebras

We study three different (co)homology theories for a family of pullbacks of algebras that we call oriented. We obtain a Mayer Vietoris long exact sequence of Hochschild and cyclic homology and cohomology groups for these algebras. We give examples showing that our sequence for Hochschild cohomology groups is different from the known ones. In case the algebras are given by quiver and relations, and that the simplicial homology and cohomology groups are defined, we obtain a similar result in a slightly wider context. Finally, we also study the fundamental groups of the bound quivers involved in the pullbacks.     

一类量子Koszul 代数的Hochschild 上同调

本文利用组合的方法, 详细地计算了一类量子Koszul 代数Λ_q (q ∈ k \{0}) 的各阶Hochschild 上同调空间的维数, 清晰地刻划了代数Λ_q 的Hochschild 上同调的cup 积, 确定了代数Λ_q 的Hochschild上同调环HH^*(Λ_q) 模去幂零元生成的理想N 的结构, 证明了当q 为单位根时, HH^*(Λ_q)/N 作为代数不是有限生成的, 从而为Snashall-Solberg 猜想(即HH^*(Λ)/N 作为代数是有限生成的) 提供了更多反例.     

Products in Hochschild cohomology and Grothendieck rings of group crossed products

We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a group, and the orbifold cohomology ring for a global quotient. We generalize the first two examples by deriving product formulas for the Hochschild cohomology ring of a group crossed product and for the Grothendieck ring of an abelian extension of Hopf algebras. Our results account for similarities in the product structures among these examples.     

Homologies d'algèbres Artin–Schelter régulières cubiques

Hochschild homology of cubic Artin–Schelter regular algebras of type A with generic coefficients is computed. We follow the method used by Van den Bergh (K-Theory 8 (1994) 213–230) in the quadratic case, by considering these algebras as deformations of a polynomial algebra, with remarkable Poisson brackets. A new quasi-isomorphism is introduced. De Rham cohomology, cyclic and periodic cyclic homologies, and Hochschild cohomology are also computed. To cite this article: N. Marconnet, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Quillen-Barr-Beck (co-) homology for restricted Lie algebras

In this paper we use Quillen-Barr-Beck's theory of (co-) homology of algebras in order to define (co-) homology for the category RLie of restricted Lie algebras over a field k of characteristic p≠0. In contrast with the cases of groups, associative algebras and Lie algebras we do not obtain Hochschild (co-) homology shifted by 1.Precisely, we determine for L∈RLie the category of Beck L-modules and the group of Beck derivations of g∈RLie/L to a Beck L-module M. Moreover, we prove a classification theorem which gives a one-to-one correspondence between the one cohomology and the set of equivalent classes of p-extensions. Finally, a universal coefficient theorem is proved, relating the homology to the Hochschild homology via a short exact sequence. This shows that the new homology determines the Hochschild homology.     

Cohomology Algebras of Blocks of Finite Groups and Brauer Correspondence II

Let k be an algebraically closed field of characteristic p. We shall discuss the cohomology algebras of a block ideal B of the group algebra kG of a finite group G and a block ideal C of the block ideal of kH of a subgroup H of G which are in Brauer correspondence and have a common defect group, continuing (Kawai and Sasaki, Algebr Represent Theory 9(5):497–511, 2006). We shall define a (B,C)-bimodule L. The k-dual L ^* induces the transfer map between the Hochschild cohomology algebras of B and C, which restricts to the inclusion map of the cohomology algebras of B into that of C under some condition. Moreover the module L induces a kind of refinement of Green correspondence between indecomposable modules lying in the blocks B and C; the block varieties of modules lying in B and C which are in Green correspondence will also be discussed.     

Automorphism groups of trivial extensions

Given a split basic finite dimensional algebra A over a field, we study the relationship between the groups of categorical automorphisms of A and its trivial extension A?D(A). Our results cover all triangular algebras and all 2-nilpotent algebras whose quiver has no nontrivial oriented cycle of length ?2. In this latter as well as in the hereditary case, we give structure theorem for CAut(A?D(A)) in terms of CAut(A). As a byproduct, we get the precise relationship between the first Hochschild cohomology groups of A and A?D(A).     

Hochschild cohomology for self-injective algebras of tree class <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>. II

The minimal projective bimodule resolution for a certain family of representation-finite self-injective algebras of tree class D _n is constructed. The dimensions of the groups of Hochschild cohomology for the algebras under consideration are calculated by the instrumentality of this resolution. The resolution constructed is periodic, and accordingly the Hochschild cohomology for these algebras is periodic as well. Bibliogaphy: 12 titles.     

A family of Koszul self-injective algebras with finite Hochschild cohomology

This paper presents an infinite family of Koszul self-injective algebras whose Hochschild cohomology ring is finite-dimensional. Moreover, for each $N?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 [R.-O. Buchweitz, E.L. Green, D. Madsen, Ø. Solberg, Finite Hochschild cohomology without finite global dimension, Math. Res. Lett. 12 (2005) 805–816] which were used to give a negative answer to Happel’s question, in that they have infinite global dimension but finite-dimensional Hochschild cohomology.     

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.     

Hochschild cohomology of algebras of quaternionic type: The family Q(2ℬ)<Subscript>1</Subscript>(<Emphasis Type="Italic">k,s, a,c</Emphasis>) over a field of characteristic different from 2

In a previous joint paper of the author with A.I. Generalov and S.O. Ivanov, the Hochschild cohomology algebra of quaternionic-type algebras from the family Q(2ℬ)₁ over an algebraically closed field of characteristic 2 was calculated. In this paper, the Hochschild cohomology groups of algebras from this family over an algebraically closed field of characteristic different from 2 are calculated. As a corollary, the additive structure of the Hochschild cohomology of algebras of type Q(2 $ A $ A ) over a field of characteristic not 2 is described.     

Hochschild cohomology for self-injective algebras of tree class D n . I

The minimal projective bimodule resolution is constructed for algebras in a family of self-injective algebras of finite representation type with tree class D_n. Using this resolution, we calculate the dimensions of the Hochschild cohomology groups for the algebras under consideration. The described resolution is periodic, and thus the Hochschild cohomology of these algebras is periodic as well. Bibliography: 11 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 343, 2007, pp. 121–182.