2
$\begingroup$

Let $f:X\rightarrow Y$ a $k$-morphism of finite type from a Cohen-Macaulay scheme to a normal scheme such that all the fibers have the same dimension, do we have that $f$ is flat?

We know, that it's true for $Y$ smooth. Can we weaken this condition?

$\endgroup$
1

2 Answers 2

9
$\begingroup$

No, the smoothness is really needed !

To construct a counter-example, let us choose $X=\mathbb{A}^2$. Consider the action of $\mathbb{Z}/2\mathbb{Z}$ by $(x,y)\mapsto (-x,-y)$. The quotient of $X$ by this action is the quadric cone $Y\subset \mathbb{A}^3$ defined by $tv=u^2$, where the quotient map $f:X\to Y$ is given by $(x,y)\mapsto (t,u,v)=(x^2,xy,y^2)$.

Now $X$ is Cohen-Macaulay, because it is regular, $Y$ is normal by Serre's criterion, and the fibers of $f$ all have dimension $0$ ($f$ is finite). However, $f$ is not flat. Indeed, if it were, since it is proper, all of its fibers would have the same length. But the fibers of $f$ have length $2$, except the fiber over $(0,0,0)$ that has length $3$.

$\endgroup$
1
  • 7
    $\begingroup$ "$Y$ is normal by Serre's criterion": true, but more simply, it is immediate that if a group acts on an integrally closed domain, the subring of invariants is integrally closed. $\endgroup$ Dec 22, 2012 at 21:17
5
$\begingroup$

Let $X=Y$ be of characteristic $p$ and let $f:X\to Y$ be the (absolute) Frobenius morphism. Kunz's Regularity Criterion states that $f$ is flat if and only if $X$ is regular. In particular, taking $X$ to be Cohen-Macaulay and normal but not regular/smooth gives another counterexample.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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