Syntomic regulators andp-adic integration I: Rigid syntomic regulators

We construct a new version of syntomic cohomology, called rigid syntomic cohomology, for smooth schemes over the ring of integers of ap-adic field. This version is more refined than previous constructions and naturally maps to most of them. We construct regulators fromK-theory into rigid syntomic cohomology. We also define a “modified” syntomic cohomology, which is better behaved in explicit computations yet is isomorphic to rigid syntomic cohomology in most cases of interest.     

Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités

Résumé Nous démontrons la conjecture de Katz concernant la méromorphie et la caractérisation des zéros et p?les unités des fonctions L associées aux représentations p-adiques lorsque celles-ci se prolongent sur une compactification du schéma de base. Comme cas particuliers importants, on obtient celui de la fonction zêta d’un schéma quelconque et celui d’une représentation p-adique quelconque sur un schéma propre.

---

If X is a smooth variety over a finite field ? _q of characteristic p > 0 and ℱ is a p-adic sheaf associated to a representation of the fundamental group of X, N. Katz conjectures, in his Bourbaki talk 409, that the L function L (X, ℱ, t) has its p-adic unit roots and poles given in terms of p-adic étale cohomology. We prove this conjecture in the case of the structure sheaf ℱ = ℤ _p , that is for the Zeta function, and also more generally when the p-adic sheaf ℱ extends to a smooth sheaf on a compactification of X: as a consequence we get the Unit-Root Zeta function of Dwork and Sperber as an L function. The idea of the proof is to get the p-adic étale cohomology with coefficients and compact support as the fixed points of Frobenius acting on rigid cohomology with compact support. For this purpose, we first build a crystalline Artin–Schreier short exact sequence on the syntomic site of a scheme which is separated of finite type over a perfect field k: this naturally generalizes the work of J.M. Fontaine and W. Messing in the proper smooth case. Then getting rigid cohomology with coefficients as a limit of crystalline cohomologies of variable level we deduce a long exact sequence connecting p-adic étale cohomology (with compact support) to rigid cohomology (with compact support). When X is smooth and affine over an algebraically closed field, the former exact sequence splits into short exact sequences that identify the p-adic étale cohomology with support of X to the part of its rigid cohomology invariant under Frobenius. We can then describe the p-adic unit roots and poles of the Zeta function of X; as a corallary we get the Unit-Root Zeta function of Dwork and Sperber as an L function. In the appendix we show that the characteristic spaces of Frobenius in rigid cohomology commute with isometric extensions of the base, and that isocrystals associated to p-adic sheaves with finite monodromy are overconvergent: we thus obtain a p-adic proof of the rationality of the corresponding L-function.

---

---

Oblatum 8-XII-1994 & 30-IV-1996     

The Picard–Lefschetz formula for p-adic cohomology

In this paper, we discuss a p-adic analogue of the Picard–Lefschetz formula. For a family with ordinary double points over a complete discrete valuation ring of mixed characteristic (0,p), we construct vanishing cycle modules which measure the difference between the rigid cohomology groups of the special fiber and the de Rham cohomology groups of the generic fiber. Furthermore, the monodromy operators on the de Rham cohomology groups of the generic fiber are described by the canonical generators of the vanishing cycle modules in the same way as in the case of the ℓ-adic (or classical) Picard–Lefschetz formula. For the construction and the proof, we use the logarithmic de Rham–Witt complexes and those weight filtrations investigated by Mokrane (Duke Math. J. 72(2):301–337, 1993).      

Some finiteness results for étale cohomology

We prove some finiteness theorems for the étale cohomology, Borel-Moore homology and cohomology with proper supports with divisible coefficients of schemes of finite type over a finite or p-adic field. This yields vanishing results for their l-adic cohomology, proving part of a conjecture of Jannsen.     

Kato’s Euler system and rational points on elliptic curves I: A p-adic Beilinson formula

