Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X over the ring of integers of K. If X has such reduction, we then show that for all l, the Q_l-adic etale cohomology of X has a filtration whose graded quotients are isomorphic, as Galois modules, to the tensor product of a finite dimensional Q-vector space (with a finite unramified action of Galois) with twists of Q_l by the cyclotomic character.
In this paper, we define, for arithmetic schemes with semistable reduction, $p$-adic objects playing the roles of Tate twists in étale topology, and establish their fundamental properties.
We introduce the characteristic class of an l-adic etale sheaf using a cohomological pairing due to Verdier (SGA5). As a consequence of the Lefschetz-Verdier trace formula, its trace computes the Euler-Poincare characteristic of the sheaf. We compare the characteristic class to two other invariants arising from ramification theory. One is the Swan class of Kato-Saito (math.AG/0402010) and the other is the 0-cycle class defined by Kato for rank 1 sheaves.
In this article, we define the l-adic homology for a morphism of schemes satisfying certain finiteness conditions. This homology has these functors similar to the Chow groups: proper push-forward, flat pull-back, base change, cap-product, etc. In particular on singular varieties, this kind of l-adic homology behaves much better that the classical l-adic cohomology. As an application, we give an much easier approach to construct the cycle maps for arbitrary algebraic schemes over fields of finite cohomology dimension. And we prove these cycle maps kill the algebraic equivalences and commute wit…
In this article the étale cohomology of constructible torsion sheaves on the étale site of the algebraic resp. adic Fargues-Fontaine curve is analyzed. In the $\ell\neq p$-torsion case, two conjectures of Fargues are verified: vanishing in degrees greater than two and the comparison between the étale cohomology of the adic and the algebraic curve. In the $p$-torsion case, under a certain assumption, the vanishing of the étale cohomology in degrees greater than two of those Zariski-constructible sheaves on the adic curve that come via pullback from the algebraic curve is proven.
We compute the integral $p$-adic étale cohomology of Drinfeld symmetric spaces of any dimension. This refines the computation of the rational $p$-adic étale cohomology from Colmez-Dospinescu-Nizioł. The main tools are: the computation of the integral de Rham cohomology from CDN and the integral $p$-adic comparison theorems of Bhatt-Morrow-Scholze and Česnavičius-Koshikawa which replace the quasi-integral comparison theorem of Tsuji used in CDN.
We prove that the geometric etale fundamental group of a (geometrically connected) rigid smooth $p$-adic affinoid curve is a semi-direct factor of a certain profinite free group. We also prove that the maximal pro-$p$ (resp. maximal prime-to-$p$) quotient of this geometric étale fundamental group is pro-$p$ free of infinite rank (resp. (pro-)prime-to-$p$ free of finite computable rank).
We show that in positive characteristic special loci of deformation spaces of rank one $\ell$-adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one $\ell$-adic local systems and a generic vanishing theorem. Last version: a few typos corrected
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étale fundamental group of a (geometrically connected) formal fibre of a $p$-adic curve is (pro-)prime-to-$p$ free of finite computable rank.
Let $X$ be a smooth scheme over an algebraically closed field. When $X$ is proper, it was proved in \cite{me1} that the moduli of $\ell$-adic continuous representations of $π_1^\et(X)$, $\LocSys(X)$, is representable by a (derived) $\Ql$-analytic space. However, in the non-proper case one cannot expect that the results of \cite{me1} hold mutatis mutandis. Instead, assuming $\ell$ is invertible in $X$, one has to bound the ramification at infinity of those considered continuous representations. The main goal of the current text is to give a proof of such representability statements in the open …
We compute the $p$-adic étale and the pro-étale cohomologies of the Drinfeld half-space of any dimension. The main input is a new comparison theorem for the $p$-adic pro-étale cohomology of $p$-adic Stein spaces.
Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.
We establish duality results for the cohomology of the Weil group of a $p$-adic field, analogous to, but more general than, results from Galois cohomology. We prove a duality theorem for discrete Weil modules, which implies Tate-Nakayama Duality. We define Weil-smooth cohomology for varieties over local fields, and prove a duality theorem for the cohomology of $\G_m$ on a smooth, proper curve with a rational point. This last theorem is analogous to, and implies, a classical duality theorem for such curves.
For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the $p$-adic étale cohomology of the geometric generic fibre, and we make a conjecture ("$p$-adic local invariant cycle theorem") that describes the behavior of this map for regular $X$, analogous to the situation in $l$-adic étale cohomology for $l\neq p$. Our main result is that, if $X$ has semistable reduction, this specialization map induces an isomorphism on the s…
We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We define a completion map of formal schemes as the one that arises canonically by performing the completion of a noetherian formal scheme along a subscheme, following the well-known pattern of ordinary schemes. These maps are etale in the sense of this work (but not adic). They allow us to give a local description of smooth morphisms. This morphisms can be fact…
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-étale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-étale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another in…
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
We develop a theory of étale parallel transport for vector bundles with numerically flat reduction on a $p$-adic variety. This construction is compatible with natural operations on vector bundles, Galois equivariant and functorial with respect to morphisms of varieties. In particular, it provides a continuous $p$-adic representation of the étale fundamental group for every vector bundle with numerically flat reduction. The results in the present paper generalize previous work by the authors on curves. They can be seen as a $p$-adic analog of higher-dimensional generalizations of the classical …
Let X be a smooth variety over a field k, and l be a prime number invertible in k. We study the (étale) unramified H^3 of X with coefficients Q_l/Z_l(2) in the style of Colliot-Thélène and Voisin. If k is separably closed, finite or p-adic, this describes it as an extension of a finite group F by a divisible group D, where F is the torsion subgroup of the cokernel of the l-adic cycle map. If k is finite and X is projective and of abelian type, verifying the Tate conjecture, D=0. If k is separably closed, we relate D to an l-adic Griffiths group. If k is the separable closure of a finite field …
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a su…
Following an idea of Totaro, we prove that the classical integral cycle class map from algebraic cycles to étale cohomology factors through a quotient of $\ell$-adic étale cobordism over an algebraically closed field of positive characteristic. This shows that there is a strong topological obstruction for cohomology classes to be algebraic and that examples of Atiyah, Hirzebruch and Totaro also work in positive characteristic.
We consider a finite étale morphism $f:Y \to X$ of quasi-smooth Berkovich curves over a complete nonarchimedean non-trivially valued field $k$, assumed algebraically closed and of characteristic 0, and a skeleton $Γ_f=(Γ_Y,Γ_X)$ of the morphism $f$. We prove that $Γ_f$ radializes $f$ if and only if $Γ_X$ controls the pushforward of the constant $p$-adic differential equation $f_*(\mathcal{O}_Y,d_Y)$. Furthermore, when $f$ is a finite étale morphism of open unit discs, we prove that $f$ is radial if and only if the number of preimages of a point $x\in X$, counted without multiplicity, only depe…
For an abeloid variety $A$ over a complete algebraically closed field extension $K$ of $\mathbb Q_p$, we construct a $p$-adic Corlette-Simpson correspondence, namely an equivalence between finite-dimensional continuous $K$-linear representations of the Tate module and a certain subcategory of the Higgs bundles on $A$. To do so, our central object of study is the category of vector bundles for the $v$-topology on the diamond associated to $A$. We prove that any pro-finite-étale $v$-vector bundle can be built from pro-finite-étale $v$-line bundles and unipotent $v$-bundles. To describe the latte…
We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely…
The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms.
Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.
We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite simplicial schemes in the good reduction case and to cohomology with compact support in the semistable reduction case. It yields the equality of the period morphisms for cohomology with compact support defined using the syntomic, almost étale, and motivic constructions. We continue with showing that the $h$-cohomology period morphism agrees with the syntomic and…
In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite étale descent and the associated rational cohomology coincides with rigid cohomology.
In this article, we present an alternate proof of a vanishing result of étale cohomology on perfectoid rings due to Česnavičius and more recently proved by a different approach by Bhatt and Scholze. To establish that, we prove a tilting equivalence of étale cohomology of perfectoid rings taking values in commutative, finite étale group schemes. On the way, we algebraically establish an analogue of the tilting correspondences of Scholze, between the category of finite étale schemes over a perfectoid ring and that over its tilt, without using tools from almost ring theory or adic spaces.
In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between étale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-étale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more gener…
We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of these categories coincides with the triangulated categories of Beilinson motives (and is thus strongly related to algebraic $K$-theory). We extend the rigity theorem of Suslin and Voevodsky over a general base scheme. This can be reformulated by saying that torsion etale motives essentially coincide with the usual complexes of torsion etale sheaves (at least if…
We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained as a quotient of its étale cohomology. For any compact $\mathbb{Z}_p[[1 + N \mathbb{Z}_p]]$-algebra $Λ_1$ satisfying certain suitable conditions, we construct a representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ over $Λ_1$ associated to a $Λ_1$-adic cuspidal eigenform of finite slope as a scalar extension of a quotient of the étale cohomology.
We extend our previous theory of etale parallel transport to a larger class of slope zero vector bundles on p-adic curves. The new class is stable under pullback by ramified coverings. We also construct p-adic representations of a central extension of the fundamental group for certain bundles of non-zero slope.
In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable conditions. We aim to give many results on ascent and descent of certain ring theoretic properties under completion. As an application, we give conceptual details to the proof of the almost purity theorem for Witt-perfect rings by Davis and Kedlaya. Witt-perfect rings have the advantage that one does not need to assume that the rings are complete and separated.
This short note regards an observation about the recent theory of prismatic cohomology developed by Bhatt and Scholze. In particular, by applying a functor of Mandell, we see that the étale comparison theorem in the prismatic theory reproduces the $p$-adic homotopy type for a smooth proper complex variety with good reduction mod $p$.
I prove the surjectivity of the $p$-adic regulator from Quillen's $K_2$ of Tate curve to the $p$-adic etale cohomology group when the base field is contained in a cyclotomic extension of $Q_p$. This implies the finiteness of torsion part of $K_1$ of Tate curves thanks to Suslin's exact sequence.
We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale cohomology. In the second half of the paper, we apply this to study the Weil-etale cohomology of the motivic complex for smooth and projective varieties. These groups are expected to be finitely generated, to give an integral model for l-adic cohomology, and to be related to special values of the zeta function. We give necessary and sufficient conditions fo…
