Группа Тейхмюллера для гиперкэлеровых многообразий

Группа Тейхмюллера (группа классов отображений) есть фактор группы диффеоморфизмов многообразия по изотопиям. Салливан доказал, что в размерности 3 или больше, группа Тейхмюллера компактного кэлерова многообразия арифметическая. Я опишу группу Тейхмюллера для гиперкэлерова (голоморфного симплектического кэлерова) многообразия, доказав, что она отображается с конечным ядром на арифметическую подгруппу в $SO(3,n)$.