1
$\begingroup$

This is one more question on flat morphisms that I have been thinking about.

Suppose $f:X\rightarrow S$ is a flat projective morphism of noetherian schemes. Both $X$ and $S$ are smooth and irreducible. Let $T$ be a smooth closed subscheme of $S$.

Suppose $F$ is a coherent $O_X$ module such that $F_T$ is flat over $T$.

Is there some additional condition which will ensure that $F$ is $S$-flat?

$\endgroup$
  • $\begingroup$ If $T$ is a point, then $F_T$ is flat over $T$ for any $F$. So, what kind of conditions are you expecting? $\endgroup$ – Mohan Apr 3 '17 at 1:26
  • $\begingroup$ @Mohan, is there some sheaf theoretic condition? I heard that there is a condition in terms of ideal of the closed subscheme. But I don't know what it is. $\endgroup$ – user349424 Apr 3 '17 at 1:42
1
$\begingroup$

No. Flatness is local condition. We can always ensure $F$ is misbehaved at some place outside of $T$.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.