Корневая система

редактировать
Геометрическое расположение точек, основа теории Ли

В математике, a корневая система - это конфигурация векторов в евклидовом пространстве, удовлетворяющая определенным геометрическим свойствам. Это понятие является фундаментальным в теории групп Ли и алгебр Ли, особенно в теории классификации и представлений полупростых алгебр Ли. Поскольку группы Ли (и некоторые аналоги, такие как алгебраические группы ) и алгебры Ли стали важными во многих областях математики в течение двадцатого века, очевидная особая природа корневых систем противоречит количеству областей, в которых они используются. применяется. Кроме того, схема классификации корневых систем по диаграммам Дынкина встречается в частях математики, не имеющих явной связи с теорией Ли (например, теория сингулярностей ). Наконец, корневые системы важны сами по себе, как в теории спектральных графов.

Содержание
  • 1 Определения и примеры
    • 1.1 Определение
    • 1.2 Группа Вейля
    • 1.3 Ранжируйте один пример
    • 1.4 Разберите два примера
    • 1.5 Системы корней, возникающие из полупростых алгебр Ли
  • 2 История
  • 3 Элементарные следствия аксиом корневой системы
  • 4 Положительные корни и простые корни
  • 5 Двойная корневая система, корни, и интегральные элементы
    • 5.1 Двойная корневая система
    • 5.2 Интегральные элементы
  • 6 Классификация корневых систем по диаграммам Дынкина
    • 6.1 Построение диаграммы Дынкина
    • 6.2 Классификация корневых систем
  • 7 Камеры Вейля и группа Вейля
  • 8 Корневые системы и теория Ли
  • 9 Свойства неприводимых корневых систем
  • 10 Явное построение неприводимых корневых систем
    • 10.1 A n
    • 10.2 B n
    • 10.3 C n
    • 10,4 D n
    • 10,5 E 6, E 7, E 8
    • 10,6 F 4
    • 10,7 G 2
  • 11 Корневое положение
  • 12 См. Также
  • 13 Примечания
  • 14 Ссылки
  • 15 Дальнейшие r eading
  • 16 Внешние ссылки
Определения и примеры
Шесть векторов корневой системы A 2.

В качестве первого примера рассмотрим шесть векторов в 2-мерном евклидовом пространстве, R, как показано на изображении справа; назовите их корнями . Эти векторы охватывают все пространство. Если вы рассматриваете прямую , перпендикулярную любому корню, скажем β, то отражение R в этой строке отправляет любой другой корень, скажем α, другому корню. Более того, корень, в который он отправляется, равен α + nβ, где n - целое число (в данном случае n равно 1). Эти шесть векторов удовлетворяют следующему определению, поэтому они образуют корневую систему; это известно как A 2.

Определение

Пусть E - конечномерное евклидово векторное пространство со стандартным евклидовым внутренним произведением обозначается (⋅, ⋅) {\ displaystyle (\ cdot, \ cdot)}(\ cdot, \ cdot) . корневая система Φ {\ displaystyle \ Phi}\ Phi в E - это конечный набор ненулевых векторов (называемых корнями ), которые удовлетворяют следующим условиям условия:

  1. Корни span E.
  2. Единственные скалярные кратные корня α ∈ Φ {\ displaystyle \ alpha \ in \ Phi}\ alpha \ in \ Phi , принадлежащие Φ {\ displaystyle \ Phi}\ Phi - это α {\ displaystyle \ alpha}\ alpha и - α {\ displaystyle - \ alpha}- \ alpha .
  3. для каждого корня α ∈ Φ {\ displaystyle \ alpha \ in \ Phi}\ alpha \ in \ Phi , множество Φ {\ displaystyle \ Phi}\ Phi закрывается под отражением через гиперплоскость , перпендикулярную α {\ displaystyle \ alpha}\ alpha .
  4. (Integrality ) Если α {\ displaystyle \ alpha}\ alpha и β {\ displaystyle \ beta}\ beta корни в Φ {\ displaystyle \ Phi}\ Phi , затем проекция β {\ displaystyle \ beta}\ beta на строку через α {\ displaystyle \ alpha}\ alpha является целым или полуцелым числом, кратным α {\ displaystyle \ alpha}\ alpha .

Эквивалентный способ записи условий 3 и 4 выглядит следующим образом:

  1. Для любых двух корней α, β ∈ Φ {\ displaystyle \ alpha, \ beta \ в \ Phi}{\ displaystyle \ alpha, \ beta \ in \ Phi} набор Φ {\ displaystyle \ Phi}\ Phi содержит элемент σ α (β): = β - 2 (α, β) (α, α) α. {\ displaystyle \ sigma _ {\ alpha} (\ beta): = \ beta -2 {\ frac {(\ alpha, \ beta)} {(\ alpha, \ alpha)}} \ alpha.}{\ displaystyle \ sigma_ {\ альфа} (\ бета): = \ бета -2 {\ гидроразрыва {(\ альфа, \ бета)} {(\ альфа, \ альфа)}} \ альфа.}
  2. Для любые два корня α, β ∈ Φ {\ displaystyle \ alpha, \ beta \ in \ Phi}{\ displaystyle \ alpha, \ beta \ in \ Phi} , число ⟨β, α⟩: = 2 (α, β) ( α, α) {\ displaystyle \ langle \ beta, \ alpha \ rangle: = 2 {\ frac {(\ alpha, \ beta)} {(\ alpha, \ alpha)}}}{\ displaystyle \ langle \ beta, \ alpha \ rangle: = 2 {\ frac {(\ alpha, \ beta)} {(\ alpha, \ alpha)}}} - это целое число.

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

С учетом свойства 3 условие целостности эквивалентно заявлению, что β и его отражение σ α (β) отличаются на целое число, кратное α. Обратите внимание, что оператор

⟨⋅, ⋅⟩: Φ × Φ → Z {\ displaystyle \ langle \ cdot, \ cdot \ rangle \ двоеточие \ Phi \ times \ Phi \ to \ mathbb {Z}}\ langle \ cdot, \ cdot \ rangle \ двоеточие \ Phi \ times \ Phi \ to \ mathbb {Z}

определен по свойству 4 не является внутренним продуктом. Он не обязательно симметричен и линейен только по первому аргументу.

Корневая система второго ранга
Корневая система A1 + A1 Корневая система D2
Корневая система A 1 × A 1 {\ displaystyle A_ {1} \ times A_ {1}}A_ {1} \ times A_ {1} . Dyn-node n1.png Dy n-2.png Dyn-node n2.png Корневая система D 2 {\ displaystyle D_ { 2}}D_ {2} . Dyn2-nodes.png
Корневая система A2 Корневая система G2
Корневая система A 2 {\ displaystyle A_ {2}}A_ {2} . Dyn2-узел n1.png Dyn2-3.png Dyn2-узел n2.png Корневая система G 2 {\ displaystyle G_ {2}}G_ {2} . Dyn2-nodeg n1.png Dyn2-6a.png Dyn2-узел n2.png
Корневая система B2 Корневая система C2
Корневая система B 2 { \ displaystyle B_ {2}}B_ {2} . Dyn2-nodeg n1.png Dyn2-4a.png Dyn2-узел n2.png Корневая система C 2 {\ displaystyle C_ {2}}C_ {2} . Dyn2-узел n1.png Dyn2-4b.png Dyn2-nodeg n2.png

