Разложение бирациональных отображений и автоморфизм Нагаты (по работе Т. Кишимото)

Будет рассказано простое доказательство того, что автоморфизм Нагаты $\sigma\colon\mathbb{C}^3\to\mathbb{C}^3$ не является ручным, то есть не представляется в виде компзиции аффинных преобразований и преобразований де Жонкьера. Доказательство основано на алгоритме разложения бирациональных отображений между расслоениями Мори (т.н. программе Саркисова).