Generic point

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

In algebraic geometry, a generic point of a variety X is a point that represents the general situation on X. It is a point where the usual, “all-purpose” properties hold for points in X, not just for special cases.

In classical terms, for a d‑dimensional variety defined by equations, a generic point is one whose coordinates behave as independently as the equations allow. In other words, it captures the most typical situation on the space.

In the language of schemes, the spectrum of an integral domain has a unique generic point, corresponding to the zero ideal. The closure of this point in the Zariski topology is the whole spectrum. This idea leads to a broader notion: in any topological space, a generic point is one whose closure is the entire space; such a point is dense.

A key fact is that a (sub)variety is irreducible (not the union of two proper subvarieties) if and only if the space of its subvarieties has a generic point.

Historically, André Weil emphasized a broader, field-based view of generic points, using a universal domain with many indeterminates. Oscar Zariski later insisted that generic points should be unique, a viewpoint that carried over into scheme theory starting in the 1950s.

An example helps: let R be a discrete valuation ring. Then Spec(R) has two points—a generic point coming from (0) and a closed point coming from the maximal ideal. If you map to Spec(R), you get a fiber above the closed point (the special fiber) and a fiber above the generic point (the generic fiber). Studying how the generic fiber specializes to the special fiber is a central way to understand degeneration and reduction, such as modulo p.

In this setting, spaces like Spec(R) have a simple topological shape (the Sierpinski space), and many local rings share the feature of having a unique generic point plus one or more special points.

In short, a generic point serves as a beacon for the general behavior of a family or space, and it plays a central role in modern algebraic geometry, especially in the study of how objects degenerate or specialize.