Rational points over finite fields for regular models of algebraic varieties of Hodge type 1

DOI10.4007/ANNALS.2012.176.1.8zbMATH Open1254.14019arXiv1009.0178OpenAlexW2963861582MaRDI QIDQ447935FDOQ447935

Authors: Pierre Berthelot, Hélène Esnault, Kay Rülling 

Publication date: 30 August 2012

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k^{\prime }$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre $X_K$ and special fibre $X_k$. Assume that $X_K$ is geometrically connected and of Hodge type $geq1$ in positive degrees. Then we show that the number of $k^{\prime }$-rational points of $X$ satisfies the congruence $|X(k^{\prime })|equiv1$ mod $|k^{\prime }|$. Thanks to cite{BBE07}, we deduce such congruences from a vanishing theorem for the Witt cohomology groups $H^q(X_k,Ws{O}_{X_k,Q})$, for $q>0$. In our proof of this last result, a key step is the construction of a trace morphism between the Witt cohomologies of the special fibres of two flat regular $R$-schemes $X$ and $Y$ of the same dimension, defined by a surjective projective morphism $f:YoX$.

Full work available at URL: https://arxiv.org/abs/1009.0178

Recommendations

• Congruence for rational points over finite fields and coniveau over local fields
• Congruences for rational points on varieties over finite fields
• Deligne's integrality theorem in unequal characteristic and rational points over finite fields
• On Witt vector cohomology for singular varieties
• Rational singularities and rational points

zbMATH Keywords

\(p\)-adic Hodge theoryde Rham Witt complexHodge typeHodge-Witt classisocrystalslope filtrationtrace morphismWitt vector cohomologyZeta function

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30)

Cites Work

• Théorie de Hodge. II. (Hodge theory. II)
• Théorie de Hodge. III
• Logarithmic structures of Fontaine-Illusie. II
• The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div".
• Smoothness, semi-stability and alterations
• Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
• Title not available (Why is that?)
• Cohomological descent of rigid cohomology for étale coverings
• Spécialisation du foncteur de Picard
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersections et théorème de Riemann-Roch
• Complexe de de\thinspace Rham-Witt et cohomologie cristalline
• DE RHAMWITT COHOMOLOGY FOR A PROPER AND SMOOTH MORPHISM
• Grothendieck duality and base change
• Notes on Crystalline Cohomology. (MN-21)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Séminaire de géométrie algébrique du Bois-Marie 1967--1969. Groupes de monodromie en géométrie algébrique (SGA 7 II) par P. Deligne et N. Katz. Exposés X à XXII
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 2: Exp. V--VIII
• Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cohomologie cristalline des schemas de caractéristique \(p >0\)
• Title not available (Why is that?)
• On Witt vector cohomology for singular varieties
• Zeroes of Polynomials Over Finite Fields
• On a Theorem of Ax
• Frobenius and the Hodge filtration
• \(p\)-adic Hodge theory in the semi-stable reduction case
• \(p\)-adic étale cohomology and crystalline cohomology in the semi-stable reduction case
• Hodge's general conjecture is false for trivial reasons
• Miscellany on traces in \(\ell\)-adic cohomology: a survey
• On the multiplicative properties of the de Rham-Witt complex. I
• Logarithmic Hodge-Witt forms and Hyodo-Kato cohomology.
• On the zeta function of a hypersurface. I
• Frobenius and the Hodge filtration (estimates)
• Weight filtration and slope filtration on the rigid cohomology of a variety in characteristic \(p>0\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intégration sur un cycle évanescent
• Les suites spectrales associées au complexe de De Rham-Witt
• Deligne's integrality theorem in unequal characteristic and rational points over finite fields

Cited In (12)

• Vanishing of the higher direct images of the structure sheaf
• A new proof of a vanishing result due to Berthelot, Esnault, and Rülling
• Title not available (Why is that?)
• Compatibility of special value conjectures with the functional equation of zeta functions
• Congruence for rational points over finite fields and coniveau over local fields
• Deligne's integrality theorem in unequal characteristic and rational points over finite fields
• A Calabi-Yau threefold coming from two black holes
• On Witt vector cohomology for singular varieties
• Coniveau over \(\mathfrak p\)-adic fields and points over finite fields
• Grothendieck and vanishing cycles
• Bloch’s cycle complex and coherent dualizing complexes in positive characteristic
• On the \(p\)-adic local invariant cycle theorem

This page was built for publication: Rational points over finite fields for regular models of algebraic varieties of Hodge type \(\geq 1\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q447935)