In this paper, some results on vanishing and non-vanishing of generalized local cohomology modules are presented and some relations between those modules and, Ext and ordinary local cohomology modules are studied. Also, several cofiniteness propositions for generalized local cohomology modules are established which, among other things, provide an alternative answer to a question in [Y2].
Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$ and let $n$ be a non-negative integer. In this paper, we study $\mathcal{S}_{n}(\mathfrak{a})$, a certain class of $A$-modules and we find some sufficient conditions so that a module belongs to $\mathcal{S}_{n}(\mathfrak{a})$. Moreover, we study the cofiniteness of local cohomology modules when $\dim A/\frak a\geq 3$.
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 R/\fa=1$, then the generalized local cohomology module $H^i_{\fa}(M,N)$ is $\fa$-cofinite for all $i \geq 0$. This provides an affirmative answer for the above ideal $\fa$ to a question proposed in [{\bf 13}].
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$ are $\mathfrak{a}$-cofinite for all $i\geq0$, or $\mathrm{H}^{i}_\mathfrak{a}(N)$ is an $\mathfrak{a}$-cofinite module of dimension $\leq1$ for each $i\geq1$, or $q(\mathfrak{a},R)\leq1$, then the $R$-modules $\mathrm{H}^{t}_\mathfrak{a}(M,N)$ are $\mathfrak{a}$-cofinite for all $t\geq0$.
In this paper we shall investigate the concepts of cofiniteness of local cohomology modules and Abelian categories of cofinite modules over arbitrary Noetherian rings. Then we shall improve some of the results given in the literature.
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$ such that $\dim R/\fa=1$ and $M$ a finite $R$--module. We will study cofiniteness and some other properties of the local cohomology modules $\lc^{i}_{\fa}(M)$. For an arbitrary ideal $\fa$ and an $R$--module $M$ (not necessarily finite), we will characterize $\fa$--cofinite artinian local cohomology modules. Certain sets of coassociated primes of top local cohomology modules over local rings are characterized.
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…
Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$, $N$ two finitely generated $R$-modules. The aim of this paper is to investigate the $I$-cofiniteness of generalized local cohomology modules $\displaystyle H^j_I(M,N)=\dlim\Ext^j_R(M/I^nM,N)$ of $M$ and $N$ with respect to $I$. We first prove that if $I$ is a principal ideal then $H^j_I(M,N)$ is $I$-cofinite for all $M, N$ and all $j$. Secondly, let $t$ be a non-negative integer such that $\dim\Supp(H^j_I(M,N))\le 1 \text{for all} j<t.$ Then $H^j_I(M,N)$ is $I$-cofinite for all $j<t$ and $\Hom(R/I,H^t_I(M,N))$ is finitely g…
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax $R$-module $M$ of krull dimension less than 3, with respect to $\mathcal{S}$. There are some results on cofiniteness and artinianness of local cohomology modules with respect to a pair of ideals. For a ZD-module $M$ of finite krull dimension and an integer $n\in\mathbb{N}$, if $\lc^{i}_{I,J}(M)\in\mathcal{S}$ for all $i>n$, then $\lc^{i}_{I,J}(M)/\fa^{j}\lc^{i…
Let R be a regular local ring of dimension d, I an ideal of R, and M a finitely generated R-module of dimension n. We prove that the set of associated primes of Ext^i_R(R/I,H^j_I(M)) is finite for all i and j in the following cases: (1) dim M\le 3; (2) dim R\le 4; (3) dim M/IM \le 2 and M satisfies Serre's condition S_{n-3}; (4) dim M/IM\le 3, R is unramified, and M is faithful and satisfies S_{n-3}. We also prove that if dim R/I\ge 2 and the punctured spectrum of R/I is disconnected then H^{d-1}_I(R) is not I-cofinite. This generalizes a result due to Huneke and Koh.
Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$-module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$-module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for all $i\leq {\rm cd}(I,M)+1$ if and only if the local cohomology module $H^i_I(M)$ is $I$-cofinite (resp. $I$-weakly cofinite) for all $i$. Also, we show that when $I$ is an arbitrary ideal and $M$ is finitely generated module such that the $R$-module $H^i_I(M)$ is weakly Laskerian for all $i\leq t-1$, then $H^i_I(M)$ is $I$-cofinite for all $i\leq t-1$ and …
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 functors. For this purpose, we study the cofiniteness of the generalized local cohomology module $H^{i}_{\mathfrak{a}}(M, N)$ for a new class of modules, called $\mathfrak{a}$-weakly finite modules, in the local and non-local case. Furthermore, we derive some results on attached primes of top generalized local cohomology modules.
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$, $\mathcal{S}$ a Serre subcategory of $R$-modules satisfying the condition $C_\mathfrak{a}$ and $\mathcal{N}$ the subcategory of finitely generated $R$-modules. In this paper, we continue the study of $\mathcal{NS}$-$\mathfrak{a}$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$, show that some classical results of $\mathfrak{a}$-cofiniteness hold for $\mathcal{NS}$-$\mathfrak{a}$-cofiniteness in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$, where $d$ is a positive integer. We also s…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ and ideal of $R$, $M$ a finite $R$--module, and $n$ a non-negative integer. In this paper, for an arbitrary $R$--module $X$ which is not necessarily finite, we study the finiteness dimension $f_\mathfrak{a}(M,X)$ and the $n$-th finiteness dimension $f^n_\mathfrak{a}(M,X)$ of $M$ and $X$ with respect to $\mathfrak{a}$. Assume that $\operatorname{Ext}^{i}_{R}(R/\mathfrak{a},X)$ is finite for all $i\leq f^2_\mathfrak{a}(M,X)$ (resp. $i< f^1_\mathfrak{a}(M,X)$). We show that $\operatorname{H}^{i}_{\mathfrak{a}}(M,X)$ i…
Let $I$ be an ideal of a Noetherian ring R and M be a finitely generated R-module. We introduce the class of extension modules of finitely generated modules by the class of all modules $T$ with $\dim T\leq n$ and we show it by ${\rm FD_{\leq n}}$ where $n\geq -1$ is an integer. We prove that for any ${\rm FD_{\leq 0}}$(or minimax) submodule N of $H^t_I(M)$ the R-modules ${\rm Hom}_R(R/I,H^{t}_I(M)/N) {\rm and} {\rm Ext}^1_R(R/I,H^{t}_I(M)/N)$ are finitely generated, whenever the modules $H^0_I(M)$, $H^1_I(M)$, ..., $H^{t-1}_I(M)$ are ${\rm FD_{\leq 1}}$ (or weakly Laskerian). As a consequence,…
Let $R$ be a commutative Noetherian ring, $Φ$ a system of ideals of $R$ and $I\in Φ$. Let $M$ be an $R$-module (not necessary $I$-torsion) such that $\dim M\leq 1$, then the $R$-module $\Ext^i_{R}(R/I, M)$ is weakly Laskerian, for all $i\geq 0$, if and only if the $R$-module $\Ext^i_{R}(R/I, M)$ is weakly Laskerian, for $i=0, 1$. Let $t\in\Bbb{N}_0$ be an integer and $M$ an $R$-module such that $\Ext^i_R(R/I,M)$ is weakly Laskerian for all $i\leq t+1$. We prove that if the $R$-module $\lc^{i}_Φ(M)$ is ${\rm FD_{\leq 1}}$ for all $i<t$, then $\lc^{i}_Φ(M)$ is $Φ$-weakly cofinite for all $i<t$ a…
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 $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H^{i}_{\mathcal{Z}}(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely gene…
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 generated $S$-module $N$ with $\Supp N=V(aS)$ the socle of $H^2_{(u,v)S}(N)$ is infinite dimensional. Also, using this result, for any commutative Noetherian complete local ring $(R,\m)$, we characterize the class of all ideals $I$ of $R$ with the property that, for every finitely generated $R$-module $M$, the local cohomology modules $H^i_I(M)$ are $I$-cofinit…
Let $R$ be a commutative Noetherian ring and $M$ be a finitely generated $R$-module. Considering the new concept of linkage of ideals over a module, we study associated prime ideals, cofiniteness and Artinianness of local cohomology modules of $M$ with respect to some linked ideals over it.
Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module $H^{i}_{\mathfrak{a}}(X)$ is $\mathfrak{a}$-cofinite for every $R$-complex $X$ with finitely generated homology modules and every $i \in \mathbb{Z}$. We further answer Question 1.3 in the three aforement…
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 $\Ext^{s+t}_{R}(N, X)$ and $\Ext^{s}_{R}(N, H^{t}_{\fa}(X))$ in Serre subcategories of the category of $R$--modules. Then we present some conditions which ensure the existence of an isomorphism between them. Finally, we introduce the concept of Serre cofiniteness as a generalization of cofiniteness and study this property for certain local cohomology modules.
Cofiniteness of the generalized local cohomology modules Hai(M, N) of two R-modules M and N with respect to an ideal a is studied for some i,s with a specified property. Furthermore, Artinianness of Hbj 0(Hai(M, N)) is investigated by using the above result, in certain graded situations, where b 0 is an ideal of R 0 such that b 0 + a 0 is an m 0-primary ideal.
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 $H_{\fa}^i(M)$ is $\fa$-cofinite for all $i<t$. This result, in particular, characterizes the $\fa$-cofiniteness property of local cohomology modules of certain regular local rings. Also, we show that for a local ring $(R,\fm)$, $f-\depth(\fa,M)$ is the least integer $i$ such that $H_{\fa}^i(M)\ncong H_{\fm}^i(M)$. This result in conjunction with the first one, yiel…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely generated $R$--module $N$, we study the membership of $\operatorname{Ext}_{R}^{s}(N, \operatorname{H}^{t}_{\mathfrak{a}}(M, X))$ in Serre subcategories of the category of $R$--modules and present some upper bounds for the injective dimension and the Bass numbers of $\operatorname{H}^{t}_{\mathfrak{a}}(M, X)$. We also give some results on cofiniteness and minimaxness…
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 generalized local cohomology modules, the ordinary local cohomology modules and the extension modules behave similarly at the initial points. We conclude some Artinianness and cofiniteness results for $\lc^{n}_{\fa}(M, X)$, and some finiteness results for $\Supp_R(\lc^{n}_{\fa}(M, X))$ and $\Ass_R(\lc^{n}_{\fa}(M, X))$.
Let $R$ denote a commutative Noetherian ring. Brodmann et al. defined and studied the concept of the local-global principle for annihilation of local cohomology modules at level $r\in\mathbb{N}$ for the ideals $\frak a$ and $\frak b$ of $R$. It was shown that this principle holds at levels 1,2, over $R$ and at all levels whenever $\dim R\leq 4$. The goal of this paper is to show that, if the set $\Ass_R(H_{\fa}^{f_{\fa}^{\fb}(M)}(M))$ is finite or $f_{\fa}(M)\neq c_{\fa}^{\fb}(M)$, then the local-global principle holds at all levels $r\in\mathbb{N}_0$, for all ideals $\fa, \fb$ of $R$ and each…
For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new, ring-theoretic vanishing criterion for local cohomology modules.
It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of cohomology of a module of finite complete intersection dimension.
Let R be a complete intersection ring and let M and N be R-modules. It is shown that the vanishing of Ext^i_R(M,N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most n-1. We also estimate the complete intersection dimension of the dual of M, in terms of vanishing of the cohomology modules, Ext^i_R(M,N).
We examine local cohomology in the setting of valuation rings. The novelty of this investigation stems from the fact that valuation rings are usually non-Noetherian, whereas local cohomology has been extensively developed mostly in a Noetherian setting. We prove various vanishing results on local cohomology for valuation rings of finite Krull dimension. These vanishing results stem from a uniform bound on the global dimension of such rings. Our investigation reveals differences in the sheaf theoretic definition of local cohomology, and the algebraic definition in terms of a limit of certain Ex…
We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for all $i\in\mathbb{Z}$ if and only if $\widehat{Ext}^i_R(N,M)=0$ for all $i\in\mathbb{Z}$.
We generalize some known results on the relation between the cohomological and projective dimension. Then we examine the set-theoretically Cohen-Macaulay ideals to find some cohomological characterization of these kind of ideals.
We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension.
Let $R=k[x_1,\dots,x_n]$ be a ring of polynomials over a field $k$ of characteristic $p>0$. There is an algorithm due to Lyubeznik for deciding the vanishing of local cohomology modules $H^i_I(R)$ where $I\subset R$ is an ideal. This algorithm has not been implemented because its complexity grows very rapidly with the growth of $p$ which makes it impractical. In this paper we produce a modification of this algorithm that consumes a modest amount of memory.
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if and only if $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ are finitely generated for all $i\leq 2$, which generalizes one of the main results in [Algebr. Represent. Theory 18 (2015) 369--379]. Some new results concerning cofiniteness of local cohomology modules $\mathrm{H}^i_\mathfrak{a}(M)$ for any finitely generated $R$-module $M$ are obtained.
Let $\fa$ denote an ideal of a $d$-dimensional Gorenstein local ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that $H^d_{\fa}(M,N)=0$ if and only if $\dim \hat{R}\big/ \fa\hat{R}+\fp>0$ for all $\fp\in\Ass_{\hat{R}}\hat{M}\cap\Supp_{\hat{R}}\hat{N}$.
A 2003 counterexample to a conjecture of Auslander brought attention to a family of rings - colloquially called AC rings - that satisfy a natural condition on vanishing of cohomology. Several results attest to the remarkable homological properties of AC rings, but their definition is barely operational, and it remains unknown if they form a class that is closed under typical constructions in ring theory. In this paper, we study transfer of the AC property along local homomorphisms of Cohen--Macaulay rings. In particular, we show that the AC property is preserved by standard procedures in local…
Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}<\fM>(0:_{H^d_{\fM}(M)}\fa^n), where for an Artinian R-module A we put <\fM>A=\cap_{n\in \mathbb{N}} \fM^nA. As a consequence, it is proved that for all ideals \fa of R, there are only finitely many non-isomorphic top local cohomology modules H^d_{\fa}(M) having the same support. In addition, we est…
In this paper, we prove some well-known results on local cohomology with respect to a pair of ideals in graded version, such as, Independence Theorem, Lichtenbaum-Harshorne Vanishing Theorem, Basic Finiteness and Vanishing Theorem, among others. Besides, we present a generalized version of Melkersson Theorem about Artinianess of modules and a result concerning Artinianess of local cohomology modules.
Let $R$ be a standard graded algebra over a field $k$, with irrelevant maximal ideal $\fm$, and $I$ a homogeneous $R$-ideal. We study the asymptotic vanishing behavior of the graded components of the local cohomology modules $\{\HH{i}{\fm}{R/I^n}\}_{n\in \NN}$ for $i<\dim R/I$. We show that, when $\chara k= 0$, $R/I$ is Cohen-Macaulay, and $I$ is a complete intersection locally on $\Spec R \setminus\{\fm\}$, the lowest degrees of the modules $\{\HH{i}{\fm}{R/I^n}\}_{n\in \NN}$ are bounded by a linear function whose slope is controlled by the generating degrees of the dual of $I/I^2$. Our resul…
We study the deformation-obstruction theory of Koszul cohomology groups of $g^r_d$'s on singular nodal curves. We compute the obstruction classes for Koszul cohomology classes on singular curves to deform to a smooth one. In the case the obstructions are nontrivial, we obtain some partial results for generic vanishing of Koszul cohomology groups.
We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic.
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global Principle for minimax local cohomology modules is shown. If $\LC^{i}_{\fa}(M)$ is coatomic for $i\leq r$ ($M$ finite) then $\LC^{i}_{\fa}(M)$ is finite for $i\leq r$. We give conditions for a module, which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.
Let $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that $H^j_I(M,N)=0$ for all $j>\dim(R)$, provided $M$ is of finite projective dimension. Next, we study and give characterizations for the least and the last integer $r$ such that $\Supp(H^r_I(M,N))$ is infinite.
Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the consideration of the class of rings that do satisfy Auslander's condition. We call them AC rings and show that an AC Artin algebra that is left-Gorenstein is also right-Gorenstein. Furthermore, the Auslander-Reiten Conjecture is proved for AC rings, and Auslander's G-dimension is shown to be functorial for AC rings that are commutative or have a dualizing complex…
Define a line bundle L on a projective variety to be q-ample, for a natural number q, if tensoring with high powers of L kills coherent sheaf cohomology above dimension q. Thus 0-ampleness is the usual notion of ampleness. Intuitively, a line bundle is q-ample if it is positive "in all but at most q directions". We show that q-ampleness of a line bundle on a projective variety in characteristic zero is equivalent to the vanishing of an explicit finite list of cohomology groups. It follows that q-ampleness is a Zariski open condition, which is not clear from the definition. We also show that a …
Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$. We prove the following asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$, such that for all integers $t \geqslant 1$, the cohomology group $H^k(X_t,\mathcal{O}_{X_t}(j))$ vanishes for $k < \dim X$ and $j < -ct$. Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$. We also construc…
Let $\mathfrak a$ denote an ideal of a local ring $(R, \mathfrak m).$ Let $M$ be a finitely generated $R$-module. There is a systematic study of the formal cohomology modules $\varprojlim \HH^i(M/\mathfrak a^nM), i \in \mathbb Z.$ We analyze their $R$-module structure, the upper and lower vanishing and non-vanishing in terms of intrinsic data of $M,$ and its functorial behavior. These cohomology modules occur in relation to the formal completion of the punctured spectrum $\Spec R \setminus V(\mathfrak m).$ As a new cohomological data there is a description on the formal grade $\fgrade(\mathfra…
