Теорема Громова-Иомдина

Интересным параметром автоморфизма является его топологическая энтропия. Она определяется в терминах метрических пространств, однако, если мы изучаем автоморфизм алгебраического многообразия X, то его энтропия равняется логарифму максимального собственного значения индуцированного действия автоморфизма на когомологиях $H^*(X)$. Это утверждение доказано Громовом и Иомдиным и я собираюсь рассказать их доказательство.