Bertini theorems over finite fields
Algebraic Geometry
2017-04-03 v1 Number Theory
Abstract
Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a positive density, equal to zeta_X(m+1)^{-1}, where zeta_X(s)=Z_X(q^{-s}) is the zeta function of X. An analogue for regular quasiprojective schemes over Z is proved, assuming the abc conjecture and another conjecture.
Cite
@article{arxiv.math/0204002,
title = {Bertini theorems over finite fields},
author = {Bjorn Poonen},
journal= {arXiv preprint arXiv:math/0204002},
year = {2017}
}
Comments
22 pages, Latex 2e