Skip to main content
added 20 characters in body
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79

If $f:X\to Y$ is a proper morphism of noetherian shemes, then $f_*O_X=O_Y$ says that the fibers of $f$ are connected. This follows from a general form of Zariski's main theorem (Hartshorne III.11.3).

Conversely, if $Y$ is in addition normal, then $f_*O_X=O_X$ holds. Indeed, there is a Stein factorization of the form $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. If the fibers of $f$ are connected, then $g$ must be birational (by Hartshorne III.10.3) and is in fact an isomorphism if $Y$ is normal. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers.

If $f:X\to Y$ is a proper morphism of noetherian shemes, then $f_*O_X=O_Y$ says that the fibers of $f$ are connected. This follows from Zariski's main theorem (Hartshorne III.11).

Conversely, if $Y$ is in addition normal, then $f_*O_X=O_X$ holds. Indeed, there is a Stein factorization of the form $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. If the fibers of $f$ are connected, then $g$ must be birational (by Hartshorne III.10.3) and is in fact an isomorphism if $Y$ is normal. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers.

If $f:X\to Y$ is a proper morphism of noetherian shemes, then $f_*O_X=O_Y$ says that the fibers of $f$ are connected. This follows from a general form of Zariski's main theorem (Hartshorne III.11.3).

Conversely, if $Y$ is in addition normal, then $f_*O_X=O_X$ holds. Indeed, there is a Stein factorization of the form $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. If the fibers of $f$ are connected, then $g$ must be birational (by Hartshorne III.10.3) and is in fact an isomorphism if $Y$ is normal. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers.

added 329 characters in body; deleted 55 characters in body
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79

If $f:X\to Y$ is a proper morphism of noetherian shemes, then $f_*O_X=O_Y$ says that the fibers of $f$ are connected. This follows from Zariski's main theorem (Hartshorne III.11).

Conversely, if $Y$ is in addition normal, then $f_*O_X=O_X$ holds. Indeed, there is a Stein factorization of the form

   $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. If the fibers of $f$ are connected, then $g$ must be birational (by Hartshorne III.10.3) and is in fact an isomorphism if $Y$ is normal. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers. So for example, cyclic covers do not satisfy this condition.

If $f:X\to Y$ is a proper morphism of noetherian shemes, then there is a Stein factorization of the form

 $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers. So for example, cyclic covers do not satisfy this condition.

If $f:X\to Y$ is a proper morphism of noetherian shemes, then $f_*O_X=O_Y$ says that the fibers of $f$ are connected. This follows from Zariski's main theorem (Hartshorne III.11).

Conversely, if $Y$ is in addition normal, then $f_*O_X=O_X$ holds. Indeed, there is a Stein factorization of the form  $$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. If the fibers of $f$ are connected, then $g$ must be birational (by Hartshorne III.10.3) and is in fact an isomorphism if $Y$ is normal. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers.

Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79

If $f:X\to Y$ is a proper morphism of noetherian shemes, then there is a Stein factorization of the form

$$ X \xrightarrow{f'} Z={\bf Spec} (f_* O_X) \xrightarrow{g} Y $$where $g$ is finite and $f'$ has connected fibers. Furthermore $g_*O_Z=O_Y$ and ${f'}_*O_X=O_Z$. It follows that $f_*O_X=O_Y$ if and only if $f$ has connected fibers. So for example, cyclic covers do not satisfy this condition.