Weakly cofiniteness of local cohomology modules

Moharram Aghapournahr

arXiv: 1707.06795v1 · PDF · 21 July 2017
Categories: math.AC
Licence: CC0 1.0 The site shows the text.

Abstract

Let R be a commutative Noetherian ring, \Phi a system of ideals of R and I\in \Phi. 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}_\Phi(M) is {\rm FD_{\leq 1}} for all i<t, then \lc^{i}_\Phi(M) is \Phi-weakly cofinite for all i<t and for any {\rm FD_{\leq 0}} (or minimax) submodule N of \lc^t_\Phi(M), the R-modules \Hom_R(R/I,\lc^t_\Phi(M)/N) and \Ext^1_R(R/I,\lc^t_\Phi(M)/N) are weakly Laskerian. Let N be a finitely generated R-module. We also prove that \Ext^j_R(N,\lc^{i}_\Phi(M)) and {\rm Tor}^R_{j}(N,H^{i}_\Phi(M)) are \Phi-weakly cofinite for all i and j whenever M is weakly Laskerian and \lc^{i}_\Phi(M) is {\rm FD_{\leq 1}} for all i. Similar results are true for ordinary local cohomology modules and local cohomology modules defined by a pair of ideals.

Items 44

Conjecture

Conjecture 1.1

37YK

Let M be a finitely generated R–module and I an ideal of R. Then \operatorname{Hom}_R(R/I , \operatorname{H}^{i}_{I}(M))

Question

Question 1.2

8T3F

Let M be a finite R–module and I be an ideal of R. When are \operatorname{H}^{i}_{I}(M) I–cofinite for all i\geq 0?

Theorem

Theorem 1.3 (See Theorem 2.12)

HCTD

Let R be a Noetherian ring and I\in \Phi an ideal of R. Let t\in\Bbb{N}_0 be an integer and M an R-module such that \operatorname{Ext}^i_R(R/I,M) are weakly Laskerian for all i\leq t+1. Let the R-modules \operatorname{H}^{i}_\Phi(M) are {\rm FD_{\leq 1}} R-modules for all i<t. Then, the following conditions hold:

(i) The R-modules \operatorname{H}^{i}_\Phi(M) are I-ETH-weakly cofinite (in particular \Phi-weakly cofinite) for all i<t.
(ii) For all {\rm FD_{\leq 0}} (or minimax) submodule N of \operatorname{H}^{t}_\Phi(M), the R-modules
{\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)\,\,\, {\rm and}\,\,\,{\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)
are weakly Laskerian.

Question

Question 1.5

O7SP

Whether the category \mathscr{M}(R, I)_{cof} of I-cofinite modules forms an Abelian subcategory of the category of all R-modules? That is, if f: M\longrightarrow N is an R-module homomorphism of I-cofinite modules, are \operatorname{Ker} f and \operatorname{Coker} f I-cofinite?

Definition

Definition 2.1

KAMX

An R-module M (not necessary I-torsion) is called ETH-weakly cofinite with respect to an ideal I of R or I-ETH-weakly cofinite if \operatorname{Ext}^{i}_{R}(R/I,M) is a weakly Laskerian R-module for all i.

Remark

Remark 2.2

ACGH

Let I be an ideal of R.

(i) All weakly Laskerian R-modules, ETH-cofinite and weakly cofinite R-modules with respect to ideal I are I-ETH-weakly cofinite.
(ii) Suppose M is an I-torsion module, then M is I-ETH-weakly cofinite if and only if it is I-weakly cofinite module.

Example

Example 2.3

42N9

(i) Let (R, \mathfrak{m}) be a Noetherian local ring of dimension d>0. Let M=R\oplus E( R/\mathfrak{m}). It is easy to see that M is an \mathfrak{m}-ETH-weakly cofinite R-module that is not \mathfrak{m}-cofinite.

(ii) Let (R, \mathfrak{m}) be a Noetherian local ring of dimension d>0. Let M=R\oplus(\underset{i\in \Bbb N}\oplus R/\mathfrak{m}). It is easy to see that M is an \mathfrak{m}-ETH-weakly cofinite R-module that is not \mathfrak{m}-weakly cofinite.

