arxiv: v1 [math.ac] 5 Dec 2018

Transcription

1 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM MEHMET YESIL arxiv: v1 [math.ac] 5 Dec 2018 Abstract. In this paper, we study the notion of special ideals. We generalize the results on those as well as the algorithm obtained for finite dimensional power series rings by Mordechai Katzman and Wenliang Zhang to finite dimensional polynomial rings. 1. Introduction Throughout this paper our general assumption on R is to be a commutative Noetherian regular ring of prime characteristic p. Let e be a positive integer. Let f : R R be the Frobenius homomorphism defined by f(r) = r p for all r R, whose e-th iteration is denoted by f e. Let M be an R-module. F em = {Fe m m M} denotes the Abelian group M with the induced R-module structure via the e-th iterated Frobenius and it is given by rf m e = F r e pe m for all m M and r R In particular, F e R is the Abelian group R with the induced R-module structure rf es = Fe s for all r,s R. rpe An e-th Frobenius map on M is an R-linear map φ : M F M, e equivalently an additive map φ : M M such that φ(rm) = r pe φ(m) for all r R and m M. Let R[X;f e ] be the skew-polynomial ring whose multiplication is subject to the rule Xr = f e (r)x = r pe X for all r R. Notice that defining an e-th Frobenius map on M is equivalent to endowing M with a left R[X;f e ]-module structure extending the rule Xm = φ(m) for all m M. This paper studies the notion of special ideals. It was introduced by R. Y. Sharp in [15]. For a left R[φ;f e ]-module M, when φ is injective on M, he defines an ideal of R to be M-special R-ideal if it is the annihilatorofsomer[φ;f e ]-submoduleofm (cf. [15,Section1]). Later on, it was generalized by M. Katzman and used to study Frobenius maps on injective hulls in [7] and [8]. For a left R[φ;f e ]-module M, Katzman defines an ideal of R to be M-special if it is the annihilator of some R[φ;f e ]-submodule of M (cf. [7, Section 6]). A special case of special ideals is when R is local, M is Artinian, and φ is injective. In this case, Sharp showed that the set of M-special ideals is a finite set of radicals, consisting of all intersections of the finitely many primes in it 1

2 2 MEHMET YESIL ([15, Corollary3.11]). It was also proved by F. Enescu andm. Hochster independently ([4, Section 3]). When R is complete local regular and M is Artinian, the notion of special ideals becomes an important device to study Frobenius maps on injective hulls. In particular, since top local cohomology module of R is isomorphic to the injective hull of the residue field of R, it provides an important insight to top local cohomology modules. InthecasethatRisafinitedimensional formalpowerseriesringover a field of prime characteristic p, in [10], M. Katzman and W. Zhang focus on the M-special ideals when M is Artinian. In this case, they define the special ideals depending on the R[φ; f]-module structures on E α, where E is the injective hull of the residue field of R and α is a positive integer. They define an ideal of R to be φ-special if it is the annihilator of an R[φ;f]-submodule of E α, where φ = U t T with T is the natural Frobenius on E α and U is an α α matrix with entries in R (see Section 4). Furthermore, they use Katzman s e and Ψ e functors, which are extensions of Matlis duality keeping track of Frobenius maps, to define φ-special ideals equivalently to be the annihilators of R α /W for some submodule W satisfying UW W [p], where W [p] is the submodule generated by {w [p] = (w p 1,...,w p α )t w = (w 1,...,w α ) t W} (see Proposition 4.4). Katzman and Zhang show that there are only finitely many φ-special ideals P of R with the property that P is the annihilator of an R[φ;f e ]-submodule M of E α such that the restriction of φ e to M is not zero for all e, and introduce an algorithm for finding special prime ideals with this property in [10]. Theyfirstpresent thecaseα = 1, whichwasconsideredbym.katzman and K. Schwede in [9] with a geometric language. Then they extend this to the case α > 1. In this paper, we adapt the equivalent definition of φ-special ideals above to the polynomial rings, and for an α α matrix U we define U-special ideals to be the annihilators of R α /W for some submodule W of R α satisfying UW W [p]. We generalize the results in [10] to the case that R is a finite dimensional polynomial ring over a field of prime characteristic p, and show that there are only finitely many U-special ideals with some non degeneracy conditions (see Theorem 4.18). We also present an algorithm for finding U-special prime ideals ofpolynomial rings. Furthermore, we consider thenotionof F-finiteFmodules, which is a prime characteristic extension of local cohomology modules introduced by G. Lyubeznik in [13], andwe show that our new algorithm gives a method for finding the prime ideals of R such that crk(h i IR P (R P )) 0 (see Definition 5.2 and Theorem 5.3). 2. Preliminaries In this section, we collect some notations and necessary background for this paper.

3 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM The Frobenius Functor. Let M be an R-module. The Frobenius functor F R from the category of R-modules to itself is defined by F R (M) := F R R M where F R (M) acquires its R-module structure via the identification of F R with R. The resulting R-module structure on F R (M) satisfies s(f r m) = F sr m and F s p r m = F r sm for all r,s R and m M. The e-th iteration of F R is denoted by F e R, and it is clearly given by F e R (M) = Fe R R M. Regularity of R implies that the Frobenius functor is exact Lyubeznik s F-modules. An R-module M is called to be an F-module if it is equipped with an R-module isomorphism θ : M F R (M) which we call the structure isomorphism of M. An F-module homomorphism is an R-module homomorphism φ : M M such that the following diagram commutes M θ φ F R (M) F R (φ) M θ F R (M ) where θ and θ are the structure isomorphisms of M and M, respectively. A generating morphism of an F-module M is an R-module homomorphism β : M F R (M), where M is an R-module, such that M is the limit of the inductive system in top row of commutative diagram M β β F R (M) F R (β) F R (M) F R (β) F R (β) FR 2(M) FR 2(β) F R 2(β) FR 2 (M) F 3 FR 2(β) R (M) FR 3(β) and the structure isomorphism of M is induced by the vertical arrows in this diagram. An F-module M is called F-finite if it has a generating morphism β : M F R (M) with M a finitely generated R-module. In addition, if β is injective, M is called a root of M and β is called a root morphism of M. Example 2.1. Any R-module isomorphism φ : R F R (R) makes R into an F-module. In particular, the canonical isomorphism φ : R F R R R = F R (R) defined by r F r 1. In particular, R is F-finite F-module. Therefore, by [13, Proposition 2.10], local cohomology modules HI i (R) with support on an ideal I R

