Related papers: Cominimaxness properties of formal local cohomolog…

Let $I$ denote an ideal of a local Gorenstein ring $(R, \mathfrak m)$. Then we show that the local cohomology module $H^c_I(R), c = \height I,$ is indecomposable if and only if $V(I_d)$ is connected in codimension one. Here $I_d$ denotes…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $I$ an ideal of $R$. We study how local cohomology modules with support in $\mathfrak{m}$ change for small perturbations $J$ of $I$, that is, for ideals $J$ such that $I\equiv J\bmod…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

The main result of the paper states that for a graded ideal I in a polynomial ring R over a field of characteristic 0, the Hilbert functions of the local cohomology modules of R/I and of R/Gin(I) coincide if and only if R/I is sequentially…

Let \fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{\fa}(M), the finiteness dimension of M with respect to \fa, and, its dual notion q_{\fa}(M), the…

We introduce a notion of generalized local cohomology modules with respect to a pair of ideals $(I,J)$ which is a generalization of the concept of local cohomology modules with respect to $(I,J).$ We show that generalized local cohomology…

Let (T,m) be a complete local (Notherian) ring, C a finite set of pairwise incomparable nonmaximal prime ideals of T, and p a nonzero element. We provide necessary and sufficient conditions for T to be the completion of an integral domain A…

For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our…

Let $S$ be the polynomial ring on the space of non-square generic matrices or the space of odd-sized skew-symmetric matrices, and let $I$ be the determinantal ideal of maximal minors or $\operatorname{Pf}$ the ideal of sub-maximal…

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…

In this article, we study certain local cohomology modules over $F$-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the $F$-pure ring is standard…

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…

This paper examines the dimension of the graded local cohomology $H_\mathfrak{m}^p(S/K^s)_\gamma$ and $H_\mathfrak{m}^p(S/K^{(s)})$ for a monomial ideal $K$. This information is encoded in the reduced homology of a simplicial complex called…

Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We study the relations of the index of reducibility and the irreducible multiplicity of an $\mathfrak{m}$-primary ideal of $R$ and these of…

Let $R$ be a commutative Noetherian local ring and $M,N$ be finitely generated $R$-modules. We prove a number of results of the form: if $\mbox{Hom}_R(M,N)$ has some nice properties and $\mbox{Ext}^{1 \leq i \leq n}_R(M,N)=0$ for some $n$,…

Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm…

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

We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.