Related papers: Generalized local cohomology modules and homologic…

(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with…

This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit…

We prove that a commutative noetherian ring $R$ is Gorenstein of dimension at most $d$ if $d+1$ is an upper bound on the G-levels of perfect $R$-complexes. For $R$ local, we prove a formula for levels, with respect to injective or…

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

For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In…

It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here…

Let $A$ be a noetherian ring, $\fa$ an ideal of $A$, and $M$ an $A$--module. Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about…

Let $(R, \frak m)$ be a local ring and $M$ a finitely generated $R$-module. It is shown that if $M$ is relative Cohen-Macaulay with respect to an ideal $\frak a$ of $R$, then $\text{Ann}_R(H_{\mathfrak{a}}^{\text{cd}(\mathfrak{a},…

Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.

A foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…

We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that…

The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and…

Let $R$ be an $F$-finite Noetherian regular ring containing an algebraically closed field $k$ of positive characteristic, and let $M$ be an $\F$-finite $\F$-module over $R$ in the sense of Lyubeznik (for example, any local cohomology module…

We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show…

Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian…

For a finitely generated, non-free module $M$ over a CM local ring $(R,\fm,k)$, it is proved that for $n\gg 0$ the length of $\tor 1RM{R/\fm^{n+1}}$ is given by a polynomial of degree $\dim R-1$. The vanishing of $\tor iRM{N/\fm^{n+1}N}$ is…

Let \fa be an ideal of a local ring (R,\fm) and M a finitely generated R-module. This paper concerns the notion \fgrade(\fa,M), the formal grade of M with respect to \fa (i.e. the least integer i such that {\vpl}_nH^i_{\fm}(M/\fa^n M)\neq…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of…

Considering modules of finite complete intersection dimension over commutative Noetherian local rings, we prove (co)homology vanishing results in which we assume the vanishing of nonconsecutive (co)homology groups. In fact, the (co)homology…