arxiv: v3 [math.ac] 30 Apr 2016

Transcription

1 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS arxv: v3 [mathac] 30 Apr 2016 SERENA MURRU Abstract Let B be an affne Cohen-Macaulay algebra over a feld of characterstc p For every prme deal p B, let H p denote H dmbp pb p Bp Each such H p s an Artnan module endowed wth a natural Frobenus map Θ and f NlH p denotes the set of all elements n H p klled by some power of Θ then a theorem by Hartshorne-Speser and Lyubeznk shows that there exsts an e 0 such that Θ e NlH p = 0 The smallest such e s the HSL-number of H p whch we denote HSLH p The mantheorem nthspapershowsthatforalle > 0, the sets{p SpecB HSLH p < e} are Zarsk open, hence HSL s upper sem-contnuous An applcaton of ths result gves a global test exponent for the calculaton of Frobenus closures of parameter deals n Cohen-Macaulay rngs 1 Introducton Throughout ths paper every rng s assumed to be Noetheran, commutatve, assocatve, wth dentty, and of prme characterstc p Let R be a rng and for every postve nteger e defne the e th -terated Frobenus endomorphsm T e : R R to be the map r r pe For e = 1, R R s the natural Frobenus map on R For any R-module M we defne F e M to be the Abelan group M wth R-module structure gven by r m = T e rm = r pe m for all r R and m M We can extend ths constructon to obtan the Frobenus functor FR e from R-modules to R-modules as follows For any R-module M, we consder the F R-module e F R e R M and after dentfyng the rngs R and F R, we may regard F er R M as an R-module and denote t FR em or just Fe M when R s understood The functor FR e s exact when R s regular, cf [2, Corollary 828], and for any matrx C wth entres n R, FR e CokerC s the cokernel of the matrx C [pe] obtaned from C by rasng ts entres to the p e th power, cf [6] For any R-module M an addtve map ϕ : M M s an e th -Frobenus map f t satsfes ϕrm = r pe ϕm for all r R and m M Note that there s a bjectve correspondence between Hom R M,F M and the Frobenus maps on M For every e 0 let F e M be the set of all Frobenus maps on M Each F e M s an R-module: for all ϕ F e M and r R the map rϕ defned as rϕm = rϕm s n F e M for all m M If ϕ F e M we can defne for 0 the R-submodules M = {m M ϕ m = 0} We defne the submodule of nlpotent elements n M as NlM = 0 M 1

