Related papers: Hochschild cohomology commutes with adic completio…

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…

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…

The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of…

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…

We prove two results about the derived functor of $a$-adic completion: (1) Let $K$ be a commutative noetherian ring, let $A$ be a flat noetherian $K$-algebra which is $a$-adically complete with respect to some ideal $a\subseteq A$, such…

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 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 module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…

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

Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(I)$…

Let $K$ be a Gorenstein noetherian ring of finite Krull dimension, and consider the category of cohomologically noetherian commutative differential graded rings $A$ over $K$, such that $H^0(A)$ is essentially of finite type over $K$, and…

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

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 $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…

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…

Let $I$ denote an ideal in a commutative Noetherian ring $R$. Let $M$ be an $R$-module. The $I$-adic completion is defined by $\hat{M}^I = \varprojlim{}_{\alpha} M/I^{\alpha}M$. Then $M$ is called $I$-adic complete whenever the natural…

Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. We show in this paper that, for an integer $t$, if the local cohomology module $H^{i}_\mathfrak{a}(M)$ with respect to an ideal $\frak a$ is finitely…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. We study the invariance of some classes of $\frak a$-relative Cohen-Macaulay modules under pure ring homomorphisms and ring…

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…