Конвей (1983) использовал алгоритм Винберга для описания группы автоморфизмов 26-мерной четной унимодулярной лоренцевой решетки II 25,1 в терминах решетки Лича .
Описание алгоритма
Пусть — гиперболическая группа отражений. Выберем любую точку ; назовем ее базовой (или начальной) точкой. Фундаментальная область ее стабилизатора — многогранный конус в . Пусть — грани этого конуса, а — внешние нормальные векторы к нему. Рассмотрим полупространства
Существует единственный фундаментальный многогранник из , содержащийся в и содержащий точку . Его грани, содержащие , образованы гранями конуса . Другие грани и соответствующие внешние нормали строятся по индукции. А именно, для мы берем зеркало так, что корень , ортогональный к нему, удовлетворяет условиям
(1) ;
(2) для всех ;
(3) расстояние минимально при соблюдении ограничений (1) и (2).
Ссылки
Конвей, Джон Хортон (1983), «Группа автоморфизмов 26-мерной четной унимодулярной лоренцевой решетки», Журнал алгебры , 80 (1): 159–163, doi : 10.1016/0021-8693(83)90025-X , ISSN 0021-8693, MR 0690711
Винберг, Э. Б. (1975), «Некоторые арифметические дискретные группы в пространствах Лобачевского», в Бейли, Уолтер Л. (ред.), Дискретные подгруппы групп Ли и приложения к модулям (Internat. Colloq., Бомбей, 1973), Oxford University Press , стр. 323–348, ISBN978-0-19-560525-9, МР 0422505