I have precedently posted the same question on Math.Stackexchange (https://math.stackexchange.com/questions/4277856/quasi-compact-surjective-morphism-of-smooth-k-schemes-is-flat), but to no avail; I hope this is not too low-level for this site. In the article "The Greenberg functor revisited'' (h...