Hilbert Property in Algebraic Varieties

Updated 30 November 2025

Hilbert Property is a refinement of Hilbert’s Irreducibility Theorem that ensures rational points on algebraic varieties are not contained in thin sets.
The concept underpins crucial applications in arithmetic geometry, using fibration theorems and specialization techniques to study rational points.
Key examples include rational homogeneous spaces, K3/Kummer surfaces, and smooth cubic hypersurfaces that illustrate the property’s practical significance.

The Hilbert Property (HP) for algebraic varieties is a refinement of Hilbert’s Irreducibility Theorem, addressing the abundance and distribution of rational points on varieties in algebraic geometry and arithmetic geometry. HP is characterized by the failure of rational points to be "thin,” meaning they cannot be covered by finitely many images of proper subvarieties or covers of degree greater than one. This notion is foundational in the study of rational points, specialization phenomena, the classification of algebraic groups, and the topology of algebraic varieties.

1. Definitions and Formal Background

A subset $\Sigma \subset X(K)$ of $K$ -rational points of a geometrically integral $K$ -variety $X$ is called thin if

$\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$

where each $\pi_i : Y_i \to X$ is a finite surjective morphism of degree $\geq 2$ (generically finite), and $Z \subsetneq X$ is a proper closed subvariety. $X$ is said to have the Hilbert property (HP) if $X(K)$ is not thin; formally,

$K$ 0

This definition, due to Serre and Colliot-Thélène–Sansuc, generalizes Hilbert’s theorem from $K$ 1 or $K$ 2 to arbitrary varieties (Fehm et al., 23 Nov 2025).

Variants include:

Strong Hilbert property (HP): uses all degree $K$ 3 covers.
Weak Hilbert property (WHP): considers only degree $K$ 4 covers that are ramified (ignoring étale/unramified covers).
Integral Hilbert property: replaces $K$ 5-points with near-integral points on $K$ 6-schemes, as in Vojta’s formulation (Luger, 2022).

2. Hilbertian Fields and Classical Results

A field $K$ 7 is Hilbertian if for any irreducible, separable $K$ 8, there are infinitely many $K$ 9 such that $K$ 0 remains irreducible in $K$ 1. Number fields, finitely generated transcendental extensions, and their finite extensions are Hilbertian; local fields are not (Fehm et al., 23 Nov 2025).

Hilbert’s Irreducibility Theorem interprets these conditions on covers: for a cover $K$ 2, the fibers over “most” $K$ 3 remain irreducible—Hilbert sets are Zariski-dense in the base (Fehm et al., 23 Nov 2025, Iadarola, 2021).

3. The Weak Hilbert Property and Ramification

Corvaja–Zannier introduced the WHP by considering ramified (not étale) covers: a subset $K$ 4 is strongly thin if it is contained in the union of images of finitely many ramified covers and a proper closed subset. $K$ 5 has WHP if $K$ 6 is not strongly thin (Luger, 2024, Petersen, 28 Oct 2025).

WHP is strictly weaker than HP: HP $K$ 7 WHP, and, if $K$ 8 is simply connected, then WHP $K$ 9 HP. Non-simply connected varieties cannot have HP due to the Chevalley–Weil Theorem.

4. Fibration Theorems and HP Ascension

Hilbert property preservation under morphisms is central. The primary theorem states:

If $X$ 0 is a dominant morphism and $X$ 1 and all fibers $X$ 2 are of Hilbert type, then $X$ 3 is of Hilbert type (Bary-Soroker et al., 2013).
For WHP: If $X$ 4 is a dominant morphism, $X$ 5 is not strongly thin and, for all $X$ 6, $X$ 7 has HP, then $X$ 8 has WHP (Luger, 2024, Petersen, 28 Oct 2025).

These fibration theorems allow bootstrapping HP or WHP from base varieties (such as abelian schemes, toric, homogeneous spaces, K3/Kummer surfaces) to total spaces, provided certain group-theoretic or topological conditions (e.g., simply connectedness, Zariski-density of rational points) hold (Petersen, 28 Oct 2025, Javanpeykar, 2022).

5. Concrete Criteria and Examples

Common classes of Hilbert-type varieties:

Affine/projective spaces: $X$ 9, $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 0 have HP if and only if $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 1 is Hilbertian (Fehm et al., 23 Nov 2025).
Smooth cubic hypersurfaces with rational points: HP holds for $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 2, $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 3, if $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 4 is smooth and admits a $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 5-point (Demeio, 2018).
Quotients by finite groups: Linear, solvable group quotients $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 6 possess HP provided $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 7 is strongly realizable as a Galois group (Demeio, 2018).
Rational homogeneous spaces and linear algebraic groups: Classification over number fields: HP holds if and only if the group is linear (Bary-Soroker et al., 2013).
Kummer and K3 surfaces: Many K3 surfaces with two distinct elliptic fibrations or simply connected Kummer varieties (such as the Fermat quartic) have HP (Corvaja et al., 2016, Gvirtz-Chen et al., 2022).
Varieties with nef tangent bundle: For $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 8, such varieties have potential WHP (after finite extension) (Javanpeykar, 2022).
Arithmetic schemes: The HP extends to integral models via near-integral points (Luger, 2022).

6. Topological and Group-Theoretic Obstructions

HP can only hold for algebraically simply connected varieties. The Chevalley–Weil Theorem forces rational points on $\Sigma \subset \bigcup_{i=1}^n \pi_i(Y_i(K)) \cup Z(K)$ 9 to lift through any unramified cover, so the existence of nontrivial étale covers precludes HP (Corvaja et al., 2016). This gives rise to the conjecture (Corvaja–Zannier): Smooth, projective, algebraically simply connected varieties with Zariski-dense rational points have HP, and no other obstruction exists (Gvirtz-Chen et al., 2022). Enriques surfaces are a central counterexample, possessing Zariski-dense rational points but failing HP due to a unramified double cover.

7. Proof Strategies and Specialization Techniques

The main technical tools involve:

Stein factorization: decomposing covers into étale and ramified components (Bary-Soroker et al., 2013, Luger, 2024).
Specialization arguments: Hilbert sets are employed to exhibit Zariski-dense subsets of good specializations in parametrized families (Iadarola, 2021).
Combinatorics on abelian groups: Used for varieties with elliptic fibrations—finite coset unions cannot absorb all Mordell–Weil rational points (Corvaja et al., 2016, Demeio, 2018).
Pull-back criteria and rational curves: Constructing infinite families of rational curves on Kummer varieties to avoid lifting through covers (Gvirtz-Chen et al., 2022).

The Hilbert property sharply refines Zariski-density: For every finite list of degree $\pi_i : Y_i \to X$ 0 covers, a Zariski-dense set of rational points remains outside their images (Javanpeykar, 2022).

8. Open Problems and Conjectures

Key open directions:

Does every unirational variety over a number field have HP? (Ekedahl–Colliot-Thélène Conjecture)
For K3 surfaces, does Zariski-density plus simply connectedness suffice for HP or WHP in all cases?
Can the mixed fibration theorem for HP be proved for non-proper or singular varieties, especially allowing both ramified and étale covers (Luger, 2024)?
What are the precise arithmetic schemes admitting HP in the integral sense (Luger, 2022)?
Is HP always characterized purely topologically (by the profinite fundamental group)? Evidence suggests this principle is valid but full generality is conjectural.

HP intimately connects with the Inverse Galois Problem: for quotients of projective spaces, HP guarantees the existence of Galois extensions of prescribed group.

References to key arXiv works: