arxiv: v1 [math.ag] 22 Nov 2017

Transcription

1 arxiv: v1 [math.ag] 22 Nov 2017 BASE CHANGE OF TWISTED FONTAINE-FALTINGS MODULES AND TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS RUIRAN SUN, JINBANG YANG, AND KANG ZUO Abstract. In this short notes, we prove a stronger version of Theorem 0.6 in our previous paper [5]: Given a smooth log scheme (X D) W(Fq), each stable twisted f-periodic logarithmic Higgs bundle (E, θ) over the closed fiber(x D) Fq will correspondtoapgl r(f p f)-crystallinerepresentation of π 1((X\D) W(Fq)[ p 1 ]) suchthat its restriction tothe geometric fundamental group is absolutely irreducible. 1. Introduction In the previous paper [5], we prove the following results Theorem 1.1 (Theorem0.6 in [5]). Let k be a finite field of characteristic p. Let X be a smooth proper geometrically connected scheme over W(k) together with a smooth log structure D/W(k). Assume that there exists a semistable graded logarithmic Higgs bundle (E,θ)/(X,D) 1 with r := rank(e) p 1, discriminant H (E) = 0, r and deg H (E) are coprime. Let X o = X \ D and K = W(k F p f)[1/p]. Then, there exist a positive integer f and a PGL r (F p f)-crystalline representation ρ of π 1 (X o K ), which is irreducible in PGL r (F p ). In the proof we use the so called twisted periodic Higgs-de Rham flow, which is a variant of the periodic Higgs-de Rham flow defined by Lan, Sheng and Zuo in [3]. Now wewanttoimprovethisresulttoastrongerversion. ThePGL r (F p f)- crystalline representation of π 1 ((X \D) W(Fq)[ 1 ]) corresponding to the stable p Higgs bundle should have the following property: its restriction to the geometric fundamental group π 1 ((X \D) Q p ) is absolutely irreducible. Here the absolutely irreducible means that the representation is still irreducible after extending the coefficient F p f to F p. We outline the proof as follows. Fix a K 0 -point in X K0, one can pull back the representation ρ to a representation of the galois group, whose This work was supported by SFB/Transregio 45 Periods, Moduli Spaces and Arithmetic of Algebraic Varieties of the DFG (Deutsche Forschungsgemeinschaft) and also supported by National Key Basic Research Program of China (Grant No. 2013CB834202). 1

2 2 RUIRAN SUN, JINBANG YANG, AND KANG ZUO image is finite. This finite quotient will give us a field extension K/K 0 such that the restriction of ρ on Gal( K 0 /K) is trivial. That means ρ(π 1 (XK o )) = ρ(π 1 (X o )). So it suffices to prove the irreducibility of ρ on π K 1 (X o 0 K ), which gives us the chance to apply the method of twisted periodic Higgs-de Rham flows as in [5]. But the field extension K/K 0 is usually ramified. So we have to work out the construction in [5] to the very ramified case. 2. Base change of twisted Fontaine-Faltings modules and Twisted Higgs-de Rham flows over very ramified valuation rings 2.1. Notations in the case of Speck. In this notes, k will always be a perfect field of characteristic p > 0. Let π be a root of an Eisenstein polynomial e 1 f(t) = T e + a i T i of degree e over the Witt ring W = W(k). Denote K 0 = Frac(W) = W[ 1 p ] andk = K 0 [π], wherek 0 [π] isatotally ramifiedextension of K 0 of degreee. Denote by W π = W[π] the ring of integers of K, which is a complete discrete valuation ring with maximal ideal πw π and the residue field W π /πw π = k. Denote by W[[T]] the ring of formal power-series over W. Then i=0 W π = W[[T]]/fW[[T]]. The PD-hull B Wπ of W π is the PD-completion of the ring obtained by adjoining to W[[T]] the divided powers fn n!. More precisely { } B Wπ = a n T n K 0 [[T]] a n[n/e]! W and a n [n/e]! 0. n=0 A decreasing filtration is defined on B Wπ by the rule that F q (B Wπ ) is the closure of the ideal generated by divided powers fn n! with n q. Note that the ring B Wπ only depends on the degree e while this filtration depends on W π and e. One has B Wπ /Fil 1 B Wπ W π. There is a unique continuous homomorphism of W-algebra B Wπ B + (W π ) which sends T to [π]. Here π = (π,π p,π 1 1 p 2,...) lim R. We denote B Wπ = B Wπ [ f p ] which is a subring of K 0 [[T]]. The idea ( f p ) induces a decreasing filtration Fil BWπ such that B Wπ /Fil 1 BWπ W π.

