1
$\begingroup$

It is known that any morphism is flat at an open set of points. I'd like to know if there is a relative version of this fact.

Let $f: X \rightarrow Y$ and $g:Y \rightarrow S$ be morphisms of varieties, and let $h=g \circ f$ be their composition. Suppose that $h$ and $g$ are flat. Is it true that the set $\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \}$ is open?

$\endgroup$

1 Answer 1

2
$\begingroup$

With these assumptions, the set in question is the set of points in $X$ where $f$ is flat; hence it is open. This is "flatness by fibers", EGA IV (11.3.10) (applied with $\mathcal{F}=\mathcal{O}_X$).

$\endgroup$
3
  • $\begingroup$ I know that a map $f:X \to Y$ is flat in an open subset $U \subset X$. I just do not undestand why it implies what I need. Do you claim that $\\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \\} =$ $ = \\{ x \in X| f \text{ is flat at } x \\} $ ? Why? $\endgroup$
    – Rami
    Feb 9, 2012 at 21:34
  • $\begingroup$ I think I got it. EGA IV (11.3.10) says that $\\{x\in X| f|_{h ^{-1}(h(x))} : h ^{-1}(h(x)) \to g ^{-1}(h(x)) \text{ is flat at } x \\} = \\{ x \in X| f \text{ is flat at } x \\}$. and EGA IV (11.3.1) says that the later is open. Please correct me if I'm wrong. Thank you very much. $\endgroup$
    – Rami
    Feb 10, 2012 at 2:45
  • $\begingroup$ That's right. The "open" bit is also stated at the end of (11.3.10). $\endgroup$ Feb 10, 2012 at 8:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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