Ф 4 (математика)
Алгебраическая структура → Теория групп Теория групп |
---|
Группы Ли и алгебры Ли |
---|
В математике , 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-ячейки с центром в начале координат.
Корни 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 Полиномиальный инвариант
[ редактировать ]Так же, как 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 с соответствующей матрицей проекции.
См. также
[ редактировать ]- 24-ячеечный
- Алгебра Альберта
- Самолет Кэли
- Диаграмма Дынкина
- Фундаментальное представление
- Группа «Простая ложь»
Ссылки
[ редактировать ]- Адамс, Дж. Франк (1996). Лекции об исключительных группах Ли . Чикагские лекции по математике. Издательство Чикагского университета . ISBN 978-0-226-00526-3 . МР 1428422 .
- Джон Баэз , Октонионы , Раздел 4.2: F 4 , Бюлл. амер. Математика. Соц. 39 (2002), 145-205 . Интернет-версия HTML по адресу http://math.ucr.edu/home/baez/octonions/node15.html .
- Шевалле С., Шафер Р.Д. (февраль 1950 г.). «Исключительно простые алгебры Ли F(4) и E(6)» . Учеб. Натл. акад. наук. США . 36 (2): 137–41. Бибкод : 1950PNAS...36..137C . дои : 10.1073/pnas.36.2.137 . ПМЦ 1063148 . ПМИД 16588959 .
- Джейкобсон, Натан (1 июня 1971 г.). Исключительные алгебры Ли (1-е изд.). ЦРК Пресс. ISBN 0-8247-1326-5 .