3 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS3 The Frobenius endomorphism on W can be extended to an endomorphism ϕ on K 0 [[T]], where ϕ is given by ϕ(t) = T p. Since ϕ(f) is divided by p, we have ϕ( B Wπ ) B Wπ. Thus one gets two restrictions ϕ : B Wπ B Wπ and ϕ : B Wπ B Wπ. Note that the ideal of B Wπ, generated by Fil 1 B Wπ and T, is stable under ϕ. Then we have the following commutative diagram B Wπ ϕ B Wπ B Wπ /(Fil 1 B Wπ,T) = k ( ) p B Wπ /(Fil 1 B Wπ,T) = k (1) Since ϕ( f p ) is invertible in B W π, we have ϕ((fil 1 BWπ,T)) (Fil 1 B Wπ,T). Hence the following diagram is not commutative B Wπ ϕ B Wπ BWπ /(Fil 1 BWπ,T) = k ( ) p B Wπ /(Fil 1 B Wπ,T) = k (2) 2.2. Base change in the small affine case. For a smooth and small W-algebra R (which means there exists an étale map W[T ±1 1,T ±1 2,,T ±1 d ] R, see [1]), Lan-Sheng-Zuo constructed categories MIC(R/pR), MIC(R/pR), MCF(R/pR) and MF(R/pR). A Fontaine-Faltings module over R/pR is an object (V,,Fil) in MCF(R/pR) together with an isomorphism ϕ : (V,,Fil) Φ R (V, ) in MIC(R/pR), where ( ) is the Faltings tilde functor. We generalize those categories over the W π -algebra R π = R W W π. In general, theredoesnotexistfrobeniusliftingonthep-adiccompletionof R π. We lift the absolute Frobenius map on R π /πr π to a map Φ : B Rπ B Rπ B Rπ Φ B Rπ R π /πr π = R/pR ( ) p R π /πr π = R/pR (3) where B Rπ is the p-adic completion of B Wπ W R. This lifting is compatible with ϕ : B Wπ B Wπ. Denote B Rπ = B Rπ [ f p ]. Then Φ can be extended to Φ : B Rπ B Rπ

4 4 RUIRAN SUN, JINBANG YANG, AND KANG ZUO uniquely, which is compatible with ϕ : B Wπ B Wπ. The filtrations on B Wπ and B Wπ induce filtrations on B Rπ and B Rπ respectively, which satisfy B Rπ /Fil 1 B Rπ R π B Rπ /Fil 1 BRπ. Lemma 2.1. Let n < p be a natural number and let b be an element in F n B Rπ. Then b p n is an element in F n BRπ. Proof. Since the filtrations on B Rπ and B Rπ are induced by those on B Wπ and B Wπ respectively, we have F n f i B Rπ = a i i! a i R[[T]] and a i 0, and i n f i F n BRπ = a i p i i n a i B Rπ and a i = 0 for i 0 f i = a i p i a i R[[T]] and i! p ia i 0. i n Assume b = i n a i fi i! with a i R[[T]] and a i 0, then b p n = p i a i p n i! fi p i, i n (4) and the lemma follows. Lemma 2.2. There are isomorphisms of free R π -modules of rank 1 Gr n BRπ Gr n B Rπ Rπ f n p n f n n! 1 (5) Proof. This can be checked directly. Recall that B Rπ and B Rπ are R-subalgebras of R( 1 p )[[T]]. We denote by Ω 1 B Rπ (resp. Ω 1 BRπ )theb Rπ -submodule(resp. BRπ -submodule)ofω 1 R( 1 p )[[T]]/W generated by elements db, where b B Rπ (resp. b B Rπ ). There is a filtration on Ω 1 B Rπ (resp. Ω 1 BRπ ) given by F n Ω 1 B Rπ = F n B Rπ Ω 1 B Rπ (resp. F n Ω 1 BRπ = F n BRπ Ω 1 BRπ ). One gets the following result directly by Lemma 2.1. Lemma 2.3. Let n < p be a natural number. Then 1 p n F n Ω 1 B Rπ F n Ω 1 BRπ. We have the following categories

