О группе диффеотопий рациональных 4-мерных многообразий

В докладе рассматривется структура группы диффеотопий ($\Longleftrightarrow$ диффеоморфизмы по модулю изотопий) раздутий $CP^2$. Основная теорема: если диффеоморфизм F такого многообразия X сохраняет какую-то симплектическую форму и гомотопически тривиален, то он изотопен тождественному диффеоморфизму. Даётся описание структуры группы диффеотопий раздутий $CP^2$.
Предварительные сведения: базисные результаты из дифференциальной топологии.