arxiv: v1 [math.ag] 7 Nov 2008

Transcription

1 A Smpson correspondence n postve characterstc Mchel Gros, Bernard Le Stum & Adolfo Qurós November 10, 2008 arv: v1 [math.ag] 7 Nov 2008 Contents 1 Usual dvded powers 2 2 Hgher dvded powers 4 3 The p m -curvature map 6 4 Lftng the p m -curvature 11 5 Hggs modules 19 6 Informal complements 23 Introducton The frst two authors had the opportunty to partcpate n a workng group n Rennes dedcated to the work of Arthur Ogus and Vadm Vologodsky on non abelan Hodge theory, whch s now publshed n [8]. Ths s an analog n postve characterstc p of Smpson s correspondence over the complex numbers between local systems and a certan type of holomorphc vector bundles that he called Hggs bundles ([9]). Actually, Perre Berthelot had prevous results related to these questons and he used ths opportunty to explan them to us. What we want to do here s to extend these results to dfferental operators of hgher level. In the future, we wsh to lft the theory modulo some power of p and compare to Faltngs-Smpson p-adc correspondence ([4]). We would also lke to menton some other papers related to our nvestgaton. Frst, there s an artcle [6] by Masaharu Kaneda where he proves the (sem-lnear) Azumaya nature of the rng of dfferental operators of hgher level, generalzng the result of [3]. Also, Marus van der Put n [10] studes the (lnear) Azumaya nature of dfferental operators n the context of dfferental felds. A. Q. was partally supported by Project GALAR (MTM ) from MEC (Span) and by the jont Madrd Regon-UAM project TENU2 (CCG07-UAM/ESP-1814). 1

2 We wll frst recall, n sectons 1 and 2, n an nformal way the noton of dvded powers of hgher level and how ths leads, usng some dualty, to arthmetc dfferental operators. Then, n secton 3, we wll defne the noton of p m -curvature and show that Kaneda s somorphsm stll holds over an arbtrary bass. Next, n secton 4, we assume that there exsts a strong lftng of Frobenus mod p 2 and use t to lft the dvded Frobenus and derve a Frobenus map on the rng of dfferental operators of level m. Actually, we can do better and prove n Theorem 4.13 that ths data determnes a splttng of a central completon of ths rng. It s then rather formal, n secton 5, to obtan a Smpson correspondence and we can even gve some explct formulas. We fnsh the artcle, n secton 6, wth a seres of complements concernng compatblty wth other theores. Acknowledgments Many thanks to Perre Berthelot who explaned us the level zero case and helped us understand some trcky constructons. Conventons We let p be a prme and m N. Actually, we are nterested n the m-th power of p. When m = 0, we have p m = 1 whch s therefore ndependent of p. We may also consder the case m = n whch case we wll wrte p m = 0. Agan, ths s ndependent of p. Unless m = 0 or m =, all schemes are assumed to be Z (p) -schemes. We use standard multndex notatons, hopng that everythng wll be clear from the context. 1 Usual dvded powers It seems useful to brefly recall here some basc results on usual dvded powers that we wll need afterwards. There s nothng new but we hope that t makes the next sectons easer to read wthout referrng to older artcles. The man pont n ths secton s to clarfy the dualty between dvded powers and regular powers. Let R be a commutatve rng (n a topos). Defnton 1.1 A dvded power structure on an deal I n a commutatve R-algebra A s a famly of maps I A f f [k] that behave lke f fk k!. We then say that I s a dvded power deal or that A s a dvded power R-algebra. We wll not lst all the requred propertes. Note however that we always have ( ) k + l f [k] f [l] = f [k+l]. k 2

3 Theorem 1.2 The functor A I from dvded power R-algebras to R-modules has a left adjont M Γ M. Proof : See for example, Theorem 3.9 of [2]. Actually Γ M s a graded algebra wth dvded power deal Γ >0 M. Not also that Γ M s generated as R-algebra by all the s [k] for s M. For example, f M s free on {s λ,λ Λ}, then Γ k M s free on the s [k] := s [k λ] λ wth k := k λ = k. Moreover, multplcaton s gven by the general formula for dvded powers recalled above. Defnton 1.3 If M s an R-module, the rng Γ M s called the dvded power algebra on M. If M s an R-module, we wll denote by S M the symmetrc algebra on M and by ˇM the dual of M. Also, we wll denote by Ŝ M the completon of S M along S >0 M. Proposton 1.4 If M s an R-module, there exsts a canoncal parng S ˇM Γ M R (ϕ 1 ϕ n,s [n] ) ϕ 1 (s) ϕ n (s) gvng rse to perfect dualty at each step when M s locally free of fnte type. Proof : See for example, Proposton A.10 of [2]). The general formula for ths parng s qute nvolved but f {s λ,λ Λ} s a fnte bass for M, and {š λ,λ Λ} denotes the dual bass, then the dual bass to {š k } s nothng else but {s [k] }. Corollary 1.5 If M a locally free R-module of fnte type, we have a perfect parng S ˇM Γ M R. Of course, there exsts also a natural map S M Γ M but t s not njectve n general: f p N+1 = 0 on, then f pn p n f [pn] = 0 for n > N. Proposton 1.6 If M s an R-module, multplcaton on S ˇM s dual to the dagonal map Γ M δ Γ (M M) s [k] Γ M Γ M +j=k s[] s [j] Proof : The pont s to show that (ϕ 1 ϕ ψ 1 ψ j ) δ acts lke ϕ 1 ϕ ψ 1 ψ j on s [k] when k = + j. And ths s clear. 3

4 2 Hgher dvded powers We quckly recall the defnton of Berthelot s dvded powers of level m and how one derves the noton of dfferental operators of hgher level from them (see [1] for a detaled exposton). We stck to a geometrc stuaton. Defnton 2.1 Let Y be an mmerson of schemes defned by an deal I. A dvded power structure of level m on I s a dvded power deal J O Y such that I (pm) + pi J I. Here, I (pm) denotes the deal generated by p m -th powers of elements of I. It s then possble to defne partal dvded powers on I : they are maps I f A f {k} that behave lke f fk k q! where q s the ntegral part of p. Actually, f k = qp m + r and m f I, one sets f {k} := f r (f pm ) [q]. We have, as above, a multplcaton formula (wrtng q k nstead of q n order to take nto account the dependence on k): { } { } k + l k + l f {k} f {l} = f {k+l} where = q k+l! k k q k!q l!. When m = 0, we must have J = I and f {k} = f [k] s the above dvded power. When m =, the condton reduces to pj I J and we may always choose J = I snce pi has dvded powers. Also, n ths case, f {k} = f k s just the usual power. We fx a (formal) scheme S wth a dvded power structure of level m on some deal of O S and we assume that all constructons below are made over S and are compatble wth the dvded powers on S n a sense that we do not want to make precse here (see [1] for detals). Actually, n the case of a regular mmerson, the dvded power envelope defned below does not depend on S and ths apples n partcular to the dagonal embeddng of a smooth S-scheme. Proposton 2.2 If an mmerson Y has dvded powers of level m, there s a fnest (decreasng) rng fltraton I {n} such that I {1} = I and such that f {h} I {nh} whenever f I {n}. Proof : See Proposton of [1]. Proposton 2.3 The functor that forgets the dvded power structure on an mmerson Y has a left adjont P m (Y ). Proof : See proposton of [1]. 4

