Skip to main content
added 496 characters in body; deleted 140 characters in body
Source Link
Zhaoting Wei
  • 9k
  • 1
  • 20
  • 53

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{X,x}$ is a flat map. We call $f$ is flat if $f$ is flat at all points in $X$.

My question is: if $f$ is flat, is it always true that $f_*\mathcal{O}_X$ is a flat $\mathcal{O}_Y$-module?

Edit: I found that the answer is negative in general, even for proper and flat morphism over schemes see this MO question and this MO question.

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{X,x}$ is a flat map. We call $f$ is flat if $f$ is flat at all points in $X$.

My question is: if $f$ is flat, is it always true that $f_*\mathcal{O}_X$ is a flat $\mathcal{O}_Y$-module?

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{X,x}$ is a flat map. We call $f$ is flat if $f$ is flat at all points in $X$.

My question is: if $f$ is flat, is it always true that $f_*\mathcal{O}_X$ is a flat $\mathcal{O}_Y$-module?

Edit: I found that the answer is negative in general, even for proper and flat morphism over schemes see this MO question and this MO question.

Source Link
Zhaoting Wei
  • 9k
  • 1
  • 20
  • 53

Does flatness morphisms between ringed spaces implies the direct image sheaf is flat?

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{X,x}$ is a flat map. We call $f$ is flat if $f$ is flat at all points in $X$.

My question is: if $f$ is flat, is it always true that $f_*\mathcal{O}_X$ is a flat $\mathcal{O}_Y$-module?