Arxiv:2006.13550V3 [Math.AG] 5 Aug 2021

Home , Crystalline cohomology

arXiv:2006.13550v3 [math.AG] 5 Aug 2021 Remark X assumption: mohpoe ceeoe Spec over scheme proper smooth rsn rmcnnclmp nteNgadfitaino h relative the of Froben filtration divided Nygaard with display, the higher on complex a maps Witt of canonical structure from the arising with equipped is eeeae at degenerates ufc,w rvdi L1]ta h eaied hmWt spectr Rham-Witt de relative the (1.0.1) that [LZ19] in proved we surface, itdcmoiino eaiecytliechmlg.I h following the In cohomology. crystalline to relative extende of associated the decomposition displays of Witt étale part of the sum and dual direct twisted a its into group, structure, Brauer display its with X Let hsrsac a upre yESCgatEP/T005351/1. grant EPSRC by supported was research This OG-ITDCMOIINO EAIECRYSTALLINE RELATIVE OF DECOMPOSITION HODGE-WITT epoe n[Z7 n G2]ta h rsaln cohomology crystalline the that [GL21] and [LZ07] in proved we , A)Tecohomology The (A1) A)Freach For (A2) hr xssacmail ytmo mohliftings smooth of system compatible a exists There nti ae eetn hsrsl n rdc e xmlso the of examples new produce and result this extend we paper this In efi natna oa ring local artinian an fix We Date uhta h olwn rprishold: properties following the that such X E 1 i,j easot rprshm vrSpec over scheme proper smooth a be uy1,2021 13, July : eeeae at degenerates ufcs aite fK yeadsm Calabi-Yau some compl and schemes, type abelian K3 of of cases varieties the disp surfaces, include multiplicative results Tate-Twisted) decomp main (suitably Hodge-Witt our a of has its sum complexes, with direct Nygaard equipped the seque cohomology, from spectral crystalline arising Rham-Witt relative de the u relative - and the prove we that field - residue assumptions perfect the over reduction ordinary Abstract. 1.1 = H . emk h olwn eak bu h supin A)ad(A2) and (A1) assumptions the about remarks following the make We j ( W E X 1 n Ω n iigrs oaHdeWt eopsto of decomposition Hodge-Witt a to rise giving , h og-eRa pcrlsequence spectral Rham Hodge-de the , , o mohadpoe ceeoe natna oa igwit ring local artinian an over scheme proper and smooth a For X/R • E Ω LVRGEOYADADESLANGER ANDREAS AND GREGORY OLIVER 1 i,j X i n oevr ftecoe fibre closed the if Moreover, . E = /W 1 H . H n j ( ( j R X ( ) ,W X, ) R n COHOMOLOGY 1. ⇒ , R ihpretrsdefield residue perfect with Ω Introduction X i H Ω frltv dimension relative of n i X/R i + /W j ( n X 1 ) ( R n ⇒ ) R , safree a is ) Ω ne oegnrlasmtoson assumptions general some Under . H X • i n + /W j ( ,W X, n n ( -folds. R W X ) X = ) k n Ω n d ( as sexamples As lays. k X/R • of / R drsm general some nder aifigtefollowing the satisfying ipa structure display Spec H t intersections, ete fcharacteristic of -ouefreach for )-module c degenerates nce X dR i ) + sto noa into osition j rurgroup. Brauer d sa riayK3 ordinary an is W ( X H H n lsequence al n cris ( 2 cris i /W R ), let , ( ( h formal the X/W n eRham- de X/W h n u maps ius ( R ∈ Hodge- X )) > p ( N ( ea be R ,j i, R of , )), 0. )) : . 2 OLIVERGREGORYANDANDREASLANGER

- The conditions (A1) and (A2) are satisﬁed in the case of abelian schemes by [BBM82, Proposition 2.5.2], for K3 surfaces by “cohomology and base change” [Mum70, II. 5] and the simplicity of the Hodge diamond, and for smooth relative complete intersections by [Del73, Theorem 1.5]. - Suppose that pR = 0, i.e. X is a purely equicharacteristic deformation of Xk. If dim(Xn/Wn(R))

We shall also assume that the closed ﬁbre Xk of X satisﬁes the following assumption:

(A3) Xk has a smooth versal deformation space.

s We say that X admits a Hodge-Witt decomposition of Hcris(X/W (R)) as displays if the relative Hodge-Witt spectral sequence (1.0.1) degenerates at E1 and if there exists a direct sum decomposition s i j (1.1.1) Hcris(X/W (R)) = H (X, W ΩX/R) i+j=s M s on which Hcris(X/W (R)) is equipped with the display structure arising from the i j Nygaard complexes, and each H (X, W ΩX/R) is equipped with the (−j)-fold Tate j twist of a multiplicative display structure induced by the Frobenius F on W ΩX/R such that i j i j W (R)⊗F,W (R)H (X, W ΩX/R) → H (X, W ΩX/R) x ⊗ m 7→ xF m s is an isomorphism. Note that the crystalline Frobenius on Hcris(X/W (R)) induces j i j the map p F on H (X, W ΩX/R). In the case R = k a perfect field, the above is the Hodge-Witt or slope decomposition. Recall from [BK86, Definition 7.2] and [IR83, Definition 4.12] that a complete variety X over a perfect field k of characteristic p > 0 is called ordinary i j j j−1 if H (X,BΩX/k) = 0 for all i ≥ 0 and j > 0, where BΩX/k = dΩX/k. This coincides with the usual definition of ordinary for abelian varieties [vdGK03, Lemma 6.2], and coincides with having height one formal Brauer group for K3 surfaces [Nyg83, Lemma 1.3]. By [IR83, Théorème 4.13], ordinary varieties admit a slope decomposition. In this article we consider the generalisation of this to families over R. We prove the following: HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 3

Theorem 1.2. Suppose that k is algebraically closed. Let X be a smooth projective surface over Spec R with geometrically connected fibres, and admitting a compatible system of liftings Xn/Spec Wn(R) satisfying (A1), (A2), (A3) and such that the closed fibre Xk is ordinary. Let p ≥ 3. Then X admits a Hodge-Witt decomposition s of Hcris(X/W (R)) for all 0 ≤ s ≤ 4. Remark 1.3. For s = 1 the decomposition coincides with the decomposition of the display associated to the p-divisible group Pic(X)(p) over R of the reduced Picard scheme into connected and étale part (see (4.4.2) and the subsequent discussion). The case s = 3 is obtained by Poincaré/Cartier duality and yields the decomposition of the display associated to the p-divisible group of the Albanese scheme AlbX . For s = 2 we get the same decomposition as for ordinary K3 surfaces. The main new examples, apart from abelian surfaces which are also covered in the next theorem, are smooth complete intersections in a projective space over R of dimension 2. They satisfy assumptions (A1), (A2) by [Del73, Thm 1.5] and are generically ordinary [Ill90, Théorème 0.1]. It is well known that the deformations of a complete intersection are unobstructed (see e.g. [Har10, Theorem 9.4]), and hence satisfy (A3). Theorem 1.4. Let A be an abelian scheme over Spec R with ordinary closed fibre, such that dim A = d

j i (B1) The relative Hodge sheaves R f∗ΩX /S are locally free for each i, j. (B2) The relative Hodge-de Rham spectral sequence i,j j i i+j • E1 = R f∗ΩX /S ⇒ R f∗ΩX /S

degenerates at E1. (See Remark 6.2 for a discussion of (B1) and (B2) and the relationship with (A1) and (A2)). Then we prove: Theorem 1.6. Suppose that Spec k → S is a k-point of S such that the ﬁbre Xk := X ×S Spec k over this point is ordinary. Then for any artinian local ring R 4 OLIVERGREGORYANDANDREASLANGER with residue ﬁeld k, if Spec k → S lifts to a morphism Spec R → S

Spec R S

Spec k the deformation X := X ×S Spec R of Xk admits a Hodge-Witt decomposition of s Hcris(X/W (R)) as displays in all degrees 0 ≤ s ≤ 2n. Remark 1.7. Notice that Theorem 1.6 implies results of the same type as Theorem 1.2 and Theorem 1.4 whenever Xk has a smooth versal deformation space such that the versal family satisfies (B1) and (B2) (see Remark 6.2). In particular, Theorem 1.4 follows from Theorem 1.6 because the formal deformation space of an abelian variety is smooth and the de Rham cohomology of the versal family satisfies (B1) and (B2) by [Del81a, 2.1.1]. Similarly Theorem 1.2 follows from Theorem 1.6 in the special case of K3 surfaces (by [Del81b, §2]) and smooth complete intersections (by [Del73, Theorem 1.5]). We do not know of a surface X/Spec R satisfying (A1), (A2) and (A3) whose versal family does not satisfy (B1) and (B2). We have decided to include the separate proofs of Theorem 1.2 and Theorem 1.4 because the techniques are different and elucidate different aspects of the theory; for example the connection with formal groups. Finally let us highlight some important examples for which the theorem is ap- plicable, focussing first on the case of Calabi-Yau n-folds: – Let k be a finite field and consider the Fermat Calabi-Yau n-fold X = n Xn+2(p) given by n+2 n+2 n+2 X1 + X2 + ··· + Xn+2 =0 n+1 in PR , such that p = char k ≡ 1 mod n +2. In this case Xk is ordinary

by [Suw93] (see also [Tok96]) and the Artin-Mazur formal group ΦXk /k in degree n has height 1 [vdGK03, Theorem 5.1]. Since Xk is a hypersurface its deformations are unobstructed, so the deformation space S of Xk is smooth and we consider the versal family f : X → S. The conditions (B1) and (B2) are satisfied for families of hypersurfaces (indeed they are satisfied for smooth relative complete intersections more generally) [Del73, Theorem 1.5]. – Another important example is provided by the Dwork pencil of Calabi-Yau n-folds. Let X = [X1 : X2 : ... : Xn+2] be the homogeneous coordinates of n+1 PR . Then the Dwork pencil is the one-parameter family Vt of Calabi-Yau n+1 1 hypersurfaces in PR over t ∈ PR defined by Pt(X) = 0 where n+2 5 n+2 Pt(X)= X1 + X2 + ··· + Xn+2 − (n + 2)tX1X2 ··· Xn+2 . We can consider this family over any ring R such that n+2 ∈ R∗. Let R be artinian local with perfect residue field k such that char k>n+2. When we n+1 specialise the family to Pk under the base change R → k, it is shown in [Yu09, Theorem 2.2] that the Dwork family is generically ordinary. Hence

we can choose t ∈ R such that the variety Pt0 (X) = 0 is ordinary, where t0 is the image of t in k. We may argue in the same way as in ﬁrst example to see that (B1) and (B2) are satisﬁed for the versal family of Xk. HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 5