4 4 MEHMET YESIL are F-finite F-modules. Furthermore, by [13, Proposition 2.3], we have HI(R) i = lim(m β F R (M) F R(β) FR(M) 2 F2 R (β) ) where β : M F R (M) is a root morphism I e ( ) Operation and -closure. In this subsection, we will give definitions of I e ( ) operation and -closure, and some properties of them. To do this we need the property that F e R are intersection flat R-modules for all positive integer e. Definition 2.2. An R-module M is intersection flat if it is flat and for all sets of R-submodules {N λ } λ Λ of a finitely generated R-module N, M R λ = λ ΛN (M R N λ ) λ Λ Definition 2.3. Let I be an ideal of R. Ideal generated by the set {r pe r I} is called the Frobenius power of I and denoted by I [pe]. Consequently, if I = r 1,...,r n, then I [pe] = r pe 1,...,rn pe. Remark 2.4. Since intersection flat R-modules include R and closed under arbitrary direct sum, free R-modules are intersection flat. For instance, when R = k[x 1,...,x n ] over a field k of prime characteristic p, F R e are free, and so intersection flat. In addition, by [7, Proposition 5.3], when R = k[x 1,...,x n ] over a field k of prime characteristic p, F e R are intersection flat. Because of regularity, these rings have the property that for any collection of ideals {A λ } λ Λ of R, ( λ Λ A λ ) [pe ] = F e R ( λ Λ A λ ) = λ Λ F e R(A λ ) = λ Λ A [pe ] λ, and this is enough to define the minimal ideal J R with the property A J [pe]. Henceforth R will denote a ring with the property that F e R are intersection flat for all positive integer e. Proposition-Definition 2.5. [7, Section 5] Let e be a positive integer. (1) For an ideal A R there exists a minimal ideal J R with the property A J [pe]. We denote this minimal ideal by I e (A). (2) Let u R be a non zero element and A R an ideal. The set of all ideals B R which contain A and satisfy ub B [pe] has a unique minimal element. We call this ideal the star closure of A with respect to u and denote it by A eu. Definition 2.6. Given any matrix (or vector) V with entries in R, we define V [pe ] to be the matrix obtained from V by raising its entries to the p e -th power. Given any submodule K R α, we define K [pe ] to be the R-submodule of R α generated by {v pe v K}.