ранг корневой системы Φ - это размерность E. Две корневые системы могут быть объединены, рассматривая евклидовы пространства, которые они охватывают, как взаимно ортогональные подпространства общего евклидова пространства. Корневая система, которая не возникает в результате такой комбинации, например, системы A 2, B 2 и G 2, изображенные справа, называется быть неприводимым .

Две корневые системы (E 1, Φ 1) и (E 2, Φ 2) называются изоморфными, если существует обратимое линейное преобразование E 1 → E 2, которое отправляет Φ 1 в Φ 2 таким образом, что для каждой пары корней сохраняется число ⟨x, y⟩ {\ displaystyle \ langle x, y \ rangle}\ langle x, y \ rangle .

решетка корневой системы Φ - это Z -подмодуль E, порожденный Φ. Это решетка в E.

группа Вейля

Группа Вейля корневой системы A 2 {\ displaystyle A_ {2}}A_ {2} - группа симметрии равностороннего треугольника

Группа из изометрий E, порожденная отражениями через гиперплоскости, связанные с корнями Φ, называется группой Вейля Φ. Поскольку она точно действует на конечном множестве Φ, группа Вейля всегда конечна. Плоскости отражения - это гиперплоскости, перпендикулярные корням, обозначенные для A 2 {\ displaystyle A_ {2}}A_ {2} пунктирными линиями на рисунке. Группа Вейля - это группа симметрии равностороннего треугольника, состоящего из шести элементов. В этом случае группа Вейля не является полной группой симметрии корневой системы (например, поворот на 60 градусов является симметрией корневой системы, но не элементом группы Вейля).

Пример первого ранга

Существует только одна корневая система ранга 1, состоящая из двух ненулевых векторов {α, - α} {\ displaystyle \ {\ alpha, - \ alpha \}}\ {\ alpha, - \ alpha \} . Эта корневая система называется A 1 {\ displaystyle A_ {1}}A_ {1} .

Примеры второго ранга

На втором ранге есть четыре возможности, соответствующие σ α (β) = β + n α {\ displaystyle \ sigma _ {\ alpha} (\ beta) = \ beta + n \ alpha}\ sigma _ {\ alpha} (\ beta) = \ beta + n \ alpha , где n = 0, 1, 2, 3 {\ displaystyle n = 0,1,2,3}n = 0, 1,2,3 . На рисунке справа показаны эти возможности, но с некоторыми избыточностями: A 1 × A 1 {\ displaystyle A_ {1} \ times A_ {1}}{\ displaystyle A_ {1} \ times A_ {1}} изоморфен D 2 { \ displaystyle D_ {2}}D_ {2} и B 2 {\ displaystyle B_ {2}}B_ {2} изоморфен C 2 {\ displaystyle C_ {2}}C_ {2} .

Обратите внимание, что корневая система не определяется решеткой, которую она генерирует: A 1 × A 1 {\ displaystyle A_ {1} \ times A_ {1}}A_ {1} \ times A_ {1} и B 2 {\ displaystyle B_ {2}}B_ {2} оба генерируют квадратную решетку, а A 2 {\ displaystyle A_ {2}}A_ {2} и G 2 {\ displaystyle G_ {2}}G_ {2} генерирует гексагональную решетку, только два из пяти возможных типов решеток в двух измерениях.

Всякий раз, когда Φ является корнем системы в E, и S - это подпространство в E, натянутое на Ψ = Φ ∩ S, то Ψ - корневая система в S. Таким образом, исчерпывающий список из четырех корневых систем ранга 2 показывает геометрические возможности для любых двух корней, выбранных из корневой системы произвольного ранга. В частности, два таких корня должны встречаться под углом 0, 30, 45, 60, 90, 120, 135, 150 или 180 градусов.

Системы корней, возникающие из полупростых алгебр Ли

Если g {\ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} является сложной полупростой алгеброй Ли и h {\ displaystyle {\ mathfrak {h}}}{\ mathfrak {h}} - это подалгебра Картана, мы можем построить корневую систему следующим образом. Мы говорим, что α ∈ h ∗ {\ displaystyle \ alpha \ in {\ mathfrak {h}} ^ {*}}{\ displaystyle \ alpha \ in {\ mathfrak {h}} ^ {*}} является корнем из g { \ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} относительно h {\ displaystyle {\ mathfrak {h}}}{\ mathfrak {h}} , если α ≠ 0 {\ displaystyle \ альфа \ neq 0}\ alpha \ neq 0 и существует X ≠ 0 ∈ g {\ displaystyle X \ neq 0 \ in {\ mathfrak {g}}}{\ displaystyle X \ neq 0 \ in {\ mathfrak {g}}} такой, что

[ЧАС, Икс] = α (ЧАС) Икс {\ Displaystyle [Н, X] = \ альфа (Н) X}{\ displaystyle [H, X] = \ alpha (H) X}

для всех Н ∈ ч {\ Displaystyle Н \ in {\ mathfrak {ч }}}{\ displaystyle H \ in {\ mathfrak {h}}} . Можно показать, что существует внутренний продукт, для которого набор корней образует корневую систему. Корневая система g {\ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} является фундаментальным инструментом для анализа структуры g {\ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} и классификация его представлений. (См. Раздел ниже, посвященный корневым системам и теории лжи.)

История

Концепция корневой системы была первоначально введена Вильгельмом Киллингом около 1889 г. Wurzelsystem). Он использовал их в своей попытке классифицировать все простые алгебры Ли по полю комплексных чисел. Изначально Киллинг допустил ошибку в классификации, перечислив две исключительные корневые системы ранга 4, хотя на самом деле существует только одна, теперь известная как F 4. Позже Картан исправил эту ошибку, показав, что две корневые системы Киллинга изоморфны.

