---
title: Hilbert Property in Algebraic Varieties
url: https://www.emergentmind.com/topics/hilbert-property-of-algebraic-varieties
type: topic
---

# Hilbert Property in Algebraic Varieties

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,
\[
X(K) \nsubseteq \text{finite union of images of degree $\geq 2$ covers plus proper subvariety}.
\]
This definition, due to Serre and Colliot-Thélène–Sansuc, generalizes Hilbert’s theorem from $\mathbb{A}^n$ or $\mathbb{P}^n$ to arbitrary varieties [2511.18431].

Variants include:
- *Strong Hilbert property* (HP): uses all degree $\geq 2$ covers.
- *Weak Hilbert property* (WHP): considers only degree $\geq 2$ covers that are ramified (ignoring étale/unramified covers).
- *Integral Hilbert property*: replaces $K$-points with near-integral points on $R$-schemes, as in Vojta’s formulation [2212.01138].

## 2. Hilbertian Fields and Classical Results

A field $K$ is *Hilbertian* if for any irreducible, separable $f(t, x) \in K[t, x]$, there are infinitely many $\tau \in K$ such that $f(\tau, x)$ remains irreducible in $K[x]$. Number fields, finitely generated transcendental extensions, and their finite extensions are Hilbertian; local fields are not [2511.18431].

Hilbert’s Irreducibility Theorem interprets these conditions on covers: for a cover $\pi: Y \to \mathbb{A}^1_K$, the fibers over “most” $t \in \mathbb{A}^1(K)$ remain irreducible—Hilbert sets are Zariski-dense in the base [2511.18431, 2104.05455].

## 3. The Weak Hilbert Property and Ramification

Corvaja–Zannier introduced the WHP by considering ramified (not étale) covers: a subset $\Sigma \subset X(K)$ is *strongly thin* if it is contained in the union of images of finitely many ramified covers and a proper closed subset. $X$ has WHP if $X(K)$ is not strongly thin [2410.13741, 2510.24479].

WHP is strictly weaker than HP: HP $\implies$ WHP, and, if $X_{\overline{K}}$ is simply connected, then WHP $\implies$ 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 $f: X \to S$ is a dominant morphism and $S$ and all fibers $X_s$ are of Hilbert type, then $X$ is of Hilbert type [1302.4038].
- For WHP: If $f: X \to S$ is a dominant morphism, $\Sigma \subset S(K)$ is not strongly thin and, for all $s \in \Sigma$, $X_s$ has HP, then $X$ has WHP [2410.13741, 2510.24479].

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 [2510.24479, 2204.12828].

## 5. Concrete Criteria and Examples

Common classes of Hilbert-type varieties:
- **Affine/projective spaces**: $\mathbb{A}^n_K$, $\mathbb{P}^n_K$ have HP if and only if $K$ is Hilbertian [2511.18431].
- **Smooth cubic hypersurfaces with rational points**: HP holds for $X \subset \mathbb{P}^n_K$, $n \geq 3$, if $X$ is smooth and admits a $K$-point [1808.09808].
- **Quotients by finite groups**: Linear, solvable group quotients $\mathbb{A}^n / G$ possess HP provided $G$ is strongly realizable as a Galois group [1801.10413].
- **Rational homogeneous spaces and linear algebraic groups**: Classification over number fields: HP holds if and only if the group is linear [1302.4038].
- **Kummer and K3 surfaces**: Many K3 surfaces with two distinct elliptic fibrations or simply connected Kummer varieties (such as the Fermat quartic) have HP [1601.07066, 2205.04364].
- **Varieties with nef tangent bundle**: For $\dim X \leq 5$, such varieties have potential WHP (after finite extension) [2204.12828].
- **Arithmetic schemes**: The HP extends to integral models via near-integral points [2212.01138].

## 6. Topological and Group-Theoretic Obstructions

HP can only hold for algebraically simply connected varieties. The Chevalley–Weil Theorem forces rational points on $X$ to lift through any unramified cover, so the existence of nontrivial étale covers precludes HP [1601.07066]. 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 [2205.04364]. 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 [1302.4038, 2410.13741].
- Specialization arguments: Hilbert sets are employed to exhibit Zariski-dense subsets of good specializations in parametrized families [2104.05455].
- Combinatorics on abelian groups: Used for varieties with elliptic fibrations—finite coset unions cannot absorb all Mordell–Weil rational points [1601.07066, 1808.09808].
- Pull-back criteria and rational curves: Constructing infinite families of rational curves on Kummer varieties to avoid lifting through covers [2205.04364].

The Hilbert property sharply refines Zariski-density: For every finite list of degree $\geq 2$ covers, a Zariski-dense set of rational points remains outside their images [2204.12828].

## 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 [2410.13741]?
- What are the precise arithmetic schemes admitting HP in the integral sense [2212.01138]?
- 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:**
- Definitions, fibration theorems, and survey: [2511.18431], [1302.4038], [2410.13741], [2510.24479], [2212.01138]
- Applications to K3, Kummer, and cubic varieties: [1808.09808], [1801.10413], [1601.07066], [2205.04364]
- Specialization theory: [2104.05455]
- Varieties with nef tangent bundle: [2204.12828]

Source: https://www.emergentmind.com/topics/hilbert-property-of-algebraic-varieties