5 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS5 MIC(B Rπ /pb Rπ ): the category of free B Rπ /pb Rπ -modules with integrable connections. MIC( B Rπ /p B Rπ ): the category of free B Rπ /p B Rπ -modules with integrable nilpotent p-connection. MCF [0,a] (B Rπ /pb Rπ ): thecategoryoffilteredfreeb Rπ /pb Rπ -modules equipped with integrable connections, which satisfy the Griffiths transversality, and each of these B Rπ /pb Rπ -modules admits a filtered basis v i of degree q i, 0 q i a. A Fontaine-Faltings module over B Rπ /pb Rπ of weight a (0 a p 2) is an object (V,,Fil) in the category MCF [0,a] (B Rπ /pb Rπ ) together with an isomorphism in MIC(B Rπ /pb Rπ ) ϕ : (V,,Fil) Φ B Rπ (V, ), where ( ) : MCF(B Rπ /pb Rπ ) MIC( B Rπ /p B Rπ ) is an analogue of the Faltings tilde functor. For an object (V,,Fil) in MCF(B Rπ /pb Rπ ) with filtered basis v i (of degree q i, 0 q i a), Ṽ is defined as a filtered free B Rπ /p B Rπ -module Ṽ = i B Rπ /p B Rπ [v i ] qi with filtered basis [v i ] qi (of degree q i, 0 q i a). Informally one can view [v i ] qi as v i p q i. Since satisfies the Griffiths transversality, there are ω ij F q j 1 q i Ω 1 B Rπ satisfying (v j ) = i v i ω ij. Since q j 1 q i < a p 2, p-connection on Ṽ via ([v j ] qj ) = i ω ij p q j 1 q i F q j 1 q i Ω 1 BRπ. We define a [v i ] qi ω ij p q j 1 q i. Lemma 2.4. The B Rπ /p B Rπ -module Ṽ equipped with the p-connection is independent of the choice of the filtered basis v i up to a canonical isomorphism. Proof. We write v = (v 1,v 2, ) and ω = (ω ij ) i,j. Then (v) = v ω and ([v]) = [v] (pqωq 1 ), whereq = diag(p q 1,p q 2, ) is a diagonal matrix. Assumethat v i is another filtered basis (of degree q i, 0 q i a) and (Ṽ, ) is the corresponding B Rπ /p B Rπ -module equipped with the p-connection. Similarly, we have (v ) = v ω and ([v ]) = [v ] (pqω Q 1 ),