5 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 5 The Proposition-Definition below extends I e ( )-operation and - closure defined on ideals to submodules of free R-modules. Proposition-Definition 2.7. Let e be a positive integer. (1) Given a submodule K R α there exists a minimal submodule L R α for which K L [pe]. We denote this minimal submodule I e (K). (2) Let U be an α α matrix with entries in R and V R α. The set of all submodules K R α which contain V and satisfy UK K [pe ] has a unique minimal element. We call this submodule the star closure of V with respect to U and denote it V eu. Proof. For the proof of (1) we refer to [10, Section 3]. For the proof of (2) we shall construct a similar method to that in [10, Section 3]. Let V 0 = V and V i+1 = I e (UV i )+V i. Then {V i } i 0 is an ascending chain and it stabilizes, since R is Noetherian, i.e. V j = V j+k fo all k > 0 for some j 0. Therefore, V j = I e (UV j )+V j implies I e (UV j ) V j, and so UV j V [pe ] j. We show the minimality of V j by induction on i. Let Z be any submodule of R α containing V with the property that UZ Z [pe]. Then we clearly have V 0 = V Z, and suppose that V i Z for some i. Thus, UV i UZ Z [pe], which implies I e (UV i ) Z and so V i+1 Z. Hence, V j Z. For the calculation of I e ( ) operation, if R is a free R pe -module, we first fix a free basis B for R as an R pe -module, then every element v R α can be expressed uniquely in the form v = ] b B u[pe b b where u b R α for all b B. Proposition 2.8. [10, Proposition 3.4] Let e > 0. (1) For any submodules V 1,...,V n of R α, I e (V 1 + +V n ) = I e (V 1 )+ +I e (V n ). (2) Let B be a free basis for R as R pe -module. Let v R α and v = ] b B u[pe b b be the unique expression for v where u b R α for all b B. Then I e ( v ) is the submodule of R α generated by {u b b B}. The behaviour of the I e ( ) operation under localization is very crucial for our results. The following lemma shows that it commutes with localization. Lemma 2.9. [11, Lemma 2.5] Let R be a localization of R or a completion at a prime ideal. For all e N, and all submodules K R α, I e (K R R) exists and equals to I e (K) R R. Lemma Let U be a non-zero α α matrix with entries in R and K R α a submodule. For any prime ideal P R, ( K P ) eu = (K e U ) P.

6 6 MEHMET YESIL Proof. Define inductively K 0 = K and K i+1 = I e (UK i )+K i, and also L 0 = K P and L i+1 = I e (UL i )+L i for all i 0. Since I e ( ) operation commutes with localization and completion, an easy induction shows that L i = (K i ) P, and the result follows. 3. The Katzman-Schwede Algorithm The purpose of this section is to redefine the algorithm described in [9] with a more algebraic language and show that it commutes with localization. Let R = k[x 1,...,x n ] be a polynomial ring over a field of characteristic p and e be a positive integer. Definition 3.1. For any R-linear map φ : F e R R, we say that an ideal J R is φ-compatible if φ(f e J) J. Given φ which is compatible with J as above definition, there is always a commutative diagram F R e R F e(r/j) φ R/J where the vertical arrows are the canonical surjections. Lemma 3.2. [9, Lemma 2.4] Assuming a commutative diagram as above, the φ-compatible ideals containing J are in the bijective correspondence with the φ -compatible ideals of R/J, where φ is the induced map F e φ (R/J) R/J as in above diagram. Next we will explain the F e R-module structure of Hom R (F e R,R), which is crucial for our computational techniques in this paper. Remark 3.3. Let C be a base for k as a k pe -vector space which includes the identity element of k. It is well known that F e R is a free R-module with the basis set B = {F e λxα xαn n 0 α 1,...,α n < p e,λ C}. Lemma 3.4. [1, cf. Example 3.0.5] Let π e : F e R R be the projection map onto the free summand RF e 1 xpe 1...x pe 1 n. Then Hom R (F er,r) is generated by π e as an F R-module. e Proof. For each basis element F λx e α x αn n B, the projection map onto the free summand RF λx e α x αn n is defined by the rule where z = λ 1 x pe 1 α 1 n projections in this way, the map F e z.π e( ) = π e (F e z. ), 1...x pe 1 α n φ. Since we can obtain all of the Φ : F e R Hom R (F e R,R) defined by Φ(F e u) = φ u,

7 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 7 where φ u : F R e R is the R-linear map φ u ( ) = π e (F u ), e is surjective. On the other hand, if Φ(F e u) = 0 for some u R, then we have φ u (F er) = π e(f eur) = Fe u.π e(f e r) = 0 for all r R. This means that F e u must be zero, and so Φ is injective. Hence, Φ is an F R e isomorphism. In other words, π e generates Hom R (F R,R) e as an F R-module. e Definition 3.5. Let the notation and situation be as in Lemma 3.4. We call the map π e the trace map on F e R, or just the trace map when the content is clear. Next lemma provides an important property of the trace map π e which gives the relation between elements of Hom R (F e R,R) and I e( ) operation (cf. [1, Claim 6.2.2]). Lemma 3.6. Let A and B be ideals of R. Then π e (F e A) B if and only if A B [pe]. Proof. ( ) Since R Noetherian, A is finitely generated, and since π e is R-linear we may assume that A is a principal ideal, i.e. A = ar for some a R. Now since F e R is a free R-module with basis B as in Remark 3.3, F a e = i r if g e i for some r i R and F g e i B. On the other hand, by Lemma 3.4, π e (F z e i a) = r i for some z i R. This implies that π e (F era) = r i. Then by the assumption π e (F ea) = r i B, and since F ea = Fe i rpe i g i we have a = i rpe i g i B [pe]. Hence, A B [pe]. ( ) Assume first that A B [pe] which implies that F ea Fe B[pe]. Therefore, π e (F e A) π e(f e B[pe] ) = π e (BF e R) = Bπ e(f e R) B. Corollary 3.7. Let A be an ideal of R, and let φ Hom R (F e R,R) be such that φ( ) = π e (F e u ) for some u R. Then φ(f e A) = π e (F e ua) = I e(ua) and -closure of A gives the smallest φ-compatible ideal containing A. Proof. Since ua I e (ua) [pe], the first claim follows from Lemma 3.6. The second claim follow from the fact that A is φ compatible φ(f e A) = π e (F e ua) = I e (ua) A ua A [pe ] Next we recall Fedder s Lemma which translates the problem of finding compatible ideals of R/I for an ideal I to finding compatible ideals on R. In the case that R is a Gorenstein local ring, this lemma was proved by R. Fedder in [5].

8 8 MEHMET YESIL Lemma 3.8. [5, Lemma 1.6][1, Lemma 6.2.1] Let S = R/I for some ideal I and π e the trace map, then for any φ Hom R (F e R,R) satisfies φ(f ei) I if and only if there exists an element u ] : I) such (I[pe that φ( ) = π e (F u ). More generally, there exists an isomorphism of F S-modules e ( F e (I [pe] : I) ) Hom S (F e S,S) = ( F e I [pe ] ). Proof. By Lemma 3.4, for any φ Hom R (F e R,R) there exists an element u R such that φ( ) = π e (F u ). Then by Lemma 3.6, φ(f e I) = π e (F e ui) I ui I [pe] u (I [pe] : I). For the second claim, we shall show that the map Φ : F e(i[pe] : I) Hom S (F es,s) which sends Fe z to the map π e(f e z ) is surjective. It is easy to verify that this map is well-defined and F R-linear. e Since Hom R (F es,s) = Hom S(F es,s), by freeness of Fe R, for any map ϕ Hom S (F es,s) there always exists a map ψ Hom R(F e R,R) such that I is ψ-compatible. Namely, Φ is surjective. On the other hand, by Lemma 3.6 again, KerΦ = (F I e [pe] ), and the result follows by the first isomorphism theorem. Lemma 3.9. [9, Proposition 2.6.c] If φ is surjective, then the set of φ- compatible ideals is a finite set of radicals closed under sum and primary decomposition. For φ-compatible prime ideals P Q, we say that Q minimally contains P if there is no φ-compatible prime ideal strictly between P and Q. For a given φ-compatible prime ideal P, next proposition shows that how to compute φ-compatible prime ideals which minimally contain P, and we turn it into an algorithm (cf. [10, Theorem 4.1] and [9, Section 4]). Proposition Let φ : F R e R be an R-linear map where φ( ) = π e (F e u ) for some u R. Let P and Q be φ-compatible prime ideals such that Q minimally contains P, and let J be the ideal whose image in R/P defines the singular locus of R/P. Then: (1) If (P [pe] : P) (Q [pe] : Q) then J Q, (2) If (P [pe] : P) (Q [pe] : Q) then (ur+p [pe] ) : (P [pe] : P) Q. Proof. For ()1), let R p be a localization of R at a prime ideal p which contains Q, and let S = R p be the completion of R p with respect to the maximal ideal pr p. Since colon ideals, Frobenius powers and singular locus commute with localization and completion, (P [pe] : P) (Q [pe] : Q) (PS [pe ] : PS) (QS [pe ] : QS). Let Q 1,...,Q s be the minimal prime ideals of QS in S, and Q i = (QS : s i ) for some suitable elements s i S. Then (PS [pe ] : PS) (Q [pe ] i : Q i ) for each Q i since for any

9 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 9 element a (QS [pe] : QS), b Q i bs i QS abs i QS [pe] abs pe i QS [pe ] ab (QS [pe] : s pe i ) = (QS : s i ) [pe] = Q [pe ] i Thus, by [10, Theorem 4.1], JS Q i for each i, which implies that JS QS, and so J Q. For (2), we refer to [10, Theorem 4.1]. The following algorithm is the same algorithm described in[9], which we call it here the Katzman-Schwede algorithm, finds all φ-compatible prime ideals of R which do not contain I e (ur). We describe it here in a more algebraic language. Input: An R linear map φ : F R R where φ( ) = π e (F e u ) and u R. Output: Set of all φ-compatible prime ideals which do not contain I e (ur). Initialize: A R = {0} and B = Execute the following: While A R B pick any P A R B, set S = R/P; (1) Find the ideal J R whose image in S defines the singular locus of S, and compute J eu, (2) Find the minimal prime ideals of J eu, add them to A R, (3) Compute the ideal B := ((ur+p [pe] ) : (P [pe] : P)), and compute B eu, (4) Find the minimal prime ideals of B eu, add them to A R, (5) Add P to B. Output A R and stop. The Katzman-Schwede algorithm produces a list of all φ-compatible prime ideals which do not contain L := I e (ur). Because for any prime ideal Q, whenever L Q we have the property that Q is φ-compatible if and only if Q/L is φ -compatible where φ is the induced map from φ. But Q/L is clearly compatible since φ is zero. Thus, we do not need to assume that φ is surjective. Discussion Let R p be a localization of R at a prime ideal p, and let R p be the completion of R p with respect to the maximal ideal pr p. We know that p R p is the maximal ideal of R p. Now let X 1,...,X s be minimal generators of p R p, and let K[X 1,...,X s ] be the formal power series ring over the residue field K of R p. By the Cohen s structure theorem S = K[X 1,...,X s ]. Let E = E S (S/m) be the injective hull of the residue field. Then by [15, Example], E is isomorphic

10 10 MEHMET YESIL to the module of inverse polynomials K[X 1,...,X s ] whose R-module structure is defined as follows (λx α X αs s )(µx ν 1 = 1...Xs νs ) { λµx ν 1+α Xs νs+αs if α i < ν i for all i 0 if α i ν i for any i for all λ,µ k, non-negative integers α 1,...,α s, and positive integers ν 1,...,ν s. Therefore, E has a natural S[T;f e ]-module structure by extending additively the action T(λX α Xs αs ) = λ pe X pe ν X pe ν s s for all λ K and positive integers ν 1,...,ν s. Notice that T : E E defines a Frobenius map. Following [10, Section 4], we can also view the Katzman-Schwede algorithm from the point of Frobenius maps on injective hull of residue fields. Any S[Θ;f e ]-module structure on E can be given by Θ = ut for some u S where T is the natural action as above. We also know that the set of S-submodules of E is {Ann E J J is an ideal of R}. In addition, [7, Theorem 4.3] shows that an S-submodule Ann E J E is an S[Θ;f e ]-submodule if and only if uj J [pe]. Thus, the Katzman- Schwede algorithm finds all submodules Ann E P of E which are preserved by the Frobenius map Θ, under the assumptions that P is a prime ideal of S and the restriction of Θ to Ann E P is not the zero map (i.e. it finds all the Θ-special prime ideals of S, see Definition 4.8). All of the operations used in the Katzman-Schwede algorithm are defined for localizations of R. Therefore, we can apply the algorithm to any localization of R at a prime ideal. In the rest of this section, we investigate behaviour of the Katzman-Schwede algorithm under localization. Let R p be a localization of R at a prime ideal p. Our next theorem gives the exact relation between the output sets A R and A Rp of the Katzman-Schwede algorithm for R and R p, respectively. Theorem The Katzman-Schwede algorithm commutes with localization: for a given u R, if A R and A Rp are the output sets of the Katzman-Schwede algorithm for R and R p, respectively, then A Rp = {PR p P A R and P p} Proof. We shall show that the Katzman-Schwede algorithm commutes with localization step by step. Since the ideal defining singular locus commutes with localization, so is step 1. Since Frobenius powers and colon ideals commute with localization under Noetherian hypothesis, so is step 3. Then by Lemma 2.10, -closure commutes with localization. Therefore, step 2. and 4. follow from the fact that primary decomposition commutes with localization. Let P be a φ-compatible prime ideal of R. Then since up P [pe] upr p P [pe] R p, PR p is a φ-compatible prime ideal of R p. Since the

11 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 11 Katzman-Schwede algorithm commutes with localization, Q is a φ- compatible prime ideal of R minimally containing P if and only if QR p is a φ-compatible prime ideal of R p minimally containing PR p. Hence, A Rp = {PR p P A R and P p}. 4. A Generalization of the Katzman-Zhang Algorithm Let R = k[x 1,...,x n ] be a polynomial ring over a field of characteristic p and e be a positive integer. Let R p be a localization of R at a prime ideal p, and let S = R p be the completion of R p with respect to the maximal ideal m = pr p. Let E = E S (S/m) be the injective hull of residue field of S. The purpose of this section is to generalize the algorithm defined in Section 6 of [10] to R, and show that it commutes with localization. Remark 4.1. Given an Artininan S-module M, we can embed M in E α for some positive integer α, we can then embed Coker(M E α ) in E β for some positive integer β. Continuing in this way, we get an injective resolution 0 M E α A t E β of M, whereais an α β matrix with entriesin S since Hom S (E α,e β ) = Hom S (S α,s β ), and so M = kera t. Remark 4.2. Let T : E E be as in Discussion We can extend this natural S[T;f e ]-module structure on E to E α which is given by a 1 Ta 1 T. =. a α Ta α for all a 1,...,a α E. Remark 4.3. Following [7, Section 3], let C e be the category of Artinian S[θ;f e ]-modules and D e be the category of S-linear maps M FS e (M) where M is Noetherian S-module and a morphism between M FS e(m) and N Fe S (N) is a commutative diagram of S-linear maps φ M N FS e(m) FS e(φ) FS e(n) We define the functor e : C e D e as follows: given an e-th Frobenius map θ : M M, we can obtain an R-linear map φ : F R e M M such that φ(f r m) = rθ(m) for all r R, m M. Applying Matlis duality to this map gives the R-linear map M (F er M) = F e R M where the last isomorphism is described in [13, Lemma 4.1]. Conversely, we define the functor Ψ e : D e C e

12 12 MEHMET YESIL as follows: given a Noetherian R-module N with an R-linear map N FR e (N). Applying Matlis duality to this map gives the R-linear map ϕ : FR e(n ) = FR e(n) N where the first isomorphism is the composition FR e(n ) = FR e(n ) = F e R (N ) = F e R (N). Then we define the action of θ on N by defining θ(n) = ϕ(1 n) for all n N. The mutually inverse exact functors e and Ψ e are extensions of Matlis duality which also keep track of Frobenius actions. Proposition 4.4. [10, Proposition 2.1] Let M = kera t be an Artininan S-module where A is an α β matrix with entries in S. For a given e-th Frobenius map on M, e (M) Hom S (CokerA,CokerA [pe] ) and is given by an α α matrix U such that U ImA ImA [pe], conversely any such U defines an S[Θ;f e ]-module structure on M which is given by the restriction to M of the Frobenius map Θ : E α E α defined by Θ(a) = U t T(a) for all a E α. Remark 4.5. By Proposition 4.4, for any Artinian submodule M = kera t of E α with a given S[Θ;f e ]-module structure, where Θ = U t T, there is a submodule V of S α such that M = Ann E αv t := {a E α V t a = 0} and UV V [pe], (in fact V = ImA). For simplicity, for V S α we denote E(V) = Ann E α V t. Lemma 4.6. [10, Lemma 3.6, Lemma 3.7] Let Θ = U t T : E α E α be a Frobenius map where U is an α α matrix with entries in S and let K S α. Then (1) E(I e (ImU [pe 1] U [pe 2] U)) = {a E α Θ e (a) = 0}, (2) E(I 1 (UK)) = {a E α Θ(a) E(K)}. Remark 4.7. LetM = Ann E αv t be asin Remark4.5. ThenAnn S M = Ann S S α /V because Ann S M Ann S M Ann S M = Ann S M. Definition 4.8. Let Θ = U t T : E α E α be a Frobenius map, where U is an α α matrix with entries in S. We call an ideal of S a Θ-special ideal if it is an annihilator of an S[Θ;f]-submodule of E α, equivalently if it is the annihilator of S α /W for some W S α with UW W [pe]. We adapt above definition for a more general setting and define special ideals depending on a given square matrix as follows. Henceforth, R denotes R or R p or S. Definition 4.9. For a given α α matrix U with entries in R, we call an ideal of R a U-special ideal if it is the annihilator of R α /V for some submodule V R α satisfying UV V [pe]. Next we will provide some properties of special ideals. The following lemma gives the most important properties which are actually generalization of Lemma 3.8 and 3.10 in [10] to R with similar proofs. Lemma Let U be an α α matrix with entries in R and J be a U-special ideal of R. Then

13 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 13 (1) Associated primes of J are U-special, (2) V = (JR α ) U is the smallest submodule of R α such that J = Ann R R α /V and UV V [pe]. Proof. For (1), let P an associated prime of J and J = Ann R R α /V for somev R α such thatuv V [pe]. Thenforasuitable element r R we have P = (J : r). If W = (V : R α r) = {w R α rw V} then P = Ann R R α /W since s P rs J rsr α V sr α W. Ontheotherhand, sinceuv V [pe] andrw V wehaveruw UV and so r pe UW r pe 1 UV r pe 1 V [pe ] V [pe]. This means that UW (V [pe] : R α r pe ) = (V : R α r) [pe] = W [pe]. For(2),letJ = Ann R R α /V forsomev R α suchthatuv V [pe]. It is clear that JR α (JR α ) U and JR α V (JR α ) U V U = V. Therefore, J Ann R R α /(JR α ) U Ann R R α /V = J, and so J = Ann R R/(JR α ) U. Theorem [10, Theorem 5.1] There are only finitely many Θ- special prime ideals P of S with the property that for some S[Θ;f]- submodule M E α with Ann S M = P and the restriction of Θ to M is not zero. Theorem 4.11 was proved by induction on α and turned into an algorithm in [10], which we call it here the Katzman-Zhang Algorithm. Next theorem allows us to generalize the Katzman-Zhang Algorithm to R. Theorem [11, Theorem 3.2] Let α be a positive integer and U be an α α matrix with entries in R. (1) If I e (U [pe 1] U [pe 2] UR α ) = I e+1 (U [pe] U [pe 1] UR α ) then I e (U [pe 1] U [pe 2] UR α ) = I e+j (U [pe+j 1] U [pe+j 2] UR α ) for all j 0. (2) There exists an integer e such that (1) holds. For the rest of this section, we will fix an α α matrix U with entries inr,andkwilldenotethestablevalueof{i e (U [pe 1] U [pe 2] UR α )} e 1 as in Theorem Proposition If P is a prime ideal of R with the property that K PR α where K = I e (U e R α ) and U e = U [pe 1] U [pe 2] U, then P is U e -special. Proof. Let P be a prime ideal of R such that K PR α. Then K PR α U e R α P [pe] R α U e PR α P [pe] R α PR α = (PR α ) Ue. Therefore, P is U e -special. ByProposition4.13, anyprimeidealcontaining K isu e -special. This is equivalent to saying that the action of U e on prime ideals containing K is the same as the action of zero matrix. Henceforth, we will assume that K 0.

14 14 MEHMET YESIL Our next theorem is the generalization of Theorem 4.12 to R, and we will prove it using a very similar method to that in [10]. Theorem The set of all U-special prime ideals P of R with the property that K PR α is finite. We will prove Theorem 4.14 by induction on α. Assume that α = 1. For a prime ideal P being a u-special prime, i.e. P = Ann R R/P u, is equivalent to the property that up P [p]. This means, by Corollary 3.7, that P is a φ-compatible ideal where φ( ) = π(f u ). Then the set of all u-special prime ideals are finite and the Katzman-Schwede algorithm finds such primes. Henceforth in this section, we will assume that Theorem 4.14 holds for α 1. ForaU-special primeideal P, we will present aneffective methodfor finding all U-special prime ideals Q P for which there is no U-special prime ideal strictly between P and Q, and we will call such U-special prime ideals Q as minimally containing P. The following lemma is a generalization of Lemma 5.2 in [10] to R, which is our starting point of finding U-special prime ideals minimally containing P. Lemma Let P Q be U-special prime ideals of R such that Q contains P minimally. If a Q \ P, then Q is among the minimal prime ideals of Ann R R α /W where W = ((P +ar)r α ) U. Proof. Since PR α (P +ar)r α QR α we have Then by Lemma 4.10, P = Ann R (PR α ) U ((P +ar)r α ) U (QR α ) U. R α (PR α ) Ann R α U R W Ann R α R (QR α ) = Q U which implies that Q contains a minimal prime ideal of Ann R R α /W. Therefore, by Lemma 4.10 again, this minimal prime is U-special. Since Q contains P minimally, it has to be Q itself. Next, we will prove a generalization of Lemma 5.3 in [10] to R, which is a crucial step for proving Theorem Lemma Let Q be a U-special prime ideal of R, where Q = Ann R R α /W for some submodule W R α satisfying UW W [p]. Let a / Q and X be an invertible α α matrix with entries in the localization R a. Let ν 0 be such that U 1 = a ν X [p] UX 1 has entries in R and W 1 = XW a R α. Then (1) Q is a minimal prime of Ann R R α /W 1 and U 1 W 1 W [p] 1, i.e. Q is U 1 -special. (2) If I e (U [pe 1] U [pe 2] URα ) W, then I e (U [pe 1 ] 1 U [pe 2 ] 1 U 1 R α ) W 1.

15 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 15 Proof. Let J = Ann R R α /W 1. Then J a = (Ann R R α /W 1 ) a = Ann Ra R α a /(W 1) a = Ann Ra R α a /XW a = Ann Ra R α a /W a = (Ann R R α /W) a = Q a. Therefore, Q is a minimal prime ideal of J. We also have U 1 W 1 = a ν X [p] UX 1 (XW a R α ) (a ν X [p] UX 1 XW a ) R α X [p] W [p] a R α = (XW a ) [p] R α = (XW a R α ) [p] = W [p] 1. This means that J is U 1 -special. Therefore, by Lemma 4.10, Q is U 1 - special. Assume that I e (U [pe 1] U [pe 2] UR α ) W, i.e. U [pe 1] U [pe 2] UR α W [pe]. Now suppose the contrary that I e (U [pe 1 ] 1 U [pe 2 ] 1 U 1 R α ) W 1, i.e. U [pe 1 ] 1 U [pe 2 ] 1 U 1 R α W [pe ] 1. Since U [pe 1 ] 1 U [pe 2 ] 1 U 1 = (a ν X [p] UX 1 ) [pe 1] (a ν X [p] UX 1 ) [pe 2] a ν X [p] UX 1 = a ν(pe 1) X [pe] U [pe 1] (X 1 ) [pe 1] a ν(pe 2) X [pe 1] U [pe 2] (X 1 ) [pe 2] a ν X [p] UX 1 = a ν(pe 1 +p e ) X [pe] U [pe 1] U [pe 2] UX 1, we have bx [pe] U [pe 1] U [pe 2] UX 1 R α W [pe ] 1 = (XW a R α ) [pe ] = X [pe] W [pe ] a R α, where b = a ν(pe 1 +p e ). Therefore, X [pe] U [pe 1] U [pe 2] UX 1 R α a X[pe] W [pe ] a, and so U [pe 1] U [pe 2] UR a α W [pe ] a. Then U [pe 1] U [pe 2] URα W [pe ] since a is not a zero divisor on R α /W [pe], which contradicts with our assumption. Next, we will give a generalization of Proposition 5.4 in [10] to R, which will give us an effective method for finding the U-special prime ideals containing a U-special prime P minimally in an important case. Proposition Let P be a U-special prime ideal of R such that K PR α. Assume that the α-th column of U is zero and PR α = (PR α ) U. Then the set of U-special prime ideals minimally containing P is finite. Proof. Let Q be a U-special prime ideal minimally containing P and W = (QR α ) U. Let U 0 be the top left (α 1) (α 1) submatrix of U. Since PR α = (PR α ) U UPR α P [p] R α, all entries of U are in (P : P [p] ). Therefore, U 0 PR α 1 P [p] R α 1, and so P is U 0 -special. Let K 0 be the stable value of {I e (U [pe 1 ] 0 U [pe 2 ] 0 U 0 R α 1 )} e>0 as in Theorem We now split our proof into two parts. Assume first

16 16 MEHMET YESIL that K 0 PR α 1, i.e. I e (U [pe 1 ] 0 U [pe 2 ] 0 U 0 R α 1 ) PR α 1 for some e > 0. 1) Let(g 1,...,g α 1,0)bethelastrowofthematrixU [pe 1] U [pe 2] U. Notethatitstopleft(α 1) (α 1)submatrixisU [pe 1 ] 0 U [pe 2 ] 0 U 0. Byourassumption, allentriesofu [pe 1 ] 0 U [pe 2 ] 0 U 0 areinp [pe] Q [pe]. Therefore, I e (U [pe 1 ] 0 U [pe 2 ] 0 U 0 R α 1 ) PR α 1 QR α 1. Then by Proposition 4.13, P and Q are U [pe 1 ] 0 U [pe 2 ] 0 U 0 - specialideals, andsotheactionofu [pe 1] U [pe 2] U isthesame action of a matrix U e whose first α 1 rows are zero and last row is (g 1,...,g α 1,0). Hence, we replace U [pe 1] U [pe 2] U with U e without effecting any issues. We now define inductively V 0 = QR α and V i+1 = I e (U e V i )+V i for all i 0. Since α 1 U e QR α = {(0,...,0, g i q i ) t i,q i Q}, i=1 α 1 I e (U e QR α ) = {(0,...,0,v) v I e ( g i Q)}. Therefore, the sequence {V i } i 0 stabilizes at V 1 = I e (U e QR α )+ QR α. By definition of -closure, we have QR α V 1 W, and so Ann R R α /V 1 = Q. Furthermore, since R α V 1 = ( R Q ) α 1 i=1 R I e ( α 1 i=1 g iq), we have Q Ann R R/I e ( α 1 i=1 g iq). On the other hand, we also have R Ann R I e ( α 1 i=1 g iq) = Ann R α R I e (U e QR α ) Q since I e (U e QR α ) V 1, which implies that This means that α 1 Ann R R/I e ( g i Q) = Q. i=1 i=1 α 1 α 1 I e ( g i Q) = I e (g i Q) Q, i=1 i.e. I e (g i Q) Q g i Q Q [pe ] for all 1 i < α. Hence, Q is g i -special for all 1 i < α. On the other hand, at least for one g i we must have g i / P [pe] so that we do not get a contradiction with our assumption K PR α. We can now produce all such Q using the Katzman-Schwede algorithm.

17 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 17 Let τ R be intersection of the finite set of U 0 -special prime ideals of R minimally containing P. Let ρ : R α R α 1 be the projection onto first α 1 coordinates, and let J = Ann R R α 1 /ρ(w). Then since U 0 ρ(w) = ρ(uw) ρ(w [p] ) = ρ(w) [p], J is U 0 -special. Note that Q J, and so P J. Assume now that K 0 PR α 1. 2) We now compute (τ [pe] K 0 ) U 0 as the stable value of L 0 = τ [pe] K 0 L 1 = I 1 (U 0 L 0 )+L 0 = τ [pe 1] I 1 (U 0 K 0 )+τ [pe] K 0. = τ [pe 1] K 0 +τ [pe] K 0 L e = τk 0 +L e 1. and we deduce that τk 0 L e (τ [pe] K 0 ) U 0. On the other hand, sincej isau 0 -specialidealstrictlycontainingp,τ J. Thus, for all large e 0, we have τ [pe] J. Therefore, τk 0 (τ [pe] K 0 ) U 0 (JR α 1 ) U ρ(w) U 0 = ρ(w). where the last equality follows from the fact that UW W [p]. Moreover, since τ P, we have τk 0 PR α 1. 3) Now we define v := (v 1,...,v α 1,0) t for any element v = (v 1,...,v α 1,v α ) t, and V := { v v V} for any submodule V. Let l : R α 1 R α 1 R be the natural inclusion l(v) = v 0. Note that V = l(ρ(v)). Then we also define W 0 = {w W ρ(w) τk 0 } and note that (2) implies that ρ(w 0 ) = τk 0. We have W0 U W U = W and W0 U = I 1 (UW 0 ) U + W 0. Since UW 0 = UW 0 = Ul(τK 0 ), I 1 (Ul(τK 0 )) U W0 U W. On the other hand, if I 1 (Ul(τK 0 )) U PR α, then U 0 τk 0 = ρ(ul(τk 0 )) P [p] R α 1, which contradicts with (2). Hence, we also have I 1 (Ul(τK 0 )) PR α. 4) Let M be a matrix whose columns generate I 1 (Ul(τK 0 )) U W. Choose an entry a of M which is not in P. Then (a) If a Q, Lemma 4.15 shows that Q is among the minimal prime ideals of Ann R R α /((P +ar)r α ) U. (b) If a / Q, we shall apply Lemma 4.16 with the matrix X with entries in R a such that the α-th elementary vector e α W 1 = XW a R α and U 1 as in Lemma Then R α /W 1 = R α 1 /ρ(w 1 ), and so Q is a minimal prime Ann R R α 1 /ρ(w 1 ). Let U 2 be the top left (α 1) (α 1) submatrix of U 1. Then since U 2 ρ(w 1 ) ρ(u 1 W 1 ) ρ(w [p] 1 ) = ρ(w 1) [p], Ann R R α 1 /ρ(w 1 ) is U 2 -special, and so is Q.