Note that in general, Calabi-Yau n-folds Xk in positive characteristic can have obstructed deformations when n ≥ 3 (see e.g. [Hir99], [Sch04]). On the other hand, it is shown in [Sch03] and [ESB05] that if Xk admits a smooth formal lifting and satisfies appropriate torsion-freeness hypotheses on its crystalline cohomology, then Xk has a smooth deformation space (this gives another proof that our examples satisfy (A3)). It is widely expected that an ordinary Calabi-Yau n-fold Xk admits even a canonical formal lifting, and therefore has unobstructed deformations (see e.g. [AZ19, §1] for a summary of the state of the art). In particular, we expect that our result applies to any Calabi-Yau n-fold X over Spec R whose closed fibre is ordinary. The final example that we point out as of particular interest is the case of varieties of K3 type. Recall from [LZ19, Definition 22] that a smooth and proper scheme Xk over Spec k of dimension 2d is of K3 type if the lower four rows of the Hodge diamond are of the form

h3,0 h2,1 h1,2 h0,3 00 00 h2,0 h1,1 h0,2 = 1 h1,1 1 h1,0 h0,1 0 0 h0,0 1 where hi,j = dim Hj(X , Ωi ). Moreover, we require that there exists a σ ∈ k 0 X0/k ∼ H0(X , Ω2 ) such that σd ∈ H0(X , Ω2d ) deﬁnes an isomorphism O −→ k Xk/k k Xk/k Xk Ω2d and a ρ ∈ H2(X , O ) such that ρd generates H2d(X , O ) and the pairing Xk/k k k k Xk

1 1 1 1 d−1 d−1 H (Xk, ΩXk/k) × H (Xk, ΩXk /k) → k, ω1 × ω2 7→ ω1ω2σ ρ Z is perfect. Note that σ induces an isomorphism T := Hom(Ω1 , O ) ≃ Ω1 . Xk Xk /k Xk Xk/k It is clear that K3 surfaces are varieties of K3 type. Further examples can be constructed by considering the Hilbert scheme X[d] of d points on a K3 surface X in characteristic zero. Spreading out X[d] over a scheme S which is flat and of finite type over Spec Z and reducing modulo p gives a variety of K3 type over the residue field for almost all primes p [LZ19, pg 484]. In these examples, the odd Betti numbers vanish by [Göt90, Theorem 0.1]. 0 2 Let Xk be a variety of K3 type over Spec k. Since H (Xk, TXk )= H (Xk, TXk )= 0, Xk has a universal deformation f : X → S where S = Spf W (k)JT1,...,TrK 1,1 and r = h . Suppose moreover that the odd Betti numbers of Xk vanish. Then f : X → S satisfies (B1) and (B2) by [Mum70, II.5] (there is no room for non-zero differentials due to the Betti number condition). We may then use Theorem 1.6 to conclude that if Xk is ordinary and dim Xk < p, then the crystalline cohomology (in all degrees) of any deformation of Xk over an artinian local ring R with residue field k admits a Hodge-Witt decomposition as displays.

Acknowledgements. We are grateful to the referee for many helpful and enlightening comments which improved the paper. 6 OLIVERGREGORYANDANDREASLANGER

2. Introduction to higher displays In this section we present the main tools developed in [LZ04], [LZ07], [LZ19], [Lan18] and [GL21] to impose a display structure on relative crystalline cohomology. For a smooth scheme X over a ring R on which p is nilpotent, we deﬁned in • [LZ04] the relative de Rham-Witt complex WnΩX/R as an initial object in the category of F -V -procomplexes, in particular it is equipped with operators F : • • • • WnΩX/R → Wn−1ΩX/R and V : Wn−1ΩX/R → WnΩX/R extending the Frobenius and Verschiebung on the Witt vector sheaf WnOX , and satisfying the standard • relations in Cartier theory. WnΩX/R coincides with Deligne-Illusie’s de Rham-Witt complex for R = k a perfect ﬁeld, and its hypercohomology computes the crystalline cohomology of X/Wn(R). V Let X be a proper and smooth scheme over Spec R and let IR,n = Wn−1(R) V • and IR = W (R). Then we consider the following variant of WnΩX/R, denoted by r • N WnΩX/R, for r ≥ 0:

0 d 1 d d r−1 dV r d Wn−1Ω −→ Wn−1Ω −→· · · −→ Wn−1Ω −−→ WnΩ −→· · · . X/R[F ] X/R[F ] X/R[F ] X/R

i This is a complex of Wn(R)-modules, where Wn−1Ω for i < r de- X/R[F ] i notes Wn−1ΩX/R considered as a Wn(R)-module via restriction of scalars along F m • m • W (R) −→ W − (R). Let P := H (X, W Ω ) = lim H (X, W Ω ) and n n 1 0 X/R ←−n n X/R P := lim Hn(X,N rW Ω• ). Then there are maps F : P → P induced by r ←−n n X/R r r 0 corresponding divided Frobenius maps

ˆ r • • Fr : N WnΩX/R → Wn−1ΩX/R deﬁned as the identity in degrees < r and as piF in degree r + i, for i ≥ 0. The standard relations between F , V and d imply that Fˆr is well-deﬁned. There are also r+1 • r • r • r+1 • maps ˆιr : N WnΩX/R → N WnΩX/R,α ˆr : IR,n ⊗ N WnΩX/R → Nn W ΩX/R given explicitly in [LZ07] and [GL21] that induce three sets of maps:

ιr ιr−1 ι1 (1) ··· → Pr+1 −→ Pr −−−→· · · −→ P0 a chain of W (R)-module homomorphisms, (2) W (R)-module homomorphisms αr : IR ⊗ Pr → Pr+1 , (3) Frobenius-linear maps Fr : Pr → P0 satisfying the following: I) For r ≥ 1

αr IR ⊗ Pr Pr+1

id ⊗ ιr−1 ιr

αr−1 IR ⊗ Pr−1 Pr

commutes and the diagonal map IR ⊗ Pr → Pr is multiplication. For r = 0, α0 ι0 the composition IR ⊗ P0 −→ P1 −→ P0 is multiplication. HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 7

II) For r ≥ 0,

Fr+1 ◦ αr = F˜r : IR ⊗ Pr → P0 V ξ ⊗ x 7→ ξFrx .

The above data deﬁne the structure of a predisplay P = (Pi, ιi, αi, Fi) on n Hcris(X/W (R)) [LZ07, Deﬁnition 2.2]. We note that properties I) and II) imply the property III) of a predisplay:

III) Fr(ιr(y)) = pFr+1(y)

(see [LZ07, pp 155-156]), i.e. the diagram below is commutative

Fr Pr P0

ιr p

Fr+1 Pr+1 P0

The predisplays appearing in this paper are separated, i.e. the map from Pr+1 to the fibre product induced by the above diagram is injective [LZ07, Definition 2.3]. A predisplay is of degree d (or a d-predisplay) if the maps αr are surjective for r ≥ d [LZ07, Definition 2.4]. Now assume that X admits a compatible system of liftings Xn/Wn(R) satisfying the assumptions (A1) and (A2) in the introduction, and let F rΩ• be the Xn/Wn(R) following filtered version of the de Rham complex Ω• : Xn/Wn(R)

pd pd pd I ⊗O −→ I ⊗Ω1 −→· · · −→ I ⊗Ωr−1 −→d Ωr −→·d · · . R,n Xn R,n Xn/Wn(R) R,n Xn/Wn(R) Xn/Wn(R) As one of the main results in [Lan18], used in [LZ19] and [GL21], we recall

Theorem 2.1. For r

Pr =∼ IR,nL0 ⊕ IR,nL1 ⊕···⊕ IR,nLr−1 ⊕ Lr ⊕···⊕ Lm where L := Hm−i(X , Ωi ), indeed we have the following lemma. i n Xn/Wn(R)

Lemma 2.2. Let Xn/Spec Wn(R), n ∈ N, be a compatible system of smooth and proper liftings of X/R satisfying (A1) and (A2). Then the E1-hypercohomology spectral sequence associated to F rΩ• degenerates at E and gives a direct Xn/Wn(R) 1 8 OLIVERGREGORYANDANDREASLANGER sum decomposition for i ≥ r Hm r • m m−1 1 (Xn, F ΩXn/Wn(R)) ≃IR,n ⊗ H (Xn, OXn ) ⊕ IR,n ⊗ H (Xn, ΩXn/Wn(R)) ⊕ · · · ⊕ I ⊗ Hm−(r−1)(X , Ωr−1 ) ⊕ Hm−r(X , Ωr ) R,n n Xn/Wn(R) n Xn/Wn(R) 0 m ⊕···⊕ H (Xn, ΩXn/Wn(R)) . • Proof. Consider the complex Ωp,r,Xn pd pd pd d d O −→ Ω1 −→· · · −→ Ωr−1 −→ Ωr −→· · · . Xn Xn/Wn(R) Xn/Wn(R) Xn/Wn(R) By [LZ07, Propositions 3.1 & 3.2], the hypercohomology spectral sequence of this complex degenerates and we have a direct sum decomposition Hm(X , Ω• ) ≃ Hm (X /W (R)) ≃ Hm−j(X , Ωj ) . n p,r,Xn dR n n n Xn/Wn(R) ≥ Mj 0 We have an exact sequence of complexes r • • • (2.2.1) F ΩXn/Wn(R) → Ωp,r,Xn → σ≤r−1Ωp,r,X . • The hypercohomology spectral sequence of the complex σ≤r−1Ωp,r,X = • σ≤r−1Ωp,r,X1 degenerates and leads again to a direct sum decomposition r−1 m • m−j j H (X, σ≤r−1Ωp,r,X ) ≃ H (X, ΩX/R) . j=0 M Evidently the above exact sequence remains exact after truncation: r ≥j ≥j ≥j (2.2.2) F Ω → Ω → σ≤ − Ω . Xn/Wn(R) p,r,Xn r 1 p,r,X Taking cohomology and using base change for de Rham cohomology, we get an exact sequence m r ≥j m ≥j m ≥j 0 → H (X , F Ω ) → H (X , Ω ) → H (X, σ≤ − Ω ) → 0 . n Xn/Wn(R) n p,r,Xn r 1 p,r,X We have a canonical map I Hm−j(X , Ωj ) → Hm−j (X , Ωj ) → Hm(X , Ω≥j ) R,n n Xn/Wn(R) n Xn/Wn(R) n p,r,Xn induced by the splitting of Hm(X , Ω≥j ) → Hm−j (X , Ωj ) and the n p,r,Xn n Xn/Wn(R) Hm ≥j Hm ≥j composite with (Xn, Ωp,r,Xn ) → (Xn, σ≤r−1Ωp,r,X ) is the zero map. Hence we get an induced map I Hm−j(X , Ωj ) → Hm(X , F rΩ≥j ) R,n n Xn/Wn(R) n Xn/Wn(R) which splits the surjection Hm(X , F rΩ≥j ) → I Hm−j(X , Ωj ). n Xn/Wn(R) R,n n Xn/Wn(R) The degeneracy of the hypercohomology spectral sequence associated to F rΩ• (again by [LZ07, Propositions 3.1 & 3.2]) then yields the direct sum Xn/Wn(R) decomposition for Hm(F rΩ• ). Xn/Wn(R)