This article is the first in a series devoted to Kato’s Euler system arising from p-adic families of Beilinson elements in the K-theory of modular curves. It proves a p-adic Beilinson formula relating the syntomic regulator (in the sense of Coleman-de Shalit and Besser) of certain distinguished elements in the K-theory of modular curves to the special values at integer points ≥ 2 of the Mazur-Swinnerton-Dyer p-adic L-function attached to cusp forms of weight 2. When combined with the explicit relation between syntomic regulators and p-adic étale cohomology, this leads to an alternate proof of the main results of [Br2] and [Ge] which is independent of Kato’s explicit reciprocity law.     

Fonction L unité d'un groupe de Barsotti-Tate

The purpose of this article is to give a cohomological formula for the unit-root part of the L-function associated to a Barsotti-Tate group G on a scheme S over a field of characteristic p when G extends to some compactification of S. This is an analogue of a part of a conjecture of Katz according to wich the L-function of an F-crystal should be expressed in terms of the p-adic etale sheaf corresponding to the unit-root part of the crystal. In order to carry out this project, we use the technics of [E-LS II] wich require in our case an extension of the Dieudonné crystalline theory ([B-B-M]) to “crystal of level mG” in the sense of Berthelot. We show that the unit-root L-function of the Dieudonné crystal associated to G can be expressed in terms of the syntomic cohomology of the Ext group of G by the constant sheaf.

Received: 24 March 1997 / Revised version: 6 January 1998     

Duality in the cohomology of crystalline local systems

Let k be a perfect field of a positive characteristic p, K-the fraction field of the ring of Witt vectors W(k) Let X be a smooth and proper scheme over W(k). We present a candidate for a cohomology theory with coefficients in crystalline local systems: p -adic étale local systems on X_K characterized by associating to them so called Fontaine-crystals on the crystalline site of the special fiber X _k. We show that this cohomology satysfies a duality theorem.     

The syntomic regulator for the K-theory of fields

We define complexes analogous to Goncharov's complexes for the K-theory of discrete valuation rings of characteristic zero. Under suitable assumptions in K-theory, there is a map from the cohomology of those complexes to the K-theory of the ring under consideration. In case the ring is a localization of the ring of integers in a number field, there are no assumptions necessary. We compute the composition of our map to the K-theory with the syntomic regulator. The result can be described in terms of a p-adic polylogarithm. Finally, we apply our theory in order to compute the regulator to syntomic cohomology on Beilinson's cyclotomic elements. The result is again given by the p-adic polylogarithm. This last result is related to one by Somekawa and generalizes work by Gros.     

Nonstandard étale cohomology

A lot of good properties of étale cohomology only hold for torsion coefficients. We use ultraproducts respectively enlargement construction to define a cohomology theory that inherits the important properties of étale cohomology while allowing greater flexibility with the coefficients. In particular, choosing coefficients ^∗Z/P^∗Z (for P an infinite prime and ^∗Z the enlargement of Z) gives a Weil cohomology, and choosing ^∗Z/l^h∗Z (for l a finite prime and h an infinite number) allows comparison with ordinary l-adic cohomology. More generally, for every N∈^∗Z, we get a category of ^∗Z/N^∗Z-constructible sheaves with good properties.     

Half twists and the cohomology of hypersurfaces

A Hodge structure V of weight k on which a CM field acts defines, under certain conditions, a Hodge structure of weight , its half twist. In this paper we consider hypersurfaces in projective space with a cyclic automorphism which defines an action of a cyclotomic field on a Hodge substructure in the cohomology. We determine when the half twist exists and relate it to the geometry and moduli of the hypersurfaces. We use our results to prove the existence of a Kuga-Satake correspondence for certain cubic 4-folds. Received: 25 August 2000; in final form: 8 January 2001 / Published online: 18 January 2002     

Potential semi-stability ofp-adic étale cohomology

We extend the methods of Faltings and Tsuji, and prove that ifK is a field of characteristic 0 with a complete, discrete valuation, and a perfect residue field of characteristicp, then thep-adic étale cohomology of a finite typeK-scheme is potentially semi-stable. We prove a similar result for cohomology with compact support, and for cohomology with support in a closed subspace ofX. We establish a relationship between these cohomology groups, and the de Rham cohomology ofX.     

Weights in arithmetic geometry

