arxiv: v1 [math.ag] 22 Nov 2017
|
|
- Alannah Davis
- 6 years ago
- Views:
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
SEMISTABLE HIGGS BUNDLES, PERIODIC HIGGS BUNDLES AND REPRESENTATIONS OF ALGEBRAIC FUNDAMENTAL GROUPS
SEMISTABLE HIGGS BUNDLES, PERIODIC HIGGS BUNDLES AND REPRESENTATIONS OF ALGEBRAIC FUNDAMENTAL GROUPS GUITANG LAN, MAO SHENG, AND KANG ZUO Abstract. Let k be the algebraic closure of a finite field of odd
More informationLifting the Cartier transform of Ogus-Vologodsky. modulo p n. Daxin Xu. California Institute of Technology
Lifting the Cartier transform of Ogus-Vologodsky modulo p n Daxin Xu California Institute of Technology Riemann-Hilbert correspondences 2018, Padova A theorem of Deligne-Illusie k a perfect field of characteristic
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationA NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS
A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS HUI GAO, TONG LIU 1 Abstract. Let K 0 /Q p be a finite unramified extension and G K0 denote the Galois group Gal(Q p /K 0 ). We show
More informationUniformization of p-adic curves via Higgs-de Rham flows
Uniformization of p-adic curves via Higgs-de Rham flows Guitang Lan, Mao Sheng, Yanhong Yang, and Kang Zuo Abstract. Let k be an algebraic closure of a finite field of odd characteristic. We prove that
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More information6. DE RHAM-WITT COMPLEX AND LOG CRYS- TALLINE COHOMOLOGY
6. DE RHAM-WITT COMPLEX AND LOG CRYS- TALLINE COHOMOLOGY α : L k : a fine log str. on s = Spec(k) W n (L) : Teichmüller lifting of L to W n (s) : W n (L) = L Ker(W n (k) k ) L W n (k) : a [α(a)] Example
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationThe absolute de Rham-Witt complex
The absolute de Rham-Witt complex Lars Hesselholt Introduction This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete
More informationPERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)
PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 1. Background Story The starting point of p-adic Hodge theory is the comparison conjectures (now theorems) between p-adic étale cohomology, de Rham cohomology,
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationOn Faltings method of almost étale extensions
Proceedings of Symposia in Pure Mathematics On Faltings method of almost étale extensions Martin C. Olsson Contents 1. Introduction 1 2. Almost mathematics and the purity theorem 10 3. Galois cohomology
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationForschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson
Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson Organizers: Lars Kindler and Kay Rülling Sommersemester 13 Introduction If X is a smooth scheme over the complex numbers,
More informationToric coordinates in relative p-adic Hodge theory
Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More informationGROUP SCHEMES WITH STRICT O-ACTION
MOSCOW MATHEMATICAL JOURNAL Volume 2, Number 2, April June 2002, Pages 249 279 GROUP SCHEMES WITH STRICT O-ACTION GERD FALTINGS To my colleague Yu. Manin Abstract. Let O denote the ring of integers in
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationLevel Structures of Drinfeld Modules Closing a Small Gap
Level Structures of Drinfeld Modules Closing a Small Gap Stefan Wiedmann Göttingen 2009 Contents 1 Drinfeld Modules 2 1.1 Basic Definitions............................ 2 1.2 Division Points and Level Structures................
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationDerived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
More informationA Dieudonné Theory for p-divisible Groups
A Dieudonné Theory for p-divisible Groups Thomas Zink 1 Introduction Let k be a perfect field of characteristic p > 0. We denote by W (k) the ring of Witt vectors. Let us denote by ξ F ξ, ξ W (k) the Frobenius
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationOn a question of Pink and Roessler
On a question of Pink and Roessler Hélène Esnault and Arthur Ogus August 12, 2006 1 Questions Let k be a noetherian ring and let X/k be a smooth projective k-scheme. Let L be an invertible sheaf on X For
More informationp-adic ÉTALE COHOMOLOGY AND CRYSTALLINE COHOMOLOGY FOR OPEN VARIETIES
p-adic ÉTALE COHOMOLOGY AND CRYSTALLINE COHOMOLOGY FOR OPEN VARIETIES GO YAMASHITA This text is a report of a talk p-adic étale cohomology and crystalline cohomology for open varieties in a symposium at
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationp-divisible Groups: Definitions and Examples
p-divisible Groups: Definitions and Examples Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 18, 2013 Connected vs. étale
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationFALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)
FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationA GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS. 1. Introduction
A GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS MARTIN OLSSON Abstract. We study unipotent fundamental groups for open varieties over p-adic fields with base point degenerating
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationCOURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES
COURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES ABSTRACT. Rough notes (to be updated frequently) for my topics course in fall 2018. Comments and corrections are very welcome! 1. INTRODUCTION Let
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
More informationConstructible isocrystals (London 2015)
Constructible isocrystals (London 2015) Bernard Le Stum Université de Rennes 1 March 30, 2015 Contents The geometry behind Overconvergent connections Construtibility A correspondance Valuations (additive
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationarxiv: v1 [math.ag] 25 Feb 2018
ON HIGHER DIRECT IMAGES OF CONVERGENT ISOCRYSTALS arxiv:1802.09060v1 [math.ag] 25 Feb 2018 DAXIN XU Abstract. Let k be a perfect field of characteristic p > 0 and W the ring of Witt vectors of k. In this
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More informationUNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES
UNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES MARTIN C. OLSSON Abstract. Fix a morphism of schemes f : X S which is flat, proper, and fiber-by-fiber semi-stable. Let IV LS be the functor on the category
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationHodge cohomology of invertible sheaves
Hodge cohomology of invertible sheaves Hélène Esnault and Arthur Ogus February 26, 2008 1 Introduction Let k be an algebraically closed field and let X/k be a smooth projective connected k-scheme. Let
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationTHE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE
THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the
More informationarxiv: v1 [math.ag] 23 Oct 2007
ON THE HODGE-NEWTON FILTRATION FOR p-divisible O-MODULES arxiv:0710.4194v1 [math.ag] 23 Oct 2007 ELENA MANTOVAN AND EVA VIEHMANN Abstract. The notions Hodge-Newton decomposition and Hodge-Newton filtration
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationLecture 21: Structure of ordinary-crystalline deformation ring for l = p
Lecture 21: Structure of ordinary-crystalline deformation ring for l = p 1. Basic problem Let Λ be a complete discrete valuation ring with fraction field E of characteristic 0, maximal ideal m = (π), and
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationGALOIS DESCENT AND SEVERI-BRAUER VARIETIES. 1. Introduction
GALOIS DESCENT AND SEVERI-BRAUER VARIETIES ERIC BRUSSEL CAL POLY MATHEMATICS 1. Introduction We say an algebraic object or property over a field k is arithmetic if it becomes trivial or vanishes after
More informationON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES
Math. J. Okayama Univ. 51 (2009), 1 26 ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES Yuichiro HOSHI Abstract. In the present paper, we study the cuspidalization problem for the fundamental group
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More information