In mathematics, a thin set in the sense of Serre, named after Jean-Pierre Serre, is a certain kind of subset constructed in algebraic geometry over a given field K, by allowed operations that are in a definite sense 'unlikely'. The two fundamental ones are: solving a polynomial equation that may or may not be the case; solving within K a polynomial that does not always factorise. One is also allowed to take finite unions.
Contents |
More precisely, let V be an algebraic variety over K (assumptions here are: V is an irreducible set, a quasi-projective variety, and K has characteristic zero). A type I thin set is a subset of V(K) that is not Zariski-dense. That means it lies in an algebraic set that is a finite union of algebraic varieties of dimension lower than d, the dimension of V. A type II thin set is an image of an algebraic morphism (essentially a polynomial mapping) φ, applied to the K-points of some other d-dimensional algebraic variety V′, that maps essentially onto V as a ramified covering with degree e > 1. Saying this more technically, a thin set of type II is any subset of
where V′ satisfies the same assumptions as V and φ is generically surjective from the geometer's point of view. At the level of function fields we therefore have
While a typical point v of V is φ(u) with u in V′, from v lying in K(V) we can conclude typically only that the coordinates of u come from solving a degree e equation over K. The whole object of the theory of thin sets is then to understand that the solubility in question is a rare event. This reformulates in more geometric terms the classical Hilbert irreducibility theorem.
A thin set, in general, is a finite union of thin sets of types I and II. A Hilbertian variety V over K is one for which V(K) is not thin. A field K is Hilbertian if any Hilbertian variety V exists over it. The rational number field Q is Hilbertian, because the Hilbert irreducibility theorem has as a corollary that the projective line over Q is Hilbertian. Being Hilbertian is at the other end of the scale from being algebraically closed: the complex numbers have all sets thin, for example. They, with the other local fields (real numbers, p-adic numbers) are not Hilbertian. Any algebraic number field is Hilbertian. More generally any finitely generated infinite field is Hilbertian.
There are several results on the permanence criteria of Hilbertian fields. Notably Hilbertianity is preserved under finite extensions and abelian extensions. If N is a Galois extension of a Hilbertian field, then although N need not be Hilbertian itself, Weisseauer's results asserts that any proper finite extension of N is Hilbertian. The most general result in this direction is Haran's diamond theorem. A discussion on these results and more appears in Fried-Jarden's Field Arithmetic.
A result of S. D. Cohen, based on the large sieve method, justifies the thin terminology by counting points by height function and showing, in a strong sense, that a thin set contains a low proportion of them (this is discussed at length in Serre's Lectures on the Mordell-Weil theorem).
A conjecture of Jean-Louis Colliot-Thélène is that any smooth K-unirational variety over a number field K is Hilbertian. It is known that this would have the consequence that the inverse Galois problem over Q can be solved for any finite group G.
The WWA property (weak 'weak approximation', sic) for a variety V over a number field is weak approximation (cf. approximation in algebraic groups), for finite sets of places of K avoiding some given finite set. For example take K = Q: it is required that V(Q) be dense in
for all products over finite sets of prime numbers p, not including any of some set {p1, ..., pM} given once and for all. Ekedahl has proved that WWA for V implies V is Hilbertian. In fact Colliot-Thélène conjectures WWA, which is therefore a stronger statement.