Now pass to the projective limit. One deﬁnes Frobenius-linear maps Φr : Lr → P by Φ := F | , where L = Hm−r(X , Ωr ) and X = lim X . It is shown 0 r r Lr r X /W (R) −→n n in [GL21, Theorem 1.1 a)], [LZ07, Theorem 5.7], that for m

Theorem 2.3. Let m

IRP ֒→ P for i =1 ιi = p (IRP −→ IRP for i ≥ 2 , I P −→id I P for i =0 α = R R i V V V (IR ⊗ IRP → IRP ; ξ ⊗ µx 7→ (ξµ)x for i ≥ 1 , and Fi = F1 for all i ≥ 1 .

For i ≥ 1, αi is called Verjüngung [LZ07, pp 155-156]. Since the Verjüngung is surjective, an extension of a multiplicative display as above is still of degree 0. For a multiplicative display (P0, P1,F,F1)= P we can define the (−1)-fold Tate twist as a 1-display by the data ′ ′ ′ ′ P(−1)=(Pi , ιi, αi, Fi ) ′ ′ ′ ′ ′ ′ where for i ≥ 1 Pi = Pi−1, ιi = ιi−1, αi = αi−1 and Fi = Fi−1, P0 = P0 = P1, ′ ′ ′ F0 = pF0, ι0 = idP0 and α0 = IR ⊗ P0 → P0 is the multiplication map. The underlying data ét P = (P = P0,Q = P0, pF0, F0) form an étale display (for the definition of étale displays see also [Mes07, §6]). Note ′ that by definition the map F2 in P(−1) is bijective. We can iterate the construction to define the (−n)-fold Tate twist P(−n) for any n ≥ 0. It is a display of degree n. m The Hodge-Witt decomposition of Hcris(X/W (R)) yields an alternative descrip- tion as display given by standard data. Since the Frobenius on the de Rham- • i i Witt complex W ΩX/R (the crystalline Frobenius) is defined by p F on W ΩX/R i where F is the Frobenius on W ΩX/R, we will consider the (−i)-fold Tate twist of m−i i H (X, W ΩX/R) which turns out to be a multiplicative display. In order to iden- m tify the display Hcris(X/W (R)) as a direct sum of displays given by the standard m−i i data H (X, W ΩX/R), we tacitly apply an extension of the (−i)-fold Tate twist m−i i p of P0 = H (X, W ΩX/R) (a display of degree i) by ‘adding’ maps ιj : Pj −→ Pj−1, 10 OLIVERGREGORYANDANDREASLANGER

V Pj−1 = IRP0, Fj : Pj → P0 given by F˜ : ξx 7→ ξF x and αj the Verj¨ungung, for i +2 ≤ j ≤ m. In the cases where we prove the Hodge-Witt decomposition we will not explicitly mention this extension again, but only state the Hodge-Witt decomposition as a direct sum decomposition of Tate-twisted multiplicative displays.

3. Constructing a map from Hodge to Hodge-Witt cohomology In this section we draw some consequences of the comparison between the Ny- gaard complex and the complex F rΩ• (Theorem 2.1) under the additional Xn/Wn(R) assumptions (A1) and (A2), and construct a map

n−r r n−r r • • αr : H (X , ΩX• /W• (R)) → H (X, W ΩX/R)

n−r r n−r r which for r < p maps I H (X•, Ω ) to VH (X, W•Ω ) ⊂ R X• /W• (R) X/R n−r r H (X, W•ΩX/R) and in many cases turns out to be an isomorphism which induces the degeneracy of the Hodge-Witt spectral sequence. We consider the situation at the beginning of the proof of Theorem 2.1 in [Lan18]: assume there exists a closed embedding in : Xn ֒→ Zn such that Zn is a Witt lift of

Z = Zn ×Wn(R) R. Let Dn be the PD-envelope of the embedding in and let J be the divided power ideal sheaf. By [BO78, Theorem 7.2] we have a quasi-isomorphism

Ω≥r ≃ J [r] → J [r−1]Ω1 →···→ Ωr → · · · −→·d · · . Xn/Wn(R) Dn/Wn(R) Dn/Wn(R) S S The Witt lift comes with a canonical map OZn −→ WnOX inducing ODn −→ WnOX and hence a map, also denoted by S:

S :Ω≥r → W Ω≥r . Dn/Wn(R) n X/R

We consider the composite map in cohomology

n−r r n−r ≥r n−r ≥r α : H (X•, Ω ) →H (X•, Ω ) → H (D•, Ω ) r X• /W• (R) X• /W• (R) D• /W• (R) n−r ≥r n−r r (3.0.1) → H (X, W•ΩX/R) → H (X, W•ΩX/R) .

In the following we construct a map

n−r r n−r r • • (3.0.2) IRH (X , ΩX• /W• (R)) → H (X, W ΩX/R) such that the image is contained in the image of V and which is compatible with αr. Recall the following diagram of complexes from [Lan18, (1.3)] (we omit the HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 11 subscript Dn to keep notation light): (3.0.3)

IR,nO pd

1 IR,nJ IR,nΩ pd ...... pd

[r−3] d [r−2] 1 d d r−3 IR,nJ IR,nJ Ω ··· IR,nΩ pd

[r−2] d [r−2] 1 d d r−3 d r−2 IR,nJ IR,nJ Ω ··· IR,nJ Ω IR,nΩ pd

[r−1] d [r−2] 1 d d [2] r−3 d r−2 d r−1 IR,nJ IR,nJ Ω ··· IR,nJ Ω IR,nJ Ω IR,nΩ d

d d d d d d d J [r] J [r−1]Ω1 ··· J [3]Ωr−3 J [2]Ωr−2 J Ωr−1 Ωr ···

As explained in the proof of Theorem 1.2 in [Lan18], the sum of the two lower horizontal sequences is quasi-isomorphic to

0 → 0 →···→ I Ωr−1 −→d Ωr −→d Ωr+1 −→·d · · . R,n Xn/Wn(R) Xn/Wn(R) Xn/Wn(R) For any k ≤ r, the degree-wise sum of the k + 1 lower horizontal sequences is quasi-isomorphic to the truncated complex pd pd 0 → 0 →···→ I Ωr−k −→· · · −→ I Ωr−1 −→d Ωr+1 −→·d · · R,n Xn/Wn(R) R,n Xn/Wn(R) Xn/Wn(R) (see [Lan18, (1.4)]). Summing up all horizontal sequences degree-wise yields a complex FilrΩ• which is quasi-isomorphic to F rΩ• . Dn/Wn(R) Xn/Wn(R) The splitting of the map pd pd Hn(0 →···→ I Ωr−k −→· · · −→ I Ωr−1 −→d Ωr+1 −→·d · · ) R,n Xn/Wn(R) R,n Xn/Wn(R) Xn/Wn(R) → I Hn−(r−k)(X , Ωr−k ) R,n n Xn/Wn(R) induces an isomorphism I Hn−(r−k)(X , Ωr−k ) ≃ Hn(I J [r−k] → I J [r−k−1]Ω1 →···→ I Ωr−k ) R,n n Xn/Wn(R) R,n R,n Dn/Wn(R) R,n Dn/Wn(R) which only depends on r − k, not on r or k. The morphism of complexes

I J [r−k] ··· I Ωr−k V ξω R,n R,n Dn/Wn(R)

r−k F S Wn−1ΩX/R ξ ( ω) yields a canonical map F n−(r−k) r−k n−(r−k) r−k (3.0.4) α : I H (X•, Ω ) → H (X, W•Ω ) r−k R X• /W• (R) X/R which after composing with V gives the map n−(r−k) r−k n−(r−k) r−k (3.0.5) α − : I H (X•, Ω ) → H (X, W•Ω ) r k R X• /W• (R) X/R

n−(r−k) r−k which is the restriction of αr−k in (3.0.1) and has image in VH (X, W•ΩX/R). 12 OLIVERGREGORYANDANDREASLANGER

In the absence of a global Witt lift we proceed by simplicial methods using the quasi-isomorphisms of simplicial complexes of sheaves r • ∼ r • ∼ r • F Ω • ←− Fil Ω • −→ N WnΩ • Xn/Wn(R) Dn/Wn(R) X /R at the end of the proof of Theorem 1.2 in [Lan18] to construct the map αr with the desired properties. We omit the details here. By construction we have a commutative diagram for s < r

n−s r ≥s n−s s H (X,N W•ΩX/R) H (X, W•ΩX/R) F αs n−s r ≥s n−s s H (X•, F Ω ) IRH (X•, Ω ) (3.0.6) X• /W• (R) X• /W• (R) where the left vertical arrow is induced by truncating the map Σ : FilrΩ• → Dn/Wn(R) r • N WnΩX/R constructed in [Lan18, (1.5)]. More precisely, we know that F rΩ≥s is quasi-isomorphic to the degree-wise sum of the (r − s + 1) lower Xn/Wn(R) horizontal sequences in (3.0.3), denoted by FilrΩ≥s , from which we have a Dn/Wn(R) canonical map to pd pd pd I Ωs −→ I Ωs−1 −→· · · −→ I Ωr−1 −→d Ωr −→·d · · . R,n Dn/Wn(R) R,n Dn/Wn(R) R,n Dn/Wn(R) Dn/Wn(R) The restriction of the map Σ in [Lan18, (1.5)] to this complex (see [Lan18, (1.6.3) and (1.6.4)]) then yields by composition a canonical map F rΩ≥s → X• /W (R) r ≥s N W•ΩX/R which induces the left vertical arrow in the above diagram (3.0.6). r • • We consider the following morphisms of complexes N W•ΩX/R → W•ΩX/R and F rΩ• → Ω• given as follows: X• /W• (R) X• /W• (R)

d 1 d d r−1 dV r d r+1 d W•OX W•ΩX/R ··· W•ΩX/R W•ΩX/R W•ΩX/R ··· − − pr 1V pr 2V V = = d 1 d d r−1 d r d r+1 d W•OX W•ΩX/R ··· W•ΩX/R W•ΩX/R W•ΩX/R ···

(it is a morphism of complexes because V d = pdV ) and pd pd pd 1 r−1 d r d r+1 d I O • I Ω ··· I Ω Ω Ω ··· R X R X• /W• (R) R X• /W• (R) X• /W• (R) X• /W• (R) − − ×pr 1 ×pr 2 = = d 1 d d r−1 d r d r+1 d O • Ω ··· Ω Ω Ω ··· X X• /W• (R) X• /W• (R) X• /W• (R) X• /W• (R) where the vertical map ×pi is the inclusion of I Ωj into Ωj multi- R X• /W• (R) X• /W• (R) plied by pi. r • r • The construction of the comparison isomorphism F Ω → N W•Ω X• /W• (R) X/R r • r • via the map Σ : Fil Ω → N W•Ω in [Lan18, (1.5)] and the compar- D• /W• (R) X/R • • ison between Ω and W•Ω show that the induced homomorphisms on X• /W• (R) X/R hypercohomology ∗ r • ∗ • ∗ λ1 : H (X,N W•ΩX/R) → H (X, W•ΩX/R)= Hcris(X/W•(R)) and ∗ r • ∗ • ∗ H • H • • • λ2 : (X , F ΩX• /W• (R)) → (X , ΩX• /W• (R))= HdR(X /W (R)) HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 13 agree. Then we shall use the following argument in various proofs by induction later on: i s i s Assume the maps α : H (X•, Ω ) → H (X, W•Ω ) are isomorphisms, s X• /W• (R) X/R i s F the map V is injective on H (X, W•ΩX/R) and hence the maps αs in (3.0.4) are bijective for s < r. Then truncation induces a commutative diagram

i r+1 ≥r ≃ i r+1 ≥r H (X•, F Ω ) H (X,N W•Ω ) X• /W• (R) X/R

restriction of λ2 restriction of λ1

i ≥r ≃ i ≥r H (X•, Ω ) H (X, W•Ω ) (3.0.7) X• /W• (R) X/R with horizontal isomorphisms. Since the hypercohomology spectral sequences of F r+1Ω• and Ω• degenerate, the vertical maps in (3.0.7) are injective X• /W• (R) X• /W• (R) i r and the cokernels are isomorphic to H (X, ΩX/R). 4. Hodge-Witt cohomology as multiplicative displays In this section we derive the proof of Theorem 1.2. It relies on the following more general proposition which holds in all examples. Proposition 4.1. Fix a pair (i, j), 0 ≤ i, j ≤ d = dim X, where X is any of the schemes in Theorems 1.2, 1.4 and 1.6. j (i) There is an exact sequence induced by the action of V on W ΩX/R

i j V i j i j 0 → H (X, W ΩX/R) −→ H (X, W ΩX/R) → H (X, ΩX/R) → 0 .

(ii) Let X be the ind-scheme over the ind-scheme Spec W•(R) arising from the compatible family of liftings Xn. Then there exists a multiplicative display ς i j P = (P,Q = IRP,F,F1) over R and a homomorphism P −→ H (X, W ΩX/R) compatible with the action of Frobenius, where F on the right is induced by the j i j Frobenius on W ΩX/R, such that ς(IRP ) ⊂ VH (X, W ΩX/R) and the induced map i j ∼ i j ς : P/IRP → H (X, W ΩX/R)/im V = H (X, ΩX/R) is an isomorphism of free R-modules. (iii) The map ς is an isomorphism. Remark 4.2. The Frobenius-equivariant map ς in (ii) ﬁts into a commutative diagram ς i j P H (X, W ΩX/R)

F1 V

ς i j Q = IRP H (X, W ΩX/R) Indeed, V V V V (ς(F1( ξx))) = V (ς(ξF x)) = VξFς(x)= ξς(x)= ς( ξx) . i j So ς(IRP ) ⊂ VH (X, W ΩX/R) and ς is well-deﬁned. Note that F1 is a bijection. i X j In many cases P is isomorphic to H ( , ΩX/W (R)). 14 OLIVERGREGORYANDANDREASLANGER

In this section we will prove Proposition 4.1 for surfaces and the case i ≥ 0, j =0 for abelian schemes. Lemma 4.3. Assume that properties (i) and (ii) in Proposition 4.1 hold for a ﬁxed pair (i, j). Then property (iii) holds. Proof. The proof is identical to the corresponding section in the proof of [LZ19, Lemma 47]. For completeness we include the argument. The property ς(IRP ) ⊂ i j n i j V n VH (X, W ΩX/R) implies ς(InP ) ⊂ V H (X, W ΩX/R) for In := W (R). Then one has a commutative diagram

ς n−1 i j In−1P V H (X, W ΩX/R)

F1 V

ς n i j InP V H (X, W ΩX/R) where F1 is bijective again. We claim that the maps n i j I P V H (X, W Ω ) (4.3.1) ς : n → X/R I P n+1 i j n+1 V H (X, W ΩX/R) i j are surjective. For n = 0 this is property (ii). Let m ∈ H (X, W ΩX/R). Find, i j n−1 by induction, elements x ∈ In−1P and m1 ∈ H (X, W ΩX/R) such that V m = n ς(x)+ V m1. We write x = F1y for y ∈ InP . Then n n+1 n+1 V m = V ς(F1y)+ V m1 = ς(y)+ V m1 which ends the induction and proves the claim. i j We know that H (X, W ΩX/R) is V -adically separated [LZ19, Lemma 39]. There- ς i j fore the surjectivity of 4.3.1 implies that P −→ H (X, W ΩX/R) is surjective and i j H (X, W ΩX/R) is V -adically complete. Since V is injective by property (i), i j H (X, W ΩX/R) is a reduced Cartier module. Now consider (4.3.1) as a homomorphism of Wn+1(R)-modules. We claim that both sides of (4.3.1) are isomorphic as Wn+1(R)-modules and are noetherian. Since a surjective endomorphism of noetherian modules is an isomorphism, this implies that (4.3.1) is an isomorphism and therefore ς is an isomorphism as well. It therefore suﬃces to prove the claim: Since

F1 : InP → In−1P n n−1 V ξx 7→ V ξF x is a bijection, we get a bijection

F1 : InP/In+1P → In−1P/InP.

Let P/I1P [F n] denote the Wn+1(R)-module given by restriction of scalars along n F : Wn+1(R) → R. Iterating F1, we get an isomorphism of Wn+1(R)-modules n F1 : InP/In+1P → P/I1P [F n] . HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 15

Since R is F -finite, P/I1P [F n] is a noetherian Wn+1(R)-module. i j Now for the reduced Cartier module M = H (X, W ΩX/R) we obtain, analo- gously, the isomorphism n ≃ n n+1 V : M/VM [F n] −→ V M/V M. Hence properties (i) and (ii) show the claim. Lemma 4.4. Proposition 4.1 holds for j =0, i ≥ 0 if X is an abelian scheme or a smooth proper surface with geometrically connected fibres, ordinary closed fibre and k is algebraically closed. Proof. For i = j = 0, the exact sequence in question reads 0 → W (R) −→V W (R) → R → 0 0 and there is nothing to prove. H (X, W OX ) is isomorphic to the multiplicative (unit) display. 1 Now let X = A be an abelian scheme. Then H (A, W OA) is the reduced Cartier 1 module of the formal p-divisible group PicA/R with tangent space H (A, OA), and we have an exact sequence

1 V 1 c 1 0 → H (A, W OA) −→ H (A, W OA) → H (A, OA) → 0 . Since the closed ﬁbre is ordinary the associated display is multiplicative, so 1 1 (P,Q,F,F1) = (H (A, W OA), IRH (A, W OA),F,F1) .

The Grothendieck-Messing crystal D(PicA/R) evaluated at W (R) → R yields D(Pic ) = D(Gˆ d ) = H1(A, W O )= H1(A, O ) , A/R W (R) m/R Wc(R) A A where A is a lifting as ind-scheme over SpecW•(R). For i ≥ 2c we have a commutative diagram i 1 i i H (A, W OA) H (A, W OA) H (A, OA) ^ ≃

i 1 ≃ i H (A, OA) H (A, OA)

^ i i The right arrow H (A, OA) → H (A, OA) is a surjection because de Rham cohomology and Hodge cohomology commute with base change [Kat70, Corollary 8.3] and we have a commutative diagram

i i HdR(A/W (R)) H (A, OA)

i i H (A/R)) H (A, OA) dR . Hence the exact sequence V 0 → W OA −→ W OA → OA → 0 16 OLIVERGREGORYANDANDREASLANGER induces exact sequences for all i i V i i 0 → H (A, W OA) −→ H (A, W OA) → H (A, OA) → 0 . i 1 Now, P = H (A, W OA) carries the exterior power structure of the multiplicative 1 display H (A, W OA) and hence is again multiplicative: V P = (P, IRP,F,F1) where F is deﬁned by i F on P . The above diagram shows that the F -equivariant i map ς : P → H (A, W OA) induces an isomorphism V ≃ i i ς : P/IRP −→ H (A, W OA)/imV =∼ H (A, OA) . We conclude property (iii) by Lemma 4.3. Hence the lemma holds for abelian schemes. Now let X be smooth projective scheme over Spec R of dimension 2 satisfying assumptions (A1), (A2) with ordinary closed ﬁbre. Recall that 0 1 ∼ 0 1 0 1 H (Xk,BΩX /k) = ker C : H Xk, ΩX /k → H (Xk, ΩX /k) k k d=0 k 1 =∼ H ((Xk)fppf , αp) ∼ = Homk−grp(αp, PicXk ) by applying [Ill79, (2.1.11)], [Mil80, Proposition 4.14] and [Mil80, Proposition 4.16] in turn (recall that the Cartier dual of αp is itself). Since Xk is ordinary, we 0 conclude that the above groups are trivial. In particular, (PicXk )red is ordinary. 0 The formal Picard group PicXk/k of Xk is the formal completion of (PicXk )red along the zero section [AM77, Remark (1.9)(ii)], so we conclude that PicXk/k is d ˆ g multiplicative. Since k is algebraically closed, we therefore have PicXk/k ≃ Gm. ˆ ˆ g d By rigidity of Gm we see that PicX/R ≃ Gm/R and the case i = 1 is covered by the same argument as in the above discussion. d d By [AM77, Corollary 3.3] the Cartier module of the formal Brauer group BrXk /k 2 is H (Xk, W OXk ). Under the assumptions (A1) and (A2), the crystalline cohomology of Xk is torsion-free. Since Xk is ordinary, the Newton and Hodge polygonsc of 2 Xk coincide [BK86, Proposition 7.3]. Since H (Xk, W OXk ) is the slope 0 part of the crystalline cohomology, its rank (i.e. the height of BrXk/k) equals the dimension 2 of H (X, OX ), and hence BrXk /k is multiplicative. Since k is algebraically closed, Gˆ h Gˆch we see that BrXk /k ≃ m, and therefore BrX/R ≃ m/R by rigidity. Then it is clear that c c 2 V 2 c 2 0 → H (X, W OX ) −→ H (X, W OX ) → H (X, OX ) → 0 is exact and ˆ h 2 X 2 D(BrX/R)W (R) = D(Gm/R)W (R) = H ( , OX) = Lie BrX/W (R) = H (X, W OX ) . Since Hi(X, W O ) = 0 for i > 2, the lemma is proved in the case of surfaces as c X c well. In the following we will prove Proposition 4.1 for i = 0, j = 1 for surfaces and abelian schemes. 2 • ∼ 2 • Using the quasi-isomorphism N W ΩX/R = F ΩX/W (R) and the fact that the 2 • E1-hypercohomology spectral sequence associated to F ΩX/W (R) degenerates, HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 17 we compute the cohomology of the Nygaard complex (compare [LZ19, Remark 42]):

0 2 • ∼ 0 X – H (N W ΩX/R) = IRH ( , OX)= IRW (R),

1 2 • ∼ 1 X 0 X 1 – H (N W ΩX/R) = IRH ( , OX) ⊕ IRH ( , ΩX/W (R)),

2 2 • ∼ 2 X 1 X 1 0 X 2 – H (N W ΩX/R) = IRH ( , OX) ⊕ IRH ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)),

