Диаграмма Коксетера–Дынкина

Наглядное представление симметрии

В геометрии диаграмма Коксетера – Дынкина (или диаграмма Коксетера , граф Коксетера ) — это граф с численно помеченными рёбрами (называемыми ветвями ), представляющий группу Коксетера или иногда однородный многогранник или однородную мозаику, построенную из группы.

Класс близкородственных объектов — диаграммы Дынкина , которые отличаются от диаграмм Коксетера в двух отношениях: во-первых, ветви, помеченные « $4$ » или больше, являются направленными , в то время как диаграммы Коксетера ненаправленные ; во-вторых, диаграммы Дынкина должны удовлетворять дополнительному ( кристаллографическому ) ограничению, а именно, что единственными допустимыми метками ветвей являются $2, 3, 4$ и $6.$ Диаграммы Дынкина соответствуют и используются для классификации корневых систем и, следовательно, полупростых алгебр Ли . ^[1]

Описание

Группа Коксетера — это группа, допускающая представление: где $m$ $i,j$ — элементы некоторой симметричной матрицы $M$ , на диагонали которой стоят $единицы$ . ^[a] Эта матрица $M$ , матрица Коксетера , полностью определяет группу Коксетера. $\langle r_{0},r_{1},\dots ,r_{n}\mid (r_{i}r_{j})^{m_{i,j}}=1\rangle$

Поскольку матрица Коксетера симметрична, ее можно рассматривать как матрицу смежности графа с ребрами , вершины которого соответствуют генераторам $r i$ , а ребра помечены $m i,j$ между вершинами, соответствующими $r i$ и $r j$ . Для упрощения этих диаграмм можно внести два изменения:

Ребра, помеченные как $2,$ могут быть опущены, при этом отсутствующие ребра подразумеваются как $2$ s. Метка $2$ указывает, что соответствующие два генератора коммутируют; $2$ — это наименьшее число, которое может быть использовано для маркировки ребра.
Ребра, помеченные как $3,$ можно оставить непомеченными, подразумевая, что непомеченное ребро действует как $3$ .

Полученный граф представляет собой диаграмму Коксетера-Дынкина, описывающую рассматриваемую группу Коксетера.

Матрица Шлефли

Каждая диаграмма Коксетера имеет соответствующую матрицу Шлефли (названную так в честь Людвига Шлефли ), $A,$ с матричными элементами $a i,j = a j,i = -2 cos(π / p i,j)$ , где $p i,j$ — порядок ветвления между зеркалами $i$ и $j;$ то есть $π / p i,j$ — двугранный угол между зеркалами $i$ и $j.$ Как матрица косинусов , $A$ также называется матрицей Грама . Все матрицы Шлефли группы Коксетера симметричны, поскольку их корневые векторы нормализованы. $A$ тесно связана с матрицей Картана , используемой в похожем, но направленном графе: диаграмме Дынкина , в ограниченных случаях $p = 2,3,4$ и $6,$ которые, как правило, не являются симметричными.

Определитель матрицы Шлефли называется шлефлианом ; [ ^{требуется ссылка ]} шлефлиан и его знак определяют, является ли группа конечной (положительной), аффинной (нулевой) или неопределенной (отрицательной). ^[2] Это правило называется критерием Шлефли . ^[3]^{[ неудачная проверка ]}

Собственные значения матрицы Шлефли определяют, является ли группа Коксетера конечного типа (все положительные), аффинного типа (все неотрицательные, по крайней мере одно равно нулю) или неопределенного типа (в противном случае). Неопределенный тип иногда подразделяется далее, например, на гиперболические и другие группы Коксетера. Однако существует несколько неэквивалентных определений для гиперболических групп Коксетера. Мы используем следующие определения:

Группа Коксетера со связной диаграммой является гиперболической , если она не является ни группой конечного, ни группой аффинного типа, но каждая ее правильная связная поддиаграмма имеет конечный или аффинный тип.
Гиперболическая группа Коксетера компактна , если все ее подгруппы конечны (т.е. имеют положительные определители), и паракомпактна, если все ее подгруппы конечны или аффинны (т.е. имеют неотрицательные определители).

Конечные и аффинные группы также называются эллиптическими и параболическими соответственно. Гиперболические группы также называются Ланнеровскими, в честь Ф. Ланнера, который перечислил компактные гиперболические группы в 1950 году ^[4] , и Кошуля (или квази-Ланнера) для паракомпактных групп.

Группы Коксетера 2 ранга

Тип группы Коксетера ранга $2$ , т.е. порожденной двумя различными зеркалами, полностью определяется определителем матрицы Шлефли, поскольку этот определитель является просто произведением собственных значений: конечного (положительный определитель), аффинного (нулевой определитель) или гиперболического (отрицательный определитель) типа. Коксетер использует эквивалентную скобочную нотацию , которая перечисляет последовательности порядков ветвей в качестве замены графическим диаграммам узел-ветвь. Рациональные решения $[p / q],$ , также существуют, с $gcd$ $(p, q) = 1;$ они определяют перекрывающиеся фундаментальные домены. Например, $3/2, 4/3, 5/2, 5/3, 5/4$ и $6/5.$

Тип	Конечный					Аффинный	Гиперболический
Геометрия					...
Диаграмма Коксетера. Скобочная нотация.	[ ]	[2]	[3]	[4]	[ п ]	[∞]	[∞]	[iπ/ λ ]
Заказ	2	4	6	8	2 стр.	∞
Зеркальные линии окрашены в соответствии с узлами диаграммы Коксетера. Фундаментальные домены окрашены поочередно.

