Prefer a chat interface with context about you and your work?
Constructibility of the set of points where a complex analytic morphism is open
Using the local flattening theorem we prove that the set of points where a complex analytic morphism is open (or universally open) is constructible. A similar result is obtained for a morphism of complex algebraic varieties.