3 2 • ∼ 3 X 2 X 1 1 X 2 – H (N W ΩX/R) = IRH ( , OX) ⊕ IRH ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)) 0 X 3 H ( , ΩX/W (R)),

4 2 • ∼ 4 X 3 X 1 2 X 2 – H (N W ΩX/R) = IRH ( , OX) ⊕ IRH ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)) 1 X 3 0 X 4 ⊕H ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)). 0 ∼ 0 1 dV 2 Since the map ∂ : H (X, W OX ) = W (R) → H (W ΩX/R −−→ W ΩX/R) is induced by the diﬀerential d which vanishes on W (R), ∂ is the zero map. Then we have the following commutative diagram

0 1 d 2 1 1 H (W Ω −→ W Ω ) Hcris(X/W (R)) H (X, W OX )

(V, id) pV

0 1 dV 2 1 2 • 1 H (W Ω −−→ W Ω ) H (N W ΩX/R) H (X, W OX )

1 We will see below that H (X, W OX ) = D(PicX/R) is a direct summand of 1 Hcris(X/W (R)), hence the upper right arrow is a surjection. It is easy to see that the composite map c

1 X 1 2 • ∼ 1 2 • 1 V 1 IRH ( , OX) → H (F ΩX/W (R)) = H (N W ΩX/R) → H (X, W OX ) −→ VH (X, W OX )