Диаграммы групп Коксетера ранга 2
Заказать п	Группа	Диаграмма Коксетера		Матрица Шлефли
Заказать п	Группа	Диаграмма Коксетера		$\left[{\begin{matrix}2&a_{12}\\a_{21}&2\end{matrix}}\right]$	Определитель $(4-a_{21}a_{12})$
Конечный (Определитель > 0)
2	Я ₂ (2) = А ₁ ×А ₁		[2]	$\left[{\begin{smallmatrix}2&0\\0&2\end{smallmatrix}}\right]$	4
3	Я ₂ (3) = А ₂		[3]	$\left[{\begin{smallmatrix}2&-1\\-1&2\end{smallmatrix}}\right]$	3
3/2			[3/2]	$\left[{\begin{smallmatrix}2&1\\1&2\end{smallmatrix}}\right]$	3
4	Я ₂ (4) = В ₂		[4]	$\left[{\begin{smallmatrix}2&-{\sqrt {2}}\\-{\sqrt {2}}&2\end{smallmatrix}}\right]$	2
4/3			[4/3]	$\left[{\begin{smallmatrix}2&{\sqrt {2}}\\{\sqrt {2}}&2\end{smallmatrix}}\right]$	2
5	Я ₂ (5) = Н ₂		[5]	$\left[{\begin{smallmatrix}2&-\phi \\-\phi &2\end{smallmatrix}}\right]$	$(5-{\sqrt {5}})/2$ ≈ 1.38196601125
5/4			[5/4]	$\left[{\begin{smallmatrix}2&\phi \\\phi &2\end{smallmatrix}}\right]$	$(5-{\sqrt {5}})/2$ ≈ 1.38196601125
5/2			[5/2]	$\left[{\begin{smallmatrix}2&1-\phi \\1-\phi &2\end{smallmatrix}}\right]$	$(5+{\sqrt {5}})/2$ ≈ 3.61803398875
5/3			[5/3]	$\left[{\begin{smallmatrix}2&\phi -1\\\phi -1&2\end{smallmatrix}}\right]$	$(5+{\sqrt {5}})/2$ ≈ 3.61803398875
6	Я ₂ (6) = Г ₂		[6]	$\left[{\begin{smallmatrix}2&-{\sqrt {3}}\\-{\sqrt {3}}&2\end{smallmatrix}}\right]$	1
6/5			[6/5]	$\left[{\begin{smallmatrix}2&{\sqrt {3}}\\{\sqrt {3}}&2\end{smallmatrix}}\right]$	1
8	Я ₂ (8)		[8]	$\left[{\begin{smallmatrix}2&-{\sqrt {2+{\sqrt {2}}}}\\-{\sqrt {2+{\sqrt {2}}}}&2\end{smallmatrix}}\right]$	$2-{\sqrt {2}}$ ≈ 0,58578643763
10	Я ₂ (10)		[10]	$\left[{\begin{smallmatrix}2&-{\sqrt {(5+{\sqrt {5}})/2}}\\-{\sqrt {(5+{\sqrt {5}})/2}}&2\end{smallmatrix}}\right]$	$(3-{\sqrt {5}})/2$ ≈ 0,38196601125
12	Я ₂ (12)		[12]	$\left[{\begin{smallmatrix}2&-{\sqrt {2+{\sqrt {3}}}}\\-{\sqrt {2+{\sqrt {3}}}}&2\end{smallmatrix}}\right]$	$2-{\sqrt {3}}$ ≈ 0,26794919243
п	Я ₂ ( п )		[ п ]	$\left[{\begin{smallmatrix}2&-2\cos(\pi /p)\\-2\cos(\pi /p)&2\end{smallmatrix}}\right]$	$4\sin ^{2}(\pi /p)$
Аффинный (Определитель = 0)
∞	Я ₂ (∞) = = ${\tilde {I}}_{1}$ ${\tilde {A}}_{1}$		[∞]	$\left[{\begin{smallmatrix}2&-2\\-2&2\end{smallmatrix}}\right]$	0
Гиперболический (Определитель ≤ 0)
∞			[∞]	$\left[{\begin{smallmatrix}2&-2\\-2&2\end{smallmatrix}}\right]$	0
∞			[iπ/ λ ]	$\left[{\begin{smallmatrix}2&-2\cosh(2\lambda )\\-2\cosh(2\lambda )&2\end{smallmatrix}}\right]$	$-4\sinh ^{2}(2\lambda )\leq 0$

Геометрические визуализации

Диаграмму Коксетера–Дынкина можно рассматривать как графическое описание фундаментальной области зеркал. Зеркало представляет собой гиперплоскость в сферическом, евклидовом или гиперболическом пространстве заданной размерности. (В двумерных пространствах зеркало — это линия; в трехмерных — это плоскость.)

Эти визуализации показывают фундаментальные домены для 2D и 3D евклидовых групп, а также для 2D сферических групп. Для каждой диаграмма Коксетера может быть выведена путем идентификации гиперплоских зеркал и маркировки их связности, игнорируя $90$ -градусные двугранные углы (порядок $2;$ см. сноску [a] ниже).

Группы Кокстера на евклидовой плоскости с эквивалентными диаграммами. Здесь вершины домена помечены как ветви графа $1, 2$ и т. д. и окрашены в соответствии с порядком их отражения (связности). Отражения помечены как узлы графа $R1, R2$ и т. д. Отражения под углом $90$ градусов неактивны в том смысле, что вместе они не генерируют новых отражений; ^[b] поэтому они не связаны друг с другом ветвью на диаграмме. Параллельные зеркала связаны друг с другом ветвью, помеченной $\infty .$ Квадрат призматической группы × показан как удвоение треугольника вокруг его стороны $R2$ , но может быть также создан как прямоугольная область из удвоения треугольника вокруг его стороны $R2$ . Треугольник является удвоением треугольника вокруг его стороны $R3$ . (эта сторона исчезает при удвоении вокруг себя) ${\tilde {I}}_{1}$ ${\tilde {I}}_{1}$ ${\tilde {C}}_{2}$ ${\tilde {G}}_{2}$ ${\tilde {A}}_{2}$ ${\tilde {G}}_{2}$
Многие группы Кокстера в гиперболической плоскости могут быть расширены из евклидовых случаев как ряд гиперболических решений.
Группы Коксетера в 3-мерном пространстве с диаграммами. Зеркала (треугольные грани) помечены противоположными вершинами: $0, ..., 3.$ Ветви окрашены в соответствии с порядком отражения. заполняет $1/48$ куба. заполняет $1/24$ куба. заполняет $1/12$ куба. ${\tilde {C}}_{3}$ ${\tilde {B}}_{3}$ ${\tilde {A}}_{3}$	Группы Коксетера в сфере с эквивалентными диаграммами. Одна фундаментальная область выделена желтым цветом. Вершины области (и ветви графа) окрашены в соответствии с порядком их отражения.

Применение к однородным многогранникам

