arXiv subjects

Mohammad T. Dibaei

Publications and source records attributed to Mohammad T. Dibaei.

23 records · Page 2Linked to original sources

arXiv2005

Attached primes of the top local cohomology modules with respect to an ideal (II)

For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for all $i\geq r$.

math.AC↗

arXiv2004

A study of Cousin complexes through the dualizing complexes

For the Cousin complex of certain modules, we investigate finiteness of cohomology modules, local duality property and injectivity of its terms. The existence of canonical modules of Noetherian non-local rings and the Cousin complexes of them with respect to the height filtration are discussed .

math.AC↗

arXiv2004

Associated primes and cofiniteness of local cohomology modules

Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module $\mathrm{H}^s_\mathfrak{a}(M)$ is non $\mathfrak{a}$-cofinite, then we show that $\mathrm{Hom}_{R}(R/\mathfrak{a}, \mathrm{H}^s_\mathfrak{a}(M))$ is finite. Specially, the set of associated primes of $\mathrm{H}^s_\mathfrak{a}(M)$ is finite. Next assume $(R,\mathfrak{m})$ is a local Noetherian ring and $M$ is a finitely generated module. We study the last integer $n$ such that the local cohomology module $\mathrm{H}^n_\mathfrak{a}(M)$ is not $\mathfrak{m}$-cofinite and show that $n$ just depends on the support of $M$.

math.AC↗

arXiv2004

Generalized local cohomology and the Intersection Theorem

Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}Γ_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for bounded complexes $X$ and $Y$ with finite homology, $\dim Y\le\dim{\mathbf R}\Hom_R(X,Y)\le\pd X+\dim(X\otimes^{\mathbf L}_RY)+\sup X$ which strengthen the Intersection Theorem. Here $\inf X$ and $\sup X$ denote the homological infimum, and supremum of the complex $X$, respectively.

math.AC↗

arXiv2003

Cohomological dimension of complexes

In the derived category of the category of modules over a commutative Noetherian ring $R$, we define, for an ideal $\fa$ of $R$, two different types of cohomological dimensions of a complex $X$ in a certain subcategory of the derived category, namely $\cd(\fa, X)=\sup\{\cd(\fa, \H_{\ell}(X))-\ell|\ell\in\Bbb Z\}$ and $-\inf{\mathbf R}\G_{\fa}(X)$, where $\cd(\fa, M)=\sup\{\ell\in\Bbb Z|\H^{\ell}_{\fa}(M)\neq 0\}$ for an $R$--module $M$. In this paper, it is shown, among other things, that, for any complex $X$ bounded to the left, $-\inf {\mathbf R}\G_{\fa}(X)\le\cd(\fa, X)$ and equality holds if indeed $\H(X)$ is finitely generated.

math.AC↗