On Artinianness of Formal Local Cohomology, Colocalization and Coassociated Primes

Majid Eghbali

arXiv: 1011.4141v3 · PDF · 26 January 2012
Categories: math.AC
Licence: CC BY 4.0 The site shows the text.

Abstract

This paper at first concerns some criteria on Artinianness and vanishing of formal local cohomology modules. Then we consider the cosupport and the set of coassociated primes of these modules more precisely.

Items 40

Theorem

Theorem 1.1

A0QM

Let (R,\frak{m}) be a local ring and M be a finitely generated R-module. For given integers i and t > 0, the following statements are equivalent:

(1) \operatorname{Supp}_{\widehat{R}} (\mathfrak{F}^i_{\frak{a}}(M)) \subseteq V(\frak{m} \widehat{R}) for all i < t;
(2) \mathfrak{F}^i_{\frak{a}}(M) is Artinian for all i < t;
(3) \operatorname{Supp}_{\widehat{R}} (\mathfrak{F}^i_{\frak{a}}(M)) \subseteq V(\frak{a} \widehat{R}) for all i < t;
(4) \frak{a} \subseteq \operatorname{Rad}(\operatorname{Ann}_R (\mathfrak{F}^i_{\frak{a}}(M))) for all i < t;
Suppose that t \leq \operatorname{depth} M, then the above conditions are equivalent to
(5) \mathfrak{F}^i_{\frak{a}}(M) = 0 for all i < t;

where \widehat{R} denotes the \frak{m}-adic completion of R.

Used by Proof

Theorem

Theorem 1.2

X7EP

Let (R, \frak{m}) be a local ring. Let M be a finitely generated R-module. Then

(1) \operatorname{CoSupp} (\mathfrak{F}^c_{\frak{a}}( M)) = \operatorname{CoSupp} (\mathfrak{F}^c_{\frak{a}}( R/J)),
(2) \operatorname{Supp} (\mathfrak{F}^c_{\frak{a}}( M)) = \operatorname{Supp} (\mathfrak{F}^c_{\frak{a}}( R/J)),

where J is \operatorname{Ann}_{R} M and c:= \dim R/\frak{a}.

Used by Proof

Theorem

Theorem 1.3

VDEL

Let (R,\frak{m}) be a local ring of dimension d > 1. Let \mathfrak{F}^{d}_{\frak{a}}(R)=0. Then:

(1) If \frak{p} \in \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R), then it implies that \dim (R/(\frak{a},\frak{p}))= d-1.
(2) \operatorname{Assh}(R) \cap \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R)\subseteq \{ \frak{p} \in \operatorname{Spec} R: \dim R/\frak{p}=d, \operatorname{Rad} (\frak{a}+ \frak{p}) \neq \frak{m} \}.
(3) If \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R)\subseteq \operatorname{Assh}(R), then \{ \frak{p} \in \operatorname{Spec} R: \dim (R/(\frak{a},\frak{p}))= d-1 \} \subseteq \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R).

Theorem

Theorem 1.4

Y7QN

Let (R,\frak{m}) be a local complete ring of dimension d. Let \frak{a} be an ideal of dimension one. Then

\begin{array}{ll} \ \mathfrak{F}^{d-1}_{\frak{a}}(R)=0, \ when \ \ d >2, \end{array}

in particular \operatorname{Coass}_R \mathfrak{F}^{d-1}_{\frak{a}}(R)= \emptyset.

\begin{array}{ll} \ \operatorname{Coass}_R \mathfrak{F}^{d-1}_{\frak{a}}(R) \subseteq \{ \frak{m} \}, \ when\ \ d =1, \end{array}

and in the case d=2 we have

\begin{array}{ll} \ \operatorname{Coass}_R \mathfrak{F}^{d-1}_{\frak{a}}(R)= \bigcup^r_{i=1} \operatorname{Coass}_R(\widehat{R_{\frak{p}_i}}) = \{ \frak{p}_1,..., \frak{p}_r \} \cup (\bigcup^s_{j=1} \{\frak{q}_j : R_{\frak{p}_i}/\frak{q}_j R_{\frak{p}_i} \text{ is not complete } \}) , \end{array}

where \frak{p}_1 ,... \frak{p}_r are minimal prime ideals of \frak{a} and \frak{q}_1 ,... \frak{q}_s are minimal prime ideals of R with \frak{q}_j \subseteq \frak{p}_i for i \in \{1,...,r \}.

In particular \operatorname{Cosupp} \mathfrak{F}^{d-1}_{\frak{a}}(R) is closed for all d >0.

Used by Proof

Proposition

Proposition 2.1

QV0Y

Let \frak{a} be an ideal of a local ring (R,\frak{m}) and M a finitely generated R-module of dimension d. Then \mathfrak{F}^d_{\frak{a}}(M) is Artinian. Furthermore

\begin{array}{ll} \operatorname{Att}_R (\mathfrak{F}^d_{\frak{a}}(M)) = \{\frak{p} \in \operatorname{Ass} M: \dim R/\frak{p} =d \} \cap V(\frak{a}). \end{array}

Proof of Proposition 2.1

By Independence Theorem we may assume that \operatorname{Ann} M=0 and so d=\dim R. As H^d_{\frak{m}} (M/\frak{a}^n M) is right exact (n \in \mathbb {N}), we have