1 ∼ 1 can be identified with the isomorphism IRH (X, OX) −→ VH (X, W OX ) constructed earlier. The lower right arrow in the diagram can then be identified with 1 2 • 1 X the surjective map H (F ΩX/W (R)) → IRH ( , OX). 1 1 1 Since V is injective on H (X, W OX ) and VH (X, W OX ) =∼ IRH (X, OX), the lower right arrow is surjective too. The left vertical arrow can be identified with the map (compare (3.0.7))

0 1 d 2 0 X 1 0 X 1 H (IRΩX/W (R) −→ ΩX/W (R))= IRH ( , ΩX) → H ( , ΩX)

0 1 which is injective and has cokernel H (X, ΩX/R). Then the commutative diagram

(4.4.1) H0(W Ω1 −→d W Ω2) H0(X, W Ω1) H0(X, W Ω2) H1(W Ω1 −→d W Ω2)

(V, id) V = (V, id)

H0(W Ω1 −−→dV W Ω2) H0(X, W Ω1) H0(X, W Ω2) H1(W Ω1 −−→dV W Ω2) 18 OLIVERGREGORYANDANDREASLANGER together with the injectivity of the map (V, id) in [LZ19, Lemma 44] shows that V 0 1 0 1 is injective on H (X, W ΩX/R) and the cokernel is H (X, ΩX/R). 1 Let us now derive the Hodge-Witt decomposition of Hcris(X/W (R)). Consider the canonical map 1 1 Hcris(AlbX/R/W (R)) → Hcris(X/W (R)) induced by the Albanese morphism X → AlbX/R. The first crystalline cohomology of an abelian scheme is the Dieudonnécrystal of the p-divisible group of the dual abelian scheme by [MM74, Ch. 2] (see also [BBM82, Théoremè2.5.6]), so we have a direct sum decomposition 1 ét (4.4.2) Hcris(AlbX/R/W (R)) ≃ D(PicX/R(p)) = D(PicX/R) ⊕ D(PicX/R(p) ) into a direct sum of Dieudonnémodules associated to the connected and étale part c ∨ of the p-divisible group associated to PicX/R = AlbX/R . The induced map 1 1 D(PicX/R) → Hcris(X/W (R)) → H (X, W OX ) is a map of Dieudonnémodules. The induced map c 1 1 D(PicX/R)/IRD(PicX/R) → H (X, W OX )/imV ≃ H (X, OX ) is a homomorphism of free R-modules of rank = dim PicX/R, and it is an isomor- c c phism because it is an isomorphism after base change along R → k since Xk is 1 ordinary and using [Ill79, Remarque 3.11.2]. Hence D(PicX/R) → H (X, W OX ) is an isomorphism by Lemma 4.3. Since D(PicX/R) carries the structure of a mul- c tiplicative display (because PicX/R is multiplicative, since Xk is ordinary), the 1 isomorphism imposes the structure of a multiplicativec display on H (X, W OX ). It 1 1 identifies H (X, W OX ) as a directc summand of Hcris(X/W (R)). Now consider the induced map ét ét 0 ≥1 0 1 η : P = D(PicX/R(p) ) → H (X, W ΩX/R) → H (X, W ΩX/R) 0 1 which is compatible with the Frobenius on the left and pF on H (X, W ΩX/R). We already have a commutative diagram η ét 0 1 P H (X, W ΩX/R)

F1 F

η ´et 0 1 P H (X, W ΩX/R)

ét ét Since P is an étale display, F1 is defined on the the whole of P . On the versal deformation of X the diagram commutes because it commutes after multiplication by p and p is injective on the versal deformation. Then the diagram η ét 0 1 P H (X, W ΩX/R)

F2 V

η ´et 0 1 IRP H (X, W ΩX/R) HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 19

V with F2( ξx)= ξF1x commutes, hence we get an induced map of free R-modules ét ét 0 1 ∼ 0 1 η : P /IRP → H (X, W ΩX/R)/im V = H (X, ΩX/R) 0 of rank = dim PicX/R. It is enough to show that η is surjective to show that it is an isomorphism. We show this after base change along R → k. Over k ét 1 it is known that D(PicXk (p) ) is the slope p-part of in Hcris(Xk/W (k)), hence is isomorphic to H0(X , W Ω1 ) because we are in the ordinary case. Since k Xk/k the map H0(X , W Ω1 ) → H0(X , Ω1 ) is surjective, η is surjective and k Xk /k k Xk/k ét hence an isomorphism. Applying Lemma 4.3 shows that η : D(PicX/R(p) ) → 0 1 H (X, W ΩX/R) is an isomorphism. One consequence of the case i = 0, j = 1 0 1 d 2 0 1 is that H (W ΩX/R −→ W ΩX/R) = H (X, W ΩX/R) in diagram (4.4.1). Indeed, 0 ≥1 0 1 the isomorphism η induces a surjection H (X, W ΩX/R) → H (X, W ΩX/R) so the 0 1 d 2 0 1 map H (W ΩX/R −→ W ΩX/R) → H (X, W ΩX/R) is surjective too, and hence the identity. The commutativity of the diagram

1 1 Hcris(X/W (R)) H (X, W OX )

=∼ =∼

1 X 1 X HdR( /W (R)) H ( , OX)

0 1 ∼ 0 X 1 implies the isomorphism H (X, W ΩX/R) = H ( , ΩX/W (R)). (Note that 1 H (X, OX) is the tangent space of PicX/W (R), hence is isomorphic to the value 1 of the Dieudonn´ecrystal of PicX/W (R) at W (R), which is H (X, W OX ) by rigidity of Pic). The decomposition (4.4.2) thenc reﬂects the Hodge-Witt decomposition in degree one. We have isomorphismsd

d 1 1 ét Hcris(AlbX/R/W (R)) ≃ Hcris(X/W (R) ≃ D(PicX/R) ⊕ D(PicX/R(p) ) . 1 The display structure on Hcris(X/W (R)) arising from the Nygaard complex 1 • c 1 N W ΩX/R has been analysed in [LZ04, 3.4]. We have P = Hcris(X/W (R)), 1 1 Q = ker(Hcris(X/W (R)) → H (X, OX ), F is the crystalline Frobenius, and F1 ∼ 1 1 • is defined on the Nygaard filtration Q = H (X,N W ΩX/R). We see then that

´et Q = IRD(PicX/R) ⊕ D(PicX/R(p) )

1 because H (X, OX ) is the tangentc space of PicX/R and we have an exact sequence 1 0 → IRD(PicX/R) → D(PicX/Rc) → H (X, OX ) → 0 . V ét On IRD(PicX/R) the mapcF1 is definedc by F1( ξα)= ξF α. Since D(PicX/R(p) ) ét is an étale display, F1 is defined on D(PicX/R(p) ) given that for a display of an étale groupc one has “P = Q”. We conclude that the above decomposition is a direct sum of displays. Before we can finish the proof of Theorem 1.2 we must prove Proposition 4.1 in the cases i = 1, 2, j = 1, dim X = 2. For i = 1 the proof is very similar as for [LZ19, Lemma 46]. 20 OLIVERGREGORYANDANDREASLANGER

Then diagram (92) in [LZ19] holds verbatim for general smooth projective surfaces:

(4.4.3) H0(X, W Ω2) H1(X, W Ω1 −→d W Ω2) H1(X, W Ω1) H1(X, W Ω2)

= αˆ V =

H0(X, W Ω2) H1(X, W Ω1 −−→dV W Ω2) H1(X, W Ω1) H1(X, W Ω2)

As in cohomological degree 1 one sees that the composite map 2 X 2 2 • ∼ 2 2 • 2 V 2 IRH ( , OX) → H (F ΩX/W (R)) = H (N W ΩX/R) → H (X, W OX ) −→ VH (X, W OX ) 2 2 • agrees with the isomorphism constructed earlier. Hence H (N W ΩX/R) → 2 H (X, W OX ) is surjective. Then we have a commutative diagram of isomorphisms ∼ 2 1 d 2 = 3 0 H (X, W ΩX/R −→ W ΩX/R) Hcris(X/W (R))

(V, id)

∼ 2 1 dV 2 = 3 2 • 0 H (X, W ΩX/R −−→ W ΩX/R) H (X,N W ΩX/R) and the right vertical map can be identified under the isomorphism between crystalline and de Rham cohomology with the injection 2 X 1 1 X 2 2 X 1 1 X 2 IRH ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)) → H ( , ΩX/W (R)) ⊕ H ( , ΩX/W (R)) , hence (V, id) is injective in the above diagram. This fact together with the in- 1 1 jectivity ofα ˆ in diagram (4.4.3) imply that V is injective on H (X, W ΩX/R) ∼ 1 1 and cokerV = H (X, ΩX/R). To finish the proof of Proposition 4.1 in the case i = 1, j = 1, we can apply [LZ19, Lemma 47]. Note that we also have et´ (P,Q,F,F1) = D(ΦX/R), the display of the étale part of the extended formal et´ ≃ 1 1 Brauer group ΦX/R, and D(ΦX/R) −→ H (X, W ΩX/R) where the map is given by the composite map et´ 2 ≥1 1 1 D(ΦX/R) → H (X, W ΩX/R) → H (X, W ΩX/R) . 2 ≥1 1 1 [LZ19, Lemma 47] implies that H (X, W ΩX/R) → H (X, W ΩX/R) is surjective, hence we get a commutative diagram

