Dimension is birationally invariant

Given: The objects and hypotheses in the statement.

If $U$ is a nonempty open of an irreducible classical variety $X$, then $\dim U=\dim X$. Every proper closed subvariety $Z⊊X$ has $\dim Z<\dim X$. Work over a fixed algebraically closed field $k$, with the Axiom of Choice. Classical varieties are separated and admit finite affine covers; they may be reducible or empty unless irreducibility is specified. Irreducible means nonempty. All fibres and points below are classical closed-point fibres and points. (Nonempty opens preserve irreducible dimension).

Let $X$ and $Y$ be classical affine varieties. Then $X$ and $Y$ are birationally equivalent if and only if their function fields are isomorphic as extensions of $k$. (Irreducible affine varieties are birational exactly when their function fields are isomorphic).

For irreducible classical $X$, the fraction fields of all nonempty affine charts identify canonically; denote the resulting field by $k(X)$. A dominant morphism $f:X\to Y$ between irreducible classical varieties induces an injection $f^{\ast }:k(Y)\hookrightarrow k(X)$. Dominant means that the image is dense. Work over a fixed algebraically closed field $k$, with the Axiom of Choice. Classical varieties are separated and admit finite affine covers; they may be reducible or empty unless irreducibility is specified. Irreducible means nonempty. All fibres and points below are classical closed-point fibres and points. (Function fields and dominant pullbacks on general varieties).