Question

Can someone me say if this (perhaps obvious!) claim is true:

let $f:X\rightarrow S$ be an open, surjective morphism of complex spaces reduced or without embedded components and with $n$-pure dimensional fibers. Let $F$, $G$ be a coherent sheaves with $S$-depth bigger than $2$ and s.t:

1) $G$ is $S$-flat

2) there is a canonical injective morphism $F\rightarrow G$

3) $F$ and $G$ are locally isomorphics.

Question: Is $F$ $S$-flat too?

Rk: Of course, the answer is yes if the Coker of 2) is $S$-flat.

Thanks.

Answer 1

For a flat map $f$, we can see the $S$-flatness of $F$ as follow:

Let $x\in X$ and denote by: $A:=O_{S,f(x)}$, $B:=O_{X,x}$, ${\rm F}:=F_{x}$ and ${\rm G}:=G_{x}$. The $S$-flatness of the coherent sheaf $F$ in $x$ is, by definition, the $A$-flatness of the module (of finite type) ${\rm F}$ or, equivalently, the left exactness of the functor $K\rightarrow {\rm F}\otimes_{A} K$ where $K$ is $A$-module of finite type. Take a left exact sequenz of $A$-modules $$0\rightarrow K\rightarrow L$$ which give us a morphism ${\rm F}\otimes_{A}K\rightarrow {\rm F}\otimes _{A} L$ or equivalently a morphism

$${\rm F}{\otimes_{B}}(B\otimes_{A} K)\rightarrow {\rm F}\otimes_{B}(B\otimes_{A} L)$$

We can replace ${\rm F}$ by ${\rm G}$ at this moment and see that the injectivity of the desired map is obtained if we assume $B$ is $A$-flat module because $B\otimes_{A} K\rightarrow B\otimes_{A} L$ is injective and ${\rm G}$ is $A$-flat.