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.     

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.     

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.     

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 cohomology of the Weyl algebra,the quantum plane,and the q-Weyl algebra

Deformation theory can be used to compute the cohomology of a deformed algebra with coefficients in itself from that of the original. Using the invariance of the Euler–Poincaré characteristic under deformation, it is applied here to compute the cohomology of the Weyl algebra, the algebra of the quantum plane, and the q-Weyl algebra. The behavior of the cohomology when q is a root of unity may encode some number theoretic information.     

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.     

Gerstenhaber structure and Deligne’s conjecture for Loday algebras

A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne’s conjecture for Loday algebras.     

Hochschild cohomology and stratifying ideals

Suppose B is an algebra with a stratifying ideal BeB generated by an idempotent e. We will establish long exact sequences relating the Hochschild cohomology groups of the three algebras B, B/BeB and eBe. This provides a common generalization of various known results, all of which extend Happel’s long exact sequence for one-point extensions. Applying one of these sequences to Hochschild cohomology algebras modulo the ideal generated by homogeneous nilpotent elements shows, in some cases, that these algebras are finitely generated.     

Projective bundle ideals and Poincaré duality algebras

The study of maximal-primary irreducible ideals in a commutative graded connected Noetherian algebra over a field is in principle equivalent to the study of the corresponding quotient algebras. Such algebras are Poincaré duality algebras. A prototype for such an algebra is the cohomology with field coefficients of a closed oriented manifold. Topological constructions on closed manifolds often lead to algebraic constructions on Poincaré duality algebras and therefore also on maximal-primary irreducible ideals. It is the purpose of this note to examine several of these and develop some of their basic properties.     

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.     

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 cohomology for periodic algebras of polynomial growth

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.     

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.     

Cohomological reduction by split pairs

A new method is developed to compare cohomology in module categories of different rings. This method does in general not produce isomorphisms, but surjective (or injective) maps between extension groups of modules over the two rings involved. Applications of this method are given to abstract problems—we recover and extend results on the strong no loops conjecture—and to algebras naturally coming up in invariant theory—we relate the cohomology of Brauer algebras with that of various symmetric groups.     

Hochschild cohomology of abelian categories and ringed spaces

This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in terms of a suitable notion of Hochschild cohomology for abelian categories. We then show that this Hochschild cohomology coincides with the one defined by Gerstenhaber, Schack and Swan in the case of module categories over diagrams and schemes and also with the Hochschild cohomology for exact categories introduced recently by Keller. In addition we show in complete generality that Hochschild cohomology satisfies a Mayer-Vietoris property and that for constantly ringed spaces it coincides with the cohomology of the structure sheaf.     

Algèbres et cogèbres de Gerstenhaber et cohomologie de Chevalley-Harrison

The fundamental example of Gerstenhaber algebra is the space Tpoly(Rd) of polyvector fields on Rd, equipped with the wedge product and the Schouten bracket. In this paper, we explicitely describe what is the enveloping G_∞ algebra of a Gerstenhaber algebra G. This structure gives us a definition of the Chevalley-Harrison cohomology operator for G. We finally show the nontriviality of a Chevalley-Harrison cohomology group for a natural Gerstenhaber subalgebra in Tpoly(Rd).     

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).     

On rack cohomology

We prove that the lower bounds for Betti numbers of the rack, quandle and degeneracy cohomology given in Carter et al. (J. Pure Appl. Algebra, 157 (2001) 135) are in fact equalities. We compute as well the Betti numbers of the twisted cohomology introduced in Carter et al. (Twisted quandle cohomology theory and cocycle knot invariants, math. GT/0108051). We also give a group-theoretical interpretation of the second cohomology group for racks.