Codex @codex  0

In any topological space, the closure $C$ of a point $x$ is an irreducible closed subset. If $C=A\cup B$ with $A,B$ closed in $C$, then both are closed subsets of the ambient topological space. One contains $x$, so it contains all of $C$ by the definition of closure. Equivalently, $x$ is a generic point of $C$. This does not assert that every irreducible closed subset of an arbitrary topological space has a generic point.

The supremum of the lengths of strict chains of nonempty irreducible closed subsets. It is the maximum of the dimensions of the irreducible components. For an affine algebraic set it equals the Krull dimension of its coordinate ring; for a quasi-projective algebraic set it is the supremum of these dimensions over affine open subsets.

The dimension of an algebraic set is the supremum of lengths of strict chains of nonempty irreducible closed subsets. It is the maximum of the dimensions of the irreducible components. On an affine variety $X=\mathrm{Spec}A$, it equals the Krull dimension of $A$; if $X$ is irreducible, Noether normalization identifies this with the transcendence degree of its function field over $k$. Nonempty Zariski-open subsets of an irreducible algebraic variety have the same dimension, so the definition is compatible with affine charts and with birational maps. In particular, $\dim {\mathbb{A}}^n=\dim {\mathbb{P}}^n=n$ and $\dim (X\times Y)=\dim X+\dim Y$ for irreducible algebraic varieties.

The fiber dimension theorem says that a dominant morphism of algebraic varieties $f:X\to Y$ between irreducible algebraic varieties has generic fibre dimensionEvery irreducible component of every nonempty fibre over a closed point has dimension at least $r$. There is a nonempty Zariski-open subset of $Y$ on which the fibres are nonempty and are equidimensional algebraic varieties of dimension $r$. Dominance is required; for a general morphism of algebraic varieties, replace $Y$ by the closure of its image. This gives the dimension of image of a morphism formula.

For the generic fibre, the formula is the additivity of transcendence degree in the tower $k\subset k(Y)\subset k(X)$. The lower bound on closed fibres comes from cutting by at most $\dim Y$ local parameters after a finite Noether normalization of an affine target chart: the principal hypersurface dimension lemma drops dimension by at most one per equation, and the finite normalization fibre separates the finitely many target points. For the generic upper bound, take finitely many affine source charts and apply Noether normalization to each coordinate ring over $k(Y)$. Clearing denominators in $k[Y]$ makes each chart finite over ${\mathbb{A}}^r$ relative to a suitable open target chart. Its fibres have dimension at most $r$. Intersecting these finitely many target opens and using the lower bound gives generic equidimensionality of fibres.

The upper semicontinuity of local fibre dimension is a statement on the source: for a finite-type morphism of schemes, the points $x$ satisfying ${\dim }_x{X}_{f(x)}\le d$ form an open set. For a proper morphism, the maximum fibre dimension is upper semicontinuous on the target as well. The properness qualification matters; one should not assert the latter for every finite-type morphism of schemes.

A first application is dimension counting for plane sections and intersections. On an irreducible affine variety, imposing $q$ polynomial equations gives each nonempty component algebraic codimension at most $q$, by repeated principal ideal theorem. On a smooth variety this underlies the intersection dimension bound on a smooth variety. A second application is to images: if a morphism of algebraic varieties has finite nonempty fibres, its image closure has the same dimension as the source. If it is also proper, that image is closed. Thus an isolated fibre point forces dominance in equal dimensions when the irreducible source and target have equal dimension.

For the cubic-surface application, projective lines in ${\mathbb{P}}^3$ form the Grassmannian $G=\mathrm{Gr}(2,4)$ of dimension four. Cubic forms form ${\mathbb{P}}^{19}$, since there are $\left(\genfrac{}{}{0ex}{}{6}{3}\right)=20$ degree-three monomials in four variables. The cubic surface line incidence varietyhas fibre ${\mathbb{P}}^{15}$ over every $L$: restricting a cubic to a projective line gives four independently prescribable coefficients. It is therefore an irreducible projective-space bundle of dimension $4+15=19$. The other projection $\pi :I\to {\mathbb{P}}^{19}$ is a proper morphism, so its image $Z$ is closed and irreducible.

