Корневая система
Группы Ли и алгебры Ли |
---|
В математике корневая система — это конфигурация векторов в евклидовом пространстве, удовлетворяющая определённым геометрическим свойствам. Это понятие является фундаментальным в теории групп Ли и алгебр Ли , особенно в теории классификации и представлений полупростых алгебр Ли . Поскольку группы Ли (и некоторые аналоги, такие как алгебраические группы ) и алгебры Ли стали важными во многих областях математики в течение двадцатого века, кажущаяся особая природа корневых систем скрывает количество областей, в которых они применяются. Кроме того, схема классификации корневых систем с помощью диаграмм Дынкина встречается в разделах математики, не имеющих явной связи с теорией Ли (например, в теории особенностей ). Наконец, корневые системы важны сами по себе, как и в теории спектральных графов . [ 1 ]
Определения и примеры
[ редактировать ]примера рассмотрим шесть векторов в двумерном евклидовом пространстве R В качестве первого 2 , как показано на изображении справа; назовите их корнями . Эти векторы охватывают все пространство. Если рассматривать линию, перпендикулярную любому корню, скажем β , то отражение R 2 в этой строке отправляет любой другой корень, скажем α , в другой корень. При этом корень, которому оно отправляется, равен α + nβ , где n — целое число (в данном случае n равно 1). Эти шесть векторов удовлетворяют следующему определению и, следовательно, образуют корневую систему; этот известен как A 2 .
Определение
[ редактировать ]Пусть E — конечномерное евклидово векторное пространство со стандартным евклидовым скалярным произведением , обозначаемым . Корневая система в E — это конечное множество ненулевых векторов (называемых корнями ), которые удовлетворяют следующим условиям: [ 2 ] [ 3 ]
- Корни простираются Е. на
- Единственные скалярные кратные корня которые принадлежат являются себя и .
- Для каждого корня , набор замкнут при отражении через гиперплоскость, перпендикулярную .
- ( Целостность ) Если и корни в , то проекция на линию через является целым числом или полуцелым кратным .
Эквивалентный способ записи условий 3 и 4 следующий:
- Для любых двух корней , набор содержит элемент
- Для любых двух корней , число является целым числом .
Некоторые авторы включают в определение корневой системы только условия 1–3. [ 4 ] В этом контексте корневая система, которая также удовлетворяет условию целостности, известна как кристаллографическая корневая система . [ 5 ] Другие авторы опускают условие 2; тогда корневые системы, удовлетворяющие условию 2, называют редуцированными . [ 6 ] В данной статье все корневые системы предполагаются редуцированными и кристаллографическими.
Ввиду свойства 3 условие целочисленности эквивалентно утверждению, что β и его отражение σ α ( β ) отличаются на целое число, кратное α . Обратите внимание, что оператор определяемый свойством 4, не является внутренним продуктом. Оно не обязательно симметрично и линейно только по первому аргументу.
Корневая система |
Корневая система |
Корневая система |
Корневая система |
Корневая система |
Корневая система |
Ранг корневой системы это размерность E. Φ — Две корневые системы можно объединить, рассматривая евклидовы пространства, которые они охватывают, как взаимно ортогональные подпространства общего евклидова пространства. , например системы A2 , , B2 Корневая система , и G2 которая не возникает в результате такой комбинации изображенные справа, называется неприводимой .
системы корней ( E1 если , Φ1 ) и ( E2 → , Φ2 ) называются изоморфными, существует обратимое линейное преобразование Две E1 E2 , переводящее Φ1 в Φ2 такое , что для каждой пары корней число сохраняется. [ 7 ]
The корневая решетка системы корней Φ — это Z -подмодуль модуля E, порожденный Φ. Это решетка в E .
Группа Вейля
[ редактировать ]Группа группой изометрий , E порожденная отражениями через гиперплоскости , связанные с корнями Φ, называется Вейля Φ. Поскольку группа Вейля действует точно на конечном множестве Φ, она всегда конечна. Плоскости отражения — это гиперплоскости, перпендикулярные корням, обозначенные для пунктирными линиями на рисунке ниже. Группа Вейля — это группа симметрии равностороннего треугольника, состоящего из шести элементов. В этом случае группа Вейля не является полной группой симметрии корневой системы (например, поворот на 60 градусов является симметрией корневой системы, но не является элементом группы Вейля).
Оцените один пример
[ редактировать ]Существует только одна корневая система ранга 1, состоящая из двух ненулевых векторов. . Эта корневая система называется .
Расположите два примера
[ редактировать ]В ранге 2 имеются четыре возможности, соответствующие , где . [ 8 ] На рисунке справа показаны эти возможности, но с некоторыми дублированиями: изоморфен и изоморфен .
Обратите внимание, что корневая система не определяется решеткой, которую она порождает: и оба создают квадратную решетку, а и оба порождают шестиугольную решетку .
Если Φ — система корней в E , а S — подпространство в E, на Ψ = Φ ∩ S , то Ψ — система корней в S. натянутое Таким образом, исчерпывающий список четырех корневых систем ранга 2 показывает геометрические возможности любых двух корней, выбранных из корневой системы произвольного ранга. В частности, два таких корня должны встретиться под углом 0, 30, 45, 60, 90, 120, 135, 150 или 180 градусов.
Системы корней, возникающие из полупростых алгебр Ли
[ редактировать ]Если — комплексная полупростая алгебра Ли и является подалгеброй Картана , мы можем построить систему корней следующим образом. Мы говорим, что является корнем относительно если и существует некоторый такой, что для всех . Можно показать [ 9 ] что существует внутренний продукт, для которого набор корней образует корневую систему. Корневая система является основным инструментом анализа структуры и классифицировать его представления. (См. раздел ниже, посвященный системам корней и теории Ли.)
История
[ редактировать ]Понятие корневой системы было первоначально введено Вильгельмом Киллингом примерно в 1889 году (на немецком языке Wurzelsystem [ 10 ] ). [ 11 ] Он использовал их в своей попытке классифицировать все простые алгебры Ли над полем комплексных чисел . Киллинг первоначально допустил ошибку в классификации, перечислив две исключительные корневые системы 4-го ранга, хотя на самом деле существует только одна, теперь известная как F 4 . Позже Картан исправил эту ошибку, показав, что две корневые системы Киллинга изоморфны. [ 12 ]
Киллинг исследовал структуру алгебры Ли. , рассматривая то, что сейчас называется подалгеброй Картана . Затем он изучил корни характеристического многочлена , где . Здесь корень рассматривается как функция , или даже как элемент двойственного векторного пространства . Этот набор корней образует корневую систему внутри , как определено выше, где внутренний продукт представляет собой форму Киллинга . [ 11 ]
Элементарные следствия аксиом корневой системы
[ редактировать ]
Косинус угла между двумя корнями ограничивается половиной квадратного корня из положительного целого числа. Это потому, что и оба являются целыми числами, по предположению, и
С , единственно возможные значения для являются и , что соответствует углам 90°, 60° или 120°, 45° или 135°, 30° или 150° и 0° или 180°. Условие 2 гласит, что никакие скалярные числа α, кроме 1 и −1, не могут быть корнями, поэтому 0 или 180 °, которые соответствовали бы 2 α или −2 α , отсутствуют. На диаграмме справа показано, что угол 60° или 120° соответствует корням одинаковой длины, а угол 45° или 135° соответствует соотношению длин а угол 30° или 150° соответствует соотношению длин .
Таким образом, вот единственные возможности для каждой пары корней. [ 13 ]
- Угол 90 градусов; в этом случае соотношение длин не ограничено.
- Угол 60 или 120 градусов, с коэффициентом длины 1.
- Угол 45 или 135 градусов, с соотношением длин .
- Угол 30 или 150 градусов, с соотношением длин .
Положительные корни и простые корни
[ редактировать ]Имея корневую систему мы всегда можем выбрать (разными способами) набор положительных корней . Это подмножество из такой, что
- Для каждого корня ровно один из корней , содержится в .
- Для любых двух различных такой, что это корень, .
Если множество положительных корней выбраны элементы называются отрицательными корнями . Набор положительных корней можно построить, выбрав гиперплоскость не содержащий никакого корня и настроек чтобы все корни лежали на фиксированной стороне . Более того, таким образом возникает любое множество положительных корней. [ 14 ]
Элемент называется простым корнем (также фундаментальным корнем ), если его нельзя записать в виде суммы двух элементов . (Набор простых корней также называют базой для .) Набор простых корней является основой со следующими дополнительными специальными свойствами: [ 15 ]
- Каждый корень представляет собой линейную комбинацию элементов с целыми коэффициентами.
- Для каждого , коэффициенты в предыдущем пункте либо все неотрицательные, либо все неположительные.
Для каждой корневой системы существует много различных вариантов выбора набора положительных корней - или, что то же самое, простых корней - но любые два набора положительных корней различаются действием группы Вейля. [ 16 ]
Двойная корневая система, корни и цельные элементы
[ редактировать ]Двойная корневая система
[ редактировать ]Если Φ — система корней в E , то корень α ∨ корня α определяется формулой
Множество кокорней также образует корневую систему Φ ∨ в E , называемой двойной корневой системой (или иногда обратной корневой системой ). По определению, α ∨ ∨ = α, так что Φ — двойственная система корней к Φ ∨ . Решетка в E, натянутая на Φ ∨ называется решеткой кокорней . И Φ, и Φ ∨ имеют одну и ту же группу Вейля W и для s из W ,
Если ∆ — множество простых корней для Φ, то ∆ ∨ есть набор простых корней для Φ ∨ . [ 17 ]
В описанной ниже классификации корневые системы типа и наряду с исключительной корневой системой все самодвойственны, что означает, что двойственная корневая система изоморфна исходной корневой системе. Напротив, и корневые системы двойственны друг другу, но не изоморфны (за исключением случаев, когда ).
Неотъемлемые элементы
[ редактировать ]Вектор в E называется интегралом [ 18 ] если его внутренний продукт с каждым кокорнем является целым числом: Поскольку набор с формирует основу для двойной корневой системы, чтобы убедиться, что является целым, то достаточно проверить приведенное выше условие для .
Множество целых элементов называется решеткой весов, ассоциированной с данной корневой системой. Этот термин происходит из теории представлений полупростых алгебр Ли , где целые элементы образуют возможные веса конечномерных представлений.
Определение корневой системы гарантирует, что сами корни являются целостными элементами. Таким образом, всякая целочисленная линейная комбинация корней также является целой. Однако в большинстве случаев будут целые элементы, которые не являются целочисленными комбинациями корней. То есть в общем случае решетка весов не совпадает с решеткой корней.
Классификация корневых систем по диаграммам Дынкина
[ редактировать ]Корневая система неприводима, если ее нельзя разбить на объединение двух собственных подмножеств. , такой, что для всех и .
Неприводимым корневым системам соответствуют определенные графы — диаграммы Дынкина имени Евгения Дынкина . Классификация этих графов является простым вопросом комбинаторики и приводит к классификации неприводимых корневых систем.
Построение диаграммы Дынкина
[ редактировать ]Учитывая систему корней, выберите набор простых корней Δ , как в предыдущем разделе. Вершины соответствующей диаграммы Дынкина соответствуют корням из Δ. Ребра между вершинами рисуются следующим образом, в соответствии с углами. (Обратите внимание, что угол между простыми корнями всегда не менее 90 градусов.)
- Нет края, если векторы ортогональны,
- Ненаправленное одиночное ребро, если они составляют угол 120 градусов,
- Направленное двойное ребро, если они составляют угол 135 градусов, а
- Направленное тройное ребро, если они составляют угол 150 градусов.
Термин «направленное ребро» означает, что двойные и тройные ребра отмечены стрелкой, указывающей в сторону более короткого вектора. (Представление о стрелке как о знаке «больше» проясняет, в какую сторону должна указывать стрелка.)
Заметим, что исходя из отмеченных выше элементарных свойств корней, правила построения диаграммы Дынкина можно описать и следующим образом. Нет ребра, если корни ортогональны; для неортогональных корней - одинарное, двойное или тройное ребро в зависимости от того, равно ли отношение длин более длинного к более короткому 1, , . В случае корневая система, например, имеется два простых корня под углом 150 градусов (с соотношением длин ). Таким образом, диаграмма Дынкина имеет две вершины, соединенные тройным ребром, со стрелкой, указывающей от вершины, связанной с более длинным корнем, к другой вершине. (В этом случае стрелка немного избыточна, поскольку диаграмма эквивалентна независимо от направления стрелки.)
Классификация корневых систем
[ редактировать ]Хотя данная корневая система имеет более одного возможного набора простых корней, группа Вейля действует транзитивно при таком выборе. [ 19 ] Следовательно, диаграмма Дынкина не зависит от выбора простых корней; это определяется самой корневой системой. И наоборот, имея две корневые системы с одинаковой диаграммой Дынкина, можно сопоставить корни, начиная с корней в основании, и показать, что эти системы на самом деле одинаковы. [ 20 ]
Таким образом, проблема классификации корневых систем сводится к проблеме классификации возможных диаграмм Дынкина. Корневая система неприводима тогда и только тогда, когда ее диаграммы Дынкина связны. [ 21 ] Возможные схемы подключения указаны на рисунке. Нижние индексы указывают количество вершин диаграммы (а значит, и ранг соответствующей неприводимой корневой системы).
Если — корневая система, диаграмма Дынкина для двойной корневой системы получается из диаграммы Дынкина сохраняя все те же вершины и ребра, но меняя направления всех стрелок на противоположные. Таким образом, из их диаграмм Дынкина мы видим, что и двойственны друг другу.
Вейль Чемберс и группа Вейля
[ редактировать ]Если является корневой системой, мы можем рассматривать гиперплоскость, перпендикулярную каждому корню . Напомним, что обозначает отражение относительно гиперплоскости и что группа Вейля — это группа преобразований созданный всеми х. Дополнение множества гиперплоскостей несвязно, и каждая компонента связности называется камерой Вейля . Если мы зафиксировали определенный набор простых корней Δ, мы можем определить фундаментальную камеру Вейля, связанную с Δ, как набор точек такой, что для всех .
Поскольку размышления сохранять , они также сохраняют множество гиперплоскостей, перпендикулярных корням. Таким образом, каждый элемент группы Вейля переставляет местами камеры Вейля.
На рисунке показан случай корневая система. «Гиперплоскости» (в данном случае одномерные), ортогональные корням, обозначены пунктирными линиями. Шесть секторов по 60 градусов — это камеры Вейля, а заштрихованная область — это основная камера Вейля, связанная с указанным основанием.
Основная общая теорема о камерах Вейля такова: [ 22 ]
- Теорема : Группа Вейля действует свободно и транзитивно в камерах Вейля. Таким образом, порядок группы Вейля равен числу камер Вейля.
В Например, группа Вейля состоит из шести элементов и шести камер Вейля.
Связанный результат: [ 23 ]
- Теорема : Зафиксируйте камеру Вейля. . Тогда для всех , орбита Вейля содержит ровно одну точку замыкания из .
Корневые системы и теория Ли
[ редактировать ]Неприводимые корневые системы классифицируют ряд связанных объектов теории Ли, в частности следующие:
- простые комплексные алгебры Ли (см. обсуждение систем корней, возникающих из полупростых алгебр Ли выше),
- односвязные комплексные группы Ли, которые являются простыми по модулю центрами, и
- односвязные компактные группы Ли , являющиеся простыми по модулю центрами.
В каждом случае корни — это ненулевые веса присоединенного представления .
Теперь мы дадим краткое указание на то, как неприводимые системы корней классифицируют простые алгебры Ли над , следуя аргументам Хамфриса. [ 24 ] Предварительный результат гласит, что полупростая алгебра Ли является простой тогда и только тогда, когда соответствующая система корней неприводима. [ 25 ] Поэтому мы ограничим внимание неприводимыми системами корней и простыми алгебрами Ли.
- Прежде всего, мы должны установить, что для каждой простой алгебры имеется только одна корневая система. Это утверждение следует из того, что подалгебра Картана в единственна с точностью до автоморфизма, [ 26 ] откуда следует, что любые две подалгебры Картана дают изоморфные корневые системы.
- Далее нам нужно показать, что для каждой неприводимой системы корней может существовать не более одной алгебры Ли, т. е. что система корней определяет алгебру Ли с точностью до изоморфизма. [ 27 ]
- Наконец, мы должны показать, что каждой неприводимой системе корней соответствует соответствующая простая алгебра Ли. Это утверждение очевидно для систем корней типов A, B, C и D, для которых ассоциированные алгебры Ли являются классическими алгебрами Ли . Тогда можно будет анализировать исключительные алгебры в индивидуальном порядке. В качестве альтернативы можно разработать систематическую процедуру построения алгебры Ли из корневой системы, используя соотношения Серра . [ 28 ]
О связях между исключительными системами корней и их группами Ли и алгебрами Ли см. E 8 , E 7 , E 6 , F 4 и G 2 .
Свойства неприводимых корневых систем
[ редактировать ]Ф | | Ф | | | Ф < | | я | Д | | В | |
---|---|---|---|---|---|
А н ( п ≥ 1) | п ( п + 1) | п + 1 | ( п + 1)! | ||
Бн ≥ ( n 2) | 22н 2 | 22н | 2 | 2 | 2 н н ! |
С н ( п ≥ 3) | 22н 2 | 2n - 1 ( п ) | 2 п -1 | 2 | 2 н н ! |
Д н ( п ≥ 4) | 2n - 1 ( п ) | 4 | 2 п -1 н ! | ||
EЕ6 | 72 | 3 | 51840 | ||
E 7 | 126 | 2 | 2903040 | ||
EЕ8 | 240 | 1 | 696729600 | ||
FF4 | 48 | 24 | 4 | 1 | 1152 |
Г 2 | 12 | 6 | 3 | 1 | 12 |
Неприводимые корневые системы названы в соответствии с соответствующими связными диаграммами Дынкина. Существует четыре бесконечных семейства (An , Bn , Cn и Dn , называемые классическими корневыми системами ) и пять исключительных случаев ( исключительные корневые системы ). Нижний индекс указывает ранг корневой системы.
В неприводимой корневой системе может быть не более двух значений длины ( α , α ) 1/2 , соответствующие коротким и длинным корням. Если все корни имеют одинаковую длину, они по определению считаются длинными, а корневая система называется просто ажурной ; это происходит в случаях A, D и E. Любые два корня одинаковой длины лежат в одной и той же орбите группы Вейля. В непростых случаях B, C, G и F решетка корней натянута на короткие корни, а длинные корни натянуты на подрешетку, инвариантную относительно группы Вейля, равную r 2 /2 раза больше решетки кокорней, где r — длина длинного корня.
В соседней таблице | Φ < | обозначает количество коротких корней, I обозначает индекс в решетке корней подрешетки, порожденной длинными корнями, D обозначает определитель матрицы Картана и | Вт | обозначает порядок группы Вейля .
Явное построение неприводимых корневых систем.
[ редактировать ]н
[ редактировать ]и 1 | eе2 | 3 | 4 | |
---|---|---|---|---|
1 | 1 | −1 | 0 | 0 |
2 | 0 | 1 | −1 | 0 |
3 | 0 | 0 | 1 | −1 |
Пусть E — подпространство в R п +1 для которых сумма координат равна 0, и пусть Φ - набор векторов в E длины √ 2 , которые являются целыми векторами, т. е. имеют целые координаты в R п +1 . Такой вектор должен иметь все координаты, кроме двух, равных 0, одну координату, равную 1, и одну, равную -1, поэтому существует n 2 + n корней всего. Одним из вариантов простых корней, выраженных в стандартном базисе, является α i = e i − e i +1 для 1 ≤ i ≤ n .
Отражение аналогично σi перпендикулярную через гиперплоскость, αi , -й перестановке соседних i - й и ( i +1) координат . Такой транспозиции генерируют полную группу перестановок . Для соседних простых корней σ i ( α i +1 ) = α i +1 + α i = σ i +1 ( α i ) = α i + α i +1 , то есть отражение эквивалентно добавлению числа, кратного 1; но отражение простого корня перпендикулярно несмежному простому корню оставляет его неизменным, отличаясь кратно 0.
Решетку корней An An , то есть решетку, порожденную корнями проще , всего описать как набор целочисленных векторов в R п +1 сумма компонентов которого равна нулю.
Корневая решетка A 2 представляет собой расположение вершин треугольной мозаики .
Корневая решетка А 3 гранецентрированная известна кристаллографам как кубическая (или кубическая плотноупакованная ) решетка. [ 29 ] Это расположение вершин тетраэдрически-октаэдрических сот .
Корневую систему А 3 (как и другие корневые системы третьего ранга) можно смоделировать в конструкторе Zometool . [ 30 ]
В общем, An корневая решетка — это расположение вершин n -мерной симплициальной соты .
Б н
[ редактировать ]и 1 | eе2 | 3 | 4 | |
---|---|---|---|---|
1 | 1 | −1 | 0 | 0 |
2 | 0 | 1 | −1 | 0 |
3 | 0 | 0 | 1 | −1 |
4 | 0 | 0 | 0 | 1 |
Пусть Е = R н , и пусть Φ состоит из всех целых векторов из E длины 1 или √ 2 . Общее число корней равно 2 n 2 . Одним из вариантов простых корней является α i = e i – e i +1 для 1 ≤ i ≤ n – 1 (вышеупомянутый выбор простых корней для A n −1 ) и более короткий корень α n = e n .
Отражение σ n через гиперплоскость, перпендикулярную короткому корню α n, является, конечно, просто отрицанием n- й координаты. длинного простого корня αn − 1 σn − 1 ( αn Для ) = + ) αn − 1 , но для отражения, перпендикулярного короткому корню, σn = ( αn − 1 αn αn − 1 + 2 α n , разница кратна 2 вместо 1.
Решетка корней Bn Bn , то есть решетка, порожденная корнями , состоит из всех целочисленных векторов.
B 1 изоморфен A 1 посредством масштабирования на √ 2 и, следовательно, не является отдельной корневой системой.
С н
[ редактировать ]и 1 | eе2 | 3 | 4 | |
---|---|---|---|---|
1 | 1 | −1 | 0 | 0 |
2 | 0 | 1 | −1 | 0 |
3 | 0 | 0 | 1 | −1 |
4 | 0 | 0 | 0 | 2 |
Пусть Е = R н , и пусть Φ состоит из всех целых векторов из E длины √ 2 вместе со всеми векторами вида 2 λ , где λ — целочисленный вектор длины 1. Общее число корней равно 2 n 2 . Один из вариантов простых корней: α i = e i − e i +1 для 1 ≤ i ≤ n − 1 (вышеупомянутый выбор простых корней для A n −1 ), и более длинный корень α n = 2 e n . Отражение σ n ( α n −1 ) = α n −1 + α n , но σ n −1 ( α n ) = α n + 2 α n −1 .
Решетка корней C n , то есть решетка, порожденная корнями C n , состоит из всех целочисленных векторов, сумма компонентов которых дает четное целое число.
C 2 изоморфен B 2 посредством масштабирования на √ 2 и поворота на 45 градусов и, следовательно, не является отдельной корневой системой.
Д н
[ редактировать ]и 1 | eе2 | 3 | 4 | |
---|---|---|---|---|
1 | 1 | −1 | 0 | 0 |
2 | 0 | 1 | −1 | 0 |
3 | 0 | 0 | 1 | −1 |
4 | 0 | 0 | 1 | 1 |
Пусть Е = R н , и пусть Φ состоит из всех целых векторов из E длины √ 2 . Общее количество корней равно 2 n ( n − 1) . Одним из вариантов простых корней является α i = e i − e i +1 для 1 ≤ i ≤ n − 1 (вышеупомянутый выбор простых корней для A n −1 ) вместе с α n = e n −1 + e n .
Отражение через гиперплоскость, перпендикулярную α n, аналогично транспонированию и отрицанию соседних n -й и ( n − 1)-й координат. Любой простой корень и его отражение, перпендикулярное другому простому корню, отличаются от второго корня кратным 0 или 1, а не большим кратным.
Решетка корней D n , то есть решетка, порожденная корнями D n , состоит из всех целочисленных векторов, сумма компонентов которых дает четное целое число. Это то же самое, что корней Cn решетка .
Корни Dn диаграммы выражаются как вершины выпрямленного n - ортоплекса , Кокстера-Дынкина : ... . 2 − n ( n 1) вершин находятся в середине ребер n -ортоплекса.
D 3 совпадает с A 3 и поэтому не является отдельной корневой системой. Двенадцать корневых векторов D 3 выражаются как вершины , конструкция более низкой симметрии кубооктаэдра .
D 4 обладает дополнительной симметрией, называемой тройственностью . Двадцать четыре корневых вектора D 4 выражаются как вершины , конструкция с более низкой симметрией 24-элементного .
E 6 , E 7 , E 8
[ редактировать ]72 вершины из 1 22 представляют корневые векторы E 6 (Зеленые узлы удвоены в этой проекции плоскости Кокстера E6) |
126 вершин из 2 31 представляют собой корневые векторы E 7. |
240 вершин из 4 21 представляют корневые векторы E 8 |
- Корневая система E 8 — это любой набор векторов из R 8 что соответствует следующему набору:
Корневая система насчитывает 240 корней. Только что перечисленный набор представляет собой набор векторов длины √ 2 в корневой решетке E8, также известной как решетка E8 или Γ 8 . Это набор точек в R 8 такой, что:
- все координаты являются целыми числами или все координаты являются полуцелыми числами (смесь целых и полуцелых чисел не допускается), и
- сумма восьми координат является четным целым числом .
Таким образом,
- Корневая система E7 перпендикулярных — это набор векторов из , E8 фиксированному корню E8 из . Корневая система Е 7 насчитывает 126 корней.
- Корневая система E 6 не является набором векторов из E 7 , перпендикулярных фиксированному корню из E 7 , действительно, можно получить D 6 таким образом . Однако E6 , подсистемой E8 корням перпендикулярной двум соответствующим образом выбранным E8 является . Корневая система Е 6 имеет 72 корня.
1 | −1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | −1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | −1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | −1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | −1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | −1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
− 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 |
Альтернативное описание решетки E8 , которое иногда бывает удобным, состоит в том, что множество Γ'8 всех точек в R 8 такой, что
- все координаты целые числа, а сумма координат четная, или
- все координаты полуцелые, а сумма координат нечетная.
Решетки Г8 Г'8 изоморфны ; и от одной к другой можно перейти, меняя знаки любого нечетного числа координат. Решетку Г8 иногда называют четной системой координат для Е8 , а решетку Г'8 называют нечетной системой координат .
Один из вариантов простых корней для E 8 в четной системе координат со строками, упорядоченными по порядку узлов в альтернативных (неканонических) диаграммах Дынкина (выше):
- α i = e i − e i +1 , для 1 ≤ i ≤ 6, и
- α 7 = е 7 + е 6
(вышеупомянутый выбор простых корней для D 7 ) вместе с
1 | −1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | −1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | −1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | −1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | −1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | −1 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | −1 |
− 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 | 1 / 2 | 1 / 2 | 1 / 2 |
Один из вариантов простых корней для E 8 в нечетной системе координат со строками, упорядоченными по порядку узлов в альтернативных (неканонических) диаграммах Дынкина (выше)
- α я знак равно е я - е я +1 , для 1 ≤ я ≤ 7
(вышеупомянутый выбор простых корней для A 7 ) вместе с
- α 8 = β 5 , где
(Использование β 3 дало бы изоморфный результат. Использование β 1,7 или β 2,6 просто дало бы A 8 или D 8 . Что касается β 4 , его сумма координат равна 0, и то же самое верно для α 1.. .7 , поэтому они охватывают только 7-мерное подпространство, для которого сумма координат равна 0, на самом деле −2 β 4 имеет координаты (1,2,3,4,3,2,1) в базисе ( α i ) .)
Поскольку перпендикулярность к α 1 означает, что первые две координаты равны, E 7 тогда является подмножеством E 8 , где первые две координаты равны, и аналогично E 6 является подмножеством E 8 , где первые три координаты равны. Это облегчает явное определение E 7 и E 6 как
- E 7 = { α ∈ Z 7 ∪ ( Z +1/2) 7 : Сай я 2 + 1 2 = 2, Σ α i + α 1 ∈ 2 Z },
- E 6 = { α ∈ Z 6 ∪ ( Z +1/2) 6 : Сай я 2 + 2 а 1 2 знак равно 2, Σ α я + 2 α 1 ∈ 2 Z }
удаление α1 , а затем α2 , дает наборы простых корней для E7 Обратите внимание и E6 что . множества простых корней находятся в других E7 подпространствах и E6 эти пространства E8 , написанные выше, поскольку они не ортогональны α1 Однако или α2 чем .
FF4
[ редактировать ]и 1 | eе2 | 3 | 4 | |
---|---|---|---|---|
1 | 1 | −1 | 0 | 0 |
2 | 0 | 1 | −1 | 0 |
3 | 0 | 0 | 1 | 0 |
4 | − 1 / 2 | − 1 / 2 | − 1 / 2 | − 1 / 2 |
Для F 4 пусть E = R 4 и пусть Φ обозначает набор векторов α длины 1 или √ 2 таких, что все координаты 2α являются целыми числами и либо все четные, либо все нечетные. В этой системе 48 корней. Один из вариантов простых корней: выбор простых корней, указанный выше для B 3 , плюс .
Корневая решетка F 4 , то есть решетка, порожденная корневой системой F 4 , представляет собой множество точек в R 4 так, что либо все координаты являются целыми числами , либо все координаты являются полуцелыми числами (смесь целых и полуцелых чисел не допускается). Эта решетка изоморфна решетке кватернионов Гурвица .
Г 2
[ редактировать ]и 1 | eе2 | 3 | |
---|---|---|---|
1 | 1 | −1 | 0 |
б | −1 | 2 | −1 |
Корневая система G 2 имеет 12 корней, образующих вершины гексаграммы . Смотрите картинку выше .
Один из вариантов простых корней: ( α 1 , β = α 2 − α 1 ), где α i = e i − e i +1 для i = 1, 2 — это указанный выше выбор простых корней для A 2 .
Решетка корней G2 G2 решетка, порожденная корнями , аналогична решетке корней A2 , т. е . .
Корневой посет
[ редактировать ]Множество положительных корней естественным образом упорядочивается, говоря, что тогда и только тогда, когда является неотрицательной линейной комбинацией простых корней. Этот посет оценивается по , и обладает многими замечательными комбинаторными свойствами, одно из которых состоит в том, что по этому ЧУ можно определить степени фундаментальных инвариантов соответствующей группы Вейля. [ 31 ] Граф Хассе представляет собой визуализацию упорядочения корневого ЧУУ.
См. также
[ редактировать ]- Классификация ADE
- Аффинная корневая система
- Диаграмма Кокстера – Дынкина
- Группа Коксетера
- Матрица Кокстера
- Диаграмма Дынкина
- корневая дата
- Полупростая алгебра Ли
- Веса в теории представлений полупростых алгебр Ли
- Система корней полупростой алгебры Ли
- Группа Вейля
Примечания
[ редактировать ]- ^ Цветкович, Драгош (2002). «Графы с наименьшим собственным значением -2; исторический обзор и последние разработки в области максимальных исключительных графов» . Линейная алгебра и ее приложения . 356 (1–3): 189–210. дои : 10.1016/S0024-3795(02)00377-4 .
- ^ Бурбаки, Глава VI, Раздел 1.
- ^ Хамфрис 1972 , с. 42
- ^ Хамфрис 1992 , с. 6
- ^ Хамфрис 1992 , с. 39
- ^ Хамфрис 1992 , с. 41
- ^ Хамфрис 1972 , с. 43
- ^ Зал 2015 г. , Предложение 8.8
- ^ Зал 2015 , Раздел 7.5.
- ^ Убийство 1889 г.
- ^ Jump up to: а б Бурбаки 1998 , с. 270
- ^ Коулман 1989 , с. 34
- ^ Зал 2015 г., Предложение 8.6.
- ^ Холл 2015 , Теоремы 8.16 и 8.17.
- ^ Холл 2015 , Теорема 8.16.
- ^ Холл 2015 , Предложение 8.28.
- ^ Холл 2015 , Предложение 8.18.
- ^ Зал 2015 , Раздел 8.7.
- ^ Это следует из Hall 2015 , предложение 8.23.
- ^ Холл 2015 , Предложение 8.32.
- ^ Холл 2015 , Предложение 8.23.
- ^ Холл 2015 , Предложения 8.23 и 8.27.
- ^ Холл 2015 , Предложение 8.29.
- ↑ См. различные части глав III, IV и V Humphreys 1972 , кульминацией которых является раздел 19 главы V.
- ^ Холл 2015 , Теорема 7.35.
- ^ Хамфрис 1972 , Раздел 16
- ^ Хамфрис 1972 , Часть (b) теоремы 18.4
- ^ Хамфрис, 1972 г., раздел 18.3 и теорема 18.4.
- ^ Конвей, Джон ; Слоан, Нил Дж. А. (1998). «Раздел 6.3». Сферические упаковки, решетки и группы . Спрингер. ISBN 978-0-387-98585-5 .
- ^ Зал 2015 г., раздел 8.9.
- ^ Хамфрис 1992 , Теорема 3.20.
Ссылки
[ редактировать ]- Адамс, Дж. Ф. (1983), Лекции о группах лжи , University of Chicago Press, ISBN 0-226-00530-5
- Бурбаки, Николя (2002), Группы Ли и алгебры Ли, главы 4–6 (перевод с французского оригинала 1968 года Эндрю Прессли) , Элементы математики, Springer-Verlag, ISBN 3-540-42650-7 . Классический справочник по корневым системам.
- Бурбаки, Николя (1998). Элементы истории математики . Спрингер. ISBN 3540647678 .
- Коулман, AJ (лето 1989 г.), «Величайшая математическая статья всех времен», The Mathematical Intelligencer , 11 (3): 29–38, doi : 10.1007/bf03025189 , S2CID 35487310
- Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение , Тексты для выпускников по математике, том. 222 (2-е изд.), Спрингер, ISBN 978-3319134666
- Хамфрис, Джеймс (1972). Введение в алгебры Ли и теорию представлений . Спрингер. ISBN 0387900535 .
- Хамфрис, Джеймс (1992). Группы отражения и группы Кокстера . Издательство Кембриджского университета. ISBN 0521436133 .
- Киллинг, Вильгельм (июнь 1888 г.). «Композиция непрерывных конечных групп преобразований» . Математические летописи . 31 (2): 252–290. дои : 10.1007/BF01211904 . S2CID 120501356 . Архивировано из оригинала 05 марта 2016 г.
- - (март 1888 г.). «Часть 2» . Математика. Энн . 33 (1): 1–48. дои : 10.1007/BF01444109 . S2CID 124198118 .
- - (март 1889 г.). «Часть 3» . Математика. Энн . 34 (1): 57–122. дои : 10.1007/BF01446792 . S2CID 179177899 . Архивировано из оригинала 21 февраля 2015 г.
- - (июнь 1890 г.). «Часть 4» . Математика. Энн . 36 (2): 161–189. дои : 10.1007/BF01207837 . S2CID 179178061 .
- Кац, Виктор Г. (1990). Бесконечномерные алгебры Ли (3-е изд.). Издательство Кембриджского университета. ISBN 978-0-521-46693-6 .
- Спрингер, Т.А. (1998). Линейные алгебраические группы (2-е изд.). Биркхойзер. ISBN 0817640215 .
Дальнейшее чтение
[ редактировать ]- Дынкин, Е.Б. (1947). «Строение полупростых алгебр» . Успехи мат. Наук . 2 (на русском языке). 4 (20): 59–127. МР 0027752 .