При построении однородных многогранников узлы помечаются как активные кольцом, если точка-генератор находится вне зеркала, создавая новое ребро между точкой-генератором и ее зеркальным изображением. Неокантованный узел представляет собой неактивное зеркало, которое не генерирует новых точек. Кольцо без узла называется дыркой .	Два ортогональных зеркала могут быть использованы для создания квадрата,, показанный здесь с красной точкой генератора и 3 виртуальными копиями по зеркалам. Генератор должен быть вне обоих зеркал в этом ортогональном случае, чтобы сгенерировать интерьер. Разметка кольца предполагает, что активные кольца имеют генераторы на равном расстоянии от всех зеркал, в то время как прямоугольник также может представлять неоднородное решение.

Диаграммы Коксетера–Дынкина могут явно перечислить почти все классы однородных многогранников и однородных мозаик . Каждый однородный многогранник с чистой отражательной симметрией (все, кроме нескольких особых случаев, имеют чистую отражательную симметрию) может быть представлен диаграммой Коксетера–Дынкина с перестановками разметок . Каждый однородный многогранник может быть сгенерирован с использованием таких зеркал и одной точки-генератора: зеркальные изображения создают новые точки как отражения, затем ребра многогранника могут быть определены между точками и точкой зеркального изображения. Грани генерируются повторным отражением ребра, в конечном итоге обертывающего исходный генератор; окончательная форма, а также любые многомерные грани, аналогичным образом создаются гранью, отражающейся для ограничения области.

Чтобы указать порождающую вершину, один или несколько узлов помечаются кольцами, что означает, что вершина не находится на зеркале(ах), представленном кольцевым узлом(ами). (Если помечены два или более зеркала, вершина равноудалена от них.) Зеркало активно (создает отражения) только относительно точек, не находящихся на нем. Диаграмме нужен по крайней мере один активный узел для представления многогранника. Несвязанная диаграмма (подгруппы, разделенные ветвями порядка 2, или ортогональные зеркала) требует по крайней мере одного активного узла в каждом подграфе.

Все правильные многогранники , представленные символом Шлефли ${p, q, r, ...}$ , могут иметь свои фундаментальные области, представленные набором n зеркал с соответствующей диаграммой Коксетера–Дынкина из линии узлов и ветвей, помеченных $p, q, r, ...,$ с первым узлом, окруженным кольцом.

Однородные многогранники с одним кольцом соответствуют точкам-генераторам в углах фундаментального доменного симплекса. Два кольца соответствуют ребрам симплекса и имеют степень свободы, и только средняя точка является однородным решением для равных длин ребер. В общем случае k -кольцевые точки-генераторы находятся на (k-1) -гранях симплекса, и если все узлы окольцованы, то точка-генератор находится внутри симплекса.

Частный случай однородных многогранников с неотражательной симметрией представлен вторичной разметкой, в которой центральная точка кольцевого узла удалена (называется отверстием ) . Эти формы являются чередованиями многогранников с отражательной симметрией, подразумевающими, что каждая вторая вершина удалена. Полученный многогранник будет иметь подсимметрию исходной группы Коксетера . Усеченное чередование называется сутулым .

Один узел представляет собой одно зеркало. Это называется группой A ₁ . Если замкнуть, то получится отрезок линии , перпендикулярный зеркалу, представленный как {}.
Два неприсоединенных узла представляют два перпендикулярных зеркала. Если оба узла замкнуты, можно создать прямоугольник или квадрат , если точка находится на одинаковом расстоянии от обоих зеркал.
Два узла, соединенные ветвью порядка n, могут создать n -угольник , если точка находится на одном зеркале, и 2 n -угольник, если точка находится вне обоих зеркал. Это образует группу $I 1 (n)$ .
Два параллельных зеркала могут представлять бесконечную группу многоугольников $I 1 (\infty)$ , также называемую $Ĩ 1$ .
Три зеркала в треугольнике формируют изображения, которые можно увидеть в традиционном калейдоскопе , и могут быть представлены тремя узлами, соединенными в треугольник. Повторяющиеся примеры будут иметь ветви, обозначенные как (3 3 3), (2 4 4), (2 3 6), хотя последние две можно нарисовать как линию ( игнорируя 2 ветви). Это создаст однородные мозаики .
Три зеркала могут образовывать однородные многогранники ; включение рациональных чисел дает множество треугольников Шварца .
Три зеркала, одно из которых перпендикулярно двум другим, могут образовать однородные призмы .

Существует 7 отражающих однородных конструкций в общем треугольнике, основанных на 7 топологических позициях генератора в фундаментальной области. Каждое активное зеркало генерирует ребро, при этом два активных зеркала имеют генераторы на сторонах домена, а три активных зеркала имеют генератор внутри. Одна или две степени свободы могут быть решены для уникального положения для равных длин ребер результирующего многогранника или мозаики.	Пример 7 генераторов на октаэдрической симметрии , фундаментальный доменный треугольник (4 3 2), с 8-м поколением плосконосых вершин в качестве чередования

Дуалы однородных многогранников иногда помечаются перпендикулярной косой чертой, заменяющей кольцевые узлы, и косой чертой-дыркой для дырочных узлов плосконосых многогранников. Например,представляет собой прямоугольник (как два активных ортогональных зеркала), ипредставляет собой его двойной многоугольник — ромб .

Примеры с многогранниками и мозаиками

Например, группа Коксетера B ₃ имеет диаграмму:. Это также называется октаэдрической симметрией .

Существует 7 выпуклых однородных многогранников , которые можно построить из этой группы симметрии и 3 из ее подсимметрий чередования , каждый из которых имеет уникально размеченную диаграмму Коксетера–Дынкина. Символ Витхоффа представляет собой особый случай диаграммы Коксетера для графов ранга 3, в котором все 3 порядка ветвей названы, а не подавляются ветви порядка 2. Символ Витхоффа способен обрабатывать курносую форму, но не общие чередования без всех узлов, окольцованных.

Однородные октаэдрические многогранники
Симметрия : [4,3], (*432)							[4,3] ⁺ (432)	[1 ⁺ ,4,3] = [3,3] (*332)		[3 ⁺ ,4] (3*2)
{4,3}	т{4,3}	г{4,3} г{3 ^1,1 }	т{3,4} т{3 ^1,1 }	{3,4} {3 ^1,1 }	рр{4,3} с ₂ {3,4}	тр{4,3}	ср{4,3}	ч{4,3} {3,3}	ч ₂ {4,3} т{3,3}	с{3,4} с{3 ^1,1 }

		=	=	=				= или	= или	=

