Several homogeneous equations in projective space

Given: The objects and hypotheses in the statement.

Let $X$ be an irreducible classical variety of dimension $n$, and let $f_1,\dots ,f_r$ be global regular functions, with $r\ge 0$. Every nonempty irreducible component $Z$ of their common zero set has $\dim Z\ge n-r$. 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. (r equations lower dimension by at most r).

If $X\subseteq {\mathbf{P}}_k^N$ is a nonempty projective algebraic set, then $\dim C(X)=\dim X+1$. Over $X_i=X\cap D_{+}(T_i)$, the locus $C(X)\cap D(T_i)$ is isomorphic to $X_i\times {\mathbf{G}}_m$. If $X$ is irreducible, so is $C(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. (A nonempty projective cone raises dimension by one).

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).