Related papers: Local Cohomology and Base Change

Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the…

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…

For a Noetherian regular ring $S$ and for a fixed ideal $J\subset S$, assume that the associated primes of local cohomology module $H^i_J(S)$ does not contain $p$ for some $i\geq 0$, and we call this as a property…

Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T)…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

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, $\Phi$ a system of ideals of $R$, $\fa \in \Phi$, $M$ an arbitrary $R$-module and $t$ a non-negative integer. Let $\mathcal{S}$ be a Melkersson subcategory of $R$-modules. Among other things, we…

Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, and $X$ an $R$--module. In this paper, for fixed integers $s, t$ and a finite $\fa$--torsion $R$--module $N$, we first study the membership of…

Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…

Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…

Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…

In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…

Let $\fa$ be an ideal of a Noetherian local ring $R$ and let $C$ be a semidualizing $R$-module. For an $R$-module $X$, we denote any of the quantities $\fd_R X$, $\Gfd_R X$ and $\GCfd_RX$ by $\T(X)$. Let $M$ be an $R$-module such that…

In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…