6 6 RUIRAN SUN, JINBANG YANG, AND KANG ZUO Assumev j = i a ijv i (a ij F q j q i B Rπ ). ThenA = (a ij ) i,j GL rank(v) (B Rπ ) ( ) and QAQ 1 aij = GL p q j q i rank(v)( B Rπ ). We construct an isomorphism i,j from Ṽ to Ṽ by τ([v ]) = [v] (QAQ 1 ), where [v] = ([v 1 ] q1,[v 2 ] q2, ) and [v ] = ([v 1 ] q 1,[v 2 ] q 2, ). Now we only need to check that τ preserve the p-connections. Indeed, and τ ([v ]) = [v] (QAQ 1 pqω Q 1 ) = [v] (pq Aω Q 1 ) (6) τ([v ]) = ([v]qaq 1 ) = [v] (pqωq 1 QAQ 1 +p QdAQ 1 ) = [v] (pq (ωa+da) Q 1 ) Since (v ) = (va) = v da+v ωa = v (A 1 da+a 1 ωa), we have ω = A 1 da+a 1 ωa by definition. Thus τ = τ. The functor Φ B Rπ : MIC( B Rπ /p B Rπ ) MIC(B Rπ /pb Rπ ) is induced by base change under Φ. Note that the connection on (Ṽ, ) Φ B Rπ is given by d+ dφ p (Φ ) Denote by MF [0,a] (B Rπ /pb Rπ ) the category of all Fontaine-Faltings module over B Rπ /pb Rπ of weight a. Lemma 2.5. We have the following commutative diagram by extending the coefficient ring from R to B Rπ (or B Rπ ) (7) MCF(R/pR) ( ) MIC(R/pR) Φ R MIC(R/pR) R B Rπ MCF(B Rπ /pb Rπ ) ( ) R BRπ R B Rπ MIC( B Rπ /p B Rπ ) ΦB Rπ MIC(B Rπ /pb Rπ ) In particular, we get a functor from the category of Fontaine-Faltings modules over R/pR to that over B Rπ /pb Rπ MF [0,a] (R/pR) MF [0,a] (B Rπ /pb Rπ ). Those categories of Fontaine-Faltings modules are independent of the choice of the Frobenius lifting by the Taylor formula. Theorem 2.6. For any two choices of Φ BRπ there is an equivalence between the corresponding categories MF [0,a] (B Rπ /pb Rπ ) with different Φ BRπ. These equivalences satisfy the obvious cocycle condition. Therefore, MF [0,a] (B Rπ /pb Rπ ) is independent of the choice of Φ BRπ up to a canonical isomorphism.

7 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS7 Definition 2.7. For an object (V,,Fil,ϕ) in MF [0,a] (B Rπ /pb Rπ ), denote D(V,,Fil,ϕ) = Hom B + (R),Fil,ϕ(V BRπ B + (R),B + (R)/pB + (R)). The proof of Theorem 2.6 in [1] works in this context. we can define an adjoint functor E of D as E(L) = lim {V MF [0,a] (B Rπ /pb Rπ ) L D(V)}. The proof in page 41 of [1] still works. Thus we obtain: Theorem 2.8. i). The homomorphism set D(V,,Fil,ϕ) is an F p -vector space with a linear Gal(R K /R K )-action whose rank equals to the rank of V. ii). The functor D from MF [0,a] (B Rπ /pb Rπ ) to the category of W n (F p )- Gal(R K /R K )-modules is fully faithful and its image on objects is closed under subobjects and quotients Categories and Functors on proper smooth variety over very ramified ring W π. Let X be a smooth proper W-scheme and X π = X W W π. Let X π be the formal completion of X W B Wπ and X π be the formal completion of X W BWπ. Then X π is an infinitesimal thickening of X π and theidealdefiningx π in X π hasanilpotentpd-structurewhichiscompatible with that on F 1 (B Wπ ) and (p) X π X π X π SpecW π SpecB Wπ Spec B π SpecW. Let {U i } i be a covering of small affine open subsets of X. By base change, we get a covering {U i = U i X X π } i of X π and a covering {Ũi = U i X Xπ } i of X π. For each i, we denote R i = O Xπ (U i X X π ). Then B Ri = O Xπ (U i ) and B Ri = O Xπ (Ũi) are the coordinate rings. Fix a Frobenius-lifting Φ i : B Ri B Ri, one gets those categories of Fontaine-Faltings modules MF [0,a] (B Ri /pb Ri ). By the Theorem 2.6, these categories are glued into one category. Moreover those underlying modules are glued into a bundle over = X π Zp F p. We denote this category by MF [0,a] ( ) Inverse Cartier functor and a description of MF [0,a] ( ) via Inverse Cartier functor. Let Φ : B Rπ /pb Rπ B Rπ /pb Rπ be the p-th power map. Then we get the following lemma directly. Lemma 2.9. Let Φ : B Rπ B Rπ and Ψ : B Rπ B Rπ be two liftings of Φ which are both compatible with the Frobenius map on B Wπ. X (8)