Киллинг исследовал структуру алгебры Ли L {\ displaystyle L}L , рассматривая то, что сейчас называется подалгеброй Картана h {\ displaystyle {\ mathfrak {h}}}{\ mathfrak {h}} . Затем он изучил корни характеристического многочлена det (ad L ⁡ x - t) {\ displaystyle \ det (\ operatorname {ad} _ {L} xt)}{\ displaystyle \ det (\ operatorname {ad } _ {L} xt)} , где x ∈ h {\ displaystyle x \ in {\ mathfrak {h}}}x \ in {\ mathfrak {h}} . Здесь корень рассматривается как функция от h {\ displaystyle {\ mathfrak {h}}}{\ mathfrak {h}} или как элемент двойного векторного пространства h ∗ {\ displaystyle { \ mathfrak {h}} ^ {*}}{\ mathfrak {h}} ^ {*} . Этот набор корней образует корневую систему внутри h ∗ {\ displaystyle {\ mathfrak {h}} ^ {*}}{\ mathfrak {h}} ^ {*} , как определено выше, где внутренним продуктом является Killing форма.

Элементарные следствия аксиом корневой системы
Условие целостности для ⟨β, α⟩ {\ displaystyle \ langle \ beta, \ alpha \ rangle}{\ displaystyle \ langle \ beta, \ alpha \ rangle} выполняется только для β на одной из вертикальных линий, а условие целостности для ⟨α, β⟩ {\ displaystyle \ langle \ alpha, \ beta \ rangle}{\ displaystyle \ langle \ alpha, \ beta \ rangle} выполняется только для β на одном из красных кружков. Любой β, перпендикулярный α (на оси Y), тривиально удовлетворяет обоим с 0, но не определяет неприводимую корневую систему.. Отражение по модулю, для данного α есть только 5 нетривиальных возможностей для β и 3 возможных угла между α и β в наборе простых корней. Подстрочные буквы соответствуют ряду корневых систем, для которых данное β может служить первым корнем, а α - вторым корнем (или в F 4 как средние 2 корня).

. Косинус числа угол между двумя корнями должен составлять половину квадратного корня положительного целого числа. Это потому, что ⟨β, α⟩ {\ displaystyle \ langle \ beta, \ alpha \ rangle}\ langle \ beta, \ alpha \ rangle и ⟨α, β⟩ {\ displaystyle \ langle \ alpha, \ beta \ rangle}\ langle \ alpha, \ beta \ rangle по предположению целые числа, а

⟨β, α⟩ ⟨α, β⟩ = 2 (α, β) (α, α) ⋅ 2 (α, β) (β, β) = 4 (α, β) 2 | α | 2 | β | 2 = 4 cos 2 ⁡ (θ) = (2 cos ⁡ (θ)) 2 ∈ Z. {\ displaystyle \ langle \ beta, \ alpha \ rangle \ langle \ alpha, \ beta \ rangle = 2 {\ frac {(\ alpha, \ beta)} {(\ alpha, \ alpha)}} \ cdot 2 {\ frac {(\ alpha, \ beta)} {(\ beta, \ beta)}} = 4 {\ frac {(\ alpha, \ beta) ^ {2}} {\ vert \ alpha \ vert ^ {2} \ vert \ beta \ vert ^ {2}}} = 4 \ cos ^ {2} (\ theta) = (2 \ cos (\ theta)) ^ {2} \ in \ mathbb {Z}.}\ langle \ beta, \ alpha \ rangle \ langle \ alpha, \ b eta \ rangle = 2 {\ frac {(\ alpha, \ beta)} {(\ alpha, \ alpha)}} \ cdot 2 {\ frac {(\ alpha, \ beta)} {(\ beta, \ beta) }} = 4 {\ frac {(\ alpha, \ beta) ^ {2}} {\ vert \ alpha \ vert ^ {2} \ vert \ beta \ vert ^ {2}}} = 4 \ cos ^ {2 } (\ theta) = (2 \ cos (\ theta)) ^ {2} \ in \ mathbb {Z}.

Поскольку 2 cos ⁡ (θ) ∈ [- 2, 2] {\ displaystyle 2 \ cos (\ theta) \ in [-2,2]}2 \ cos (\ theta) \ in [-2,2 ] , единственные возможные значения для соз ⁡ (θ) {\ displaystyle \ cos (\ theta)}\ cos (\ theta) равны 0, ± 1 2, ± 2 2, ± 3 2 {\ displaystyle 0, \ pm {\ tfrac {1 } {2}}, \ pm {\ tfrac {\ sqrt {2}} {2}}, \ pm {\ tfrac {\ sqrt {3}} {2}}}{\ displaystyle 0, \ pm {\ tfrac {1} {2}}, \ pm {\ tfrac {\ sqrt {2}} {2}}, \ pm {\ tfrac {\ sqrt {3}} {2}}} и ± 4 2 = ± 1 {\ displaystyle \ pm {\ tfrac {\ sqrt {4}} {2}} = \ pm 1}{\ displaystyle \ pm {\ tfrac {\ sqrt { 4}} {2}} = \ pm 1} , что соответствует углам 90 °, 60 ° или 120 °, 45 ° или 135 °, 30 ° или 150 °, а также 0 ° или 180 °. Условие 2 говорит, что никакие скалярные числа, кратные α, кроме 1 и −1, не могут быть корнями, поэтому 0 или 180 °, которые соответствовали бы 2α или −2α, отсутствуют. На диаграмме справа показано, что угол 60 ° или 120 ° соответствует корням одинаковой длины, а угол 45 ° или 135 ° соответствует соотношению длин 2 {\ displaystyle {\ sqrt {2}} }{\ sqrt {2}} и угол 30 ° или 150 ° соответствует соотношению длины 3 {\ displaystyle {\ sqrt {3}}}{\ sqrt {3}} .

Таким образом, вот единственные возможности для каждого пара корней.

  • Угол 90 градусов; в этом случае отношение длины не ограничено.
  • Угол 60 или 120 градусов, с отношением длины 1.
  • Угол 45 или 135 градусов, с отношением длины 2 {\ displaystyle {\ sqrt {2}}}{\ sqrt {2}} .
  • Угол 30 или 150 градусов с отношением длины 3 {\ displaystyle {\ sqrt {3}}}{\ sqrt 3} .
Положительные корни и простые корни
Помеченные корни представляют собой набор положительных корней для корневой системы G 2 {\ displaystyle G_ {2}}G_ {2} с α 1 {\ displaystyle \ alpha _ { 1}}\ alpha _ {1} и α 2 {\ displaystyle \ alpha _ {2}}\ alpha _ {2} , являющиеся простыми корнями

Учитывая корневую систему Φ {\ displaystyle \ Phi}\ Phi мы всегда можем выбрать (разными способами) набор положительных корней . Это подмножество Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} из Φ {\ displaystyle \ Phi}\ Phi такое, что

  • для каждого корня α ∈ Φ {\ displaystyle \ alpha \ in \ Phi}\ alpha \ in \ Phi ровно один из корней α {\ displaystyle \ alpha}\ alpha , - α { \ displaystyle \ alpha}\ alpha содержится в Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} .
  • для любых двух различных α, β ∈ Φ + {\ displaystyle \ alpha, \ beta \ in \ Phi ^ {+}}\ alpha, \ beta \ in \ Phi ^ {+} такой, что α + β {\ displaystyle \ alpha + \ beta}\ alpha + \ beta является корнем, α + β ∈ Φ + {\ displaystyle \ alpha + \ beta \ in \ Phi ^ {+}}\ alpha + \ beta \ in \ Phi ^ {+} .

