Arxiv:2109.01008V1 [Math.AG] 2 Sep 2021 Ueand Ture (1.1.1) Where Lsascae Ihb ’ Ihetasrcue.H Hw T Shows He Structure)

arXiv:2109.01008v1 [math.AG] 2 Sep 2021 ueand ture (1.1.1) where lsascae ihB ’ ihetasrcue.H hw t shows He structure). extra with 1’s BT with associated ules euneo opim fsak over stacks of morphisms of sequence mohadtentrlmap natural the and smooth (1.1.2) homeomorphism. tutr ncaatrsi .Mroe,te constructed they Moreover, 0. characteristic in structure where ie by mined scheme yn data an that idea lying e ogv h ieso oml o h Osrt of strata EO the for formula dimension the give to der enn n tdigteesrt vle vrtm.Let time. over evolves strata these studying and defining over oHdesrcue,tempi 112 scniee saper a as considered is (1.1.2) in map the structures, Hodge to 112 sesnilytesm stemp(..) hnsto Thanks (1.1.1). map the as same the in essentially defined is (1.1.2) Dieudonné space corresponding the to equivalent yeSiuavreyo odrdcinat reduction good of variety Shimura type ( Za8.Teudryn dai h aea nteSee case Siegel the in as same the of is classes Shimura morphism idea type underlying Hodge The to [Zha18]. and [VW13], [MW04], [Moo01],[Moo04], h Osrtfiainwsdfie yEealadOr Or1 f [Oor01] Oort and Ekedahl varieties by abelian polarized defined principally was stratification theory EO stratification simplicity) the for (EO, Ekedahl-Oort of 1.1. evee steSee yeSiuavrey,b elrn t declaring by variety), Shimura type Siegel the as viewed be A ′ on onnadWdon[W4 salse h hoyof theory the established [MW04] Wedhorn and Moonen Soon, ae n hssrtfiainwsetne oPLtp Shimur type PEL to extended was stratification this on, Later , λ S itr fzppro map. period zip of History ′ ) hc ydfiiini h eRa ooooyH cohomology Rham de the is definition by which , NATRAIECNTUTO FZPPRO ASFOR MAPS PERIOD ZIP OF CONSTRUCTION ALTERNATIVE AN BT X over µ A DS for euto tapaeabove place a at reduction A p S 1 ai,adgoptertci nature. in group-theoretic and -adic, qipdwt its with equipped , stemdl ftrivialized of moduli the is BSTRACT .Hr h a sgvnb aigthe taking by given is map the Here ). stesako T1s(.. the (i.e., 1’s BT of stack the is S 1 F hti sdt en h kdh-otsrt of strata Ekedahl-Oort the define to used is that , ¯ stesako iuonesae ihPLsrcue (i.e., structures PEL with Dieudonné spaces of stack the is p i ntesm tau ftheir if stratum same the in lie Let . F zpsrcueo etrbnl ncharacteristic in bundle vector a on structure -zip p kreso bla aite ihadtoa structures. additional with varieties abelian of -kernels S eteseilfir faSiuavreyo og ye ihgo with type, Hodge of variety Shimura a of fibre special the be BT F p zpsrcue nfc,an fact, In structure. -zip HMR VARIETIES SHIMURA egv natraiecntuto ftezppro map period zip the of construction alternative an give We . 1 The → .I 1. S −→ DS F i eidmap period zip A S κ NTRODUCTION −→ zp ihPLsrcue o eti type certain (of structures PEL with -zips IU YAN QIJUN g 1 ltrvee sapro a ncharacteristic in map period a as viewed (later BT ⊗ ie ytecytlieDedn´ uco sa is Dieudonné functor crystalline the by given p p [ F kre of -kernel G 1 ti endoe nt ed say field, finite a over defined is it ; 1 p \ → p fdimension of X kresaeisomorphic. are -kernels µ DS F ] , zpascae ihteuieslB 1 BT universal the with associated -zip 1 S , h ehdepoe slocal, is employed method The . p ntetteaie ntedevelopment the in arises title the in S dvsbegop)wt E struc- PEL with groups) -divisible ehr Wd1 osrce a constructed [Wed01] Wedhorn , opimof morphism a dR 1 F o hmr aite.Initially, varieties. Shimura for S h nlg of analogy the zpascae ihaB is 1 BT a with associated -zip ( o a ncharacteristic in map iod eteseilfir faPEL a of fibre special the be A g Wd1 n ec h map the hence and [Wed01] / ncharacteristic in a w points two hat S a h map the hat hti,cnieigiso- considering is, that , ) rtemdl pc of space moduli the or fteuieslabelian universal the of F aite n[GO00] in varieties a zp ihteunder- the with -zips aite n[Vas10], in varieties κ p Dieudonné mod- -stacks F slk Hodge a like is zpstructures -zip S h a of way The od p ( → A κ > µ , nor- In . BT λ (can 0 deter- ) p 1 and . p is ) 2 Q. YAN

Based on the theory of F-zips, Pink, Wedhorn and Ziegler [PWZ15] defined the notion of G-zips (as F-zips with G-structures) and the stack of G-zips of type µ, denoted by G-Zipµ; we refer to §4.1 for its precise definition. In the meanwhile, they show that the µ stack G-Zip can be realized as the quotient stack of G by some zip group Eµ (a notion defined in [PWZ11]), i.e., we have an isomorphism of κ-stacks (again see §4.1) µ (1.1.3) G-Zip =∼ [Gκ/Eµ]. Suppose now that S is of Hodge type and p ≥ 3. In order to extend EO stratification to Shimura varieties of Hodge type, Zhang [Zha18] (see also [Wor13]) constructed a map of algebraic stacks (see §4.2 for a review of construction) (1.1.4) ζ : S −→ G-Zipµ, and showed that ζ is smooth. The EO strata of S are defined as geometric fibres of ζ. The strata thus defined are automatically smooth and many properties on these strata are obtained by translating the information of the target stack into that of S via ζ; see loc. cit. for details. We call map ζ the zip period map for S. There are also some other variants of this map: loc(2,1) for example, the perfectly smooth map Shµ → Shtµ in [XZ17, Rem. 7.2.5] (see also ⋄ [SYZ20] for its generalization) and the map η : S → D1/K in [Yan18, Thm. 8.5.2]. The aim in this paper is to give an alternative construction of ζ (more precisely, the composition of ζ with the isomorphism in (1.1.3)) avoiding the language of G-zips, which (we hope) provides a different perspective of understanding the already existing zip period map.

1.2. Main results and the strategy of proof. Let (G,X) be a Shimura datum of Hodge type and denote by SK the Kisin-Vasiu integral model of the associated Shimura variety ShK(G,X) of level K which is hyperspecial at p. This hyperspecial condition on K implies that GQp admits a reductive Zp-model G, whose special fibre we denote by G. Recall that the integral model SK is a quasi-projective and smooth scheme over O, the localization at some place above p of the ring of integers of the reflex field of (G,X). Thanks to the hyperspecial assumption O is unramified at p. Write κ for the residue field of O and S := SK ⊗O κ. Let µ : Gm,κ → Gκ be a representative for the reduction over κ of the G(C)- conjugacy class [µ]C of the inverses of Hodge cocharacters Gm,C → GC determined by (G,X). Denote by P± ⊆ Gκ the opposite parabolic subgroups of Gκ defined by µ and U± ⊆ P± σ the corresponding unipotent radicals, and U− the base change of U− along the p-power Frobenius σ : κ → κ; the same convention applies to other notations of the form (·)σ. The µ stack G-Zip is in fact isomorphic to some quotient stack [Gκ/Eµ] of Gκ by the smooth σ algebraic group Eµ = P+ ⋉U− (see §4.1 for the action), but such an isomorphism is not quite formal. The following nearly trivial observation turns out to be important to this σ work: since U− , as a normal subgroup of Eµ, acts freely on Gκ by right multiplication, by passing to quotient we obtain a canonical isomorphism of algebraic stacks over κ (§5.6): σ ∼ [(Gκ/U− )/P+] = [Gκ/Eµ], σ where Gκ/U− is represented by a smooth κ-scheme. Hence to give the zip period map ζ above is equivalent to a give a P+-torsor, say T , over S and a P+-equivariant map of σ κ-schemes T → Gκ/U− . The natural candidate for T is the scheme I+ of trivializations of 1 the Hodge filtration HdR(A/S) ⊇ ωA/S, respecting certain tensors that we do not specify in this introduction. The torsor I+ is part of the datum for the universal G-zip which defines ζ. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 3

Theorem 1.2.1 (Thm. 5.5.1, Thm. 5.6.1). (1). Thereexistsan(explicitly constructed) morphism of κ-schemes σ γ :I+ → Gκ/U− . (2). The map γ is P+-equivariant, and hence induces a morphism of algebraic κ-stacks can σ ∼ ∼ µ η : S −→ [(Gκ/U− )/P+] = [Gκ/Eµ] = G-Zip . Theorem 1.2.2 (Thm. 6.2.1). We have a natural 2-isomorphism η =∼ ζ. Consequently, we give an alternative construction of the zip period map for S.

We describe now the construction of γ on geometric points. Take k = F¯ p. From now on we fix a cocharacter µ˜ : Gm,W(κ) → GW (κ) of GW (κ) which lifts µ : Gm,κ → Gκ. A point ♭ x¯ = (x¯,βx¯) ∈ I+(k) consists of a pointx ¯ ∈ S(k) and a trivialization ∗ ∗,1 ∼ 1 A ∼ ¯ ¯ βx¯ : [Λk ⊇ Λk ] = [HdR( x/k) ⊇ ωAx¯/k] = [M ⊃ M1], respecting tensors on both sides, where M¯ and M¯ 1 denote the reduction modulo p of the ∞ contravariant Dieudonnémodule M of the p-divisible group Ax¯[p ] over k and its Hodge ∗,1 ∗ filtration respectively M1 (§2.3). Here Λk is the weight 1 subspace of Λk induced by µk : Gm,k → Gk. Let I+ be the integral model over S ofI+. The first step of the construction ♭ ♭ of γ on k-points is to choose a lift x = (x,βx) ∈ I+(W (k)) ofx ¯ which providesa lift of βx¯, ∗ ∗,1 ∼ 1 A βx : [ΛW(k) ⊇ ΛW (k)] = [HdR( x/W(k)) ⊇ ωAx/W (k)], 1 ∼ and hence a trivialization of M via the canonical isomorphism HdR(Ax/W(k)) = M, and then show that via the trivialization βx the Frobenius of M admits a uniform decomposition µ˜ σ (p) with ∈ G(W(k)) ⊆ GL(Λ∗ ), Rx♭ W (k) Rx♭ W (k) σ Gσ ∼ G where µ˜ W (k) : Gm,W (k) → W (k) = W (k) is the base changealong σ :W(k) →W(k) of µ˜ W(k). The key point here is that the element is integral and hence we can take its reduction Rx♭ modulo p, denoted by x♭ ∈ G(k). Then one proceeds by showing that the image of x♭ in σ R ♭ R Gκ/U− (k) is independent of lifts x (Lem. 5.4.2); we denote it by γx¯♭ . To summarize, the map γ on k-points is given by performing the following operations (§5)

♭ choose x♭ mod p projection σ (1.2.1)x ¯ ∈ I (k) ♭ ∈ G(W (k)) ♭ ∈ G(k) γ ♭ ∈ G/U (k). + Rx Rx x¯ − The technical heart of the construction of γ in Thm. 1.2.1 is to justify the operations in (1.2.1) and to show that these operations can be performed in a relative sense: for every smooth κ-algebra R¯ which (automatically) admits a simple frame (equivalently, ♭ a crystalline prism if one prefers) and every pointx ¯ ∈ I+(R¯), we can construct a point σ ¯ γx¯♭ ∈ Gκ/U− (R) whose specialization at geometric points coincides with (1.2.1); see Prop. 5.4.1. This relative construction relies on relative classifications of p-divisible groups as in [dJ95] and is more complicated in the sense that in the relative setting we need to compare not only different lifts x♭ as aforementioned, but also different choices of simple frames for R¯. The independenceof these two different types of choices are proved via matrices calcu- σ lations; see §5.4. Finally the global map γ :I+ → Gκ/U− is obtained by first constructing it on Zariski opens of I+ and then gluing the local maps together. We now give some comments on the comparison of ζ and η. Zhang’s construction of ζ uses the global geometry over characteristic p, namely the language of G-zips (which is somewhat complicated: for example, a G-torsor involves three torsors plus some delicate zip relations) but follows in spirit the original intuitive definition of EO stratification for µ Ag since the stack G-Zip can be viewed as the moduli space of BT 1’s while the universal 4 Q. YAN

G-zip for ζ corresponds to A[p], the universal BT 1 over S. In particular ζ is determined by A[p]. In contrast, the construction of η is local and group-theoretic; it avoids the fancy language of G-zips and uses only one torsor, I+. But since it does not start with A[p], in the end the dependence of γ (hence of η) on A[p] is obscured. From our local construction σ one sees better the role that the zip group Eµ = P+ ⋉ U− plays in the business of zip ♭ ♭ period map. For example, given a k-pointx ¯ of the P+-torsor I+, different lifts x produce σ the same U− -coset in G(k); this coincides with Faltings deformation theory which says ∞ that the deformation of the p-divisible group Ax¯[p ] is controlled by the integral model of U−. The proof of Thm. 1.2.2 is not formal, partly because the canonical isomorphism can µ [Gκ/Eµ] =∼ G-Zip is not formal. This work has a certain amount of overlap (not on main results) with my PhD thesis [Yan18]. The connection between these two works will be made in a subsequent paper.

1.3. Notational convention. Throughout the paper we fix a prime number p ≥ 3. The Dieudonnécrystals (resp. modules) used in this paper are contravariant. Let R be a ring and M an R-module. If σ : R → R is a ring endomorphismwe write Mσ = σ∗M for the base ∗ change M ⊗R,σ R. If M is finite locally free, we denote by M its dual R-module. Then we can have the canonical identification M⊗ =∼ M∗,⊗ of R-modules, where M⊗ is the direct sum of all R-modules obtained from M by applying the operations of taking duals, tensor products, can symmetric powers and exterior powers. Here, as a general convention, the notation “ =∼ ” means canonical isomorphism between mathematical objects. For any R-automorphism f : M =∼ M, we have an induced isomorphism ( f −1)∗ : M∗ → M∗,a 7→ f −1 ◦a, and hence a can canonical isomorphism of R-group schemes (·)∨ :GL(M) =∼ GL(M∗), g 7−→ g∨ := (g−1)∗. We also use the letter M to denotean Levi subgroup(of some algebraicgroup)but it shall be always clear from the context whether M is a module or an algebraic group. The decoration (¯ ) usually indicates that the object in question is over the characteristic p world or is the reduction modulo p of ( ); it shall be clear if it has some other meaning. For an Fp-algebra R¯, we use σ : R¯ → R¯ for the absolute (i.e., p-power) Frobenius of R¯. If X is a scheme over R¯, we write X σ for its pull back along σ and σ : X → X σ the relative Frobenius over R¯. In particular, when X is defined over Fp, sometimes we also write σ : X → X for the composition of the relative Frobenius of X with the canonical can isomorphism σ : X σ =∼ X. Similarly, if f : X → Y is a map between objects over R¯, we write f σ for its base change along σ : R¯ → R¯. Now let k be a perfect field and G a group scheme over W(k), which is defined over Zp. Fora W(k)-algebra R with a Frobenius lift σ = σR : R → R over W(k), we often denote by (1.3.1) σ : G(R) → G(R) the homomorphism induced by σ : R → R (note that σ : R → R is onlya Zp-endomorphism, butnot a W(k)-endomorphism in general). We abuse language and call also (1.3.1) “Frobe- nius” of G. In case G is defined over Fp, this Frobenius coincides with relative Frobenius mentioned above. In this paper, for quotient stacks we systematically use right actions instead of left or mixed actions; for example, the stack [Gκ/Eµ] in this paper corresponds to [Eµ\Gκ] in the literature.

1.4. Acknowledgements. The main idea of this work has its origin in my PhD thesis [Yan18] during the course of which I received help from many people, including Fabrizio Andreatta, Bas Edixhoven, Ulrich Goertz, Bart de Smit and Torsten Wedhorn; their help ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 5 continues to contribute in the context of this work. Hence, it is my pleasure to express my gratitude to all of them once again. I thank Chao Zhang for his encouragement and for answering many of my questions over the years. I thank Liang Xiao for suggestions on the writing of this paper and answering many questions on topics of Shimura varieties. I thank Lei Fu for patiently explaining the details of local systems and other things which has indirectly contributed to this work. While working on this paper, I moved from Yau Mathematical Sciences Center, Tsinghua University to the Morningside Center of Math- ematics, Chinese Academy of Sciences. I thank both of these institutions as well as my mentors Zongbin Chen and Xu Shen for their support.

2. CLASSIFICATION OF p-DIVISIBLE GROUPS (RECOLLECTION) Throughout this section we let k be a perfect ﬁeld of characteristic p and denote by σ : W(k) → W(k) its unique ring automorphism inducing the absolute Frobenius of k.

2.1. Existence of simple frames. Lemma 2.1.1. Let R¯ be a k algebra which Zariski locally admits a finite p-basis ([dJ95, Def. 1.1.1], or [BM90, Def. 1.1.1]). The following holds: (1) There exists a p-complete flat W(k)-algebra R lifting R¯ (i.e., R/pR =∼ R¯), which is formally smooth over W (k) with respect to the p-adic topology. Such an R is unique up to (nonunique) isomorphisms and we call it a lift of R¯. (2) There is a ring endomorphism σ = σR : R → R lifting the absolute Frobenius of R¯, which is compatible with σ : W(k) → W(k). We call it a Frobenius lift of R over W(k). (3) Let R¯,R be as above and A¯ an étale R¯ algebra. Then there exists a formally étale R- algebra A (for the p-adic topology), unique up to unique isomorphism, such that A lifts A¯ and the structure ring homomorphism R → A lifts the structure homomorphism R¯ → A¯. Moreover, every Frobenius lift σR : R → R of R over W(k) extends uniquely to a Frobenius lift σA : A → A of A over W(k). (4) Let (R,σ) be as above. If m is a maximal idea of R, then σ extends uniquely to a Frobe- nius lift of the m-adic completion Rm of R, which is a lift of the m-adic completion of R¯. b Proof. (1) and (2) is a special case of [Kim15, Lem. 2.1] (take I = (p)) and (3) is a special case of the first part of [Kim15, Lem. 2.5 ]. For (4), note first that σ(m) ⊆ m. This follows from the fact that m contains p, and the fact that the morphism SpecR¯ → SpecR¯ induced by the absolute Frobenius of R¯ is identity on topological spaces. Hence we can define i σ : Rm → Rm by sending an element (r ) ∈ limR/m = Rm to (σ(r )) ∈ Rm. Rm i i ←− i i b b b i b b Example 2.1.2 ([BM90, 1.1.2]). The main examples of R¯ in our later applications are: (1) R¯ is a perfect k-algebra (the empty p-basis case). In this case, the unique simple frame of R¯ (up to unique isomorphism) is given by (W(R¯),σ). (2) R¯ is a smooth k-algebra of finite type. Here Zariski locally R¯ indeed admits a finite p- basis: Zariski locally R¯ is étale over some polynomial algebra A¯ = k[x1,··· ,xn] which has the standard p-basis {x1,··· ,xn}; then the image of this p-basis in R¯ form a p-basis ¯ ¯ ¯ ¯ p of R, as the relative Frobenius map A ⊗σ,A¯ R → R, a ⊗ r 7→ ar is an isomorphism (hence the Frobenius σ : R¯ → R¯ can be identified with the canonical ring map R¯ → ¯ ¯ A ⊗σ,A¯ R,r 7→ 1 ⊗ r). 6 Q. YAN

Definition 2.1.3. Let R¯ be as in Lem. 2.1.1. A simple frame of R¯, relative to W(k), isa pair R = (R,σ), where R is a lift of R¯ and σ : R → R is a Frobenius lift of R. Remark 2.1.4. A simple frame (R,σ) overW(k) of R¯ is the same thing as a crystalline prismatic prism over the base prism (W(k),σ) in the sense of Bhatt-Scholze [BS21]. Hence in fancier language, simple frames of R¯ should perhaps be termed as (crystalline) prismatic charts of R¯. 2.2. Classification of p-divisible groups over R¯. Let R¯ be as in Lem. 2.1.1 and R = (R,σ) a simple frame of R¯. Till the end of this section, we assume further that R¯ is as in Exam. 2.1.2. As a preparation for later sections, we review in this subsection results on classification of p-divisible groups over R¯ (and over R in the next subsection §2.3), in terms of linear data over the simple frame (R,σ). We denote by ΩR the module of p-adically continuous differentials of R, i.e., b 1 Ω := limΩ n . R ←− (R/p R)/W(k) b n It is a finite projective R-module due to the finite p-basis assumption on R¯. We denote by DM(R,∇) the category of Dieudonnémodules with connections. Here a Dieudonne´ module with connection (or simply a Dieudonne´ module) over R (or simply over R when σ is chosen) is a tuple (M,F,V,∇M ), where M is a finite locally free R-module and F : Mσ → M, V : M → Mσ are maps between R-modules such that

(2.2.1) F ◦ V = p · idMσ ; V ◦ F = p · idM, and where ∇M : M → M ⊗R ΩR is an integrable topologically quasi-nilpotent connection over the p-adically continuousb derivation dR : R → ΩR of R, with respect to which F is ∗ horizontal, i.e., ∇M ◦ F = (F ⊗ id ) ◦ σ (∇M). b ΩR For a p-divisible group H¯ overb R¯, we denote by D∗(H¯ ) the Dieudonnécrystal1 of H¯ as in [BBM82], which coincides with the construction in [Mes72] up to duality: to be precise, our D∗(H¯ ) here corresponds to the Dieudonnécrystal D(H¯ ∗) in [Mes72], with H¯ ∗ the dual p-divisible group of H¯ . Following usual convention, we write D∗(H¯ )(R) for the evaluation of D∗(H¯ ) at the canonical PD-thickening R ։ R¯. By functoriality of the formation of Dieudonnécrystals, we have D∗,σ(H¯ )= D∗(H¯ σ), where D∗,σ(H¯ ) is the pullback along σ : R¯ → R¯ of D∗(H¯ ). Consequently we have canonical isomorphism D∗,σ(H¯ )(R) =∼ D∗(H¯ )σ of R-modules. The Frobenius H¯ → H¯ σ and Verschiebung H¯ → H¯ σ induces morphism of crystals, F : D∗(H¯ σ) → D∗(H¯ ), V : D∗(H¯ ) → D∗(H¯ σ), ։ ¯ such that F◦V = p·idD∗(H¯ ) and V◦F = p·idD∗(H¯ σ). Evaluating at the thickening R R we obtain R-linear maps F,V for D∗(H¯ )(R), just like an object in DM(R,∇) satisfying (2.2.1). Denote by BT/R¯ the category of p-divisible groups over R¯. The following classification result is known. Remark 2.2.1. If H = A¯[p∞] for some abelian scheme A¯ over R¯ (the case we mostly concern for later applications), we have canonical isomorphism of Dieudonnécrystals ([BBM82, 3.3.7, 2.5.6]), ∗ ¯ ∼ ∗ ¯ ∼ 1 cris D (H) = D (A) = R πCRIS,∗OA¯ ,

1The superscript ∗ in D∗(H¯ ) is used to indicate that our Dieudonnécrystal here is contravariant. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 7 where π : A¯ → SpecR¯ is the structure morphism. It follows then that we have the following canonical isomorphism of R-modules, which is Frobenius equivariant 1 ¯ ∼ ∗ ¯ (2.2.2) Hcris(A/R) = D (H)(R). Theorem 2.2.2. For any p-divisible group H¯ over R¯, there exists a natural connection ∗ ∇M : M → M ⊗R ΩR for M = D (H¯ )(R) such that the tuple b (2.2.3) M = (M, F,V,∇M) is an object in DM(R,∇). Moreover, such an assignment gives an equivalenceof categories between BT/R¯ and DM(R,∇). Proof. If R¯ a perfect k-algebra, this is a (unpublished) result of Gabber, relying on a result of Berthelot [Ber80] where the case of a perfect discrete valuation ring is dealt; see also [Lau13] and [SW13] for different proofs. In this case, the connection can even be sup- pressed in the definition of a Dieudonnémodule. If R¯ is a smooth k-algebra of finite type, this follows from [dJ95, 4.1.1, 2.3.4, 2.4.8]: indeed, since R¯ satisfies [dJ95, 1.3.1.1] by (1.3.2.1) in loc. cit. and X = SpecR¯ satisfies the hyperthesis of [dJ95, 4.1.1] by (2.4.7.2) in loc. cit.

2.3. Classification of p-divisible groups over R. The same setting as in the previous subsection §2.2. Now we start with a p-divisible group H over R and write H¯ = H ⊗R R¯. For the p-divisible group H∗ there is constructed in [Mes72, IV. 1.14] a universal extension ∗ ∗ 0 → ωH → E(H ) → H → 0; taking Lie (following notation in loc. cit.), we get an exact sequence of locally free R-modules ∗ ∗ 0 → ωH → Lie E(H ) → Lie(H ) → 0 where ωH is the sheaf of invariant differential of H. Moreover, it follows from the construction of D∗(H¯ ) that we have canonical isomorphism Lie E(H∗) =∼ D∗(H¯ )(R) of R-modules ([Mes72, IV. 2.5.4], see also [BBM82, 3.3.5]) and thus we canidentify them. Similarly we have an exact sequence for H¯ , ∗ ¯ ¯ ¯ ∗ 0 → ωH¯ → D (H)(R) → Lie(H ) → 0 ∗ ∗ Here we stress that the submodule ωH ⊆ D (H¯ )(R) is a locally directsummand of D (H¯ )(R) ∗ ∗ which lifts the locally direct summand ω ¯ ⊆ D (H¯ )(R¯) of D (H¯ )(R¯). Let M ∈ BT/R¯ be H the Dieudonnémodule corresponding to H¯ . Write F¯ : M¯ σ → M¯ for the reduction modulo ¯ 1 ¯ p of F. Set M := ωH¯ ; it is called the Hodge filtration of M. Then we have the relation, (2.3.1) M¯ 1,σ = Ker(F¯) ⊆ M¯ σ. Denote by BT/R the common category of p-divisible groups over SpecR and over 1 SpfR (justified by [dJ95, 2.4.4])and by AFDM(R,∇) the category of tuples (M,M ,F,V,∇M ), 1 where (M,F,V,∇M ) is an object in DM(R,∇), and where M ⊆ M is a locally direct summand, lifting the locally direct summand M¯ 1 ⊂ M¯ . Morphisms are obvious ones. We call an object in AFDM(R,∇) an admissibly filtered Dieudonne´ module over R over R (or simply over R, when σ is chosen); cf. [Mes72, V. 1.4]. Remark 2.3.1. For the purpose of future reference, we recall the following well-known comparison results, that underlines the crystalline Dieudonnétheory. If A is an abelian scheme over R, with A¯ its pullback to R¯, we have canonical isomorphism of R-modules ([Ber74, V. 2.3.7], also cf. [BO78, 7.26.3]) can 1 ∼ 1 ¯ (2.3.2) HdR(A/R) = Hcris(A/R). 8 Q. YAN

Moreover, we have the following a canonical isomorphism of ﬁltered R-modules can ∗ 1 D (H¯ )(R) ⊇ ωH =∼ H (A/R) ⊇ ω . dR A ∗ Theorem 2.3.2. The assignment G 7→ D (H¯ )(R),ωH ,F,V,∇M gives a category equivalence between BT/R and AFDM(R,∇). Proof. To lift a p-divisible group H¯ over R¯ to R is the same thing as lifting its dual H¯ ∗ to R, the assertion follows from the combination of Thm. 2.2.2 and Grothendieck-Messing deformation theory ([Mes72, V, 1.6]) which in our setting says that lifting H¯ ∗ to R is equiv- ∗ ¯ ¯ alent to lifting the locally direct summand ωH¯ ⊆ D (H)(R) to a locally direct summand of D∗(H¯ )(R). 2.4. Base change along simple frames. Let R¯′ be as in Exam. 2.1.2 and R′ = (R′,σ′) a simple frame of R¯′ over W(k). Let f : R → R′ be a morphism of simple frames over W (k) (i.e., a map f : R → R′ of W(k)-algebras, compatible with Frobenius lifts). Then we have commutative diagrams as below induced by base change along f in obvious senses. ∼ ∼ (2.4.1) BT/R¯ = / DM(R,∇) BT/R = / AFDM(R,∇)

∼ ∼ BT/R¯′ = / DM(R′,∇) BT/R′ = / AFDM(R′,∇) 2.5. Partially divided Frobenius. The setting is the same as in the previous two subsec- 1 tions §2.2, §2.3. Let (M,M ,F,V,∇M ) be an object in AFDM(R,∇). Assume now that the submodule M1 ⊂ M is a (not just locally) direct summand of M. Let M = M1 ⊕ M0 be a decomposition of M into R-submodules; such a decomposition is called a normal decomposition of M (or simply of M). Define the following maps, 1 (2.5.1) Γ := F| 1,σ ⊕ F| 0,σ , f := pid 1,σ ⊕ id 0,σ , p M M M M so that we have F = Γ ◦ f. We shall call Γ the partially divided Frobenius of M w.r.t. the normal decomposition M = M1 ⊕M0. The next lemma describes the most important property of Γ, with the point being that a normal decomposition of M enables us to decompose F as the composition of an integral part Γ with a rational part f. Such a decomposition is important for later applications. Lemma 2.5.1. The map Γ defiend in (2.5.1) is an isomorphism of R-modules. Proof. Let us first note that Γ is surjective: indeed from (2.3.1) we obtain the equality displayed below, which implies Im(Γ)= M: F−1(pM)= π−1(M¯ 1,σ)= M1,σ + pMσ = M1,σ ⊕ pM0,σ, where π : Mσ → M¯ σ is the canonical reduction modulo p map. It is enough to show that for every maximal ideal m of R, the pull back to Rm of Γ is an isomorphism. To ease notation, write A = Rm and let (A,σ) be the unique simpleb frame of the m-adic completion of R¯, induced by (Rb,σ) as in Lem. 2.1.1. By functoriality as discussed above (2.4.1), the base change along (R,σ) → (A,σ) of M is equal to the admissibly filtered Dieudonnémodule of H ⊗R A if H is the p-divisible group over R corresponding to M. So we are reduced to show the Γ map over (A,σ) corresponding to H ⊗R A and the 1 0 decomposition MA = MA ⊕ MA is an isomorphism. But as A is local, the source and target ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 9 of Γ : Mσ → M are free A-modules of the same rank, by Nakayama’s lemma the assertion follows from the surjectivity of Γ. We remark that in later sections we will not use the full power of the classification results, Thm. 2.2.2 and Thm. 2.3.2. We only need the fact that given a p-divisible group over R¯ (resp. over R). one can associate with it an object in DM(R,∇) (resp. in AFDM(R,∇)) and such an association is compatible with base change of simple frames.

3. GOOD REDUCTION OF SHIMURA VARIETIES OF HODGETYPE 3.1. Shimura varieties of Hodge type. Let G be a (connected) reductive group over Q and X a G(R) conjugacy class of homomorphisms

h : S := ResC/RGm → GR of algebraic groups over R, such that (G,X) is a Shimura datum in the sense that they satisfy axioms (2.1.1.1)-(2.1.1.3) of [Del79, 2.1.1]. Suppose that V is a finite-dimensional Q-vector space with a perfect alternating pairing ψ and write GSp = GSp(V,ψ) for the corresponding group of symplectic similitudes. Then we get the most important example of Shimura datum (GSp,S±) with S± the Siegel double space, which is defined to × be the set of homomorphisms S → GSpR such that: (1) The C action on VR gives rise to a Hodge structure of type (−1,0) and (0,−1); (2) (x,y) 7→ ψ(x,h(i)y) is (positive or negative) definite on VR. In this paper we consider a Shimura datum (G,X) of Hodge type; i.e., there exists an ± ± p ⊇ embedding of Shimura data (G,X) ֒→ (GSp,S ) for some (GSp,S ). Let K = KpK G(A f ) be an open compact subgroupsuch that Kp ⊆ G(Qp) is a hyperspecialsubgroup and p p that K ⊆ G(A f ) is sufficiently small (hence is neat). The condition that Kp is hyperspecial means that there is a reductive group G over Z(p), which we fix from now on, such that p Kp = G(Zp). The condition that K is sufficiently small guarantees that the double quotient

ShK(G,X)C := G(Q)\X × G(A f )/K has the structure of a smooth quasi-projective complex variety by a theorem of Baily- Borel. Results of Shimura, Deligne, Milne and others imply that, up to isomorphism, ShK(G, X)C has a unique quasi-projective smooth model ShK(G,X) over the reflex field E of (G,X). The reflex field E only depends on the Shimura datum (G, X). For (GSp,S±), the reflex field is Q. 3.2. Integral canonical models. As explained in [Kis10, 2.3.1, 2.3.2], for a given Shimura datum (G,X) with embedding (G,X) ֒→ (GSp,S±), using Zarhin’s trick we may modify (V,ψ) so that there exists a Z(p)-lattice Λ of V with the following property: (1). the pairing ψ induces a perfect Z(p)-pairing on Λ, still denoted by ψ; (2) the embedding G → GSp is induced by an embedding G ֒→ GSp(Λ,ψ) of reductive group schemes over Z(p). From now on, we fix such an embedding and accordingly the modified embedding of Shimura ± -data (G,X) ֒→ (GSp,S ). Set K˜ p = GSp(Zp). By [Kis10, 2.1.2] there exists an open com p p pact subgroup K˜ ⊆ GSp(A f ) containing K such that ι induces an embedding of Shimura varieties over E, .ShK ֒→ ShK˜ ⊗Q E ˜ p Moreover, if K is sufficiently small, ShK˜ has a quasi-projective smooth model over Z(p), denoted by S˜ = S˜ K, which has an explicit moduli interpretation as described in ([Kis17, 1.3.4]). In what follows we always assume that Kp and K˜ p are sufficiently small, and we ˆ ˜ will also fix a Z-lattice ΛZ of the Z(p)-module Λ such that ΛZ ⊗ Z is K-stable. The choice 10 Q. YAN ofsuch a Z-lattice allows one to describe the scheme S˜ as moduli space of polarized abelian varieties (not just up to prime to p-isogeny). In particular, it comes with a universal abelian scheme, denoted by A. Fix a place v of E above p. Denote by OE,(v) the localization at v of the ring of integers OE of E. Denote by S = SK(G,X) the normalization of the schematic closure of ShK in S˜ O p ⊗Z(p) E,(v). Recall that we have the assumption ≥ 3. The following theorem is now well-known and is due to Vasiu and Kisin, independently.

Theorem 3.2.1. The scheme S is smooth over OE,(v) and is the integral canonical model over OE,(v) of ShK.

Strictly speaking, integral canonical model refers to a tower of models {SK}Kp over p p p OE,(v) for the tower {ShK}Kp , with K = K K and K varying; see [Mil92, §2] for its precise meaning. Here we abuse language since soon K will be fixed till the end of this paper. ˜ In particular, we obtain a finite morphism ε : S → S of schemes over OE,(v). We call the pull-back to S of A the universal abelian scheme of S, still denoted by A. Write κ for the residue field of OE,(v) and S = SK for the special fibre of S. In particular, S is a quasi-projective smooth scheme over κ, coming with a universal abelian scheme A = Aκ. In fact, the existence of the hyperspecial subgroup Kp implies that E is unramified at p ([Mil94, 4.7]), and hence we have OE,v = W(κ), where OE,v is the completion of OE,(v) with respect to its maximal ideal. In what follows, we will mainly work over W(κ) or over κ. We will use the same notations for the base change to W (κ) of those objects defined over OE,(v) (e.g., the integral model S).

3.3. Reduction of Hodge cocharacters and their Frobenius twists. As shown in [Kis10, 1.3.2], the Z(p)-reductive group scheme G can be realized as the schematic stabilizer of a ⊗ ∗ ⊗ ﬁnite set of tensors (sα )α ⊆ Λ = (Λ ) ; i.e., for any Z(p)-algebra R, G(R)= {g ∈ GL(Λ∗ ) g(s )= s ,∀α}, R α,R α,R ∗ ⊗ where sα,R ∈ (ΛR) denotes the tensor induced by sα . Here for the functoriality con- ∗ sideration later, we view G as a reductive Z(p)-subgroup scheme of GL(Λ ) via the dual can representation GL(Λ) =∼ GL(Λ∗), can .(∗ι : G ֒→ GSp(Λ,ψ) ֒→ GL(Λ) =∼ GL(Λ (3.3.1)

Write G for the special ﬁbre of G. It is a (connected) reductive group over Fp. For any h ∈ X, there is an associated Hodge cocharacter νh : Gm,C → GC which can be ∗ described as follows. For any C-algebra R, we have R ⊗R C = R × c (R) where c denotes complex conjugation. Then on R-points νh is given by

× × ∗ × × h ,(R ֒→R × c (R) = (R ⊗R C) = S(R) −→ GC(R × where the first inclusion is given by x ∈ R 7→ (x,1). Denote by [µ]C the unique G(C)- conjugacy class in HomC(Gm,C,GC) which contains the inverses of all the νh’s. Let Z = Hom G G Ch G Z Z(p) ( m,Z(p) , ) be the fppf sheaf of cocharacters, and = \ the fpqc quotient sheaf of Z by the adjoint action of G. By [DG11, Chap. XI, Cor. 4.2], the sheaf Z is represented by a smooth separated scheme over Z(p), and it is shown in [Zha18, 2.2.2] that Ch is represented by a disjoint union of connected finite étale schemes over Z(p). Moreover, it is shown in loc. cit. that the C-point of Ch corresponding to the conjugacy class [µ]C ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 11 descends to a W(κ)-point Ch. We call the resulting κ-point of Ch the reduction over κ of [µ]C and denote it by [µ]κ. In fact the conjugacy class [µ]κ admits a representative

(3.3.2) µ : Gm,κ → Gκ.

We choose such a representative µ but note that it is the G(κ)-conjugacy class [µ]κ that is canonically determined by the Shimura datum (G,X). We define a Frobenius twist of µ, ∗ σ σ σ µ σ (3.3.3) µ := σ(µ) : Gm,κ = Gm,κ −−→ Gκ = Gκ, ∗ σ σ where σ µ : Gm,κ → Gκ is the base change of µ along the absolute Frobenius σ : κ → κ of can ∼ σ σ κ. Here we suppress notations = and identify Gκ , resp. Gm,κ with Gκ, resp. Gm,κ since the latter ones are defined over Fp. (−1,0) (0,−1) Every element h ∈ X defines a Hodge decomposition VC = V ⊕ V via the ± ± (−1,0) embedding X ֒→ S . By definition of S , νh(z) acts on V through multiplication (0,−1) by z and on V as the identity. In particular, νh is of weight 1 and 0, and hence µ : Gm,κ → Gκ is of weight −1 and 0. Since the scheme Z is smooth, there exists a GW (κ)- valued cocharacter µ˜ : Gm,W (κ) → GW (κ), which lifts µ. From now on we fix such a lift µ˜ , and define a Frobenius twist of µ˜ along the Frobenius σ : W(κ) → W(κ) as follows ∗ σ σ σ µ˜ σ (3.3.4) µ˜ := σ(µ˜ ) : Gm,W (κ) = Gm,W (κ) −−→ GW (κ) = GW(κ), Gσ σ G where we identify W (κ), resp. Gm,W(κ) with W (κ), resp. Gm,W (κ) since they are de- σ σ fined over Zp already. Clearly µ = σ(µ) is the reduction modulo p of µ˜ = σ(µ˜ ). The ∗ cocharacter µ˜ induces weight decomposition of ΛW(κ) and ΛW(κ) 0 −1 ∗ ∗,0 ∗,1 (3.3.5) ΛW(κ) = ΛW(κ) ⊕ ΛW(κ), ΛW (κ) = ΛW (κ) ⊕ ΛW(κ). 3.4. Some group-theoretic preparations. We first introduce some subgroup schemes of GW(κ) that are induced by µ˜ . Denote by P+ = Pµ ⊆ GW (κ) the scheme theoretic stabilizer −1 ∗ ∗,1 of the filtration ΛW (κ) ⊇ ΛW (κ) (equivalently, of the filtration ΛW(κ) ⊇ ΛW(κ) via dual representations). It is a parabolic subgroup scheme of GW (κ). Similarly we denote by P− = Pµ−1 ⊆ GW (κ) the opposite subgroup scheme of P+. Write U± = U±(µ) ⊆ P± for the corresponding unipotent radicals, and M = P+ ∩ P− for the common Levi subgroup scheme of P− and P+. Note that M is also the centralizer in GW(κ) of µ˜ . The next lemma will become useful in later sections; it can also be seen easily using the .embedding GW (κ) ֒→ GL2g,W(κ) to be discussed right after this lemma Lemma 3.4.1. Let A be a flat W(κ)-algebra such that A¯ := A/pA 6= 0. Then we have −1 −1 µ˜ (p)P+(A)µ˜ (p) ⊆ G(A), µ˜ (p)U+(A)µ˜ (p) ⊆ K1(G)(A), with K1(G)(A) := {g ∈ G(A)|g = 1 ∈ G(A¯)},whereg ¯ denotes the image of g in G(A¯) under the canonical reduction map G(A) → G(A¯).

Proof. Recall the dynamic descriptions of P+ and U+ (see for example [CGP15, 2.1]): −1 P+(A)= {g ∈ G(A) | limµ˜ (t)gµ˜ (t) exists}, t→0 (3.4.1) + −1 U+(A)= {g ∈ P (A) | limµ˜ (t)gµ˜(t) = 1}, t→0 where the condition limµ˜ (t)gµ˜ (t)−1 exists means that the homomorphism of A-group t→0 −1 schemes fµ˜ ,g : Gm,A → GA, t 7→ µ˜ (t)gµ˜(t) , extends to a morphism of A- schemes Fµ˜ ,g : −1 Ga,A → GA, while the condition limµ˜ (t)gµ˜ (t) = 1 requires Fµ˜ ,g(0)= 1 ∈ G(A). t→0 12 Q. YAN

P 1 Now let g ∈ +(A). Since p ∈ Gm(A[ p ]) ∩ Ga(A) (A is p-torsion free), one ﬁnds that −1 µ˜ (p)gµ˜ (p) = fg,µ˜ (p)= Fµ˜ ,g(p) ∈ G(A).

If moreover, g ∈ U+(A), the functoriality of Fµ˜ ,g for the canonical projection A → A¯, viewed as a map between W(κ)-algebras, implies −1 µ˜ (p)gµ˜ (p) = Fµ˜ ,g(p)= 1.

For later applications, we ﬁx an embedding of GW (κ) into GL2g,W(κ) as follows. Choose a W(κ)-basis ∗ v1,··· ,vg,vg+1,··· ,v2g ∈ ΛW (κ) ∗,1 ∗,0 such that the ﬁrst g elements above lies in ΛW(κ) and the remaining ones lie in ΛW(κ). Then ∗ by sending an element h ∈ GL(ΛW(κ)) to the matrix Xh ∈ GL2g,W(κ) such that

h(v1,··· ,v2g) = (v1,··· ,v2g)Xh, ∗ we obtain an isomorphism of W(κ)-group schemes between GL(ΛW (κ)) and GL2g,W (κ). Hence from (3.3.1) we obtain an embedding of GW (κ) into GL2g,W(κ), as W (κ)-reductive group schemes, ∗ ∼ ,(ι : GW (κ)֒→GSp(Λ,ψ)W (κ)֒→GL(ΛW (κ)) = GL2g,W(κ (3.4.2) ′ and accordingly a cocharacter µ˜ := ι ◦ µ˜ of GL2g,W(κ). For every W(κ)- algebra R such that p ∈ R×, we have

′ pIg (3.4.3) µ˜ (p)= ∈ GL2g(R). Ig ′ ′ ′ We denote by P±,U±,M the counterparts of P±,U±,M respectively for the cocharacter ′ µ˜ of GL2g,W(κ). Clearly these subgroups can be described explicitly in term of matrices; I U′ G′ g for example − ⊆ W κ consists of matrices of the form , where ∗ denotes a ( ) ∗ Ig g by g-matrix. It is a general fact that we have (see [Con14, 4.1.10] for example) ′ ′ ′ (3.4.4) P± = P± ∩ G, U± = U± ∩ G, M = M ∩ G. We shall see that the embedding ι in (3.4.2) will enable us to reduce some group- theoretic arguments in later sections to much easier problems like multiplying 2 by 2 block matrices. 1 A S i A S i • 3.5. Tensors on HdR( / ). For all i ≥ 0, write HdR( / ) := R π∗(ΩA/S) for the i-th relative de Rham cohomology of A over S, where π : A → S is the structure morphism. As is shown in [BBM82, 2.5.2] (generalizing the well-known case where the base is a ﬁeld to the case where the base is an arbitrary scheme), for all i ≥ 0 (resp. all r,s ≥ 0), the O i A S s r S-module HdR( / ) (resp. R π∗(ΩA/S)) are locally free and their formations commute with arbitrary base change. Moreover, the Hodge-de Rham spectral sequence r,s s r r+s HE = R π∗(ΩA/S) =⇒ HdR (A/S), degenerates at E1-page. In particular, we have an exact sequence of locally free OS- modules 1 1 (3.5.1) 0 → ωA/S → HdR(A/S) → R π∗OS → 0, 1 1 A S where the Hodge ﬁltration ωA/S = π∗ΩA/S is of rankg and HdR( / ) is of rank 2g. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 13

1 For typographical reason, in this and the next subsections we write VdR for HdR(A/S). Below we explain the so-called “(integral) de Rham tensors” on VdR. We will need these tensors to deﬁne interesting torsors over S in §3.7. The Q-representation V of G coming from the embedding G ֒→ GSp(V,ψ) gives rise 1 an an to a Q-local system VB,Q = R π∗ Q on ShK,C. Below we ﬁrst explain how the tensors ⊗ ∗ ⊗ (sα )α ⊆ V that cut out G inside GL(V ) induce global sections on VB ; cf. [Kis10, 2.2] and [CS17, 2.3]. Write: ˜ p ˜ ± p ′ ShK = X × G(A f )/K, ShK′ = S × GSp(A f )/K . ˜ an ˜ ˜ Then the canonical projection ShK → ShK,C (resp. ShK′ → ShK′,C,an) makes ShK a G(Q)- an ˜ an torsor over ShK,C (resp. ShK′ a GSp(Q)-torsor over ShK′,C). To make distinctions, we ′ an ′ ′ an write A for the universal (analytic) abelian variety over ShK′,C with π : A → ShK′,C the structure map. Then we know that the isogeny class of A′ corresponds to the dual of 1 ′ an the Q-local system R π∗Q (viewed as a variation of Hodge structure over ShK′,C), which in turn corresponds to the constant Q-local system V over the cover Sh˜K′ , together with the structure morphism GSp(Q) → GL(V). Clearly we have the following commutative diagram / Sh˜K / Sh˜K′

an / an ShK,C ShK′,C, where the top horizontal map is equivariant w.r.t. the group homomorphism G(Q) → an GSp(Q). Hence the variation of Hodge structure VB,Q over ShK,C, that corresponds to the isogeny class of A, also corresponds to the constant Q-local system V ∗ over the cover Sh˜K, can together with the representation G(Q) ֒→ GSp(Q) ֒→ GL(V ) =∼ GL(V ∗). Now it is clear ⊗ that the set of tensors (sα )α ⊆ V gives rise to a set of global sections (we simply call them Betti-tensors), an ⊗ (3.5.2) (sα B)α ⊆ Γ ShK ,V . , ,C B,Q By the Riemann-Hilbert correspondence [Del70] we have the following equivalences of tensor categories, O (·)⊗ Shan an an K,C an (·) reg LocC(ShK,C) −−−−−−−→ VBIC(ShK,C) ←−− VBIC(ShK,C) , =∼ =∼ an an an where LocC(ShK,C) denotes the tensor category of C-local systems over ShK , VBIC(ShK,C) reg (resp. VBIC(ShK,C) ) denotes the tensor category of holomorphic (resp. algebraic) vector bundles with integrable connections (resp. with integrable connections, with regular singularities at inﬁnity). Under these category equivalences, the C-local system VB,C := 1 VB,Q ⊗ C corresponds to the vector bundle VdR,C := HdR(A/ShK,C) over ShK,C and we an have a parallel isomorphism of analytic vector bundles over ShK , an ǫ : V C ⊗ O an =∼ V , B, ShK,C dR,C where the left hand side is equipped with trivial connections. Hence by transport of structure, we obtain from the Betti tensors (3.5.2) our desired horizontal global sections (call them de Rham tensors), ⊗ (3.5.3) (sα dR)α ⊆ Γ ShK C,V , , , dR,C 14 Q. YAN

an an an an ⊗ such that ǫ(sα,B)= sα,dR, with sα,dR ∈ Γ(ShK,C,(VdR,C) ) understood. Here note that V⊗ an although B,C does not live inside LocC(ShK,C), each Betti tensor sα,B lies in some direct V⊗ an summand of B,C which does live inside LocC(ShK,C).

Proposition 3.5.1 ([Kis10, 2.2.1, 2.3.9]). Each of the de Rham tensors sα,dR in (3.5.3) descends to OE,(v); i.e., there exist (necessarily unique) horizontal global sections ⊗ (sα dR)α ⊆ Γ S,V , , dR whose restriction on ShK,C are the tensors in (3.5.3).

We call the global sections sα,dR obtained here (integral) de Rham tensors. 3.6. Crystalline nature of integral de Rham tensors. In this subsection we make clear of a (perhaps well-known) consequence of Prop. 3.5.1 concerning the property of integral tensors sα,dR being horizontal, as it will be needed later. Let R be a p-complete flat W (κ)-algebra and x,y : SpecR → S morphisms of W(κ)- schemes which are congruent modulo p. Write VdR,x,sα,dR,x the pull backs to R along x of VdR,sα,dR respectively; similarly for VdR,y,sα,dR,y. It is a well-known fact that the vector bundle VdR on S has an F-crystal structure in the sense of [Kat73] and the Gauss-Manin connection on VdR provides a canonical isomorphism of R-modules (see for example (1.2) of loc. cit.), ε(x,y) : VdR,x =∼ VdR,y. Since sα,dR is horizontal, we have ε(x,y) s = s . α,dR,x α,dR,y 3.7. Torsors over Shimura varieties. For simplicity, from now on we write s instead of (sα )α ; similarly we simply write sdR instead of (sα,dR)α . Fora W(κ)-morphism x : SpecR → S, we also write sdR,R for sdR,x (i.e., the pull-back of sdR along x), if the structure morphism x is understood. However, in order to keep notations suggestive, we still write 1 HdR(A/S) instead of VdR. Now we are ready to define two S-schemes below, which will play important roles later, ∗ 1 I := IsomO [Λ ,s ] ⊗ OS, [H (A/S),sdR] , S W(κ) W (κ) dR ∗ ∗,1 1 I := IsomO [Λ ⊇ Λ ,s ] ⊗ OS, [H (A/S) ⊇ ωA S,sdR] . + S W (κ) W(κ) W (κ) dR / ♭ Unwinding definition: for every W(κ)-algebra R, a point x ∈ I+(R) consists of a pair (x,βx), where x ∈ S(R) corresponds to a morphism x : SpecR → S of W (κ)-schemes, and ∗ ∗,1 1 βx : Λ ⊇ Λ =∼ H (Ax/R) ⊇ ωx R R dR is an isomorphism of R-modules, which maps sR to sdR,R termwise. Here following our notational convention we denote Ax,ωx,sdR,R the pull back to R along x of A, ωA/S,sdR respectively. We have similar descriptions for points x ∈ I(R) by omitting filtrations in βx. Clearly G resp. P+ naturally acts on I resp. I+ on the right, freely and transitively. To be precise, the action of a section h ∈ G(R) (resp. h ∈ P+(R)) on I(R) (resp. on I+(R)) is given by ♭ x · h = (x,βx) · h = (x,βxh).

Lemma 3.7.1. The scheme I+ (resp. I)isa P+-torsor (resp. G-torsor) over S.

Proof. We only show here the assertion for I+ as the assertion for I can be shown in the same way; or maybe better, it follows from the fact that I is the push-forward of I+ along .the homomorphism P+ ֒→ G Since I+ is an S-scheme of finite presentation and the action of P+ on I+ is free and transitive, it suffices to show that I+ is faithfully flat over S. In other words, we need to ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 15 show that for each closed point s of S, the pullback of I+ to SpecOS,s along the natural map ˆ ˆ SpecOS,s → I+, denoted by I+,sˆ,isa P+-torsor over SpecOS,s. Since we know already that when restricted to the generic fibre ShK of S, I+ is a P+-torsor over S (as it is so after further base change to ShK,C), we may assume that s lies in the special fibre of S. But as stated in [Zha18, Lem. 2.3.2, 2)], it is essentially shown in [Kis10] that I+,sˆ is a trivial P+-torsor over OS,s. b

4. THE ZIP PERIOD MAP ζ FOR S In this section we review the zip period map ζ : S −→ G-Zipµ, that Zhang constructs in [Zha18], following loc. cit. and [Wor13].

4.1. The stack of G-zips. Let µ : Gm,κ → Gκ be as in (3.3.2), and

M, U± ⊆ P±, the special fibres of the algebraic groups M,U± ⊆ P± defined in §3.4. Recall our notational can σ σ ∼ convention in §1.3: for a subgroup H ⊆ Gκ, we write H ⊆ Gκ = Gκ for its base change along σ : κ → κ. Definition 4.1.1 ([PWZ15, 3.1]). Let T be a scheme over κ. A G-zip of type µ over T is a quadruple I = (I,I+,I−,ι) consisting of a right G-torsor I over T ,a P+-torsor I+ ⊆ I, and σ σ P− -torsor I− ⊆ I, and an isomorphism of M -torsors: σ σ ∼ σ ι : I+ /U+ = I−/U− . ′ ′ ′ ′ ′ A morphism I → I = (I ,I+,I−,ι ) of G-zips of type µ over T consists of a G-equivariant ′ ′ ′ morphism I → I which sends I+ to I+ and I− to I−, and which is compatible with the isomorphisms ι and ι′. The category of G-zips over all κ-schemes form an algebraic stack over κ. σ For the cocharacter µ there is an associated group scheme Eµ ⊆ P+ ×P− , called the zip group of µ, which is given on points of a κ-scheme T by

σ (4.1.1) Eµ(T)= {(u+m,u−σ(m)) | m ∈ M(T ),u+ ∈ U+(T ),u− ∈ U− (T )}.

Here we use the decomposition of κ-groups P+ = U+ ⋊M, P− = U− ⋊M. Clearly we have an isomorphism of κ-group schemes

U+ ⋊ M ⋉U− =∼ Eµ, (u+,m,u−) 7→ u+mu−, where we omit describing the group law of the LHS. In particular, Eµ is a smooth connected linear algebraic group over κ. Consider its right action on Gκ by

−1 −1 −1 (4.1.2) g · (p+, p−)= p+ gp− = m u+ gu−σ(m).

With respect to this action one can form the quotientstack [Gκ/Eµ] over κ. Hereweusethe right action while in [PWZ11] and [PWZ15], as well as in [Zha18], the left action is used, but apparently the resulting stacks [Eµ\Gκ] and [Gκ/Eµ] are canonically isomorphic. µ Theorem 4.1.2 ([PWZ15, 3.11, 3.12]). The stacks G-Zip and [Gκ/Eµ] are naturally isomorphic. They are smooth algebraic stacks of dimension 0 over κ. 16 Q. YAN

4.2. The universal G-zip over S. In this subsection we give definitions of those torsors appearing in the universal G-zip constructed in [Zha18] and refer to loc. cit. for more details. 1 For the relative de Rham cohomology HdR(A/S), apart from the well-known Hodge 1 filtration ωA/S ⊆ HdR(A/S), there is another filtration 1 0 • ωA/S := R π∗H (ΩA/S), 1 called the conjugate filtration of HdR(A/S), fitting into the short exact sequence 1 1 • (4.2.1) 0 → ωA/S → HdR(A/S) → π∗H (ΩA/S) → 0, of locally free OS-modules. This short exact sequence is a particular consequence of the 2 degeneration at E2-page of the conjugate spectral sequence r,s r s • r+s conjE2 := R π∗H (ΩA/S) =⇒ HdR (A/S). As discussed in [MW04, 7.1-7.5], Cartier isomorphisms ((7.4) in loc. cit.) induces the following direct-summand-wise isomorphism of OS-modules, σ 1 σ 1 (4.2.2) δ : ωA S ⊕ H (A/S)/ωA S =∼ H (A/S)/ωA ⊕ ωA . / dR / dR /S /S We call the direct-summand-wise isomorphism δ the zip isomorphism associated with the 1 universal abelian scheme A over S. The tuple HdR(A/S),ωA/S,ωA/S,δ is an “F-zip” in the terminology of [MW04]. We call it the universal F-zip over S. The universal G- zip over S, to be defined below, should be viewed as the universal F-zip over S with a G-structure. Remark 4.2.1. The zip isomorphism δ above can also be constructed using crystalline Dieudonnétheory, without explicit reference to Cartier isomorphisms, as is done in [Zha18]. 1 ∼ ∗ ∞ ∼ ∗ Indeed, there are canonical isomorphism of OS-modules HdR(A/S) = D (A[p ])S = D (A)S, ∗ where D (A)S is the restriction on SZar (namely, the Zariski site of S) of the Dieudonné crystal D∗(A) associated to A ([BBM82, 2.5.7]). Under this canonical isomorphism, the Hodge filtration on both sides coincide ([BBM82, 2.5.8]) and the conjugate filtration ωA/S ∗ ∗ σ is equal to Ker(V : D (A)S → D (A)S ). Then one can proceed to construct δ in the same way as described in §6.1 below. ∗ ∗ ∗ ∗ Write Λκ = Λ0 ⊕ Λ−1 for the weight decomposition of Λκ induced by the inverse of can σ ∗ ∼ ∗,σ µ . Due to the canonical isomorphism Λκ = Λκ , such a decomposition can be described ∗ ∗,0 ∗,1 ∗ in a different way: if Λκ = Λ ⊕ Λ is the weight decomposition of Λκ induced by µ as in (3.3.5), we have ∗ −1 ∗,0,σ ∗ −1 ∗,1,σ (4.2.3) Λ0 = can (Λ ), Λ−1 = can (Λ ). ∗,0,σ ∗,0 σ ∗,1,σ σ Here Λ := (Λ ) ; similarly for Λ . Then P− is the schematic stabilizer in Gκ of ∗ ∗ the filtration Λ0 ⊆ Λκ. Now we come to the definitions of the following κ-schemes, ∗ O 1 A I := IsomOS [Λκ, sκ] ⊗ S, [HdR( /S), sdR] , ∗ ∗,1 O 1 A (4.2.4) I+ := IsomOS [Λκ ⊇ Λ , sκ] ⊗ S, [HdR( /S) ⊇ ωA/S, sdR] , ∗ ∗ 1 I := IsomO [ Λ ⊆ Λ , sκ] ⊗ O , [ωA ⊆ H (A/S), s ] . − S 0 κ S /S dR dR Clearly I and I+ here are special fibres of I and I+ respectively (§3.7). The group Gκ (resp. σ P+, resp. P− ) acts on I (resp. I+, resp. I−) on the right, as in (4.1.2).

2 The denegeration of the conjugate spectral sequence at E2-page follows from that of the Hodge-de Rham spectral sequence at E1-page; see for example [Kat70, 2.3.2]. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 17

Theorem 4.2.2 ([Zha18, 2.4.1, 3.1.2]). (1). The scheme I (resp. I+, resp. I−) is a Gκ- σ torsor (resp. P+-torsor, resp. P− -torsor) over S. (2). The direct-summand-wise isomorphism δ in (4.2.2) induces an isomorphism σ σ ∼ σ ι :I+/U+ = I−/U− .

Hence, the tuple I := (I,I+,I−,ι) is a G-zip of type µ over S, inducing a morphism of algebraic stacks over κ µ ζ : S −→ G-Zip =∼ [Gκ/Eµ]. (3). The map ζ is a smooth map of κ-stacks.

We shall call the tuple I := (I,I+,I−,ι) the universal G-zip over S and ζ the zip period map for S. As indicated at the beginning of this section, our focus in this paper is the map ζ itself. But for the reader’s curiosity, we end this section by giving the definition of EO S strata for F¯ p . µ Definition 4.2.3 ([Zha18, 3.1.1]). Set k = F¯ p. For a geometric point w : Speck → G-Zip , w the EO stratum of Sk associated to w, denoted by Sk , is defined to be the fibre of w under µ the zip period map ζk : Sk → G-Zipk . Merely by definition of ζ, being a morphism of algebraic stacks, and the property of w [Gκ/Eµ] being a 0-dimensionalstack, one learns that each Sk is a locally closed subscheme w of Sk. Moreover, the smoothness of ζ implies that each Sk is automatically a smooth κ- scheme. See [Zha18] for more properties of these EO strata.

σ 5. CONSTRUCTION OF γ :I+ → Gκ/U− σ The main goal of this section is to construct a morphism of κ-schemes γ :I+ → Gκ/U− and to deduce from it a morphism of κ-stacks, η : S → [Gκ/Eµ]. The comparison of η σ σ with ζ will be given in §6. Here Gκ/U− is the quotient fpqc sheaf of Gκ by the U− -action via right multiplication. It is represented by a scheme, smooth separated of ﬁnite type σ over κ, and the canonical projection Gκ → Gκ/U− is smooth; see for example [Mil17, 7.15, 7.17].

5.1. Trivialized Frobenius. Let R¯ be a κ-algebra which Zariski locally admits a finite p- ♭ basis, andx ¯ = (x¯,βx¯) ∈ I+(R¯) an R¯-point of I+; (cf. §3.7). Let R = (R,σ) be a simple ♭ ♭ ♭ frame of R¯ (which exists by Lem. 2.1.1) and x = (x,βx) ∈ I+(R) aliftofx ¯ ; here x exists since I+ is smooth over W(κ). ∞ By Thm. 2.3.2, the p-divisible group Ax[p ] corresponds to an object in AFDM(R,∇), namely an admissibly filtered Dieudonnémodule over R = (R,σ), 1 ∗ ∞ M = (M,F,V,∇M ,Mx ), with M = D (Ax[p ])(R), where, with the simple frame R fixed, the Dieudonnémodule (M,F,V,∇M ) is determined ∞ 1 by Ax¯[p ], and hencebyx ¯, while the admissible filtration Mx ⊆ M depends on the lift x of x¯. In particular, depending on the objects (x orx ¯) we want to emphasize, we can write σ F = Fx = Fx¯ : M → M, By Rem. 2.3.1 that we have canonical isomorphism of filtered R-modules

can 1 1 (5.1.1) M ⊇ M =∼ H (Ax/R) ⊇ ωx . x dR 18 Q. YAN

For this reason we identify them and this identification equips M with a set of tensors ⊗ sdR,R ∈ M . With this identification we view βx as a trivialization of the filtered module M ⊇ M1 , x ∗ ∗,1 ∼ 1 βx : ΛR ⊇ ΛR = M ⊇ Mx . can ∗ ∗ ∼ ∗ ∗ ∗ Note that since Λ isafree Z(p)-module, we have canonical isomorphisms ε : (ΛR,sR) = (σ ΛR, σ sR). By transport of structure we obtain the trivialized Frobenius −1 ∗ ∗ (5.1.2) Fx♭ = βx Fσ(βx) : ΛR → ΛR, ∗ σ σ where we set σ(βx) : ΛR → M to be βx ε. For an element h ∈ P+(R), we have −1 (5.1.3) Fx♭·h = h Fx♭ σ(h), by definition of the action of P+(R) on I+(R) (§3.7). Here, σ(h) is defined as, σ(h) := ε−1hσε; this coincides with our notational convention (1.3.1). Sometimes, we simply identify σ(h) and hσ by suppressing the canonical isomorphism ε above. Clearly, for an element x♭ ∈ I(R), we can define Fx♭ in the same way. 5.2. Frobenius invariance of tensors. The setting in this subsection is the same as in the previous subsection §5.1. ♭ Lemma 5.2.1. For an element x = (x,βx) ∈ I(R), the Frobenius Fx♭ defined above pre- serves tensors sR termwise. In particular, we have 1 F ∈ G(R[ ]). x♭ p Proof. This follows from the next lemma and the definition of Fx♭ . σ ∗ Lemma 5.2.2. The Frobenius F : M → M, after inverting p, sends σRsdR,R to sdR,R termwise. Proof. For any maximal idea m of R, by Lem. 2.1.1, (4) the Frobenius lift σ : R → R inducesa simple frame (Rˆm,σ) of Rˆm, compatible with (R,σR). Note that Rˆm is necessarily p-complete ( since m contains p). Hence it suffices to show the lemma after base change to Rˆm for all m. In particular, we may assume that R is a local ring. Let s′ ∈ S be the image of the closed point of SpecR, which necessarily lies in the special fibre S ⊆ S. Let s ∈ S be a closed point which is a specialization of s′. Then the morphism ˆ x : SpecR → S facts through the canonical embedding s : SpecA → S, where A := OS,s is the complete local ring of S at s. Choose a W(k)-isomorphism A =∼ W (k)[[X1,··· ,Xr]] and consider the Frobenius lift σA : A → A of A given by sending each Xi to its p-th power. ∞ Write N := (N,FN ,VN ,∇N ) for the Dieudonnémodule over (A,σA) of As[p ]. Then the ⊗ induced de Rham tensor sdR,A ∈ N is horizontal. We claim that sdR,A is also Frobenius invariant. Prior to showing the claim, let us note that the claim implies our lemma. Indeed, if we let f : A → R to denote the structure morphism, then M is canonically isomorphic ∗ to the pull back f N = N ⊗A, f R. If we identify this canonical isomorphism, then the Frobenius FM is equal to can ǫ ∗ can σ ∼ ∗ ∗ ∼ ∗ ∗ f FN ∗ ∼ M = σR f N = f σAN −−−→ f N = M, ǫ ∗ ∗ ∼ ∗ ∗ where the isomorphism σR f N = f σAN is providedby the integrable connection ∇N (note that σR ◦ f and f ◦ σA become the same after modulo p); in fact, due to our choice of free ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 19 coordinates Xi, it is possible to give an explicit formula for ǫ (see, for example [Kis10, ∗ ∗ ∗ 1.5]). Then since sdR,A is horizontal, one sees that ǫ sends σR f sdR,A to f σAsdR,A (this can also be seen from the explicit expression of ǫ, cf. [Kis10, 1.5.4]). Now it is clear that we are reduced to show the claim. Theproofof theclaim is alreadyin theproofof [Kis10, Prop. 2.3.5]. We now write B for ∞ the adapted deformation ring RGW in loc. cit. of the p-divisible group As¯[p ] over k := k(s), where we uses ¯ : Speck → S to denote the special fibre of s. Again the W(κ)-algebra B is isomorphic to some power series ring over W(k) and one can equip it with a Frobenius lift σB : B → B by sending free coordinates to their p-th powers. Write L := (L,FL,VL,∇L) for the Dieudonnémodule over (B,σB) that corresponds to the universal p-divisible group over B; the construction of L is explained in [Kis10, 1.5.4]. By construction the Dieudonné module L comes with Frobenius-invariant tensors which we denote by scris. We know from the proof of [Kis10, 1.5.4] (see also [Lov17, Thm. 3.3.12] for more details) that there exists a W(κ)-algebra homomorphism (in fact an isomorphism) g : B → A such that the tuple N,sdR A is obtained as the pull back along g of the tuple L,scris , expect that , one has to use the integrable connection ∇L, as we did for ∇N , to deal with the possible incompatibility of Frobenius lifts between σA and σB. Again using the fact that scris is horizontal, we conclude that sdR,A is also Frobenius invariant.

5.3. Trivialized partially divided Frobenius. Let R¯,R,x ¯♭ and x♭ be as in §5.1. For the σ next lemma, which plays important roles for our construction of γ :I+ → Gκ/U− below, one may recall the characters µ˜ and µ˜ σ = σ(µ˜ ) in §3.3.

♭ σ 1 Lemma 5.3.1. For every x ∈ I+(R) we have Fx♭ ∈ G(R)µ˜ (p) ⊆ G(R[ p ]); i.e., we have F = µ˜ σ(p) x♭ Rx♭ for some (necessarily unique) element ♭ ∈ G(R). Rx ∗ ∗,1 ∗,0 Proof. The weight decomposition ΛR = ΛR ⊕ ΛR given by µ˜ (see (3.3.5)), induces via 1 0 βx a normal decomposition M = M ⊕ M of M. Then by §2.5 we have the decomposition

Fx = Γx♭ ◦ fx♭ , with Γx♭ and fx♭ defined as in (2.5.1). Note that by Lem. 2.5.1, the partially divided Frobenius Γx♭ is an isomorphism of R-modules. Now we have −1 −1 −1 (5.3.1) F ♭ = β Fx¯σ(βx)= β Γ ♭ f ♭ σ(βx)= ♭ σ(βx) f ♭ σ(βx) , x x x x x Rx x where is defined as Rx♭ −1 (5.3.2) ♭ := β Γ ♭ σ(βx). Rx x x ∗ σ Clearly we have ♭ ∈ GL(Λ ). Unwinding the definition of µ˜ in §3.3 we see that Rx R −1 σ σ(βx) fx♭ σ(βx)= µ˜ (p). σ Now the equality (5.3.1) becomes F ♭ = ♭ µ˜ (p), and hence by Lem. 5.2.1 we have x Rx 1 ∗ ♭ ∈ G(R[ ]) ∩ GL(Λ )= G(R). Rx p R

♭ We will call ♭ ∈ G(R) the trivialized partially divided Frobenius attached to x , w.r.t. Rx the simple frame R = (R,σ). 20 Q. YAN

5.4. Local version of γ. We continue our discussion in the setting of the previous subsection. With the simple frame R fixed, for an element x♭ ∈ I (R), as usual we write ∈ G(R¯) + Rx♭ for the reduction modulo p of the trivialized partially divided Frobenius x♭ . Denote by σ R σ γ ♭ ∈ Gκ/U (R¯) for the image of ♭ along the canonical projection G(R¯) → Gκ/U (R¯). x¯ − Rx − The notation γx¯♭ is justified by the following proposition. σ ¯ ♭ Proposition 5.4.1. The element γx¯♭ ∈ Gκ/U− (R) is determined byx ¯ , i.e., it is independent of the choice of lifts x♭ and the choice of simple frames R of R¯. In particular, it induces a morphism of κ-schemes, ¯ σ γx¯♭ : SpecR → Gκ/U− . ′ ′ ′ ♭ ′ Proof. Let R = (R ,σ ) be another simple frame of R¯ and y = (y,βy) ∈ I+(R ) another lift ofx ¯♭. Denote by ∈ G(R′) be the trivialized partially divided Frobenius attached to y♭, Ry♭,σ′ w.r.t. R′. We will compare below the two elements , ∈ G(R¯). Rx♭ Ry♭,σ′ Note first that we may assume R = R′. Indeed, by Lem. 2.1.1 we can choose an isomor- ′ ∼ phism of W(κ)-algebras ε : R = R whose reduction modulo p is idR¯. This isomorphism induces anther frame structure, (R,σ′) := ε∗(R′,σ′) on R. Denote by the trivialized partially divided Frobenius of ε∗(y♭) ∈ I (R) , Rε∗(y♭),σ′ + ′ w.r.t. simple frames (R,σ ). Then clearly we have y♭,σ′ = ε∗(y♭),σ′ . ′ R R From now on, we assume R = R and denote by ♭ ∈ G(R) be the trivialized partially di- Ry vided Frobenius attached to y♭, w.r.t. R. Now the proposition follows from the combination of Lem. 5.4.2 below which compares and , and Lem. 5.4.3 below which compares Rx♭ Ry♭ and . Ry♭ Ry♭,σ′ ♭ ♭ Lemma 5.4.2. With the simple frame R fixed, if y = (y,βy) ∈ I+(R) is another lift ofx ¯ . Then there exists u− ∈ U−(R¯), such that following holds in G(R¯) (5.4.1) = · σ(u ). Rx♭ Ry♭ − Proof. Recall that by §3.6 we have the canonical parallel isomorphism can can 1 ∼ ∗ ∼ 1 ε(x,y) :HdR(Ax/R) = D (Ax¯)(R) = HdR(Ay/R), which carries sdR,x to sdR,y. Hence for our purposewe may assume x = y; note however that 3 this does NOT mean that βx = βy. Denote by Ix the trivial G-torsor over SpecR, obtained as the pullback to SpecR of I along x : SpecR → S and view βx,βy as elements in Ix(R). −1 Write h := βy ◦ βx ∈ G(R). By (5.1.3) we have = h−1 ·σ µ˜ (p)hµ˜ (p)−1 . Rx♭ Ry♭ Hence it suffices to show the following −1 −1 (5.4.2) µ˜ (p)hµ˜ (p) ∈ G(R), µ˜ (p)hµ˜ (p) ∈ U−(R¯).

To show these we use the embedding ι : GW (κ) ֒→ GL2g,W(κ) introduced in §3.4. Since −1 G 1 G we have µ˜ (p)hµ˜ (p) ∈ (R[ p ]), in order to show that it lies in (R), it sufﬁces to show −1 ¯ that it lies in GL2g,W(κ)(R). Moreover, by (3.4.4), in order to show µ˜ (p)hµ˜ (p) ∈ U−(R),

3 ′ One may instead write βx for βy in the discussion below, but for typographical reason we choose not to do so. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 21

′ 1 we may replace µ˜ by the induced cocharacter µ˜ = ι ◦ µ˜ of GL2g,W(κ). Inside GL2g(R[ p ]), µ˜ ′(p) and h (note that h¯ = 1) are represented by matrices of the following forms respectively pI I + pA pB (5.4.3) g and g , Ig pC Ig + pD where A,B,C,D are g by g matrices with entries in R. Now the problems become trivial due to our discussion at the end of §3.4: pI I + pA pB pI −1 I + pA p2B (5.4.4) g g g = g . Ig pC Ig + pD Ig C Ig + pD

♭ ♭ ′ ′ Lemma 5.4.3. Fix a lift x ∈ I+(R) ofx ¯ and let R = (R,σ ) be another simple frame of ¯ σ ¯ R. Then there exists an element u− ∈ U− (R), such that

(5.4.5) ♭ = ♭ ′ · u Rx Rx ,σ − ∗ Proof. By basic properties of the Dieudonn´ecrystal D (Ax¯) (cf. also §3.6), we havecanon- ical parallel isomorphism ι : σ∗M → σ′∗M, such that F = F′ ◦ι. By direct computation one sees that = µ˜ σ(p)hµ˜ σ(p)−1 , Rx♭ Rx♭,σ′ ′ −1 σ where h := σ (βx) ισ(βx) ∈ G(R), and the superscript “σ” in µ˜ certainly refers to the Frobenius lift σ : W (κ) → W(κ). We use again the embedding ι : GW (κ) ֒→ GL2g,W(κ) in §3.4, but in a twisted manner. To be precise, the pull back of ι along σ : W (κ) → W(κ) induces another embedding

σ can∼ σ ι σ can∼ σ(ι) : G = G −−→ GL2g,W(κ) = GL2g,W (κ).

σ σ −1 ′,σ ¯ Exactly as in the proof of Lem. 5.4.2, it sufﬁces to show µ˜ (p)hµ˜ (p) ∈ U− (R), with ′,σ σ U− ⊆ GL2g,κ the counterpart of U− ⊆ Gκ for the cocharacter

can ′,σ can ∼ σ µ σ ∼ Gm,κ = Gm,κ −−→ GL2g,κ = GL2g,κ σ 1 Via the embedding σ(ι), µ˜ (p) and h are represented inside GL2g(R[ p ]) by matrices of ′,σ ¯ the same forms as in (5.4.3) respectively, and U− (R) consists of matrices of the form I g . Now we ﬁnish by the same calculation as in (5.4.4). ∗ Ig

σ 5.5. The global map γ :I+ → Gκ/U− via gluing. In this subsection we apply Prop. σ 5.4 to construct the global map γ :I+ → Gκ/U− . For this we take a Zariski afﬁne open ♭ ¯ ¯ covering {x¯i : SpecRi ֒→ I+} of I+. As each Ri is smooth over κ, by Exam. 2.1.2, Zariski locally it admits a ﬁnite p-basis, and hence we can apply Prop. 5.4.1 and obtain morphisms of κ-schemes, ¯ σ (5.5.1) γi = γ ♭ : SpecRi → Gκ/U− . x¯i

Theorem 5.5.1. The maps γi deﬁned in (5.5.1) glue to a map of κ-schemes, σ γ :I+ −→ Gκ/U− . 22 Q. YAN

Proof. Since I+ is quasi-projective(hence separated), the intersection of SpecR¯i and SpecR¯ j is again afﬁne. Denote it by SpecR¯i j. We need to show γi and γ j restrict to the same map on SpecR¯i j, for all i, j. But since R¯i j is again a smooth κ-algebra (hence Zariski locally admits ﬁnite p-basis), this follows from the next lemma, Lem. 5.5.2.

Lemma 5.5.2. Given two κ-algebras R¯,R¯′ which Zariski locally admit ﬁnite p-basis, ♭ and a morphism of κ-schemesx ¯ : SpecR¯ → I+, then for any morphism of κ-schemes ξ : SpecR¯′ → R¯, we have

γx¯♭◦ξ = γx¯♭ ◦ ξ . Proof. This is immediate from our construction in Prop. 5.4, if there exists a homomorphism of simple frames f : (R′,σ) → (R,σ) which lifts the structure map R¯ → R¯′. In general we do not know such an f always exists; below we proceed by reducing a general case to cases where f exists by “passing to perfection”. Note first that for each Fp-algebra A¯ which Zariski locally admits a p-basis, the absolute Frobenius map σ : A¯ → A¯ is faithfully flat (the p-basis assumption implies that A¯ as an A¯- module via σ, is locally free). Consequently the canonical ring map A¯ → A¯ := lim A¯ perf −→ a7→ap is faithfully flat. In particular, horizontal arrows in the following commutative diagram, σ ¯ / σ ¯ Gκ/U− (R) Gκ/U− (Rperf)

σ ¯′ / σ ¯′ Gκ/U− (R ) Gκ/U− (Rperf), are injective. Now since the formation of W (·) is functorial, we are reduced to show ¯ ¯ γx¯♭◦π = γx¯♭ ◦ π, with π : SpecRperf → R the canonical morphism. This follows from the following fact: there is a sequence of homomorphisms of simple frames over W (κ),

(R,σ) → (R,σ)perf := Rperf,σ =∼ W(R¯perf),σ , d which lifts the structure map R¯ → R¯perf (see also [Yan18, Lem. 6.12] for another construction). We need to explain this fact: Rperf is deﬁned as the colimit perfection, R := lim R, perf −→ σ:R→R and Rperf is the p-completion of Rperf. Clearly we have Rperf/pRperf = R¯perf. The Frobenius lift σdR : R → R induces a Frobenius lift σ on Rperf (hence on Rperf) compatible with σR, and hence we get the homomorphism (R,σ) → (R,σ)perf of simpled frames displayed above. In fact Rperf is p-torsion free and the simple frame (Rperf,σ), viewed as a crystalline prism (see 2.1.4), is nothing but the perfection of the prism (R,σ) in the sense of Bhatt-Scholze [BS21, Lem. 3.9] and hence we justiﬁed the isomorphism of simple frames (R,σ)perf =∼ W(R¯perf),σ ; see [BS21, Cor. 2.31]. σ σ The zip period map η. The natural embedding U− ֒→ Eµ realizes U− as a normal .5.6 σ subgroup of Eµ. Via this embedding U− acts on Gκ by right multiplication. Passing σ σ to quotient, we obtain an action of P+ = Eµ/U− on Gκ/U− given on local sections by −1 σ g· p+ = p+ gσ(m), where p+ = u+m, with u+ ∈ U+ and m ∈ M. Denoteby [(Gκ/U− )/P+] σ the resulting quotient algebraic stack over κ. Since the action of U− on Gκ is free, the ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 23

σ canonical projection Gκ → Gκ/U− induces a canonical isomorphism of algebraic stacks over κ, ∼ σ [Gκ/Eµ] = [(Gκ/U− )/P+]. σ Theorem 5.6.1. The map γ is equivariant w.r.t. the actions of P+ on I+ and on Gκ/U− , and hence induces a morphism of algebraic stacks over κ, ∼ σ ∼ ∼ µ η : S = I+/P+ → [(Gκ/U− )/P+] = [Gκ/Eµ] = G-Zip . Proof. We need to show the commutativity of the following diagram of κ-schemes

γ × id P+ / σ I+ ×κ P+ (Gκ/U− ) ×κ P+

γ / σ I+ Gκ/U− , where vertical arrows are given by P+-actions. Since I+ ×κ P+ is geometrically reduced, it suffices to check the commutativity on k-points for an algebraically closed field extension ♭ ♭ k of κ. Note first that for anyx ¯ ∈ I+(k), by Lem. 5.5.2, we have γ(x¯ )= γx¯♭ . For any k- ♭ ♭ ♭ point (x¯ , p¯+) of I+ ×κ P+, take a W(κ)-point (x , p+) of I+ ×W(κ) P+, which lifts (x¯ , p¯+). ♭ ♭ Then x · p+ is a lift ofx ¯ · p¯+. Applying the construction in §5.4, we obtain an element ♭ ∈ G(W (κ)). A direct calculation using the relation (5.1.3) gives the following Rx ·p+ −1 σ σ −1 −1 −1 ♭ = p ♭ µ˜ (p)σ(p+)µ˜ (p) = p ♭ σ µ˜ (p)u+µ˜ (p) σ(m), Rx ·p+ + Rx + Rx where p+ = u+m, with u+ ∈ U+(W(k)) and m ∈ M(W(k)), and where for the second “ = ” one uses the fact that m commutes with µ˜ (p) and that µ˜ σ(p)= σ(µ˜ (p)). But by −1 G 1 G Lem. 3.4.1, the element µ˜ (p)u+µ˜ (p) ∈ (W (k)[ p ]) actually lies in (W (k)) and we −1 have µ˜ (p)u+µ˜ (p) = 1 ∈ G(R¯).

6. COMPARISON OF η WITH ζ In this section we showthat the map η : S → G-Zipµ constructed in Thm. 5.6.1 coincides with the map ζ : S → G-Zipµ in [Zha18], in the sense that there are naturally 2-isomorphic. The strategy is to show that there is a natural isomorphism between their corresponding objects in the groupoid [Gκ/Eµ](S). 6.1. Zip isomorphisms associated with Dieudonne´ modules. As a preparation for the next subsection, as in §5.1 we let R¯ be a κ-algebra which Zariski locally admits a finite p-basis, and choose a simple frame R = (R,σ) for R¯. Take a pointx ¯ ∈ S(R¯) and denote by M = (M,F,V,∇) the Dieudonnémodule over R that is associated with the p-divisible group ∞ σ σ Ax¯[p ]. Write F¯ : M¯ → M¯ ,V¯ : M¯ → M¯ for the reduction modulo p of F,V respectively; note however that M¯ ,F¯,V¯ are independent of the choice of R, as they can be obtained by id ∗ ∞ taking evaluation at the trivial PD thickening R¯ −→ R¯ of the Dieudonnécrystal D (Ax¯)[p ]; see §2.2. Then the relations F ◦ V = p · idM and V ◦ F = p · idMσ give rise to an exact sequence of R¯-modules F¯ V¯ F¯ M¯ σ −→ M¯ −→ M¯ σ −→ M¯ . ∼ ∼ And hence canonical isomorphisms F¯ : M¯ σ/Ker(F¯) −→= Ker(V¯ ),[V¯ ] : M¯ /Ker(V¯ ) −→= Ker(F¯); combining them, we obtain a canonical direct-summand-wise isomorphism of R¯-modules

[V¯ ]−1⊕F¯ (6.1.1) δ : Ker(F¯) ⊕ M¯ σ/Ker(F¯) −−−−−−→ M¯ /Ker(V¯ ) ⊕ Ker(V¯ ). 24 Q. YAN

We call δ above the zip isomorphism associated with the Dieudonnémodule M¯ . Now we make connection to the zip isomorphism we defined in (4.2.2) (cf. Rem. 4.2.1). Let M¯ 1 ⊆ M¯ be the Hodge filtration of M¯ as introduced in §2.3. As recalled in (2.3.1), we have M¯ 1,σ = Ker(F¯) ⊆ M¯ σ. We identify the following canonical isomorphism, can 1 1 M¯ ⊇ M¯ =∼ H (Ax¯/R¯) ⊇ ωx¯ . dR can ¯ ¯ ¯ ¯ ¯ ∼ 1 ¯ Write M0 := ker(V)= Im(F) ⊆ M. Under the canonical isomorphism M = HdR(Ax¯/R), ¯ 1 ¯ M0 correspondsto the conjugate filtration ωx¯ ofHdR(Ax¯/R). We also identify the canonical isomorphism can 1 M¯ 0 ⊆ M¯ =∼ ωx¯ ⊆ H (Ax¯/R¯) . dR With these identifications, the zip isomorphism (6.1.1) is nothing but the pull back to R¯ alongx ¯ of the zip isomorphism (4.2.2). In what follows we write δ in this form: ¯ −1 ¯ 1,σ σ 1,σ [V] ⊕F (6.1.2) δ : M¯ ⊕ M¯ /M¯ −−−−−−→ M¯ /M¯ 0 ⊕ M¯ 0. µ 6.2. Comparison of η and ζ. Under the isomorphism G-Zip =∼ [Gκ/Eµ], the universal G-zip in §4.2, I, corresponds to an Eµ-torsor Z = Zζ over S, together with an Eµ- equivariant map ζ˜ : Z → Gκ. The Eµ-torsor Z is given by the pull-back of the canonical σ projection I− → I−/U− of S-morphism along the S-morphism σ σ σ σ ι σ I+ −−→ I+ −−→ I+/U+ −→ I−/U− , ♭ ♭ The map ζ˜ : Z → Gκ is given by sending a local section (x¯ , x¯) of Z ⊆ I+ ×S I− to ˜ ♭ ♭ −1 ζ(x¯ , x¯) := βx¯ ◦ θx¯, ∗ ♭ which is a local section of G ⊆ GL(Λ ). Here x¯ = (x¯,θx¯) is a local section of I−, with the same underling pointx ¯ as that ofx ¯♭. On the other hand, under the isomorphism σ ∼ [(Gκ/U− )/P+] = [Gκ/Eµ], the P+-equivariant map corresponds to an Eµ-torsor Zη over σ σ S, given by thepullback of γ :I+ → Gκ/U− along the canonical projection Gκ → Gκ/U− , together with an Eµ-equivariant map η˜ : Zη → Gκ given by the canonical projection from Zη to Gκ. The right Eµ-action on Zη is given by ♭ ♭ −1 (x¯ ,g) · (p+, p−) = (x¯ · p+, p+ gp−).

Theorem 6.2.1. There is a natural isomorphism Z =∼ Zη of Eµ-torsors over S. In other words, the two morphisms of κ-algebraic stacks ζ and η are 2-isomorphic. Proof. Note that it is enough to show the commutativity of the following diagram

ζ˜ / Z Gκ

pr1 γ / σ I+ Gκ/U− .

This is because, once it is shown, one sees readily that the induced morphism Z → Zη of S-schemes, given on local sections by ♭ ♭ ♭ −1 (x¯ , x¯) 7−→ (x¯ , βx¯ ◦ θx¯), is Eµ-equivariant, and hence is a morphism between Eµ-torsors over S, and hence is automatically an isomorphism. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 25

Clearly the problem is local on Z. Letz ¯ : SpecR¯ → Z be an affine open of Z. In the discussion below, the underlying pointx ¯ ∈ S(R¯) is fixed. Hence to ease notation, we may write βx¯ ∈ I+(R¯) instead of (x¯,βx¯) ∈ I+(R¯); similarly for points in I−(R¯). We need to show ˜ −1 ¯ σ ¯ the image of ζ(βx¯,θx¯)= βx¯ ◦θx¯ ∈ G(R) in Gκ/U− (R) coincides with γ(βx¯). Again since Z is a smooth κ-scheme, by Exam. 2.1.2 Zariski locally R¯ admits a finite p-basis, and hence ♭ ♭ we may choose a simple frame (R,σ) for R¯ and a lift x ∈ I+(R) forx ¯ , we can apply the σ ¯ discussion in §5. Then by Lem. 5.5.2, γ(βx¯) is equal to the image in Gκ/U− (R) of −1 ♭ = β Γ ♭ σ(βx) ∈ G(R). Rx x x Set ′ ∗ ′ ′ θ := Γ ♭ σ(βx) : Λ , sR → M, sdR R , θ := θ = Γ ♭ σ(βx¯). x x R , x¯ x x ′ ¯ Lemma 6.2.2. We have (βx¯, θx¯) ∈ Z(R). Before showing Lem. 6.2.2, let us note the following: it implies Thm. 6.2.1. Indeed, ′ if Lem. 6.2.2 is shown, then by definition of a G-zip, θx¯ and θx¯ have the same image σ ¯ in I−/U− (R), as they both corresponds to the image of βx¯ under the isomorphism ι : σ σ ¯ ∼ σ ¯ ′ σ ¯ I+/U+ (R) = I−/U− (R). Hence we have θx¯ = θx¯ ·u− for some u− ∈ U− (R), and hence the following equality holds ′ ♭ = ζ˜(β ,θ )= ζ˜(β ,θ )u ∈ G(R¯), Rx x¯ x¯ x¯ x¯ − ˜ σ ¯ which implies that the image of ζ(βx¯,θx¯) in Gκ/U− (R) is equal to γ(βx¯), as desired. ′ ¯ Proof of Lem. 6.2.2: We first show θx¯ ∈ I−(R). Note that by our discussion in §6.1, the ¯ ¯ ¯ ∗ subset I−(R) ⊆ I(R) consists of elements θx¯ ∈ I(R) which carries the direct summand Λ0,R¯ ∗ ¯ ¯ of ΛR¯ isomorphically onto the conjugate filtration M0 of M. Using notations in Lem. 5.3.1, the normal decomposition M = M1 ⊕ M0 induces a decomposition M¯ = M¯ 1 ⊕ M0 of M¯ , and hence a decomposition M¯ σ = M¯ 1,σ ⊕ σ∗ M0 of σ ∗ 0 M¯ . With this decomposition, we have M¯ 0 = F¯ σ M . From this equality we see that the direct summand of M, ′ ∗,0 0,σ 0,σ M0 := θ Λ = Γ ♭ M = F M , x x ′ ∗ ∗ 0 is a lift of the conjugate filtration M¯ 0 of M¯ and we have θ Λ = F σ M . In other x¯ 0,R¯ ′ ¯ words, θx¯ ∈ I−(R). σ σ ¯ To finish the proof, we still need to show that the image of βx¯ in I+/U+ (R) coincides ′ σ ¯ σ σ ¯ ∼ σ ¯ with the image of θx¯ in I−/U− (R), via the isomorphism ι :I+/U+ (R) = I−/U− (R). De- ′ µ ∗ ∗ .note by µ : Gm,κ −→ Gκ ֒→ GL(Λκ) the cocharacter of GL(Λκ) induced by µ, as in §3.4 ∗ µ′ Then we can form the κ-stack GL(Λκ)-Zip . By forgetting tensors everywhere in I, we ∗ ′ ′ ′ ′ ′ obtain a GL(Λκ)-zip I = (I ,I +,I −,ι ). Then by functoriality of the formation of G-zips, we have the following commutative diagram σ σ ¯ ι / σ ¯ I+/U+ (R) I−/U− (R)

′ ′,σ ′,σ ¯ ι / ′ ′,σ ¯ I + /U + (R) I −/U − (R), where the vertical arrows are injective: this can be seen by working fppf locally and using the fact (see (3.4.4)) ′ ∗ µ µ CentGL(Λκ)( ) ∩ Gκ = CentGκ ( ). 26 Q. YAN

′ ′ Hence we are reduced to show that the image of βx¯ and θx¯ matches via ι ; that is, we are ∗ reduced to the case Gκ = GL(Λκ). ∗ Let us now unwind the deﬁnition of ι for Gκ = GL(Λκ). In this special case the set σ σ ¯ ¯ I+/U+ (R) can be realized as the set of equivalence classes in I+(R) with equivalence σ ¯ relations given by declaring β1,β2 ∈ I+(R) equivalent if ∗ ∗,1 σ ∗,1,σ ∼ ¯ ¯ 1 σ ¯ 1,σ gr(β1)= gr(β2) : (ΛR¯/ΛR¯ ) ⊕ ΛR¯ = (M/M ) ⊕ M . σ ¯ ¯ Similarly, the set I−/U− (R) can be realized as the set of equivalence classes in I−(R) with equivalence relations given by declaring θ1,θ2 ∈ I−(R¯) equivalent if ∗ ∗ ∗ ∼ ¯ ¯ ¯ gr(θ1)= gr(θ2) : Λ0,R¯ ⊕ ΛR¯/Λ0,R¯ = M0 ⊕ M/M0. σ ¯ The map ι is given by sending the equivalence class of β ∈ I+(R) to the unique equivalence class of θ ∈ I−(R¯) with gr(θ) equal to composition of can σ ∗ ∗ ∗ ∼ ∗ ∗ ∗ ∼ ∗ ∗,1 σ ∗,1,σ β ¯ ¯ 1 σ ¯ 1,σ Λ0,R¯ ⊕ ΛR¯/Λ0,R¯ = ΛR¯/Λ−1,R¯ ⊕ Λ−1,R¯ = (ΛR¯/ΛR¯ ) ⊕ ΛR¯ −−→ (M/M ) ⊕ M

1 σ 1,σ δ with the zip isomorphism (M¯ /M¯ ) ⊕ M¯ −→ M¯ 0 ⊕ M¯ /M¯ 0 deﬁned in (6.1.2). Here the can isomorphism =∼ is induced by (4.2.3). Up to all kinds of identiﬁcations described above, ι is simply given by gr(θ) 7→ δ ◦ gr(σ(θ)).

Now we are reduced to verify the equality δ = gr Γx♭ , which amounts to verifying the commutativity of the diagrams below, with vertical arrows canonical projections,

Γ 1,σ 0,σ x♭ / (6.2.1) M ⊕ M M−1 ⊕ M0

1,σ 1 σ δ / M¯ ⊕ (M¯ /M¯ ) M¯ /M¯ 0 ⊕ M¯ 0,

1,σ where M−1 := Γx♭ (M ). For the commutativity of (6.2.1), we only need to check that for 1,σ ¯ −1 ¯ −1 every element m ∈ M , we have [V] (m¯ )= Γx♭ (m). Note that the image [V] (m¯ ) is the ¯ ¯ ¯ ¯ unique elementn ¯ ∈ M/M0 such that V(n¯)= m¯ . But V Γx♭ (m) = (V ◦ Γx♭ )(m)= m¯ . This ﬁnishes the proof of Lem. 6.2.2, and hence that of Thm. 6.2.1.

REFERENCES [BBM82] P. Berthelot, L. Breen, and W. Messing. Theorie´ de Dieudonne´ cristalline. II, volume 930 of Lecture Notes in Mathematics,. Springer-Verlag, Berlin, 1982. [Ber74] P. Berthelot. Cohomologie cristalline des schemas´ de caracteristique´ p > 0, volume 407 of Lecture Notes in Mathematics,. Springer-Verlag, Berlin-New York, 1974. [Ber80] P. Berthelot. Théorie de Dieudonnésur un anneau de valuation parfait. Ann. Sci. Ecole´ Norm. Sup. (4), 13(2):225–268, 1980. [BM90] P. Berthelot and W. Messing. Théorie de Dieudonnécristalline. III. Théorèmes d’équivalence et de pleine fidélité. In The Grothendieck Festschrift, Vol. I, volume 86 of Progr. Math., pages 173–247. Birkhäuser Boston, Boston, MA, 1990. [BO78] P. Berthelot and A. Ogus. Notes on crystalline cohomology. Princeton Univer- sity Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1978. ANALTERNATIVECONSTRUCTIONOFZIPPERIODMAPS 27

[BS21] B. Bhatt and P. Scholze. Prisms and Prismatic Cohomology. arXiv:1905.08229 , 2021. [CGP15] B. Conrad, O. Gabber, and G. Prasad. Pseudo-reductive Groups. New Mathe- matical Monographs. Cambridge University Press, 2015. [Con14] B. Conrad. Reductive group schemes. In Autour des schemas´ en groupes. Vol. I, volume 42/43 of Panor. Syntheses` , pages 93–444. Soc. Math. France, Paris, 2014. [CS17] A. Caraiani and P. Scholze. On the generic part of the cohomology of compact unitary Shimura varieties. Ann. of Math. (2), 186(3):649–766, 2017. [Del70] P. Deligne. Equations´ differentielles´ a` points singuliers reguliers´ , volume 163 of Lecture Notes in Mathematics,. Springer-Verlag, Berlin-New York, 1970. [Del79] P. Deligne. Variétés de Shimura: Interprétation modulaire, et techniques de construction de modèles canoniques. In Proceedings of Symposia in Pure Mathe- matics, Part 2, volume 33, pages 247–290.Amer. Math. Soc., Providence, 1979. [DG11] M. Demazure and A. Grothendieck. Schemas´ en groupes (SGA 3). Tome III. Structure des schemas´ en groupes reductifs´ . SociétéMathématique de France, Paris, 2011. Revised and annotated edition of the 1970 French original, P. Gille and P. Polo (Eds.). [dJ95] A. J. de Jong. Crystalline Dieudonnémodule theory via formal and rigid geometry. Inst. Hautes Etudes´ Sci. Publ. Math., 82:5–96 (1996), 1995. [GO00] E. Goren and F. Oort. Stratifications of Hilbert modular varieties. J. Algebraic Geom., 9(1):111–154, 2000. [Kat70] N. Katz. Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin. Inst. Hautes Etudes´ Sci. Publ. Math., 39:175–232, 1970. [Kat73] N. Katz. Travaux de Dwork. In Seminaire´ Bourbaki, 24eme` annee´ (1971/1972), Exp. No. 409, volume 317, pages 167–200. Lecture Notes in Math.,. 1973. [Kim15] W. Kim. The relative Breuil-Kisin classification of p-divisible groups and finite flat group schemes. Int. Math. Res. Not. IMRN, (17):8152–8232, 2015. [Kis10] M. Kisin. Integral models for Shimura varieties of abelian type. J. Amer. Math. Soc., 23(4):967–1012, 2010. [Kis17] M. Kisin. Mod p points on Shimura varieties of abelian type. J. Amer. Math. Soc., 30(3):819–914, 2017. [Lau13] E. Lau. Smoothness of the truncated display functor. J. Amer. Math. Soc., 26(1):129–165, 2013. [Lov17] T. Lovering. Filtered F-crystals on Shimura varieties of abelian type. arXiv:1702.06611 , 2017. [Mes72] W. Messing. The crystals associated to Barsotti-Tate groups: with applications to abelian schemes, volume 264 of Lecture Notes in Mathematics,. Springer- Verlag, Berlin-New York, 1972. [Mil92] J. Milne. The points on a Shimura variety modulo a prime of good reduction. In The zeta functions of Picard modular surfaces, pages 151–253. Univ. Montréal, Montreal, QC, 1992. [Mil94] J. Milne. Shimura varieties and motives. In Motives (Seattle, WA, 1991), volume 55 of Proc. Sympos. Pure Math., pages 447–523. Amer. Math. Soc., Prov- idence, RI, 1994. [Mil17] J. Milne. Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2017. 28 Q. YAN

[Moo01] B. Moonen. Group schemes with additional structures and Weyl group cosets. In Moduli of abelian varieties (Texel Island, 1999),volume195 of Progr. Math., pages 255–298. Birkhäuser, Basel, 2001. [Moo04] B. Moonen. A dimension formula for Ekedahl-Oort strata. Ann. Inst. Fourier (Grenoble), 54(3):666–698, 2004. [MW04] B. Moonen and T. Wedhorn. Discrete invariants of varieties in positive characteristic. Int. Math. Res. Not., (72):3855–3903, 2004. [Oor01] F. Oort. A stratification of a moduli space of abelian varieties. In Moduli of abelian varieties (Texel Island, 1999), volume 195 of Progr. Math., pages 345– 416. Birkhäuser, Basel, 2001. [PWZ11] R. Pink, T. Wedhorn, and P. Ziegler. Algebraic Zip Data. Documenta Mathe- matica, 16:253–300, 2011. [PWZ15] R. Pink, T. Wedhorn, and P. Ziegler. F-zips with additional structure. Pacific Journal of Mathematics, 274(1):183–236, 2015. [SW13] P. Scholze and J. Weinstein. Moduli of p-divisible groups. Camb. J. Math., 1(2):145–237, 2013. [SYZ20] X. Shen, C.-F. Yu, and C. Zhang. EKOR strata for Shimura varieties with para- horic level structure. arXiv:1910. 07785 (to appear in Duke Math. J.), 2020. [Vas10] A. Vasiu. Mod p classification of Shimura F-crystals. Math. Nachr., 283(8):1068–1113, 2010. [VW13] E. Viehmann and T. Wedhorn. Ekedahl-Oort and Newton strata for Shimura varieties of PEL type. Mathematische Annalen, 356(4):1493–1550, 2013. [Wed01] T. Wedhorn. The Dimension of Oort Strata of Shimura Varieties of PEL-Type, pages 441–471. Birkhäuser Basel, Basel, 2001. [Wor13] D. Wortmann. The µ-ordinary locus for Shimura varieties of Hodge type. arXiv:1310.6444 , 2013. [XZ17] L. Xiao and X. Zhu. Cycles on Shimura varieties via geometric Satake. arXiv:1707.05700 , 2017. [Yan18] Q. Yan. Ekedahl-Oort stratifications of Shimura varieties via Breuil-Kisin win- dows. arXiv:1801.01354 , 2018. [Zha18] C. Zhang. Ekedahl-Oort strata for good reductions of Shimura varieties of Hodge type. Canadian Journal of Mathematics, 70(12):451–480, 2018.

MORNINGSIDE CENTEROF MATHEMATICS, CHINESE ACADEMYOF SCIENCES, BEIJING,100190CHINA Email address: [email protected]