Skip to main content
1 of 4
user565739
  • 1.1k
  • 9
  • 24

push-forward of the structure sheaf, stein factorization, birational and connected fibers

When I read the following discussion, I got a question.

When will the pushforward of a structure sheaf still be a structure sheaf?

Let $f: X \rightarrow Y$ be a proper morphism of noetherian shcemes and $ X \overset {f'} \rightarrow Z \overset {g} \rightarrow Y$ be its Stein factorization. In J.C. Ottem response, he mentioned that if the fibers of $f$ are connected, then $g$ must be birational ( I think that we assume both $X$ and $Y$ are integral schemes), and from this, one gets $g_{*} \mathcal{O}_Z = \mathcal{O}_Y$, hence we have

$f_{*} \mathcal{O}_X = \mathcal{O}_Y$

He also give the reference, which is Hartshorne III.10.3, for which I think the right one is Hartshorne III.11.3, but 11.3 is telling that the isomorphism gives connected fibers.

So I would like to know :

(1) How to see that $g$ is birational? The correct reference?

(2) In which part we need the characteristic 0 condition?

(3) Could we replace the characteristic 0 condition to another condition, e.g $f$ has integral fibers?

user565739
  • 1.1k
  • 9
  • 24