Effective counting of the points of definable sets over finite fields
A theorem generalizing the Lang-Weil estimates for the number of rational points of a variety over a finite field is proved by model-theoretic methods in [\textit{Z. Chatzidakis}, \textit{L. van den Dries} and \textit{A. Macintyre}, J. Reine Angew. Math. 427, 107-135 (1992; Zbl 0759.11045)]. The paper under review gives an algebraic proof of the theorem. An algorithm is constructed to find formulas and constants occurring in the theorem. The authors use Galois stratification as the main tool in their investigations. For the convenience of the reader the notion of a ring cover and the Artin symbol are defined and their basic properties are stated. A section of a paper is dedicated to some basic definitions and concepts from algebraic geometry. There exist several slightly different definitions of Galois stratification. The authors use the version of \textit{M. D Fried} and \textit{M. Jarden} [Field arithmetic (1986; Zbl 0625.12001)]. Another important tool in the paper is a non-regular analog of the Chebotarev density theorem.
- A remark on Ax's theorem on solvability modulo primes
- Algebraic dimension over Frobenius fields
- Anneaux locaux henséliens
- Bounded statements in the theory of algebraically closed fields with distinguished automophisms.
- Galois stratification over Frobenius fields
- scientific article; zbMATH DE number 4014840 (Why is no real title available?)
- scientific article; zbMATH DE number 3687501 (Why is no real title available?)
- scientific article; zbMATH DE number 32406 (Why is no real title available?)
- scientific article; zbMATH DE number 3489250 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3342965 (Why is no real title available?)
- Number of Points of Varieties in Finite Fields
- Solving diophantine problems over all residue class fields of a number field and all finite fields
- Galois stratification over e-fold ordered Frobenius fields
- Model theory of finite fields and pseudo-finite fields
- Direct twisted Galois stratification
- Galois stratification and ACFA
- Factorization patterns on nonlinear families of univariate polynomials over a finite field
- Algorithms determining finite simple images of finitely presented groups
- Exponential sums over definable subsets of finite fields
- Definable sets, motives and p-adic integrals
- scientific article; zbMATH DE number 32406 (Why is no real title available?)
- scientific article; zbMATH DE number 57846 (Why is no real title available?)
- Diophantine statements over residue fields: Galois stratification and uniformity
- Sieve methods in group theory. I: Powers in linear groups.
- The affine sieve
- scientific article; zbMATH DE number 5263068 (Why is no real title available?)
- Exposé Bourbaki 1200 : Sur un théorème de Lang-Weil tordu [d'après E. Hrushovski, K. V. Shuddhodan et Y. Varshavsky]
- Some aspects and applications of the Riemann hypothesis over finite fields
This page was built for publication: Effective counting of the points of definable sets over finite fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320030)