Definition

Definition 2.4

GM8U

An R-module M is said to be weakly Artinian if its injective envelope, can be written as \operatorname{E}_R(M)=\oplus_{i=1}^{k}\mu^0({\mathfrak{m}}_i,M)\operatorname{E}_R(R/{\mathfrak{m}}_i) where {\mathfrak{m}}_1,\dots,{\mathfrak{m}}_k are maximal ideals of R.

Lemma

Lemma 2.5

TI8K

Let M be an R-module. Then the following statements are equivalent:

(i) M is weakly Artinian.
(ii) \operatorname{Ass}_R(M) consists of finitely many maximal ideals.
(iii) \operatorname{Supp}_R(M) consists of finitely many maximal ideals.
(iv) \operatorname{Ass}_R(M)=\operatorname{Supp}_R(M) and it consists of finitely many maximal ideals.
(v) M is weakly Laskerin and \operatorname{Ass}_R(M)\subseteq \operatorname{Max}(R).

Used by Proof

Proof of Lemma 2.5

See [Haj, Lemma 2.3 (b)].

Lemma

Lemma 2.6

MF0O

Let I be an ideal of a Noetherian ring R and M be an R-module such that \operatorname{Supp}_R(M)\subseteq \operatorname{Max}(R). Then the following statements are equivalent:

(i) M is I-ETH-weakly cofinite.
(ii) The R-module \operatorname{Hom}_R(R/I,M) is weakly Laskerian.

Used by Proof

Proof of Lemma 2.6

(i)\Longrightarrow(ii) follows by definition.

In order to prove (ii)\Longrightarrow(i) note that

\operatorname{Hom}_R(R/I,\operatorname{\Gamma}_I(M))\cong \operatorname{Hom}_R(R/I,M).

Since \operatorname{Supp}_R(\operatorname{\Gamma}_I(M))\subseteq \operatorname{Max}(R), it is easy to see that \operatorname{Hom}_R(R/I,\operatorname{\Gamma}_I(M)) is a weakly Artinian R-module and so by [Haj, Lemma 2.8] \operatorname{\Gamma}_I(M) is also a weakly Artinian R-module. On the other hand by [BSh, Theorem 6.1.2] \operatorname{H}^{i}_{I}(M)=0 for all i\geq 1. Since any weakly Artinian R-module is weakly Laskerian, therefore \operatorname{H}^{i}_{I}(M) is I-weakly cofinite for all i\geq 0. Now by [Mel, Corollary 3.10], it follows that \operatorname{Ext}^{i}_R(R/I,M) are weakly Laskerian for all i\geq 0, as required.

Lemma

Lemma 2.7

839J

If 0\longrightarrow N\longrightarrow L\longrightarrow T\longrightarrow 0 is exact and two of the modules in the sequence are I-ETH-weakly cofinite, then so is the third one.

Used by Proof, Proof, Proof

Theorem

Theorem 2.8

GD4D

Let I be an ideal of a Noetherian ring R and M be an {\rm FD_{\leq0}} (or minimax) R-module. Then the following statements are equivalent:

(i) M is I-ETH-weakly cofinite.
(ii) The R-module \operatorname{Hom}_R(R/I,M) is weakly Laskerian.

Used by Proof, Proof

Proof of Theorem 2.8

By definition there is a finitely generated submodule N of M such that {\rm dim}(M/N)\leq 0. Also, the exact sequence

0\rightarrow N \rightarrow M \rightarrow M/N \rightarrow 0,\,\,\,\,\,\,(*)

induces the following exact sequence

0\longrightarrow {\rm Hom}_R(R/I,N)\longrightarrow{\rm Hom}_R(R/I,M)\longrightarrow {\rm Hom}_R(R/I,M/N)

\longrightarrow {\rm Ext}^1_R(R/I,N).

Whence, it follows that the R-modules \operatorname{Hom}_R(R/I,M/N) is weakly Laskerian. Therefore, in view of Lemma 2.6, the R-module M/N is I-ETH-weakly cofinite. Now it follows from the exact sequence (*) and Lemma 2.7 that M is I-ETH-weakly cofinite.

