Proof of de Smit's conjecture: a freeness criterion

Sylvain Brochard

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de…