Rational points over finite fields for regular models of algebraic varieties of Hodge type \(\geq 1\) (Q447935): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(R\) be a discrete valuation ring of mixed characteristic \((0,p)\), with perfect residue field \(k\) and fraction field \(K\). The main goal of this article is to prove the following: Theorem. Let \(X\) be a proper and flat \(R\)-scheme, with generic fibre \(X_K\), such that the following conditions hold: (a) \(X\) is a regular scheme. (b) \(X_K\) is geometrically connected. (c) \(H^q(X_K,{\mathcal O}_{X_K})=0\) for all \(q\geq1\). If \(k\) is finite, then, for any finite extension \(k'\) of \(k\), the number of \(k'\)-rational points of \(X\) satisfies the congruence \[ |X(k')|\equiv 1\quad\mathrm{mod}|k'|. \] As explained in the article's introduction, theorems of the above type, relating Hodge theoretic properties of \(X_K\) with congruences on the number of points with values in a finite field, have a long history, starting prominently with the Ax-Katz theorem. Using the expression of the Zeta function of the special fibre \(X_k\) of \(X\) in terms of rigid cohomology and identifying its slope \(<1\) part with Witt vector cohomology, the above theorem can without much effort be reduced to the following deeper Theorem. Let \(X\) be a regular, proper and flat \(R\)-scheme. Assume that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\). Then \[ H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})=0. \] This theorem is trivial if the condition that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\) is replaced by the condition that \(H^q(X,{\mathcal O}_{X})=0\) for all \(q\geq1\): then one can conclude with the obvious devissage argument. The strategy in the general case followed here is to use results of \(p\)-adic Hodge theory relating the Hodge and Newton polygons of certain filtered \(F\)-isocrystals on \(k\). In the case where \(X\) has semistable reduction, this strategy can be carried out straightforwardly: Namely, then the fundamental comparison theorem of Tsuji stating in particular the weak admissibility of the filtered \(F\)-isocrystals on \(k\) assigned to \(X\) by log crystalline cohomology is available. The true challenge, however, is to go beyond the case of semistable reduction. Using de Jong's alteration and Tsuji's extension of the comparison theorems to truncated simplicial schemes, the proof of the above theorems is ultimately reduced to the following: Theorem. Let \(X, Y\) be two flat, regular \(R\)-schemes of finite type, of the same dimension, and let \(f:X\to Y\) be a projective and surjective \(R\)-morphism, with reduction \(f_k\) over \(\mathrm{Spec} k\). Then, for all \(q\geq0\), the functoriality homomorphism \[ f_k^*:H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})\longrightarrow H^q(Y_k,W{\mathcal O}_{Y_k,{\mathbb Q}}) \] is injective. This theorem is deduced from the existence of a trace morphism \[ \tau_{i,\pi}:Rf_*W{\mathcal O}_{Y_k,{\mathbb Q}}\longrightarrow W{\mathcal O}_{X_k,{\mathbb Q}} \] (depending on the choice of a factorization \(f=\pi\circ i\) where \(\pi\) is the projection of a projective space over \(X\) on \(X\), and \(i\) is a closed immersion), and the longest part of this article is devoted to the construction of this trace morphism. A first ingredient is a trace morphism \[ \tau_f^*:Rf_*{\mathcal O}_{Y}\longrightarrow {\mathcal O}_{X}. \] Another tool is then the theory of the relative de Rham Witt complex developed by Langer and Zink. In the final section, a family of examples illustrating the first listed theorem is presented (this family of examples is not covered by the two cases in which the theorem admits short proofs as indicated above). | |||
Property / review text: Let \(R\) be a discrete valuation ring of mixed characteristic \((0,p)\), with perfect residue field \(k\) and fraction field \(K\). The main goal of this article is to prove the following: Theorem. Let \(X\) be a proper and flat \(R\)-scheme, with generic fibre \(X_K\), such that the following conditions hold: (a) \(X\) is a regular scheme. (b) \(X_K\) is geometrically connected. (c) \(H^q(X_K,{\mathcal O}_{X_K})=0\) for all \(q\geq1\). If \(k\) is finite, then, for any finite extension \(k'\) of \(k\), the number of \(k'\)-rational points of \(X\) satisfies the congruence \[ |X(k')|\equiv 1\quad\mathrm{mod}|k'|. \] As explained in the article's introduction, theorems of the above type, relating Hodge theoretic properties of \(X_K\) with congruences on the number of points with values in a finite field, have a long history, starting prominently with the Ax-Katz theorem. Using the expression of the Zeta function of the special fibre \(X_k\) of \(X\) in terms of rigid cohomology and identifying its slope \(<1\) part with Witt vector cohomology, the above theorem can without much effort be reduced to the following deeper Theorem. Let \(X\) be a regular, proper and flat \(R\)-scheme. Assume that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\). Then \[ H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})=0. \] This theorem is trivial if the condition that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\) is replaced by the condition that \(H^q(X,{\mathcal O}_{X})=0\) for all \(q\geq1\): then one can conclude with the obvious devissage argument. The strategy in the general case followed here is to use results of \(p\)-adic Hodge theory relating the Hodge and Newton polygons of certain filtered \(F\)-isocrystals on \(k\). In the case where \(X\) has semistable reduction, this strategy can be carried out straightforwardly: Namely, then the fundamental comparison theorem of Tsuji stating in particular the weak admissibility of the filtered \(F\)-isocrystals on \(k\) assigned to \(X\) by log crystalline cohomology is available. The true challenge, however, is to go beyond the case of semistable reduction. Using de Jong's alteration and Tsuji's extension of the comparison theorems to truncated simplicial schemes, the proof of the above theorems is ultimately reduced to the following: Theorem. Let \(X, Y\) be two flat, regular \(R\)-schemes of finite type, of the same dimension, and let \(f:X\to Y\) be a projective and surjective \(R\)-morphism, with reduction \(f_k\) over \(\mathrm{Spec} k\). Then, for all \(q\geq0\), the functoriality homomorphism \[ f_k^*:H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})\longrightarrow H^q(Y_k,W{\mathcal O}_{Y_k,{\mathbb Q}}) \] is injective. This theorem is deduced from the existence of a trace morphism \[ \tau_{i,\pi}:Rf_*W{\mathcal O}_{Y_k,{\mathbb Q}}\longrightarrow W{\mathcal O}_{X_k,{\mathbb Q}} \] (depending on the choice of a factorization \(f=\pi\circ i\) where \(\pi\) is the projection of a projective space over \(X\) on \(X\), and \(i\) is a closed immersion), and the longest part of this article is devoted to the construction of this trace morphism. A first ingredient is a trace morphism \[ \tau_f^*:Rf_*{\mathcal O}_{Y}\longrightarrow {\mathcal O}_{X}. \] Another tool is then the theory of the relative de Rham Witt complex developed by Langer and Zink. In the final section, a family of examples illustrating the first listed theorem is presented (this family of examples is not covered by the two cases in which the theorem admits short proofs as indicated above). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6074019 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(p\)-adic Hodge theory | |||
Property / zbMATH Keywords: \(p\)-adic Hodge theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
de Rham Witt complex | |||
Property / zbMATH Keywords: de Rham Witt complex / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hodge type | |||
Property / zbMATH Keywords: Hodge type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hodge-Witt class | |||
Property / zbMATH Keywords: Hodge-Witt class / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
trace morphism | |||
Property / zbMATH Keywords: trace morphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Witt vector cohomology | |||
Property / zbMATH Keywords: Witt vector cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Zeta function | |||
Property / zbMATH Keywords: Zeta function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
slope filtration | |||
Property / zbMATH Keywords: slope filtration / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isocrystal | |||
Property / zbMATH Keywords: isocrystal / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Elmar Grosse-Klönne / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963861582 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1009.0178 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zeroes of Polynomials Over Finite Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologie cristalline des schemas de caractéristique \(p >0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Witt vector cohomology for singular varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on Crystalline Cohomology. (MN-21) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5611784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Grothendieck duality and base change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological descent of rigid cohomology for étale coverings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théorie de Hodge. II. (Hodge theory. II) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théorie de Hodge. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intégration sur un cycle évanescent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Smoothness, semi-stability and alterations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the zeta function of a hypersurface. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deligne's integrality theorem in unequal characteristic and rational points over finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the multiplicative properties of the de Rham-Witt complex. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4168706 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325443 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hodge's general conjecture is false for trivial reasons / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 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 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3971594 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3351510 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Miscellany on traces in \(\ell\)-adic cohomology: a survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Les suites spectrales associées au complexe de De Rham-Witt / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic structures of Fontaine-Illusie. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The projectivity of the moduli space of stable curves. I: Preliminaries on "det" and "Div". / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a Theorem of Ax / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic Hodge-Witt forms and Hyodo-Kato cohomology. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DE RHAMWITT COHOMOLOGY FOR A PROPER AND SMOOTH MORPHISM / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius and the Hodge filtration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius and the Hodge filtration (estimates) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2857646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3529434 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spécialisation du foncteur de Picard / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3277839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 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) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 2: Exp. V--VIII / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4119314 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 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 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 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 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic Hodge theory in the semi-stable reduction case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic étale cohomology and crystalline cohomology in the semi-stable reduction case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3154999 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:27, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rational points over finite fields for regular models of algebraic varieties of Hodge type \(\geq 1\) |
scientific article |
Statements
Rational points over finite fields for regular models of algebraic varieties of Hodge type \(\geq 1\) (English)
0 references
30 August 2012
0 references
Let \(R\) be a discrete valuation ring of mixed characteristic \((0,p)\), with perfect residue field \(k\) and fraction field \(K\). The main goal of this article is to prove the following: Theorem. Let \(X\) be a proper and flat \(R\)-scheme, with generic fibre \(X_K\), such that the following conditions hold: (a) \(X\) is a regular scheme. (b) \(X_K\) is geometrically connected. (c) \(H^q(X_K,{\mathcal O}_{X_K})=0\) for all \(q\geq1\). If \(k\) is finite, then, for any finite extension \(k'\) of \(k\), the number of \(k'\)-rational points of \(X\) satisfies the congruence \[ |X(k')|\equiv 1\quad\mathrm{mod}|k'|. \] As explained in the article's introduction, theorems of the above type, relating Hodge theoretic properties of \(X_K\) with congruences on the number of points with values in a finite field, have a long history, starting prominently with the Ax-Katz theorem. Using the expression of the Zeta function of the special fibre \(X_k\) of \(X\) in terms of rigid cohomology and identifying its slope \(<1\) part with Witt vector cohomology, the above theorem can without much effort be reduced to the following deeper Theorem. Let \(X\) be a regular, proper and flat \(R\)-scheme. Assume that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\). Then \[ H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})=0. \] This theorem is trivial if the condition that \(H^q(X_K,{\mathcal O}_{X_K})=0\) for some \(q\geq1\) is replaced by the condition that \(H^q(X,{\mathcal O}_{X})=0\) for all \(q\geq1\): then one can conclude with the obvious devissage argument. The strategy in the general case followed here is to use results of \(p\)-adic Hodge theory relating the Hodge and Newton polygons of certain filtered \(F\)-isocrystals on \(k\). In the case where \(X\) has semistable reduction, this strategy can be carried out straightforwardly: Namely, then the fundamental comparison theorem of Tsuji stating in particular the weak admissibility of the filtered \(F\)-isocrystals on \(k\) assigned to \(X\) by log crystalline cohomology is available. The true challenge, however, is to go beyond the case of semistable reduction. Using de Jong's alteration and Tsuji's extension of the comparison theorems to truncated simplicial schemes, the proof of the above theorems is ultimately reduced to the following: Theorem. Let \(X, Y\) be two flat, regular \(R\)-schemes of finite type, of the same dimension, and let \(f:X\to Y\) be a projective and surjective \(R\)-morphism, with reduction \(f_k\) over \(\mathrm{Spec} k\). Then, for all \(q\geq0\), the functoriality homomorphism \[ f_k^*:H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})\longrightarrow H^q(Y_k,W{\mathcal O}_{Y_k,{\mathbb Q}}) \] is injective. This theorem is deduced from the existence of a trace morphism \[ \tau_{i,\pi}:Rf_*W{\mathcal O}_{Y_k,{\mathbb Q}}\longrightarrow W{\mathcal O}_{X_k,{\mathbb Q}} \] (depending on the choice of a factorization \(f=\pi\circ i\) where \(\pi\) is the projection of a projective space over \(X\) on \(X\), and \(i\) is a closed immersion), and the longest part of this article is devoted to the construction of this trace morphism. A first ingredient is a trace morphism \[ \tau_f^*:Rf_*{\mathcal O}_{Y}\longrightarrow {\mathcal O}_{X}. \] Another tool is then the theory of the relative de Rham Witt complex developed by Langer and Zink. In the final section, a family of examples illustrating the first listed theorem is presented (this family of examples is not covered by the two cases in which the theorem admits short proofs as indicated above).
0 references
\(p\)-adic Hodge theory
0 references
de Rham Witt complex
0 references
Hodge type
0 references
Hodge-Witt class
0 references
trace morphism
0 references
Witt vector cohomology
0 references
Zeta function
0 references
slope filtration
0 references
isocrystal
0 references
0 references
0 references
0 references