4
$\begingroup$

Call a morphism $\pi:\ X \to Y$ of schemes $\mathcal{O}$-connected if the natural map $\mathcal{O}_Y \rightarrow \pi_\ast \mathcal{O}_X$ is an isomorphism.

Suppose that $\pi: X \rightarrow Y$ is a morphism of $k$-schemes, where $k$ is an algebraically closed field. Suppose also that the following hypotheses hold.

  • $X$ and $Y$ are reduced.
  • $\pi$ is projective.
  • All (geometric) fibers of $\pi$ are reduced, nonempty, and connected.

Does it follow that $\pi$ is $\mathcal{O}$-connected?

I am aware that it would be sufficient to assume that $\pi$ is flat (for example, by Exercise 28.1.H in Ravi Vakil's The Rising Sea). However, I'm hoping to find a criterion that would apply to certain non-flat situations, such as blow-ups. It seems that it would also be sufficient to assume that $Y$ is normal (in which case one doesn't need the hypothesis that the fibers are reduced), as is discussed at the following question: When will the pushforward of a structure sheaf still be a structure sheaf?

I'm wondering if it is possible to avoid the hypothesis that $Y$ is normal, in the situation described above (in particular, in cases where the fibers are reduced). I would like to find a good reference if so.

$\endgroup$

Your Answer

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

Browse other questions tagged or ask your own question.