Если набор положительных корней Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} выбрано, элементы - Φ + {\ displaystyle - \ Phi ^ {+}}- \ Phi ^ {+} называются отрицательными корнями . Набор положительных корней можно построить, выбрав гиперплоскость V {\ displaystyle V}V , не содержащую корня, и установив Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} - все корни, лежащие на фиксированной стороне V {\ displaystyle V}V . Более того, каждый набор положительных корней возникает таким образом.

Элемент Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} называется простым корнем, если он не может быть записан как сумма двух элементов Φ + {\ displaystyle \ Phi ^ {+}}\ Phi ^ {+} . (Набор простых корней также называется основанием для Φ {\ displaystyle \ Phi}\ Phi .) Набор Δ {\ displaystyle \ Delta}\ Delta простых корней является основой E {\ displaystyle E}E со следующими дополнительными специальными свойствами:

  • Каждый корень α ∈ Φ {\ displaystyle \ alpha \ in \ Phi}\ alpha \ in \ Phi - линейная комбинация элементов Δ {\ displaystyle \ Delta}\ Delta с целыми коэффициентами.
  • Для каждого α ∈ Φ {\ displaystyle \ alpha \ in \ Phi}\ alpha \ in \ Phi , коэффициенты в предыдущем пункте либо все неотрицательные, либо все неположительные.

Для каждой корневой системы Φ { \ displaystyle \ Phi}\ Phi существует множество различных вариантов набора положительных корней или, что то же самое, простых корней, но любые два набора положительных корней отличаются действием группы Вейля.

Двойная корневая система, коронки и интегральные элементы

Двойная корневая система

Если Φ - корневая система в E, коронка α корня α определяется равенством

α ∨ = 2 (α, α) α. {\ displaystyle \ alpha ^ {\ vee} = {2 \ over (\ alpha, \ alpha)} \, \ alpha.}\ alpha ^ {\ vee} = {2 \ over (\ alpha, \ alpha)} \, \ alpha.

Набор корневых корней также образует корневую систему Φ в E, называемую двойная корневая система (или иногда обратная корневая система). По определению α = α, так что Φ - двойственная система корней к Φ. Решетка в E, натянутая на Φ, называется решеткой корорутов. И Φ, и Φ имеют одну и ту же группу Вейля W, и для s в W

(s α) ∨ = s (α ∨). {\ displaystyle (s \ alpha) ^ {\ vee} = s (\ alpha ^ {\ vee}).}(s \ alpha) ^ {\ vee} = s (\ alpha ^ {\ vee}).

Если Δ - это набор простых корней для Φ, то Δ - это набор простых корней для Φ.

В описанной ниже классификации корневые системы типа A n {\ displaystyle A_ {n}}A_ {n} и D n {\ displaystyle D_ {n} }D_ {n} вместе с исключительными корневыми системами E 6, E 7, E 8, F 4, G 2 {\ displaystyle E_ {6}, E_ {7}, E_ {8}, F_ { 4}, G_ {2}}{\ displaystyle E_ {6}, E_ {7}, E_ {8}, F_ {4}, G_ {2}} все самодуальные, что означает, что двойная корневая система изоморфна исходной корневой системе. В отличие от этого, корневые системы B n {\ displaystyle B_ {n}}B_{n}и C n {\ displaystyle C_ {n}}C_ {n} двойственны друг другу., но не изоморфен (кроме случаев, когда n = 2 {\ displaystyle n = 2}n = 2 ).

Интегральные элементы

Вектор λ {\ displaystyle \ lambda}\ lambda в E называется интегральным, если его внутренний продукт с каждым корнем - целое число:

2 (λ, α) (α, α) ∈ Z, α ∈ Φ. {\ displaystyle 2 {\ frac {(\ lambda, \ alpha)} {(\ alpha, \ alpha)}} \ in \ mathbb {Z}, \ quad \ alpha \ in \ Phi.}{\ displaystyle 2 {\ frac {(\ lambda, \ альфа)} {(\ alpha, \ alpha)}} \ in \ mathbb {Z}, \ quad \ alpha \ in \ Phi.}

Поскольку набор из α ∨ {\ displaystyle \ alpha ^ {\ vee}}{\ displaystyle \ alpha ^ {\ vee}} с α ∈ Δ {\ displaystyle \ alpha \ in \ Delta}{\ displaystyle \ alpha \ in \ Delta} образует основу для двойная корневая система, чтобы убедиться, что λ {\ displaystyle \ lambda}\ lambda является целым, достаточно проверить указанное выше условие для α ∈ Δ {\ displaystyle \ alpha \ in \ Delta }{\ displaystyle \ alpha \ in \ Delta} .

Набор интегральных элементов называется решеткой весов, связанной с данной корневой системой. Этот термин происходит от теории представлений полупростых алгебр Ли, где целые элементы образуют возможные веса конечномерных представлений.

Определение корневой системы гарантирует, что сами корни являются составными элементами. Таким образом, всякая целочисленная линейная комбинация корней также является целой. Однако в большинстве случаев будут целые элементы, которые не являются целочисленными комбинациями корней. То есть в общем случае решетка весов не совпадает с решеткой корней.

Классификация корневых систем по диаграммам Дынкина
Изображения всех связанных диаграмм Дынкина

Корневая система является неприводимой, если ее нельзя разбить на объединение двух собственных подмножеств Φ = Φ 1 ∪ Φ 2 {\ displaystyle \ Phi = \ Phi _ {1} \ cup \ Phi _ {2}}\ Phi = \ Phi _ {1} \ cup \ Phi _ {2} , так что (α, β) = 0 {\ displaystyle (\ alpha, \ beta) = 0}(\ alpha, \ beta) = 0 для всех α ∈ Φ 1 {\ displaystyle \ alpha \ in \ Phi _ {1}}\ alpha \ in \ Phi _ {1 } и β ∈ Φ 2 {\ displaystyle \ beta \ in \ Phi _ {2}}\ beta \ in \ Phi _ {2} .

Неприводимые корневые системы соответствуют некоторым графикам, диаграммам Дынкина им. Евгения Дынкина. Классификация этих графов является простым делом комбинаторики и приводит к классификации неприводимых корневых систем.

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

Для корневой системы выберите набор Δ из простых корней, как в предыдущем разделе. Вершины присоединенной диаграммы Дынкина соответствуют корням в Δ. Края между векторами проводят в соответствии с углами следующим образом. (Обратите внимание, что угол между простыми корнями всегда составляет не менее 90 градусов.)

  • Без ребра, если векторы ортогональны,
  • Одинарное неориентированное ребро, если они составляют угол 120 градусов,
  • Направленная двойная кромка, если они составляют угол 135 градусов, и
  • Направленная тройная кромка, если они составляют угол 150 градусов.