\begin{array}{ll} H^d_{\frak{m}} (M/\frak{a}^n M) & \cong H^d_{\frak{m}} (R) \otimes_R M/\frak{a}^n M \\& \cong H^d_{\frak{m}} (M) \otimes_R R/\frak{a}^n \\& \cong H^d_{\frak{m}} (M)/\frak{a}^n H^d_{\frak{m}} (M). \end{array}

Since H^d_{\frak{m}} (M) is an Artinian module so there exists an integer n_0 such that for all integer t \geq n_0 we have \frak{a}^t H^d_{\frak{m}} (M) = \frak{a}^{n_0} H^d_{\frak{m}} (M). Then one can see that

\begin{array}{ll} \mathfrak{F}^d_{\frak{a}}(M) \cong H^d_{\frak{m}} (M)/\frak{a}^{n_0} H^d_{\frak{m}} (M), \end{array}

which is an Artinian module. By virtue of above equations and [Br-Sh, Theorem 7.3.2], the second claim is clear. $

Lemma

Lemma 2.2

QLQI

Let (R,\frak{m}) be a complete local ring and M a finitely generated R-module. Then \operatorname{Supp} (\mathfrak{F}^0_{\frak{a}}(M))=\bigcup_{\frak{p} \in \operatorname{Ass}_R \mathfrak{F}^0_{\frak{a}}(M)} V(\frak{p}). Moreover \operatorname{Supp} (\mathfrak{F}^0_{\frak{a}}(M)) \cap V(\frak{a}) \subseteq V(\frak{m}) .

Used by Proof

Proof of Lemma 2.2

To prove the claim, it is enough to consider that \operatorname{Ass}_R \mathfrak{F}^0_{\frak{a}}(M)=\{ \frak{p} \in \operatorname{Ass}_R M: \dim R/(\frak{a} +\frak{p})=0 \} (cf. [Sch, lemma 4.1]) . $

Proof

Proof (Theorem 1.1)

IOZK

(1)\Rightarrow (3) and (2)\Rightarrow (1) are obvious.

(3)\Rightarrow (2): By passing to the completion, we may assume that R is complete (cf. [Sch, Proposition 3.3]).

We argue by induction on t. When \ t=1, there is nothing to prove, since Lemma 2.2 and the assumptions imply that

\begin{array}{ll} \operatorname{Supp} (\mathfrak{F}^0_{\frak{a}}(M)) = \operatorname{Supp} (\mathfrak{F}^0_{\frak{a}}(M)) \cap V(\frak{a}) \subseteq V(\frak{m}). \end{array}

Hence \ \mathfrak{F}^0_{\frak{a}}(M)\ is Artinian. To this end note that \mathfrak{F}^0_{\frak{a}}(M) is a finitely generated submodule of M. So suppose that t> 1 and the result has been proved for smaller values of t. Put \overline {M} =M/H^0_{\frak{a}}(M). From the short exact sequences

\begin{array}{ll} 0 \longrightarrow H^{0}_{\frak{a}}(M ) \longrightarrow M \longrightarrow \overline{M} \longrightarrow 0 \end{array}

and by [Sch, Proposition 3.11]), we get the following long exact sequence

\begin{array}{ll} ... \longrightarrow \mathfrak{F}^i_{\frak{a}}(H^{0}_{\frak{a}}(M )) \longrightarrow \mathfrak{F}^i_{\frak{a}}(M) \longrightarrow \mathfrak{F}^i_{\frak{a}}(\overline{M}) \longrightarrow \mathfrak{F}^{i+1}_{\frak{a}}(H^{0}_{\frak{a}}(M ))\longrightarrow .... \end{array}

As \mathfrak{F}^j_{\frak{a}}(H^{0}_{\frak{a}}(M ))= H^j_{\frak{m}}(H^0_{\frak{a}}(M)) is an Artinian R-module for every j \in \mathbb {Z} ([Br-Sh, Theorem 7.1.3]) then, one can see that \ \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(\overline {M})) \subseteq V(\frak{a}) for all i< t. Hence, it is enough to show that \mathfrak{F}^i_{\frak{a}}(\overline {M}) is Artinian, so we may assume that H^0_{\frak{a}}(M) = 0. Thus, there exists an M-regular element x in {\frak{a}} such that from the short exact sequence

\begin{array}{ll} 0 \longrightarrow M \stackrel{x}{\rightarrow} M \longrightarrow M/xM= \widetilde{M}\longrightarrow 0 \end{array}

we deduce the next long exact sequence

\begin{array}{ll} ... \longrightarrow \mathfrak{F}^i_{\frak{a}}(M ) \stackrel{x}{\rightarrow} \mathfrak{F}^i_{\frak{a}}(M) \longrightarrow \mathfrak{F}^i_{\frak{a}}(\widetilde{M}) \longrightarrow \mathfrak{F}^{i+1}_{\frak{a}}(M)\longrightarrow ....\ \ \ \ \ \ \ \ \ \ (\ast) \end{array}

