The proof that flat maps are open in the complex-analytic category can be found in
C. Bănică, O. Stănăşilă: Algebraic methods in the global theory of complex spaces, Theorem 2.12 p. 180.
See also my answer to MO question 41158.
Francesco Polizzi
- 66.3k
- 5
- 180
- 283