Термин «направленная кромка» означает, что двойные и тройные кромки отмечены стрелкой, указывающей в сторону более короткого вектора. (Если рассматривать стрелку как знак «больше», становится ясно, в каком направлении стрелка должна указывать.)

Обратите внимание, что с учетом элементарных свойств корней, отмеченных выше, правила создания диаграммы Дынкина могут также можно описать следующим образом. Без ребра, если корни ортогональны; для неортогональных корней - одинарное, двойное или тройное ребро в зависимости от того, составляет ли отношение длины более длинного к более короткому 1, 2 {\ displaystyle {\ sqrt {2}}}{\ sqrt {2}} , 3 {\ displaystyle {\ sqrt {3}}}{\ sqrt 3} . В случае корневой системы G 2 {\ displaystyle G_ {2}}G_ {2} , например, есть два простых корня, расположенные под углом 150 градусов (с отношением длины 3 {\ displaystyle {\ sqrt {3}}}{\ sqrt 3} ). Таким образом, диаграмма Дынкина имеет две вершины, соединенные тройным ребром, со стрелкой, указывающей от вершины, связанной с более длинным корнем, к другой вершине. (В этом случае стрелка немного избыточна, поскольку диаграмма эквивалентна в зависимости от направления стрелки.)

Классификация корневых систем

Хотя данная корневая система имеет более одного возможного набора простых корней группа Вейля действует транзитивно при таком выборе. Следовательно, диаграмма Дынкина не зависит от выбора простых корней; она определяется самой корневой системой. И наоборот, имея две корневые системы с одной и той же диаграммой Дынкина, можно сопоставить корни, начиная с корней в основании, и показать, что системы фактически одинаковы.

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

Если Φ {\ displaystyle \ Phi}\ Phi является корневой системой, диаграмма Дынкина для двойной корневой системы Φ Φ {\ displaystyle \ Phi ^ {\ vee }}\ Phi ^ {\ vee} получается из диаграммы Дынкина Φ {\ displaystyle \ Phi}\ Phi путем сохранения всех тех же вершин и ребер, но с изменением направлений всех стрелок. Таким образом, из их диаграмм Дынкина видно, что B n {\ displaystyle B_ {n}}B_{n}и C n {\ displaystyle C_ {n}}C_ {n} являются двойственны друг другу.

Камеры Вейля и группа Вейля
Заштрихованная область - основная камера Вейля для основания {α 1, α 2} {\ displaystyle \ {\ alpha _ {1}, \ alpha _ {2} \}}{\ displaystyle \ {\ alpha _ {1}, \ alpha _ {2} \}}

Если Φ ⊂ E {\ displaystyle \ Phi \ subset E}{\ displaystyle \ Phi \ subset E} является корневой системой, мы можем рассматривать гиперплоскость, перпендикулярную каждому корню α {\ Displaystyle \ alpha}\ alpha . Напомним, что σ α {\ displaystyle \ sigma _ {\ alpha}}{\ displaystyle \ sigma _ {\ alpha}} обозначает отражение относительно гиперплоскости, а группа Вейля - это группа преобразований E {\ displaystyle E}E сгенерировано всеми σ α {\ displaystyle \ sigma _ {\ alpha}}{\ displaystyle \ sigma _ {\ alpha}} . Дополнение набора гиперплоскостей разъединено, и каждый компонент связности называется камерой Вейля . Если мы зафиксировали определенный набор Δ простых корней, мы можем определить фундаментальную камеру Вейля, связанную с Δ, как набор точек v ∈ E {\ displaystyle v \ in E}{\ displaystyle v \ in E} такой, что (α, v)>0 {\ displaystyle (\ alpha, v)>0}{\displaystyle (\alpha,v)>0} для всех α ∈ Δ {\ displaystyle \ alpha \ in \ Delta}{\ displaystyle \ alpha \ in \ Delta} .

Поскольку отражения σ α, α ∈ Φ {\ displaystyle \ sigma _ {\ alpha}, \, \ alpha \ in \ Phi}{\ displaystyle \ sigma _ {\ alpha}, \, \ alpha \ in \ Phi} сохранить Φ {\ displaystyle \ Phi}\ Phi , они также сохраняют набор гиперплоскостей, перпендикулярных корням. Таким образом, каждый элемент группы Вейля переставляет камеры Вейля.

На рисунке показан случай A 2 {\ displaystyle A_ {2 }}A_ {2} корневая система. «Гиперплоскости» (в данном случае одномерные), ортогональные корням, обозначены пунктирными линиями. Шесть секторов по 60 градусов - это камеры Вейля, а заштрихованная область - основная камера Вейля, связанная с указанной базой.

Основная общая теорема о камерах Вейля такова:

Теорема : группа Вейля действует свободно и транзитивно на камерах Вейля. Таким образом, порядок группы Вейля равен количеству камер Вейля.

В случае A 2 {\ displaystyle A_ {2}}A_ {2} , например, группа Вейля имеет шесть элементов и шесть камер Вейля.

Связанный результат следующий:

Теорема : исправить камеру Вейля C {\ displaystyle C}C . Тогда для всех v ∈ E {\ displaystyle v \ in E}{\ displaystyle v \ in E} орбита Вейля v {\ displaystyle v}v содержит ровно одну точку в закрытие C ¯ {\ displaystyle {\ bar {C}}}{\ bar {C}} из C {\ displaystyle C}C .
Корневые системы и теория Ли

Неприводимые корневые системы классифицируют ряд связанных объектов в теории Ли, в частности следующие:

В каждом случае корни являются ненулевыми весами присоединенного представления.

Теперь мы дадим краткое указание на то, как неприводимые корневые системы классифицируют простые алгебры Ли над C {\ displaystyle \ mathbb {C}}\ mathbb {C} , следуя аргументам в Хамфрис. Предварительный результат говорит, что полупростая алгебра Ли проста тогда и только тогда, когда ассоциированная система корней неприводима. Таким образом, мы ограничиваем внимание неприводимыми корневыми системами и простыми алгебрами Ли.

  • Во-первых, мы должны установить, что для каждой простой алгебры g {\ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} существует только одна корневая система. Это утверждение следует из того, что подалгебра Картана в g {\ displaystyle {\ mathfrak {g}}}{\ mathfrak { g}} единственна с точностью до автоморфизма, из чего следует, что любые две подалгебры Картана дают изоморфный корень систем.
  • Затем нам нужно показать, что для каждой неприводимой корневой системы может быть не более одной алгебры Ли, то есть что корневая система определяет алгебру Ли с точностью до изоморфизма.
  • Наконец, мы должны показать, что для каждой неприводимой корневой системы существует соответствующая простая алгебра Ли. Это утверждение очевидно для корневых систем типов A, B, C и D, для которых ассоциированные алгебры Ли являются классическими алгебрами. Тогда можно анализировать исключительные алгебры в индивидуальном порядке. В качестве альтернативы можно разработать систематическую процедуру построения алгебры Ли из корневой системы, используя отношения Серра.

