LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY
Abstract. This lectures were given by Florian Enescu at the mini-course on classical problems in commutative algebra held at University of Utah, June 2004. The references listed were used extensively in preparing these notes and the author makes no claim of originality. Moreover, he encourages the reader to consult these references for more details and many more results that had to be omitted due to time constraints. This version has been typed and prepared by Bahman Engheta.
1. Injective modules, essential extensions, and local cohomology
Throughout, let R be a commutative Noetherian ring. Definition. An R-module I is called injective if given any R-module monomor- phism f : N M, every homomorphism u : N I can be extended to a homo- morphism g :→M I, i.e. gf = u. →
→ f w
0 w NM u
g
u
I
Or equivalently, if the functor Hom( , I) is exact.
Q Z Z Example. Q and / are injective -modules. Definition. An R-module M is called divisible if for every m M and M-regular element r R, there is an m′ M such that m = rm′. ∈ ∈ ∈ Exercise. An injective R-module is divisible. The converse holds if R is a principal ideal domain.
A note on existence: If R S is a ring homomorphism and I is an injective →
R-module, then HomR(S, I) is an injective S-module. [The S-module structure is Q given by s ϕ( ) := ϕ(s ).] In particular, HomZ(R, ) is an injective R-module and any R-module· can be embedded in an injective R-module. h Definition. An injective map M N is called an essential extension if one of the following equivalent conditions holds:→
a) h(M) N ′ =0 0 = N ′ N. b) 0 = ∩n N6 r∀ R6 such⊆ that 0 = rn h(M). ∀ 6 ϕ ∈ ∃ ∈ 6 ∈ c) N Q, if ϕ h is injective, then ϕ is injective. ∀ → ◦ 1 2LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY
Example. 1) If R is a domain and Q(R) its fraction field, then R Q(R) is an essential extension. ⊆ 2) Let M be a submodule of N. By Zorn’s lemma there is a maximal sub- module N ′ N containing M such that M N ′ is an essential extension. ⊆ ⊂
3) Let (R, m, k) be a local ring and N an R-module such that every ele-
ment of N is annihilated by some power of the maximal ideal m. Let
Soc(N) := AnnN (m) denote the socle of N. Then Soc(N) N is an essential extension. (See exercise below.) ⊆
Note: The socle of a module N over a local ring (R, m, k)is a k-vector space. Exercise. An R-module N is Artinian if and only if Soc(N) is finite dimensional (as a k-vector space) and Soc(N) N is essential. ⊆ Definition. If M N is an essential extension such that N has no proper essential extension, then M⊆ N is called a maximal essential extension. ⊆ Proposition. a) An R-module I is injective if and only if it has no proper essential extension. b) Let M be an R-module and I and injective R-module containing M. Then any maximal essential extension of M contained in I is a maximal essential extension. In particular, it is injective and thus a direct summand of I. c) If M I and M I′ are two maximal essential extensions, then there is ⊆ ⊆ ′ an isomorphism I ∼= I that fixes M. Definition. A maximal essential extension of an R-module M is called an injective hull of M, denoted ER(M).
−1 0 Definition. Let M be an R-module. Set I := M and I := ER(M). Inductively − n In 1 define I := ER( /im(In−2)). Then the acyclic complex 0 1 n
I : 0 I I I → → →···→ →··· is called an injective resolution of M, where the maps are given by the composition
− − n−1 In 1 In 1 .( I / n−2 ֒ ER( / n−2 → im(I ) → im(I )
Conversely, an acyclic complex I of injective R-modules is a minimal injective resolution of M if
M = ker(I0 I1), • 0 → I = ER(M), • n n−1 n I = ER(im(I I )). • →
n I-torsion: Given an ideal I R and an R-module M, set ΓI (M) := (0 :M I ). ⊆ Sn Then ΓI ( ) defines a covariant functor and for a homomorphism f : M N,ΓI (f) is given by the restriction f . → I Γ (M)
Proposition. ΓI ( ) is a left exact functor. LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY3
Proof. Let f g 0 L M N 0 → → → → be a short exact sequence. We want to show that
ΓI (f) ΓI (g) 0 ΓI (L) ΓI (M) ΓI (N) → −→ −→ is an exact sequence.
Exactness at ΓI (L): ΓI (f) is injective as it is the restriction of the injective map f. Exactness at ΓI (M): It is clear that im(ΓI (f)) ker(ΓI (g)). Conversely, let ⊆ m ker(ΓI (g)). Then m ker(g) and therefore m = f(l) for some l L. It ∈ ∈ k ∈ remains to show that l ΓI (L). As m ΓI (M), we have I m = 0 for some integer k k ∈ k ∈ k k. Then f(I l)= I f(l)= I m =0. As f is injective, I l = 0 and l ΓI (L). ∈
Exercise. ΓI =ΓJ if and only if √I = √J. i Definition. The i-th local cohomology functor HI ( ) is defined as the right derived functor of ΓI ( ).
More precisely, given an R-module M, let I be an injective resolution of M:
0 1 n 0 d 1 d n d
I : 0 I I I → → →···→ →···
Apply ΓI ( ) to I and obtain the complex: 0 1 n ΓI (I): 0 ΓI (I ) ΓI (I ) ΓI (I ) → → →···→ →··· 0 i i i−1 Then set HI ( ):=ΓI ( ) and HI (M) := ker(ΓI (d ))/ im(ΓI (d )) for i> 0. Note i that HI ( ) is a covariant functor. Proposition. 1) If 0 L M N 0 is a short exact sequence, then we have an induced long→ exact→ sequence→ → 0 H0(L) H0(M) H0(N) → I → I → I → H1(L) H1(M) H1(N) I → I → I →···
2) Given a commutative diagram with exact rows:
w w w
0 w L M N 0
u u u
′ ′ ′
w w w 0 w L M N 0 then we have the following commutative diagram with exact rows:
i i i+1
w w w w H (M) H (N) H (L)
· · · I I I · · ·
u
u u
i ′ i ′ i+1 ′
w w w w H (M ) H (N ) H (L ) · · · I I I · · · i i 3) √I = √J if and only if HI ( )= HJ ( ). 4LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY
A note on localization: Let S R be a multiplicatively closed set. Then −1 −1 ⊆ S ΓI (M)=ΓS−1I (S M) and the same holds for the higher local cohomology modules.
i Clearly, if E is an injective R-module, then HI (E)=0 for i> 0.
2. Local cohomology
An alternate way of constructing the local cohomology modules: Consider the n n module HomR(R/I ,M) = (0 :M I ). Now, if n m, then one has a natural map n m ∼ R/I R/I , forming an inverse system. Applying HomR( ,M), we get a direct system→ of maps: n n limn HomR(R/I ,M) ∼= [(0 :M I )=ΓI (M). −→ n As one might guess (or hope), it is also the case that i n i limn ExtR(R/I ,M) ∼= HI (M). −→ This follows from the theory of negative strongly connected functors – see [R]. Definition. Let R, R′ be commutative rings. A sequence of covariant functors i ′
T i> : R-modules R -modules is said to be negative (strongly) connected if { } 0 → (i) Any short exact sequence 0 L M N 0 induces a long exact sequence → → → → 0 T 0(L) T 0(M) T 0(N) → → → → T 1(L) T 1(M) T 1(N) → → →···
(ii) For any commutative diagram with exact rows
w w w
0 w L M N 0
u u u
′ ′ ′
w w w 0 w L M N 0 there is a chain map between the long exact sequences given in (i).
0 0 0 i i > Theorem. Let ψ : T U be a natural equivalence, where T i> , U i are → { } 0 { } 0 strongly connected. If T i(I)= U i(I)=0 for all i> 0 and injective modules I, then i i i there is a natural equivalence of functors ψ = ψ i> : T i U i. { } 0 { } →{ }
i n i The above theorem implies that limn ExtR(R/I ,M) ∼= HI (M). −→ Remark. i) One can replace the sequence of In by any decreasing sequence n { } n of ideals Jt which are cofinal with I , i.e. t n such that I Jt { } n { } ∀ ∃ ⊆ and n t such that Jt I . ∀ ∃ i ⊆ i ii) Every element of HI (M) is killed by some power of I, as every m HI (M) i n n ∈ is the image of some ExtR(R/I ,M) which is killed by I . LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY5
x iii) For any x R, the homomorphism M · M induces a homomorphism ·x ∈ −→ Hi (M) Hi (M). I −→ I Proposition. Let M be a finitely generated R-module and I R an ideal. Then IM = M Hi (M)=0 i. If IM = M, then min ⊆i Hi (M) = 0 = ⇐⇒ I ∀ 6 { | I 6 } depthI (M).
Proof. IM = M ItM = M t. So It + Ann(M) = R, as otherwise
t ⇐⇒ ∀ t m I + Ann(M) m for some max-Spec(R). Since I + Ann(M) annihilates i t ⊆ i ∈ t i ExtR(R/I ,M), we have ExtR(R/I ,M) = 0 and therefore HI (M)=0.
It suffices to assume now that IM = M. Set d := depthI (M) and let x1,...,xd 6 i be a maximal M-regular sequence in I. We show by induction on d that HI (M)=0 for i < d and Hd(M) = 0. I 6
If d = 0, that is, if depthI (M) = 0, then there is an 0 = m M killed by I. 0 6 ∈ So m HI (M) = 0. Now let d 1 and set x := x1. Consider the short exact sequence∈ 6 x 0 M · M M/xM 0 → → → → and the induced long exact sequence x Hi−1(M/xM) Hi (M) · Hi (M) ···→ I → I → I →··· i−1 If i < d, then HI (M/xM) = 0 by induction hypothesis and x is a nonzerodivisor i i on HI (M). As all elements of HI (M) are killed by some power of I, we conclude i that HI (M)=0.
d It remains to show that HI (M) = 0. This follows from the induction hypothesis and the long exact sequence 6 ·x ·x Hd−1(M) Hd−1(M/xM) Hd(M) · · · → I → I → I →··· d−1 d .(which yield 0 = H (M/xM) ֒ H (M 6 I → I
The Koszul interpretation
′ ′′ L
Let K , be two complexes of R-modules with differentials d , d , respectively.
K L M K L Define the complex M := via k := Li+j=k i j with differential
′ i ⊗ ′′ ⊗ (1) (n) K d(ai bj) := d ai bj +( 1) ai d bj where ai Ki, bj Lj . If K ,..., are n
⊗ ⊗(1) − (n⊗) ∈ ∈ (1) (n−1) (n)
K K K K complexes, then K is defined inductively as ( ) . ⊗···⊗ ⊗···⊗ ⊗ x To any x R one can associate a complex K (x; R): 0 R · R 0. Given a ∈ • → → → sequence x = x1,...,xn of elements in R, we define the Koszul complex K•(x; R) := n Ni=1 K•(xi; R). For an R-module M we define K•(x; M) := K•(x; R) M. In co- • • ⊗ homological notation we write K (x; M)= K (x; R) R M = HomR(K (x; R),M). ⊗ ∼ •
Discussion: Let x R and M an R-module. Consider the complex ∈ x x M · M · M → → →··· 6LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY
′ 0 and set N := ker(M Mx) and M := M/N. Note that N = H (M). Then → xR ·x ·x lim(M M M ) = → → →··· ∼ ←− x x lim(M ′ · M ′ · M ′ )= → → →··· ′ ←−−1 ′ −t ′ ′ lim(M x M x M ) ∼= Mx ∼= Mx. ←− ⊆ ⊆···⊆ ⊆···
Notation: Whenever x = x1,...,xn denotes a sequence of elements in R, we will t t t denote by x the sequence of the individual powers x1,...,xn
For x R we have a chain map of complexes K•(xt; R) K•(xt+1; R) via the commutative∈ diagram → t
• t ·x
w w K (x ; R) : 0 w R R 0
id ·x (1) u u t+1
• t+1 ·x
w w K (x ; R) : 0 w R R 0 By tensoring we get K•(xt; M) K•(xt+1; M). Take the direct limit and de- note the resulting complex by K→•(x∞; M). We can look at Hi(K•(x∞; M)) = i • t i ∞ limt H (K (x ; M)) for which we simply write H (x ; M). −→ Theorem. If I = (x1,...,xn) and M is an R-module, then there is a canonical i ∞ i isomorphism H (x ; M) ∼= HI (M).
Observation: Say x = x1,...,xn is an R-regular sequence. Then it is known t t that K•(x ; R) is a projective resolution of R/x R. Apply HomR( ,M) and note that on the one hand K•(xt; M) gives H•(xt; M) while on the other hand we get • t i ∞ i ExtR(R/x ; M). Now take the direct limit: H (x ; M) ∼= HI (M).
The Cˇech complex and a detailed look at K•(x∞; M)
0 ∞ 1 ∞ Let x R. Then K (x ; R) = R and K (x ; R) = Rx. (Recall diagram (1).) • ∞∈ n So K (x ; R)= (0 R Rxi 0), that is, Ni=1 → → → j ∞ K (x ; R)= M Rx(S) |S|=j j ∞ where S 1,...,n and x(S) = Q xi. Similarly, K (x ; M) = L|S|=j Mx(S). ⊆ { } i∈S The map Rx(S) Rx(T ), where T = S + 1, is the zero map unless S T , in which case it is the→ localization map| | times| | ( 1)a where a is the number of elements⊂ in S preceding the element in T S. − \ Exercise. Let x,y,z R. Write down the maps in ∈ 0 R Rx Ry Rz Rxy Ryz Rzx Rxyz 0. → → ⊕ ⊕ → ⊕ ⊕ → → Corollary. If I R is an ideal which can be generated by n elements up to radical, i ⊆ then HI (R)=0 for i>n. Remark. The modules occurring in K•(x∞; R) are flat. LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY7
3. Properties of local cohomology
Proposition. 1) Let R S be a ring homomorphism of Noetherian rings, I → i i an ideal of R, and M an S-module. Then HI (M) ∼= HIS(M) as S-modules. 2) Let Λ be a directed set and Mλ λ∈Λ a direct system of R-modules. Then i i { } limλHI (Mλ) ∼= HI (limλMλ). −→ −→ i i 3) Is S is flat over R, then HI (M) R S = HIS(M R S).
⊗ i i ⊗
m
m 4) If R is a maximal ideal, then Hm (M) H (M ).
= m ⊆ ∼ Rm
i i ˆ m
5) If (R, ) is local, then Hm (M) = H ˆ (R R M) which is isomorphic to ∼ mR ⊗ i ˆ H ˆ(M) if M is finitely generated. mR Proposition. Let I R be an ideal which, up to radical, is generated by a regular ⊆ i n sequence of length n. Then HI (M) ∼= Torn−i(M, HI (R)) for i n.
i • ∞ Proof. If i < depthI (R) = n, then HI (R) = 0. Therefore K (x ; R) gives a flat n resolution of HI (R), numbered backwards: Kn−1 Kn Hn(R)= Kn/ im(dn−1) 0. ···→ → → I → R n i • ∞ On the one hand Torn−i(M, HI (R)) = H (K (x ; R) R M) by definition of Tor. i • ⊗∞ i On the other hand, by the preceding theorem, H (K (x ; R) R M) = H (M). ⊗ ∼ I
Corollary. Let (R, m, k) be a Cohen-Macaulay local ring of dimension n. Then
i R n m Hm (M) ∼= Torn−i(M, H (R)).
Proof. The maximal ideal m is the radical of an ideal generated by a(ny) regular
sequence of length n.
Grothendieck’s Theorems
1. Vanishing Theorem: Let I R be an ideal and M an R-module. Then i ⊆ HI (M)=0 for i> dim(R).
2. Non-Vanishing Theorem: Let (R, m, k) be a local ring and M a finitely generated R-module. Then Hn (M) = 0 for n = dim(M). m 6
Proof of 1. We may assume that R is local with maximal ideal m. Further, as M is the direct limit of its finitely generated submodules, we may also assume that M is finitely generated. Set S := R/ Ann(M) so that n := dim(M) = dim(S). The maximal ideal of S is generated by n elements up to radical, so Hi (M) = 0 for mS i>n.
i We want to show that HI (M) = 0 for i > dim(M). By induction, we assume the theorem is true for all finitely generated modules of dimension less than n. We leave the case n = 0 as an exercise and assume n> 0.
Note that if a module is I-torsion, then all its higher local cohomology modules vanish. So, as ΓI (M) is I-torsion, without loss of generality ΓI (M) = M. Also, 6 8LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY the long exact sequence induced by M 0 ΓI (M) M / I 0 → → → Γ (M) → i i yields that HI (M) ∼= HI (M/ΓI (M)) for all i> 0. Hence, by passing to M/ΓI (M), we may assume that M =0is I-torsionfree. It follows that I contains an M-regular element r. (Otherwise I6 is contained in the union of the associated primes of M, and by prime avoidance I is contained in one of those primes which is of the form (0 :R m) for some 0 = m M. That is Im = 0 — a contradiction.) 6 ∈ Let i>n and let t be an integer. Consider the short exact sequence t ·r M 0 M M / t 0 → → → r M → and the induced long exact sequence rt Hi−1(M/rtM) Hi (M) · Hi (M) ···→ I → I → I →··· t i−1 t t Since dim(M/r M) < dim(M), HI (M/r M) = 0 by induction hypothesis and r i i is a nonzerodivisor on HI (M). But any element of HI (M) is killed by a power of i I. As r I, that implies H (M)=0. ∈ I
n n Remark. If dim(R) = n and M is an R-module, then HI (M) = M R HI (R).
n ∼ ⊗ This follows from the fact that Hm ( ) is a right exact functor, a consequence of Grothedieck’s Vanishing Theorem −
4. Local duality
Let (R, m, k) be a local ring and E = ER(k) the injective hull of k and let ∆R( ) := HomR( , E) denote the Matlis duality functor. Assume R is the homo- morphic image of a Gorenstein local ring R′ of dimension n′. Then for all i and for all finitely generated R-modules M one has ′ i n −i ′ ′ Hm (M) ∼= HomR(ExtR (M, R ), E) ′ n −i ′ = ∆R(ExtR′ (M, R )). In particular, if R is Gorenstein, setting R′ = M = R and i = n yields Hn(R) E. m ∼=
The Cohen-Macaulay case
Let (R, m, k) be a Cohen-Macaulay local ring of dimension n. Recall that the type n of M is defined as dimk Soc(M/xM) = dimk HomR(k,M/xM) = dimk ExtR(k,M) where x is a system of parameters for M. The type of M is independent of the choice of the system of parameters chosen for M.
Definition. A canonical module for R, denoted here by ωR, is a maximal Cohen- Macaulay module of type 1. Proposition. A ring admits a canonical module if and only if it is the homomorphic• image of a Gorenstein local ring. Any two canonical modules are (non-canonically) isomorphic. • EndR(ωR) = R. • ∼ LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY9
Theorem. Let R be a Cohen-Macaulay local ring of dimension n which is the ′ ′ homomorphic image of a Gorenstein local ring R of dimension n . Then ωR = ′ ∼ n −n ′ ExtR′ (R, R ). In particular, if R is Gorenstein, then ωR ∼= R.
In general, if R is a domain, then rank(ωR) = 1 and ωR can be embedded in R as an ideal J such that ht(J)=1 or J = R. Theorem. Let R be a Cohen-Macaulay local ring which admits a canonical module ωR. Then for all i and for all finitely generated R-modules M one has Hn−i(M) ∆ (Exti (M,ω )). m ∼= R R R
Proof. First case is i = 0. In this case we use the local duality theorem stated for images of Gorenstein rings:
Let R′ Gorenstein surjects on R. Using the notations introduced above ′ n−i n −n+i ′
Hm (M) ∼= HomR(ExtR (M, R ), E).
Now take M = R, i = 0 and see that we get
′ n n −n ′
Hm (M) ∼= HomR(ExtR (R, R ), E) = HomR(ωR, E).
But, Hn ( ) Hn (R) Hom (ω , E). m m = R = R R R − ∼ −⊗ ∼ −⊗ We can then apply the following canonical isomorphism:
M HomR(I, J) = HomR(HomR(M, I), J), ⊗ ∼ where M is finitely generated and J is injective over R. Use this for M, I = ωR and J = E and therefore obtain the case i =0
The case i > 0 follows through from homological algebra considerations by in- terpreting both sides as positively strongly connected functors on the category of
finitely generated R-modules.
Lemma. Let (R, m, k) be a local ring of dimension n and I an ideal of R. Then I is generated by n elements up to radical.
Proof. Set A0 := P Min(R) P I . By prime avoidance, I P . Let { ∈ | 6⊇ } 6⊆ SP ∈A0 x I such that x / P for any P A . Assume we have a sequence of elements 1 ∈ 1 ∈ ∈ 0 x1,...,xk I such that all primes of height k 1 that contain (x1,...,xk) also contain I. ∈ −
If P is a prime of height at most k containing (x1,...,xk), but not containing I, then P is minimal over (x1,...,xk). If not, then there is a prime Q P minimal
10LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY over (x1,...,xk). As ht(P ) k, we must have ht(Q) k 1. Then, by the above assumption, Q contains I and therefore so does P . That is,−
Ak := P Spec(R) ht(P ) k, P (x ,...,xk), P I Min(x ,...,xk) { ∈ | ⊇ 1 6⊇ }⊆ 1 and therefore Ak is a finite set of primes. So we can choose xk I such that +1 ∈ xk / P for any P Ak. This process has to terminate at k = n with An = +1 ∈ ∈ and p(x1,...,xn)= √I. Remark. This lemma allows us to give an alternate proof of the Vanishing Theorem of Grothendieck:
Up to radical I is generated by n elements. So, we can assume that we are in the case where I is generated by exactly n elements. Using the Koszul interpretation of the local cohomology we can see now that if i>n, the Koszul cocomplex is trivial i and hence all local cohomology modules HI (M) must vanish.
5. Basic notions of tight closure theory
Let R be a Noetherian ring of characteristic p and let q denote a power of p, i.e. q = pe for some integer e. We use the notation R◦ for the complement of ◦ the minimal primes of R, i.e. R := R SP ∈Min(R) P . For an ideal I R, we [q] q \ ⊆ denote by I the ideal (r r I). It is easily seen that if I = (r1,...,rn), then [q] q q | ∈ I = (r1,...,rn). Let F : R R denote the Frobenius homomorphism sending r rp and denote by F e : R →R its e-th iteration sending r rq. This gives R 7→a new R-algebra structure which→ we denote by R(e). One can7→ think of R(e) as a right R-algebra. Definition. The tight closure of an ideal I R, written I∗, is the set of all elements x R for which c R◦ such that cxq I⊆[q] for q >> 0. ∈ ∃ ∈ ∈
Some basic properties: I∗ is an ideal which itself is tightly closed, i.e. (I∗)∗ = I∗. Furthermore, the following inclusions hold: I I∗ I¯ √I. (I¯ denotes the integral closure of I which will be defined later in⊆ the⊆ text.)⊆
Some motivation for the notion of tight closure:
It captures the essence of some arguments that appear in the proofs of some homological• conjectures and delivers it in a unified way.
It naturally leads to new classes of rings in characteristic p> 0 (or in character- istic• 0) that are important, for instance, in view of birational geometry: F -regular, F -rational, F -pure, F -injective.
Definition. A Noetherian ring R is said to be weakly F -regular if every ideal of R is tightly closed. If for every multiplicatively closed set W , the ring W −1R is weakly F -regular, then R is said to be F -regular.
Proposition. 1. If I J, then I∗ J ∗. ⊆ ⊆ LOCAL COMOLOGY, LOCAL DUALITY AND BASIC NOTIONS OF TIGHT CLOSURE THEORY11
2. The intersection of tightly closed ideals is again tightly closed: ∗ ∗ Iλ = Iλ = (Tλ Iλ) = Tλ Iλ. 3. (I J)∗ ⇒I∗ J ∗. 4. (I ∩+ J)∗ ⊆= (I∗∩+ J ∗)∗
∗ ∗ −1 ∗ Furthermore, 0 = √0 and I = π [(IRred) ] where π is the natural projection π : R Rred = R/√0. Also, if I is tightly closed, then the quotient I : J is as well, for→ all ideals J.
Proposition. 1. If R is reduced, or if ht(I) > 0, then x I∗ iff c R◦ ∈ ∃ ∈ such that cxq I[q] q. ∗ ∈ I+P∀ ∗ 2. x I iff x¯ /P P Min(R). ∈ ∈ ∀ ∈
∗ ∗ ◦ Proof of 1. Let ht(I) > 0. We have I (x x I R ) SP ∈Min P . As I P for any minimal prime P , prime avoidance⊆ yields| ∈ that∩ I∗ =∪ (x x I∗ R◦). 6⊆ | ∈ ∩ ∗ ◦ ◦ q [q] We can assume that x I R . So c R such that cx I q q0. Set ′ q0 ′ q ∈ q0+∩q ∃ ∈ ′ q [q] ∈ ∀ c := cx , that is, c x = cx . If q q , then c x I . And if q < q , then 0 ∈ 0 cxq0+q I[q0] I[q]. ∈ ⊆ ◦ −1 n If R is reduced, then set S := (R ) R = Qi=1 Ki where Ki are fields. So IS is generated by an idempotent and IS = I[q]S q. We have x I∗, so c R◦
q [q] ∀ ∈q [q] ∃ ∈ such that cx I q q0. Mapping this element to S we get x I S q q0. As S is a product∈ of∀ fields, F e is flat. So x IS = I[q]S and for∈ every∀q there ◦ [q] ∈ ′ ′ q exists a cq R such that cqx I . Setting c := c ′ cq′ we get c x = ∈ ∈ · Qq