Let $f \colon X \to Y$ be a generically injective, finite morphism between projective varieties over $\mathbb{C}$, with $Y$ non-singular. Does $f$ have a section i.e., a morphism $g:Y \to X$ such that $f \circ g:Y \to Y$ is the identity?

If not true in general, is there any known condition under which $f$ has a section?

EDIT. The map $f$ is assumed to be dominant.

  • 5
    $\begingroup$ Presumably you want to assume that $f$ is dominant, or else this is trivially false. If $f$ is dominant and generically injective, then $f$ is birational. A finite, birational morphism with normal target $Y$ is an isomorphism by Zariski's Main Theorem (classical formulation). $\endgroup$ – Jason Starr Apr 2 '17 at 13:34
  • 1
    $\begingroup$ @JasonStarr Thank you. Yes, I assume $f$ to be dominant. Can we say something if we drop the assumption on finite morphism and replace it with projective morphism. The picture I have in mind is that when $f$ is generically injective except for a codimension $2$ locus where the fibers are rational curves. $\endgroup$ – user45397 Apr 2 '17 at 14:02
  • 3
    $\begingroup$ With "projective morphism" it seems to me that the answer is no in such a generality. Take the blow-up $\pi \colon X \to \mathbb{P}^2$ of the plane at at a point: of course it has no regular sections. $\endgroup$ – Francesco Polizzi Apr 2 '17 at 14:25

If $Y$ is normal, then every finite generically injective dominant morphism $f:X \to Y$ is an isomorphism. Indeed, take an open affine subset $U = Spec~ A$ of $Y$. Then $f^{-1}(Y) = Spec~B$ where $B$ is integral over $A$. Since $A$ is integrally closed and $A,B$ have the same field of fractions, $A = B$.

So the answer to your question is: ``Yes, always!''

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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