v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond the middle dimension. This sharpens both Deligne's integrality theorem and the cohomological divisibility theorem proven by the first author and N. Katz. Similar lower bounds are proved for the Hodge level for a complex variety beyond the middle dimension, improving earlier results in this direction. We discuss the affine case. The previous version contained a gap at this place. We are thankful to Dingxin Zhang for noticing it.
For a given point P in the group of K-rational points E(K) of an elliptic curve, we consider the sequence of values (F_1(P),F_2(P),F_3(P),...) of the division polynomials of E at P. If K is a finite field, we prove that the sequence is periodic. If K/Q_p is a local field, we prove (under certain hypotheses) that there is a power q=p^e so that for all m > 0, the limit as k goes to infinity of F_{mq^{k}}(P) exists in K and is algebraic over Q(E). We apply this result to prove an analogous p-adic limit and algebraicity result for elliptic divisibility sequences.
The notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over $\zp$ (the ring of $p$-adic integers), as well as an alternative construction of the crystalline cohomology of a smooth projective variety over $\fp$ (finite field with $p$ elements).
Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.
We show that Ax-Katz divisibility on the number of rational points of a variety defined over a finite field by equations of low degrees comes from divisibility of the eigenvalues of the Frobenius action of the $\ell$-adic cohomology with compact supports. This completes the motivc picture, as we knew already that in characteristic 0, the Hodge type was the expected one. [version 2 as the title contained a typo..., else no changes]
We extend the definition of the Chen-Ruan cohomology ring to smooth, proper, tame, Deligne-Mumford stacks over fields of positive characteristic and prove that a modified version of the Frobenius action preserves the product.
We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed by passage to proper covers. These results are motivated by the desire to understand rational singularities in mixed characteristic, and have applications in p-adic Hodge theory
The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.
We show that one can express Frobenius transformation on middle-dimensional p-adic cohomology of Calabi-Yau threefold in terms of mirror map and instanton numbers. We express the mirror map in terms of Frobenius transformation on p-adic cohomology . We discuss a $p$-adic interpretation of the conjecture about integrality of Gopakumar-Vafa invariants.
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic framework: first, the six operations preserve weights, and secondly, the intermediate extension of an immersion preserves pure complexes and weights.
We prove results that, for a certain class of non-compact Calabi-Yau threefolds, relate the Frobenius action on their $p$-adic cohomology to the Frobenius action on the $p$-adic cohomology of the corresponding curves. In the appendix, we describe our interpretation of the Griffiths-Dwork method.
We compute a basis for the p-adic Dwork cohomology of a smooth complete intersection in projective space over a finite field and use it to give p-adic estimates for the action of Frobenius on this cohomology. In particular, we prove that the Newton polygon of the characteristic polynomial of Frobenius lies on or above the associated Hodge polygon. This result was first proved by B. Mazur using crystalline cohomology.
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…
We give a positive answer to the questions 4.4 on Hodge type and 4.2 on divisibility of the eigenvalues of Frobenius of the article by N. Fakhruddin and C. S. Rajan (NT/0402230).
We prove a statement on p-adic continuity of matrices of coefficients of the logarithm of the Artin-Mazur formal group law associated to the middle cohomology of a hypersurface. As Jan Stienstra discovered in 1986, the entries of these matrices are coefficients of powers of the equation of the hypersurface, and in certain cases they satisfy congruences of Atkin and Swinnerton-Dyer type. These congruences imply that eigenvalues of our limiting matrices are eigenvalues of Frobenius of zero p-adic valuation on the middle crystalline cohomology of the fibre at p.
This primarily expository article collects together some facts from the literature about the monodromy of differential equations on a p-adic (rigid analytic) annulus, though often with simpler proofs. These include Matsuda's classification of quasi-unipotent nabla-modules, the Christol-Mebkhout construction of the ramification filtration, and the Christol-Dwork Frobenius antecedent theorem. We also briefly discuss the p-adic local monodromy theorem without proof.
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（中国科学院大学）
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…
We produce a canonical filtration for locally free sheaves on an open p-adic annulus equipped with a Frobenius structure. Using this filtration, we deduce a conjecture of Crew on p-adic differential equations, analogous to Grothendieck's local monodromy theorem (also a consequence of results of Andre and of Mebkhout). Namely, given a finite locally free sheaf on an open p-adic annulus with a connection and a compatible Frobenius structure, the corresponding module admits a basis over a finite cover of the annulus on which the connection acts via a nilpotent matrix. Note: this preprint improves…
Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric …
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$.
In the late '60s, B. Dwork studied a Frobenius structure compatible with the classical hypergeometric differential equation with parameters $\left(\frac{1}{2},\frac{1}{2} ; 1 \right)$ by analyzing behavior of solutions of the differential equation under Frobenius transformation. Recently, P. Scholze conjectured the existence of $q$-de Rham cohomology groups for any $\mathbb{Z}$-scheme. In this paper, we give a Frobenius structure compatible with the $q$-hypergeometric differential equation with parameters $(q^{\frac12},q^{\frac12};q)$ by showing a $q$-analogue of some results of Dwork. This co…
Let $X\subset ¶^n$ be a possibly singular hypersurface of degree $d\le n$, defined over a finite field $k$. We show that the diagonal, suitably interpreted, is decomposable. This gives a proof that the eigenvalues of the Frobenius action on its $\ell$-adic cohomology $H^i(\bar{X}, \Q_\ell)$, for $\ell \neq {\rm char}(k)$, are divisible by $q$, without using the result on the existence of rational points by Ax and Katz.
We study the algbraic dynamics for endomorphisms of projective spaces with coefficients in a p-adic field whose reduction in positive characteritic is the Frobenius. In particular, we prove a version of the dynamical Manin-Mumford conjecture and the dynamical Mordell-Lang conjecture for the coherent backward orbits for such endomorphisms. We also give a new proof of a dynamical version of the Tate-Voloch conjecture in this case. Our method is based on the theory of perfectoid spaces introduced by P. Scholze. In the appendix, we prove that under some technical condition on the field of definiti…
Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime number l' different from p, there exists an irreducible lisse l'-adic sheaf L' on X which is compatible with L, in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for L and L' are equal. We prove an "independence of l" assertion on the fields of definition of these irreducible l'-adic sheaves L' : namely, that the…
To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $\ell$-adic counterpart of the GKZ hypergeometric system, which we call the $\ell$-adic GKZ hypergeometric sheaf. It is an object in the derived category of $\ell$-adic sheaves on the affine space over a finite field. Traces of Frobenius on stalks of this object at rational points of the affine space define the hypergeometric functions over the finite field introduced by Gel…
We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible étale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).
We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse holonomic arithmetic D-modules. We prove here that a constructible isocrystal is completely determined by any of its geometric realizations.