Двойственные к однородным многогранникам
В4 ³	В3.8 ²	В(3.4) ²	В4.6 ²	В3 ⁴	В3.4 ³	В4.6.8	В3 ⁴ .4	В3 ³	В3.6 ²	В3 ⁵

Те же конструкции можно выполнить на непересекающихся (ортогональных) группах Коксетера, таких как однородные призмы , и их можно более наглядно рассматривать как мозаики диэдров и осоэдров на сфере, например, как это семейство [6]×[] или [6,2]:

Однородные шестиугольные двугранные сферические многогранники
Симметрия : [6,2] , (*622)							[6,2] ⁺ , (622)	[6,2 ⁺ ], (2*3)


{6,2}	т{6,2}	г{6,2}	т{2,6}	{2,6}	рр{6,2}	тр{6,2}	ср{6,2}	с{2,6}
Двойные формы

В6 ²	В12 ²	В6 ²	В4.4.6	В2 ⁶	В4.4.6	В4.4.12	В3.3.3.6	В3.3.3.3

Для сравнения, [6,3],семейство производит параллельный набор из 7 однородных мозаик евклидовой плоскости и их двойственные мозаики. Снова есть 3 чередования и некоторая версия с половинной симметрией.

Однородные шестиугольные/треугольные мозаики в т е
Симметрия : [6,3], (*632)							[6,3] ⁺ (632)	[6,3 ⁺ ] (3*3)
{6,3}	т{6,3}	г{6,3}	т{3,6}	{3,6}	рр{6,3}	тр{6,3}	ср{6,3}	с{3,6}


6 ³	3.12 ²	(3,6) ²	6.6.6	3 ⁶	3.4.6.4	4.6.12	3.3.3.3.6	3.3.3.3.3.3
Равномерные дуалы

В6 ³	В3.12 ²	В(3,6) ²	В6 ³	В3 ⁶	В3.4.6.4	В.4.6.12	В3 ⁴ .6	В3 ⁶

В гиперболической плоскости [7,3],семейство производит параллельный набор однородных мозаик и их двойственные мозаики. Существует только 1 чередование ( отрывистое ), поскольку все порядки ветвей нечетные. Многие другие гиперболические семейства однородных мозаик можно увидеть в однородных мозаиках в гиперболической плоскости .

Однородные семиугольные/треугольные мозаики в т е
Симметрия: $[7,3], (*732)$							$[7,3] +, (732)$


${7,3}$	$т{7,3}$	$г{7,3}$	$т{3,7}$	${3,7}$	$рр{7,3}$	$тр{7,3}$	$ср{7,3}$
Равномерные дуалы


$В7 3$	$В3.14.14$	$В3.7.3.7$	$В6.6.7$	$В3 7$	$В3.4.7.4$	$В4.6.14$	$В3.3.3.3.7$

Очень расширенные диаграммы Коксетера

Одно использование включает в себя очень расширенное определение из прямого использования диаграммы Дынкина , которое рассматривает аффинные группы как расширенные , гиперболические группы как сверхрасширенные , а третий узел как очень расширенные простые группы. Эти расширения обычно отмечаются показателем степени 1, 2 или 3 + символы для числа расширенных узлов. Этот расширяющийся ряд может быть расширен назад, путем последовательного удаления узлов из той же позиции в графе, хотя процесс останавливается после удаления узла ветвления. Расширенное семейство E ₈ является наиболее часто показываемым примером расширения назад от E ₃ и вперед до E ₁₁ .

Процесс расширения может определить ограниченную серию графов Кокстера, которые прогрессируют от конечного к аффинному, гиперболическому и лоренцеву. Определитель матриц Картана определяет, где серия изменяется от конечного (положительного) к аффинному (нулю) к гиперболическому (отрицательному) и заканчивается как лоренцева группа, содержащая по крайней мере одну гиперболическую подгруппу. ^[5] Некристаллографические группы H _n образуют расширенную серию, где H ₄ расширяется как компактная гиперболическая и сверхрасширенная в лоренцеву группу.

Определитель матрицы Шлефли по рангу имеет вид: ^[6]

$det(A 1 n = [2 n -1]) = 2 n (Конечно для всех n)$
$det(A n = [3 n -1]) = n + 1 (конечно для всех n)$
$det(B n = [4,3 n -2]) = 2 (конечный для всех n)$
$det(D n = [3 n -3,1,1]) = 4 (конечный для всех n)$

Определители матрицы Шлефли в исключительных рядах:

${\tilde {E}}_{8}$
${\tilde {E}}_{7}$
${\tilde {E}}_{6}$
${\tilde {F}}_{4}$
${\tilde {G}}_{2}$

Меньшая расширенная серия
Конечный	$A_{2}$	$C_{2}$	$G_{2}$	$A_{3}$	$B_{3}$	$C_{3}$	$H_{4}$
Ранг $n$	[3 ^[3] ,3 ^{n −3} ]	[4,4,3 ^{n −3} ]	Г _n =[6,3 ^{n −2} ]	[3 ^[4] ,3 ^{n −4} ]	[4,3 ^{1, n −3} ]	[4,3,4,3 ^{n −4} ]	Н _n =[5,3 ^{n −2} ]
2	[3] А ₂	[4] С ₂	[6] Г ₂		[2] А ₁²	[4] С ₂	[5] Н ₂
3	[3 ^[3] ] $A_{2}^{+}={\tilde {A}}_{2}$	[4,4] $C_{2}^{+}={\tilde {C}}_{2}$	[6,3] $G_{2}^{+}={\tilde {G}}_{2}$	[3,3]=А ₃	[4,3] Б ₃	[4,3] С ₃	[5,3] Н ₃
4	[3 ^[3] ,3] $A_{2}^{++}={\overline {P}}_{3}$	[4,4,3] $C_{2}^{++}={\overline {R}}_{3}$	[6,3,3] $G_{2}^{++}={\overline {V}}_{3}$	[3 ^[4] ] $A_{3}^{+}={\tilde {A}}_{3}$	[4,3 ^1,1 ] $B_{3}^{+}={\tilde {B}}_{3}$	[4,3,4] $C_{3}^{+}={\tilde {C}}_{3}$	[5,3,3] Н ₄
5	[3 ^[3] ,3,3] А ₂⁺⁺⁺	[4,4,3,3] С ₂⁺⁺⁺	[6,3,3,3] Г ₂⁺⁺⁺	[3 ^[4] ,3] $A_{3}^{++}={\overline {P}}_{4}$	[4,3 ^2,1 ] $B_{3}^{++}={\overline {S}}_{4}$	[4,3,4,3] $C_{3}^{++}={\overline {R}}_{4}$	[5,3 ³ ] Н ₅ = ${\overline {H}}_{4}$
6				[3 ^[4] ,3,3] А ₃⁺⁺⁺	[4,3 ^3,1 ] В ₃⁺⁺⁺	[4,3,4,3,3] С ₃⁺⁺⁺	[5,3 ⁴ ] Н ₆
Det( $М н$ )	3(3− н )	2(3− n )	3− н	4(4− н )	2(4− n )

