A regularity theorem on birational morphisms (Q1906654)

Main result: Let \(f:X\to Y\) be a proper birational morphism of regular schemes and let \(\dim (f^{-1} [y]) \leq 1\) for any \(y \in S(f)\) \((S(f)= \{y \in Y |f^{-1}\) is not well-defined at \(y\}\) is the fundamental locus). Then there is an irreducible component of \(S(f)\) which is regular at \(y\). This gives a generalization of the results by \textit{T. Luo} and \textit{Z. Luo} [Math. Ann. 282, No. 4, 529-534 (1988; Zbl 0672.14003)] and by \textit{T. Sancho de Salas} [Compos. Math. 70, No. 3, 275-291 (1989; Zbl 0687.14009)]. The author also obtains a generalizations of \textit{H. Schaps}' result [Math. Ann. 222, 23-28 (1976; Zbl 0309.14009)] to a general regular scheme without requiring the smoothness of \(S(f)\) and normal crossings.