H1(X, W Ω2) H2(X, W Ω1 −→d W Ω2) H2(X, W Ω1) H2(X, W Ω2) H3(X, W Ω1 −→d W Ω2)

= (V, id) V = (V, id)

H1(X, W Ω2) H2(X, W Ω1 −−→dV W Ω2) H2(X, W Ω1) H2(X, W Ω2) H3(X, W Ω1 −−→dV W Ω2)

We have already seen that (V, id) is injective in cohomological degree 2; a similar argument shows that (V, id) is injective in cohomological degree 3 as well. Then 2 1 the above diagram implies that V is injective on H (X, W ΩX/R) and its cokernel 2 1 is H (X, ΩX/R). HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 21

Let Alb(p)0(1) be the (twisted) connected component of the p-divisible group associated to the Albanese scheme. It is known that this is the Cartier dual of the ét 0 étale p-divisible group PicX/R(p) . Let D(Alb(p) )(1) be the associated display. Under the Poincaréduality pairing 1 3 Hcris(X/W (R)) × Hcris(X/W (R))(2) → W (R) the dual of the map ét 1 D(PicX/R(p) ) → Hcris(X/W (R)) is the map 3 0 Hcris(X/W (R))(2) → D(Alb(p) )(1) hence D(Alb(p)0)(−1) is a direct summand of

3 ∼ 2 1 d 2 Hcris(X/W (R)) = H (X, W ΩX/R −→ W ΩX/R) . It induces a map 0 2 1 D(Alb(p) )(−1) → H (X, W ΩX/R) where the Frobenius on the right is induced by the crystalline Frobenius, hence by 1 pF , where F is the Frobenius map on W ΩX/R. By an analogous argument as for i 1 H (X, W ΩX/R) (i =0, 1) we get a homomorphism 0 2 1 ς : D(Alb(p) ) → H (X, W ΩX/R) where D(Alb(p)0) is the multiplicative display associated to Alb(p)0 and the Frobe- 2 1 1 nius on H (X, W ΩX/R) is the one induced by F on W ΩX/R. The induced map 0 0 2 1 ∼ 2 1 D(Alb(p) )/IRD(Alb(p) ) → H (X, W ΩX/R)/im V = H (X, ΩX/R) is an isomorphism because it is so after base change along R → k, since we are in the ordinary case. Hence ς is an isomorphism by Lemma 4.3. Now we can complete the proof of Theorem 1.2: 1 3 Under the duality of Hcris and Hcris we get a direct summand decomposition 3 2 1 ´et (4.4.4) Hcris(X/W (R)) = H (X, W ΩX/R) ⊕ D(Alb(p) )(−1) (4.4.5) = D(Alb(p)0)(−1) ⊕ D(Alb(p)´et(−1))

ét 0 0 of Dieudonnémodules, where Alb(p) (1) is the Cartier dual of PicX/R(p) . Since 1 2 1 the cup product of H (X, W OX ) with H (X, W ΩX/R) vanishes, we get an induced map ét 1 2 D(Alb(p) )(−1) → H (X, W ΩX/R) where the Frobenius on the right is induced by p2F . It is clear that this map is an isomorphism too. 2 For Hcris we can follow the argument in the proof of [LZ19, Theorem 40] to get the Hodge-Witt decomposition 2 2 1 1 0 2 Hcris(X/W (R)) = H (X, W OX ) ⊕ H (X, W ΩX/R) ⊕ H (X, W ΩX/R)

et´ into a direct sum of displays associated to BrX/R, ΦX/R and the twisted dual ∗ Br (−1). This ﬁnishes the proof of Theorem 1.2. X/R c c 22 OLIVERGREGORYANDANDREASLANGER

5. Hodge-Witt decomposition for abelian schemes For abelian schemes we reformulate Proposition 4.1 as follows: Proposition 5.1. Let A be an abelian scheme over Spec R, with d = dim A

i j V i j i j 0 → H (A, W ΩA/R) −→ H (A, W ΩA/R) → H (A, ΩA/R) → 0

j induced by the action of V on W ΩA/R. (ii) We have canonical isomorphisms

j i 0 1 1 ς i j (H (A, W ΩA/R)) ⊗ (H (A, W OA)) −→ H (A, W ΩA/R) ^ ^ compatible with the Frobenius action j F ⊗ i F on the left and the Frobe- nius induced by F on W Ωj on the right, such that there are isomorphisms A/R V V induced by the maps αr in (3.0.1) i j ∼ i j H (A, W ΩA/R) = H (A, ΩA/W (R)) with isomorphisms i j ∼ i j VH (A, W ΩA/R) = IRH (A, ΩA/W (R)) . In particular,

i j i j −1 (P,Q,F,F1) = (H (A, W ΩA/R),VH (A, W ΩA/R),F,V ) is a multiplicative display. Proof. We prove this by induction on j, the case j = 0 having already been covered. Assume that the proposition holds for all j < r and all i. Consider the exact sequence

i−1 r+1 ≥1 i r+1 • i 0 H (A, N W ΩA/R) H (A, N W ΩA/R) H (A, W OA) 0

∼ ∼ F = = α0

i r+1 • i H (A, F ΩA/W (R)) IRH (A, OA) where the last map is surjective because the E1-hypercohomology spectral sequence r+1 • associated to F ΩA/W (R) degenerates. The same argument applies to the previous cohomological degree i − 1, hence the ﬁrst map is injective, and we have i−1 r+1 ≥1 ∼ i−1 r+1 ≥1 H (A, N W ΩA/R) = H (A, F ΩA/W (R)) . By induction one proves that for all s ≤ r we have i−s r+1 ≥s ∼ i−s r+1 ≥s H (A, N W ΩA/R) = H (A, F ΩA/W (R)) . HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 23

Indeed, we have an exact sequence

i−(s+1) r+1 ≥s+1 i−s r+1 ≥s i−s s 0 H (A, N W ΩA/R ) H (A, N W ΩA/R) H (A, W ΩA/R) 0

∼ ∼ F = = αs

i−s r+1 ≥s i−s s H (A, F ΩA/W (R)) IRH (A, ΩA/W (R)) and hence we get i−(s+1) r+1 ≥s+1 ∼ i−(s+1) r+1 ≥s+1 H (A, N W ΩA/R ) = H (A, F ΩA/W (R)) . We conclude under this isomorphism the map

i r+1 ≥r (V,id) i ≥r H (A, N W ΩA/R) −−−−→ H (A, W ΩA/R) corresponds to i r+1 ≥r i ≥r H (A, F ΩA/W (R)) → H (A, ΩA/W (R)) i r and hence is injective and the cokernel is isomorphic to H (A, ΩA/R) (see (3.0.7)). Now consider the diagram

Hi(W Ω≥r+1) Hi(W Ω≥r) Hi(W Ωr) Hi+1(W Ω≥r+1)

= id (V, id) V = id

Hi(W Ω≥r+1) Hi(N r+1W Ω≥r) Hi(W Ωr) Hi+1(W Ω≥r+1)

The injectivity of (V, id) in cohomological degrees i and i + 1 implies that V is i r i r injective on H (A, W ΩA/R) and has cokernel H (A, ΩA/R) as desired. For the second part of the proposition, we have a commutative diagram (compare the cases j = 0 and i =0, j = 1) j i 0 1 1 ς i j i j H (A, W ΩA/R) ⊗ H (A, W OA) H (A, W ΩA/R) H (A, ΩA/R) ^ ^ ≃

j i 0 1 1 ≃ i j H (A, ΩA/W (R)) ⊗ H (A, OA) H (A, ΩA) ^ ^ where the horizontal maps are cup products in cohomology. We deﬁne (P,Q = IRP,F,F1) to be the multiplicative display given by setting j i 0 1 1 P = H (A, W ΩA/R) ⊗ H (A, W OA). Since V ◦ ς ◦ F1 = ς|IRP we get the j,i induced^ homomorphism of^ free R-modules of rank h i j ∼ i j ς : P/IRP → H (A, W ΩA/R)/im V = H (A, ΩA/R) which coincides with the cup product map j i 0 1 1 i j H (A, ΩA/R) ⊗ H (A, OA) → H (A, ΩA/R) . s s 1 Since for abelian^ varieties we have^HdR(A/R) = HdR(A/R) the map ς is an isomorphism. Therefore ς is an isomorphism by Lemma 4.3. V 24 OLIVERGREGORYANDANDREASLANGER

F Since the constructions of the maps αr and αr in section 3 are compatible i j ∼ with taking tensor products of complexes, the isomorphism H (A, ΩA/W (R)) −→ i j H (A, W ΩA/R) obtained above coincides with the canonical map αj . s This ﬁnishes the proof of the Hodge-Witt decomposition of Hcris(A/W (R)), i.e. Theorem 1.4 holds. Note that the isomorphism i j i ≥j i ≥j i j αj : H (A, ΩA/W (R)) → H (A, ΩA/W (R)) → H (A, W ΩA/R) → H (A, W ΩA/R) i ≥j ։ i j splits the surjection H (A, W ΩA/R) H (A, W ΩA/R) for all j and hence induces the Hodge-Witt decomposition on crystalline cohomology.

6. Hodge-Witt decomposition for n-folds Let S be a smooth formal scheme over Spf W (k), and let f : X → S be a smooth and proper family of n-folds, where n

Theorem 6.1. Let Xk := X ×S Spec k be the ﬁbre over an ordinary k-point Spec k → S. Then for any commutative diagram

Spec R S

Spec k where R is an artinian local ring with residue field k, the deformation X := X ×S s Spec R of Xk admits a Hodge-Witt decomposition of Hcris(X/W (R)) as displays in all degrees 0 ≤ s ≤ 2n. Remark 6.2. The standard assumptions (B1) and (B2) ensure that the relative Hodge filtration of the family is a filtration by locally direct factors, and commutes with arbitrary base change S → T [Kat70, Corollary 8.3]. Notice that (B1) and (B2) ensures that the deformation X/Spec R satisfies (A1) and (A2). Indeed, by completing at a closed point, we may assume that S = Spf A where A = W (k)JT1,...,TrK. There is a canonical map A → W (A) mapping the Ti to their Teichmüller representatives in W (A). The homomorphism A → R induces a map W (A) → W (R), hence A → R factors through the composition A → W (A) → W (R) → Wn(R) for each n ∈ N. Then the Xn := X×S Spec Wn(R) form a compatible system of smooth liftings of X = X ×S Spec R which satisfies (A1) and (A2) by base change. Remark 6.3. Since our techniques are crystalline in nature, the smoothness of S seems to be indispensable in our approach. It would be interesting to understand relative Hodge-Witt decompositions for varieties with obstructed deformations. Before giving the proof of Theorem 6.1, we shall recall the theory of ordinary Hodge F -crystals from [Del81a]. Let A = W (k)JT1,...,TrK and A0 = kJT1,...,TrK, for some r ≥ 0. A crystal over A0 is a finitely generated free A-module H together with an integrable and topologically nilpotent connection 1 ∇ : H → H ⊗A ΩA/W (k) . HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 25

