10
$\begingroup$

Let $A$ be a Noetherian local ring, $f:A \rightarrow A$ be a local ring morphism. Assume some power of $f$ is a flat morphism, must $f$ be flat as well?

Motivation: Kunz's theorem shows the result is true for a positive characterestic ring $A$ and its Frobenius morphism.

$\endgroup$
2
  • 2
    $\begingroup$ Do you assume $f$ local? $\endgroup$ Commented Sep 1, 2018 at 10:02
  • $\begingroup$ @LaurentMoret-Bailly Yes, I will add it, thank you. $\endgroup$
    – Zhiyu
    Commented Sep 1, 2018 at 12:49

1 Answer 1

12
$\begingroup$

Yes. Assume $f^n$ is flat for some $n>1$. Then since $f^n$ is local, it is faithfully flat. For any $A$-module $M$, put $M_1:=A\otimes_{f,A} M$ and recursively $M_i:=(M_{i-1})_1$. Let $u:E\to F$ be an injective $A$-module homomorphism. We need to show that $u_1:E_1\to F_1$ is injective. Let $K$ be its kernel. We have a sequence $K_{n-1}\to E_n\to F_n$ with zero composite, but by assumption $E_n\to F_n$ is injective, hence $K_{n-1}\to E_n$ is zero. Thus, $K_{n}\to E_{n+1}$ is also zero, but since $f^n$ is faithfully flat this implies that $K\to E_{1}$ is zero. QED

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .