Алгоритм Винберга

В математике алгоритм Винберга — алгоритм, предложенный Эрнестом Борисовичем Винбергом для нахождения фундаментальной области гиперболической группы отражений .

Конвей (1983) использовал алгоритм Винберга для описания группы автоморфизмов 26-мерной четной унимодулярной лоренцевой решетки II 25,1 в терминах решетки Лича .

Описание алгоритма

Пусть — гиперболическая группа отражений. Выберем любую точку ; назовем ее базовой (или начальной) точкой. Фундаментальная область ее стабилизатора — многогранный конус в . Пусть — грани этого конуса, а — внешние нормальные векторы к нему. Рассмотрим полупространства Г < я с о м ( ЧАС н ) {\displaystyle \Gamma <\mathrm {Isom} (\mathbb {H} ^{n})} в 0 ЧАС н {\displaystyle v_{0}\in \mathbb {H} ^{n}} П 0 {\displaystyle P_{0}} Г в 0 {\displaystyle \Gamma _{v_{0}}} ЧАС н {\displaystyle \mathbb {H} ^{n}} ЧАС 1 , . . . , ЧАС м {\displaystyle H_{1},...,H_{м}} а 1 , . . . , а м {\displaystyle a_{1},...,a_{м}} ЧАС к = { х Р н , 1 | ( х , а к ) 0 } . {\displaystyle H_{k}^{-}=\{x\in \mathbb {R} ^{n,1}|(x,a_{k})\leq 0\}.}

Существует единственный фундаментальный многогранник из , содержащийся в и содержащий точку . Его грани, содержащие , образованы гранями конуса . Другие грани и соответствующие внешние нормали строятся по индукции. А именно, для мы берем зеркало так, что корень , ортогональный к нему, удовлетворяет условиям П {\displaystyle P} Г {\displaystyle \Гамма} П 0 {\displaystyle P_{0}} в 0 {\displaystyle v_{0}} в 0 {\displaystyle v_{0}} ЧАС 1 , . . . , ЧАС м {\displaystyle H_{1},...,H_{м}} П 0 {\displaystyle P_{0}} ЧАС м + 1 , . . . {\displaystyle H_{m+1},...} а м + 1 , . . . {\displaystyle a_{m+1},...} ЧАС дж {\displaystyle H_{j}} а дж {\displaystyle a_{j}}

(1) ; ( в 0 , а дж ) < 0 {\displaystyle (v_{0},a_{j})<0}

(2) для всех ; ( а я , а дж ) 0 {\displaystyle (a_{i},a_{j})\leq 0} я < дж {\displaystyle я<j}

(3) расстояние минимально при соблюдении ограничений (1) и (2). ( в 0 , ЧАС дж ) {\displaystyle (v_{0},H_{j})}


Ссылки

  • Конвей, Джон Хортон (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, ISBN 978-0-19-560525-9, МР  0422505
Взято с "https://en.wikipedia.org/w/index.php?title=Vinberg%27s_algorithm&oldid=1220999376"