2 2 SERENA MURRU Theorem 1 cf Proposton 111 n [5] and Proposton 44 n [9] If R,m s a complete regular rng, M s an Artnan R-module and ϕ F e M then the ascendng sequence {M } 0 above stablses, e, there exsts an e 0 such that ϕ e NlM = 0 Defnton 2 We defne the HSL number or ndex of nlpotency of ϕ on M, denoted HSLM, to be the smallest nteger e at whch ϕ e NlM = 0, or f no such e exsts WecanrephraseTheorem1bysayngthatunderthehypothessofthetheorem,HSLM < Another way of descrbng a Frobenus map ϕ: M M on an R-module M s to thnk of M as a module over a certan skew-commutatve rng R[θ;f e ] where the latter s defned as follows R[θ;f e ] s the free R-module =0 Rθ endowed wth the further non-commutatve operaton θs = s pe θ for every s S Therefore t s equvalent to say that M s an R-module wth a Frobenus acton gven by ϕ and that M s an R[θ;f e ]-module wth module structure gven by θm = ϕm The acton of Frobenus on a local cohomology module s constructed as follows Any R-lnear map M N nduces a map H IM H IN for every The map R F R sendng r F r p s R-lnear because F r p = r F 1 and so t nduces for every a map H IR H IF R = H IF RF R = H F I ]F [pe R = H F IF R = F H IR where n the frst equalty we used the Independence Theorem for local cohomology [3, Proposton 41] and n the thrd that the deals I and I [pe ] have same radcal cf [3, Proposton 311] So we get an R-lnear map H I R F H I R whch s the same as a Frobenus map H I R H I R If R,m s regular of dmenson d and x 1,,x d s a system of parameters for R then we can wrte H d m R as the drect lmt R x 1 x d x 1,,x d R R x 2 1,,x2 d R x 1 x d where the maps are the multplcaton by x 1 x d Another way to descrbe the natural Frobenus acton on H d m R s the followng The natural Frobenus map on R nduces a natural Frobenus map on H d mr n the followng way; a map φ F e H d m R s defned on the drect lmt above by mappng the coset a+x t 1,,xt d R n the t-th component to the coset ape +x tpe 1,,xtpe d R n the tpe -th component Defnton 3 A local rng R,m s F-njectve f the natural Frobenus map H mr H m R s njectve for all The structure of ths paper s the followng; n Secton 2 we defne the operator I e and n the case of a polynomal rng A we show that t commutes wth completons and localsatons wth respect to any multplcatvely closed subset of A In secton 3 we defne the e - and the Ψ e -functors, cf [7] In Secton 4 we consder a quotent S of a regular local

3 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 3 rng R,m and we gve an explct descrpton of the R-module F e H d ms S consstng of all e th -Frobenus maps actng on the top local cohomology module H d mss We then gve a formula to compute HSLH { d ms S when S s a Cohen-Macaulay } doman In Secton 5 we prove that the set B e = p SpecA HSL H d p B p B p < e, where B s a quotent of a p polynomal rng A, s a Zarsk open set Note that ths result generalses the openness of the F-njectve locus Furthermore, n Secton 6 we provde an algorthm for computng the HSL-loc and we gve an example The results of Secton 7 gve a global test exponent for the calculaton of Frobenus closures of parameter deals n Cohen-Macaulay rngs 2 The I e operator In ths secton we defne the operator I e whch has been ntroduced n [6], and n [3] wth the notaton [1/pe] We wll show that ths commutes wth localsatons and completons For any deal I of a rng R, we shall denote by I [pe] the e th -Frobenus power of I, e the deal generated by {a pe a I} Defnton 4 If R s a rng and J R an deal of R we defne I e J to be the smallest deal L of R such that ts e th -Frobenus power L [pe] contans J In general, such an deal may not exst; however t does exst n polynomal rngs and power seres rngs, cf [7, Proposton 53] Let A be a polynomal rng K[x 1,,x n ] and W be a multplcatvely closed subset of A and J A an deal Lemma 5 If L W 1 A s any deal then L [pe] A = L A [pe] Proof Let g1 1,, gs 1 be a set of generators for L and let G be the deal of A generated by g 1,,g s Then we can wrte L [pe] A = w W G[pe] : A w and L A [pe] = w W G : A w [pe] Snce A s regular, for any w W, w pe s n W and G [pe] : A w pe = G : A w [pe] so L A [pe] L [pe] A Also G [pe] : A w G [pe] : A w pe so L [pe] A L A [pe] Lemma 6 If J s any deal of A then I e W 1 J exsts for any nteger e and equals W 1 I e W 1 J A Proof Let L W 1 A be an deal such that W 1 J L [pe], then W 1 I e W 1 J A L; n fact, W 1 J A L [pe] A = L A [pe ] where the equalty follows from Lemma 5 Thus I e W 1 J A L A so W 1 I e W 1 J A W 1 L A L Hence W 1 I e W 1 J A s contaned n all the deals L such that W 1 J L [pe] If we show that W 1 J W 1 I e W 1 J A [pe] then I e W 1 J exsts and equals W 1 I e W 1 J A But snce W 1 J A I e W 1 J A [pe] then usng Lemma 5 we obtan W 1 J = W 1 W 1 J A W 1 I e W 1 J A [pe] = W 1 I e W 1 J A [pe] Proposton 7 Let  denote the completon of A wth respect to any prme deal and W any multplcatvely closed subset of A Then the followng hold:

4 4 SERENA MURRU 1 I e J A Â = I e J A Â, for any deal J A; 2 W 1 I e J = I e W 1 J Proof 1 Wrte Ĵ = J A Â Snce IeĴ[pe] Ĵ usng [11, Lemma 66] we obtan I e Ĵ A[pe] = I e Ĵ[pe] A Ĵ A = J But I e J s the smallest deal such that I e J [pe] J, so I e Ĵ A I ej and hence I e Ĵ I eĵ A A Â I ej A Â On the other hand, I e J A Â [pe] = I e J [pe] A Â J A Â and so I e J A Â I e J A Â 2 Snce J W 1 J A, I e J I e W 1 J A, and so W 1 I e J W 1 I e W 1 J A By Lemma 6, W 1 I e W 1 J R = I e W 1 J hence W 1 I e J I e W 1 J For the reverse ncluson t s enough to show that W 1 J W 1 I e J [pe] because from ths t follows that I e W 1 J W 1 I e J whch s what we requre Snce J I e J [pe] then W 1 J W 1 I e J [pe] = W 1 I e J [pe] where n the latter equalty we have used Lemma 5 3 The e - and Ψ e -functors Let R,m be a complete and local rng and let denote the Matls dual, e the functor Hom R,E R, where E R = E R K s the njectve hull of the resdue feld K of R In ths secton we recall the notons of e -functor and Ψ e -functor whch have been descrbed n more detal n [7, Secton 3] Let C e be the category of Artnan R[θ,f]-modules and D e the category of R-lnear maps α M : M FR em wth M a Noetheran R-module and where a morphsm between M αm FR em and N αn FR e N s a commutatve dagram of R-lnear maps: M h N α M α N F e R M Fe R h F e R N We defne a functor e : C e D e as follows: gven an e th -Frobenus map θ of the Artnan R-module M, we obtan an R-lnear map φ : F e R R M M whch sends F e r m to rθm Takng Matls duals, we obtan the R-lnear map M F e R R M = F e R R M where the last somorphsm s the functoral somorphsm descrbed n [9, Lemma 41] Ths constructon can be reversed, yeldng a functor Ψ e : D e C e such that Ψ e e and e Ψ e can naturally be dentfed wth the dentty functor See [7, Secton 3] for the detals of ths constructon

5 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 5 4 The local case In ths secton we gve an explct formula for the HSL-numbers Let R,m be a complete, regularand localrng, I an deal of R and wrte S = R/I Let d be the dmenson of S and suppose S s Cohen-Macaulay wth canoncal module ω Assume that S s genercally Gorensten e each localsaton of S at a prme deal s Gorensten so that ω S s an deal of S, see [12, Proposton 24], and consder the followng short exact sequence: that nduces the long exact sequence 0 ω S S/ ω 0 H d 1 ms S Hd 1 ms S/ ω Hd ms ω Hd ms S 0 Snce S s Cohen-Macaulay, the above reduces to 1 0 H d 1 ms S/ ω Hd ms ω H d mss 0 As noted n the ntroducton, a natural Frobenus map actng on S nduces a natural Frobenus map actng on H d mss The followng theorem gves a descrpton of the natural Frobenus up to a unt whch we wll later use n Theorem 12 Theorem 8 cf n Example 37 [11] Let F e := F e H d mss be the R-module constng of all e th -Frobenus maps actng on H d ms S Then Fe s generated by one element whch corresponds, up to unt, to the natural Frobenus map We am togveanexplct descrptonofthe R-moduleF e andconsequentlyofthe natural Frobenus map that generates t Remark 9 The ncluson ω S s R[θ,f e ]-lnear where θs = s pe acts on ω by restrcton Ths nduces an R[θ;f e ]-lnear map H d ms ω α H d ms S 0 where the structure of R[θ,fe ]- module on H d ms ω s obtaned from the one on ω S and where Hd ms S has a natural structure of R[θ;f e ]-module as we have seen n the ntroducton Snce any kernel of an R[θ;f e ]-map s an R[θ;f e ]-module, kerα = H d 1 ms S/ ω s an R[θ;f e ]-module as well Hence the sequence 0 H d 1 ms S/ ω Hd ms ω H d mss 0 s an exact sequence of R[θ;f e ]-modules Identfyng H d ms ω wth E S = Ann ER I t s clear that H d 1 ms S/ ω must be of the form Ann ES J for a certan deal J R More precsely we have the followng: Lemma 10 H d 1 ms S/ ω and Ann E S ω are somorphc Proof If ω s the premage of ω n R then H d 1 ms S/ ω = H d 1 m R/ω Snce H d 1 m R/ω s an R-submodule of E S = Ann ER I E R then H d 1 m R/ω = Ann E R 0: R H d 1 m R/ω The fact that 0 : H d 1 m R/ω = ω follows from [10, Theorem 217] replacng R wth R/ω and 0 wth ω and usng the fact that ω s unmxed

6 6 SERENA MURRU Remark 11 All R[θ;f e ]-module structures on Ann ER I = E S have the form uf where F s the natural Frobenus map on E R and u I [pe] : I The dentfcaton H d ms ω wth E S endows E S wth a Frobenus map whch then has to be of the form uf wth u I [pe] : I In general f we start wth an R[θ;f]-module M, we can consder M as an R[θ e,f e ]-module where f e : R R, f e a = a pe, θ e m = θ e m In our case, for M = E S the acton of θ e on E S s: θ e = θ } θ {{} = uf e = u νe F e e tmes where ν e = 1 + p + + p e 1 when e > 0 and ν 0 = 0 Therefore when we apply the e -functor to E S C e we obtan the map R/I uνe R/I [pe] Theorem 12 The R-module constng of all e th -Frobenus maps actng on H d ms S s of the form I [p e] : I ω [pe] : ω F e = where ω s the premage of ω n R Proof By Lemma 10 we can rewrte 1 as I [pe ] 2 0 Ann ES ω Ann ER I H d ms S 0 Apply the e -functor to the latter short exact sequence When we apply t to E S = Ann ER IandAnn ES ωweobtanrespectvely e E S = R/I uνe R/I [pe] and e Ann ES ω = R/ω R/ω [pe] Thus the ncluson Ann ES ω E S yelds to the dagram 0 H d ms S R/I R/ω 0 u νe 0 F e R Hd ms S R/I [pe ] R/ω [pe ] 0 Now, we can dentfy H d mss wth ω/i and F e R Hd mss wth ω [pe] /I [pe] Therefore when we apply e to the sequence 2 we obtan the short exact sequence n D e : 0 ω/i R/I R/ω 0 u νe 0 ω [pe] /I [pe ] R/I [pe ] R/ω [pe ] 0 where the central vertcal map s the multplcaton by u νe The only way to make the dagram above commutatve s that the other two vertcal maps are also the multplcaton by u νe It follows that u I [pe] : I ω [pe] : ω Fnally consder the surjecton ϕ: I [pe] : I ω [pe] : ω F e H d mss

7 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 7 then u Kerϕ f and only f u: ω I ω[pe ] I [pe ] s the zero map whch happens f and only f u ω I [pe] I e uω = 0 ω contans a non-zero-dvsorand snce AssI = Ass I [pe ] then ω contans a non-zero-dvsor modulo I [pe], say x So ux I [pe ] mples u I [pe] Therefore Kerϕ = I [pe] We prove now the man result of ths secton: Theorem 13 HSLH d ms S s the smallest nteger e for whch I e u νe ω I e+1 u νe+1 ω = 0 where ω s the premage of ω n R and ν e = 1+p+ +p e 1 when e > 0 and ν 0 = 0 { } Proof For all e 0 defne M e = x H d mss θ e x = 0 and note that {M e } e 0 form an ascendngsequenceofr[θ,f e ]-submodulesofh d ms SthatstablsesbyTheorem1 Consder the short exact sequence of R[θ,f e ]-modules 0 H d 1 ms S/ ω Hd ms ω Hd ms S 0 where the acton of θ on E S = H d ms ω s gven by u νe F where F s the natural Frobenus on E R We have seen we can wrte ths sequence as It follows that 0 Ann ES ω Ann ER I H d ms S 0 H d ms S = Ann E R I Ann ES ω Snce each M e s a submodule of H d mss then t s of the form AnnE S Le Ann ES ω for some deals L e R contaned n I Apply the e -functor to the ncluson M e H d mss to obtan ω/i ω/l e u νe ω [pe] /I [pe ] ω [pe] /L [pe ] e where the map ω/i ω [pe] /I [pe] s the multplcaton by u νe by Remark 11 It follows that the map ω/l e ω [pe] /L [pe ] e must be the multplcaton by u νe because of the surjectvty of the horzontal maps; note that such a map s well defned because u νe ω ω [pe], and then L e ω Moreover ω/l e ω [pe] /L [pe ] e must be a zero-map by constructon of e Hence, u νe ω L [pe ] e and for every L e wth u νe ω L [pe ] e the acton of θ on M e s zero We want the largest M e H d ms S for whch θe acts as zero The largest module AnnE S Le Ann ES ω klled by θ e corresponds to the smallest L e such that u νe ω L [pe ] e e L e = I e u νe ω Corollary 14 S s F-njectve f and only f ω = I 1 uω Proof S s F-njectve f and only f the ndex of nlpotency s zero e f and only f ω = I 1 uω

8 8 SERENA MURRU 5 The non-local case Let A be a polynomal rng K[x 1,,x n ] wth coeffcents n a perfect feld of postve characterstc p and let M be a fntely generated A-module generated by g 1,,g s Let e 1,,e s be the canoncal bass for A s and defne the map A s ϕ M e g ϕ s surjectve and extends naturally to an A-lnear map J: A t A s wth kerϕ = ImJ Let J be the matrx obtaned from J Mat s,t A by erasng the th -row Wth ths notaton we have the followng: Lemma 15 M s generated by g f and only f ImJ = A s 1 Proof Frstly suppose ImJ = A s 1 We can add to J, columns of ImJ wthout changng ts mage so we can assume that J contans the elementary vectorse 1,,e 1,e +1,,e s : a 1,1 a 1,2 a 1,n a 2,1 a 2,2 a 2,n J = a,1 a,2 a,n b 1 b 2 b s a m 1,1 a m 1,2 a m 1,n a m,1 a m,2 a m,n where a k,l,b j A In ths way for every j we have g j b j g = 0 e g generates M Vceversa f M s generated by g then for all j we can wrte g j = r j g e g j r j g = 0 and the relaton g j r j g gves a relaton e j r j e n the mage of J, so e j r j e Kerϕ = ImJ Hence we can assume that J contans a column whose entres are all zerosbut n the -th and j-th postons where there s 1 and r j respectvely Consequently J contans the s 1 s 1 dentty matrx Let W be a multplcatvely closed subset of A Localse the exact sequence A t A s M 0 wth respect to W obtanng the exact sequence W 1 A t W 1 A s W 1 M 0 Wth ths notaton we have: Proposton 16 W 1 M s generated by g 1 f and only f W 1 J = W 1 A s 1 Proof Apply Lemma 15 to the localsed sequence W 1 A t W 1 A s W 1 M 0 Proposton 16 s equvalent to sayng that the ntersecton of W wth the deal of s 1 s 1 mnors of J s not trval So we have the followng; Corollary 17 Let M be a fntely generated A-module and let g 1,,g s be a set of generators for M If M s locally prncpal then for each = 1,,s G = {p SpecA MÂp s generated by the mage of g }

9 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 9 s a Zarsk open set and G = SpecA Moreover, G = VJ c for every = 1,,s Proof p G f and only f p J Note that Corollary 17 gves a descrpton of G n terms of mnors of the matrx J Ths descrpton wll be used to mplement the algorthm n Secton 6 In the rest of ths secton let J A be an deal of A and let B be the quotent rng A/J If B s Cohen-Macaulay of dmenson d then Ω = Ext dma d A B,A s a global canoncal module for B; morover, f B s genercally Gorensten then Ω s somorphc to an deal of B, [2, Prop 3318 b] In Macaulay2, [4], we can compute explctly a canoncal deal for B, e an deal whch s somorphc to a canoncal module for B We start by computng a canoncal module as a cokernel of a certan matrx M, say B n /V In order to fnd an deal somorphc to t, we look for a vector w such V s the kernel of w : B n B gven by multplcaton by w on the left An ad-hoc way to fnd such w s to look among the generators of the module of syzyges of the rows of V Therefore let B be genercally Gorensten and assume Ω B Let Ω be the premage of Ω n A; then the followng B-module s well defned: J [p e] : J Ω [pe] : Ω 3 U e = J [pe ] Snce A s Noetheran, U e s a fntely generated A-module and B-module For every prme deal p A wrte H p = H dm B p B p It follows from Theorem 12 that the p B p A-module F e H p consstng of the Frobenus maps on H p s of the form: F e H p = J [pe ]  p : JÂp J [pe ]  p Ω [pe ]  p : ΩÂp and consequently F e H p = U e  p Snce F e H p s generated by one element by Theorem 8, U e  p s prncpal as well From Corollary 17 wth M = U e t follows that for every prme deal p SpecA = G there exsts an such that p G and the A-module U e  p s generated by one element whch s precsely the mage of g Wth the notaton above, we prove our man result Theorem 18 For every e, the set B e = {p SpecA HSLH p < e} s Zarsk open Proof Let u 1,,u s be a set of generators for U e and wrte Defne G = {p SpecA U e  p s generated by u 1 } Ω,e = I eu νe Ω I e+1 u νe+1 Ω

10 10 SERENA MURRU then t follows from Proposton 7 that for every prme deal p I e ū νe Ω p I e+1 ū νe+1 Ω p = Ω,e p Note that for every = 1,,s the set SuppΩ,e C = { p Ω,e p } = 0 s open If p s such that HSLH p < e then p G for some ; we can then use ū to compute Ω,e and Ω,e p = 0 e p SuppΩ,e C ; therefore p SuppΩ,e C G Vceversa, let p SuppΩ,e C G then p SuppΩj,e C G j for some j Compute HSLH p usng u j Snce p SuppΩ j,e C then concluson {p SpecA HSLH p < e} = Ωj,e = 0 and so HSLH p < e In p SuppΩ,e C G and therefore B e s Zarsk open Corollary 19 The ndex of nlpotency s bounded For e = 1 we have the followng Corollary 20 The F-njectve locus of the top local cohomology of a quotent of a polynomal rng s open 6 The Computaton of the HSL Loc In the case where a rng S = R/I of postve characterstcp s a Cohen-Macaulaydoman we have an explct algorthm to compute the F-njectve locus B e of S for every postve nteger e Usng the same notaton as n Theorem 18 we have that B e = s =1 SuppΩ,e C G Because SuppΩ,e = VAnn R Ω,e and the sets G are of the form VK c for some deals K 1,,K s R, we can then wrte B e as VAnn R Ω,e c VK c = VAnn R Ω,e VK c = VAnn R Ω,e K c = c VAnn R Ω,e K = [ ] c V Ann R Ω,e K

11 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 11 Therefore, gven a postve nteger e and a Cohen-Macaulay doman S, an algorthm to fnd the locus B e can be descrbed as follows 1 Compute a canoncal module for S, then fnd an deal Ω S whch s somorphc to t 2 Fnd the R-module of the Frobenus maps on H d ms S defned n 3 as U e = I [p e] : I Ω [pe] : Ω I [pe ] as the cokernel of a matrx X Mat s,t A 3 Fnd the generators u 1,,u s of U e 4 Compute the deals K s of the s 1 s 1-mnors of X 5 For every generator u, compute the deal Ω,e = I e u νe 6 Compute B e as [V Ann RΩ,e K ] c Ω/I e+1u νe+1 We now make use of the algorthm above to compute the loc n an example The algorthm has been mplemented n Macaulay2 Example 21 Let R be the polynomal rng Z 2 [x 1,,x 5 ] and let I be the deal I = x 2 2+x 1 x 3,x 1 x 2 x 2 4+x 3 3x 5,x 2 1x 2 4+x 2 x 2 3x 5 The quotent rng S = R/I s a doman because I s prme and t s Cohen-Macaulay of type 2 so t s not Gorensten A canoncal module for S s gven by Ext dmr dms S,R and can be produced as the cokernel of the matrx x 2 x 1 x 2 3 x 5 x 3 x 2 x 1 x 2 4 whchssomorphctoandealωwhchsthemagens ofthedealx 2,x 1,x 2 2 +x 1x 3,x 1 x 2 x x 3 3x 5,x 2 1x 2 4 +x 2 x 2 3x 5 n R The R-module U e of the Frobenus maps on H d ms S turns out to be gven by the cokernel of the one-row matrx X = x 2 2 +x 1x 3 x 1 x 2 x 2 4 +x3 3 x 5 x 2 1 x2 4 +x 2x 2 3 x 5 whose generator s u = x 2 1 x2 2 x2 4 + x3 1 x 3x x3 2 x2 3 x 5 + x 1 x 2 x 3 3 x 5 Snce X has only one row then the computaton of B e reduces to B e = [ VAnn R Ω e ] c It turns out that I 1 u ν1 Ω = x 1 x 4,x 2 x 3,x 1 x 3,x 3 3x 5,x x 1 x 3,x 1 x 2 x x 3 3x 5,x 2 1x x 2 x 2 3x 5, I 2 u ν2 Ω = x 1 x 4,x 2 x 3,x 1 x 2 x 4,x 2 1 x 4,x 3 3 x 5,x 2 2 +x 1x 3,x 1 x 2 x 2 4 +x3 3 x 5,x 2 1 x2 4 +x 2x 2 3 x 5 = I 3 u ν3 Ω Consequently, beng Ω 0 = Ω I 1u ν 1Ω and Ω 1 = I1uν 1Ω I 2u ν 2Ω, we have B 0 = Vx 3,x 2 x 4,x 1 x 4,x 2 2 c = Vx 1,x 2,x 3 c Vx 2,x 3,x 4 c, B 1 = Vx 1,x 2,x 3 c and B e = V1 c for every e > 1 In other words, the HSL-number can be at the most 2 More precsely, f we localse S at a prme that does not contan the prme deal x 3,x 2 x 4,x 1 x 4,x 2 2 then we get an F-njectve module Outsde x 1,x 2,x 3 the HSL-number s less or equal to 1; On Vx 1,x 2,x 3 the HSL number s exactly 2 Ω

12 12 SERENA MURRU 7 Test Exponents for Frobenus Closures and HSL Numbers Let S be a rng of characterstc p and J S an deal Defnton 22 The Frobenus closure of J s the deal { } J F = a S a pe J [pe] for some e > 0 Note that f a pē J [pē] then a pe J [pe] for every e > ē Let g 1, g n be a set of generators for J F For each generator g let e be the nteger such that g pe J pe If we then choose ē = max{e 1,,e n } then J F [pē] J [pē] We say that ē s a test exponent for the Frobenus closure of J Wth the notaton ntroduced n Secton 1, we have the followng Theorem 23 [8, Theorem 25] Let S, m be a local, Cohen-Macaulay rng and let x = x 1,,x d be a system of parameters Then the test exponent for the deal x s ē = HSLH d mss Proof S H d ms S = lm t x x 1 x n x 1 x n S x 1 x n x t has a natural Frobenus acton T whch we can defne on a generc element of the drect lmt as T[a+x t ] = a p +x pt Therefore a pe x pe f and only f T e [a+x t ] = 0 e [a+x t ] s nlpotent and we can take ē = HSLH d mss Corollary 24 Let S be the quotent of a polynomal rng and let ǫ be the bound for {HSLH dms m S m s maxmal} If J S s locally a parameter deal e for every maxmal deal m J, J m s a parameter deal then J F [pǫ] = J pǫ Acknowledgements The author s very grateful to her supervsor Moty Katzman for the helpful dscussons about the problem References [1] M Blckle, M Mustatǎ, K E Smth, Dscreteness and ratonalty of F-thresholds, Mchgan Math J , pp43 61 [2] W Bruns, J Herzog, Cohen-Macaulay rngs, Cambrdge Studes n Advanced Mathematcs 39, Cambrdge Unversty Press 1993 [3] M P Brodmann, R Y Sharp, Local Cohomology: an algebrac ntroducton wth geometrc applcatons Cambrdge Studes n Advanced Mathematcs 60, Cambrdge Unversty Press 1998 [4] D R Grayson and M E Stllman Macaulay 2, a software system for research n algebrac geometry, avalable at [5] R Hartshorne, R Speser, Local cohomology dmenson n characterstc p Ann of Math , pp45 79

13 ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS 13 [6] M Hochster, Some fnteness propertes of Lyubeznk s F-modules, 2008 [7] M Katzman, Parameter test deals of Cohen Macaulay rngs Compos Math , [8] M Katzman and R Y Sharp, Unform behavour of the Frobenus closures of deals generated by regular sequences, J Algebra , no 1, MR :13007 [9] G Lyubeznk, F-modules: applcatons to local cohomology and D-modules n characterstc p > 0, Jfd rene u angew Math , MR 99c:13005 [10] L Lynch, Annhlators of local cohomology modules Comm Algebra, , [11] G Lyubeznk, K E Smth, On the commutaton of the test deal wth localzaton and completon, Transactons of the AMS , no 8, [12] Lnquan Ma Fnteness property of local cohomology for F-pure local rngs, 2012 arxv: [mathac] Department of Pure Mathematcs, Unversty of Sheffeld, Hcks Buldng, Sheffeld S3 7RH, Unted Kngdom E-mal address: pmp11sm@sheffeldacuk