Related papers: Filter regular sequences and generalized local coh…

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.

Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct…

Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules,…

Let $(A,\mathfrak{m}, k=A/\mathfrak{m})$ be a noetherian local ring. Then it is equivalent $n = \dim A = \dim_k \mathfrak{m}/\mathfrak{m}^2$ and $\mathrm{Tor}^A_i(k,k) = 0$ for all $i \gg 0$. The article gives a proof with the…

This paper at first concerns some criteria on Artinianness and vanishing of formal local cohomology modules. Then we consider the cosupport and the set of coassociated primes of these modules more precisely.

Let $A$ be a Noetherian ring and let $I$ be an ideal in $A$. Let $\mathcal{F} = \{ J_n \}_{n \geq 0}$ be a multiplicative filtration of ideals in $A$ such that $\mathcal{R}(\mathcal{F}) = \bigoplus_{n \geq 0} J_n$ is a finitely generated…

For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also…

We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer…

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…

Let $(R,\m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module. Following I. G. Macdonald \cite{Mac}, the set of all attached primes of the Artinian local cohomology module $H^i_{\m}(M)$ is denoted by $\Att_R(H^i_{\m}(M))$.…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…

Let $(Q,\mathfrak{n})$ be a regular local ring of dimension $c \geq 2$ with algebraically closed residue field $k = Q/\mathfrak{n}$. Let $f_1, f_2, \ldots f_{c-1}, g$ be a regular sequence in $Q$ such that $ f_i \in \mathfrak{n}^2$ for all…

In this paper, we prove that a finitely embedded $R$-module $M$ is Artinian if and only if for every prime ideal $\mathfrak{p}$ of $R$ with $(0:_RM)\subseteq \mathfrak{p}$, there exists a submodule $N^\mathfrak{p}$ of $M$ such that…

For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we…

Let $(R,\mathfrak{m})$ be a Noetherian regular local ring containing a field of characteristic $p>0$ and $I$ a nonzero ideal of $R$. In this short note, we prove that if $\operatorname{H}^i_I(R)\neq 0$, then $…

Let $\mathfrak{a}$ be an ideal of a local ring $(R, \mathfrak{m})$ with $c = \mathrm{cd}(\mathfrak{a},R)$ the cohomological dimension of $\mathfrak{a}$ in $R$. In the case that $c=\dim R$, we first give a bound for…

Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a submodule. The index of reducibility ir$_M(N)$ is the number of irreducible submodules that appear in an irredundant irreducible decomposition of $N$ (this number…

Suppose that k is a field of characteristic zero, X is an r by s matrix of indeterminates, where r \leq s, and R = k[X] is the polynomial ring over k in the entries of X. We study the local cohomology modules H^i_I(R), where I is the ideal…

Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…