Since \ \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(M)) \subseteq V(\frak{a}) \ for all i < t, it follows from the above long exact sequence that \ \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(\widetilde{M})) \subseteq V(\frak{a}) \ for all \ i < {t-1} \. Hence, by induction hypothesis we have \ \mathfrak{F}^i_{\frak{a}}(\widetilde{M}) \ is Artinian for all \ i < {t-1}. Therefore in the view of (\ast), \ ( 0 :_{\mathfrak{F}^i_{\frak{a}}(M)} x ) \ is Artinian for all \ i < t .

On the other hand since \ \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(M)) \subseteq V(\frak{a})\ for all i< t \, one can see that

\begin{array}{ll} \ \mathfrak{F}^i_{\frak{a}}(M) = \bigcup ( 0 :_{\mathfrak{F}^i_{\frak{a}}(M)} {\frak{a}^\alpha} ) \subseteq \bigcup ( 0 :_{\mathfrak{F}^i_{\frak{a}}(M)} {x^\alpha}) \subseteq \mathfrak{F}^i_{\frak{a}}(M) \end{array}

so \ \mathfrak{F}^i_{\frak{a}}(M) = \bigcup ( 0 :_{\mathfrak{F}^i_{\frak{a}}(M)} {x^\alpha}) \. Therefore by [Mel, Theorem 1.3], \ \mathfrak{F}^i_{\frak{a}}(M)\ will be Artinian for all i<t.

(2)\Rightarrow (4): Since \mathfrak{F}^i_{\frak{a}}(M) is \frak{a}-adically complete for every i \in \mathbb {Z}\(cf. [Sch, Theorem 3.9] or [H-St, Remark 3.1] ), we get \bigcap_{n}\frak{a} ^n \mathfrak{F}^i_{\frak{a}}(M)=0. Moreover for all i <t, \ \mathfrak{F}^i_{\frak{a}}(M) is Artinian. Hence, there is an integer u such that \frak{a} ^u \mathfrak{F}^i_{\frak{a}}(M)=0.

(4)\Rightarrow (3) is obvious.

(1)\Rightarrow (5): By passing to the completion we may assume that R is complete. We use induction on t. Let t =1. As \operatorname{Supp} (\mathfrak{F}^0_{\frak{a}}(M)) \subseteq V(\frak{m}) so \mathfrak{F}^0_{\frak{a}}(M) must be zero. Otherwise since

\begin{array}{ll} \ \emptyset \neq \operatorname{Ass} ( \mathfrak{F}^0_{\frak{a}}(M) ) \subseteq \operatorname{Supp} ( \mathfrak{F}^0_{\frak{a}}(M) ) \subseteq V({\frak{m}}) \end{array}

then,

\begin{array}{ll} \ \frak{m} \in \operatorname{Ass} ( \mathfrak{F}^0_{\frak{a}}(M) )= \{ \frak{p} \in \operatorname{Ass} M ; \dim(R/\frak{a}+\frak{p}) = 0 \}, \end{array}

this is contradiction to \operatorname{depth} M > 0.

Now suppose that \operatorname{depth} M \geq t> 1 and that the result has been proved for smaller values of t. By this inductive assumption, \mathfrak{F}^i_{\frak{a}}(M)=0 for i=0,1,...,t-2 and it only remains for us to prove that \mathfrak{F}^{t-1}_{\frak{a}}(M)=0.

Since \operatorname{depth} M > 1 then, there exists x \in {\frak{m}} \ that is an M-regular element. Consider the short exact sequence

\begin{array}{ll} \ 0 \rightarrow M \stackrel{x^l}{\rightarrow} M \rightarrow M/x^l M = \bar{M} \rightarrow 0 \end{array}

for every l. Thus, we have the following long exact sequence

\begin{array}{ll} \ ... \rightarrow \mathfrak{F}^{i-1}_{\frak{a}}(\bar{M}) \rightarrow \mathfrak{F}^i_{\frak{a}}(M) \stackrel{x^l}{\rightarrow} \mathfrak{F}^i_{\frak{a}}(M)\rightarrow \mathfrak{F}^i_{\frak{a}}(\bar{M}) \rightarrow ... \end{array}

for every l.

As \ \operatorname{depth} \bar{M}= \operatorname{depth} M -1> 0\ and for all i< t-1, \ \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(\bar{M})) \subseteq V(\frak{m}) then, by inductive hypothesis \ \mathfrak{F}^i_{\frak{a}}(\bar{M}) = 0 \ for all \ i< t-1 . Thus, for every l, \ ( 0:_{\mathfrak{F}^{t-1}_{\frak{a}}(M)} x^l) is a homomorphic image of \mathfrak{F}^{t-2}_{\frak{a}}(\bar{M}). Hence, \ ( 0:_{\mathfrak{F}^{t-1}_{\frak{a}}(M)} x^l) = 0 \ for every l.

Take into account that by assumption \operatorname{Supp} (\mathfrak{F}^i_{\frak{a}}(M)) \subseteq V(\frak{m}) for every i<t. Then, \ {\mathfrak{F}^{t-1}_{\frak{a}}(M)} = \cup ( 0:_{\mathfrak{F}^{t-1}_{\frak{a}}(M)} x^l) = 0 \ . This completes the proof. $

Uses Theorem 1.1, Lemma 2.2

Definition

Definition 3.1

LT0M

(cf. [R]) Let R be a ring and M an R-module.