Средняя расширенная серия
Конечный	$A_{4}$	$B_{4}$	$C_{4}$	$D_{4}$	$F_{4}$	$A_{5}$	$B_{5}$	$D_{5}$
Ранг $n$	[3 ^[5] ,3 ^{n −5} ]	[4,3,3 ^{n −4,1} ]	[4,3,3,4,3 ^{n −5} ]	[3 ^{n −4,1,1,1} ]	[3,4,3 ^{n −3} ]	[3 ^[6] ,3 ^{n −6} ]	[4,3,3,3 ^{n −5,1} ]	[3 ^1,1 ,3,3 ^{n −5,1} ]
3		[4,3 ^−1,1 ] Б ₂ А ₁	[4,3] Б ₃	[3 ^−1,1,1,1 ] А ₁³	[3,4] Б ₃		[4,3,3] С ₃
4	[3 ³ ] А ₄	[4,3,3] Б ₄	[4,3,3] С ₄	[3 ^0,1,1,1 ] Д ₄	[3,4,3] Ф ₄		[4,3,3,3 ^−1,1 ] Б ₃ А ₁	[3 ^1,1 ,3,3 ^−1,1 ] А ₃ А ₁
5	[3 ^[5] ] $A_{4}^{+}={\tilde {A}}_{4}$	[4,3,3 ^1,1 ] $B_{4}^{+}={\tilde {B}}_{4}$	[4,3,3,4] $C_{4}^{+}={\tilde {C}}_{4}$	[3 ^1,1,1,1 ] $D_{4}^{+}={\tilde {D}}_{4}$	[3,4,3,3] $F_{4}^{+}={\tilde {F}}_{4}$	[3 ⁴ ] А ₅	[4,3,3,3,3] Б ₅	[3 ^1,1 ,3,3] Д ₅
6	[3 ^[5] ,3] $A_{4}^{++}={\overline {P}}_{5}$	[4,3,3 ^2,1 ] $B_{4}^{++}={\overline {S}}_{5}$	[4,3,3,4,3] $C_{4}^{++}={\overline {R}}_{5}$	[3 ^2,1,1,1 ] $D_{4}^{++}={\overline {Q}}_{5}$	[3,4,3 ³ ] $F_{4}^{++}={\overline {U}}_{5}$	[3 ^[6] ] $A_{5}^{+}={\tilde {A}}_{5}$	[4,3,3,3 ^1,1 ] $B_{5}^{+}={\tilde {B}}_{5}$	[3 ^1,1 ,3,3 ^1,1 ] $D_{5}^{+}={\tilde {D}}_{5}$
7	[3 ^[5] ,3,3] А ₄⁺⁺⁺	[4,3,3 ^3,1 ] Б ₄⁺⁺⁺	[4,3,3,4,3,3] С ₄⁺⁺⁺	[3 ^3,1,1,1 ] Д ₄⁺⁺⁺	[3,4,3 ⁴ ] Ж ₄⁺⁺⁺	[3 ^[6] ,3] $A_{5}^{++}={\overline {P}}_{6}$	[4,3,3,3 ^2,1 ] $B_{5}^{++}={\overline {S}}_{6}$	[3 ^1,1 ,3,3 ^2,1 ] $D_{5}^{++}={\overline {Q}}_{6}$
8						[3 ^[6] ,3,3] А ₅⁺⁺⁺	[4,3,3,3 ^3,1 ] Б ₅⁺⁺⁺	[3 ^1,1 ,3,3 ^3,1 ] Д ₅⁺⁺⁺
Det( $М н$ )	5(5− н )	2(5− н )		4(5− н )	5− н	6(6− н )	4(6− н )

