A characterization result of cofinite local cohomology modules

We have already noticed that the conditions (iii) and (iv) are equivalent. Let {\mathcal C}_i, {\mathcal C}_{ii}, {\mathcal C}_{iii} and {\mathcal C_{iv}} be the classes of modules which satisfy the respective condition in Theorem 1.3. We have already noticed that \mathcal C_{iii} and \mathcal C_{iv} are equal. Let F_{\bullet}\to R/\mathfrak{a} be a resolution of R/\mathfrak{a} consisting of finite free modules and let \operatorname{K}_{\bullet}=\operatorname{K}_\bullet (x_1,\dots,x_s) be the Koszul complex of the sequence x_1,\dots,x_s. The classes \mathcal C_i and \mathcal C_{iii} both satisfy the three conditions in 2.3. If M is in \mathcal C_i then by 2.3 the cohomology modules of the cochain complex X^{\bullet}=\operatorname{Hom}_R(\operatorname{K}_{\bullet}, M) are in \mathcal S and therefore M is in \mathcal C_{iii}. Conversely let M be in \mathcal C_{iii}. Consider the cochain complex X^{\bullet}=\operatorname{Hom}_R(F_{\bullet},M). We get using Lemma 2.3, that M belongs to \mathcal C_i. To prove that the classes \mathcal C_{ii} and \mathcal C_{iv} are the same we consider the complexes \operatorname{K}_{\bullet}\otimes M and F_{\bullet}\otimes M and use Lemma 2.6.

Since \operatorname{Ker} f\subset{0\underset{M}{:}\mathfrak{a}^l}, which belongs to \mathcal S by remark 2.1 and the second condition in Lemma 2.3. Using the third condition in Lemma 2.3 applied to the exact sequences 0\to\operatorname{Ker} f\to M\to\operatorname{Im} f\to 0 and 0\to\operatorname{Im} f\to N\to\operatorname{Coker} f\to 0 we first get that \operatorname{Im} f\in\mathcal C (Note that we assumed that \mathcal S\subset\mathcal C) and then that \operatorname{Coker} f\in\mathcal C.

We use induction on n. The case n=0 follows from Lemma 2.4. Let n>0 and assume that we have proved the result for n-1. The map d^n induces a map f : \operatorname{Coker}{d^{n-1}}\to X^{n+1}. Here both modules belong to \mathcal C. The first one by the induction hypothesis and the second one by the hypothesis in the lemma. Since \operatorname{Ker} f=\operatorname{H}^n we can apply Lemma 2.4 to prove the case n.

Since \operatorname{Coker} f is a homomorhic image of N/{\mathfrak{a}}^lN, it follows from (2) in Lemma 2.6 and remark 2.1 that \operatorname{Coker} f\in\mathcal S and hence by (1) in Lemma 2.6 that \operatorname{Coker} f\in\mathcal C. By property (3) in Lemma 2.6 using the exact sequences 0\to\operatorname{Im} f\to N\to\operatorname{Coker} f\to 0 and 0\to\operatorname{Ker} f\to M\to\operatorname{Im} f\to 0 we first get that \operatorname{Im} f belongs to \mathcal C and then that \operatorname{Ker} f belongs to \mathcal C.

The proof is by induction on n. The case case n=0 is just Lemma 2.7. Assume that n>0 and that we know that \operatorname{Ker} d_{n-1} belongs to \mathcal C and that the homology modules \operatorname{H}_i belong to \mathcal S for i=0,\dots,n-1. Consider the map f : X_{n+1}\to \operatorname{Ker} d_{n-1} induced by d_n. Since \operatorname{Ker} f=\operatorname{Ker} d_n and \operatorname{Coker} f=\operatorname{H}_{n-1} we get by 2.7 that \operatorname{Ker} d_n\in\mathcal C and that \operatorname{H}_{n-1}\in\mathcal S.

Let \mathcal C be the class of R-modules which satidfy the equivalent conditions in Theorem 1.3. Apply Lemma 2.3 and Lemma 2.6 to the complexes X^{\bullet}=\operatorname{Hom}_R(F_{\bullet},M) and X_{\bullet}=F_{\bullet}\otimes M.

We use induction on t. The exact sequence

induces the following exact sequence:

