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

. 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 : Y o X

.

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:NEWLINENEWLINETheorem. Let \(X\) be a proper and flat \(R\)-scheme, with generic fibre \(X_K\), such that the following conditions hold:NEWLINENEWLINE(a) \(X\) is a regular scheme.NEWLINENEWLINE(b) \(X_K\) is geometrically connected.NEWLINENEWLINE(c) \(H^q(X_K,{\mathcal O}_{X_K})=0\) for all \(q\geq1\).NEWLINENEWLINEIf \(k\) is finite, then, for any finite extension \(k'\) of \(k\), the number of \(k'\)-rational points of \(X\) satisfies the congruence NEWLINE\[NEWLINE|X(k')|\equiv 1\quad\mathrm{mod}|k'|.NEWLINE\]NEWLINE 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.NEWLINENEWLINEUsing 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 deeperNEWLINENEWLINETheorem. 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 NEWLINE\[NEWLINEH^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})=0.NEWLINE\]NEWLINE 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.NEWLINENEWLINEThe 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\).NEWLINENEWLINEIn 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.NEWLINENEWLINEThe 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:NEWLINENEWLINETheorem. 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 homomorphismNEWLINE\[NEWLINEf_k^*:H^q(X_k,W{\mathcal O}_{X_k,{\mathbb Q}})\longrightarrow H^q(Y_k,W{\mathcal O}_{Y_k,{\mathbb Q}})NEWLINE\]NEWLINEis injective.NEWLINENEWLINEThis theorem is deduced from the existence of a trace morphismNEWLINE\[NEWLINE\tau_{i,\pi}:Rf_*W{\mathcal O}_{Y_k,{\mathbb Q}}\longrightarrow W{\mathcal O}_{X_k,{\mathbb Q}}NEWLINE\]NEWLINE(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 morphismNEWLINE\[NEWLINE\tau_f^*:Rf_*{\mathcal O}_{Y}\longrightarrow {\mathcal O}_{X}.NEWLINE\]NEWLINEAnother tool is then the theory of the relative de Rham Witt complex developed by Langer and Zink.NEWLINENEWLINEIn 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).

Recommendations

Cites work

Cited in

(14)

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)