(1) Let S be a multiplicative closed subset of R and D_{R}(-):= \operatorname{Hom}_{R}(-,E_{R}), where E_{R} is the injective hull of \oplus R/\frak{m}, the sum running over all maximal ideals \frak{m} of R. The colocalization of M relative to S is the S^{-1}R-module S_{-1}M=D_{S^{-1}R}(S^{-1}D_R(M)). If S=R \setminus \frak{p}\ for some prime ideal \frak{p}\in \operatorname{Spec}(R), we write ^{\frak{p}}M for S_{-1}M.
(2) The cosupport of M is defined as follows
\begin{array}{ll} \ \operatorname{CoSupp}_R M := \{ \frak{p}\in \operatorname{Spec}(R):\ ^{\frak{p}}M \neq 0 \}. \end{array}

Lemma

Lemma 3.2

4E5D

(cf. [R, Theorem 2.7]) Let R be a ring and M an R-module.

(1) \operatorname{CoSupp} M =\operatorname{Supp} D_{R}(M).
(2) If M is finitely generated, then \operatorname{CoSupp} M = V(\operatorname{Ann} M)\cap \max(R).
(3) \operatorname{CoSupp} M =\emptyset if and only if M=0.
(4) \operatorname{CoSupp} M \subseteq V(\operatorname{Ann} M).
(5) If \ 0 \rightarrow M^{'} \rightarrow M \rightarrow M^{''} \rightarrow 0 is exact, then \operatorname{CoSupp} M = \operatorname{CoSupp} M^{'} \cup \operatorname{CoSupp} M^{''}.
(6) If M is representable, then \operatorname{CoSupp} M = V(\operatorname{Ann} M).

Proposition

Proposition 3.3

H4SB

Let R be a ring and M and N be R-modules. Then the following statements are true:

(1) \operatorname{CoSupp} (M) is stable under specialization, i.e.
\begin{array}{ll} \ \frak{p} \in \operatorname{Cosupp} (M) , \frak{p} \subseteq \frak{q} \Rightarrow \frak{q} \in \operatorname{Cosupp} (M). \end{array}
(2) Let M be a finite module, then \operatorname{CoSupp} (M \otimes_R N)\subseteq \operatorname{Supp} M \cap \operatorname{CoSupp} N.

Used by Proof, Proof

Proof of Proposition 3.3

(1) Let \frak{p} \in \operatorname{Cosupp} (M), then by definition D_{R_{\frak{p}}} (D_R(M)_{\frak{p}}) is nonzero and so is D_R(M)_{\frak{p}}. As 0 \neq D_R(M)_{\frak{p}}= (D_R(M)_{\frak{q}})_{\frak{p} R_{\frak{q}}}, then D_R(M)_{\frak{q}} \neq 0. It implies that ^{\frak{q}}M \neq 0.
(2) Use [R, 2.5] to prove.

Lemma

Lemma 3.4

QKV4

Let \frak{a} be an ideal of a ring R. Let N be an Artinian R-module with \operatorname{Att}_R (N)\subseteq V(\frak{a}). Then \operatorname{CoSupp} N \subseteq V(\frak{a}).

Used by Proof

Proof of Lemma 3.4

Since N is an Artinian module then, the following descending chain

\begin{array}{ll} \ \frak{a} N \supseteq \frak{a}^2 N \supseteq ... \supseteq \frak{a}^n N \supseteq ... \end{array}

of submodules of N is stable, i.e. there exists an integer k that \frak{a}^k N= \frak{a}^{k+1} N. As \operatorname{Att}_R (N/\frak{a}^k N)=\operatorname{Att}_R (N) \cap V(\frak{a}) (cf. [Mel-Sch, Proposition 5.2]) and \operatorname{CoSupp} (N/\frak{a}^k N) \subseteq V(\frak{a}) by virtue of Proposition 3.3, hence, by passing to N/\frak{a}^k N we may assume that \frak{a}^k N=0.

Let \frak{p} \in \operatorname{CoSupp} N then, ^{\frak{p}}N \neq 0. Thus, for every s \in S= R \setminus \frak{p}, sN \neq 0 (cf. [R, 2.1]). On the other hand \bigcap_n \frak{a}^nN=\frak{a}^k N=0, hence, for every s \in S, sN \not \subseteq \frak{a}^tN. It follows that for all s \in S, s \notin \frak{a}^t and clearly \frak{p} \in V(\frak{a}). $

Uses Proposition 3.3

Corollary

Corollary 3.5

FUQN

Let i \in \mathbb {Z}. Let (R,\frak{m}) be a local ring and M be a finitely generated R-module. Assume that \mathfrak{F}^i_{\frak{a}}(M) is an Artinian R-module, then \operatorname{CoSupp} \mathfrak{F}^i_{\frak{a}}(M) \subseteq V(\frak{a}).

Proof of Corollary 3.5

As \mathfrak{F}^i_{\frak{a}}(M) is Artinian and \frak{a}-adically complete so, there exists an integer k such that \bigcap_{n \geq 1} \frak{a}^n \mathfrak{F}^i_{\frak{a}}(M)= \frak{a}^k \mathfrak{F}^i_{\frak{a}}(M)=0. Hence, [Br-Sh, Proposition 7.2.11] implies that \operatorname{Att} \mathfrak{F}^i_{\frak{a}}(M)\subseteq V(\frak{a}) and in the light of Lemma 3.4 \ \operatorname{CoSupp} \mathfrak{F}^i_{\frak{a}}(M) \subseteq V(\frak{a}). $