. О связях между исключительными корневыми системами и их группами Ли и алгебрами Ли см. E8, E7, E6, F4 и G2.

Свойства неприводимых корневых систем
Φ {\ displaystyle \ Phi}\ Phi | Φ | {\ displaystyle | \ Phi |}| \ Phi | | Φ < | {\displaystyle |\Phi ^{<}|}| \ Phi ^ {<} | ID| W | {\ displaystyle | W |}| W |
An(n ≥ 1)n (n + 1)n + 1(n + 1)!
Bn(n ≥ 2)2n2n222 n!
Cn(n ≥ 3)2n2n (n - 1)222 n!
Dn(n ≥ 4)2n (n - 1)42 n!
E6 72351840
E7 12622903040
E8 2401696729600
F4 4824411152
G2 1263112

Неприводимые корневые системы именуются в соответствии с соответствующими им связными диаграммами Дынкина. Существует четыре бесконечных семейства (A n, B n, C n и D n, называемых классическим корнем системы ) и пять исключительных случаев (исключительные корневые системы ). Нижний индекс указывает ранг корневой системы.

В неприводимой корневой системе может быть не более двух значений длины (α, α), соответствующих коротким и длинным корням. Если все корни имеют одинаковую длину, они по определению считаются длинными, а корневая система называется просто зашнурованной ; это происходит в случаях A, D и E. Любые два корня одинаковой длины лежат на одной орбите группы Вейля. В не просто связанных случаях B, C, G и F решетка корней натянута на короткие корни, а длинные корни покрывают подрешетку, инвариантную относительно группы Вейля, равную r / 2, умноженному на решетку корней, где r это длина длинного корня.

В соседней таблице | Φ | обозначает количество коротких корней, I обозначает индекс в решетке корней подрешетки, порожденной длинными корнями, D обозначает определитель матрицы Картана, а | W | обозначает порядок группы Вейля.

Явное построение неприводимых корневых систем

An Модель корневой системы A 3 {\ displaystyle A_ {3}}A_ {3} в Zometool
Простые корни в A3
e1e2e3e4
α11−100
α201−10
α3001−1
Dyn2-узел n1.png Dyn2-3.png Dyn2-узел n2.png Dyn2-3.png Dyn2-node n3.png

Пусть E будет подпространством R, для которого сумма координат равна 0, и пусть Φ будет набором векторов в E длины √ 2, которые являются целочисленными векторами, т.е. имеют целые координаты в R . Такой вектор должен иметь все координаты, кроме двух, равные 0, одну координату, равную 1, и одну, равную –1, так что всего имеется n + n корней. Один из вариантов выбора простых корней, выраженных в стандартном базисе : αi= ei– ei + 1 для 1 ≤ i ≤ n.

Отражение σiчерез гиперплоскость, перпендикулярную αi, совпадает с перестановкой соседнего i - -я и (i + 1 ) -я координаты. Такие транспозиции генерируют полную группу перестановок. Для смежных простых корней σ i(αi + 1) = αi + 1 + αi= σ i + 1 (αi) = αi+ αi + 1, что есть отражение эквивалентно сложению числа, кратного 1; но отражение простого корня, перпендикулярного несмежному простому корню, оставляет его без изменений, отличаясь кратным 0.

Корневая решетка A n, то есть решетка, порожденная A n корней - проще всего описать как набор целочисленных векторов в R, сумма компонентов которых равна нулю.

Корневая решетка A 2 - это расположение вершин треугольной мозаики .

Корневая решетка A 3 известна кристаллографам как гранецентрированная кубическая (или кубическая плотноупакованная ) решетка.. Это расположение вершин решетки тетраэдрически-октаэдрические соты.

Корневая система A 3 (как и другие корневые системы третьего ранга) может быть смоделирована в Zometool Construction set.

В общем, n решетка корней - это расположение вершин n-мерной простой соты.

Bn
Простые корни в B4
e1e2e3e4
α11−100
α201−10
α3001−1
α40001
Dyn2-узел n1.png Dyn2-3.png Dyn2-узел n2.png Dyn2-3.png Dyn2-node n3.png Dyn2-4b.png Dyn2-nodeg n4.png

Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины 1 или √2. Общее количество корней 2n. Один из вариантов простых корней: αi= ei– ei + 1, для 1 ≤ i ≤ n - 1 (выбор простых корней выше для An − 1), а более короткий корень αn= en.

Отражение σ n через гиперплоскость, перпендикулярную короткому корню αn, конечно, просто отрицание n-й координаты. Для длинного простого корня αn − 1, σ n − 1 (αn) = αn+ αn − 1, но для отражения, перпендикулярного короткому корню, σ n(αn − 1) = αn − 1 + 2 αn, разница кратна 2 вместо 1.

Корень B n решетка, то есть решетка, порожденная корнями B n, состоит из всех целочисленных векторов.

B1изоморфен A 1 посредством масштабирования на √2, и поэтому не является отдельной корневой системой.

Cn Корневая система B 3, C 3 и A 3=D3как точки внутри куба и октаэдра
Простые корни в C4
e1e2e3e4
α11−100
α201−10
α3001−1
α40002
Dyn2-nodeg n1.png Dyn2-3.png Dyn2-nodeg n2.png Dyn2-3.png Dyn2-nodeg n3.png Dyn2-4a.png Dyn2-node n4.png

Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины √2 вместе со всеми векторами формы 2λ, где λ - целочисленный вектор длины 1. Общее количество корней 2n. Один из вариантов простых корней: αi= ei– ei + 1 для 1 ≤ i ≤ n - 1 (выбор простых корней выше для An − 1), а более длинный корень αn= 2 en. Отражение σ n(αn − 1) = αn − 1 + αn, но σ n − 1 (αn) = αn+ 2 αn − 1.

Решетка корней C n, то есть решетка, порожденная корнями C n, состоит из всех целочисленных векторов, сумма компонентов которых равна четному целому числу.

C2изоморфен B 2 посредством масштабирования на √2 и поворота на 45 градусов, и поэтому не является отдельной корневой системой.

Dn
Простые корни в D4
e1e2e3e4
α11−100
α201−10
α3001−1
α40011
DynkinD4 labeled.png

Пусть E = R, и пусть Φ состоит из всех целочисленных векторов в E длины √2. Общее количество корней 2n (n - 1). Один из возможных вариантов простых корней: αi= ei– ei + 1, для 1 ≤ i < n − 1 (the above choice of simple roots for An − 1) плюс αn= en+ en − 1.