Некоторые более высокие расширенные серии
Конечный	$A_{6}$	$B_{6}$	$D_{6}$	$E_{6}$	$A_{7}$	$B_{7}$	$D_{7}$	$E_{7}$	$E_{8}$
Ранг $n$	[3 ^[7] ,3 ^{n −7} ]	[4,3 ³ ,3 ^{n −6,1} ]	[3 ^1,1 ,3,3,3 ^{n −6,1} ]	[3 ^{n −5,2,2} ]	[3 ^[8] ,3 ^{n −8} ]	[4,3 ⁴ ,3 ^{n −7,1} ]	[3 ^1,1 ,3,3,3,3 ^{n −7,1} ]	[3 ^{n −5,3,1} ]	Е _n =[3 ^{n −4,2,1} ]
3									[3 ^−1,2,1 ] Э ₃ =А ₂ А ₁
4				[3 ^−1,2,2 ] А ₂²				[3 ^−1,3,1 ] А ₃ А ₁	[3 ^0,2,1 ] Э ₄ =А ₄
5		[4,3,3,3,3 ^−1,1 ] Б ₄ А ₁	[3 ^1,1 ,3,3,3 ^−1,1 ] Д ₄ А ₁	[3 ^0,2,2 ] А ₅				[3 ^0,3,1 ] А ₅	[3 ^1,2,1 ] Э ₅ =Д ₅
6	[3 ⁵ ] А ₆	[4,3 ⁴ ] Б ₆	[3 ^1,1 ,3,3,3] Д ₆	[3 ^1,2,2 ] Э ₆		[4,3,3,3,3,3 ^−1,1 ] Б ₅ А ₁	[3 ^1,1 ,3,3,3,3 ^−1,1 ] Д ₅ А ₁	[3 ^1,3,1 ] Д ₆	[3 ^2,2,1 ] Э ₆ *
7	[3 ^[7] ] $A_{6}^{+}={\tilde {A}}_{6}$	[4,3 ³ ,3 ^1,1 ] $B_{6}^{+}={\tilde {B}}_{6}$	[3 ^1,1 ,3,3,3 ^1,1 ] $D_{6}^{+}={\tilde {D}}_{6}$	[3 ^2,2,2 ] $E_{6}^{+}={\tilde {E}}_{6}$	[3 ⁶ ] А ₇	[4,3 ⁵ ] Б ₇	[3 ^1,1 ,3,3,3,3 ^0,1 ] Д ₇	[3 ^2,3,1 ] Э ₇ *	[3 ^3,2,1 ] Э ₇ *
8	[3 ^[7] ,3] $A_{6}^{++}={\overline {P}}_{7}$	[4,3 ³ ,3 ^2,1 ] $B_{6}^{++}={\overline {S}}_{7}$	[3 ^1,1 ,3,3,3 ^2,1 ] $D_{6}^{++}={\overline {Q}}_{7}$	[3 ^3,2,2 ] $E_{6}^{++}={\overline {T}}_{7}$	[3 ^[8] ] * $A_{7}^{+}={\tilde {A}}_{7}$	[4,3 ⁴ ,3 ^1,1 ] * $B_{7}^{+}={\tilde {B}}_{7}$	[3 ^1,1 ,3,3,3,3 ^1,1 ] * $D_{7}^{+}={\tilde {D}}_{7}$	[3 ^3,3,1 ] * $E_{7}^{+}={\tilde {E}}_{7}$	[3 ^4,2,1 ] Э ₈ *
9	[3 ^[7] ,3,3] А ₆⁺⁺⁺	[4,3 ³ ,3 ^3,1 ] Б ₆⁺⁺⁺	[3 ^1,1 ,3,3,3 ^3,1 ] Д ₆⁺⁺⁺	[3 ^4,2,2 ] Э ₆⁺⁺⁺	[3 ^[8] ,3] * $A_{7}^{++}={\overline {P}}_{8}$	[4,3 ⁴ ,3 ^2,1 ] * $B_{7}^{++}={\overline {S}}_{8}$	[3 ^1,1 ,3,3,3,3 ^2,1 ] * $D_{7}^{++}={\overline {Q}}_{8}$	[3 ^4,3,1 ] * $E_{7}^{++}={\overline {T}}_{8}$	[3 ^5,2,1 ] Е ₉ = * $E_{8}^{+}={\tilde {E}}_{8}$
10					[3 ^[8] ,3,3] А ₇⁺⁺⁺ *	[4,3 ⁴ ,3 ^3,1 ] Б ₇⁺⁺⁺ *	[3 ^1,1 ,3,3,3,3 ^3,1 ] Д ₇⁺⁺⁺ *	[3 ^5,3,1 ] Е ₇⁺⁺⁺ *	[3 ^6,2,1 ] Е ₁₀ = * $E_{8}^{++}={\overline {T}}_{9}$
11									[3 ^7,2,1 ] Э ₁₁ =Э ₈⁺⁺⁺ *
Det( $М н$ )	7(7− н )	2(7− н )	4(7− н )	3(7− н )	8(8− н )	2(8− n )	4(8− н )	2(8− n )	9− н

Геометрическое складывание

Конечные и аффинные складчатости ^[7]
φ _A : A _Γ → A _Γ' для конечных типов
Г	Г'	Описание складывания	Диаграммы Кокстера–Дынкина
Я ₂ ( ч )	Г(ч)	Двугранное складывание
Б _н	А _2н	(Я,с _н )
Б _н	D _n+1 , A _2n-1	(А ₃ ,±ε)
Ф ₄	Е ₆	(А ₃ ,±ε)
Н ₄	Е ₈	(А ₄ ,±ε)
Н ₃	Д ₆
Н ₂	А ₄
Г ₂	А ₅	(А ₅ ,±ε)
Г ₂	Д ₄	(D ₄ ,±ε)
φ: A _Γ⁺ → A _Γ'⁺ для аффинных типов
${\tilde {A}}_{n-1}$	${\tilde {A}}_{kn-1}$	Локально тривиально
${\tilde {B}}_{n}$	${\tilde {D}}_{2n+1}$	(Я,с _н )
${\tilde {B}}_{n}$	${\tilde {D}}_{n+1}$ , ${\tilde {D}}_{2n}$	(А ₃ ,±ε)
${\tilde {C}}_{n}$	${\tilde {B}}_{n+1}$ , ${\tilde {C}}_{2n}$	(А ₃ ,±ε)
${\tilde {C}}_{n}$	${\tilde {C}}_{2n+1}$	(Я,с _н )
${\tilde {C}}_{n}$	${\tilde {A}}_{2n+1}$	(I,s _n ) и (I,s ₀ )
	${\tilde {A}}_{2n}$	(A ₃ ,ε) & (I,s ₀ )
	${\tilde {A}}_{2n-1}$	(А ₃ ,ε) и (А ₃ ,ε')
${\tilde {C}}_{n}$	${\tilde {D}}_{n+2}$	(А ₃ ,−ε) и (А ₃ ,−ε')
${\tilde {C}}_{2}$	${\tilde {D}}_{5}$	(Я,с ₁ )
${\tilde {F}}_{4}$	${\tilde {E}}_{6}$ , ${\tilde {E}}_{7}$	(А ₃ ,±ε)
${\tilde {G}}_{2}$	${\tilde {D}}_{6}$ , ${\tilde {E}}_{7}$	(А ₅ ,±ε)
	${\tilde {B}}_{3}$ , ${\tilde {F}}_{4}$	(B ₃ ,±ε)
	${\tilde {D}}_{4}$ , ${\tilde {E}}_{6}$	(D ₄ ,±ε)

(Просто зашитая) диаграмма Коксетера–Дынкина (конечная, аффинная или гиперболическая), имеющая симметрию (удовлетворяющую одному условию, приведенному ниже), может быть факторизована по симметрии, давая новую, как правило, многократно зашитую диаграмму, с помощью процесса, называемого «сворачиванием». ^[8]^[9]

Например, в D _{4 ,} складывающемся в G ₂ , ребро в G ₂ указывает из класса 3 внешних узлов (валентность 1) в класс центрального узла (валентность 3). А E ₈ складывается в 2 копии H ₄ , вторая копия масштабируется на τ . ^[10]

Геометрически это соответствует ортогональным проекциям однородных многогранников и мозаик. Примечательно, что любая конечная просто-сшитая диаграмма Коксетера–Дынкина может быть свернута в I ₂ ( h ), где h — число Коксетера , что геометрически соответствует проекции на плоскость Коксетера .

Несколько гиперболических складок

Сложные размышления

Диаграммы Коксетера–Дынкина были расширены до комплексного пространства , C ⁿ , где узлы являются унитарными отражениями периода больше 2. Узлы помечены индексом, который предполагается равным 2 для обычного действительного отражения, если оно подавлено. Коксетер записывает комплексную группу, p[q]r, как диаграмму. ^[11]

Одномерный правильный комплексный многогранник в представляется как $\mathbb {C} ^{1}$ , имеющий p вершин. Его реальное представление — правильный многоугольник , { p }. Его симметрия — _p [] или, порядок p . Генератор унитарного оператора длярассматривается как вращение на 2π $/$ p радиан против часовой стрелки , и $\mathbb {R} ^{2}$ ребро создается путем последовательного применения одного унитарного отражения. Генератор унитарного отражения для 1-политопа с p вершинами — это $e$ $2$ $π$ $i$ $/$ $p$ $= cos(2$ $π$ $/$ $p$ $) +$ $i$ $sin(2$ $π$ $/$ $p$ $)$ . Когда p = 2, генератор — это e ^$π$ⁱ = –1, то же самое, что и точечное отражение в действительной плоскости.

В более высоком многограннике _p {} илипредставляет собой p -образный элемент с 2-образным ребром, {} или, представляющий собой обычное действительное ребро между двумя вершинами.

Правильные комплексные 1-многогранники
Комплексные 1-многогранники,, представленные на плоскости Аргана как правильные многоугольники для p = 2, 3, 4, 5 и 6 с черными вершинами. Центроид вершин p показан красным. Стороны многоугольников представляют одно применение генератора симметрии, отображающее каждую вершину в следующую копию против часовой стрелки. Эти многоугольные стороны не являются ребрами многогранника, поскольку сложный 1-многогранник может не иметь ребер (он часто является сложным ребром) и содержит только вершинные элементы.

12 неприводимых групп Шепарда с их индексными соотношениями подгрупп. ^[12] Подгруппы индекса 2 связаны посредством удаления действительного отражения: _p [2 q ] ₂ → _p [ q ] _p , индекс 2. _p [4] _q → _p [ q ] _p , индекс q .	_p [4]₂ подгруппы: p=2,3,4... _p [4]₂ → [ p ], индекс p _p [4]₂ →_p []×_p [], индекс 2

Правильный комплексный многоугольник в имеет вид _p { q } _r или диаграмму Кокстера $\mathbb {C} ^{2}$ Группа симметрии правильного комплексного многоугольникане называется группой Коксетера , а вместо этого группой Шепарда , типом группы комплексного отражения . Порядок _p [ q ] _r равен . ^[13] $8/q\cdot (1/p+2/q+1/r-1)^{-2}$

Группы Шепарда ранга 2: ₂ [ q ] ₂ , _p [4] ₂ , ₃ [3] ₃ , ₃ [6] ₂ , ₃ [4] ₃ , ₄ [3] ₄ , ₃ [8] ₂ , ₄ [6] ₂ , ₄ [4] ₃ , ₃ [5] ₃ , ₅ [3] ₅ , ₃ [10] ₂ , ₅ [6] ₂ и ₅ [4] ₃ или,,,,,,,,,,,,,порядка 2 q , 2 p ² , 24, 48, 72, 96, 144, 192, 288, 360, 600, 1200 и 1800 соответственно.

Группа симметрии _{p ₁} [ q ] _{p ₂} представлена 2 генераторами R ₁ , R ₂ , где:

Р 1 п 1 = Р 2 п 2 = Я

.

Если q четное, (R ₂ R ₁ ) ^{q /2} = (R ₁ R ₂ ) ^{q /2} . Если q нечетное, (R ₂ R ₁ ) ^(q-1)/2 R ₂ = (R ₁ R ₂ ) ^{( q -1)/2} R ₁ . Когда q нечетное, p ₁ = p ₂ .

Группа $\mathbb {C} ^{3}$ или [1 1 1] ^p определяется 3 периодами 2 унитарных отражений {R ₁ , R ₂ , R ₃ }:

Р ₁² = Р ₁² = Р ₃² = (Р ₁ Р ₂ ) ³ = (Р ₂ Р ₃ ) ³ = (Р ₃ Р ₁ ) ³ = (Р ₁ Р ₂ Р ₃ Р ₁ ) ^р = 1.

Период p можно рассматривать как двойной поворот в реальном времени . $\mathbb {R} ^{4}$

Похожая группа $\mathbb {C} ^{3}$ или [1 1 1] ^(p) определяется 3 периодами 2 унитарных отражений {R ₁ , R ₂ , R ₃ }:

Р ₁² = Р ₁² = Р ₃² = (Р ₁ Р ₂ ) ³ = (Р ₂ Р ₃ ) ³ = (Р ₃ Р ₁ ) ³ = (Р ₁ Р ₂ Р ₃ Р ₂ ) ^р = 1.

Смотрите также

Ссылки

^ Холл, Брайан С. (2003), Группы Ли, алгебры Ли и представления: элементарное введение , Springer, ISBN 978-0-387-40122-5
^ Боровик, Александр; Боровик, Анна (2010). Зеркала и отражения . Springer. С. 118–119.
^ Коксетер, Правильные многогранники , (3-е издание, 1973), Дуврское издание, ISBN 0-486-61480-8 , сек. 7.7, с. 133, Критерий Шлефли.
^ Ланнер Ф., О комплексах с транзитивными группами автоморфизмов , Медд. Лундсский университет. Мат. Сем. [Комм. Сем. Математика. унив. Лунд], 11 (1950), 1–71.
^ Де Бюйль, Софи (2006). «Алгебры Каца-Муди в М-теории». arXiv : hep-th/0608161 .
^ Определители Картана–Грама для простых групп Ли, Ву, Альфред К. Т., Американский институт физики, ноябрь 1982 г.
^ Джон Крисп , « Инъективные отображения между группами Артина », в работе «Теория групп в Даун-Андере», Труды Специального года по геометрической теории групп (Австралийский национальный университет, Канберра, Австралия, 1996), Постскриптум, архивировано 16 октября 2005 г. в Wayback Machine , стр. 13–14, и в googlebook, Геометрическая теория групп в Даун-Андере, стр. 131.
^ Зубер, Жан-Бернард (1998). «Обобщенные диаграммы Дынкина и корневые системы и их складывание». Топологическая теория поля : 28–30. arXiv : hep-th/9707046 . Bibcode :1998tftp.conf..453Z. CiteSeerX 10.1.1.54.3122 .
^ Дешант, Пьер-Филипп; Бём, Селин; Тварок, Рейдан (2013). «Аффинные расширения некристаллографических групп Коксетера, индуцированные проекцией». Журнал математической физики . 54 (9): 093508. arXiv : 1110.5228 . Bibcode : 2013JMP....54i3508D. doi : 10.1063/1.4820441. S2CID 59469917.
^ Дешант, Пьер-Филипп (2017). «Геометрия E 8 с точки зрения Клиффорда». Advances in Applied Clifford Algebras . 27 : 397–421. doi : 10.1007/s00006-016-0675-9 .
^ Коксетер, Комплексные правильные многогранники , второе издание, (1991)
^ Коксетер, Комплексные правильные многогранники, стр. 177, Таблица III
^ Унитарные рефлексивные группы , стр.87

^ $(R_{i}\circ R_{i})^{1}={\rm {Id}}.$
^ Если тогда так и $R\perp R',$ $R'\circ R={\rm {sym}}_{R\cap R'}=R\circ R',$ $R\circ R'\circ R=R\circ R\circ R'={\rm {Id}}\circ R'=R'$ $R'\circ R\circ R'=R'\circ R'\circ R={\rm {Id}}\circ R=R.$

Дальнейшее чтение

Джеймс Э. Хамфрис , Группы отражения и группы Коксетера , Кембриджские исследования по высшей математике, 29 (1990)
Калейдоскопы: избранные произведения Х. С. М. Коксетера , под редакцией Ф. Артура Шерка, Питера МакМаллена, Энтони К. Томпсона, Азии Айвик Вайс, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1], Googlebooks [2]
- (Документ 17) Коксетер , Эволюция диаграмм Кокстера-Динкина , [Nieuw Archief voor Wiskunde 9 (1991) 233-248]
Коксетер , Красота геометрии: Двенадцать эссе , Dover Publications, 1999, ISBN 978-0-486-40919-1 (Глава 3: Конструкция Витхоффа для однородных многогранников)
Коксетер , Правильные многогранники (1963), Macmillan Company
- Правильные многогранники , Третье издание, (1973), издание Дувра, ISBN 0-486-61480-8 (Глава 5: Калейдоскоп и Раздел 11.3 Представление графами)
HSM Coxeter и WOJ Moser, Генераторы и отношения для дискретных групп, 4-е изд., Springer-Verlag, Нью-Йорк, 1980 г.
Норман Джонсон , Геометрия и преобразования , Главы 11,12,13, препринт 2011 г.
NW Johnson , R. Kellerhals , JG Ratcliffe, ST Tschantz, Размер гиперболического симплекса Коксетера , Transformation Groups, 1999, том 4, выпуск 4, стр. 329–353 [3] [4]
Норман В. Джонсон и Азия Айвик Вайс Квадратичные целые числа и группы Коксетера Архивировано 26.03.2023 в Wayback Machine PDF Can. J. Math. Том 51 (6), 1999, стр. 1307–1336

Внешние ссылки

Вайсштейн, Эрик В. «Диаграмма Коксетера–Дынкина». MathWorld .
Дискуссия по истории диаграмм Коксетера, проведенная Коксетером и Дынкиным в Торонто , Канада , октябрь 1978 г.; Коллекция интервью с математиками Юджина Дынкина, Библиотека Корнелльского университета .

[1] Холл, Брайан С. (2003), Группы Ли, алгебры Ли и представления: элементарное введение , Springer, ISBN 978-0-387-40122-5

[3] Боровик, Александр; Боровик, Анна (2010). Зеркала и отражения . Springer. С. 118–119.

[4] Коксетер, Правильные многогранники , (3-е издание, 1973), Дуврское издание, ISBN 0-486-61480-8 , сек. 7.7, с. 133, Критерий Шлефли.

[5] Ланнер Ф., О комплексах с транзитивными группами автоморфизмов , Медд. Лундсский университет. Мат. Сем. [Комм. Сем. Математика. унив. Лунд], 11 (1950), 1–71.

[7] Де Бюйль, Софи (2006). «Алгебры Каца-Муди в М-теории». arXiv : hep-th/0608161 .

[8] Определители Картана–Грама для простых групп Ли, Ву, Альфред К. Т., Американский институт физики, ноябрь 1982 г.

[9] Джон Крисп , « Инъективные отображения между группами Артина », в работе «Теория групп в Даун-Андере», Труды Специального года по геометрической теории групп (Австралийский национальный университет, Канберра, Австралия, 1996), Постскриптум, архивировано 16 октября 2005 г. в Wayback Machine , стр. 13–14, и в googlebook, Геометрическая теория групп в Даун-Андере, стр. 131.

[10] Зубер, Жан-Бернард (1998). «Обобщенные диаграммы Дынкина и корневые системы и их складывание». Топологическая теория поля : 28–30. arXiv : hep-th/9707046 . Bibcode :1998tftp.conf..453Z. CiteSeerX 10.1.1.54.3122 .

[11] Дешант, Пьер-Филипп; Бём, Селин; Тварок, Рейдан (2013). «Аффинные расширения некристаллографических групп Коксетера, индуцированные проекцией». Журнал математической физики . 54 (9): 093508. arXiv : 1110.5228 . Bibcode : 2013JMP....54i3508D. doi : 10.1063/1.4820441. S2CID 59469917.

[12] Дешант, Пьер-Филипп (2017). «Геометрия E 8 с точки зрения Клиффорда». Advances in Applied Clifford Algebras . 27 : 397–421. doi : 10.1007/s00006-016-0675-9 .

[13] Коксетер, Комплексные правильные многогранники , второе издание, (1991)

[14] Коксетер, Комплексные правильные многогранники, стр. 177, Таблица III

[15] Унитарные рефлексивные группы , стр.87

[2] $(R_{i}\circ R_{i})^{1}={\rm {Id}}.$

[6] Если тогда так и $R\perp R',$ $R'\circ R={\rm {sym}}_{R\cap R'}=R\circ R',$ $R\circ R'\circ R=R\circ R\circ R'={\rm {Id}}\circ R'=R'$ $R'\circ R\circ R'=R'\circ R'\circ R={\rm {Id}}\circ R=R.$