Гиперболические группы Шевалле в $\mathbb{C}^2$

Пусть $\Gamma$ — подгруппа группы $U(1,1)$, порожденная комплексными отражениями. Предположим, что группа $\Gamma$ дискретно действует в области $K=\{(z_1,z_2)\in\mathbb{C}^2\mid|z_1|^2-|z_2|^2<0\}$, а проективная группа $P\Gamma$ действует в единичном диске $B=\{|z_1/z_2|<1\}$ как фуксова группа сигнатуры $(n_1,\dots,n_s)$, $s\ge 3$, $n_i\ge 2$. Для таких групп в статье доказана теорема типа Шевалле, т.е. найдено условие, необходимое и достаточное для того, чтобы факторпространство $K/\Gamma$ было изоморфно $\mathbb{C}^2-\{0\}$.