Отражение через гиперплоскость, перпендикулярную αnто же самое, что , транспонирующий и отменяющий соседние n-ю и (n - 1) -ю координаты. Любой простой корень и его отражение, перпендикулярное другому простому корню, отличаются от второго корня кратным 0 или 1, а не большим кратным.

Решетка корней D n, то есть решетка, порожденная корнями D n, состоит из всех целочисленных векторов, сумма компонентов которых равна четному целому числу. Это то же самое, что и решетка корней C n.

Корни D n выражаются как вершины выпрямленного n- ортоплекса, диаграммы Кокстера-Дынкина : CDel node.png CDel 3.png Узел CDel 1.png CDel 3.png ... CDel 3.png CDel node.png CDel split1.png CDel nodes.png . 2n (n - 1) вершины находятся в середине ребер n-ортоплекса.

D3совпадает с A 3 и поэтому не является отдельной корневой системой. 12 корневых векторов D 3 выражены как вершины CDel node.png CDel split1.png Узлы CDel 11.png , конструкция с более низкой симметрией кубооктаэдра .

D4имеет дополнительную симметрию, называемую тройственностью. 24 корневых вектора D 4 выражаются как вершины CDel node.png CDel 3.png Узел CDel 1.png CDel split1.png CDel nodes.png , конструкции с более низкой симметрией 24-элементного.

E6, E 7, E 8
E6Coxeter.svg . 72 вершины 122 представляют корневые векторы E6. (Зеленые узлы удвоены в этой проекции плоскости Кокстера E6)E7Petrie.svg. 126 вершин 231 представляют корневые векторы E7 E8 graph.svg . 240 вершин 421 представляют корневые векторы E8
DynkinE6AltOrder.svg DynkinE7AltOrder.svg DynkinE8AltOrder.svg
  • Th e E 8 корневая система - это любой набор векторов в R, который конгруэнтен следующему набору:
D 8 ∪ {1 2 (∑ i = 1 8 ε iei): ε i = ± 1, ε 1 ⋯ ε 8 = + 1}. {\ Displaystyle D_ {8} \ чашка \ left \ {{\ frac {1} {2}} \ left (\ sum _ {i = 1} ^ {8} \ varepsilon _ {i} \ mathbf {e} _ {i} \ right): \ varepsilon _ {i} = \ pm 1, \, \ varepsilon _ {1} \ cdots \ varepsilon _ {8} = + 1 \ right \}.}{\ displaystyle D_ {8} \ cup \ left \ {{\ frac {1} {2}} \ left (\ sum _ {i = 1} ^ {8} \ varepsilon _ {i} \ mathbf {e} _ {i} \ right): \ varepsilon _ {i} = \ pm 1, \, \ varepsilon _ {1} \ cdots \ varepsilon _ {8} = + 1 \ right \}.}

В корневой системе есть 240 корней. Только что перечисленный набор - это набор векторов длины √2 в корневой решетке E8, также известный как решетка E8 или Γ 8. Это набор точек в R таких, что:

  1. все координаты являются целыми числами или все координаты являются полуцелыми числами (смесь целых чисел и полуцелые числа не допускаются), и
  2. сумма восьми координат является четным целым числом.

Таким образом,

E 8 = {α ∈ Z 8 ∪ (Z + 1 2) 8: | α | 2 = ∑ α i 2 = 1, ∑ α i ∈ 2 Z. } {\ displaystyle E_ {8} = \ left \ {\ alpha \ in \ mathbb {Z} ^ {8} \ cup (\ mathbb {Z} + {\ tfrac {1} {2}}) ^ {8} : | \ alpha | ^ {2} = \ sum \ alpha _ {i} ^ {2} = 1, \, \ sum \ alpha _ {i} \ in 2 \ mathbb {Z}. \ right \}}{\ displaystyle E_ {8} = \ left \ {\ alpha \ in \ mathbb {Z} ^ {8} \ cup (\ mathbb {Z} + {\ tfrac {1} {2}}) ^ {8} : | \ alpha | ^ {2} = \ sum \ alpha _ {i} ^ {2} = 1, \, \ sum \ alpha _ {i} \ in 2 \ mathbb {Z}. \ right \}}
  • Корневая система E 7 - это набор векторов в E 8, которые перпендикулярны фиксированному корню в E 8. Корневая система E 7 имеет 126 корней.
  • Корневая система E 6 не является набором векторов в E 7, которые перпендикулярны к фиксированному корню в E 7, действительно, таким образом получается D 6. Однако E 6 является подсистемой E 8, перпендикулярной двум соответствующим образом выбранным корням E 8. Корневая система E 6 имеет 72 корня.
Простые корни в E 8 : четные координаты
1−1000000
01−100000
001−10000
0001−1000
00001−100
000001−10
00000110
−½−½−½−½−½−½−½−½

Альтернативное описание E 8 Решетка, которая иногда удобна, представляет собой набор Γ '8 всех точек в R таких, что

  • все координаты являются целыми числами, а сумма координат четна, или
  • все координаты являются полуцелыми числами, а сумма координат нечетная.

Решетки Γ 8 и Γ '8 равны изоморфный ; переходить от одного к другому можно, меняя знаки любого нечетного числа координат. Решетка Γ 8 иногда называется четной системой координат для E 8, тогда как решетка Γ '8 называется нечетной системой координат.

Один из вариантов простых корней для E 8 в четной системе координат со строками, упорядоченными по порядку узлов в альтернативных (неканонических) диаграммах Дынкина (см. Выше):

αi= ei– ei +1, для 1 ≤ i ≤ 6, и
α7= e7+ e6

(указанный выше выбор простых корней для D 7) вместе с

α 8 = β 0 = - 1 2 (∑ i = 1 8 ei) = (- 1/2, - 1/2, - 1/2, - 1/2, - 1/2, - 1/2, - 1/2, - 1/2). {\ displaystyle \ mathbf {\ alpha} _ {8} = \ mathbf {\ beta} _ {0} = - {\ frac {1} {2}} \ left (\ sum _ {i = 1} ^ {8 } e_ {i} \ right) = (- 1/2, -1 / 2, -1 / 2, -1 / 2, -1 / 2, -1 / 2, -1 / 2, -1 / 2).}{\ displaystyle \ mathbf {\ alpha} _ {8 } = \ mathbf {\ beta} _ {0} = - {\ frac {1} {2}} \ left (\ sum _ {i = 1} ^ {8} e_ {i} \ right) = (- 1 /2,-1/2,-1/2,-1/2,-1/2,-1/2,-1/2,-1/2).}
Простые корни в E 8 : нечетные координаты
1−1000000
01−100000
001−10000
0001−1000
00001−100
000001−10
0000001−1
−½−½−½−½−½½½½

