Регулярные автоморфизмы гладких трифолдов с положительной энтропией

Я собираюсь рассказать доказательство теоремы Лезётра, классифицирующей гладкие трехмерные многообразия, которые допускают структуру регулярного автоморфизма с положительной энтропией. Согласно этой теореме либо канонический класс такого многообразия численно тривиален, либо автоморфизм не примитивен, то есть сохраняет структуру рационального морфизма на многообразие меньшей размерности, либо же продолжается на стягивание некоторого дивизора в многообразии. В частности, отсюда следует, что любой автоморфизм с положительной энтропией на последовательности раздутий проективного пространства с гладкими центрами не примитивен.