18 18 MEHMET YESIL This shows that in any case Q is an element of a finite set of prime ideals. Hence, there are only finitely many U-special prime ideals of R which contain P minimally. Next Theorem is a generalization of Theorem 5.5 in [10] to R, and it provides an effective algorithm for finding all U-special prime ideals P of R with the property that K PR α. Theorem Let P a U-special prime ideal of R such that K PR α, and Q be a U-special prime ideal minimally containing P. Let M be a matrix whose columns generate (PR α ) U. (1) If PR α ImM, then either (a) all entries of M are in Q, and so there exist an element a Q \ P and Q is among the minimal prime ideals of Ann R R α /((P +ar)r α ) U, or (b) there exists an entry of M which is not in Q, and Q is a special prime over an (α 1) (α 1) matrix. (2) IfPR α = ImM, then there exist an element a 1 R \ P, an element g (P [p] : P), and an α α matrix V such that for some µ 0, we have a µ 1 U gv modulo P[p]. If d = detv, then either (a) d P, and Q is a special prime ideal over an (α 1) (α 1) matrix, or (b) d Q \ P, and Q is among the minimal prime ideals of Ann R R α /((P +dr)r α ) U, or (c) d / Q, and Q is a g-special ideal of R. Proof. Let W R α be such that UW W [p] and Q = Ann R R α /W. When all entries of M are in P, ImM PR α, i.e., ImM = (PR α ) U = PR α. Thus, if we are in case 1., we have at least one entry a of M which is not in P. If a Q, by Lemma 4.15, Q is among the minimal primes of Ann R R α /((P + ar)r α ) U. If a / Q, by Lemma 4.16, Q is a minimal prime of Ann R R α /W 1 such that U 1 W 1 W [p] 1, where U 1 and W 1 as in Lemma On the other hand, since a becomes a unit in R a, we can choose the invertible matrix X with entries in R a such that W 1 = XW a R α contains the α-th elementary vector e α. Then we have R α /W 1 = R α 1 /ρ(w 1 ), where ρ : R α R α 1 is the projection onto first α 1 coordinates. Let U 2 be the top left (α 1) (α 1) submatrix of U 1. Then Ann R R α /W 1 = Ann R R α 1 /ρ(w 1 ) and U 2 ρ(w 1 ) ρ(u 1 W 1 ) ρ(w [p] 1 ) = ρ(w 1) [p]. Therefore, Ann R R α /W 1 is U 2 -special, and so is Q. Assumenowthatweareincase2.,bydefinitionof -closureupr α P [p] R α, i.e., the entries of U are in (P [p] : P). On the other hand, by Lemma 3.8, if A = R/P, F ((P [p] : P)/P [p] ) = Hom(F A,A) is rank one F A-module. This means that (P [p] : P)/P [p] is rank one A-module, and so we can find an element g (P [p] : P)\P [p] such that

