Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

From Mumford's Algebraic Geometry I, page 32-33.

Let $Z\subset X\times Y$ be a rational map from $X$ to $Y$. Assume $Z$ is regular at a point $x\in X$. Is it trivial that $p_{1}(Z)$ is dense in $X$? Mumford used this fact to prove that $\mathscr{O}_{x,X}\rightarrow \mathscr{O}_{z,Z}$ is injective. I feel unclear about it as I did not see a proof in previous pages. If $Z$ is regular at all points of $X$, then $p_{1}$ should be continuous, bijective and closed. However with only one point I am not sure.

share|improve this question
Is $X$ assumed to be irreducible? From the definition of rational map $p_1(Z)$ is open in $X$, so if $X$ is irreducible then $p_1(Z)$ is dense in it. –  Brad Nov 11 '12 at 17:29
I think $X$ is irreducible. –  Bombyx mori Nov 11 '12 at 17:49
Something is wrong in your statement. Maybe you mean $Z$ is the graph of a rational map from $X$ to $Y$ and the rational map is defined at $x$ ? –  user18119 Nov 11 '12 at 21:00
This is verbatim from Mumford. Of course what you said is right. –  Bombyx mori Nov 11 '12 at 21:27

Your Answer


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

Browse other questions tagged or ask your own question.