A ring endomorphism φ : A → A which restricts to the Frobenius on W (k) is called a lift of Frobenius if it reduces modulo p to the Frobenius endomorphism p σ : A0 → A0 which sends x to x . A crystal (H, ∇) over A0 is called an F - crystal over A0 if for every lift of Frobenius φ : A → A, there is a given A-module homomorphism F (φ): φ∗H → H which is horizontal for ∇, i.e. the square ∗ φ ∇ ∗ ∗ 1 φ H φ H ⊗A ΩA/W (k)

F (φ) F (φ) ⊗ id

∇ 1 H H ⊗A ΩA/W (k) commutes, and such that F (φ) ⊗ Qp is an isomorphism. For any two liftings of Frobenius φ, ψ : A → A, we also require that F (ψ)◦χ(φ, ψ)= F (φ), where χ(φ, ψ): ∼ φ∗H −→ ψ∗H is the usual isomorphism of A-modules coming from parallel transport with respect to the connection ∇: χ(φ, ψ): φ∗H → ψ∗H r m pmj φ(T ) − ψ(T ) j x 7→ j j ψ∗(Dm1 ◦···◦ Dmn (x)). m p 1 n ≥ j=1 j m1,...,mX r 0 Y Here the operator D : H → H denotes ( d ⊗ 1) ◦ ∇. An F -crystal (H, ∇, F ) is j dTj said to be a unit F -crystal if F (φ) is an isomorphism for some (hence any) lift of Frobenius φ : A → A. Let H be an F -crystal over A (we henceforth drop the ∇ and F from the notation), and write H0 := H ⊗A A0. Given a lift of Frobenius φ : H → H, define • • a decreasing filtration Fil H0 and an increasing filtration Fil H0 of H0 by A0- submodules as follows: i ∗ i Fil H0 := {x ∈ H0 : ∃y ∈ H with y ≡ x mod p and F (φ)φ y ∈ p H} i FiliH0 := {x ∈ H0 : ∃y ∈ H with y ≡ x mod p and p y ∈ im F (φ)} .

These are the Hodge and conjugate filtrations of H0, respectively. It is clear that they are finite, separated and exhaustive, and that they are independent of the choice of lift of Frobenius φ [Del81a, §1.3]. Let ∇0 := ∇ mod p be the connection on H0 induced by ∇. Then the Hodge filtration satisfies Griffiths transversality i i−1 1 ∇0Fil H0 ⊂ Fil H0 ⊗A0 ΩA0/k and the conjugate filtration is horizontal for ∇0 1 ∇0FiliH0 ⊂ FiliH0 ⊗A0 ΩA0/k . • An F -crystal H over A0 is called ordinary if the graded A0-module gr H0 associated to the Hodge filtration (equivalently the graded A0-module gr•H0 associated to the conjugate filtration) is free, and the Hodge and conjugate filtrations are opposite, that is if i+1 H0 = FiliH0 ⊕ Fil H0 for every i. It is shown in [Del81a, Prop. 1.3.2] that H is ordinary if and only there exists a (unique) increasing filtration U• (the conjugate filtration) of H by sub-F -crystals such that Ui ⊗A A0 = FiliH0 26 OLIVERGREGORYANDANDREASLANGER for every i, and such that

griH := Ui/Ui−1 ≃ Vi(−i) is the (−i)-fold Tate twist of a unit F -crystal. A Hodge F -crystal over A0 is an F -crystal H over A0 together with a finite decreasing filtration Fil•H (the Hodge filtration) of H by free A-submodules which lifts the Hodge filtration on H0, and satisfies Griffiths tranvsersality: i i i i−1 1 Fil H ⊗A A0 = Fil H0 , ∇Fil H ⊂ Fil H ⊗A ΩA/W (k) . A Hodge F -crystal (H, Fil•H) is said to be ordinary if its underlying F -crystal H is ordinary. It is shown in [Del81a, Prop. 1.3.6] that the conjugate and Hodge filtrations of an ordinary Hodge F -crystal (H, Fil•H) are opposite, that is i+1 H = Ui ⊕ Fil H for every i, and one has a Hodge decomposition [Del81a, (1.3.6.1)] H = Hi i M i i with H = Ui ∩ Fil H. i i i i+1 Remark 6.4. The induced inclusions H ⊂ Ui/Ui−1 and H ⊂ Fil H/Fil H must then be isomorphisms, so i i H =∼ Ui/Ui−1 =∼ gr H. We now prove Theorem 6.1: Proof. After possibly taking the formal completion of S at a closed point, we may and do assume that S is S = Spf A where A = W (k)JT1,...,TrK. Let X0 := X ×A A0. The Gauss-Manin connection of the family f : X → S s s 1 ∇ : HdR(X /A) → HdR(X /A) ⊗A ΩA/W (k) s s gives the crystalline cohomology Hcris(X0/A) ≃ HdR(X /A), together with its crystalline Frobenius, the structure of an F -crystal over A0. The Hodge • s filtration Fil HdR(X /A) satisfies Griffiths transversality and thus the pair s • s (HdR(X /A), Fil HdR(X /A)) is a Hodge F -crystal over A0. Let e0 : A0 → k denote the augmentation map. Since the closed fibre Xk is ordinary, the New- ∗ s s ton and Hodge polygons of e0HdR(X /A)) ≃ Hcris(Xk/W (k)) coincide. There- s • s fore (HdR(X /A), Fil HdR(X /A)) is an ordinary Hodge F -crystal by [Del81a, Prop. s 1.3.2], and hence we have the conjugate filtration U• of Hcris(X0/A) lifting the con- s jugate filtration Fil•Hcris(X0/A0), and such that Ui/Ui−1 ≃ Vi(−i) is the (−i)-fold Tate twist of a unit F -crystal. Moreover, the filtration U• is opposite to the Hodge • s filtration Fil HdR(X /A). Now we evaluate this filtration of F -crystals on W (A) and get a filtration of W (A)-modules s 0 ⊂ U0W (A) ⊂ U1W (A) ⊂ ... ⊂ UnW (A) = Hcris(X0/W (A)) .

Note that the Frobenius on W (A) is a lifting of the Frobenius on A0 = V W (A)/h W (A),pi. Then UiW (A)/Ui−1W (A) is a free W (A)-module such that the crystalline Frobenius induces the (−i)-fold Tate twist of the multiplicative (unit-) crystal evaluated at W (A) on which F acts as an F -linear isomorphism. If U is a HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 27 unit F -crystal over A0 and we evaluate it at W (A), then F : W (A)⊗σ,W (A)UW (A) → UW (A) is an isomorphism. By deﬁnition, V (P0 = UW (A), P1 = W (A)P0,F,F1 : P1 → P0) V with F1 : ξα 7→ ξF α is then a multiplicative display. If U is the Tate-twist of a unit F -crystal then UW (A) is the Tate-twist of a multiplicative display. We can now take the base change of F -crystals, respectively of displays, with respect to the map A → R to get a ﬁltration s 0 ⊂ U0W (R) ⊂ U1W (R) ⊂ ... ⊂ UnW (R) = Hcris(X/W (R)) of F -crystals evaluated at W (R), such that the successive quotients are Tate-twists of multiplicative displays. We already know that (by Remark 6.4) s X U0W (R) ≃ H ( , OX) and we claim that the composite map s s ς : U0W (R) → Hcris(X/W (R)) → H (X, W OX ) is an isomorphism. Note that the diagram

ς s U0W (R) H (X, W OX )

F F

ς s U0W (R) H (X, W OX ) commutes by construction. To see the claim, let X denote the ind-scheme over Spec W•(R) arising from the compatible family of liftings Xn/Spec Wn(R) constructed using the canonical map A → W (A) → Wn(R) as in Remark 6.2. Then for each i we have maps i ∼ i X ։ i X ։ i Hcris(X/W (R)) = HdR( /W (R)) H ( , OX) H (X, OX ) where the ﬁnal arrow is surjective because de Rham cohomology and Hodge cohomology commute with base change. The composition factors through the map i i H (X, W OX ) → H (X, OX ) induced by W OX → OX . Hence the cohomology sequence coming from the short exact sequence V 0 → W OX −→ W OX → OX → 0 splits into short exact sequences i V i i 0 → H (X, W OX ) −→ H (X, W OX ) → H (X, OX ) → 0 for each i. In particular, we see that the map ς reduces modulo IR to the map s s ς : U0W (R)/IRU0W (R) → H (X, W OX )/im V ≃ H (X, OX ) . As in the previous sections, we see that ς is an isomorphism by reducing to the case s s R = k, where H (Xk, W OXk ) is the slope 0 part in Hcris(Xk/W (k)). By Lemma 4.3 we conclude that ς is an isomorphism, hence ζ imposes a multiplicative display s s structure on H (X, W OX ). It is clear that under the isomorphism U0 =∼ H (X, OX), the composite map s X s X s s H ( , OX) → HdR( /W (R)) ≃ Hcris(X/W (R)) → H (X, W OX ) 28 OLIVERGREGORYANDANDREASLANGER agrees with the map αs. s Since U0W (R) is a direct summand of Hcris(X/W (R)) we conclude that s U1W (R)/U0W (R) is a direct summand too. Since H (X, W OX ) is a direct sum- s mand of Hcris(X/W (R)), we get an induced map

s 1 d d s s−1 1 ς : P1 = U1W (R)/U0W (R) → H (X, 0 → W ΩX/R −→· · · −→ W ΩX/R) → H (X, W ΩX/R) . The diagram

ς s−1 1 P1 H (X, W ΩX/R)

F F

ς s−1 1 P1 H (X, W ΩX/R) is commutative because it already commutes when X is replaced with the versal deformation X . The F on the left, which is the untwist of the crystalline Frobenius, is an F -linear isomorphism because it is deﬁned on a multiplicative (unit-) display. We claim that we have exact sequences

i 1 V i 1 i 1 0 → H (X, W ΩX/R) −→ H (X, W ΩX/R) → H (X, ΩX/R) → 0

1 induced by the action of V on W ΩX/R, for all i. Indeed, consider the commutative diagram

i 2 ≥1 i+1 2 • i+1 0 H (X,N W ΩX/R) H (X,N W ΩX/R) H (X, W OX ) 0

∼ ∼ F = = α0

i+1 X 2 • i+1 X H ( , F ΩX/W (R)) IRH ( , OX)

The last map is surjective because the E1-hypercohomology spectral sequence asso- 2 • ciated to F ΩX/W (R) degenerates. Applying the same argument in cohomological degree i, we see that the ﬁrst map is injective. Therefore i 2 ≥1 ∼ i X 2 ≥1 H (X,N W ΩX/R) = H ( , F ΩX/W (R)) . Hence the composite map

i 2 ≥1 (V,id) i ≥1 i • H (X,N W ΩX/R) −−−−→ H (X, W ΩX/R) → H (X, W ΩX/R) can be identiﬁed under the comparison between de Rham-Witt and de Rham cohomology with the composite map (see (3.0.7)) i X 2 ≥1 i X ≥1 i X H ( , F W ΩX/W (R)) → H ( , ΩX/W (R)) → HdR( /W (R)) which is injective due to the degeneracy of the E1-hypercohomology spectral sequences. We conclude that the map

