DOCSLIB.ORG

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

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

HODGE-WITT DECOMPOSITION OF RELATIVE CRYSTALLINE COHOMOLOGY OLIVER GREGORY AND ANDREAS LANGER Abstract. For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-Twisted) multiplicative displays. As examples our main results include the cases of abelian schemes, complete intersections, surfaces, varieties of K3 type and some Calabi-Yau n-folds. 1. Introduction We fix an artinian local ring R with perfect residue field k of characteristic p> 0. Let X be a smooth proper scheme over Spec R. Under some general assumptions on i X, we proved in [LZ07] and [GL21] that the crystalline cohomology Hcris(X/W (R)) is equipped with the structure of a higher display, with divided Frobenius maps arising from canonical maps on the Nygaard filtration of the relative de Rham- • Witt complex W ΩX/R. Moreover, if the closed fibre Xk of X is an ordinary K3 surface, we proved in [LZ19] that the relative de Rham-Witt spectral sequence i,j j i i+j • (1.0.1) E1 = H (X, W ΩX/R) ⇒ H (X, W ΩX/R) 2 degenerates at E1, giving rise to a Hodge-Witt decomposition of Hcris(X/W (R)), with its display structure, into a direct sum of displays associated to the formal Brauer group, its twisted dual and the ´etale part of the extended Brauer group. In this paper we extend this result and produce new examples of the Hodge- Witt decomposition of relative crystalline cohomology. In the following, let X be a smooth proper scheme over Spec R of relative dimension d satisfying the following arXiv:2006.13550v3 [math.AG] 5 Aug 2021 assumption: There exists a compatible system of smooth liftings Xn/Spec Wn(R), n ∈ N, of X such that the following properties hold: (A1) The cohomology Hj(X , Ωi ) is a free W (R)-module for each i, j. n Xn/Wn(R) n (A2) For each n, the Hodge-de Rham spectral sequence i,j j i Hi+j • i+j E1 = H (Xn, ΩXn/Wn(R)) ⇒ (Xn, ΩXn/Wn(R))= HdR (Xn/Wn(R)) degenerates at E1. Remark 1.1. We make the following remarks about the assumptions (A1) and (A2): Date: July 13, 2021 This research was supported by EPSRC grant EP/T005351/1. 1 2 OLIVERGREGORYANDANDREASLANGER - The conditions (A1) and (A2) are satisfied 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)) <p then Ogus’ generalisation of the Deligne-Illusie W2-lifting theorem shows that the assumption that Xn has a smooth lift- ing Xn+1 over Spec Wn+1(R) implies both (A1) and (A2) for Xn. Indeed, let fn : Xn → Spec Wn(R) be the structure morphism. Then by [Ogu94, • ≥• Theorem 8.2.6], the filtered complex (Rf ∗Ω ,Rf ∗Ω ) is n Xn/Wn(R) n Xn/Wn(R) a “Fontaine-complex”, and hence (A1) and (A2) follow from [Ogu94, Corol- lary 5.3.7]. - Suppose again that pR = 0. If Xn admits a Frobenius lifting, i.e. a morphism Xn → Xn of Wn(R)-schemes which lifts the absolute Frobenius on Xn ×Spec Z/pn Spec Z/p, then [Nak97, Theorem 1.1 and Corollary 2.3] shows that we do not need the restriction on dimension appearing in the previous remark. Note however that the existence of a Frobenius lift is a very strong condition. We shall also assume that the closed fibre Xk of X satisfies 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 dis- plays 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 com- plete 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 coin- cides 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´eor`eme 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 ´etale part (see (4.4.2) and the subsequent discussion). The case s = 3 is obtained by Poincar´e/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´eor`eme 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 fi- bre, such that dim A = d<p. Then A admits a Hodge-Witt decomposition of s Hcris(A/W (R)) in all degrees 0 ≤ s ≤ 2d. s Remark 1.5. Hcris(A/W (R)) is equipped with the exterior power structure s 1 1 Hcris(A/W (R)) of the display Hcris(A/W (R)), which is a direct sum 1 1 0 1 V Hcris(A/W (R)) = H (A, W OA) ⊕ H (A, W ΩA/R) of displays according to the connected resp. ´etale part of the p-divisible group of the Picard scheme. So we shall derive a canonical isomorphism i j 1 0 1 ≃ i j H (A, W OA) ⊗ H (A, W ΩA/R) −→ H (A, W ΩA/R) of multiplicative^ displays. ^ In the final section we shall prove our most general result on Hodge-Witt decompositions under deformation. By an n-fold we mean a smooth and proper scheme of dimension n, defined over a field. We consider a smooth and proper family of n-folds f : X → S over a smooth base S → Spf W (k), with n<p. Suppose that the following two properties hold: 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 fibre Xk := X ×S Spec k over this point is ordinary. Then for any artinian local ring R 4 OLIVERGREGORYANDANDREASLANGER with residue field 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).
Recommended publications
  • Noncommutative Counterparts of Celebrated Conjectures

    Noncommutative Counterparts of Celebrated Conjectures

    NONCOMMUTATIVE COUNTERPARTS OF CELEBRATED CONJECTURES GONC¸ALO TABUADA Abstract. In this survey, written for the proceedings of the conference K- theory in algebra, analysis and topology, Buenos Aires, Argentina (satellite event of the ICM 2018), we give a rigorous overview of the noncommuta- tive counterparts of some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, Kimura, Schur, and others. Contents Introduction1 1. Celebrated conjectures1 2. Noncommutative counterparts5 3. Applications to commutative geometry 10 4. Applications to noncommutative geometry 17 References 21 Introduction Some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, Kimura, Schur, and others, were recently extended from the realm of alge- braic geometry to the broad noncommutative setting of differential graded (=dg) categories. This noncommutative viewpoint led to a proof of these celebrated con- jectures in several new cases. Moreover, it enabled a proof of the noncommutative counterparts of the celebrated conjectures in many interesting cases. The purpose of this survey, written for a broad mathematical audience, is to give a rigorous overview of these recent developments. Notations. Given a perfect base field k of characteristic p > 0, we will write W (k) for its ring of p-typical Witt vectors and K := W (k)1=p for the fraction field of W (k). For example, when k = Fp, we have W (k) = Zp and K = Qp. 1. Celebrated conjectures In this section, we briefly recall some celebrated conjectures of Grothendieck, Voevodsky, Beilinson, Weil, Tate, Parshin, and Kimura (concerning smooth proper schemes), as well as a conjecture of Schur (concerning smooth schemes). Date: January 14, 2019.
  • Cycle Classes in Overconvergent Rigid Cohomology and a Semistable

    Cycle Classes in Overconvergent Rigid Cohomology and a Semistable

    CYCLE CLASSES IN OVERCONVERGENT RIGID COHOMOLOGY AND A SEMISTABLE LEFSCHETZ (1, 1) THEOREM CHRISTOPHER LAZDA AND AMBRUS PAL´ ABSTRACT. In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for k a perfect field of characteristic p, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over kJtK lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter example to show that the variational Tate conjecture for divisors cannot hold with Qp-coefficients. CONTENTS Introduction 1 1. Cycle class maps in overconvergentrigid cohomology 3 2. Preliminaries on the de Rham–Witt complex 4 3. Morrow’s variational Tate conjecture for divisors 9 4. A semistable variational Tate conjecture for divisors 12 5. Global results 15 6. A counter-example 16 References 19 INTRODUCTION Many of the deepest conjectures in arithmetic and algebraic geometry concern the existence of algebraic cycles on varieties with certain properties. For example, the Hodge and Tate conjectures state, roughly speaking, that on smooth and projective varieties over C (Hodge) or finitely generated fields (Tate) every cohomologyclass which ‘looks like’ the class of a cycle is indeed so. One can also pose variationalforms of arXiv:1701.05017v2 [math.AG] 25 Feb 2019 these conjectures, giving conditions for extending algebraic classes from one fibre of a smooth, projective morphism f : X → S to the whole space.
  • A Variational Tate Conjecture in Crystalline Cohomology

    A Variational Tate Conjecture in Crystalline Cohomology

    A Variational Tate Conjecture in crystalline cohomology Matthew Morrow Abstract Given a smooth, proper family of varieties in characteristic p > 0, and a cycle z on a fibre of the family, we consider a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of z, whether z extends cohomologically to the entire family. This is a characteristic p analogue of Grothendieck’s Variational Hodge Conjecture. We prove the conjecture for divisors, and an infinitesimal variant of the conjecture for cycles of higher codimension. This can be used to reduce the ℓ-adic Tate conjecture for divisors over finite fields to the case of surfaces. Contents 0 Introduction and statement of main results 1 1 Conjecture 0.1 5 2 Crystalline Th´eor`eme de la Partie Fixe 9 3 Local and infinitesimal forms of Conjecture 0.1 14 3.1 Some remarks on crystalline cohomology . ..... 14 3.2 Proofs of Theorems 0.5 and 0.6 via topological cyclic homology . 15 3.3 Cohomologically flat families over k[[t]] and Artin’s theorem . 22 4 An application to the Tate conjecture 24 0 Introduction and statement of main results arXiv:1408.6783v2 [math.AG] 25 Mar 2015 Let f : X → S be a smooth, proper morphism of smooth varieties over a field k, and let s ∈ S be a closed point. Grothendieck’s Variational Hodge or ℓ-adic Tate Conjecture [25, pg. 359] gives conditions on the cohomology class of an algebraic cycle on Xs under which the cycle conjecturally extends cohomologically to the entire family X. According as k has characteristic 0 or p > 0, the cohomology theory used to formulate Grothendieck’s conjecture is de Rham or ℓ-adic ´etale (ℓ 6= p).
  • Mathematisches Forschungsinstitut Oberwolfach Arithmetic and Differential Galois Groups

    Mathematisches Forschungsinstitut Oberwolfach Arithmetic and Differential Galois Groups

    Mathematisches Forschungsinstitut Oberwolfach Report No. 26/2007 Arithmetic and Differential Galois Groups Organised by David Harbater (Philadelphia) B. Heinrich Matzat (Heidelberg) Marius van der Put (Groningen) Leila Schneps (Paris) May 13th – May 19th, 2007 Abstract. Galois theory is the study of symmetries in solution spaces of polynomial and differential equations and more generally of the relation be- tween automorphism groups (or group schemes respectively) and the struc- ture of algebraic and differential extensions. The lectures of this workshop were focused around the following five main topics: the absolute Galois group GQ and the Grothendieck-Teichm¨uller group, ´etale fundamental groups and the anabelian conjecture, arithmetic Galois realizations and constructive Langlands program, local and global differential modules and the p-curvature conjecture, as well as Galois theory for nonlinear and partial differential equa- tions. Mathematics Subject Classification (2000): 12Fxx,12Gxx,12Hxx, (13Nxx,14Lxx,34Gxx). Introduction by the Organisers Galois theory is the study of symmetries in solution spaces of polynomial and differential equations and more generally of the relation between automorphism groups (or group schemes) and the structure of algebraic and differential exten- sions. Many of the important problems in this area are connected to the classification of (algebraic or differential) Galois extensions and the study of the respective fundamental groups, e. g. via inverse problems. Other interesting points are the direct problem, i. e., the computation of (ordinary or differential) Galois groups, and related constructive aspects. This workshop gave an overview on some important new results and develop- ments. A second goal was the discussion of ideas for proving some open questions and conjectures as well as of new directions of research.
  • Holonomic D-Modules and Positive Characteristic

    Holonomic D-Modules and Positive Characteristic

    Japan. J. Math. 4, 1–25 (2009) DOI: 10.1007/s11537-009-0852-x Holonomic -modules and positive characteristic Maxim Kontsevich Received: 8 December 2008 / Revised: 6 January 2009 / Accepted: 11 February 2009 Published online: ????? c The Mathematical Society of Japan and Springer 2009 Communicated by: Toshiyuki Kobayashi Abstract. We discuss a hypothetical correspondence between holonomic -modules on an al- gebraic variety X defined over a field of zero characteristic, and certain families of Lagrangian subvarieties in the cotangent bundle to X. The correspondence is based on the reduction to posi- tive characteristic. Keywords and phrases: rings of differential operators and their modules, characteristic p methods Mathematics Subject Classification (2000): 13N10, 13A35 1. Quantization and -modules 1.1. Quantization Let us recall the heuristic dictionary of quantization. symplectic C∞-manifold (Y,ω) ←→ complex Hilbert space H complex-valued functions on Y ←→ operators in H Lagrangian submanifolds L ⊂ Y ←→ vectors v ∈ H In the basic example of the cotangent bundle Y = T ∗X the space H is L2(X), functions on Y which are polynomial along fibers of the projection Y = T ∗X → X correspond to differential operators, and with the Lagrangian manifold L ⊂ Y This article is based on the 5th Takagi Lectures that the author delivered at the University of Tokyo on October 4 and 5, 2008. M. KONTSEVICH Institut des Hautes Etudes´ Scientifiques, 35 route de Chartres, Bures-sur-Yvette 91440, France (e-mail: [email protected]) 2 M. Kontsevich of the form L = graphdF for some function F ∈ C∞(Y) we associate (approxi- mately) vector exp(iF/) where → 0 is a small parameter (“Planck constant”).
  • Introduction to Motives

    Introduction to Motives

    Introduction to motives Sujatha Ramdorai and Jorge Plazas With an appendix by Matilde Marcolli Abstract. This article is based on the lectures of the same tittle given by the first author during the instructional workshop of the program \number theory and physics" at ESI Vienna during March 2009. An account of the topics treated during the lectures can be found in [24] where the categorical aspects of the theory are stressed. Although naturally overlapping, these two independent articles serve as complements to each other. In the present article we focus on the construction of the category of pure motives starting from the category of smooth projective varieties. The necessary preliminary material is discussed. Early accounts of the theory were given in Manin [21] and Kleiman [19], the material presented here reflects to some extent their treatment of the main aspects of the theory. We also survey the theory of endomotives developed in [5], this provides a link between the theory of motives and tools from quantum statistical mechanics which play an important role in results connecting number theory and noncommutative geometry. An extended appendix (by Matilde Marcolli) further elaborates these ideas and reviews the role of motives in noncommutative geometry. Introduction Various cohomology theories play a central role in algebraic geometry, these co- homology theories share common properties and can in some cases be related by specific comparison morphisms. A cohomology theory with coefficients in a ring R is given by a contra-variant functor H from the category of algebraic varieties over a field k to the category of graded R-algebras (or more generally to a R-linear tensor category).
  • A Course on the Weil Conjectures

    A Course on the Weil Conjectures

    A course on the Weil conjectures Tam´asSzamuely Notes by Davide Lombardo Contents 1 Introduction to the Weil conjectures 2 1.1 Statement of the Weil conjectures . .4 1.2 A bit of history . .5 1.3 Grothendieck's proof of Conjectures 1.3 and 1.5 . .6 1.3.1 Proof of Conjecture 1.3 . .6 1.3.2 Proof of Conjecture 1.5 . .8 2 Diagonal hypersurfaces 9 2.1 Gauss & Jacobi sums . 10 2.2 Proof of the Riemann hypothesis for the Fermat curve . 12 3 A primer on ´etalecohomology 14 3.1 How to define a good cohomology theory for schemes . 14 3.1.1 Examples . 15 3.2 Comparison of ´etalecohomology with other cohomology theories . 15 3.3 Stalks of an ´etalesheaf . 16 3.4 Cohomology groups with coefficients in rings of characteristic 0 . 16 3.5 Operations on sheaves . 17 3.6 Cohomology with compact support . 18 3.7 Three basic theorems . 18 3.8 Conjecture 1.11: connection with topology . 19 4 Deligne's integrality theorem 20 4.1 Generalised zeta functions . 20 4.2 The integrality theorem . 21 4.3 An application: Esnault's theorem . 22 4.3.1 Cohomology with support in a closed subscheme . 23 4.3.2 Cycle map . 24 4.3.3 Correspondences . 25 4.3.4 Bloch's lemma . 25 4.3.5 Proof of Theorem 4.11 . 26 5 Katz's proof of the Riemann Hypothesis for hypersurfaces 27 5.1 Reminder on the arithmetic fundamental group . 29 5.2 Katz's proof . 30 1 6 Deligne's original proof of the Riemann Hypothesis 31 6.1 Reductions in the proof of the Weil Conjectures .
  • P-ADIC ÉTALE COHOMOLOGY AND

    P-ADIC ÉTALE COHOMOLOGY AND

    p-ADIC ETALE´ COHOMOLOGY AND CRYSTALLINE COHOMOLOGY FOR OPEN VARIETIES GO YAMASHITA Contents 1. Introduction 2 2. The main theorems of p-adic Hodge theory 3 3. The main results 7 References 10 This text is a report of a talk “p-adic ´etalecohomology and crystalline cohomology for open varieties” in the symposium “Hodge Theory and Algebraic Geometry” (7-11/Oct/2002 at Hokkaido University). It seemed that more algebraic geometers rather than arithmeti- cians participated in this symposium. Thus, in that talk, the auther began with an in- troduction to the p-adic Hodge theory in the view of the theory of p-adic representations. However, in this report, we do not treat the theory of p-adic representations, and we treat only a review of the main theorems and the main results. The aim of the talk was, roughly speaking, “to extend the main theorems of p-adic Hodge theory for open varieties” by the method of Fontaine-Messing-Kato-Tsuji (see [FM],[Ka2], and [Tsu1]). Here, the main theorems of p-adic Hodge theory are: the Hodge-Tate con- jecture (CHT for short), the de Rham conjecture (CdR), the crystalline conjecture (Ccrys), the semi-stabele conjecture (Cst), and the potentially semi-stable conjecture (Cpst). The theorems CdR, Ccrys, and Cst are called the “comparison theorems”. The section 1 is an introduction to the p-adic Hodge theory. In the section 2, we review the main theorems of the p-adic Hodge theory. In the section 3, we state the main results. In this report, we only announce the main results.
  • [Math.AG] 5 Oct 2001 Eddc Htteeaehdewt Seterm10.1)

    [Math.AG] 5 Oct 2001 Eddc Htteeaehdewt Seterm10.1)

    EXOTIC TORSION, FROBENIUS SPLITTING AND THE SLOPE SPECTRAL SEQUENCE KIRTI JOSHI Contents 1. Introduction 1 2. Frobenius split varieties 2 3. The slope spectral sequence 3 4. Dominoes and Ekedahl’s duality 3 5. A finiteness result 4 6. On the slope spectral sequence of threefolds 5 7. Exotic Torsion 6 8. Ordinarity of the Albanese Scheme 8 9. Liftings to W2; Hodge-de Rham spectral sequence 9 10. Unirational and Fano Threefolds 9 11. Coda: Chow groups and Abel-Jacobi mappings 10 References 12 1. Introduction In this paper we continue our investigations on some questions of V. B. Mehta on the crystalline aspects of Frobenius splitting which were begun in [12]. In response to a question of Mehta, we show that any F -split smooth projec- tive threefold is Hodge-Witt (see Theorem 6.2). After the first draft of this paper and [12] were written, Rajan and the author showed that there exist arXiv:math/0110069v1 [math.AG] 5 Oct 2001 examples of Frobenius split varieties which are not ordinary in the sense of Bloch-Kato-Illusie-Raynaud (see [3], [11]) and if the dimension is bigger than four then these examples are not even Hodge-Witt (these examples are now included in [12]). Thus the result of Theorem 6.2 on the Hodge-Witt prop- erty of Frobenius split threefolds is best possible. Frobenius split surfaces are ordinary (see [12]) and hence Hodge-Witt. The method of proof uses [11] and [6] to extract an explicit criterion for the degeneration of the slope spec- tral sequence of any smooth projective threefold (see Theorem 6.1).
  • Arxiv:2104.13448V1 [Math.NT] 27 Apr 2021 DMS-1440140

    Arxiv:2104.13448V1 [Math.NT] 27 Apr 2021 DMS-1440140

    ON THE COHOMOLOGY OF p-ADIC ANALYTIC SPACES, I: THE BASIC COMPARISON THEOREM. PIERRE COLMEZ AND WIESŁAWA NIZIOŁ Abstract. The purpose of this paper is to prove a basic p-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure C of a p-adic field: p-adic pro-étale cohomology, + in a stable range, can be expressed as a filtered Frobenius eigenspace of de Rham cohomology (over BdR). The key computation is the passage from absolute crystalline cohomology to Hyodo-Kato cohomology and the construction of the related Hyodo-Kato isomorphism. We also “geometrize” our comparison theorem by turning p-adic pro-étale and syntomic cohomologies into sheaves on the category PerfC of perfectoid spaces over C (this geometrization will be crucial in our proof of the Cst-conjecture in the sequel to this paper). Contents 1. Introduction 2 1.1. Main results 2 1.2. Proof of Theorems 1.1 and 1.3 4 2. Hyodo-Kato rigidity revisited 7 2.1. Preliminaries 7 2.2. Hyodo-Kato rigidity 11 2.3. Geometric absolute crystalline cohomology and Hyodo-Katocohomology 14 + 3. BdR-cohomology 19 3.1. CliffsNotes 19 3.2. Geometric crystalline cohomology 24 + 3.3. Rigid analytic BdR-cohomology 25 + 3.4. Overconvergent BdR-cohomology 30 4. Geometric Hyodo-Kato morphisms 33 4.1. Rigid analytic setting 33 4.2. The overconvergent setting 35 5. Overconvergent geometric syntomic cohomology 43 arXiv:2104.13448v1 [math.NT] 27 Apr 2021 5.1. Local-global compatibility for rigid analytic geometric syntomic cohomology 43 5.2. Twisted Hyodo-Kato cohomology 44 + 5.3.
  • A Stacky Approach to Crystals

    A Stacky Approach to Crystals

    A STACKY APPROACH TO CRYSTALS VLADIMIR DRINFELD Abstract. Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on “Frobenius-smooth” schemes over Fp . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over perfect fields of char- acteristic p. To treat isocrystals, we prove some descent theorems for sheaves of Banachian modules, which could be interesting in their own right. 1. Introduction Fix a prime p. 1.1. A theorem of Bhatt-Morrow-Scholze. Let X be a smooth scheme over a perfect field k of characteristic p. Let Xperf be the perfection of X, i.e., X := lim(... −→Fr X −→Fr X −→Fr X). perf ←− Let W (Xperf ) be the p-adic formal scheme whose underlying topological space is that of Xperf (or of X) and whose structure sheaf is obtained by applying to OXperf the functor of p-typical Witt vectors. Theorem 1.10 of [BMS] can be reformulated as a canonical isomorphism RΓcris(X, O)= RΓ(W (Xperf)/G , O), where G is a certain flat affine groupoid (in the category of p-adic formal schemes) acting 1 on W (Xperf), and W (Xperf)/G is the quotient stack . If X is affine this gives an explicit complex computing RΓcris(X, O) (the complex is constructed using the nerve of G ). arXiv:1810.11853v1 [math.AG] 28 Oct 2018 One can define G to be the unique groupoid acting on W (Xperf ) such that the morphism G → W (Xperf ) × W (Xperf ) is obtained by taking the divided power envelope of the ideal of the closed subscheme Xperf ×X Xperf ⊂ W (Xperf ) × W (Xperf ).
  • Mathematisches Forschungsinstitut Oberwolfach Non-Archimedean

    Mathematisches Forschungsinstitut Oberwolfach Non-Archimedean

    Mathematisches Forschungsinstitut Oberwolfach Report No. 57/2015 DOI: 10.4171/OWR/2015/57 Non-Archimedean Geometry and Applications Organised by Vladimir Berkovich, Rehovot Walter Gubler, Regensburg Peter Schneider, M¨unster Annette Werner, Frankfurt 13 December – 19 December 2015 Abstract. The workshop focused on recent developments in non-Archi- medean analytic geometry with various applications to other fields, in partic- ular to number theory and algebraic geometry. These applications included Mirror Symmetry, the Langlands program, p-adic Hodge theory, tropical ge- ometry, resolution of singularities and the geometry of moduli spaces. Much emphasis was put on making the list of talks to reflect this diversity, thereby fostering the mutual inspiration which comes from such interactions. Mathematics Subject Classification (2010): 03 C 98, 11 G 20, 11 G 25, 14 F 20, 14 G 20, 14 G 22, 32 P 05. Introduction by the Organisers The workshop on Non-Archimedean Analytic Geometry and Applications, or- ganized by Vladimir Berkovich (Rehovot), Walter Gubler (Regensburg), Peter Schneider (M¨unster) and Annette Werner (Frankfurt) had 53 participants. Non- Archimedean analytic geometry is a central area of arithmetic geometry. The first analytic spaces over fields with a non-Archimedean absolute value were introduced by John Tate and explored by many other mathematicians. They have found nu- merous applications to problems in number theory and algebraic geometry. In the 1990s, Vladimir Berkovich initiated a different approach to non-Archimedean an- alytic geometry, providing spaces with good topological properties which behave similarly as complex analytic spaces. Independently, Roland Huber developed a similar theory of adic spaces. Recently, Peter Scholze has introduced perfectoid 3272 Oberwolfach Report 57/2015 spaces as a ground breaking new tool to attack deep problems in p-adic Hodge theory and representation theory.