Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3
Abstract:
Kwiecinski has proved a geometric criterion for flatness: A morphism of germs of analytic spaces is not flat if and only if its fibre power has a vertical component, for some . We show how to bound using Hironaka's local flattener: If is not flat, then has a vertical component, where is the minimal number of generators of the ideal in of the flattener of .