Uses Lemma 3.4

Remark

Remark 3.6

EM62

Converse of Corollary 3.5 is not true in general. Let R=k[\left| x \right|] denote the formal power series ring over a field k. Put \frak{a}=(x)R. Then

\begin{array}{ll} \ \operatorname{CoSupp} \mathfrak{F}^0_{\frak{a}}(R) =\operatorname{Supp} D_R(D_R (H^{1}_{\frak{a}}(R)))= \operatorname{Supp} H^{1}_{\frak{a}}(R)\subseteq V(\frak{a}) \end{array}

but \mathfrak{F}^0_{\frak{a}}(R) is not Artinian .

Lemma

Lemma 3.7

VNAM

Let (R, \frak{m}) be a d-dimensional local ring. Let M be a finitely generated R-module. Then

\begin{array}{ll} \ \mathfrak{F}^c_{\frak{a}}( M)\cong \mathfrak{F}^c_{\frak{a}}( R)\otimes_{R}M, \end{array}

where c:= \dim R/\frak{a}.

Used by Proof, Proof, Proof, Remark 4.10

Proof of Lemma 3.7

At first note that by definition of inverse limit, \mathfrak{F}^j_{\frak{a}}(-) preserves finite direct sum, for every j \in \mathbb {Z}. Furthermore \mathfrak{F}^c_{\frak{a}}(-) is a right exact functor (cf. [Sch, Theorem 4.5]). Hence, by Watts’ Theorem ( [Ro, Theorem 3.33]) the claim is proved. $

Proof

Proof (Theorem 1.2)

BLNT

(1): Since \mathfrak{F}^c_{\frak{a}}( M) \cong \mathfrak{F}^c_{\frak{a} (R/J)}( M), by Independence Theorem [Br-Sh, 4.2.1], we may replace R by R/J to assume that M is faithful. Note that for \dim R/(\frak{a}, J) < c, there is nothing to prove because, \mathfrak{F}^c_{\frak{a}}( M)= 0.

In the view of lemma 3.7 and [R, Proposition 2.5], for every \frak{p} \in \operatorname{Spec} R

\begin{array}{ll} \ ^{\frak{p}}\mathfrak{F}^c_{\frak{a}}( M) \cong M_{\frak{p}} \otimes_{R_{\frak{p}}}\ ^{\frak{p}}\mathfrak{F}^c_{\frak{a}}( R). \end{array}

As M_{\frak{p}} is a faithful R_{\frak{p}}-module, [V, Corollary 4.3] implies that M_{\frak{p}} \otimes_{R}\ ^{\frak{p}}\mathfrak{F}^c_{\frak{a}}( R)=0 if and only if ^{\frak{p}}\mathfrak{F}^c_{\frak{a}}( R)=0, which completes the proof.

(2): To prove, we use the localization instead of colocalization in the proof of (1). $

Uses Theorem 1.2, Lemma 3.7

Lemma

Lemma 4.1

BDQB

Let (R, \frak{m}) be a local ring and M an R-module. Then the following statements are true:

(1) \operatorname{Coass} (M) \subseteq \operatorname{CoSupp} (M).
(2) Every minimal element of \operatorname{CoSupp} (M) belongs to \operatorname{Coass} (M).
(3) For any Noetherian \widehat{R}-module M, \operatorname{Coass} (M) = \operatorname{CoSupp} (M) \subseteq \{ \frak{m} \}, where \widehat{R} denotes the \frak{m}-adic completion of R.

Proof of Lemma 4.1

(1) Let \frak{p} \in \operatorname{Coass} (M), then, it implies that 0\neq \operatorname{Hom}_{R_{\frak{p}}}(R_{\frak{p}}/\frak{p} R_{\frak{p}},D_{R}(M)_{\frak{p}}). Note that it remains nonzero by taking \operatorname{Hom}_{R_{\frak{p}}}(-,E_{R_{\frak{p}}}(R_{\frak{p}}/\frak{p} R_{\frak{p}})) and consequently \frak{p} \in \operatorname{CoSupp} (M).
(2) Let \frak{p} \in \min \operatorname{CoSupp} (M)= \min \operatorname{Supp} D_{R}(M), so, \frak{p} \in \min \operatorname{Ass} D_{R}(M). It follows that \frak{p} \in \min \operatorname{Coass} (M).
(3) It is clear by (1) and (2).$

Lemma

Lemma 4.2

8F7M

Let (R, \frak{m}) be a local ring and M be an R-module. The set of minimal primes in \operatorname{CoSupp}(M) is finite if and only if \operatorname{CoSupp}(M) is a closed subset of \operatorname{Spec} R.

Proof of Lemma 4.2

Let \operatorname{CoSupp} (M)= V(\frak{b}) for some ideal \frak{b} of R. As R is Noetherian then so is R/\frak{b}. It turns out that the set of minimal elements of \operatorname{CoSupp}(M) is finite.

