Geometric Auslander criterion for openness of an algebraic morphism

Abstract

We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a topological analogue of a criterion for flatness that originates with Auslander.