Jump to content

Ф 4 (математика)

(Перенаправлено с решетки F4 )

В математике , F 4 является группой Ли а также ее алгеброй Ли f 4 . Это одна из пяти исключительных простых групп Ли . F 4 имеет ранг 4 и размерность 52. Компактная форма односвязна, а ее внешняя группа автоморфизмов является тривиальной группой . Его фундаментальное представление 26-мерное.

Компактная вещественная форма F 4 представляет собой группу изометрий 16-мерного риманова многообразия, известного как октонионная проективная плоскость OP. 2 . Это можно систематически увидеть, используя конструкцию, известную как магический квадрат , предложенную Гансом Фройденталем и Жаком Титсом .

Существует 3 реальные формы : компактная, разделенная и третья. Это группы изометрий трех вещественных алгебр Альберта .

Алгебра Ли F 4 может быть построена добавлением 16 генераторов, преобразующихся как спинор 36-мерную алгебру Ли в (9), по аналогии с конструкцией E 8 .

В старых книгах и статьях F 4 иногда обозначается как E 4 .

Диаграмма Дынкина

[ редактировать ]

Диаграмма Дынкина для F 4 : .

Группа Вейля/Коксетера

[ редактировать ]

Ее Вейля / Коксетера группа G = W (F 4 ) является группой симметрии : 24-клетки это разрешимая группа порядка 1152. Она имеет минимальную точную степень µ ( G ) = 24 , [1] что реализуется действием на 24-клетку .

Матрица Картана

[ редактировать ]

Ф 4 Решетка

[ редактировать ]

F 4 Решетка представляет собой четырехмерную объемноцентрированную кубическую решетку (т.е. объединение двух гиперкубических решеток , каждая из которых лежит в центре другой). Они образуют кольцо, называемое кольцом кватернионов Гурвица . 24 кватерниона Гурвица нормы 1 образуют вершины 24-ячейки с центром в начале координат.

24 вершины 24-клеточной ячейки (красные) и 24 вершины ее двойственной ячейки (желтые) представляют 48 корневых векторов F 4 в этой на плоскость Коксетера. проекции

48 корневых векторов F 4 можно найти как вершины 24-ячейки в двух двойственных конфигурациях, представляющих вершины дисфеноидальной 288-ячейки, если длины ребер 24-ячеек равны:

24-клеточные вершины:

  • 24 корня на (±1, ±1, 0, 0), перестановка положений координат

Двойные 24-клеточные вершины:

  • 8 корней на (±1, 0, 0, 0), перестановка координат
  • 16 корней на (±1/2, ±1/2, ±1/2, ±1/2).

Простые корни

[ редактировать ]

Один выбор простых корней для F 4 , , задается строками следующей матрицы:

Диаграмма Хассе для корневого ЧУ-множества F 4 показана внизу справа.

Диаграмма Хассе F 4 корневого ЧУМ с метками ребер, обозначающими добавленное простое положение корня

F 4 Полиномиальный инвариант

[ редактировать ]

Так же, как O( n ) — это группа автоморфизмов, которые сохраняют квадратичные многочлены x 2 + и 2 + ... инвариант, F 4 — группа автоморфизмов следующего набора из 3 многочленов от 27 переменных. (Первую можно легко заменить на две другие, получив 26 переменных).

Где x , y , z имеют действительные значения, а X , Y , Z имеют значения октонионов. Другой способ записи этих инвариантов — это (комбинации) Tr( M ), Tr( M 2 ) и Tr( M 3 ) эрмитовой октонионной матрицы :

Набор полиномов определяет 24-мерную компактную поверхность.

Представительства

[ редактировать ]

Все характеры конечномерных представлений вещественных и комплексных алгебр Ли и групп Ли задаются формулой характеров Вейля . Размеры наименьших неприводимых представлений (последовательность A121738 в OEIS ):

1, 26, 52, 273, 324, 1053 (дважды), 1274, 2652, 4096, 8424, 10829, 12376, 16302, 17901, 19278, 19448, 29172, 34749, 76076, 1, 100776, 106496, 107406, 119119 , 160056 (дважды), 184756, 205751, 212992, 226746, 340119, 342056, 379848, 412776, 420147, 627912...

52-мерное представление является присоединенным представлением , а 26-мерное — бесследовой частью действия F 4 на исключительной алгебре Альберта размерности 27.

Существуют два неизоморфных неприводимых представления размерностей 1053, 160056, 4313088 и т. д. Фундаментальными являются представления размерностей 52, 1274, 273, 26 (соответствующие четырем узлам диаграммы Дынкина в таком порядке, что двойная стрелка точки со второго по третий).

Ниже показаны вложения максимальных подгрупп F 4 до размерности 273 с соответствующей матрицей проекции.

Вложения максимальных подгрупп F4 до размерности 273 с соответствующей матрицей проектирования.

См. также

[ редактировать ]
  1. ^ Сондерс, Нил (2014). «Минимальные точные степени перестановки для неприводимых групп Кокстера и бинарных многогранных групп». arXiv : 0812.0182 [ math.GR ].
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 00c773d0119a388db6ac3a350380a0c1__1723045140
URL1:https://arc.ask3.ru/arc/aa/00/c1/00c773d0119a388db6ac3a350380a0c1.html
Заголовок, (Title) документа по адресу, URL1:
F4 (mathematics) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)