Flops.

*(English)*Zbl 0645.14004A flop is an operation that starts with a three dimensional algebraic (or complex analytic) variety X with at worst canonical singularities, removes a compact curve C which has zero intersection with the canonical class and replaces it with a differently embedded curve C’ to obtain X’. The present article generalizes earlier results of M. Reid [in Algebraic Varieties and Analytic Varieties, Proc. Symp., Tokyo 1981, Adv. Stud. Pure Math. 1, 131-180 (1983; Zbl 0558.14028)] and Y. Kawamata [Ann. Math., II. Ser. 127, No.1, 93-163 (1988)].

The article has three main results. First it is proved that if X has terminal singularities then X’ has the same analytic singularities as X. Second, some of the proofs of the above articles are simplified and generalized to analytic threefolds. Third, it is shown that if X and X’ are compact complex threefolds such that their canonical classes have nonnegative intersection with any curve then any bimeromorphic map between X and X’ is a composite of flops.

The article has three main results. First it is proved that if X has terminal singularities then X’ has the same analytic singularities as X. Second, some of the proofs of the above articles are simplified and generalized to analytic threefolds. Third, it is shown that if X and X’ are compact complex threefolds such that their canonical classes have nonnegative intersection with any curve then any bimeromorphic map between X and X’ is a composite of flops.

Reviewer: J.Kollár