MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Why the heck should it imply that $f$ is flat? Did you forget a hypothesis? – Angelo Apr 14 '13 at 16:16
There is no reason for $f$ to be flat outside $U$. For example $S=\mathbb{A}^1=U$, $X = \mathbb{A}^1 \sqcup pt$. – Piotr Achinger Apr 14 '13 at 16:17
...or let $f:X\to S$ be any birational morphism and $U\subseteq X$ the locus where it is an isomorphism. – Sándor Kovács Apr 14 '13 at 17:52
Is it true when $U$ is "large" in some sense? – Martin Brandenburg Apr 14 '13 at 21:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.