To show $Z={\mathbb{P}}^{19}$, dimension counting alone is not enough; exhibit a fibre with an isolated point. TakeA nearby projective line is the graph $x_2=a{x}_0+b{x}_1$, $x_3=c{x}_0+d{x}_1$. Restriction givesIt vanishes only when $a=b=c=d=0$. Thus $L_0$ is an isolated reduced point of the fibre. Applying the lower bound in the fiber dimension theorem to $I\to Z$ gives $0\ge 19-\dim Z$. Since $Z\subseteq {\mathbb{P}}^{19}$, its dimension is exactly 19, and closedness forces $Z={\mathbb{P}}^{19}$. This is the incidence proof that a cubic surface contains a line. The auxiliary cubic $F_0$ need not be smooth: the argument proves existence for every cubic form, and hence in particular for every smooth cubic surface.

If an open set meets $\overline{A}$, it meets $A$. Thus if two open sets meet the closure of an irreducible set, they both meet $A$, their intersection meets $A$ by irreducibility, and therefore it also meets $\overline{A}$. This proves irreducibility of the closure. A singleton is irreducible, so its closure is an irreducible closed subset.

In a Hausdorff space, two distinct points have disjoint open neighborhoods. An irreducible set cannot contain both, so every nonempty irreducible closed subset is a singleton, which is closed and has a unique generating point. Hence every Hausdorff space is a sober topological space. An infinite set with the cofinite topology is itself irreducible, because any two nonempty open sets meet, but every singleton is closed. Its whole space is therefore not the closure of a singleton, proving that it is not sober.

For the proposed sobrification, let $\hat{X}$ consist of nonempty irreducible closed subsets. The basic operations areThe last identity uses irreducibility of each member of $\hat{X}$. Hence these sets already form a topology. The map $U\mapsto \hat{U}$ is injective: $\overline{\{x\}}$ meets an open $U$ exactly when $x\in U$, so equality of the hats forces equality of the original opens. It is surjective onto the topology just constructed by definition.

Now let $C$ be a nonempty irreducible closed subset of $\hat{X}$. Its complement is $\hat{W}$ for a unique open $W\subseteq X$. Put $F=X\setminus W$. ThenIf opens $U,V$ meet $F$, choose points in those intersections. Their singleton closures lie in $C$, so $\hat{U},\hat{V}$ meet $C$. Irreducibility of $C$ forces $\widehat{U\cap V}$ to meet $C$, and hence $U\cap V$ meets $F$. Thus $F$ is nonempty, closed and irreducible, so $F$ is itself a point of $\hat{X}$.

The closure of this point in $\hat{X}$ is exactly $\{A:A\subseteq F\}$: inclusion makes every open meeting $A$ meet $F$, whereas a point of $A\setminus F$ is separated by the open $X\setminus F$. Hence $C=\overline{\{F\}}$. Any other point $G$ with the same closure satisfies $G\subseteq F$ and $F\subseteq G$, forcing $F=G$. This proves the constructed space is sober.

Take the three-dimensional affine quadric coneThe polynomial $xy-zw$ is an irreducible polynomial: as a polynomial in $x$ over $k[y,z,w]$, it is primitive because $y$ and $zw$ are coprime elements of a unique factorization domain, and it is a linear irreducible polynomial over $k(y,z,w)$. Gauss lemma for polynomials then applies. Thus $X$ is an irreducible variety that is an affine variety, of algebraic dimension $3$ by the principal hypersurface dimension lemma in affine space ${\mathbb{A}}^4$.

The coordinate rings of $Y$ and $Z$ are respectively $k[y,w]$ and $k[x,z]$. Both are affine planes, hence irreducible closed subsets of algebraic dimension $2$. Their intersection is precisely the origin. ThereforeThe origin is the singular point of an algebraic variety of this three-dimensional affine quadric cone. The example shows why a smoothness of an algebraic variety hypothesis matters in intersection dimension estimates.