For the reverse direction, let \frak{p}_{1},..., \frak{p}_{t} be the minimal prime ideals of \operatorname{CoSupp} (M). Put \frak{q}:= \cap_{i} \frak{p}_{i}. We claim that \operatorname{CoSupp} M= V(\frak{q}).

It is clear that \operatorname{CoSupp} (M)\subseteq V(\frak{q}). For the opposite direction assume that there is a prime ideal Q \supset \frak{q}. Then Q \supset \frak{p}_{j}, for some 1 \leq j \leq t so the proof follows by 3.3(1). $

Uses Proposition 3.3

Theorem

Theorem 4.3

MI19

Let \frak{a} be an ideal of a local ring (R,\frak{m}) and M a finitely generated R-module. Assume that \dim M/\frak{a} M > 0. Then \mathfrak{F}^{\dim M/\frak{a} M}_{\frak{a}}( M) is not a finitely generated R-module.

Proof of Theorem 4.3

Put c:= \dim M/\frak{a} M. In the contrary assume that \mathfrak{F}^{c}_{\frak{a}}( M) is a finitely generated R-module. Let x \in \frak{m} be a parameter element of M/\frak{a} M. Hence, [Sch, Theorem 3.15] implies the following long exact sequence

\begin{array}{ll} \ ... \rightarrow \operatorname{Hom} (R_x, \mathfrak{F}^{c}_{\frak{a}}( M)) \rightarrow \mathfrak{F}^{c}_{\frak{a}}( M) \rightarrow \mathfrak{F}^{c}_{(\frak{a},x)}( M) \rightarrow ..., \end{array}

where i \in \mathbb {Z}. As \dim M/(\frak{a},x) M < \dim M/\frak{a} M\ then, \mathfrak{F}^{c}_{(\frak{a},x)}( M)=0. Now let f \in \operatorname{Hom} (R_x, \mathfrak{F}^{c}_{\frak{a}}( M)). Fix an arbitrary integer n, so

\begin{array}{ll} \ f(1/x^n)=x^m f(1/x^{m+n}) \in x^m \mathfrak{F}^{c}_{\frak{a}}( M), \end{array}

for every integer m. It implies that f(1/x^n) \in \bigcap_{m} x^m \mathfrak{F}^{c}_{\frak{a}}( M)=0 by Krull’s Theorem and hence, f=0. Now it follows that \mathfrak{F}^{c}_{\frak{a}}( M)=0, which is a contradiction, see [Sch, Theorem 4.5]. $

Proposition

Proposition 4.4

RUEQ

Let \frak{a} be an ideal of a complete Gorenstein local ring (R, \frak{m}) and c:= \dim R/\frak{a}. Let M be a finitely generated R-module. Then

\begin{array}{ll} \ \operatorname{Coass}_R (\mathfrak{F}^c_{\frak{a}}( M)) = \operatorname{Supp}_R (M) \cap \operatorname{Ass} (H^{\operatorname{ht} \frak{a}}_{\frak{a}}(R)). \end{array}

In particular, \ \operatorname{Coass}_R (\mathfrak{F}^c_{\frak{a}}( M)) is finite.

Proof of Proposition 4.4

\begin{array}{ll} \ \operatorname{Coass}_R (\mathfrak{F}^c_{\frak{a}}( M))& = \operatorname{Coass}_R (\mathfrak{F}^c_{\frak{a}}( R)\otimes_R M) \\& = \operatorname{Supp}_R M \cap \operatorname{Coass}_R (\mathfrak{F}^c_{\frak{a}}( R)) \\& = \operatorname{Supp}_R M \cap \operatorname{Ass}_R (H^{\operatorname{ht} \frak{a}}_{\frak{a}}(R)) \end{array}

where the first equality is clear by Lemma 3.7, the second equality follows by [Y, Theorem 1.21]. $

Uses Lemma 3.7

Corollary

Corollary 4.5

BHVC

Keep the notations and hypotheses in Proposition 4.4,

\begin{array}{ll} \ \mathfrak{F}^c_{\frak{a}}( M)= 0 \Longleftrightarrow \operatorname{Supp}_R (M) \cap \operatorname{Ass} (H^{\operatorname{ht} \frak{a}}_{\frak{a}}(R)) =\emptyset. \end{array}

Proposition

Proposition 4.6

TJFC

Let i \in \mathbb {Z}. Let \frak{a} \subset R be an ideal of a ring R. If \operatorname{Coass}_R \mathfrak{F}^i_{\frak{a}}( R) is finite, then so is \operatorname{Coass}_R \mathfrak{F}^i_{\frak{a}}( R/H^0_{\frak{a}}(R)).

Proof of Proposition 4.6

Consider the exact sequence

\begin{array}{ll} \ 0 \rightarrow H^0_{\frak{a}}(R) \rightarrow R \rightarrow R/H^0_{\frak{a}}(R)=\overline{R} \rightarrow 0. \end{array}

It provides the following long exact sequence

