Pole divisor avoiding a fiber

ID: pole-divisor-avoiding-a-fiber

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.

New to topics? Read the docs here!