arxiv: v1 [math.ac] 15 Jan 2018

Transcription

1 NOTES ON THE FROBENUS TEST EXPONENTS DUONG TH HUONG AND PHAM HUNG QUY arxv: v1 [math.ac] 15 Jan 2018 Abstract. n ths paper we show that the Frobenus test exponent for parameter deals of a local rng of prme characterstc s always bgger than or equal to ts Hartshorne-Speser- Lyubeznk number. Our argument s based on an somorphsm of Nagel and Schenzel on local cohomology that we wll provde an elementary proof. 1. ntroducton LetRbeaNoetherancommutatverngofprmecharacterstcp > 0,and anddealofr. The Frobenus closure of s F = {x x pe [pe] for some e 0}, where [pe] = (r pe r ) s the e-th Frobenus power of. t s hard to compute F. By the Noetherness of R there s an nteger e, dependng on, such that ( F ) [pe ] = [pe]. We call the smallest number e satsfyng the condton the Frobenus test exponent of, and denote by Fte(). t s natural to expect the exstence of a unform number e, dependng only on the rng R, such that, for every deal we have ( F ) [pe ] = [pe],.e. Fte() e for every deal. f we have a postve answer to ths queston, then two condtons x F and x [pe ] are equvalent. Ths gves n partcular a fnte test for the Frobenus closure. We call such a number e a Frobenus test exponent for the rng R. However, Brenner [2] gave two-dmensonal normal standard graded domans wth no Frobenus test exponent. n contrast, Katzman and Sharp [8] showed the exstence of a unform bound of Frobenus test exponent f we restrct on class of parameter deals n a Cohen-Macaulay local rng. For any local rng (R,m) we defne the Frobenus test exponent for parameter deals, denoted by F te(r), s the smallest nteger e such that(q F ) [pe] = q [pe] forevery parameter deal q ofr, andfte(r) = fwe have nosuch nteger. Katzman and Sharp asked whether F te(r) < for any (equdmensonal) local rng. Furthermore, Huneke, Katzman, Sharp and Yao confrmed the queston for generalzed Cohen-Macaulay local rngs [7]. The man dea n [7, 8] s to connect the Frobenus test exponent wth an nvarant defned by the Frobenusactons onlocal cohomologyhm (R), the Hartshorne-Speser-Lyubeznk number of R. Recall that the Frobenus endomorphsm F : R R,x x p nduces the Frobenus actons on local cohomology Hm (R). Roughly speakng, the Hartshorne-Speser-Lyubeznk number of R, denoted by HSL(R), s an nlpotent ndex of Frobenus actons on Hm(R) for all 0 (see Secton 3 for the detals). Moreover, the Frobenus acton F : Hm (R) H m (R) s njectve for all 0 (n ths case, we say R s F-njectve) f and only f HSL(R) = 0. Key words and phrases. The Frobenus test exponent, The Hartshorne-Speser-Lyubeznk number, Local cohomology, Flter regular sequence Mathematcs Subject Classfcaton:13A35, 13D45. The second author s partally supported by a fund of Vetnam Natonal Foundaton for Scence and Technology Development (NAFOSTED) under grant number