\begin{array}{ll} \ ... \rightarrow \mathfrak{F}^i_{\frak{a}}(H^0_{\frak{a}}(R)) {\stackrel{\psi}{\rightarrow}} \mathfrak{F}^i_{\frak{a}}(R) \stackrel{\varphi}{\rightarrow} \mathfrak{F}^i_{\frak{a}}(\overline{R}) \rightarrow \mathfrak{F}^{i+1}_{\frak{a}}(H^0_{\frak{a}}(R)) \rightarrow ..., \ \ \ \ \ \ \ \ (\ast) \end{array}

for every i.

As \mathfrak{F}^i_{\frak{a}}(H^0_{\frak{a}}(R))=H^i_{\frak{m}}(H^0_{\frak{a}}(R)) is Artinian, it follows that \operatorname{Coass} (\mathfrak{F}^i_{\frak{a}}(H^0_{\frak{a}}(R))) is finite.

By virtue of (\ast), we get the following short exact sequence

\begin{array}{ll} \ 0 \rightarrow U \rightarrow \mathfrak{F}^i_{\frak{a}}(\overline{R}) \rightarrow U^{'} \rightarrow 0, \end{array}

where U=\operatorname{coker} \psi and U^{'}=\operatorname{coker} \varphi. It implies that \operatorname{Coass} \mathfrak{F}^i_{\frak{a}}( \overline{R}) is finite. To this end note that \operatorname{Coass} (U) is finite by [Y, Theorem 1.10] and \operatorname{Coass} (U^{'}) is finite as \mathfrak{F}^{i+1}_{\frak{a}}(H^0_{\frak{a}}(R)) is Artinian. $

Theorem

Theorem 4.7

HPYM

Let (R,\frak{m}) be a local ring of dimension d >1. Let \mathfrak{F}^{d}_{\frak{a}}(R)=0. Then:

(1) If \frak{p} \in \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R), then it implies that \dim (R/(\frak{a},\frak{p}))= d-1.
(2) \operatorname{Assh}(R) \cap \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R)\subseteq \{ \frak{p} \in \operatorname{Spec} R: \dim R/\frak{p}=d, \operatorname{Rad} (\frak{a}+ \frak{p}) \neq \frak{m} \}.
(3) If \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R)\subseteq \operatorname{Assh}(R), then \{ \frak{p} \in \operatorname{Spec} R: \dim (R/(\frak{a},\frak{p}))= d-1 \} \subseteq \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R).

Proof of Theorem 4.7

(1) Let \frak{p} \in \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R). As \mathfrak{F}^{d}_{\frak{a}}(R)=0 then, by [Sch, Theorem 4.5] we have
\begin{array}{ll} \ \dim R/(\frak{a},\frak{p}) \leq \dim R/\frak{a} \leq d-1. \end{array}
On the other hand \frak{p} \in \operatorname{Coass} (R/\frak{p} \otimes_R \mathfrak{F}^{d-1}_{\frak{a}}(R)), because
\begin{array}{ll} \ \operatorname{Coass} (R/\frak{p} \otimes_R \mathfrak{F}^{d-1}_{\frak{a}}(R))= \operatorname{Supp} R/\frak{p} \cap \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R). \end{array}
It yields with the similar argument to lemma 3.7 that 0 \neq R/\frak{p} \otimes_R \mathfrak{F}^{d-1}_{\frak{a}}(R)=\mathfrak{F}^{d-1}_{\frak{a}}(R/\frak{p}). So, we have \dim R/(\frak{a},\frak{p})\geq d-1. It completes the proof.
(2) Let \frak{p} \in \operatorname{Assh}(R) \cap \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R). Then, similar to (1), \mathfrak{F}^{d-1}_{\frak{a}}(R/\frak{p})\neq 0 and moreover \operatorname{Rad} (\frak{a}+ \frak{p}) \neq \frak{m}. To this end note that if \operatorname{Rad} (\frak{a}+ \frak{p}) = \frak{m} then, \mathfrak{F}^{d-1}_{\frak{a}}(R/\frak{p})=0 by Grothendieck’s vanishing Theorem.
(3) Let \frak{p} \in \operatorname{Spec} R and \dim (R/(\frak{a},\frak{p}))= d-1. Then, it follows that \emptyset \neq \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R/\frak{p}) = \operatorname{Supp}(R/\frak{p}) \cap \operatorname{Coass}\mathfrak{F}^{d-1}_{\frak{a}}(R). Let \frak{q} \in \operatorname{Coass}\mathfrak{F}^{d-1}_{\frak{a}}(R) then, \frak{q} \supseteq \frak{p}, but by assumption \frak{q} is minimal so we deduce that \frak{q}=\frak{p}. $

Uses Lemma 3.7

Remark

Remark 4.8

7XRX

The inclusion in Theorem 4.7(2) is not an equality in general. For example Let R=k[[x,y,z]] denote the formal power series ring in three variables over a field k. Let \frak{a}=(x,y) be an ideal of R which is of dimension one and put \frak{p}=0. It is clear that \mathfrak{F}^{3-1}_{\frak{a}}(R)=0=\mathfrak{F}^{3}_{\frak{a}}(R), that is \operatorname{Coass} \mathfrak{F}^{3-1}_{\frak{a}}(R)= \emptyset.

Lemma

Lemma 4.9

6AEV