Один выбор простых корней для E 8 в нечетной системе координат со строками, упорядоченными по Порядок узлов в альтернативных (неканонических) диаграммах Дынкина (выше):

αi= ei– ei + 1, для 1 ≤ i ≤ 7

(указанный выше выбор простых корней для A 7) вместе с

α8= β5, где
βj= 1 2 (- ∑ i = 1 jei + ∑ i = j + 1 8 ei). {\ displaystyle \ textstyle {\ frac {1} {2}} (- \ textstyle \ sum _ {i = 1} ^ {j} e_ {i} + \ textstyle \ sum _ {i = j + 1} ^ { 8} e_ {i}).}{\ displaystyle \ textstyle {\ frac {1} {2}} (- \ textstyle \ sum _ {i = 1} ^ {j} e_ {i} + \ textstyle \ sum _ {i = j + 1} ^ {8} e_ {i}).}

(Использование β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 как:

E7= {α∈ Z∪ (Z + ½) : ∑αi+ α1= 2, ∑ αi+ α1∈ 2 Z},
E6= {α∈ Z∪ (Z + ½) : ∑αi+ 2 α1= 2, ∑ αi+ 2 α1∈ 2 Z}

Обратите внимание, что удаление α1, а затем α2дает наборы простых корней для E 7 и E 6. Однако эти наборы простых корней находятся в разных подпространствах E 7 и E 6 E 8, чем написанные выше, поскольку они не ортогональны α1или α2.

F4
Простые корни в F 4
e1e2e3e4
α11−100
α201−10
α30010
α4
Dyn2-узел n1.png Dyn2-3.png Dyn2-узел n2.png Dyn2-4b.png Dyn2-nodeg n3.png Dyn2-3.png Dyn2-nodeg n4.png
48-корневых векторах F4, определенные вершинами 24-ячейки и ее двойника, рассматриваемые в Coxeter плоскость

Для F 4, пусть E = R, и пусть Φ обозначает набор векторов α длины 1 или √2 таких, что координаты 2α являются целыми числами и либо все четные, либо все нечетные. В этой системе 48 корней. Один из вариантов простых корней: выбор простых корней, данный выше для B 3, плюс α4= - 1 2 ∑ i = 1 4 ei {\ displaystyle \ textstyle {\ frac { 1} {2}} \ sum _ {i = 1} ^ {4} e_ {i}}\ textstyle {\ frac {1} {2}} \ sum _ {i = 1} ^ {4} e_ {i} .

Корневая решетка F 4, то есть решетка, порожденная F 4 корневая система - это набор точек в R таких, что либо все координаты являются целыми числами, либо все координаты являются полуцелыми числами (a сочетание целых и полуцелых чисел не допускается). Эта решетка изоморфна решетке кватернионов Гурвица.

G2
Простые корни в G 2
e1e2e3
α11−10
β−12−1
Dyn2-nodeg n1.png Dyn2-6a.png Dyn2-узел n2.png

Корневая система G 2 имеет 12 корней, которые образуют вершины a гексаграмма. См. Рисунок выше.

Один из вариантов простых корней: (α1, β= α2– α1), где αi= ei– ei + 1 для i = 1, 2 - это выбранный выше выбор простых корней для A 2.

Решетка корней G 2, то есть решетка, порожденная корнями G 2, такая же, как решетка корней A 2.

Корневой poset
диаграмма Хассе E6 корневой poset с метками краев, определяющими добавленную простую корневую позицию

Набор положительных корней естественно упорядочивается, говоря, что α ≤ β {\ displaystyle \ alpha \ leq \ beta}\ alpha \ leq \ beta тогда и только тогда, когда β - α {\ displaystyle \ beta - \ alpha}\ beta - \ alpha является неотрицательной линейной комбинацией простых корни. Этот poset оценивается на deg ⁡ (∑ α ∈ Δ λ α α) = ∑ α ∈ Δ λ α {\ displaystyle \ deg {\ big (} \ sum _ {\ alpha \ in \ Delta} \ lambda _ {\ alpha} \ alpha {\ big)} = \ sum _ {\ alpha \ in \ Delta} \ lambda _ {\ alpha}}{\ display стиль \ deg {\ big (} \ sum _ {\ alpha \ in \ Delta} \ lambda _ {\ alpha} \ alpha {\ big)} = \ sum _ {\ alpha \ in \ Delta} \ lambda _ {\ alpha}} , и обладает множеством замечательных комбинаторных свойств, одно из которых состоит в том, что можно определить степени фундаментальных инвариантов соответствующей группы Вейля из этого ч.у.м. Граф Хассе представляет собой визуализацию порядка корневого набора.

См. Также
Примечания
Литература
  • Adams, JF (1983), Лекции по группам Ли, University of Chicago Press, ISBN 0-226-00530-5
  • Бурбаки, Николас (2002), группы Ли и алгебры Ли, Главы 4–6 (перевод с французского оригинала Эндрю Прессли 1968 года), Elements of Mathematics, Springer-Verlag, ISBN 3-540-42650-7. Классический справочник по корневым системам.
  • Bourbaki, Nicolas (1998). Элементы истории математики. Springer. ISBN 3540647678.
  • А.Дж. Коулман (лето 1989 г.), «Величайшая математическая статья всех времен», The Mathematical Intelligencer, 11 (3): 29–38, doi : 10.1007 / bf03025189
  • Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение, Graduate Texts in Mathematics, 222 (2-е изд.), Springer, ISBN 978-3319134666
  • Хамфрис, Джеймс (1992). Группы отражений и группы Кокстера. Издательство Кембриджского университета. ISBN 0521436133.
  • Хамфрис, Джеймс (1972). Введение в алгебры Ли и теорию представлений. Springer. ISBN 0387900535.
  • Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen Mathematische Annalen, Часть 1 : Том 31, номер 2, июнь 1888 года, страницы 252 –290 doi : 10.1007 / BF01211904 ; Часть 2 : Том 33, номер 1, март 1888 года, страницы 1–48 doi : 10.1007 / BF01444109 ; Часть 3 : Том 34, номер 1, март 1889 г., страницы 57–122 doi : 10.1007 / BF01446792 ; Часть 4 : Том 36, номер 2, июнь 1890 г., страницы 161–189 doi : 10.1007 / BF01207837
  • Кац, Виктор Г. (1994), Бесконечномерные алгебры Ли.
  • Спрингер Т.А. (1998). Линейные алгебраические группы, второе издание. Birkhäuser. ISBN 0817640215.
Дополнительная литература
  • Дынкин, Э. Б. Строение полупростых алгебр. Успехи матем. НАУК 2, (1947). нет. 4 (20), 59–127.
Внешние ссылки
Викискладе есть носители, связанные с корневыми системами.

Последняя правка сделана 2021-06-04 10:10:36
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте