相关论文: Gaps in Hochschild cohomology imply smoothness for…

For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of K-->S are Gorenstein is characterized in terms of properties of…

For a flat commutative $k$-algebra $A$ such that the enveloping algebra $A\otimes_k A$ is noetherian, given a finitely generated bimodule $M$, we show that the adic completion of the Hochschild cohomology module $HH^n(A/k,M)$ is naturally…

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…

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…

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…

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…

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…

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$…

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…

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…

Let ${\rm N}_m(R) = \{ (a_{ij}) \in {\rm M}_m(R) \mid a_{11} = a_{22} = \cdots = a_{mm} \mbox{ and } a_{ij} = 0 \mbox{ for any } i > j \}$ for a commutative ring $R$. Then ${\rm N}_m(R)$ is a quadratic monomial algebra over $R$. We…

The classical HKR-theorem gives an isomorphism of the n-th Hochschild cohomology of a smooth algebra and the n-th exterior power of its module of K\"ahler differentials. Here we generalize it for simplicial, graded and anticommutative…

Let $G$ be the simple algebraic group $\mathrm{SL}_2$ defined over an algebraically closed field $k$ of characteristic $p > 0$. Using results of A. Parker, we develop a method which gives, for any $q \in \mathbb{N}$, a closed form…

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated…

Let ${\rm Mold}_{n, d}$ be the moduli of rank $d$ subalgebras of ${\rm M}_n$ over ${\Bbb Z}$. For $x \in {\rm Mold}_{n, d}$, let ${\mathcal A}(x) \subseteq {\rm M}_n(k(x))$ be the subalgebra of ${\rm M}_n$ corresponding to $x$, where $k(x)$…

We determine the Z-module structure of the preprojective algebra and its zeroth Hochschild homology, for any non-Dynkin quiver (and hence the structure working over any base commutative ring, of any characteristic). This answers (and…

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…

We review results on the first Hochschild cohomology vector space of a finite dimensional algebra, in particular for path algebras modulo a "pre-generated" ideal. In case of a monomial algebra whose quiver has no oriented cycles, a…

Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first…