Related papers: Flatness and Completion Revisited

Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.

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 $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 $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…

This paper has two parts. In the first part we recall the important role that weak proregularity of an ideal in a commutative ring has in derived completion and in adic flatness. We also introduce the new concepts of idealistic and…

Weak proregularity of an ideal in a commutative ring is a subtle generalization of the noetherian property of the ring. Weak proregularity is of special importance for the study of derived completion, and it occurs quite often in…

The purpose of the present paper is to continue the study of modules cofinite and weakly cofinite with respect to an ideal $\frak a$ of a Noetherian ring $R$. It is shown that an $R$-module $M$ is cofinite with respect to $\frak a$, if and…

Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. In this paper, the main result asserts that for any $N$-proper ideal $\frak a$ of $R,$ the $\frak a$-symbolic topology on $N$ is linearly…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

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

The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative…

Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM…

We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…

Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ be an ideal of $R$. Suppose $M$ is a finitely generated $R$-module and $N$ is an Artinian $R$-module. We define the concept of filter coregular sequence to determine the infimum of…

Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian…

Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

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…

Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$-module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$-torsion sub-module…

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…