In mathematics, a generic point is a distinguished element of a topological or algebraic space that embodies the “most general” or “typical” behavior of the space. The concept appears primarily in algebraic geometry, scheme theory, and related areas of topology.
Definition
-
Topological definition: Let $X$ be a topological space. A point $ \eta \in X $ is called a generic point of a subset $Y \subseteq X$ if the closure of ${\eta}$ equals $Y$; that is, $$ \overline{{\eta}} = Y. $$ When $Y$ is an irreducible closed subset, such a point $\eta$ is unique (if it exists) and is called the generic point of $Y$.
-
Algebraic‑geometric definition: In the Zariski topology on an algebraic variety $V$ over a field $k$, every irreducible closed subset $Z$ (for example, an irreducible subvariety) possesses a generic point $\eta_Z$. The coordinate ring $k[Z]$ has a prime ideal $\mathfrak p$ corresponding to $\eta_Z$; the generic point reflects the generic values of functions on $Z$.
-
Scheme‑theoretic definition: For a scheme $X$, points correspond to prime ideals of the underlying ringed space. The generic point of an irreducible component of $X$ is the point associated with the minimal (i.e., generic) prime ideal of that component.
Key Properties
| Property | Explanation |
|---|---|
| Irreducible closure | The closure of a generic point is irreducible; conversely, any irreducible closed subset has a generic point (in Noetherian spaces such as varieties and schemes). |
| Specialization vs. generalization | In the specialization preorder on a topological space, a point $x$ specializes to a point $y$ if $y \in \overline{{x}}$. A generic point is the most “general” element of its irreducible closure; all other points in that closure are specializations of the generic point. |
| Uniqueness | In a $T_0$ space, an irreducible closed subset has at most one generic point. In the Zariski topology, which is $T_0$ but not Hausdorff, the generic point is unique. |
| Function evaluation | For a regular function $f$ on an irreducible variety $V$, the value $f(\eta_V)$ is not a numerical value but rather the element of the function field $k(V)$ represented by $f$. This reflects the “generic” behavior of $f$. |
| Dense | A generic point is dense in its closure; in the special case of the whole space being irreducible, the generic point is dense in the entire space. |
Examples
-
Affine line over an algebraically closed field: In $\mathbb{A}^1_k = \operatorname{Spec} k[x]$ with the Zariski topology, the prime ideal $(0)$ corresponds to the generic point of the whole line. Its closure is the whole space, while each closed point $(x - a)$ (for $a \in k$) is a specialization of the generic point.
-
Projective variety: For an irreducible projective variety $X\subset\mathbb{P}^n_k$, the generic point corresponds to the minimal prime ideal of the homogeneous coordinate ring $k[x_0,\dots,x_n]/I(X)$. Its closure is $X$ itself.
-
Spectrum of a domain: Let $R$ be an integral domain. In $\operatorname{Spec} R$, the zero ideal $(0)$ is the generic point of the whole spectrum because its closure is the whole space. Each maximal ideal corresponds to a closed point, which is a specialization of $(0)$.
Historical Context
The term “generic point” emerged in the development of algebraic geometry during the early 20th century, particularly in the work of Oscar Zariski on the Zariski topology and later in Alexandre Grothendieck’s formulation of schemes (1960s). Grothendieck emphasized the role of generic points in describing the structure of schemes and their irreducible components, treating them as formal points that capture the generic behavior of functions and morphisms.
Applications
- Function fields: The generic point provides a geometric interpretation of the function field of an irreducible variety, allowing one to pass between algebraic and geometric viewpoints.
- Specialization theory: Understanding how properties of schemes behave under specialization often involves tracing how generic points specialize to closed points.
- Descent and generic freeness: In commutative algebra, results such as generic freeness rely on the existence of a generic point where certain modules become free after localization.
- Model theory: In algebraic geometry over algebraically closed fields, the notion of “generic” elements corresponds to points satisfying all non‑trivial algebraic relations, and generic points are used in the logical study of definable sets.
Related Concepts
- Zariski topology – the topology in which generic points naturally arise because closed sets are defined by algebraic equations.
- Irreducible component – a maximal irreducible closed subset; each has a unique generic point.
- Specialization and generalization – the order relation on points defined by inclusion of closures; generic points are maximal (most general) elements.
- Dense point – another term sometimes used synonymously with generic point in irreducible spaces.
