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!