General hyperplane sections of nonsingular flops in dimension 3 (Q1897755)

Let \(X\) be a three-dimensional complex manifold, and \(f : X \to Y\) be a proper bimeromorphic morphism to a normal complex space which contracts an irreducible curve \(C \subset X\) to a singular point \(Q \in Y\) while inducing an isomorphic \(X - C \sim Y - \{Q\}\). We assume that the intersection number with the canonical divisor \((K_x \cdot C)\) is zero. In this case, it is known that the singularity of \(Y\) is Gorenstein terminal, and there exists a flop \(f^\# : X^\# \to Y\), which we call a nonsingular flop because \(X\) is nonsingular. The general hyperplane section \(H\) of \(Y\) through \(Q\) has only a rational double point, its pull back \(L \subset X\) by \(f\) is normal, and the induced morphism \(f_H : L \to H\) factors the minimal resolution \(g : M \to H\). The author gives a technical geometric proof for the following theorem which is proved by Katz and Morrison. Theorem. Let \(f : X \to Y\) be as above. Then the singularity of the general hyperplane section \(H\) and the partial resolution \(f_H : L \to H\) are determined by the length \(l\) of \(f\). More precisely, \(H\) has a rational double point of type \(A_1\), \(D_4\), \(E_6\), \(E_7\), \(E_8\) or \(E_8\), if \(l = 1,2,3,4,5\) or 6, respectively.