19 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 19 (P [p] : P)/P [p] is generated by g + P [p] as an A-module. Also we can find an element a 1 R\P such that the localization of (P [p] : P)/P [p] at a 1 is generated by g/1+p a [p] 1 as an A a1 -module and hence as an R a1 - module. If a 1 Q, we can find Q as in the case 1.(a), thus, we assume that a 1 / Q. Then for any entry u of U, working in the localization, we have an expression u 1 +P[p] a 1 = r a w 1 1 g 1 +P[p] a 1 which implies that u rg a w 1 1 r P [p] and w 1,w 2 N. Thus, P [p] a 1, i.e., u rg a w 1 1 = r a w 2 1, where r R, a w 1+w 2 1 u = a w 2 1 rg +a w 1 1 r Therefore, we can write a µ 1 U = gv + V for some µ 0 and α α matrices V and V with entries in R and P [p], respectively. Then by Proposition 4.13, we may replace V with the zero matrix, since I(V R α ) PR α. Let d = detv. We now consider three cases: (1) If d P, then the determinant of V in the fraction field F of A, say d, will be zero. So we can find an invertible matrix X with entries in F such that the last column of VX 1 is zero, and so is UX 1. Let a 2 is the product of all denominators of entries of X and X 1, i.e. the entries of X and X 1 are in R a2. If a 2 Q, we can find Q as in the case 1.(a) again, thus, we also assume that a 2 / Q. Let a = a 1 a 2. By Lemma 4.16, P and Q are U 1 - special prime ideals where U 1 = a ν X [p] UX 1 whose last column is zero. Then since PR α = (PR α ) U UPR α P [p] R α, we also have U 1 PR α = a ν X [p] UX 1 PR α a ν X [p] UPR α UPR α P [p] R α which implies PR α = (PR α ) U 1. Hence, we can produce Q as in Proposition (2) If d Q\P, then by Lemma 4.15, Q is among minimal prime ideals of Ann R R α /((P +dr)r α ) U. (3) If d / Q, let a = da 1, W = (QR α ) U and X = I α be the α α identity matrix. Then by Lemma 4.16, Q is a minimal prime ideal of Ann R R α /W 1 where W 1 = (QR α ) U a R α. By definition

