Related papers: Finiteness of complete intersection dimensions of …

Let $(R, \mathfrak{m})$ be a noetherian local ring, $M$ a separated $R$-module (i.e. $\bigcap\limits_{n\geq 1}\mathfrak{m}^n M = 0$) and $\widehat{M} = \lim\limits_{\leftarrow} M/\mathfrak{m}^n M$ its completion. Generally, $M$ is not pure…

Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

We study two properties of modules over a local hypersurface $R$: decency and rigidity. We show that the vanishing of Hochster's function $\theta^R(M,N)$, known to imply decent intersection, also implies rigidity. We investigate the…

Quasi-projective dimension of modules over associative rings is generalized in this paper to the one of complexes of modules. Basic properties of this dimension are established, including a comparison result with projective dimension and a…

Projectively coresolved Gorenstein flat modules were introduced recently by Saroch and Stovicek and were shown to be Gorenstein projective. While the relation between Gorenstein projective and Gorenstein flat modules is not well understood,…

We study H. Dao's invariant $\eta_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $\eta_c^R$ vanishes for all pairs of modules when $R$ is a…

Our main goal in this paper is to answer new positive cases of the natural generalized version of Hartshorne's celebrated question on cofiniteness of local cohomology modules, and consequently of Huneke's conjecture on the finiteness of…

In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Let $I$ be an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be any $R$-modules. We define the generalized completion homology modules $L_i\Lambda^I (N,M)$, for $i\in \mathbb{Z}$, as the homologies of the complex…

Let $R$ be a Gorenstein local ring with maximal ideal $\mathfrak{m}$ satisfying $\mathfrak{m}^3=0\ne\mathfrak{m}^2$. Set $k=R/\mathfrak{m}$ and $e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2)$. If $e>2$ and $M$, $N$ are finitely generated…

Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…

Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are…

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a…

Let R be a commutative ring, M an R-module, and N a finitely presented R-module such that the intersection of Max(R) and Supp(N) is finite-dimensional and Noetherian. Suppose also that N is homothetic; in other words, suppose that the…

For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein…

Let $A$ and $B$ be rings, $U$ a $(B, A)$-bimodule and $T=\left(\begin{smallmatrix} A & 0 \\ U & B \\\end{smallmatrix}\right)$ be the triangular matrix ring. In this paper, we characterize the Gorenstein homological dimensions of modules…

In this paper, we study homological dimensions of algebras linked by recollements of derived module categories, and establish a series of new upper bounds and relationships among their finitistic or global dimensions. This is closely…

Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module. The main focus of this paper is to give positive answers for some long-standing homological conjectures over the idealization ring $R\ltimes…