We present a deterministic algorithm that computes the zeta function of a nonsupersingular elliptic curve E over a finite field with p^n elements in time quasi-quadratic in n. An older algorithm having the same time complexity uses the canonical lift of E, whereas our algorithm uses rigid cohomology combined with a deformation approach. An implementation in small odd characteristic turns out to give very good results.
In this paper, we prove the generic overconvergence of relative rigid cohomology with coefficient, by using the semistable reduction conjecture for overconvergent $F$-isocrystals (which is recently shown by Kedlaya).
In this paper, we develop the theory of relative log convergent cohomology of radius $λ$ ($0 < λ\leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this cohomology with relative log crystalline cohomology, relative rigid cohomology and its variants and by using some technique of hypercovering, we prove a version of Berthelot's conjecture on the overconvergence of relative rigid cohomology for proper smooth families.
In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative log crystalline cohomology, and we relates relative log convergent cohomology to relative rigid cohomology to show the validity of Berthelot's conjecture on the coherence and the overconvergence of relative rigid cohomology for proper smooth families when they admit nice proper log smooth compactification to which the coefficient extends logarithmically.
We define de Rham cohomology groups for rigid spaces over non-archimedean fields of characteristic zero, based on the notion of dagger space. We establish some functorial properties and a finiteness result, and discuss the relation to the rigid cohomology as defined by P. Berthelot.
This is a report on a joint project in experimental mathematics with Jonas Bergström and Carel Faber where we obtain information about modular forms by counting curves over finite fields.
For a big class of smooth dagger spaces --- dagger spaces are 'rigid spaces with overconvergent structure sheaf' --- we prove finite dimensionality of de Rham cohomology. This is enough to obtain finiteness of Berthelot's rigid cohomology also in the non-smooth case. We need a careful study of de Rham cohomology in situations of semi-stable reduction.
We describe an algorithm for counting points on an arbitrary hyperelliptic curve over a finite field of odd characteristic, using Monsky-Washnitzer cohomology to compute a p-adic approximation to the characteristic polynomial of Frobenius. For fixed p, the asymptotic running time for a curve of genus g over the field of p^n elements is O(g^{4+ε} n^{3+ε}).
We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting equivalence. We show that this definition generalizes the usual rigid cohomology in case the variety has good reduction. We also prove a conjecture of Ayoub yielding an equivalence between rigid analytic motives with good reduction and unipotent algebraic motives over the residue field, also in mixed characteristic.
We investigate the action of the Weil group on the compactly supported l-adic etale cohomology groups of rigid spaces over a local field. We prove that the alternating sum of the traces of the action is an integer and is independent of l when either the rigid space is smooth or the characteristic of the base field is equal to 0. We modify the argument of T. Saito to prove a result on l-independence for nearby cycle cohomology, which leads to our l-independence result for smooth rigid spaces. In the general case, we use the finiteness theorem of R. Huber, which requires the restriction on the c…
Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These lattices are expressed in terms of the global sections of the twisted logarithmic de Rham complex. We prove the main theorem for smooth proper hypersurfaces with a smooth hyperplane section, then deduce the result for the quotient of such a pair in weighted projective space. We show how these results may be used to reduce the necessary p-adic precision with wh…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.
We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed nonarchimedean field containing Q_p. This result manifests as a special case of a more general finiteness result for the higher direct images of a relative (phi, Gamma)-module along a smooth proper morphism of rigid analytic spaces over a mixed-characterstic nonarchimedean field.
The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of constructible isocrystals to the derived category of arithmetic $\mathscr{D}$-modules. For objects `of Frobenius type', we show that the essential image of this functor consists of overholonomic $\mathscr{D}^\dagger$-modules, and lies inside the heart of the dual constructible t-structure. We use this to give a more global construction of Caro's specialisation…
We investigate the action of the Weil group on the compactly supported l-adic cohomology groups of rigid spaces over local fields. We prove that every eigenvalue of the action is a Weil number when either a rigid space is smooth or the characteristic of the base field is equal to 0. Since a smooth rigid space is locally isomorphic to the Raynaud generic fiber of an algebraizable formal scheme, we can use the techniques of alterations and monodromy spectral sequences in the smooth case. In the general case, we use the continuity theorem of Huber, which requires the restriction on the characteri…
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens-Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit ex…
Slopes and weights of $\ell$-adic cohomology of rigid spaces
School of Mathematical Sciences, Beijing Normal University（北京师范大学数学科学学院）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院晨兴数学中心）；University of the Chinese Academy of Sciences（中国科学院大学）
This is the first in a series of papers in which we construct and study a new $p$-adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$. This will be a version of rigid cohomology, taking values in the bounded Robba ring $\mathcal{E}_K^\dagger$, and in this paper, we give the basic definitions and constructions. The cohomology theory we define can be viewed as a relative version of Berthelot's rigid cohomology, and is constructed by compactifying $k(\!(t)\!)$-varieties as schemes over $k[\![ t]\!]$ rather than over $k(\!(t)\!)$. We reprove the found…
We prove some $\ell$-independence results on local constancy of étale cohomology of rigid analytic varieties. As a result, we show that a closed subscheme of a proper scheme over an algebraically closed complete non-archimedean field has a small open neighborhood in the analytic topology such that, for every prime number $\ell$ different from the residue characteristic, the closed subscheme and the open neighborhood have the same étale cohomology with $\mathbb Z/\ell \mathbb Z$-coefficients. The existence of such an open neighborhood for each $\ell$ was proved by Huber. A key ingredient in the…
In this paper we prove that the $\mathcal{E}^\dagger_K$-valued cohomology, introduced in [9] is finite dimensional for smooth curves over Laurent series fields $k((t))$ in positive characteristic, and forms an $\mathcal{E}^\dagger_K$-lattice inside `classical' $\mathcal{E}_K$-valued rigid cohomology. We do so by proving a suitable version of the p-adic local monodromy theory over $\mathcal{E}^\dagger_K$, and then using an étale pushforward for smooth curves to reduce to the case of $\mathbb{A}^1$. We then introduce $\mathcal{E}^\dagger_K$-valued cohomology with compact supports, and again prov…
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.
In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and Frobenius structures, and therefore are naturally $(φ,\nabla)$-modules over $\mathcal{E}_K^\dagger$ whenever they are finite dimensional. We also introduce a category of `absolute' coefficients for the theory; the same results are true for cohomology groups with coefficients. We moreover prove a $p$-adic version of the weight monodromy conjecture for smooth (not …
We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve, which extends (in a suitable sense) Hyodo-Kato cohomology when the rigid space has a semi-stable proper formal model over the ring of integers of a finite extension of $\mathbf{Q}_p$. This cohomology theory factors through the category of rigid analytic motives of Ayoub.
Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the étale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are compatible with Poincaré duality and with the canonical morphisms among such cohomology. We deduce these results from their analogues for rigid analytic varieties that are Zariski open in some proper smooth rigid analytic varieties over $k$. In particular, we prove finiteness of étale cohomology with partial compact support of any $\mathbb Z_p$-local systems, and e…
We show that if two singular points $x' \in X'$ and $x \in X$ on schemes over a field $k$ of characteristic $p > 0$ are contact equivalent then the rigid cohomology spaces $H^{\bullet}_{rig, \{x\}}(X)$ and $H^{\bullet}_{rig, \{x'\}}(X')$ are isomorphic. The isomorphism that we construct is moreover compatible with the Frobenius structure on rigid cohomology.
In this paper the rigid cohomology of Drinfeld's upper half space over a finite field is computed in two ways. The first method proceeds by computation of the rigid cohomology of the complement of Drinfeld's upper half space in the ambient projective space and then use of the associated long exact sequence for rigid cohomology with proper supports. The second method proceeds by direct computation of rigid cohomology as a direct limit of de Rham cohomologies of a family of strict open neighborhoods of the tube of Drinfeld's upper half space in the ambient rigid-analytic projective space. The re…
Universiteit van Amsterdam（阿姆斯特丹大学）；Imperial College London（帝国理工学院）
In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, stating that a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k [\![ t ]\!]$ 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 conject…
For a smooth scheme over a perfect field of characteristic p>0, we generalise a definition of Bloch and introduce overconvergent de Rham-Witt connections. This provides a tool to extend the comparison morphisms of Davis, Langer and Zink between overconvergent de Rham-Witt cohomology and Monsky-Washnitzer respectively rigid cohomology to coefficients.
We introduce a category of 'rigid spaces with overconvergent structure sheaf' which we call dagger spaces --- this is the correct category in which de Rham cohomology in rigid analysis should be studied. We compare it with the (usual) category of rigid spaces, give Serre and Poincaré duality theorems and explain the relation with Berthelot's rigid cohomology.
We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by constructing an \et ale hypercover for any smooth scheme $X$, refined at each level to be a disjoint union of open standard smooth subschemes of $X$. We then find, for large $N$, an $N$-truncated closed embedding into a simplicial smooth scheme over $W(k)$, which allows us to use the results of \textit{loc. cit} at the simplicial level, and use cohomological descen…
We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of it for strictly semistable log schemes with boundary.
We define Frobenius and monodromy operators on the de Rham cohomology of $K$-dagger spaces (rigid spaces with overconvergent structure sheaves) with strictly semistable reduction $Y$, over a complete discrete valuation ring $K$ of mixed characteristic. For this we introduce log rigid cohomology and generalize the so called Hyodo-Kato isomorphism to versions for non-proper $Y$, for non-perfect residue fields, for non-integrally defined coefficients, and for the various strata of $Y$. We apply this to define and investigate crystalline structure elements on the de Rham cohomology of Drinfel'd's …
In this article, we use deformation theory of Galois representations valued in the symplectic group of degree four to prove a freeness result for the cohomology of certain quaternionic unitary Shimura variety over the universal deformation ring for certain type of residual representation satisfying a property called rigidity. This result plays an important role in the proof of the arithmetic level raising theorem for the symplectic similitude group of degree four over the field of rational numbers by the author.
We extend the work of Ash and Stevens [Ash-Stevens 97] on p-adic analytic families of p-ordinary arithmetic cohomology classes for GL(N,Q) by introducing and investigating the concept of p-adic rigidity of arithmetic Hecke eigenclasses. An arithmetic eigenclass is said to be "rigid" if (modulo twisting) it does not admit a nontrivial p-adic deformation containing a Zariski dense set of arithmetic specializations. This paper develops tools for explicit investigation into the structure of eigenvarieties for GL(N). We use these tools to prove that known examples of non-sefldual cohomological cusp…
We construct the compatible system of $l$-adic representations associated to a regular algebraic cuspidal automorphic representation of $GL_n$ over a CM (or totally real) field and check local-global compatibility for the $l$-adic representation away from $l$ and finite number of rational primes above which the CM field or the automorphic representation ramify. The main innovation is that we impose no self-duality hypothesis on the automorphic representation.
In this article, we generalize the Hodge-Tate decomposition of p-adic étale cohomology to non-smooth rigid spaces. Our strategy is to study pro-étale cohomology of rigid spaces introduced by Scholze, using the resolution of singularities and the simplicial method.
We construct an algebraic variety by resolving singularities of a quintic Calabi-Yau threefold. The middle cohomology of the threefold is shown to contain a piece coming from a pair of elliptic surfaces. The resulting quotient is a two-dimensional Galois representation. By using the Lefschetz fixed-point theorem in étale cohomology and counting points on the variety over finite fields, this Galois representation is shown to be modular.
We make cohomological computations related to the moduli space of genus three curves with symplectic level two structure by means of counting points over finite fields. In particular, we determine the cohomology groups of the quartic locus as representations of the symmetric group on seven elements.
The counting function on the natural numbers defines a discrete Morse-Smale complex with a cohomology for which topological quantities like Morse indices, Betti numbers or counting functions for critical points of Morse index are explicitly given in number theoretical terms. The Euler characteristic of the Morse filtration is related to the Mertens function, the Poincaré-Hopf indices at critical points correspond to the values of the Moebius function. The Morse inequalities link number theoretical quantities like the prime counting functions relevant for the distribution of primes with cohomol…
We compute quantum cohomology ring of elliptic $\mathbb{P}^1$ orbifolds via orbi-curve counting. The main technique is the classification theorem which relates holomorphic orbi-curves with certain orbifold coverings. The countings of orbi-curves are related to the integer solutions of Diophantine equations. This reproduces the computation of Satake and Takahashi in the case of $\mathbb{P}^1_{3,3,3}$ via different method.
We compare the cohomology of the global Galois gerbes constructed in [Kot] and [Kal18a], respectively, and give applications to the theory of endoscopy.
We compute the rational Betti cohomology groups of the coarse moduli spaces of geometrically marked Del Pezzo surfaces of degree three and four as representations of the Weyl groups of the corresponding root systems. The proof uses a blend of methods from point counting over finite fields and techniques from arrangement complements.
We define a new cohomology set for an affine algebraic group G and a multiplicative finite central subgroup Z, both defined over a local field of characteristic zero, which is an enlargement of the usual first Galois cohomology set of G. We show how this set can be used to normalize the Langlands-Shelstad endoscopic transfer factors and to give a conjectural description of the internal structure and endoscopic transfer of L-packets for arbitrary connected reductive groups that extends the well-known conjectural description for quasi-split groups. In the real case, we show that this description…