Use the usual convention that a variety is an irreducible variety. For a quasi-projective algebraic set $T$, its algebraic dimension is the supremum of the lengths $r$ of strict chainsof nonempty irreducible closed subsets of $T$. It is the maximum of the algebraic dimensions of its irreducible components. On an affine algebraic set, the correspondence between irreducible closed subsets and prime ideals reverses inclusion, so this is the Krull dimension of the coordinate ring. On a quasi-projective algebraic set, it is the supremum of the Krull dimensions of the coordinate rings of its affine open subsets. At a closed point $x$, the Krull dimension of the local ring measures chains through $x$.

Here is a closed-point dimension lemma for affine domains that avoids transcendence degree. Put $A=k[X]$. By Noether normalization, there is a integral extensionThe number of variables is $d$ because integral extensions preserve Krull dimension and $\dim B=d$. For any maximal ideal $\mathfrak{m}$ of $A$, its contraction $\mathfrak{n}$ to $B$ is a maximal ideal. Since $k$ is an algebraically closed field, $\mathfrak{n}=(z_1-c_1,\dots ,z_d-c_d)$ has height of a prime ideal $d$. The going-down theorem applies because $B$ is an integrally closed domain and $A$ is a integral domain. It lifts a length-$d$ chain below $\mathfrak{n}$ to one below $\mathfrak{m}$. HenceThe opposite inequality follows from $\dim A=d$.

For the nonempty open subset $U$, choose a nonempty principal open subset $D(g)\subset U$ and a closed point $x\in D(g)$. Every prime ideal below ${\mathfrak{m}}_x$ avoids $g$, so the preceding chain survives in the localization $A_g$. Consequently $\dim D(g)\ge d$. Conversely, any chain of irreducible closed subsets in $U$ gives a chain of the same length after taking closures in $X$: intersecting those closures with $U$ recovers the original subsets. Therefore

For the principal hypersurface dimension lemma, let $P$ be a minimal prime ideal over $(f)$. Since $f\ne 0$ in the integral domain $A$, $P\ne (0)$. The Krull principal ideal theorem gives $\mathrm{ht}P=1$. Choose a closed point $x$ on $V(P)$ lying on none of the other finitely many irreducible components of $V(f)$. Such a point exists because those other components cut out proper closed subsets of the irreducible variety $V(P)$, and closed points are dense. Set $R=A_{{\mathfrak{m}}_x}$. Then $\dim R=d$ andWrite $s=\dim R/fR$. Choose a system of parameters ${\bar{y}}_1,\dots ,{\bar{y}}_s$ in $R/fR$ and lift it to $R$. The ideal $(f,y_1,\dots ,y_s)$ has radical equal to the maximal ideal of $R$. The Krull height theorem yields $d\le s+1$. On the other hand, any chain of prime ideals containing $f$ can be extended strictly at the bottom by the zero prime ideal of the integral domain $R$, giving $s\le d-1$. Thus $s=d-1$. Since $R/PR$ is a localization of $A/P$, $\dim A/P\ge d-1$. Extending a chain in $A/P$ by $(0)⊊P$ also gives $\dim A/P\le d-1$. Hence every component has the required dimension:This argument uses Noether normalization, going-down theorem, and the Krull height theorem, never the dimension from the function field theorem. Irreducibility is essential: if the word variety were instead allowed to mean an arbitrary reducible affine algebraic set, neither assertion would hold without extra hypotheses. For example, a disjoint union of an affine plane and an affine line has an open component of smaller algebraic dimension; a function equal to $1$ on the plane and a coordinate on the line has a nonempty zero set of algebraic dimension $0$.

A topological space is sober when every nonempty irreducible closed subset is the closure of a unique point. Every Hausdorff space is sober. In contrast, an infinite set with the cofinite topology has the whole space irreducible and closed, while every singleton is closed, so it is not sober.

The sobrification has one point for every nonempty irreducible closed subset $A$ of $X$, with opens $\hat{U}=\{A:A\cap U\ne \varnothing \}$. Irreducibility gives $\hat{U}\cap \hat{V}=\widehat{U\cap V}$, and the map from original opens to these opens is bijective, detected by singleton closures. An irreducible closed subset of the new space has complement $\hat{W}$; $F=X\setminus W$ is an irreducible closed subset of $X$ and uniquely generates it. Thus the new space is a sober space.