Группы изометрий римановых орбифолдов

Доказано, что группа $\mathfrak{I}(\mathcal{N})$ всех изометрий произвольного риманова орбифолда $\mathcal{N}$, наделенная компактно-открытой топологией, — группа Ли, гладко и собственно действующая на орбифолде $\mathcal{N}$, причем в алгебраической группе $\mathfrak{I}(\mathcal{N})$ существует единственная гладкая структура, относительно которой она является группой Ли. Показано, вчастности, что группа изометрий компактного риманова орбифолда сотрицательно определенным тензором Риччи конечна. Это обобщает известную теорему Бохнера для римановых многообразий.