Congruences for rational points on varieties over finite fields

From MaRDI portal
Publication:2575649



Abstract: We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that there is a rational point on any degeneration of a smooth proper rationally chain connected variety over a finite field. We also obtain a generalisation of the Chevalley-Warning theorem.


This paper proves a relative version of the theorem of \textit{H. Esnault} [Invent. Math. 151, No. 1, 187--191 (2003; Zbl 1092.14010)] which says that if \(X\) is a smooth proper variety over a finite field \(k\) with \(\text{CH}_0(X_{\overline{k(X)}})_{\mathbb{Q}}=\mathbb{Q}\), then \(|X(k)|\equiv 1\,(\text{mod}|k|)\). Let \(f_i: X_i\to Y\), \(i= 1,2\), be proper dominant morphisms of smooth irreducible varieties over a finite field \(k\) and let \(g: X_1\to X_2\) be a dominant morphism over \(Y\). Let \(Z_i\) be the generic fiber of \(f_i\) and let \(Z_{i\overline{k(X_1)}}= Z_i\times_{k(Y)}\overline{k(X_1)}\). The authors show the following result: If \(g_*: \text{CH}_0(Z_{1\overline{k(X_1)}})_{\mathbb{Q}}\to \text{CH}_0(Z_{2\overline{k(X_1)}})_{\mathbb{Q}}\) is an isomorphism, then for all \(y\in Y(k)\) we have \(|f^{-1}_1(y)(k)|\equiv |f^{-2}_2(y)(k)|(\text{mod}|k|)\). In order to deal with non-proper varieties, they introduce the notion of proper correspondences, and replace the use of Bloch's decomposition of diagonal in Esnault's proof by its relative version.











This page was built for publication: Congruences for rational points on varieties over finite fields

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