The concept of weights on the cohomology of algebraic varieties was initiated by fundamental ideas and work of A. Grothendieck and P. Deligne. It is deeply connected with the concept of motives and appeared first on the singular cohomology as the weights of (possibly mixed) Hodge structures and on the etale cohomology as the weights of eigenvalues of Frobenius. But weights also appear on algebraic fundamental groups and in p-adic Hodge theory, where they become only visible after applying the comparison functors of Fontaine. After rehearsing various versions of weights, we explain some more recent applications of weights, e.g. to Hasse principles and the computation of motivic cohomology, and discuss some open questions.     

Motivic cohomology over Dedekind rings

We study properties of Blochs higher Chow groups on smooth varieties over Dedekind rings. We prove the vanishing of for i > n, and the existence of a Gersten resolution for if the residue characteristic is p. We also show that the Bloch-Kato conjecture implies the Beilinson-Lichtenbaum conjecture an identification for m invertible, and a Gersten resolution with (arbitrary) finite coefficients. Over a complete discrete valuation ring of mixed characteristic (0,p), we construct a map from motivic cohomology to syntomic cohomology, which is a quasi-isomorphism provided the Bloch-Kato conjecture holds.Supported in part by JSPS, NSF Grant. No. 0070850, and the Alfred P.Sloan Foundation     

Differentials of the second kind on mumford curves

We define ap-adic analytic Hodge decomposition for the cohomology of Mumford curves, with values in a local system. When the local system is trivial, we give a new proof of Gerritzen’s theorem, that this decomposition forms a variation of Hodge structure, in a family of Mumford curves.     

Syntomic regulators and special values of p-adic L-functions

In this paper p-adic analogs of the Lichtenbaum Conjectures are proven for abelian number fields F and odd prime numbers p, which generalize Leopoldt's p-adic class number formula, and express special values of p-adic L-functions in terms of orders of K-groups and higher p-adic regulators. The approach uses syntomic regulator maps, which are the p-adic equivalent of the Beilinson regulator maps. They can be compared with étale regulators via the Fontaine-Messing map, and computations of Bloch-Kato in the case that p is unramified in F lead to results about generalized Coates-Wiles homomorphisms and cyclotomic characters. Oblatum 14-V-96 & 9-X-97     

On the cohomology of Drinfel’d’sp-adic symmetric domain

There are, by now, three approaches to the de-Rham cohomology of Drinfel’d’sp-adic symmetric domain: the original work of Schneider and Stuhler, and more recent work of Iovita and Spiess, and of de Shalit. In the first part of this paper we compare all three approaches and clarify a few points which remained obscure. In the second half we give a short proof of a conjecture of Schneider and Stuhler, previously proven by Iovita and Spiess, on a Hodge-like decomposition of the cohomology ofp-adically uniformized varieties.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

Perfectoid Shimura varieties

This note explains some of the author’s work on understanding the torsion appearing in the cohomology of locally symmetric spaces such as arithmetic hyperbolic 3-manifolds.The key technical tool was a theory of Shimura varieties with infinite level at p: As p-adic analytic spaces, they are perfectoid, and admit a new kind of period map, called the Hodge–Tate period map, towards the flag variety. Moreover, the (semisimple) automorphic vector bundles come via pullback along the Hodge–Tate period map from the flag variety.In the case of the Siegel moduli space, the situation is fully analyzed in [12]. We explain the conjectural picture for a general Shimura variety.     

Deformation spaces of one-dimensional formal modules and their cohomology

Let Mm be the formal scheme which represents the functor of deformations of a one-dimensional formal module over equipped with a level-m-structure. By work of Boyer (in equal characteristic) and Harris and Taylor, the ?-adic étale cohomology of the generic fibre Mm of Mm realizes simultaneously the local Langlands and Jacquet-Langlands correspondences. The proofs given so far use Drinfeld modular varieties or Shimura varieties to derive this local result. In this paper we show without the use of global moduli spaces that the Jacquet-Langlands correspondence is realized by the Euler-Poincaré characteristic of the cohomology. Under a certain finiteness assumption on the cohomology groups, it is shown that the correspondence is realized in only one degree. One main ingredient of the proof consists in analyzing the boundary of the deformation spaces and in studying larger spaces which can be considered as compactifications of the spaces Mm.