20 20 MEHMET YESIL of -closure (QR α ) U is the stable value of the sequence L 0 = QR α a L 1 = I 1 (UQR α a)+qr α = I 1 (gvqr α a)+qr α a = I 1 (gqr α ) a +QR α a L 2 =. which also equals to (QR α ) giα. The third equality for L 1 is because of the fact that I e ( )-operation commutes with localization and V is invertible. This implies that Ann R R α /W 1 is gi α - special, and so is Q. Therefore, Q is g-special and can be computed using the Katzman-Schwede algorithm, since g / P [p]. This method also shows that for a given U-special ideal P, there are only finitely many U-special prime ideals minimally containing P. Proof Of Theorem The proof is by induction on α. The case α = 1 is established in the section 3. Assume that α > 0 and the claim is true for α 1. Since zero ideal is always a U-special prime ideal of R, we start with 0 and use Theorem 4.18 to find U-special prime ideals minimally containing 0. Continuing this process recursively gives us bigger U-special prime ideals at each steps. Therefore, since R is of finite dimension, the number of steps in this process is bounded by the dimension of R. Hence, there are only finitely many U-special prime ideals with the desired property. Next we turn Theorem 4.18 into an algorithm which gives us a generalization of the Katzman-Zhang algorithm to R. Intput: An α α matrix U with entries in R such that K 0. Output: Set of all U-special prime ideals P of R with the property that K PR α. Initialize: A R α = {0},B =. Execute the following: If α = 1, use the Katzman-Schwede Algorithm to find desired primes, put these in A R α, output A R α and stop. If α > 1, then while A R α B, pick any P A R α \ B. If K PR α, add P to B, if not, write W = (PR α ) U as the image of a matrix M and do the following: (1) If there is an entry a of M which is not in P, then; R α (a) Find the minimal primes of Ann R ((P +ar)r α ) U, and add them to A R α,

