Suppose a nonconstant morphism of varieties has fiber over , where is normal, connected and projective. Choose an affine neighborhood of and a regular function on nonconstant on . Its pullback is a nonconstant rational function on , so its pole Weil divisor is nonzero. A pole-free rational function on a normal variety is regular, and global regular functions on a connected projective variety are constant. The pole divisor avoids , hence avoids . No projectivity assumption on is needed.
Articles by others on the same topic
There are currently no matching articles.