Related papers: Hochschild and ordinary cohomology rings of small …

By a result of Gerstenhaber and Schack the simplicial cohomology ring $H^*(\mathcal{C};k)$ of a poset $\mathcal{C}$ is isomorphic to the Hochschild cohomology ring $HH^*(k\mathcal{C})$ of the category algebra $k\mathcal{C}$, where the poset…

We consider a class of self-injective special biserial algebras $\Lambda_N$ over a field $K$ and show that the Hochschild cohomology ring of $\Lambda_N$ is a finitely generated $K$-algebra. Moreover the Hochschild cohomology ring of…

We compute the Hochschild cohomology ring of the algebras $A= k\langle X, Y\rangle/ (X^a, XY-qYX, Y^a)$ over a field $k$ where $a\geq 2$ and where $q\in k$ is a primitive $a$-th root of unity. We find the the dimension of $\mathrm{HH}^n(A)$…

For a finite dimensional monomial algebra $\Lambda$ over a field $K$ we show that the Hochschild cohomology ring of $\Lambda$ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated $K$-algebra of…

Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be…

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an…

Let $a$ and $b$ be two coprime positive integers and $k$ an arbitrary field. We determine the ring structure of the Hochschild cohomology of the numerical semigroup algebras $k[s^{a},s^{b}]$ of embedding dimension two (thus also complete…

We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…

We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…

A concrete lower-bound for the Hochschild cohomological dimension of a commutative $k$-algebra, in terms of three other homological invariants is obtained. This result is then used to show that most $k$-algebras fail to be quasi-free, even…

Let $B$ be the split extension of a finite dimensional algebra $C$ by a $C$-$C$-bimodule $E$. We define a morphism of associative graded algebras $\varphi^*:\HH^*(B)\rightarrow \HH^*(C)$ from the Hochschild cohomology of $B$ to that of $C$,…

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…

Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule…

Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of…

We compute the Hochschild cohomology groups $\HH^*(A)$ in case $A$ is a triangular string algebra, and show that its ring structure is trivial.

Let $\MC$ be the moduli space of stable holomorphic vector bundles of rank 2 and fixed determinant of odd degree, over a smooth projective curve $C$. This paper identifies the algebraic cohomology ring $\HA^*(\MC)$, i.e. the subring of the…

We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.

Let k be a field, q in k. We derive a cup product formula on the Hochschild cohomology ring of a family Lambda_q of quiver algebras. Using this formula, we determine a subalgebra of k[x,y] isomorphic to Hochschild cohomology modulo N, where…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…