Related papers: Artinianness of local cohomology modules
Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…
Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…
We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that…
Let $R$ be a commutative Noetherian ring, $\Phi$ a system of ideals of $R$, $\fa \in \Phi$, $M$ an arbitrary $R$-module and $t$ a non-negative integer. Let $\mathcal{S}$ be a Melkersson subcategory of $R$-modules. Among other things, we…
In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.
Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological…
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual…
Let $R$ be a commutative noetherian ring, $\fa$ an ideal of $R$ and $M,N$ finite $R$--modules. We prove that the following statements are equivalent. \begin{enumerate} \item[(i)] $\lc^{i}_{\fa}(M,N)$ is finite for all $i< n$. \item[(ii)]…
Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $X$ a finite $R$-module. We prove that the category of $\fa$-cominimax modules is a Melkersson subcategory of $R$-modules whenever $\dim R\leq…
Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…
Let $A$ be a regular domain containing a field $K$ of characteristic zero, $G$ be a finite subgroup of the group of automorphisms of $A$ and $B=A^G$ be the ring of invariants of $G$. Let $S= A[X_1,\ldots, X_m]$ and $R= B[X_1, \ldots, X_m]$…
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…
The concept of Faltings' local-global principle for the in dimension $< n$ of local cohomology modules over a Noetherian ring $R$ is introduced, and it is shown that this principle holds at levels 1, 2. We also establish the same principle…
Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…
In this paper we study local cohomology of finitely generated bigraded modules over a standard bigraded ring with respect to the irrelevant bigraded ideals and establish a duality theorem. Several applications are considered.
We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
A torsion theoretical characterization of left Noetherian rings $R$ over which injective hulls of simple left modules are locally Artinian is given. Sufficient conditions for a left Noetherian ring to satisfy this finiteness condition are…
Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…
A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…