21 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 21 (b) Find an invertible α α matrix X with entries in R a such thattheα-thelementaryvectore α XW a R α,andchoose ν 0 such that U 1 = a ν X [p] UX 1 has entries in R. Let U 0 be the top left (α 1) (α 1) submatrix of U 1. Then apply the algorithm recursively to U 0 and add resulting primes to A R α. (2) If ImM = PR α, then find elements a 1 R\P, g (P [p] : P), and an α α matrix V, and µ 0 such that a µ 1U gv modulo P [p]. Compute d = detv and do the following: (a) If d P, find an element a 2 R \ P and an invertible matrix X with entries in R a2 such that the last column of UX 1 is zero. Find ν 0 such that the entries of U 1 = (a 1 a 2 ) ν X [p] UX 1 areinr. LetU 0 bethetopleft(α 1) (α 1) submatrix of U 1, and K 0 be the stable value of {I e (ImU [pe 1] 0 U [pe 2] 0 U 0 )} e>0 as in Theorem Then; (i) If K 0 PR α 1, write the last row of the matrix U [pe 1 ] 1 U [pe 2 ] 1 U 1 as (g 1,...,g α 1,0) and apply the Katzman-Schwede Algorithm to the case u = g i for each i, and add resulting primes to A R α, (ii) If K 0 PR α 1, find recursively all prime ideals for U 0 whichcontainp minimallyanddenotetheirintersection with τ. Compute I 1 (U 1 l(τk 0 )) U 1, and write this as the image of a matrix M. Find an entry a of M not in P. Now; (A) AddtheminimalprimesofAnn R ((P +a R)R α ) U 1 to A R α, (B) Find an invertible matrix X with entries in R a suchthattheα-thelementaryvectore α X(ImM ) a R α. Find ν 0 such that U 2 = (a ) v X [p] U 1 X 1 has entries in R. Let U 3 be the top left (α 1) (α 1) submatrix of U 2. Apply the algorithm recursively to U 3, and add resulting primes to A R α. (b) If d / P, then; R α (i) add the minimal primes of Ann R to ((P +dr)r α ) U A R α, (ii) apply the Katzman-Schwede algorithm to the case u = g, and add resulting primes to A R α. (3) Add P to B Output A R α and stop. Since all the operations used in the above algorithm are defined for localizations of R, we can apply our algorithm to any localization of R α