Since {\operatorname{Hom}}_R(R/\mathfrak{a},M/\operatorname{\Gamma}_\mathfrak{a}(M))=0 so {\rm Hom}_R(R/\mathfrak{a},\operatorname{\Gamma}_\mathfrak{a}(M)) and {\rm Ext}^{1}_R(R/\mathfrak{a},\operatorname{\Gamma}_\mathfrak{a}(M)) are finite. Assume inductively that t>0 and that we have established the result for non-negative integers smaller than t. Using inductive assumption, the rest of proof is the same as [AB, Theorem 3.4 (i)].

Follows by Theorem 3.1.

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

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

The case (c) follows by Theorem [Mel, Theorem 7.10].

In the cases (a) and (b), suppose \operatorname{H}^{i}_\mathfrak{a}(M) is \mathfrak{a}-cofinite for all i. It follows from [Mel, Corollary 3.10] that \operatorname{Ext}^i_R(R/\mathfrak{a} ,M) is a finite R-module for all i.

To prove the converse, in the case (b), it follows by [Mel1, Theorem 2.10]. In the case (a), use [BA, Theorem 3.3] and the method of proof of [Mel1, Theorem 2.10].

See [VA, Lemma 2.5].

First suppose for any finite R-module N, \operatorname{H}^{i}_\mathfrak{a}(N,M) is \mathfrak{a}-cofinite for all i\geq 0. Let N=R, then it follows by Theorem 3.4, that \operatorname{Ext}^i_R(R/\mathfrak{a} ,M) is finite R-module for all i\geq 0.

To prove the converse we use induction on i. Let i=0, then it follows by Lemma 3.5 (a) that

Since \Gamma_{\mathfrak{a}}(M) is \mathfrak{a}-cofinite by Theorem 3.4, so the assertion follows by [BA, Theorem 4.1], [Mel1, Corollary 2.7] and [Mel, Theorem 7.4], respectively in the cases (a), (b) and (c). Now assume that i> 0 and that the claim holds for i-1. Since \operatorname{\Gamma}_{\mathfrak{a}}(M) is \mathfrak{a}-cofinite and \operatorname{Ext}^i_R(R/\mathfrak{a} ,M) is finite R-module for all i\ge 0. Using the short exact sequence

it is easy to see that the R-modules {\operatorname{Ext}}^{i}_R(R/{\mathfrak{a}},M/\operatorname{\Gamma}_{\mathfrak{a}}(M)) are finite for all i\ge 0. Now, by applying the derived functor \Gamma_{\mathfrak{a}}(N,-) to the same short exact sequence and using Lemma 3.5 (b), we obtain the long exact sequence

which yields short exact sequences

Since \operatorname{Ext}_R^i(N,\operatorname{\Gamma}_{\mathfrak{a}}(M)) is \mathfrak{a}-cofinite R-module for all i\ge 0 by [BA, Theorem 4.1], [Mel1, Corollary 2.7] and [Mel, Theorem 7.4], respectively in the cases (a), (b) and (c), it follows by definition that, \operatorname{H}^{i}_\mathfrak{a}(N,M) is \mathfrak{a}-cofinite R-module if and only if \operatorname{H}^{i}_\mathfrak{a}(N,M/\operatorname{\Gamma}_{\mathfrak{a}}(M)) is \mathfrak{a}-cofinite R-module for all i\ge 0. Therefore it suffices to show that \operatorname{H}^{i}_\mathfrak{a}(N,M/\operatorname{\Gamma}_{\mathfrak{a}}(M)) is \mathfrak{a}-cofinite R-module for all i\ge 0. To this end consider the exact sequence

in which E is an injective \mathfrak{a}-torsion free module. Since \operatorname{\Gamma}_{\mathfrak{a}}(M/\operatorname{\Gamma}_{\mathfrak{a}}(M))= 0= \operatorname{\Gamma}_{\mathfrak{a}}(E), thus \operatorname{Hom}_R(R/\mathfrak{a},E)=0 and \operatorname{\Gamma}_{\mathfrak{a}}(N, M/\operatorname{\Gamma}_{\mathfrak{a}}(M))= 0= \operatorname{\Gamma}_{\mathfrak{a}}(N, E) by Lemma 3.5 (a). Applying the derived functors of \operatorname{Hom}_R(R/\mathfrak{a},-) and \Gamma_{\frak{a}}(N,-) to the short exact sequence (\dagger) we obtain, for all i> 0, the isomorphisms