Uses Lemma 2.6, Lemma 2.7

Lemma

Lemma 2.9

ZH0S

Let R be a Noetherian ring and I be an ideal of R (not necessary dimension one). Let M be a non-zero R-module (not necessary I-torsion) such that \dim M \leq 1. Then the following conditions are equivalent:

(i) M is I-ETH-weakly cofinite.
(ii) \operatorname{H}^{i}_{I}(M) are I-weakly cofinite for all i.
(iii) The R-modules \operatorname{Hom}_R(R/I,M) and \operatorname{Ext}^{1}_R(R/I,M) are weakly Laskerian.

Used by Proof

Proof of Lemma 2.9

(iii)\Longrightarrow(ii) Using the exact sequence

0\rightarrow\operatorname{\Gamma}_I(M)\rightarrow M\rightarrow M/\operatorname{\Gamma}_I(M) \rightarrow 0,

we get the exact sequence

0\longrightarrow \operatorname{Hom}_R(R/I,\operatorname{\Gamma}_I(M))\longrightarrow \operatorname{Hom}_R(R/I,M)\longrightarrow \operatorname{Hom}_R(R/I,M/\operatorname{\Gamma}_I(M))\longrightarrow \operatorname{Ext}^{1}_R(R/I,\operatorname{\Gamma}_I(M))\longrightarrow \operatorname{Ext}^{1}_R(R/I,M).

Since \operatorname{Hom}_R(R/I,M/\operatorname{\Gamma}_I(M))=0, it follows that the R-modules

\operatorname{Hom}_R(R/I,\operatorname{\Gamma}_I(M)) and \operatorname{Ext}^{1}_R(R/I,\operatorname{\Gamma}_I(M))

are weakly Laskerian, and so in view of [BNS2, Proposition 3.2] the R-module \operatorname{\Gamma}_I(M) is I-weakly cofinite. Now as the R-module \operatorname{Ext}^{1}_R(R/I,M) is weakly Laskerian, it follows from [AM, Theorem 4.1 (c)] that the R-module \operatorname{Hom}_R(R/I,\operatorname{H}^{1}_{I}(M)) is weakly Laskeran. If \mathfrak{p} \in \operatorname{Supp}_R(\operatorname{H}^{1}_{I}(M))\subseteq \operatorname{Supp}_R(M), then

\operatorname{H}^{1}_{IR_{\mathfrak{p}}}(M_\mathfrak{p})\cong\operatorname{H}^{1}_{I}(M)_\mathfrak{p}\neq 0.

Since \dim M \leq 1, it is easy to see that \dim R/\mathfrak{p}=0 or \dim R/\mathfrak{p}=1. If \dim R/\mathfrak{p}=1 then M_\mathfrak{p} is a zero dimensional R_\mathfrak{p}-module that implies \operatorname{H}^{1}_{IR_{\mathfrak{p}}}(M_\mathfrak{p})=0 by using Grothendieck vanishing theorem [BSh, Theorem 6.1.2] which is a contradiction. Thus \dim R/\mathfrak{p}=0 and so \mathfrak{p} is a maximal ideal. So we have the following inclusion

\operatorname{Supp}_R(\operatorname{Hom}_R(R/I,\operatorname{H}^{1}_{I}(M)))\subseteq \operatorname{Supp}_R(\operatorname{H}^{1}_{I}(M))\subseteq \operatorname{Max} R.

By Lemma 2.5 (v), it is easy to see that the R-module \operatorname{Hom}_R(R/I,\operatorname{H}^{1}_{I}(M)) is weakly Artinian and so by [Haj, Lemma 2.8] the R-module \operatorname{H}^{1}_{I}(M) is weakly Artinian. Since any weakly Artinian module is weakly Laskerian, therefore in view of [BSh, Theorem 6.1.2] the R-module \operatorname{H}^{i}_{I}(M) is I-weakly cofinite for all i\geq 0.