22 22 MEHMET YESIL R at a prime ideal p. In the rest of this section, we investigate the relations between output sets of our algorithm applied to R and R p. Lemma P is a U-special prime ideal of R not contained in p if and only if PR p is a U-special prime ideal of R p. Proof. Let P be a prime ideal of R. Then P is U-special P = Ann R R α /(PR α ) U PR p = Ann Rp R α p /(PRα p ) U PR p is U-special Our next theorem gives the exact relation between the output sets A R α and A R α p of our algorithm for R and R p, respectively. Theorem Let U be an α α matrix with entries in R. Our algorithm commutes with localization: if A R α and A R α p are the output sets of our algorithm for R and R p, respectively, then A R α p = {PR p P A R α and P p}. Proof. By Theorem 3.12, the Katzman-Schwede Algorithm commutes with localization. Therefore, we can, and do, assume α > 1. Let P be the prime ideal of R in the initial step of our algorithm, and R p be a localization of R at a prime ideal p containing P. Since -closure commutes with localization, whenever we write (PR α ) U as the image of a matrix M with entries in R, we can write (PR α p ) U = (PR α ) U R p as the image of same matrix but working in R p. (1) Since a / P a / PR p, a is an entry of M not in (PR α p ) U. Then, by Lemma 2.10, step (1)(a) commutes with localization. However, for step (1)(b), we can take the same matrix X with entries in R a but working in R p. Then while we do operations in R p, we see that e α X(ImM) a R α implies that e α (X(ImM) a R α )R p = X(ImM)a R α p. Also U 1 = a ν X [p] UX 1 has entries in R (and in R p ) for the same ν 0. Therefore, we end up with the same matrix U 0. (2) We first note that (PR α ) U = PR α (PR α p) U = PR α p. Therefore, if (PR α p) U = PR α p, we can have the same construction working in R p, i.e., we can take a 1 R p \ PR p, g ((PR p ) [p] : PR p ), α α matrix V for the same µ 0 such that a µ 1 U = gv modulo (PR p) [p] and compute d = detv. (a) For any r R, we have the property that r P r PR p. Thus, if d PR p, then we can have the same construction again, and so we can take a 2 R p \ PR p and the same invertible matrix X with entries in R a2 (and in (R p ) a2 = (Ra2 ) p ) such that the last column of UX 1 is zero, working in R p. We also can take the same ν 0

23 A GENERALIZATION OF THE KATZMAN-ZHANG ALGORITHM 23 such that the entries of U 1 = (a 1 a 2 ) ν X [p] UX 1 are in R (and in R p ), and U 0 to be the same matrix. In addition, since I e ( ) operation commutes with localization, if we do calculations in R p, then the stable value of {I e (U [pe 1 ] 0 U [pe 2 ] 0 U 0 R p )} e>0 is going to equal to the stable value of {I e (U [pe 1 ] 0 U [pe 2 ] 0 U 0 R)R p } e>0 which is K 0 R p. Now, since K 0 PR α 1 K 0 R p PRp α 1, we can do next: (i) Working in R p, if K 0 R p PRp α 1 we can write the lastrowofthematrixu [pe 1 ] 1 U [pe 2 ] 1 U 1 as(g 1,...,g α 1,0). (ii) Working in R p, if K 0 R p PRp α 1, we can apply our algorithm recursively to U 0 and find all prime ideals which contain PR p minimally and denote their intersection with τ, which is τr p, as we have showed all steps of algorithm commute with localization. Then we have I 1 (U 1 l( τk0 R p )) U 1 = (I 1 (U 1 l(τk)) U 1 )R p, where l : Rp α 1 Rp α 1 R p is the extension map induced by l. All other steps are similar to previous steps, and so all steps of our algorithm commute with localization. Since our algorithm commutes with localization, by Lemma 4.19, the output set A R α p is the set of all U-special prime ideals of R p, and hence, A R α p = {PR p P A R α and P p}. 5. An Application to Lyubeznik s F-modules In this section, we reprove Proposition 4.14 in [13] using our algorithm described in previous section. We also give an effective way for producing the desired set of prime ideals. By Example 2.1, the i-th local cohomology module of R with respect to an ideal I is an F-finite F-module, i.e. HI i (R) = lim (M β F R (M) F R(β) FR 2 (M) F2 R (β) ) where β : M F R (M) is a root morphism. Since M is finitely generated, we also have M = CokerA = R α /ImA for some matrix A with entries in R. Hence, H i I(R) = lim (CokerA U CokerA [p] )

24 24 MEHMET YESIL for some α α matrix U with entries in R such that U ImA ImA [p]. Furthermore, U defines an injective map on CokerA, since β is a root morphism. Remark 5.1. Following [13, Section 4], if (R,m) is a local ring, M is an F-finite module and M,M M are two F-submodules with the property that dim R Supp(M/M ) = dim R Supp(M/M ) = 0, then their intersection also has this property, and there exists a smallest F-submodule N of M with this property, since M is Artinian as an F-module. Since L = M/N is an F-module, [13, Theorem 1.4] implies that it is injective. Since it is also F-finite, by [13, Theorem 2.11] the Bass numbers of it are finite. Hence, L = E k as R-modules, where k = µ 1 (m,l) and E is the injective hull of the residue field of R. Definition 5.2. If R is local, we define the corank of an F-finite F- module M the number k in Remark 5.1, and denote it by crkm = k. Our next theorem not only reproves Proposition 4.14 in [13] but also gives us an effective way to compute desired prime ideals. Theorem 5.3. Let I be an ideal of R and P R a prime ideal. If H i IR P (R P ) has non zero corank then P is in the output of our algorithm introduced in section 4, i.e. crk(h i IR P (R P )) 0 P A R α. for some α α matrix U with entries in R. Proof. Since HIR i P (R P ) = R p R HI i (R), we have HIR i P (R P ) U = lim(cokera P [p] P CokerA P ) where A P and U P are localizations of A and U, respectively. We also have that U P defines an injective map on CokerA P since U defines a root morphism for HI i(r). crk(hir i P (R P )) 0impliesthatthereexistsaproperF RP -submodule N of HIR i P (R P ) such that dim RP Supp(HIR i P (R P )/N) = 0. Since HIR i P (R P ) is F RP -finite, by [13, Corollary 2.6], we have N = lim (N F RP (N) F 2 R P (N) ) where N = N CokerA P is an R P -submodule of CokerA P. Thus, N = V/ImA P for some submodule V R α P such that U PV V [p]. Then HIR i P (R P )/N = lim(cokera P /N U P F RP (CokerA P /N) ) = lim(r α P/V U P RP/V α [p] ).