Skip to main content
edited title
Link
Charles Staats
  • 7.3k
  • 5
  • 68
  • 86

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

edit 1.
Source Link
YOURS
  • 563
  • 1
  • 5
  • 6

Let $f:X\rightarrow Y$ be a morphism of schemes.

  1. When $PicY\rightarrow PicX$ is an embedding, and $f_{*}\mathscr{O}_{X}$ is invertible, it is the structure sheaf of $Y$.

  2. In the proof of Zariski's Main Theorem, we have: If $f$ is birational, finite, integral, and $Y$ is normal, then $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

My questions are

  1. whatWhat exactly prevent $f_{*}\mathscr{O}_{X}$ to be a structure sheaf?

  2. Is there any necessary and sufficient condition(s) guarantee that $f_{*}\mathscr{O}_{X}$ is a structure sheaf?

Let $f:X\rightarrow Y$ be a morphism of schemes.

  1. When $PicY\rightarrow PicX$ is an embedding, $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

  2. In the proof of Zariski's Main Theorem, we have: If $f$ is birational, finite, integral, and $Y$ is normal, then $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

My questions are

  1. what exactly prevent $f_{*}\mathscr{O}_{X}$ to be a structure sheaf?

  2. Is there any necessary and sufficient condition(s) guarantee that $f_{*}\mathscr{O}_{X}$ is a structure sheaf?

Let $f:X\rightarrow Y$ be a morphism of schemes.

  1. When $PicY\rightarrow PicX$ is an embedding and $f_{*}\mathscr{O}_{X}$ is invertible, it is the structure sheaf of $Y$.

  2. In the proof of Zariski's Main Theorem, we have: If $f$ is birational, finite, integral, and $Y$ is normal, then $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

My questions are

  1. What exactly prevent $f_{*}\mathscr{O}_{X}$ to be a structure sheaf?

  2. Is there any necessary and sufficient condition(s) guarantee that $f_{*}\mathscr{O}_{X}$ is a structure sheaf?

Source Link
YOURS
  • 563
  • 1
  • 5
  • 6

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

Let $f:X\rightarrow Y$ be a morphism of schemes.

  1. When $PicY\rightarrow PicX$ is an embedding, $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

  2. In the proof of Zariski's Main Theorem, we have: If $f$ is birational, finite, integral, and $Y$ is normal, then $f_{*}\mathscr{O}_{X}$ is the structure sheaf of $Y$.

My questions are

  1. what exactly prevent $f_{*}\mathscr{O}_{X}$ to be a structure sheaf?

  2. Is there any necessary and sufficient condition(s) guarantee that $f_{*}\mathscr{O}_{X}$ is a structure sheaf?