5 Defnton 2.4 If Y s an mmerson of schemes, then P m (Y ) s called the dvded power envelope of level m of n Y. We wll denote by P m (Y ) the structural sheaf of P m (Y ) and by I m (Y ) the dvded power deal of level m. We wll also need to consder the usual dvded power deal J m (Y ) (n [1], these deals are denoted by I and Ĩ f I denotes the deal that defnes the mmerson). For each n, we wll denote by Pm n (Y ) the subscheme defned by I{n+1} m (Y ) and consder ts structural sheaf Pm n (Y ) = P m(y )/I {n+1} m (Y ). We wll manly be concerned wth dagonal mmersons S, and we wll then wrte P m, P m, I m, J m,p n m and Pn m respectvely. If we are gven local coordnates t 1,...,t r on /S, the deal I of the dagonal mmerson s generated by the τ = 1 t t 1. We always mplctly use the frst projecton as structural map and therefore wrte t 1 = t and 1 t = t + τ. When m = 0, P m s nothng but the dvded power algebra on the free O -module on the generators τ 1,...,τ r. Of course, for m =, ths s just the symmetrc algebra. In general, we obtan O τ 1,...,τ r := { fnte f τ {}, f O } wth multplcaton gven by the general formula for dvded powers of level m recalled above. Defnton 2.5 If s an S-scheme, the dual to Pm n operators of level m and order at most n and D operators of level m on /S. There s a composton law on D s the sheaf D,n = nd,n of dfferental s the sheaf of dfferental that comes by dualty from the morphsm When /S s smooth, ths turns D Locally, we see that P m δ P m P m a b (a 1) (1 b). nto a non commutatve rng. D = { fnte f <>, f O } where <> s the dual bass to τ {} and multplcaton on dfferentals s gven by ( ) k+l k + l k + l <k> <l> = <k+l> k wth = }. k k { k+l k We also have <k> f = k { } k <> (f) <k >. 5

6 In ths last formula, we mplctly make D act on O. Ths s formally obtaned as follows: a dfferental operator of order n s nothng but a lnear map P : Pm n O and we compose t on the left wth the map nduced by the second projecton p 2 : O Pm n. For example, f we work locally, then t h s sent by p 2 to (t + τ) h = ( ) h t h k τ k = ( ) h q k! t h k τ {k} k k k k and therefore, ( ) h <k> (t h ) = q k! t h k. k Fnally, note that D (0) s locally generated by 1,..., r and that D ( ) s Grothendeck s rng of dfferental operators. In general, when k < p m+1, t s convenent to defne [k] = <k> /q k! and note that D s locally generated by the ] [pl = <pl> for l m. In partcular, we see that the damond brackets notaton should not appear very often n practce. 3 The p m -curvature map We assume from now on that m. If s a scheme of characterstc p, we wll denote by F : the m + 1-st terate of ts Frobenus endomorphsm (gven by the dentty on and the map f f pm+1 on functons). Lemma 3.1 Let Y be an mmerson defned by an deal I. Then, the map composed wth the projecton s an F -lnear map that s zero on I 2. I P m (Y ) ϕ ϕ {pm+1}, P m (Y ) P m (Y )/IP m (Y ), Proof : If ϕ,ψ I, we have (ϕ + ψ) {pm+1} = ϕ {pm+1} + ψ {pm+1} + +j=p m+1,j>0 p m+1 ϕ {} ψ {j}. When 0 <,j < p m+1, we have q,q j < p and q! and q j! are therefore nvertble. It follows that the last part n the sum falls nsde I pm+1. In partcular, t s zero modulo IP m (Y ) and t follows that the composte map s addtve. Also, clearly, f f O and f ϕ I, then fϕ s sent to (fϕ) {pm+1} = f pm+1 ϕ {pm+1} = F (f)ϕ {pm+1}. 6

7 And we see that the map s F -lnear. Fnally, f ϕ,ψ I, then ϕψ s sent to (ϕψ) {pm+1} = ϕ pm+1 ψ {pm+1} IP m (Y ). For the rest of ths secton, we fx a base scheme S of characterstc p and we assume that s an S-scheme. We consder the usual commutatve dagram wth cartesan square (recall that here F denotes the m + 1-st teraton of Frobenus) F F S F S. If we apply Lemma 3.1 to the case of the dagonal embeddng of n S, we obtan, after lnearzng and snce F Ω1 = F Ω 1, an O -lnear map that we wll call dvded Frobenus. F Ω1 P m /IP m, We may now prove the level m verson of Mochzuk s theorem ([8], Proposton 1.7): Proposton 3.2 If s a smooth S-scheme, the dvded Frobenus extends unquely to an somorphsm of O -modules F Ω1 /S I mp pm+1 m /IPpm+1 m. Proof : From the dscusson above, t s clear that we have such a map. In order to show that ths s an somorphsm, we may assume that there are local coordnates t 1,...,t r on, pull them back as t 1,...,t r on and also set as usual τ := 1 t t 1. Then, our map s smply r =1 O dt r =1 O τ {pm+1 } dt Actually, we can do a lttle better. τ {pm+1 }. Proposton 3.3 If s a smooth S-scheme, then I {pm+1 } m IP m s stable under usual dvded powers. Moreover, the dvded Frobenus extends unquely to an somorphsm of dvded power O -algebras F Γ Ω 1 /S P m/ip m. Proof : The frst queston s local and we assume for the moment that t s solved. Then, by defnton of the dvded power algebra on a module, the above map F Ω1 P m/ip m extends unquely to a morphsm of dvded power algebras F Γ Ω 1 = Γ F Ω 1 P m/ip m. 7

8 Showng that t s an somorphsm s local agan. Thus, we assume that there are local coordnates t 1,...,t r on, we pull them back as t 1,...,t r on and we also set as usual τ := 1 t t 1. We have P m /IP m = O < τ 1,...,τ r > /(τ 1,...,τ r ) whch s therefore a free O -module wth bass τ {kpm+1}. The frst asserton easly follows. Moreover, our map s O < dt 1,...,dt r >(0) O < τ 1,...,τ r > /(τ 1,...,τ r ) dt τ {pm+1 }. And the left hand sde s the free O -module wth bass dt [k]. Our asserton s therefore a consequence of the frst part of Lemma 3.4 below. Lemma 3.4 In an deal wth partal dvded powers of level m, we always have 1. For any k N, and (kp)! (p!) k k! 1 + pz. (f {pm+1} ) [k] = (kp)! (p!) k k! f {kpm+1 } 2. If t = qp m + r wth q < p and r < p m, then ( ) kp + q f {kpm+1} f {t} = f {kpm+1 +t} q and ( kp+q) q 1 + pz. Proof : The frst asserton comes from the case m = 0 appled to f pm. And we may consder the formula (f [p] ) [k] = (kp)! (p!) k k! f[kp] as standard. Moreover, there exsts a product formula for the factor: k 1 (kp)! (p!) k k! = ( ) jp + p 1 p 1 j=1 and t s therefore suffcent to prove that each factor n ths product falls nto 1+pZ. We already know that they belong to Z and we have the product formula n Z (p) : ( ) p 1 jp + p 1 = (1 + j p 1 p). The second asserton s even easer and comes from { u } { kp f {u} f {t} = f {u+t} m+1 } ( ) + t kp + q and = = t t q =1 q (1 + k p). =1 8

9 Defnton 3.5 If s a smooth S-scheme, the p m -curvature map s the morphsm obtaned by dualty from the composte F S T D P m P m /IP m F Γ Ω 1 We have to be a lttle careful here : frst of all, we consder the nduced morphsms P [k] m F Γ kω 1, (wth usual dvded powers on P m ), and then we dualze to get and take the drect lmt on both sdes. F S k T D,k. Alternatvely, we may also call p m -curvature the adjont map We wll denote by Z the center of D S T F D. and by ZO the centralzer of O n D. Proposton 3.6 If s a smooth scheme over S, then the p m -curvature map nduces an somorphsm of O -algebras F S T ZO and an somorphsm of O -algebras S T F Z. Note that t wll formally follow from the defnton of the multplcaton n D and Proposton 1.6 that the p m -curvature map s a morphsm of algebras. More precsely, ths map s obtaned by dualty from a morphsm of coalgebras. However, we need a local descrpton n order to prove the rest of the proposton. Proof : Both questons are local and we may therefore use local coordnates t 1,...,t r, pull them back to t 1,...,t r on and denote by ξ 1,...,ξ r the correspondng bass of T. By constructon, the p m -curvature map s then gven by ξ k <kpm+1 >. It follows from Lemma 3.4 (and dualty) that <kpm+1 > = ( <pm+1 > and ths shows that we do have a morphsm of rngs, whch s clearly njectve because we have free modules on both sdes. The mage s the O -subalgebra generated by the and ths s exactly the center as Berthelot showed n Proposton of [1]. <pm+1 > The followng theorem s due to Masaharu Kaneda ([6], secton 2.3, see also [3] n the case m = 0) when S s the spectrum of an algebracally closed feld. ) k 9

10 Theorem 3.7 Let be a smooth scheme over a scheme S of postve characterstc p and F : the m + 1-st terate of the relatve Frobenus. Let D be the rng of dfferental operators of level m on /S and ZO the centralzer of O. Then, there s an somorphsm of ZO -algebras F F D f Q End ZO (D ) (P fpq). Proof : The queston s local and one easly sees that D /S s free as ZO -modules on the generators <k> wth k < p m+1. More precsely, ths follows agan from Lemma 3.4 that gves us, by dualty, <kpm+1 +t> = ( <pm+1 > ) k <t> when t < p m+1. It s then suffcent to compare bass on both sdes (see Kaneda s proof for the detals). For example, when m = 0, n the smplest case of an affne curve = SpecA wth coordnate t and correspondng dervaton, the frst powers 1,,..., p 1 form a bass of the rng of dfferental operators D and the map of the theorem sends k to for k = 0,...,p 1, and p to p I p. [ 0 p I k I p k 0 ] M p p (A[ p ]) Ths theorem s usually stated as provng the Azumaya nature of F D. More precsely, we can see F D as a sheaf of algebras on Ť = SpecS T SpecF Z and the above theorem provdes a trvalzaton of F D F : Ť Ť. along the Frobenus Proposton 3.8 Let be a smooth S-scheme. If we denote by K the two-sded deal of D generated by the mage of T under the pm -curvature map, there s an exact sequence 0 K D End O (O ) 0. Proof : Ths follows from [1], Proposton denote by Ẑ of ZO D We wll denote by the completon of D along the two-sded deal K. We wll also the completon of Z along Z and by ẐO the completon along ZO K K. Note that the pm -curvature map gves somorphsms F Ŝ T ẐO and Ŝ T F Ẑ. 10

11 Proposton 3.9 If s a smooth S-scheme, we have natural somorphsms Ẑ Z D D Hom O (P m, O ). Proof : The exstence of the frst map s clear and t formally follows from the defntons that t s an somorphsm. Now, note that the canoncal projectons P m Pm n nduce a compatble famly of maps D n = Hom O (P n m, O ) Hom O (P m, O ) from whch we derve a morphsm D Hom O (P m, O ). On the other hand, usng the somorphsm of Proposton 3.3 and the p m -curvature, the projecton P m P m /IP m dualzes to Ẑ Hom O (P m, O ). And by constructon, these two maps are compatble on Z Ẑ Z D Hom O (P m, O ). It s now a local queston to check that ths s an somorphsm. and nduce a map 4 Lftng the p m -curvature We wll prove here the Azumaya nature of the rng of dfferental operators of hgher level. In order to make t easer to read, we wll not always menton drect mages under Frobenus. Ths s not very serous because Frobenus maps are homeomorphsms and playng wth drect mage only mpacts the lnearty of the maps (and ths should be clear from the context). Defnton 4.1 If s a scheme of characterstc p, a lftng of modulo p 2 s a flat Z/p 2 Z-scheme such that = Z/p 2 Z F p. A lftng of a morphsm f : Y of schemes of characterstc p s a morphsm f : Ỹ between lftngs such that f = f Z/p 2 Z F p. We wll use the well known elementary result: Lemma 4.2 If M s a Z/p 2 Z-module, multplcaton by p! nduces a surjectve map whch s bjectve f M s flat. p! : M/pM pm Proof : Exercse. Note that p! = p mod p 2 and ths explans why mnus sgns wll appear n the formulas below. Actually, we wll need more fancy estmates : 11

12 Lemma 4.3 We have for any m > 0, ( ) p m+1 1 f = 0 or = p m+1 = ( 1) k p! f = kp m 0 otherwse mod p 2. Proof : Standard results on valuatons of factorals show that ( p m+1 v p ( ) ) = 0 f = 0 or = p m+1 1 f = kp m wth 0 < k < p > 1 otherwse and we are therefore reduced to showng that ( p m+1) kp m = ( 1) k p! mod p 2, or what s slghtly easer, that ( p m+1 ) 1 kp m = ( 1) k+1 mod p. 1 Frst of all, we can use Lucas congruences that gve ( p m+1 ) ( ) 1 p 1 kp m = 1 k 1 mod p, and then the bnomal property ( ) p 1 + k 1 n order to reduce to the case k = 1. ( ) ( ) p 1 p = = 0 mod p k 2 k 2 Up to the end of the secton, we let S be a scheme of characterstc p and denote by S a lftng of S (modulo p 2 as defned above). Defnton 4.4 If s an S-scheme, a strong lftng F : of the m+1-st teraton of Frobenus of s a morphsm that satsfes f = 1 f mod p F (f ) = f pm+1 + pg pm wth g O e. When m = 0, ths s nothng but a usual lftng but the condton s stronger n general. For example, the map t t 4 + 2t s not a strong lftng of the Frobenus on the affne lne when m = 1 and p = 2. However, the condton s usually satsfed n practce, especally when the lftng comes from a lftng of the absolute Frobenus as the next lemma shows. Lemma 4.5 If F : s a lftng of the true absolute Frobenus of, then for f O e, we have F m+1 (f) = f pm+1 + pg pm wth g O e. 12

13 Proof : By defnton, we can wrte F (f) = f p + pg wth g O e and we prove by nducton on m that F m+1 (f) = f pm+1 + pg pm. If we apply the rng homomorphsm F on both sdes of ths equalty, we get F m+2 (f) = F (f) pm+1 + p F (g) pm = (f p + pg) pm+1 + p(g p + ph) pm = f pm+2 + pg pm+1. Now, we fx a smooth S-scheme and let F : be a strong lftng of the m + 1-st teraton of the relatve Frobenus of. We wll denote by (resp. ) the fbered product over S and by Ĩ (resp. Ĩ ) the deal of n (resp. n ). Lemma 4.6 Assume that F (f ) = f pm+1 + pg pm wth g O e. Let ϕ = 1 f f 1, ϕ = 1 f f 1 and ψ = 1 g g 1. Then, the composte map F : Ĩ O e e e F e F O e e P e,m. sends ϕ to ( ) p 1 p! ϕ {pm+1} + ( 1) k f (p k)pm ϕ kpm ψ pm. k=1 Proof : We have (recall that p 2 = 0 on S) F (ϕ ) = 1 f pm+1 f pm pg pm pg pm 1 = ϕ pm+1 + We fnsh wth Lemma 4.3. p m+1 1 =1 ( p m+1 ) f pm+1 ϕ + pψ pm. Proposton 4.7 There s a well defned map 1 p! F : Ĩ pp e,m P e,m /pp e,m P,m that factors through Ω 1 and takes values nsde J m. Moreover, the nduced morphsm 1 p! F : Ω 1 P,m s a lftng of dvded Frobenus Ω 1 P,m/IP,m. 13

14 Proof : It follows from lemma 4.6 that the map s well defned: more precsely, we need to check that F sends Ĩ nsde pp e,m. By lnearty, t s suffcent to consder the acton on sectons ϕ as n the lemma. Now, snce F s a morphsm of rngs that sends Ĩ to zero modulo p, t s clear that 1 p! F wll send Ĩ 2 to 0. Thus, t factors through Ω 1 e. Actually, snce the target s klled by p, t even factors through Ω 1. And t falls nsde J m thanks to the frst part. Fnally, the last asserton follows agan from the explct descrpton of the map. Warnng : The quotent map P,m P,m /IP,m s not compatble wth the dvded power structures : τ pm s sent to 0 but (τ pm ) [p] = τ {pm+1 } s not. Proposton 4.8 The dvded Frobenus 1 p! F extends canoncally to a morphsm F Γ Ω 1 P,m. By dualty, we get a morphsm of O -modules Φ : D ẐO D. Proof : We saw n Proposton 4.7 that the morphsm 1 p! F takes values nto J,m and therefore extends to a morphsm of dvded power algebras Γ Ω 1 P,m that we can lnearze. Moreover, we saw n Proposton 3.4 that and we also have ẐO D Hom O (P m, O ) F Ŝ T F Hom O (Γ Ω 1, O ) Hom O (F Γ Ω 1, O ). Defnton 4.9 The morphsm Φ s called the Frobenus of D. We wll smply wrte Φ when s understood from the context but we mght also use Φ to ndcate the level. Note that Φ actually depends on the choce of the strong lftng F of F. Proposton 4.10 If we are gven local coordnates t 1,...,t r, then 1 f n = 0 Φ( n ) = 0 f 0 < n < p m r ] j=1 [pm ( F ( t j )) pm+1 j f n = p m 1. 1 p! Actually, f we have F ( t j ) = t j p m+1 + p g j p m, the thrd expresson can be rewrtten t (p 1)pm pm+1 r j=1 (g j ) pm pm+1 j. 14

15 Proof : The pont conssts n wrtng Φ( n ) n the topologcal O -bass kpm+1 of ẐO when n pm. By dualty, the coeffcent of kpm+1 n Φ( n ) s dentcal to the coeffcent of τ {n} n the mage of 1 (dt) [k] under the morphsm O O Γ Ω 1 P,m. Recall that ths s exactly ( F p! ( τ ) ) [k]. Snce we consder only the case n p m we may work modulo I {pm +1} on the rght. If we wrte F ( t j ) = t j p m+1 + p g j p m, we obtan 1 p! F ( τ j ) = 1 p! = t (p 1)pm j τ pm j r =1 s 0 s ( F ( t {s} j ))τ (g j ) pm τ pm mod I {pm +1}. Thus, we see that the only contrbutons wll come from the case k 1 and that, when k 0, the coeffcent of τ {n} s zero unless n = p m 1. Then, there are two cases, frst j n whch case, only 1 ( F ( t j )) = (g j ) pm ] p! [pm s left and the case = j where we obtan 1 ] p! [pm ( F ( t )) = t(p 1)pm (g ) pm. For example, when m = 0, n the case of the affne lne wth parameter t and dervaton, f we choose the usual lftng of Frobenus t t p, we obtan the smple formula Φ( ) = t p 1 p. Formulas are a lot more complcated n general but they become surprsngly nce when we stck to the usual generators of the center. Proposton 4.11 For all = 1,,r, we have Φ( pm+1 ) = pm+1 + Φ( pm ) p. Proof : As above, the coeffcent of kpm+1 n Φ( pm+1 ) s dentcal to the coeffcent of n τ {pm+1 } F p! ( τ ) [k] = ( r j=1 p 1 τ {pm+1 } j + f we wrte F ( t j ) = t j p m+1 + p g j p m. l=1 (1) l t (p l)pm j τ lpm j r l=1 l (g j ) pm τ pm l ) [kj ] 15

16 Thus, we see that the only contrbutons wll come from the cases k = 1 that gves τ {pm+1 } and k = p1 j that wll gve for all j plus the specal contrbuton ) [p] ( ) ( (g j ) pm τ pm p = (g j ) pm {p τ m+1 } ( t (p 1)pm τ pm of the case j =. In other words, we obtan Φ( pm+1 ) = pm+1 + ( t (p 1)pm ) [p] ) p = ( t (p 1)pm {p τ m+1 } ) p p m+2 + r j=1 ( (g j ) pm ) p p m+2 j. Our asserton therefore follows from the formulas n Proposton 4.10 because, thanks to Lemma 3.4, we have ( ) p p = m+2. pm+1 j Ths calculaton shows n partcular that Φ s not a morphsm of rngs. However, we wll see later on that the map nduced by Φ on the center s a morphsm of rngs so that the above formula fully descrbes ths map. We recall now the followng general result on Frobenus and dvded powers: Lemma 4.12 The canoncal map P m factors through f s seen as an -scheme va F. Actually, f we are gven local coordnates t 1,...,t r and we set τ := 1 t t 1, the correspondng map on sectons s the canoncal njecton O [τ]/(τ pm+1 ) O τ. Proof : In order to prove the frst asserton, the pont s to check that f f O, then 1 f pm+1 f pm+1 1 s sent to zero n P m. But we have 1 f pm+1 f pm+1 1 = p!(1 f f 1) {pm+1} = 0. Concernng the second asserton, we just have to verfy that O [τ]/(τ pm+1 ) O. Snce Frobenus s cartesan on étale maps ([5], IV, 1, Proposton 2), we may assume that = A r S, n whch case ths s clear. Our man theorem arrves now: Theorem 4.13 Let be a smooth scheme over a scheme S of postve characterstc p and F a strong lftng of the m + 1-st terate of the relatve Frobenus of. The dvded Frobenus extends canoncally to an somorphsm O O Γ Ω 1 P,m. By dualty, we obtan an somorphsm of O -algebras D j End Z b (ẐO ). 16

17 Proof : Thanks to lemma 4.12, we may extend by lnearty the morphsm of dvded power algebras Γ Ω 1 P,m and obtan O O Γ Ω 1 P,m. We now show that t s an somorphsm. Ths s a local queston and we may therefore fx some coordnates t 1,...,t r, call t 1,...,t r the correspondng coordnates on and as usual, set τ := 1 t t 1. It follows from proposton 4.7 that dt s sent to τ {pm+1 } +φ wth φ (τ (pm) )O [τ]/(τ pm+1 ). And we have to check that the dvded power morphsm of O [τ]/(τ pm+1 )-algebras O [τ]/(τ pm+1 ) dt (0) dt O τ τ {pm+1 } + φ. s bjectve. Ths s easy because we have free modules wth explct bass on both sdes. Now, we obtan our asserton by dualty. Usng the fact that s fnte flat over, so that O s locally free over O, we have the followng sequence of somorphsms Hom O (O O Γ Ω 1, O ) Hom O (Γ Ω 1, Hom O (O, O )) Hom O (Γ Ω 1, End O (O )) Hom O (Γ Ω 1, O ) O End O (O ) Ŝ T O End O (O ) EndŜ T (O O Ŝ T ). and we know that S T F Z. It remans to show that ths s a morphsm of rngs and we do that by provng that t comes by dualty from a morphsm of coalgebras. Actually, both morphsms O P,m and Γ Ω 1 P,m are compatble wth the coalgebra structures. We can be more precse: for the frst one, ths s because the comultplcaton s nduced on both sdes by the same formula f g f 1 g and for the second one, t s an mmedate consequence of the unversal property of dvded powers. Warnng: The somorphsm of the theorem s not a morphsm of Ẑ -algebras. However, we have the followng: (that de- Corollary 4.14 The morphsm Φ nduces an automorphsm of the rng Ẑ pends on the lftng of Frobenus). Proof : The somorphsm of rngs D End Z b (ẐO ). nduces an somorphsm on the centers whch s nothng but the map nduced by Φ. 17

18 Corollary 4.15 The sheaf ẐO P fq = Φ(Pf)Q, s a (left) D -module for the acton P (that agan depends on the lftng of Frobenus). D,f O,Q Ẑ Proof : Usng the fact that the acton s ẐO -lnear by defnton, we may assume that Q = 1. And snce the somorphsm D End Z b (ẐO ). s O -lnear on both sdes, we may assume that f = 1. We are therefore reduced to checkng that P 1 = Φ(P) whch follows from the defnton of the map. For example, when m = 0, n the case of the affne lne wth parameter t and dervaton and f we choose the usual lftng of Frobenus t t p, we have for k > 0, t k = kt k 1 t k t p 1 p = (k t p p )t k 1. Thus, f we use (1,t,...,t p 1 ) as a bass for k[t][[ p ]] on k[t p ][[ p ]], we see that acts as 0 t p p t p p + p 1 p 0 0 Warnng: Scalar restrcton to Ẑ natural acton of Ẑ. The last result shows that the acton of of the acton of D D on ẐO on ẐO s dfferent from the and the Frobenus of D com- -lnear and that pletely determne each other. For computatons, snce the acton s Ẑ D s generated by the operators of order at most pm, the followng result mght be useful. Proposton 4.16 If P D has order at most pm, and f O, then P f = P(f) + fφ(p). Proof : Ths s a local queston and we may therefore assume that we have local coordnates t 1,...,t r. By lnearty, t s suffcent to show that for n p m, we have n f = n (f) + fφ( n ). We proceed as n the proof of By defnton, the mage of (1 f) (dt) [k] under the morphsm O O Γ Ω 1 P,m. s exactly ( ) 1 [k] ǫ(f) p! F ( τ ) 18

19 where ǫ denotes the Taylor seres. The coeffcent of τ {n} n ths seres s the same as the coeffcent of {kpm+1} n n f. We may work modulo I {pm +1} on the rght and we know that, then, all coeffcents n ef p! ( τ ) are zero unless n = p m 1. Thus, we are left wth the case k = 0 that gves n (f) and the cases k = 1 that gves the dfferent summands of fφ( n ). Note that the formula s more complcated n hgher order: for example f s the affne lne over F 2, m = 0 and F s the usual lftng of Frobenus, we have 3 f = (f)φ( 2 ) + fφ( 3 ). 5 Hggs modules If u : Y s a morphsm of schemes, E s an O -module and s an O -lnear map, we wll wrte θ : E E O u Ω 1 Y θ (1) : E O u Ω 1 Y θ Id E O u Ω 1 Y O u Ω 1 Y Id E O u Ω 2 Y. Defnton 5.1 Let u : Y be a morphsm of schemes. Then, a Hggs u-module on s an O -module E, endowed wth an O -lnear map θ : E E O u Ω 1 Y such that θ (1) θ = 0. When u = Id, we say Hggs module on. When u = F s a (relatve terated) Frobenus morphsm, we say Hggs F-module on. Hggs u-modules form a category wth compatble O -lnear maps as morphsms. Exactly as modules wth ntegrable connectons may be seen as D-modules, we can nterpret the category of Hggs u-modules as a category of modules over a sutable rng. Proposton 5.2 Let u : Y be a morphsm of schemes wth Y smooth, and E an O -module endowed wth an O -lnear map θ : E E O u Ω 1 Y. Then, E s a Hggs u-module f and only f the dual acton u T Y E (ξ,s) E ξs extends to a structure of u S T Y -module. Ths s an equvalence of categores. Proof : Note frst that a structure of u S T Y -module s gven by a homomorphsm S u T Y = u S T Y End O (E) 19

20 of O -algebras. The unversal property of the symmetrc algebra tells us that ths s equvalent to a lnear map ρ : u T Y End O (E) satsfyng ρ(ξ) ρ(ξ ) = ρ(ξ ) ρ(ξ) whenever ξ,ξ T Y. Alternatvely, t corresponds to a blnear map u T Y E E (ξ,s) ξs satsfyng ξξ s = ξ ξs for ξ,ξ T Y and s E. And the correspondng map θ : E E O u Ω 1 Y. s gven n local coordnates by θ(s) = ξ s dx. Now, we compute θ (1) (θ(s)) = <j(ξ ξ j s ξ j ξ s) dx dx j. And we see that ths s zero f and only f we always have ξ ξ j s = ξ j ξ s. Ths s exactly the condton we were lookng for. Note that, gven a morphsm u : Y, there s an obvous pull-back morphsm u from Hggs modules on Y to Hggs u-modules on. There s also a restrcton map from Hggs u-modules on to Hggs modules on that has no nterest for us. Defnton 5.3 Let be a smooth scheme over a fxed scheme S of characterstc p and F the relatve m + 1-st terated Frobenus on. If E s a D -module, ts underlyng Hggs F-module s the one obtaned by restrcton along the p m -curvature map F S T D. Its p m -curvature s the correspondng O -lnear morphsm θ : E E O F Ω 1. Note that ths defnton of p m -curvature s consstent wth defnton of [7]. More precsely, havng p m -curvature equal to zero has the same meanng as n [7]. Note that, locally, by defnton, we have θ(s) = {pm+1 } (s) dt. Defnton Let A be a rng (n a topos) and I a left deal n A. An A-module E s quas-nlpotent f gven any secton s E, there exsts locally N N such that I N s = Let u : Y be a morphsm of schemes over some other scheme S. Then, a Hggs u-module E s quas-nlpotent f t s so as u S T Y -module (wth respect to ts augmentaton deal). 3. Let s a smooth scheme over a scheme S of characterstc p and E a D -module. Then E has quas-nlpotent p m -curvature f the underlyng Hggs F -module s quasnlpotent. 20

21 Proposton 5.5 Let be a smooth scheme over S of characterstc p and E a D - module. Then, the followng are equvalent: 1. E s quas-nlpotent (wth respect to the deal K ) 2. E s quas-nlpotent (n the sense of [1], secton 2.3) 3. E has quas-nlpotent p m -curvature. Proof : All the defntons are local n nature and we may therefore assume that we have local coordnates t 1,...,t r on. Then the frst and the thrd condtons both mean that, locally, we have ( pm+1 ) N (s) = 0 for N >> 0. Also, the second condton says that, locally agan, we have N (s) = 0 for N >> 0. Ths s equvalent to the frst one because we always have for t < p m+1, D kpm+1 +t = t ( pm+1 ) k. Note also that the categores of quas-nlpotent modules on a rng A and on ts completon  are dentcal. In partcular, we can always consder the category of quas-nlpotent -modules as a full subcategory of the category of D -module. In order to go further, we wll need the followng standard result: Lemma 5.6 Let R be a commutatve rng, M be a locally free R module of fnte rank, and A := End R (M). Then, the functors from A-modules to R-modules and are quas-nverse to each other. E Hom A (M, E) F M R F Proof : Ths follows from the fact that the canoncal maps and are both bjectve. M R Hom A (M, E) E F Hom A (M, M R F) We denote by a smooth scheme over a fxed scheme S of characterstc p and let F be the relatve m + 1-st terated Frobenus on. We also fx a lftng S of S modulo p 2 as well as a strong lftng F : of F over S. Assocated to F, we may consder the Frobenus Φ of D ntroduced n the prevous secton. Then, we have the followng. 21

22 Proposton 5.7 There s an equvalence of categores between modules gven by E (F E) 1 Φ and F F F. D -modules and Ŝ T - In order to understand ths statement, t s necessary to make precse the defnton of Frobenus nvarants : (F E) 1 Φ := {s E, P D,Φ(P)(s) = P(s)}. Proof : Usng lemma 5.6, t follows from Theorem 4.13 that there s an equvalence of categores between D -modules and F Ẑ -modules gven by and E F Hom bd (ẐO, E) F ẐO b Z We want to dentfy the rght hand sdes wth the expressons n the proposton. For the second one, ths s easy because F F F F Ẑ bz F. F ẐO bz In order to do the frst one, we frst check that the canoncal map Hom bd (ẐO, E) E ϕ ϕ(1) s njectve. If ϕ(1) = 0, then ϕ(f) = 0 for any f O by lnearty. Moreover, we have the followng ncluson Hom b D and t follows that ϕ = 0. (ẐO Now, f s E, we see that the correspondng map F., E) Hom bz (ẐO, E) Hom O (O, E) ϕ : ẐO fq E fq(s) D s -lnear f and only f (Φ(Pf)Q)(s) = P((fQ)(s)) for all P D, f O and Q Ẑ. We may assume that Q = 1 and f = 1 and ths shows that (F E) 1 Φ = F Hom bd (ẐO, E). Warnng: The nduced acton of Ẑ on ẐO compose wth the automorphsm nduced by Φ on Ẑ. s not the natural one: we need to We may now state the man theorem of ths secton (see [8], Theorem 2.8): 22

23 Theorem 5.8 Let be a smooth scheme over S of postve characterstc p. If there exsts a strong lftng of the m + 1-st terate of the relatve Frobenus of modulo p 2, then there s an equvalence of categores between quas-nlpotent D -modules and quas-nlpotent Hggs modules on gven by E (F E) 1 Φ and F F F. Proof : The functor F nduces an equvalence of categores between Z -modules and Hggs modules on. The theorem therefore follows from Proposton 5.7 snce quasnlpotency s clearly preserved under the equvalence. Warnng: Under ths equvalence, the p m -curvature of E s not obtaned as the smple pull-back of the Hggs structure of F along Frobenus, we also have to compose wth the automorphsm nduced by Φ on the center. Fnally, we can gve local formulas: Proposton 5.9 If we are gven local coordnates t 1,...,t r, and F s a Hggs module on wth r θ(s) = ξ s dt, then the D -structure of F F s gven by [pl ] (1 s) = Proof : Follows from proposton =1 { 0 f l < m 1 r ] p! j=1 [pm ( F ( t j )) ξ js f l = m. Unfortunately, t s much more complcated to recover F from E. 6 Informal complements 6.1 Lnearzng wth respect to the center As usual, denotes a smooth scheme over some scheme S of characterstc p and F s the relatve m + 1-st terated Frobenus on. We also fx a lftng S of S modulo p 2 as well as a strong lftng F : of F over S. Frst of all, t s mportant to notce that, n the followng commutatve dagram, where all maps are O -lnear, F Γ Ω 1 P,m F Γ Ω 1 P,m /IP,m, the dotted arrow s not the dentty although both horzontal arrows are defned by the same map 1 F p! on Ω 1 and are compatble wth dvded powers. Ths s because the left 23

24 arrow s not compatble wth dvded powers. However, one can show that the dotted arrow s bjectve (t s dual to the rng automorphsm nduced by Φ on ẐO - see below). Recall now that our Frobenus map Φ : D ẐO D nduces the dentty on O and a (non trval) rng automorphsm of Ẑ. In partcular, Φ restrcts to an automorphsm of ẐO and we wll abusvely denote by Φ 1 ts nverse. We may then compose Φ 1 on the rght wth Φ n order to obtan a modfed verson of Frobenus Φ : D that wll nduce the dentty on ẐO. Φ 1 ẐO ẐO D. Usng ths modfed Frobenus gves a twsted verson of our fundamental algebra somorphsm D End Z b (ẐO ) whch s now the dentty on the center Ẑ. The correspondng D -module structure s gven by a smlar formula P fq = Φ(Pf)Q. Ths twsted acton s gven by more complcated formulas but has the advantage to be a true Azumaya splttng for D. Of course, one can use ths twsted acton n order to obtan an equvalence between quas-nlpotent D -modules and Hggs modules on. Actually, Φ nduces an autoequvalence of the category of quas-nlpotent Hggs modules on and the twsted equvalence s obtaned by composton wth the old one. 6.2 van der Put s constructon Marus van der Put only deals wth dfferental operators of level zero and we wll therefore stck here to ths case and drop m from the notatons. He actually works n the theory of dfferental felds ([10], [11]) but the translaton nto our language s straghtforward. Also, we wll not follow hs notatons but only try to explan hs clever approach. We let be a curve over a perfect feld, wth a fxed coordnate t and denote as usual the correspondng dervaton by. It s mportant to note that van der Put works wth the twsted verson of the theory (see secton 6.1). The frst pont s to remark that the Azumaya nature of D s completely descrbed by the element H := Φ( ) ẐO. In what follows, we make D act on ẐO by extendng trvally the acton on O (va the somorphsm O O Ẑ ẐO ). Now, snce the twsted acton s the dentty on Ẑ, we must have p 1 = p and ths leads to the condton p 1 (H) + H p = p. Thus, van der Put s queston reduces to fndng such an element. He does t by successve approxmatons, lftng an acton on the quotent O (see [10], Lemma 1.6). The pont s to 24

25 notce that such an acton corresponds to an element h O such that p 1 (h) + h p = 0. In other words, he lfts the quotent somorphsm : D End (ẐO bz ) D /K End O (O ). We wll now check that he obtans exactly the map nduced by Φ f we can use t t p as lftng of Frobenus modulo p 2. Frst of all, we have Φ( ) = t p 1 p and Φ( p ) = p t p(p 1) p2. Snce Φ nduces a morphsm of rngs on ẐO, we also have for all k 0 from whch we derve Φ 1 ( p ) = Φ( pk ) = pk (t p 1 ) pk pk+1 (t p 1 ) pk 1 p 1 1 pk = k=1 Snce Φ s O -lnear, we can deduce H := Φ( ) = t p 1 Φ 1 ( p ) = t p(pk 1 1) pk. k=1 t (pk 1) pk. Ths s exactly the same (wth dfferent notatons) as Example of [10]. The reader can also look at the proof of theorem 13.5 of [11]). Note also that many examples are worked out n ths book. k=1 6.3 Workng before completon We keep the same notatons as n secton 6.1. It s not dffcult to see that the map Φ exsts before completon. One just has to be careful when dualzng. Ths s possble because we have explct local formulas. Thus, there s a well defned map Φ : D ZO D. Usng our local formulas agan, t s not dffcult ether to see that Φ sends Z nsde tself. But the nduced map need not be bjectve (n partcular, we cannot defne Φ before completon). For the same reasons, there exsts a morphsm of O -algebras at fnte level D End Z (ZO ). But agan, ths s not an somorphsm. However, ths map s sem-lnear wth respect to the endomorphsm Φ of Z and lnearzaton provdes an somorphsm Z տ Z D Φ End Z (ZO ). 25

26 Note that the fact that ths s an somorphsm follows from our prevous results because t s a morphsm of locally free Z -modules and that t s therefore suffcent to prove bjectvty after completng. The endomorphsm nduced by Φ on Z S T α : Ť Ť. corresponds to a morphsm We dd not check t n general, but t s lkely that α s surjectve étale and provdes an étale Azumaya splttng of D (see Proposton 2.5 (1) of [8] for the case m = 0). Fnally, we can pullback Hggs modules along Frobenus n order to get a D -module, but t becomes an equvalence only when restrctng to quas-nlpotent objects. 6.4 Glueng As before, denotes a smooth scheme over some scheme S of characterstc p and F s the relatve m + 1-st terated Frobenus on. We also fx a lftng S of S modulo p 2 as well as a lftng / S of /S. Assume for the moment that we are gven two strong lftngs F 1, F 2 : of F over S (we may always twst a lftng of and therefore assume that F 1 and F 2 have the same doman). Consderng local descrptons agan, one sees that the map nduces a dervaton and we obtan a natural O -lnear map F 2 F 1 : O e O e 1 p! ( F 2 F 1 ) : O O. u 12 = 1 p! ( F 2 F 1 ) : Ω 1 O. Moreover, f F3 s another strong lftng of F, we have (wth the obvous analogous notaton) u 13 = u 12 + u 23. The map u 12 extends to a morphsm of O -algebras S Ω 1 O and by lnearty to map F S Ω 1 O and we fnally embed nto F S Ω 1 n order to get an endomorphsm of the O -algebra F S Ω 1 that we stll call u 12. We may then defne φ 12 = Id u 12 and remark that we have φ 12 φ 23 = φ 13. It follows that, when there are only local lftngs of Frobenus, we obtan glueng data and we wll call A the resultng O -module whch s locally somorphc to F S Ω 1. In order to dualze, we ntroduce the completed dvded power envelopes of Z DP, ZO DP and D DP Z, ZO and D respectvely along the augmentaton deal of Z. Note that we have Z DP Γ T, ZO DP 26 Z DP Z ZO

27 and D DP Z DP Z D. Thus, dual to A we obtan an O -module B, whch s n fact a locally free module of rank 1. In order to verfy ths, t s suffcent to check that, locally, the dual glueng map ˇφ 12 : ZO DP ZO DP s ZO DP dentty on the augmentaton deal of of S Ω 1 nsde O. DP ZO - -lnear: t s O -lnear by defnton; moreover, by constructon, ˇφ 12 acts as the Z DP because u 12 sends the augmentaton deal Note that, locally, F 2 F 1 sends Ĩ nto po e e e and that we obtan a map Ω 1 U 12 O ω u 12 (ω ) 1 1 u 12 (ω ). A constructon analog to the above provdes an automorphsm Id U 12 of O S Ω 1 gvng rse to a commutatve dagram O S Ω 1 Dualzng provdes a morphsm 1 p! e F 1 D O S Ω 1. 1 F e p! 2 P m End ZDP (B ), and extendng scalars, a map whch s an somorphsm as one easly checks. D DP End ZDP (B ), 6.5 Ogus-Vologodsky s constructon We keep the same notatons as before but we assume that m = 0 and we drop t from the notatons. Also, n what follows, there wll be some sgn dfferences wth the artcle of Ogus and Vologodsky ([8]), due to the fact that they choose to dvde by p nstead of p! and that p! = p mod p 2. They start wth a global defnton of A that we do not want to recall here ([8], Theorem 1.1). In order to obtan a local descrpton of ths object, they ntroduce the noton of splttng of Carter ζ : Ω 1 Ω 1. When F s a lftng of Frobenus, the standard example of such s splttng s gven by Mazur s constructon and s smply the composte of the map F p! : Ω1 I 27

28 wth the canoncal projecton I I /I [2] = Ω1. They lnearze and dualze n order to obtan a morphsm φ : T F T. Thus, by constructon, there s a commutatve dagram Φ : D Φ D T φ F T where the map on the rght s the p-curvature map. From φ, they construct a morphsm h : Ť Ť that s gven on local sectons by h ( p ) = Φ( ) p f we use as usual the p-curvature map to embed T nto D. When m = 0, our formula n Corollary 4.11 reads Φ( p ) = p + Φ( ) p and t follows that our map α s the same as the one n secton 2.2 of [8]. In partcular, our theory s fully compatble wth thers even f the approach mght sound dfferent. For example, ther formula (2.11.2) reads locally (1 s) = r ξ s ζ(dt ). and we have, wth Carter-Mazur s splttng correspondng to a lftng t t p + p g, It follows that =0 ζ(dt ) = t (p 1) dt (1 s) = t (p 1) ξ s whch s exactly what we found n Proposton 5.9. r j (g )dt j. j=1 r (g j ) ξ js j=1 6.6 Frobenus descent When s N, any dvded power structure of level m on an deal I s a fortor a dvded power structure of hgher level m + s. It follows that f Y s any embeddng, there exsts natural map P m (Y ) P m+s (Y ). And from ths, one derves, for a smooth D(m+s). It s gven on for l m but ths s not an njectve map n general. For scheme over our fxed scheme S, a morphsm of rngs D local generators by [pl ] [pl ] example, f S has postve characterstc p and s > 0, then {pm+1 } s sent to zero. Let us be more specfc n ths postve characterstc stuaton. Gven any s, we wll denote by (s) the pull-back of along the s-st teraton of Frobenus. For s > 0, the kernel of the map D D(m+s) s nothng but the deal K generated by the mage of T (m+1) under the p m -curvature map. Moreover, t nduces an somorphsm of rngs End O (m+1) (O ) D (m+s),p m+1 1 where the rght hand sde s the subrng of dfferental operators of order less than p m+1. We now come to the basc fact on Frobenus descent : the s-th teraton of Frobenus nduces a morphsm F s : P m+s P (s) m. 28

29 It s gven locally by τ {k}m τ {kps } m+s D (m+s) and we obtan by dualty, a morphsm F s D (s) gven locally by k 1 k/ps f p s k and 0 otherwse. Note that F s D has no (s) natural rng structure so that ths morphsm cannot be seen as a morphsm of rngs. However, t nduces an somorphsm of rngs ZO (m+s)) F s ZO compatble wth the (s) p-curvature maps of level m + s and m respectvely. If we choose compatble strong lftngs, there s an obvous commutatve dagram P (s) m 1 e F p! m+1 Ω 1 F (m+s+1) s 1 F e p! m+s+1 P m+s that gves by dualty a commutatve dagram (we gnore completons) Φ (m+s) D (m+s) F s D (s) ZO (m+s)) F s ZO (s) D (m+s) F s D (s). F s Φ (s) For the same reason, we have a commutatve dagram D (m+s) End (m+s) Z (ZO (m+s) ) F s D (s) F s End Z (s) (ZO (s) ). Fnally, when restrctng to quas-nlpotent objects everywhere, we have compatble equvalences of categores nduced by Frobenus pull backs {D (s) -modules} {Hggs modules on (m+s+1) } F m+1 F m+s+1 F s {D (m+s) -modules} In partcular, we recover our equvalence of categores as the composton of Frobenus descent and the usual case m = 0 (agan, we restrct to quas-nlpotent objects) : {Hggs modules on (m+1) } F {D (0) -modules} F m {D -modules}. 29