8 8 RUIRAN SUN, JINBANG YANG, AND KANG ZUO i). Since ϕ(f) is divided by p, we extend Φ and Ψ to maps on B Rπ via f n p ( ϕ(f) p n ) n uniquely; ii). the difference Φ Ψ on B Rπ is still divided by p; iii). the differentials dφ : Ω 1 BRπ Ω 1 B Rπ and dψ : Ω 1 BRπ Ω 1 B Rπ are divided by p. From nowon, wecall theextension given byi) of Lemma2.9theFrobenius liftings of Φ on B Rπ. Lemma Let Φ : BRπ B Rπ and Ψ : BRπ B Rπ be two Frobenius liftings of Φ on B Rπ. Then there exists a B Rπ /pb Rπ -linear morphism satisfying that: h Φ,Ψ : Ω 1 BRπ /p B Rπ Φ B Rπ /pb Rπ B Rπ /pb Rπ i). we have dφ p dψ p = dh Φ,Ψ over Ω 1 BRπ /p B Rπ Φ 1; ii). the cocycle condition holds. Proof. As Ω 1 BRπ /p B Rπ Φ B Rπ /pb Rπ is an B Rπ /pb Rπ -module generated by elements of the form dg 1 (g B Rπ /p B Rπ ) with relations d(g 1 +g 2 ) 1 dg 1 1 dg 2 1 and d(g 1 g 2 ) 1 dg 1 Φ(g 2 ) dg 2 Φ(g 1 ). Since Φ Ψ is divided by p, we can denote h ij (dg 1) = Φ(ĝ) Ψ(ĝ) p (mod p) B Rπ /pb Rπ for any element g O U1 (the definition does not depend on the choice of the lifting ĝ of g in O U ). By direct calculation, we have and h ij (d(g 1 +g 2 ) 1) = h ij (dg 1 1)+h ij (dg 2 1) h ij (d(g 1 g 2 ) 1) = Φ(g 2 ) h ij (dg 1 1)+Φ(g 1 ) h ij (dg 2 1) Thus h ij can be B Rπ /pb Rπ -linearly extended. One checks i) and ii) directly by definition. Let (Ṽ, ) be a locally filtered free sheaf over = X π Zp F p with an integrable p-connection. Here a filtered free module over a filtered ring R is a direct sum of copies of R with the filtration shifted by a constant amount. The associated graded then has a basis over gr F (R) consisting of homogeneous elements(see [2]). Let (Ṽi, i ) = (Ṽ, ) Ui,1 be its restriction on the open subset Ũi,1 = Ũi Zp F p. By taking functor Φ i, we get bundles with integrable connections over U i,1 = U i Zp F p ( Φ iṽi,d+ dφ ) i p (Φ ) i.

9 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS9 Lemma Let (Ṽ, ) be a locally filtered free sheaf over with an integrable p-connection. Then these local bundles with connections ( Φ iṽi,d+ dφ ) i p (Φ ) i can be glued into a global bundle with a connection on via transition functions G ij = exp (h Φi,Φ j (Φ ) ) : Φ i(ṽij) Φ j(ṽij). Denote this global bundle with connection by (Ṽ, ). Then we can construct a functor : MIC( ) MIC( ). Proof. The cocycle condition easily follows from the integrability of the Higgs field. We show that the local connections coincide on the overlaps, that is ( (G ij id) d+ dφ ) ( i p (Φ ) i = d+ dφ ) j p (Φ ) j G ij. It suffices to show dφ i p (Φ i ) = G 1 ij dg ij +G 1 ij dφ j p (Φ j ) G ij. SinceG 1 ij dg ij = dh Φi,Φ j (Φ ) andgij commutes with dφ j p (Φ j ) we have G 1 ij dg ij +G 1 ij dφ j p (Φ j ) G ij = dh Φi,Φ j (Φ )+ dφ j p (Φ j ) = dφ i p (Φ i ) by the integrability of the Higgs field. Thus we glue those local bundles with connections into a global bundle with connection via G ij. Lemma To give an object in the category MF( ) is equivalent to give a tuple (V,,Fil,φ) satisfying i). V is filtered local free sheaf over with local basis having filtration degrees contained in [0, a]; ii). : V V OXπ,1 Ω 1 is an integrable connection satisfying the Griffiths transversality; iii). ϕ : (V,,Fil) (V, ) is an isomorphism of sheaves with connections over The functors D and D P. For an object in MF [0,a] ( ), we get locally constant sheaves on U K by applying thelocal D-functors. These locally constant sheaves can be expressed in terms of certain finite étale coverings. They can be glued into a finite covering of X π,k = X K. We have the following result.