Let (R,\frak{m}) be a complete local ring and \frak{a} an ideal of R. Let \frak{p} be a minimal prime ideal of \frak{a}. Then \frak{q} \in \operatorname{Coass}_R(\widehat{R_{\frak{p}}}) implies that \frak{q} \subseteq \frak{p}, where the functor \ \widehat{.}\ denotes the completion functor.

Used by Proof

Proof of Lemma 4.9

The proof is straightforward. Let \frak{q} \in \operatorname{Coass}_R(\widehat{R_{\frak{p}}}), then

\begin{array}{ll} \ 0 \neq \operatorname{Hom}_R (R/\frak{q} , \operatorname{Hom}_R( \widehat{R_{\frak{p}}}, E_R(R/\frak{m}))) = \operatorname{Hom}_R (R/\frak{q} \otimes_R \widehat{R_{\frak{p}}}, E_R(R/\frak{m})). \end{array}

It yields that

\begin{array}{ll} \ 0 \neq R/\frak{q} \otimes_R \widehat{R_{\frak{p}}} = R/\frak{q} \otimes_R R_{\frak{p}} \otimes_{R_{\frak{p}}} \widehat{R_{\frak{p}}}. \end{array}

It is clear that R_{\frak{p}}/\frak{q} R_{\frak{p}} \neq 0 and so \frak{q} must be contained in \frak{p}. $

Proof

Proof (Theorem 1.4)

2MAB

For d>2 and d=1, the claim is clear.

Let d=2. Suppose that \frak{p}_1,..., \frak{p}_r are the minimal prime ideals of \frak{a}. Put S= \bigcap^r_{i=1}(R \setminus \frak{p}_i) and choose y \in \frak{m} \setminus \bigcup^r_{i=1} \frak{p}_i. By [Br-Sh, Theorem 2.2.4], for any n \in \mathbb {N} we have

\begin{array}{ll} \ 0 \rightarrow H^0_{\frak{m}}(R/\frak{a}^n) \rightarrow R/\frak{a}^n \rightarrow D_{(y)}(R/\frak{a}^n) \rightarrow H^1_{\frak{m}}(R/\frak{a}^n) \rightarrow 0, \end{array}

where D_{(y)}(R/\frak{a}^n) is the (y)-transform functor. One can see that D_{(y)}(R/\frak{a}^n)\cong R_S/\frak{a}^n R_S, so we get the following exact sequence

\begin{array}{ll} \ 0 \rightarrow H^0_{\frak{m}}(R/\frak{a}^n) \rightarrow R/\frak{a}^n \rightarrow R_S/\frak{a}^n R_S \rightarrow H^1_{\frak{m}}(R/\frak{a}^n) \rightarrow 0. \end{array}

Furthermore R_S/\frak{a}^n R_S \cong \oplus^r_{i=1} R_{\frak{p}_i}/ \frak{a}^n R_{\frak{p}_i}. All the modules in the above exact sequence satisfy the Mittag-Leffler condition so by applying inverse limits we get

\begin{array}{ll} \ 0 \rightarrow R/\mathfrak{F}^{0}_{\frak{a}}(R) \rightarrow \oplus^r_{i=1} \widehat{R_{\frak{p}_i}} \rightarrow \mathfrak{F}^{1}_{\frak{a}}(R) \rightarrow 0. \end{array}

It yields that \operatorname{Coass}_R (\mathfrak{F}^{1}_{\frak{a}}(R)) \subseteq \bigcup^r_{i=1} \operatorname{Coass}_R(\widehat{R_{\frak{p}_i}}) \subseteq \operatorname{Coass}_R (\mathfrak{F}^{1}_{\frak{a}}(R)) \cup \{ \frak{m}\}. In the view of lemma 4.9, \operatorname{Coass}_R (\mathfrak{F}^{1}_{\frak{a}}(R)) = \bigcup^r_{i=1} \operatorname{Coass}_R(\widehat{R_{\frak{p}_i}}). Now the claim is proved by [Z, Beispiel 2.4]. To this end note that \operatorname{Coass}_R(\widehat{R_{\frak{p}_i}})=\operatorname{Coass}_{R_{\frak{p}_i}}(\widehat{R_{\frak{p}_i}}) \cap R for every i \in \{ 1,...,r \}. $

Uses Theorem 1.4, Lemma 4.9

Remark

Remark 4.10

VJPV

Keep the notations and hypotheses in Theorem 1.4 and let M be a finitely generated R-module. As R is complete so by Cohen’s structure Theorem, there exists a Gorenstein local ring (S,\frak{n}) where R is a homomorphic image of S and \dim R= \dim S. Then by virtue of 3.7 we have

\begin{array}{ll} \ \operatorname{Ass}_R H^1_{\frak{a} S}(M,S) \subseteq \operatorname{Coass} \mathfrak{F}^{d-1}_{\frak{a}}(R) \end{array}

is finite.

Uses Lemma 3.7

Acknowledgement

KLXR

My thanks are due to my phd. adviser, Professor Peter Schenzel, for his guidance to prepare this paper and useful hints and to the reviewer for suggesting several improvements. Some parts of this paper was written while the author was at Oberwolfach: Representations of Finite Groups, Local Cohomology and Support. Many thanks to the organisers.

Source and licence

The text on this page is from arXiv:1011.4141v3 by Majid Eghbali, under the licence CC BY 4.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/1011/1011.4141.jsonl.