30 Note however that, as far as we understand, the Azumaya nature of D cannot be derved from the case m = 0. References [1] Perre Berthelot. D-modules arthmétques. I. Opérateurs dfférentels de nveau fn. Ann. Sc. École Norm. Sup. (4), 29(2): , [2] Perre Berthelot and Arthur Ogus. Notes on crystallne cohomology. Prnceton Unversty Press, Prnceton, N.J., [3] Roman Bezrukavnkov, Ivan Mrkovć, and Dmtry Rumynn. Localzaton of modules for a semsmple Le algebra n prme characterstc. Ann. of Math. (2), 167(3): , Wth an appendx by Bezrukavnkov and Smon Rche. [4] Gerd Faltngs. A p-adc Smpson correspondence. Adv. Math., 198(2): , [5] Alexander Grothendeck. Cohomologe l-adque et fonctons L. Lecture Notes n Mathematcs, 589, [6] Masaharu Kaneda. Drect mages of D-modules n prme characterstc. RIMS kōkyūroku, 1382: , [7] Bernard Le Stum and Adolfo Qurós. Transversal crystals of fnte level. Ann. Inst. Fourer (Grenoble), 47(1):69 100, [8] Arthur Ogus and Vladmr Vologodsky. Nonabelan Hodge theory n characterstc p. Publ. Math. Inst. Hautes Études Sc., (106):1 138, [9] Carlos T. Smpson. Hggs bundles and local systems. Inst. Hautes Études Sc. Publ. Math., (75):5 95, [10] Marus van der Put. Dfferental equatons n characterstc p. Composto Math., 97(1-2): , Specal ssue n honour of Frans Oort. [11] Marus van der Put and Mchael F. Snger. Galos theory of lnear dfferental equatons, volume 328 of Grundlehren der Mathematschen Wssenschaften [Fundamental Prncples of Mathematcal Scences]. Sprnger-Verlag, Berln, Mchel Gros Bernard Le Stum Adolfo Qurós IRMAR IRMAR Departamento de Matemátcas Unversté de Rennes 1 Unversté de Rennes 1 Unversdsad Autónoma de Madrd Campus de Beauleu Campus de Beauleu Cudad Unverstara de Cantoblanco Rennes Cedex Rennes Cedex E Madrd France France España 30