10 10 RUIRAN SUN, JINBANG YANG, AND KANG ZUO Theorem Suppose that X is a proper smooth and geometrically connected scheme over W. Then there exists a fully faithful contravariant functor D from MF [0,a] ( ) to the category of F p -representations of π 1 (X K ). The image of D on objects is closed under subobjects and quotients. Locally D is given by the same as in Lemma 2.7. Again one can define the category MF [0,a] (Xπ,1 o ) in the logarithmic case, if one replaces all connections by logarithmic connections and Frobenius lifting by logarithmic Frobenius lifting. We also have the version of MF [0,a],f (Xπ,1 o ) with endomorphism structures of F pf, which is similar as the Variant 2 discussed in section 2 of[3]. And the twisted versions TMF [0,a],f (Xπ,1 o ) can also be defined on in a similar way as in [5]. More precisely, let L be a line bundle over. The L-twisted Fontaine- Faltings module is defined as follows. Definition An L-twisted Fontaine-Faltings module over with endomorphism structure is a tuple ((V,,Fil) 0,(V,,Fil) 1,,(V,,Fil) f 1,ϕ ) where (V,,Fil) i are objects in MCF(Xπ,1 o ) equipped with isomorphisms in MIC(Xπ,1 o ) and ϕ i : ϕ f 1 : (V,,Fil)i (V, ) i+1 for i = 0,1,,f 2; (V,,Fil)f 1 (L p, can ) (V, ) 0. The proof of Theorem 0.4 in [5] works in this context. Thus we obtain the following result. Theorem Suppose that X is a proper smooth and geometrically connected scheme over W equipped with a smooth log structure D/W(k). Suppose that the residue field k contains F p f. Then there exists an exact and fully faithful contravariant functor D P from T MF a,f (Xπ,1 o ) to the category of projective F p f-representations of π 1 (XK o). The image of Dp is closed under subobjects and quotients. Recall that {U i } i is an open covering of X. A line bundle on X can be expressed by the transition functions on U ij. Lemma Let L be a line bundle on expressed by (g ij ). Denote by L the line bundle on defined by the same transition functions (g ij ). Then one has ( L,0) = L p. Proof. Since g ij is an element in B Rij B Rij, by diagram (3), one has Φ(g ij ) g p ij (mod p).

11 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS 11 On the other hand, since the p-connection is trivial, one has ( L,0) = (Φmodp) ( L). Thus one has ( L,0) = (O Ui,1,g p ij ) = Lp. In a similar way, one can define the Higgs-de Rham flow on as a sequence consisting of infinitely many alternating terms of Higgs bundles over and filtered de Rham bundles over {(E,θ) 0,(V,,Fil) 0,(E,θ) 1,(V,,Fil) 1, } with (V, ) i = ((E,θ) i ) and (E,θ) i+1 = (V,,Fil) i for all i 0. f-periodic L-twisted Higgs-de Rham flow over of level in [0,a] is a Higgs-de Rham flow over {(E,θ) 0,(V,,Fil) 0,(E,θ) 1,(V,,Fil) 1, } equipped with isomorphisms φ f+i : (E,θ) f+i ( L pi,0) (E,θ) i of Higgs bundles for all i 0 (E,θ) 0 (V,,Fil) 0 ( ) (E,θ) 1 (V,,Fil) 1 ( ) ( ) (E,θ) f (V,,Fil) (V,,Fil) f+1 f ( ) ( ) (E,θ) f+1 φ f φ f+1 And for any i 0 the isomorphism (φ f+i ) : (V, ) f+i (L pi+1, can ) (V, ) i, strictly respects filtrations Fil f+i and Fil i. Those φ f+i s are related to each other by formula φ f+i+1 = Gr (φ f+i ). Just taking the same construction as in [5], we obtain the following result. Theorem There exists an equivalent functor IC Xπ,1 from the category of twisted periodic Higgs-de Rham flows over to the category of twisted Fontaine-Faltings modules over with a commutative diagram T HDF(X 1 ) IC X1 TMF(X 1 ) (9) OX1 O Xπ,1 OX1 O Xπ,1 T HDF( ) IC T MF( ).

12 12 RUIRAN SUN, JINBANG YANG, AND KANG ZUO 2.4. degree and slope. Recall that X π is a smooth formal scheme over B Wπ. Then and X 1 are the modulo-p reductions of X π and X respectively. Also note that X 1 is the closed fiber of Y 1 = X π Zp F p, = X π Zp F p, X π and X π. X 1 X 1 X π1 X 1 X π X π X π X Speck SpecW π SpecB Wπ Spec B π SpecW (10) For a line bundle V on (resp. Xπ,1 ), V OXπ,1 O X1 (resp. V O Xπ,1 O Xk ) forms a line bundle on the special fiber X 1 of X. We denote deg(v) := deg(v OXπ,1 O X1 ). For any bundle V on (resp. Xπ,1 ) of rank r > 1, we denote deg(v) := deg( r V). By Lemma 2.9, the modulo-p reduction of the Frobenius lifting is globally well-defined. We denote it by Φ 1 : Xπ,1. Since and have the same closed subset X 1, we have the following diagram i=1 X 1 τ (11) Φ X1 Φ 1 X 1 τ Here τ and τ are closed embeddings and Φ X1 is the absolute Frobenius liftingonx 1. Weshouldremarkthatthediagramaboveisnot commutative, because Φ 1 does not preserve the defining ideal of X 1. Lemma Let (V,,Fil) be an object in MCF( ) of rank 1. Then there is an isomorphism Φ X 1 τ (Ṽ) τ Φ 1(Ṽ). Proof. Recall that {U i } i is an open covering of X. We express the line bundlev by thetransition functions(g ij ), whereg ij ( B Rij /pb Rij ). Since