(i)\Longrightarrow(ii) by [Mel, Corollary 3.10], it follows that \operatorname{Ext}^{i}_R(R/I,M) are weakly Artinian for all i\geq 0, as required.

(i)\Longrightarrow(iii) It is obviously true.

Uses Lemma 2.5

Theorem

Theorem 2.10

94CO

Let R be a Noetherian ring and I be an ideal of R. Let M be an {\rm FD_{\leq 1}} R-module. Then M is I-ETH-weakly cofinite if and only if \operatorname{Hom}_R(R/I,M) and \operatorname{Ext}^{1}_R(R/I,M) are weakly Lakerian.

Used by Proof, Proof

Proof of Theorem 2.10

By definition there is a finitely generated submodule N of M such that {\rm dim}(M/N)\leq 1. Also, the exact sequence

0\rightarrow N \rightarrow M \rightarrow M/N \rightarrow 0,\,\,\,\,\,\,(*)

induces the following exact sequence

0\longrightarrow {\rm Hom}_R(R/I,N)\longrightarrow{\rm Hom}_R(R/I,M)\longrightarrow {\rm Hom}_R(R/I,M/N)

\longrightarrow {\rm Ext}^1_R(R/I,N)\longrightarrow{\rm Ext}^1_R(R/I,M)\longrightarrow {\rm Ext}^1_R(R/I,M/N)\longrightarrow {\rm Ext}^2_R(R/I,N).

Whence, it follows that the R-modules \operatorname{Hom}_R(R/I,M/N) and \operatorname{Ext}^1_R(R/I,M/N) are weakly Laskerian. Therefore, in view of Proposition 2.9, the R-module M/N is I-ETH-weakly cofinite. Now it follows from the exact sequence (*) and Lemma 2.7 that M is I-ETH-weakly cofinite.

Uses Lemma 2.9, Lemma 2.7

Lemma

Lemma 2.11

8HCS

Let I be an ideal of a Noetherian ring R, M a non-zero R-module and t\in\Bbb{N}_0. Suppose that the R-module \operatorname{H}^{i}_\Phi(M) is I-ETH-weakly cofinite for all i=0,...,t-1, and the R-modules {\rm Ext}^{t}_R(R/I,M) and {\rm Ext}^{t+1}_R(R/I,M) are weakly Laskerian. Then the R-modules {\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)) and {\rm Ext}^{1}_R(R/I,\operatorname{H}^{t}_\Phi(M)) are weakly Laskerian.

Used by Proof

Proof of Lemma 2.11

We use induction on t. The exact sequence

0\longrightarrow \operatorname{\Gamma}_\Phi(M)\longrightarrow M \longrightarrow M/\operatorname{\Gamma}_\Phi(M) \longrightarrow 0,\,\,\,\,\,\,(*)

induces the following exact sequence:

0\longrightarrow {\operatorname{Hom}}_R(R/I,\operatorname{\Gamma}_\Phi(M))\longrightarrow{\operatorname{Hom}}_R(R/I,M)\longrightarrow {\operatorname{Hom}}_R(R/I,M/\operatorname{\Gamma}_\Phi(M))

\longrightarrow {\operatorname{Ext}}^1_R(R/I,\operatorname{\Gamma}_\Phi(M))\longrightarrow{\operatorname{Ext}}^1_R(R/I,M).

Since {\operatorname{Hom}}_R(R/I,M/\operatorname{\Gamma}_\Phi(M))=0 so {\rm Hom}_R(R/I,\operatorname{\Gamma}_\Phi(M)) and {\rm Ext}^{1}_R(R/I,\operatorname{\Gamma}_\Phi(M)) are weakly Laskerian. Assume inductively that t>0 and that we have established the result for non-negative integers smaller than t. By applying the functor {\operatorname{Hom}}_R(R/I,-) to the exact sequence (*), we can deduce that {\operatorname{Ext}}_R^j(R/I,M/\operatorname{\Gamma}_\Phi(M)) is weakly Laskerian for j=t,t+1. On the other hand, \operatorname{H}_I^0(M/\operatorname{\Gamma}_\Phi(M))=0 and \operatorname{H}_\Phi^j(M/\operatorname{\Gamma}_\Phi(M))\cong \operatorname{H}_\Phi^j(M) for all j>0. Therefore we may assume that \operatorname{\Gamma}_\Phi(M)=0. Let E be an injective hull of M and put N=E/M. Then {\operatorname{Hom}}_R(R/I,E)=0=\operatorname{\Gamma}_\Phi(E). Hence {\operatorname{Ext}}_R^j(R/I,N)\cong {\operatorname{Ext}}_R^{j+1}(R/I,M) and \operatorname{H}_\Phi^j(N)\cong \operatorname{H}_\Phi^{j+1}(M) for all j\geq 0. Now, the induction hypothesis yields that {\rm Hom}_R(R/I,\operatorname{H}_\Phi^{t-1}(N)) and {\rm Ext}^{1}_R(R/I,\operatorname{H}_\Phi^{t-1}(N)) are weakly Laskerian and so {\rm Hom}_R(R/I,\operatorname{H}_\Phi^{t}(M)) and {\rm Ext}^{1}_R(R/I,\operatorname{H}_\Phi^{t}(M)) are weakly Laskerian, as required.

Theorem

Theorem 2.12

T0XH

(i) The R-modules \operatorname{H}^{i}_\Phi(M) are I-ETH-weakly cofinite (in particular \Phi-weakly cofinite) for all i<t.
(ii) For all {\rm FD_{\leq 0}} (or minimax) submodule N of \operatorname{H}^{t}_\Phi(M), the R-modules
{\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)\,\,\, {\rm and}\,\,\,{\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)
are weakly Laskerian. In particular the sets
\operatorname{Ass}_R({\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)/N))\,\,\, {\rm and}\,\,\,\operatorname{Ass}_R({\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)/N))
are finite sets.

Used by Remark 3.2

Proof of Theorem 2.12

(i) We proceed by induction on t. In the case t = 0 there is nothing to prove. So, let t >0 and the result has been proved for smaller values of t. By the inductive assumption, \operatorname{H}^{i}_\Phi(M) is I-ETH-weakly cofinite for i = 0, 1, ..., t-2. Hence by Lemma 2.11 and assumption, {\rm Hom}_R(R/I,\operatorname{H}^{t-1}_\Phi(M))\,\,\, {\rm and}\,\,\,{\rm Ext}^1_R(R/I,\operatorname{H}^{t-1}_\Phi(M)) are weakly Laskerian. Therefore by Theorem 2.10, \operatorname{H}^{i}_\Phi(M) is I-ETH-weakly cofinite (in particular, \Phi-weakly cofinite) for all i < t. This completes the inductive step.

(ii) In view of (i) and Lemma 2.11, {\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M))\,\,\, {\rm and}\,\,\,{\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)) are weakly Laskerian. On the other hand, according to Lemma 2.8, N is I-ETH-weakly cofinite. Now, the exact sequence

0\longrightarrow N\longrightarrow \operatorname{H}^{t}_\Phi(M) \longrightarrow \operatorname{H}^{t}_\Phi(M)/N \longrightarrow 0

induces the following exact sequence,

{\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M))\longrightarrow {\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)\longrightarrow {\rm Ext}^1_R(R/I,N)\longrightarrow

{\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M))\longrightarrow {\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)\longrightarrow {\rm Ext}^2_R(R/I,N).

Consequently

{\rm Hom}_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)\,\,\, {\rm and}\,\,\,{\rm Ext}^1_R(R/I,\operatorname{H}^{t}_\Phi(M)/N)

are weakly Laskerian, as required.

Uses Lemma 2.11, Theorem 2.10, Theorem 2.8

Corollary

Corollary 2.13

0VIJ

Let R be a Noetherian ring and I an ideal of R. Let t\in\Bbb{N}_0 be an integer and M an R-module such that \operatorname{Ext}^i_R(R/I,M) are weakly Laskerian for all i\leq t+1. Let the R-modules H^i_I(M) are {\rm FD_{\leq1}} R-modules for all i<t. Then, the following conditions hold:

