-1
$\begingroup$

Let $j:U\rightarrow X$ an open immersion between k-schemes of finite type and $f:X\rightarrow S$ a surjective k-morphism of finite type.

We suppose that $f\circ j:U\rightarrow S$ is faithfully flat, does it imply that f is faithfully flat?

$\endgroup$
4
  • 7
    $\begingroup$ Why the heck should it imply that $f$ is flat? Did you forget a hypothesis? $\endgroup$
    – Angelo
    Apr 14, 2013 at 16:16
  • $\begingroup$ There is no reason for $f$ to be flat outside $U$. For example $S=\mathbb{A}^1=U$, $X = \mathbb{A}^1 \sqcup pt$. $\endgroup$ Apr 14, 2013 at 16:17
  • 5
    $\begingroup$ ...or let $f:X\to S$ be any birational morphism and $U\subseteq X$ the locus where it is an isomorphism. $\endgroup$ Apr 14, 2013 at 17:52
  • $\begingroup$ Is it true when $U$ is "large" in some sense? $\endgroup$ Apr 14, 2013 at 21:13

1 Answer 1

2
$\begingroup$

In comments to the question, Martin Brandenburg asks if the answer should be positive for $U$ large. Here is one positive result in this direction.

Let $k$ be an algebraically closed field. A surjective birational $k$-morphism from a connected normal $k$-scheme of finite type to a regular $k$-scheme of finite type that is flat outside of a set of codimension $\geq 2$ is faithfully flat. To see this, use a purity theorem and the fact that for a birational morphism with a normal target, the flat locus coincides with the etale locus.

This fails if we drop the assumption on the source or on the target. This also fails if you do not assume that the morphism is birational.

$\endgroup$

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.