13 BASE CHANGE OF TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS 13 V is of rank 1, the filtration Fil is trivial. Then by definition Ṽ can also be expressed by (g ij ). Since g ij B Rij /pb Rij, one has (Φ X1 Ui,1 ) ( τ Ui,1 ) (g ij ) = (τ Ui,1 ) (Φ 1 Ui,1 ) (g ij ), by diagram (3). This gives us the isomorphism Φ X 1 τ (Ṽ) τ Φ 1 (Ṽ). Lemma Let (V,,Fil) be an object in MCF( ). Then we have deg(ṽ) = deg(v) and deg(c 1 (Ṽ)) = pdeg(ṽ). Proof. Since the tilde functor and inverse Cartier functor preserve the wedge product and the degree of a bundle is defined to be that of its determinant, we only need to consider the rank 1 case. Now let (V,,Fil) be of rank 1. The reductions of V and Ṽ on the closed fiber X 1 are the same, by the proof of Lemma Then we have deg(ṽ) = deg(v). Since the filtration is trivial, the p-connection is also trivial. In this case, the transition functions G ij in Lemma 2.11 are idenities. Thus (Ṽ) = Φ 1(Ṽ). Recallthatdeg(Φ 1 (Ṽ)) = deg(τ Φ 1 (Ṽ))anddeg(Ṽ) = deg( τ (Ṽ)). Lemma2.18 impliesdeg(τ Φ 1 (Ṽ)) = deg(φ X 1 τ (Ṽ)). SinceΦ X 1 istheabsolutefrobenius, onehas deg(φ X 1 τ (Ṽ)) = pdeg( τ (Ṽ)). Composingabove equalities, we get deg( (Ṽ)) = pdeg(ṽ). Theorem Let E = {(E,θ) 0,(V,,Fil) 0,(E,θ) 1,(V,,Fil) 1, } be an L-twisted f-periodic Higgs-de Rham flow with endomorphism structure and log structure over X 1. Suppose that the degree and rank of the initial term E 0 are coprime. Then the projective representation D P IC Xπ,1 (E) of π 1 (X o K 0 ) is still irreducible after restricting to the geometric fundamental group π 1 (X o K 0 ), where K 0 = W[ 1 p ]. Proof. Let ρ : π 1 (X o K 0 ) PGL(D P IC Xπ,1 (E)) be the projective representation. Fix a K 0 -point in X K0, which induces a section s of the surjective map π 1 (X o K 0 ) Gal(K 0 /K 0 ). We restrict ρ on Gal(K 0 /K 0 ) by this section s, whose image is finite. And there is a finite field extension K/K 0 such that the restriction of ρ by s on Gal(K 0 /K) is trivial. Thus ρ(π 1 (X o K )) = ρ(π 1(X o K 0 )). It is sufficient to show that the restriction of ρ on π 1 (XK o ) is irreducible. Suppose that the restriction of D P IC X1 (E) on π 1 (XK o ) is not irreducible. Since the functors D P and are compatible with those over X 1, the projective representation D P IC Xπ,1 (E OX1 O Xπ,1 ) = D P IC X1 (E) is also

14 14 RUIRAN SUN, JINBANG YANG, AND KANG ZUO not irreducible. Thus there exists a non-trivial quotient, which is the image of some nontrivial sub L = L OX1 O Xπ,1 -twisted f-periodic Higgs-de Rham flow of E OX1 O Xπ,1 { (E,θ ) 0,(V,,Fil ) 0,(E,θ ) 1,(V,,Fil ) 1, }, under the functor D P IC Xπ,1 according Theorem 2.15 and Theorem Since E 0 is a sub bundle of E 0 OX1 O Xπ,1, we have 1 rank(e 0 ) < rank(e 0 ). By Theorem 4.17 in [4], deg(e i+1 ) = pdeg(e i ) for i 0 and deg(e 0 ) = pdeg(e f 1 )+rank(e 0 ) deg(l). Thus Similarly, by Lemma 2.19, one gets deg(e 0 ) rank(e 0 ) = deg(l) 1 p f. (12) deg(e 0 ) rank(e 0 ) = deg(l) 1 p f. Since deg(l) = deg(l), one has deg(e 0 ) rank(e 0 ) = deg(e 0 ) rank(e 0). Since deg(e 0 ) and rank(e 0 ) are coprime, rank(e 0 ) rank(e 0 ). This contradicts to 1 rank(e 0 ) < rank(e 0). Thus the projective representation D P IC X1 (E) is irreducible. References [1] Gerd Faltings. Crystalline cohomology and p-adic Galois-representations. In Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), pages Johns Hopkins Univ. Press, Baltimore, MD, [2] Gerd Faltings. Integral crystalline cohomology over very ramified valuation rings. J. Amer. Math. Soc., 12(1): , [3] Guitang Lan, Mao Sheng, and Kang Zuo. Semistable higgs bundles, periodic higgs bundles and representations of algebraic fundamental groups, arxiv: , to appear in Journal of the European Mathematical Society. [4] A. Ogus and V. Vologodsky. Nonabelian Hodge theory in characteristic p. Publ. Math. Inst. Hautes Études Sci., (106):1 138, [5] Ruiran Sun, Jinbang Yang, and Kang Zuo. Projective crystalline representations of étale fundamental groups and twisted periodic higgs-de rham flow, address: ruirasun@uni-mainz.de, yjb@mail.ustc.edu.cn, zuok@uni-mainz.de Institut Für Mathematic, Universität Mainz, Mainz, 55099, Germany