In this short note we give an elementary combinatorial argument, showing that the conjecture of J. Fernández de Bobadilla, I. Luengo-Velasco, A. Melle-Hernández and A. Némethi [Proc. London Math. Soc. 92 (2006), 99-138, Conjecture 1] follows from Theorem 5.4 of Brodzik and Livingston [arXiv:1304.1062] in the case of rational cuspidal curves with two critical points.

Let $(R,𝔪)$ be a complete Noetherian local ring, $I$ an ideal of $R$ and $M$ a nonzero Artinian $R$-module. In this paper it is shown that if $𝔭$ is a prime ideal of $R$ such that $dimR/𝔭=1$ and $\left(0{:}_M𝔭\right)$ is not finitely generated and for each $i\ge 2$ the $R$-module ${\mathrm{Ext}}_R^i(M,R/𝔭)$ is of finite length, then the $R$-module ${\mathrm{Ext}}_R^1(M,R/𝔭)$ is not of finite length. Using this result, it is shown that for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and for all integers $i\ge 0$, the $R$-modules ${\mathrm{Ext}}_R^i(N,M)$ are of finite length, if and only if, for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and...

The Castelnuovo-Mumford regularity is one of the most important invariants in studying the minimal free resolution of the defining ideals of the projective varieties. There are some bounds on the Castelnuovo-Mumford regularity of the projective variety in terms of the other basic invariants such as dimension, codimension and degree. This paper studies a bound on the regularity conjectured by Hoa, and shows this bound and extremal examples in the case of divisors on rational normal scrolls.

Let $(R,𝔪)$ be a commutative Noetherian regular local ring of dimension $d$ and $I$ be a proper ideal of $R$ such that ${\mathrm{mAss}}_R(R/I)={\mathrm{Assh}}_R\left(I\right)$. It is shown that the $R$-module $H_I^{\mathrm{ht}\left(I\right)}\left(R\right)$ is $I$-cofinite if and only if $\mathrm{cd}(I,R)=\mathrm{ht}\left(I\right)$. Also we present a sufficient condition under which this condition the $R$-module $H_I^i\left(R\right)$ is finitely generated if and only if it vanishes.

Let R be a Noetherian ring and I an ideal of R. Let M be an I-cofinite and N a finitely generated R-module. It is shown that the R-modules $To{r}_i^R(N,M)$ are I-cofinite for all i ≥ 0 whenever dim Supp(M) ≤ 1 or dim Supp(N) ≤ 2. This immediately implies that if I has dimension one (i.e., dim R/I = 1) then the R-modules $To{r}_i^R(N,H_I^j\left(M\right))$ are I-cofinite for all i,j ≥ 0. Also, we prove that if R is local, then the R-modules $To{r}_i^R(N,M)$ are I-weakly cofinite for all i ≥ 0 whenever dim Supp(M) ≤ 2 or dim Supp(N) ≤ 3. Finally, it is shown that...

Let denote an ideal in a Noetherian ring R, and M a finitely generated R-module. We introduce the concept of the cohomological dimension filtration $={M_i}_{i=0}^c$, where c = cd(,M) and $M_i$ denotes the largest submodule of M such that $cd(,M_i)\le i$. Some properties of this filtration are investigated. In particular, if (R,) is local and c = dim M, we are able to determine the annihilator of the top local cohomology module $H_{}^c\left(M\right)$, namely $An{n}_R\left(H_{}^c\left(M\right)\right)=An{n}_R(M/M_{c-1})$. As a consequence, there exists an ideal of R such that $An{n}_R\left(H_{}^c\left(M\right)\right)=An{n}_R(M/H{⁰}_{}\left(M\right))$. This generalizes the main results...

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Special cases are, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of...