MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose we're given a dominant morphism of irreducible algebraic varieties over an algebraically closed field $k$, $f:X \rightarrow Y$, then why do there exist subvarieties $Z$ of $X$ with $\dim Z=\dim Y$ and $f(Z)$ dense in $Y$? One idea I've heard is to resrict to the affine case, so $X=\text{Spec }A$ and $Y=\text{Spec }B$ and then consider $A\otimes \overline{K(B)}$, where $\overline{K(B)}$ is the algebraic closure of the function field of $B$. One can obtain sections of the inclusion of $\overline{K(B)}$ into $A\otimes \overline{K(B)}$ by considering $\overline{K(B)}$-rational points in $X_{\overline{K(B)}}$ (this follows from the Nullstellensatz), which really lie in some finite extension of $L$ of $K(B)$. So we consider the integral closure $C$ of $B$ in $L$ and this gives us a finite morphism from $Y'=\text{Spec }C$ to $Y$, but I don't know how this eventually gives us an answer to the original question. If anyone knows how to continue this argument, or a nicer argument on how to get the result, please let me know.-Thanks

share|cite|improve this question
up vote 2 down vote accepted

More generally, let $f:X\to Y$ be a dominant morphism of finite type of schemes, with $Y$ irreducible. Let $y$ be the generic point of $Y$. Then the fiber $X_y$ is a nonempty scheme of finite type over $\kappa(y)$. Let $z\in X_y$ be a closed point. By Hilbert's Nullstellensatz, $\kappa(z)$ is a finite extension of $\kappa(y)$. Let $Z$ be the Zariski closure of $\{z\}$: this is an irreducible closed subset of $X$, which dominates $Y$ (the image contains the generic point) and the function field extension $\kappa(z)/\kappa(y)$ is finite, which implies $\dim Z=\dim Y$ if $Y$ is of finite type over a field.

This argument is of course close to the original idea. Sándor's proof is also OK but uses linear systems, hence works well only under quasiprojective assumptions (or after reducing to this case, e.g. by taking affine open sets).

share|cite|improve this answer

Assume that $\dim X>\dim Y$, i.e., that the relative dimension of $f$ is positive. Let $H\subseteq X$ be a general member of a base point free linear system. Then $H$ does not contain any irreducible component of the general fiber of $f$ and hence the relative dimension of the restriction morphism $f|_H:H\to Y$ is strictly less than the relative dimension of $X$. Since $\dim H=\dim X-1$, this can only happen if the relative dimension of $f|_H$ is exactly $1$ less than the relative dimension of $f$ and $f|_H$ is dominant. Replace $X$ with $H$ and repeat as long as the initial assumption ($\dim X>\dim Y$) is satisfied. The process will stop when you reach an appropriate $Z$.

share|cite|improve this answer
Re: Laurent's comment: I assumed, as stated in the question, that we have already restricted to the affine case. I probably should have said so. :) – Sándor Kovács Jun 1 '11 at 7:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.