From what has already been proved, we conclude that {\operatorname{Ext}}^{i-1}_R(R/{\mathfrak{a}},L) is finite for all i>0. Hence \operatorname{H}^{i-1}_\mathfrak{a}(N, L) is \mathfrak{a}-cofinite by induction hypothesis for all i>0, which yields that \operatorname{H}^i_\mathfrak{a}(N,M/\operatorname{\Gamma}_{\mathfrak{a}}(M)) is \mathfrak{a}-cofinite for all i\ge 0, this completes the inductive step.

See [DM, Proposition 1].

In order to prove (i)\Leftrightarrow(ii), use [BA, Theorem 3.3], [Mel1, Theorem 2.3] and [Mel, Theorem 7.10], respectively in the cases (a), (b) and (c).

(i)\Leftrightarrow(iii) follows by Theorem 3.4.

(i)\Leftrightarrow(iv) follows by Theorem 3.6.

In order to prove (i)\Leftrightarrow(v) and (ii)\Leftrightarrow(vii) use [Ka, Lemma 1].

(v)\Rightarrow(vi) and (vii)\Rightarrow(viii) are trivial.

In order to prove (vi)\Rightarrow(v) and (viii)\Rightarrow(vii), let L be a finitely generated R-module with \operatorname{Supp}_R(L)\subseteq \operatorname{V}(\mathfrak{a}). Then \operatorname{Supp}_R(L)\subseteq \operatorname{Supp}_R(N). Now the assertion follows by Lemma 3.7.

This is the direct consequence of Grothendieck’s vanishing theorem and the isomorphism \operatorname{H}^{i}_\mathfrak{a}(M)_{\mathfrak{p}}\cong \operatorname{H}^{i}_{{\mathfrak{a}}R_{\mathfrak{p}}}(M_{\mathfrak{p}}) for each prime ideal \mathfrak{p} minimal over \mathfrak{a}.

The implications (iii)\Rightarrow(ii)\Rightarrow(i) always hold, so let us assume (i) and prove that (iii) hold. We do induction on r. First we note that if N is a finite R-module, such that \operatorname{Supp}_R(\operatorname{H}^{i}_\mathfrak{a}(N))\subseteq \operatorname{Max}(R), then \operatorname{H}^{i}_\mathfrak{a}(N) is \mathfrak{a}-cofinite Artinian for all i. Let r=0 and put N=M/\operatorname{\Gamma}_{\mathfrak{a}}(M). Then \operatorname{H}^{0}_\mathfrak{a}(N)=0 and \operatorname{H}^{i}_\mathfrak{a}(N)\cong \operatorname{H}^{i}_\mathfrak{a}(M) for all i>0. Hence by the above remark \operatorname{H}^{i}_\mathfrak{a}(N) is \mathfrak{a}-cofinite Artinian for all i. It follows that \operatorname{H}^{i}_\mathfrak{a}(M) is Artinian and \mathfrak{a}-cofinite for all i>0.

Next let r>0 and put N=M/\operatorname{\Gamma}_{\mathfrak{a}}(M). Then \operatorname{H}^{0}_\mathfrak{a}(N)=0 and we can take x\in \mathfrak{a} such that x is N-regular.

Then by Lemma 4.1, \dim(N/xN)_{\mathfrak{p}}\leq r-1 for each prime ideal \mathfrak{p} minimal over \mathfrak{a}. Applying the induction hypothesis to N/xN, we have that \operatorname{H}^{i}_\mathfrak{a}(N/xN) is \mathfrak{a}-cofinite Artinian for all i>r-1. Next applying local cohomology functor to the exact sequence 0\longrightarrow N\longrightarrow N \longrightarrow N/xN \longrightarrow 0, we can conclude that (0:_{\operatorname{H}^{i}_\mathfrak{a}(N)}x) is \mathfrak{a}-cofinite Artinian for all i>r. It follows that \operatorname{H}^{i}_\mathfrak{a}(N) is Artinian and \mathfrak{a}-cofinite for all i>r. Therefore also \operatorname{H}^{i}_\mathfrak{a}(M) , for all i>r.