(i) The R-modules H^i_I(M) are I-weakly cofinite for all i<t.

(ii) For all {\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 weakly Laskerian. In particular the set \operatorname{Ass}_R(H^{t}_I(M)/N) is finite.

Corollary

Corollary 2.14

C60Q

Let R be a Noetherian ring and I\in \Phi an ideal of R. Let M be an I-ETH-weakly cofinite R-module such that the R-modules \operatorname{H}^{i}_\Phi(M) are {\rm FD_{\leq 1}} R-modules for all i. Then,

(i) the R-modules \operatorname{H}^{i}_\Phi(M) are I-ETH-weakly cofinite (in particular, \Phi-weakly cofinite) for all i.
(ii) for any i\geq 0 and for any {\rm FD_{\leq 0}} (or minimax) submodule N of \operatorname{H}^{i}_\Phi(M), the R-module \operatorname{H}^{i}_\Phi(M)/N is I-ETH-weakly cofinite (in particular, \Phi-weakly cofinite).

Used by Proof, Proof, Remark 3.2

Proof of Corollary 2.14

(i) Clear.
(ii) In view of (i) the R-module \operatorname{H}^{i}_\Phi(M) is I-ETH-weakly cofinite for all i. Hence the R-module {\rm Hom}_R(R/I,N) is weakly Laskerian, and so it follows from Lemma 2.8 that N is I-ETH-weakly cofinite. Now, the exact sequence

0\longrightarrow N\longrightarrow \operatorname{H}^{i}_\Phi(M)\longrightarrow \operatorname{H}^{i}_\Phi(M)/N \longrightarrow 0,

and Lemma 2.7 implies that the R-module \operatorname{H}^{i}_\Phi(M)/N is I-ETH-weakly cofinite.

Uses Theorem 2.8, Lemma 2.7

Corollary

Corollary 2.15

9BGG

Let R be a Noetherian ring and I an ideal of R. Let M be an I-ETH-weakly cofinite R-module such that R-modules H^i_I(M) are {\rm FD_{\leq1}} R-modules for all i. Then,

(i) The R-modules H^i_I(M) are I-weakly cofinite for all i.

(ii) For any i\geq 0 and for any {\rm FD_{\leq 0}} (or minimax) submodule N of H^{i}_I(M), the R-module H^{i}_I(M)/N is I-weakly cofinite.

Used by Proof

Corollary

Corollary 2.16

LE18

Let R be a Noetherian ring and I an ideal of R. Let M be an R-module such that the R-modules H^i_I(M) are {\rm FD_{\leq1}} R-modules for all i. Then, the following conditions are equivalent:

(i) The R-module M is an I-ETH-weakly cofinite.

(ii) The R-modules H^i_I(M) are I-weakly cofinite for all i.

Proof of Corollary 2.16

(i)\Rightarrow(ii) Follows by Corollary 2.15.

(ii)\Rightarrow(i) It follows by [Mel, Proposition 3.9].

Uses Corollary 2.15

Corollary

Corollary 2.17

ITK1

Let R be a Noetherian ring and I\in \Phi an ideal of R. Let M be an I-ETH-weakly cofinite R-module such that \dim M/IM \leq 1 (e.g., \dim R/I \leq 1) for all I \in\Phi. Then,

(i) the R-modules \operatorname{H}^{i}_\Phi(M) are I-ETH-weakly cofinite (in particular, \Phi-weakly cofinite) for all i.
(ii) for any i\geq 0 and for any {\rm FD_{\leq 0}} (or minimax) submodule N of \operatorname{H}^{i}_\Phi(M), the R-module \operatorname{H}^{i}_\Phi(M)/N is I-ETH-weakly cofinite (in particular, \Phi-weakly cofinite).

Used by Proof, Proof

Proof of Corollary 2.17

(i) Since by [BZ1, Lemma 2.1],

\operatorname{H}^{i}_\Phi(M)\cong\underset { I \in \Phi} \varinjlim \operatorname{H}^{i}_I(M),

it is easy to see that \operatorname{Supp}_R(\operatorname{H}^{i}_\Phi(M)) \subseteq\underset{I \in \Phi}\bigcup \operatorname{Supp}_R(\operatorname{H}^{i}_I(M)) and therefore

\operatorname{dimSupp} \operatorname{H}^{i}_\Phi(M) \leq \sup \{ \operatorname{dimSupp} \operatorname{H}^{i}_{I}(M)| I \in \Phi \} \leq 1,

thus \operatorname{H}^{i}_\Phi(M) is {\rm FD_{\leq 1}} R-module and the assertion follows by Corollary 2.14 (i).
(ii) Proof is the same as 2.14 (ii).

Uses Corollary 2.14

Corollary

Corollary 2.18

NG7L

Let R be a Noetherian ring and I an ideal of R. Let M be an R-module such that \dim M/IM \leq 1 (e.g., \dim R/I \leq 1). Then, the following conditions are equivalent:

(i) The R-modules M is an I-ETH-weakly cofinite.

(ii) The R-modules H^i_I(M) are I-weakly cofinite for all i.

Proof of Corollary 2.18

(i)\Rightarrow(ii) Follows by Corollary 2.17.

(ii)\Rightarrow(i) It follows by [Mel, Proposition 3.9].

Uses Corollary 2.17

Theorem

Theorem 2.19

WXXM

Let I be an ideal of a Noetherian ring R. Let \mathscr {FD}^1(R,I)_{ethwcof} denote the category of I-ETH-weakly cofinite and {\rm FD_{\leq1}} R-modules. Then \mathscr {FD}^1(R,I)_{ethwcof} is an Abelian category.

Used by Proof

Proof of Theorem 2.19

Let M,N\in \mathscr {FD}^1(R,I)_{ethwcof} and let f:M\longrightarrow N be an R-homomorphism. Since by [AB, Lemma 2.3 (v)] the class of {\rm FD_{\leq 1}} is a Serre subcategory of the category of R-modules, it is enough to show that the R-modules \operatorname{Ker} f and \operatorname{Coker} f are I-ETH-weakly cofinite.

To this end, the exact sequence

0\longrightarrow \operatorname{Ker} f \longrightarrow M \longrightarrow \operatorname{Im} f \longrightarrow 0,

induces an exact sequence

0\longrightarrow {\rm Hom}_R(R/I,\operatorname{Ker} f) \longrightarrow {\rm Hom}_R(R/I,M) \longrightarrow {\rm Hom}_R(R/I,\operatorname{Im} f )

\longrightarrow {\rm Ext}^{1}_R(R/I,\operatorname{Ker} f) \longrightarrow \operatorname{Ext}^{1}_R(R/I,M),

that implies the R-modules \operatorname{Hom}_R(R/I,\operatorname{Ker} f) and \operatorname{Ext}^1_R(R/I,\operatorname{Ker} f) are weakly Laskerian. Since \operatorname{Ker} f is {\rm FD_{\leq1}} R-module, therefore it follows from Theorem 2.10 that \operatorname{Ker} f is I-ETH-weakly cofinite. Now, the assertion follows from the following exact sequences

0\longrightarrow \operatorname{Ker} f \longrightarrow M \longrightarrow \operatorname{Im} f \longrightarrow 0,

and

0\longrightarrow \operatorname{Im} f \longrightarrow N \longrightarrow \operatorname{Coker} f \longrightarrow 0.

Uses Theorem 2.10

Corollary

Corollary 2.20

N5AW

Let R be a Noetherian ring and I a proper ideal of R. Let M is a non-zero I-ETH-weakly cofinite {\rm FD_{\leq1}} R-module. Then, the R-modules {\rm Ext}^{i}_R(N,M) and {\rm Tor}^R_{i}(N,M) are I-ETH-weakly cofinite {\rm FD_{\leq1}} R-modules, for all finitely generated R-modules N and all integers i \geq 0.

Used by Proof

Proof of Corollary 2.20

Since N is finitely generated it follows that N has a free resolution of finitely generated free modules. Now the assertion follows using Theorem 2.19 and computing the modules {\rm Tor}_i^R(N,M) and {\rm Ext}^i_R(N,M), by this free resolution.

Uses Theorem 2.19

Corollary

Corollary 2.21

2V9E

Let \Phi be a system of ideals of a Noetherian ring R, M a non-zero I-ETH-weakly cofinite R-module such that \operatorname{H}^{i}_{\Phi}(M) are {\rm FD_{\leq 1}} R-modules for all i \geq 0. Then for each finite R-module N, the R-modules {\rm Ext}^{j}_R(N,\operatorname{H}^{i}_{\Phi}(M)) and {\rm Tor}^R_{j}(N,\operatorname{H}^{i}_{\Phi}(M)) are \Phi-weakly cofinite and {\rm FD_{\leq 1}} R-modules for all i \geq 0 and j \geq 0.

Used by Proof

Proof of Corollary 2.21

Apply Corollaries 2.20 and 2.14.

Uses Corollary 2.20, Corollary 2.14

Corollary

Corollary 2.22

NAHT

Let \Phi be a system of ideals of a Noetherian ring R, M a non-zero I-ETH-weakly cofinite R-module such that \dim M/IM \leq 1 (e.g., \dim R/I \leq 1) for all I \in\Phi. Then for each finite R-module N, the R-modules {\rm Ext}^{j}_R(N,\operatorname{H}^{i}_{\Phi}(M)) and {\rm Tor}^R_{j}(N,\operatorname{H}^{i}_{\Phi}(M)) are \Phi-weakly cofinite and {\rm FD_{\leq 1}} R-modules for all i \geq 0 and j \geq 0.

Proof of Corollary 2.22

By proof of Corollary 2.17 (i) \operatorname{Supp}_R(\operatorname{H}^{i}_\Phi(M)) \subseteq\underset{I \in \Phi}\bigcup \operatorname{Supp}_R(\operatorname{H}^{i}_I(M)) and therefore

\operatorname{dimSupp} \operatorname{H}^{i}_\Phi(M) \leq \sup \{ \operatorname{dimSupp} \operatorname{H}^{i}_{I}(M)| I \in \Phi \} \leq 1,

thus \operatorname{H}^{i}_\Phi(M) is {\rm FD_{\leq 1}} R-module and the assertion follows by Corollary 2.21.

Uses Corollary 2.17, Corollary 2.21

Corollary

Corollary 2.23

7A3L

Let I be an ideal of a Noetherian ring R, M a non-zero I-ETH-weakly cofinite R-module such that \dim M/IM \leq 1 (e.g., \dim R/I \leq 1). Then for each finite R-module N, the R-modules {\rm Ext}^{j}_R(N,\operatorname{H}^{i}_{I}(M)) and {\rm Tor}^R_{j}(N,\operatorname{H}^{i}_{I}(M)) are I-weakly cofinite and {\rm FD_{\leq 1}} R-modules for all i \geq 0 and j \geq 0.

Definition

Definition 3.1

7UM5

An R-module M is called (I,J)-weakly cofinite if \operatorname{Supp}_R(M)\subseteq W(I,J) and \operatorname{Ext}^i_R(R/I,M) is a weakly Laskerian R-module, for all i\geq0.

Remark

Remark 3.2

OGJT

Let I and J be two ideals of R. Replacing \Phi by \tilde{W}(I,J), \operatorname{H}^{i}_\Phi(M) by \operatorname{H}^{i}_{I,J}(M) and \Phi-weakly cofinite module by (I,J)-weakly cofinite module, the Theorem 2.12 and Corollaries 2.14, 2.17, 2.21 and 2.22 are true for local cohomology modules defined by a pair of ideals. Because by [TYY, Definition 3.1 and Theorem 3.2], it is easy to see that the local cohomology modules defined by a pair of ideals is a special case of local cohomology modules with respect to a system of ideals.

Uses Theorem 2.12, Corollary 2.14

Source and licence

The text on this page is from arXiv:1707.06795v1 by Moharram Aghapournahr, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1707/1707.06795.jsonl.