HyperKähler Manifolds and Birational Transformations in dimension 4
arXiv:math/0004154
Abstract
We show that any birational map between projective hyperKähler manifolds of dimension 4 is composed of a sequence of simple flops or elementary Mukai transformations under the assumption that each irreducible component of the indeterminacy of the birational map is normal.