i 2 ≥1 (V,id) i ≥1 H (X,N W ΩX/R) −−−−→ H (X, W ΩX/R) HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 29

i 1 is injective and has cokernel H (X, ΩX/R). Now consider the diagram

Hi(W Ω≥2) Hi(W Ω≥1) Hi(W Ω1) Hi+1(W Ω≥2)

= id (V, id) V = id

Hi(W Ω≥2) Hi(N 2W Ω≥1) Hi(W Ω1) Hi+1(W Ω≥2)

The injectivity of (V, id) in cohomological degrees i and i + 1 implies that V is i 1 i 1 injective on H (X, W ΩX/R) and has cokernel H (X, ΩX/R) as desired. As before, we see that the induced map s−1 1 s−1 1 ς : P1/IRP1 → H (X, W ΩX/R)/im V ≃ H (X, ΩX/R) is an isomorphism by reducing to the case R = k, where Hs−1(X , W Ω1 ) is k Xk /k s the slope 1 part in Hcris(Xk/W (k)). By Lemma 4.3 we conclude that ς is an ∼ s−1 X 1 isomorphism and that P1 = H ( , ΩX/W (R)) (see Remark 6.4). It is clear that the map ζ agrees with the map s−1 X 1 s−1 1 α1 : H ( , ΩX/W (R)) → H (X, W ΩX/R) and F s−1 X 1 s−1 1 α1 : IRH ( , ΩX/W (R)) → H (X, W ΩX/R)

z 7→ F (α1(z)) is a bijection. Now consider the composite map

s 2 d d s s−2 2 ς : P2 = U2W (R)/U1W (R) → H (X, 0 → 0 → W ΩX/R −→· · · −→ W ΩX/R) → H (X, W ΩX/R) . The same argument as before shows that the square

ς s−2 2 P2 H (X, W ΩX/R)

F F

ς s−2 2 P2 H (X, W ΩX/R) is commutative, where F on the left is again the untwist of the crystalline Frobenius. We claim that we have exact sequences

i 2 V i 2 i 2 0 → H (X, W ΩX/R) −→ H (X, W ΩX/R) → H (X, ΩX/R) → 0 2 induced by the action of V on W ΩX/R, for all i. We proceed in a similar manner as before: Consider the commutative diagram

i 3 ≥1 i+1 3 • i+1 0 H (X,N W ΩX/R) H (X,N W ΩX/R) H (X, W OX ) 0

∼ ∼ F = = α0

i+1 X 3 • i+1 X H ( , F ΩX/W (R)) IRH ( , OX) 30 OLIVERGREGORYANDANDREASLANGER

The last map is surjective because the E1-hypercohomology spectral sequence asso- 3 • ciated to F ΩX/W (R) degenerates, and the same argument in cohomological degree i, shows the ﬁrst map is injective. Therefore i 3 ≥1 ∼ i X 3 ≥1 H (X,N W ΩX/R) = H ( , F ΩX/W (R)) for each i. Considering the commutative diagram

i 3 ≥2 i+1 3 ≥1 i+1 1 0 H (X,N W ΩX/R) H (X,N W ΩX/R) H (X, W ΩX/R) 0

∼ ∼ F = = α1

i+1 X 3 ≥1 i+1 X 1 H ( , F ΩX/W (R)) IRH ( , ΩX/W (R)) then shows that i 3 ≥2 ∼ i X 3 ≥2 H (X,N W ΩX/R) = H ( , F ΩX/W (R)) for each i, as well. Finally, the diagram

Hi(W Ω≥3) Hi(W Ω≥2) Hi(W Ω2) Hi+1(W Ω≥3)

= id (V, id) V = id

Hi(W Ω≥3) Hi(N 3W Ω≥2) Hi(W Ω2) Hi+1(W Ω≥3) and injectivity of (V, id) in cohomological degrees i and i + 1 (compare (3.0.7)) i 2 i 2 implies that V is injective on H (X, W ΩX/R) and has cokernel H (X, ΩX/R) as desired. By the same argument as before, we see that the induced map

s−2 2 s−2 2 ς : P2/IRP2 → H (X, W ΩX/R)/im V ≃ H (X, ΩX/R) is an isomorphism by reducing to the case R = k, where Hs−2(X , W Ω2 ) is k Xk /k s the slope 2 part in Hcris(Xk/W (k)). By Lemma 4.3 we conclude that ς is an ∼ s−2 X 2 isomorphism and that P2 = H ( , ΩX/W (R)) (by Remark 6.4). By an induction argument as in the case of abelian schemes one derives an exact sequence for all i and j

i j V i j i j 0 → H (X, W ΩX/R) −→ H (X, W ΩX/R) → H (X, ΩX/R) → 0 and that the map s−i X i ς s−i i Pi := UiW (R)/Ui−1W (R) ≃ H ( , ΩX) −→ H (X, W ΩX/R) is an isomorphism, and hence imposes a multiplicative display structure on s−i i H (X, W ΩX/R) and identiﬁes this Hodge-Witt cohomology group as a direct summand in crystalline cohomology. This concludes the proof of Theorem 6.1. HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY 31

References

[AZ19] P. Achinger, M. Zdanowicz, Serre-Tate theory for Calabi-Yau varieties, arXiv:1807.11295v2 (2019). [AM77] M. Artin, B. Mazur, Formal groups arising from algebraic varieties, Ann. Sci. Ecole´ Norm. Sup. (4) 10, no. 1, (1977), 87–131. [BBM82] P. Berthelot, L. Breen, W. Messing, Théorie de Dieudonnécristalline. II., Lecture Notes in Math., 930. Springer-Verlag, Berlin, (1982). [BO78] P. Berthelot, A. Ogus, Notes on crystalline cohomology, Princeton University Press (1978) [BK86] S. Bloch, K. Kato, p-adic étale cohomology, Inst. Hautes Etudes´ Sci. Publ. Math. No. 63 (1986), 107–152. [Del73] P. Deligne, Cohomologie des intersections complètes, in: SGA7, Groupes de monodromie en geometriéalgébrique, Springer LN 340, (1973). [Del81a] P. Deligne, Cristaux ordinaires et coordonnées canoniques, Lecture Notes in Math., 868, Algebraic Surfaces, 80-137, Springer (1981). [Del81b] P. Deligne, Relèvement des surfaces K3 en cractéristique nulle, Lecture Notes in Math., 868, Algebraic Surfaces, 58-79, Springer (1981). [ESB05] T. Ekedahl, N. Shepherd-Barron, Tangent lifting of deformations in mixed characteristic, J. Algebra 291 (2005), no. 1, 108–128. [vdGK03] , G. van der Geer, T. Katsura, On the height of Calabi-Yau varieties in positive characteristic, Doc. Math. 8, (2003), 97–113. [Göt90] L. Göttsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Math. Ann. 286 (1990), no. 1-3, 193–207. [GL21] O. Gregory, A. Langer, Higher displays arising from filtered de Rham-Witt complexes, Arithmetic L-Functions and Differential Geometric Methods, 121–140, Progr. Math., 338, Birkhäuser/Springer, 2021. [Har10] R. Hartshorne, Deformation theory, Graduate Texts in Mathematics, 257. Springer, New York, 2010. [Hir99] M. Hirokado, A non-liftable Calabi-Yau threefold in characteristic 3, Tohoku Math. J. (2) 51 (1999), no. 4, 479–487. [Ill79] L. Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. Ecole.´ Norm. Sup. (4) 12 (1979), 501–661. [Ill90] L. Illusie, Ordinaritédes intersections complètes générales, The Grothendieck Festschrift, Vol. II, 376–405, Progr. Math., 87, Birkhäuser Boston, Boston, MA, (1990). [IR83] L. Illusie, M. Raynaud, Les suites spectrales associées au complexe de de Rham-Witt, Inst. Hautes Etudes´ Sci. Publ. Math. No. 57 (1983), 73–212. [Kat70] N. Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, Inst. Hautes Etudes´ Sci. Publ. Math. No. 39 (1970), 175–232. [Lan18] A. Langer, p-adic deformation of motivic Chow groups, Doc. Math. 23 (2018), 1863–1894. [LZ04] A. Langer and T. Zink, De Rham-Witt cohomology for a proper and smooth morphism, J. Inst. Math. Jussieu 3, (2004), 231–314. [LZ07] A. Langer and T. Zink, De Rham-Witt cohomology and displays, Documenta Mathematica 12, (2007), 147–191. [LZ19] A. Langer, T. Zink, Grothendieck-Messing deformation theory for varieties of K3-type, Tunis. J. Math. 1, no. 4, (2019), 455–517. [MM74] B. Mazur, W. Messing, Universal extensions and one dimensional crystalline cohomology, Lecture Notes in Mathematics, Vol. 370. Springer-Verlag, Berlin-New York, 1974. [Mes07] W. Messing, Travaux de Zink, Séminaire Bourbaki. Vol. 2005/2006. Astérisque No. 311 (2007), Exp. No. 964, ix, 341–364. [Mil80] J. Milne, Etale´ cohomology, Princeton Mathematical Series, No. 33. Princeton University Press, Princeton, N.J., 1980. [Mum70] D. Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, Oxford University Press, London 1970 [Nak97] Y. Nakkajima, On infinitesimal liftings and degenerations of Hodge-de Rham spectral sequences, J. Number Theory 64 (1997), no. 1, 1-12. [Nyg83] N. Nygaard, The Tate conjecture for ordinary K3 surfaces over finite fields, Invent. Math. 74 (1983), no. 2, 213–237. 32 OLIVERGREGORYANDANDREASLANGER

[Ogu94] A. Ogus, F -crystals, Griffiths transversality, and the Hodge decomposition, Astérisque No. 221 (1994). [Sch03] S. Schröer, The T 1-lifting theorem in positive characteristic, J. Algebraic Geom. 12 (2003), no. 4, 699–714. [Sch04] S. Schröer, Some Calabi-Yau threefolds with obstructed deformations over the Witt vec- tors, Compos. Math. 140 (2004), no. 6, 1579–1592. [Suw93] N. Suwa, Hodge-Witt cohomology of complete intersections, J. Math. Soc. Japan 45 (1993), no. 2, 295–300. [Tok96] K. Toki, Fermat varieties of Hodge-Witt type, J. Algebra 180 (1996), no. 1, 136–155. [Yu09] J.-D. Yu, Variation of the unit root along the Dwork family of Calabi-Yau varieties, Math. Ann. 343 (2009), no. 1, 53–78. [Zin02] T. Zink, The display of a formal p-divisible group, in: Cohomologie p-adique et applications arithmetiques, Asterisque 278, 127–248 (2002).

Laver Building, University of Exeter, Exeter, EX4 4QF, Devon, UK Email address: [email protected]

Harrison Building, University of Exeter, Exeter, EX4 4QF, Devon, UK Email address: [email protected]