2 2 DUONG TH HUONG AND PHAM HUNG QUY f R s Cohen-Macaulay, Katzman and Sharp proved the equalty F te(r) = HSL(R). The man result of the present paper as follows Theorem 1.1. Let (R,m) be a local rng of postve characterstc p > 0 of dmenson d. Then Fte(R) HSL(R). Our man technque s to analyze the local cohomology modules by flter regular sequence va the Nagel-Schenzel somorphsm (cf. [10, Proposton 3.4]). Then we can consder any local cohomology Hm (R) as a submodule of a top local cohomology whose Frobenus acton can be understood explctly. n the next secton, we wll gve a new and smple proof for Nagel-Schenzel s somorphsm. The man result wll be proved n Secton 3 (Theorem 3.4). We also prove that the Frobenus test exponent for parameter deals has a good behavor under localzaton (Proposton 3.5). 2. Nagel-Schenzel s somorphsm n ths secton, let R be a commutatve Noetheran rng, M a fntely genrated R-module and an deal of R. The noton of -flter regular sequences on M s an useful technque n study local cohomology. n [10, Proposton 3.4] Nagel and Schenzel proved the followng useful theorem (see also [1]). Theorem 2.1. Let be an deal of a Noetheran rng R and M a fntely generated R-module. Let x 1,...,x t an -flter regular sequence of M. Then we have { H(M) H = (x1,...,xt)(m) f < t H t (H(x t 1,...,x t) (M)) f t. The most mportant case of Theorem 2.1 s = t, and so H t(m) = H 0(Ht (x 1,...,x (M)) t) s a submodule of H(x t 1,...,x t) (M). Recently, many applcatons of ths fact have been found [4, 11, 12]. t should be noted that Nagel-Schenzel s theorem was proved by usng spectral sequence theory. The am of ths secton s to gve a smple proof for Theorem 2.1 based on standard arguments of local cohomology [3]. We recall the defnton and smple propertes of -flter regular sequences. Defnton 2.2. Let M be a fntely generated module R andlet x 1,...,x t beasequence of elements of R. Then we say that x 1,...,x t s a -flter regular sequence on M f the followng condtons hold: Supp ( ((x 1,...,x 1 )M : x )/(x 1,...,x 1 )M ) V() for all = 1,...,t, where V() denotes the set of prme deals contanng. Ths condton s equvalent to x / p for all p Ass R M/(x 1,...,x 1 )M \V() and for all = 1,...,t. n the case (R,m) s a local rng, we call an m-flter regular sequence of M smply by a flter regular sequence of M. Remark 2.3. t should be noted that for any t 1 we always can choose a -flter regular sequence x 1,...,x t on M. ndeed, by the prme avodance lemma we can choose x 1 and x 1 / p for all p Ass R M\V(). For > 1 assume that we have x 1,...,x 1, then we choose x and x / p for all p Ass R M/(x 1,...,x 1 )M \V() by the prme avodance lemma agan. For more detals, see [1, Secton 2].

3 FROBENUS TEST EXPONENTS 3 The -flter regular sequence can be seen as a generalzaton of the well-known noton of regular sequences (cf. [10, Proposton 2.2]). Lemma 2.4. A sequence x 1,...,x t s an -flter regular sequence on M f and only f for all p Spec(R)\V(), and for all t such that x 1,...,x p we have x 1 1,, xt s 1 an M p -sequence. Corollary 2.5. Let x 1,...,x t be an -flter regular sequence on M. Then H (x 1,...,x t) (M) s -torson for all < t. Proof. For each p Spec(R) \ V() we have ether (x 1,...x t )R p = R p or x 1,...,x t s an M p -regular sequence by Lemma 2.4. For the frst case we have for all 0. For the second case we have (H (x 1,...,x t)(m)) p = H (x1,...,x t)r p (M p ) = 0 (H (x 1,...,x t) (M)) p = H (x 1,...,x t)r p (M p ) = 0 for all < t by the Grothendeck vanshng theorem [3, Theorem 6.2.7]. Therefore we have (H(x 1,...,x (M)) t) p = 0 for all < t and for all p Spec(R)\V(). So H(x 1,...,x t) (M) s -torson for all < t. t s well-known that local cohomology H(x 1,...,x t) (M) agrees wth the -th cohomology of the Čech complex wth respect to the sequence x 1,...,x t 0 M d0 M x d 1 <j M x x j d 2 dt 1 M x1...x t 0. ( ) The followng smple fact plays an mportant role n our proof. Lemma 2.6. Let x be any element of R. Then H (M x) = 0 for all 0. Proof. Obvously, the multplcaton map M x x M x s an somorphsm. t nduces somorphsm maps H (M x) x H (M x) for all 0. But H (M x) s -torson, so t s (x)-torson snce x. Therefore H (M x) = 0 for all 0. We are ready to prove the theorem of Nagel and Schenzel. Proof of Theorem 2.1. We set (x) the deal generated by x 1,...,x t. Let C j the j-th chan of Čech complex ( ), and set L j := m(d j 1 ) and K j := Ker(d j ) for all 1. We splt the Čech complex ( ) nto short exact sequences (A 0 ) 0 H 0 (x) M L 1 0 (B 1 ) 0 L 1 K 1 H 1 (x) (M) 0 (A 1 ) 0 K 1 C 1 L 2 0 (B j ) 0 L j K j H j (x) (M) 0

4 4 DUONG TH HUONG AND PHAM HUNG QUY (A j ) 0 K j C j L j+1 0 (B t 1 ) 0 L t 1 K t 1 H t 1 (x) (M) 0 (A t 1 ) 0 K t 1 C t 1 L t 0 (B t ) 0 L t M x1...x t H t (x)(m) 0. By Lemma 2.6 we have H (C j) = 0 for all 0 and all j 1. Snce L j and K j are submodules of C j for all j 1, we have H 0(L j) = H 0(K j) = 0 for all 1. We also note that H j (x) (M) s -torson for all j < t by Lemma 2.5, so H0 (Hj (x) (M)) = Hj (x)(m) and H (Hj (x) (M)) = 0 for all j < t and for all 1. Now applyng the functor H ( ) to the short exact sequence (A 0) and usng the above observatons we have H(M) 0 = H(x)(M) 0 and (1) H (M) = H (L 1) for all 1. For each j = 1,...,t 1, applyng the local cohomology functor H ( ) to the short exact sequence (A j ) we have H 1(K j) = 0 and the somorphsm (C j ) H (L j+1 ) = H +1 (K j ) for all 1. Furthermore, f we apply H ( ) for the short exact sequence (B j), then we obtan the short exact sequence and the somorphsm 0 H j (x) (M) H1 (L j) H 1 (K j) 0, (D j ) H (L j ) = H (K j ) for all 2. Note that H 1 (K j) = 0 as above, so (2) H j (x) (M) = H 1 (L j ). We next show that H (M) = H(x) (M) for all = 1,...,t 1. ndeed, usng somorphsms (1),(2),(C j ) and (D j ) consecutvely, we have H (1) (M) = H (L 1 ) (D 1) = H (K 1 ) (C 1) = H 1 (L 2 ) (D 2) (C 1 ) = = H 1 (L ) (2) = H (x) (M). Therefore, we have showed the frst case of Nagel-Schenzel s somorphsm H (M) = H (x) (M) for all = 0,...,t 1. Fnally, for t by smlar arguments we have H (1) (M) = H (L 1 ) (D 1) = H (K 1) (C 1) = H 1 (L 2 ) (D 2) (C t 1 ) = = H t+1 (L t ). On the other hand, by applyng the functor H ( ) to the short exact sequence (B t) we have H t (H t (x)(m)) = H t+1 (L t )

5 FROBENUS TEST EXPONENTS 5 for all t. Thus H (M) = H t (H(x) t (M))for all t, and we fnsh the proof. Remark 2.7. Let = (x 1,...,x t ) be an deal of R. By usng mappng cone we can show that the cohomology of Čech complex C(x 1,...,x t ;M) s always -torson for any R-module M. The method of the above proof also provde a smple proof for the well-known fact H (M) = H ( C(x 1,...,x t ;M)) for all On the Frobenus test exponent for parameter deals n ths secton, let R be a Noetheran rng contanng a feld of characterstc p > 0. Let F : R R,x x p denote the Frobenus endomorphsm. f we want to notatonally dstngush the source and target of the e-th Frobenus endomorphsm F e : R x xp R, we wll use F e(r) to denote the target. Fe (R) s an R-bmodule, whch s the same as R as an abelan group and as a rght R-module, that acqures ts left R-module structure va the e-th Frobenus endomorphsm F e. By defnton the e-th Frobenus endomorphsm F e : R F e(r) sendng x to Fe ) = x F e (xpe (1) s an R-homomorphsm. Defnton 3.1 ([6]). Let be an deal of R we defne (1) The e-th Frobenus power of s [pe] = (x pe x ). (2) The Frobenus closure of, F = {x x pe [pe] for some e 0}. Remark 3.2. An element x F f t s contaned n the kernel of the composton R R/ d Fe R/ F (R) e for some e 0. Moreover, snce R s Noetheran, s fntely generated. Therefore there exsts an nteger e 0 such that for all e e 0. F = Ker(R R/ d Fe R/ F (R)) e By the above dscusson for every deal there s an nteger e (dependng on ) such that ( F ) [pe] = [pe]. A problem of Katzman and Sharp [8, ntroducton] asks n ts strongest form: does there exst a number e, dependng only on the rng R, such that, for every deal we have ( F ) [pe] = [pe]. A postve answer to ths queston, together wth the actual knowledge of a bound for e, would gve an algorthm to compute the Frobenus closure F. We call such a number e a Frobenus test exponent for the rng R. Unfortunately, Brenner [2] gave twodmensonal normal standard graded domans wth no Frobenus test exponent. n contrast, Katzman and Sharp showed the exstence of Frobenus test exponent f we restrct on class of parameter deals n a Cohen-Macaulay rng. t leads the followng queston. Queston 1. Let (R, m) be an (equdmensonal) local rng of prme characterstc p. Then does there exstan nteger e such thatfor everyparameter dealqof R we have(q F ) [pe] = q [pe]? We defnte the Frobenus test exponent for parameter deals of R, F te(r), the smallest nteger e satsfyng the above queston and Fte(R) = f we have no such e. Queston 1 has an affrmatve answer when R s generalzed Cohen-Macaulay by [7], and s wldly open n general. The the Frobenus test exponent for parameter deals s closely related e

6 6 DUONG TH HUONG AND PHAM HUNG QUY wth an nvarant defned n terms of Frobenus acton on local cohomology. For any deal = (x 1,...,x t ) local cohomology H (R) may be computed as the cohomology of the Čech complex t 0 R R x R x1...x t 0. =1 The Frobenus endomorphsm F : R R and ts localzatons nduce a natural Frobenus acton on local cohomology F : H (R) H (R) = H [p] (R) for all 0. There s a very useful way of descrbng the top local cohomology. t can be gven as the drect lmt of Koszul cohomologes H t (R) = lmr/(x n 1,...,xn t ), wth the map n the system ϕ n,m : R/(x n 1,...,xn t ) R/(xn 1,...,xn t ) s multplcaton by (x 1...x t ) m n for all m n. Then for each a H t (R), whch s the canoncal mage of a+(x n 1,...,xn t ), we fnd that F(a) s the canoncal mage of ap +(x pn 1,...,xpn t ). Notce that Hm(R) s always Artnan for all 0. Let A be an Artnan R-module wth a Frobenus acton F : A A. Then we defne the Frobenus closure 0 F A of the zero submodule of A s the submodule of A consstng all element z such that F e (z) = 0 for some e 0. 0 F A s the nlpotent part of A by the Frobenus acton. By [5, Proposton 1.11] and [9, Proposton 4.4] there exsts a non-negatve nteger e such that 0 F Fe A = Ker(A A) for all 0 (see also [13]). The smallest of such ntegers s called the Hartshorne-Speser-Lyubeznk number of A and denoted by HSL(A). We defne the Hartshorne-Speser-Lyubeznk number of a local rng (R,m) as follows 1 HSL(R) := mn{e 0 F Hm(R) = Ker(H Fe m (R) Hm (R)) for all = 0,...,d}. The HSL(R) s closely related wth the Frobenus test exponent of parameter deals (see [7, 8]). f R s Cohen-Macaulay, then Katman and Sharp [8] showed that Fte(R) s just HSL(R). n ths paper we wll show that Fte(R) HLS(R) for any local rng R. We need the followng result. Proposton 3.3. Let x 1,...,x t be a sequence of elements n R. Then we have 0 F H t (x) (R) = lm n (x n 1,...,xn t )F (x n 1,...,xn t). Proof. The Frobenus acton on H(x) t (R) s the drect lmt of the followng commutatve dagram: ϕ 1,2 R/(x) R/(x [2] ϕ 2,3 ) R/(x [3] ) F F F ( ) R/(x [p] ) ϕ p,2p R/(x [2p] ) ϕ 2p,3p R/(x [3p] ) 1 The Hartshorne-Speser-Lyubeznk number of R s often defned n terms only the top local cohomology module Hm d (R). However, we thnk that t should be defned by all local cohomology modules. Moreover, our s defnton s more sutable wth F-sngulartes. ndeed, t s clear that R s F-njectve f and only f HSL(R) = 0.

7 FROBENUS TEST EXPONENTS 7 where each vertcal map s the Frobenus. For each a (x n 1,...,x n t) F, t s clear that a+((x n 1,...,xn t )) maps to an element n 0F H t (R). Thus we have an njecton (x) lm n (x n 1,...,xn t )F (x n 1,...,x n t) 0F H t (x) (R). For the surjecton, let a be any element of 0 F H t (R). By the system ( ) there s an element (x) a R and an nteger n 1 such that a+(x n 1 1,...,xn 1 t ) maps to a. Let e be an nteger such that F e (a) = 0. Hence the mage of a pe +(x n 1p e 1,...,x n 1p e t ) s zero n the lmt. We can choose an nteger n 2 > n 1 such that ϕ n1 p e,n 2 p e(ape +(x n 1p e 1,...,x n 1p e t )) = 0 R/(x n 2p e 1,...,x n 2p e t ). Usng the commutatve dagram ( ) we have F e (ϕ n1,n 2 (a+(x n 1 1,...,x n 1 t ))) = ϕ n1 p e,n 2 p e(fe (a+(x n 1 1,...,x n 1 t ))) = 0. Therefore ϕ n1,n 2 (a+(x n 1 1,...,x n 1 t )) (x n 2 1,...,x n 2 t ) F /(x n 2 1,...,x n 2 t ). Moreover ths element maps to a. Ths completes the proof. Theorem 3.4. Let (R,m) be a local rng of postve characterstc p > 0 of dmenson d. Then Fte(R) HSL(R). Proof. There s nothng to do f Fte(R) =. Therefore we can assume henceforth that Fte(R) = e 0 a fnte number. By the prme avodance theorem we can choose a system of parameters x 1,...,x d of R that s also a flter regular sequence. For all t d and all n 1 we have ((x n 1,...,xn t )F ) [pe 0] ((x n 1,...,xn t,xm t+1,...,xm d )F ) [pe 0] m 1 = (x n 1,...,xn t,xm t+1,...,xm 0] d )[pe m 1 = (x n 1,...,xn t )[pe 0], where the frst equaton follows from the defnton of Frobenus test exponent, and the second equaton follows from Krull s ntersecton theorem. Hence ((x n 1,...,x n t) F ) [pe 0] = (x n 1,...,x n t) [pe 0] for all t d and for all n 1. By Proposton 3.3 we have 0 F H t (x 1,...,x t ) (R) = lm n (x n 1,...,x n t) F (x n 1,...,x n t). Followng the above observaton we have (x n 1,...,xn t )F F e (xnpe0 0 1,...,x npe 0 t ) F (x n 1,...,xn t) (x npe 0 1,...,x npe 0 t ) s the zero map for all n 1 and for all t d, and so are the lmt maps. Therefore F e 0 (0 F H(x t (R)) = 0 for all t d, that s HSL(R) e 0. 1,...,x t ) The proof s complete.

8 8 DUONG TH HUONG AND PHAM HUNG QUY We next show that the Frobenus test exponent has good behavor under localzaton. Proposton 3.5. Let (R,m) be a local rng of postve characterstc p > 0 of dmenson d. Then Fte(R) Fte(R p ) for all p Spec(R). Proof. WecanassumethatFte(R) = e 0 afntenumber. Lett = ht(p),and = (a 1,...,a t )R p any parameter deal of R p. Followng the proof of [12, Proposton 6.9] we can choose a part of system of parameters x 1,...,x t of R such that = (x 1,...,x t )R p. Extend x 1,...,x t to a full system of parameters x 1,...,x d of R. We have ((x 1,...,x t ) F ) [pe 0] ((x 1,...,x t,x m t+1,...,x m d ) F ) [pe 0] m 1 = (x 1,...,x t,x m t+1,...,xm 0] d )[pe m 1 = (x 1,...,x t ) [pe 0]. Thus ((x 1,...,x t ) F ) [pe 0] = (x 1,...,x t ) [pe 0]. Snce Frobenus closure commutes wth localzaton (see [12, Lemma 3.3]) we have ( F ) [pe 0] = (((x 1,...,x t )R p ) F ) [pe 0] = ((x 1,...,x t ) F R p ) [pe 0] = ((x 1,...,x t ) F ) [pe 0] R p = (x 1,...,x t ) [pe 0] R p = [pe 0]. Therefore Fte(R p ) e 0. The proof s complete. Recall the a fucton f : X R { }, where X s a topologcal space, s called upper sem-contnous f for any t R { } we have {x f(x) < t} s an open set of X. We close ths note wth the followng natural queston. Queston 2. s the functon Fte : Spec(R) R { },p Fte(R p ), upper semcontnuous? References [1] J. Asadollah and P. Schenzel, Some results on assocated prmes of local cohomology modules, Japanese J. Mathematcs 29 (2003), [2] H. Brenner, Bounds for test exponents, Compos. Math. 142 (2006), [3] M. Brodmann and R.Y. Sharp, Local cohomology: an algebrac ntroducton wth geometrc applcatons, Cambrdge Unversty Press, [4] H. Dao and P.H. Quy, On the assocated prmes of local cohomology, Nagoya Math. J., to appear. [5] R. Hartshorne and R. Speser, Local cohomologcal dmenson n characterstcp, Ann. of Math. 105 (1977), [6] C. Huneke, Tght closure and ts applcatons, CBMS Lecture Notes n Mathematcs, Vol.88, Amer. Math. Soc., Provdence, (1996). [7] C. Huneke, M. Katzman, R.Y. Sharp and Y. Yao, Frobenus test exponents for parameter deals n generalzed Cohen-Macaulay local rngs, J. Algebra 305 (2006),

9 FROBENUS TEST EXPONENTS 9 [8] M. Katzman and R.Y. Sharp, Unform behavour of the Frobenus closures of deals generated by regular sequences, J. Algebra 295 (2006) [9] G. Lyubeznk, F-modules: applcatons to local cohomology and D-modules n characterstc p > 0, J. rene angew. Math. 491 (1997), [10] U. Nagel and P. Schenzel, Cohomologcal annhlators and Castelnuovo-Mumford regularty, n Commutatve algebra: Syzyges, multplctes, and bratonal algebra, Contemp. Math. 159 (1994), Amer. Math. Soc. Provdence, R.., [11] T. Polstra and P.H. Quy, On the nlpotence of Frobenus actons on local cohomology and Frobenus closure of deals, preprnt. [12] P.H. Quy and K. Shmomoto, F-njectvty and Frobenus closure of deals n Noetheran rngs of characterstc p > 0, Adv. Math. 313 (2017), [13] R.Y. Sharp, On the Hartshorne-Speser-Lyubeznk theorem about Artnan modules wth a Frobenus acton, Proc. Amer. Math. Soc. 135 (2007), Department of Mathematcs, Thang Long Unversty, Hano, Vetnam E-mal address: duonghuongtlu@gmal.com Department of Mathematcs, FPT Unversty Ha No, and Thang Long nsttute of Mathematcs and Appled Scences, Thang Long Unversty Ha No, Vetnam E-mal address: quyph@fe.edu.vn