Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Groups-6

.pdf
Скачиваний:
18
Добавлен:
03.06.2015
Размер:
678.55 Кб
Скачать

6 Базис Картана - Вейля

6.1Построение базиса Картана-Вейля для простых алгебр Ли

Определение32 Пусть g – полупростая алгебра Ли . Выделим вg максимальную подалгебру h с образующими hi, i = 1, 2, . . . , r такими,что

1.[hi, hj ] = 0;

2.матрицы ad(hi) диагонализуемы для всех i.

Такая максимальная коммутативная подалгебра h в g называется подалгебра Картана, а число r – рангом алгебры Ли g.

Все образующие алгебры Ли g можно разбить на две группы:

hi, i = 1, . . . , r, ta, a = 1, . . . , dim(g) − r,

где генераторы ta образуют ортогональное дополнение к h:

tr (ad(hi)ad(ta)) = 0 .

(44)

Действительно,пользуясь свойством гомоморфизма присоединенного представления 9 можно показать,что

tr(ad(hi)ad([hj , ta])) = tr(ad(hi)[ad(hj ), ad(ta)]) = tr([ad(hi), ad(hj )]ta) = 0 .

Из этого равенства следует,что если условие ортогональности(44)выполнено для генераторов ta,то оно будет выполнено и для коммутатора [hj , ta], что в свою очередь означает

[hj , ta] = Hj,abtb .

(45)

Из тождества Якоби и соотношения(45)очевидным образом следует,что матрицы

Hj

образуют (dim g−r)-мерное представление подалгебры Картана( убедитесь в этом!).Так

9Напоминаем,что свойство гомоморфизма присоединенного представление может быть записано в виде

ad([A, B]) · X = [[A, B], X] = [A, [B, X]] − [B, [A, X]] = [ad(A), ad(B)] · X,

где во втором равенстве использовано тождество Якоби.

69

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

tr (ad(ta)ad(tb)) = Xab

(46)

также невырождена.Кроме того

 

Hj,acXcb = tr (Hj,acad(tc)ad(tb)) = tr ([ad(hj ), ad(ta)]ad(tb)) =

 

= −tr ([ad(hj ), ad(tb)]ad(ta)) = −Hj,bcXca

 

то есть матрицы Hj антисимметричны с точностью до преобразования сопряжения

 

(Hj X)t = −Hj X =) Hjt = −X−1Hj X

(47)

и невырождены.10 В силу коммутативности матриц [Hi, Hj ] = 0 и их диагонизуемости следует,что они обладают системой собственных векторов

vb( )Hi,ba = iva( ) () v( )Hi = iv( ).

(48)

Для матриц H со свойством симметрии(47)справедливо следующее

Утверждение12 Если – собственное значение диагонализуемой матрицы H, удовле - творяющей свойству(47),то − также является его собственным значением.

Доказательство. Любая из матриц Hi удовлетворяет характеристическому тождеству

Y

(H − i1) = 0 . (49)

i

Собственные вектора для набора коммутирующих матриц Hi образуют базис в r-мерном векторном пространстве.Матрица в левой части(49)зануляется на всех векторах из этого пространства,а значит она равна нулю.Транспонируем матрицу в левой части(49)и воспользуемся свойством(47).Получим

Y

(H + i1) = 0 .

(50)

i

10Если эти матрицы были бы вырождены,то из соотношения(45)следовало бы,что какая-то линейная комбинация генераторов ta коммутировала бы с генераторами подалгебры Картана,а значит эта подалгебра не была бы максимальной коммутативной подалгеброй.

70

Отсюда следует справедливость утверждения.

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

H = A · diag( 1, . . . , r) · A−1

Тогда матрица в левой части(49)может быть переписана в виде

YYr

(H − i1) = A ·

diag( 1 i, . . . , i−1 i, 0, i+1 i, . . . , r i) · A−1 = 0 .

i

i=1

 

 

Определим новые генераторы e формулами

 

 

e = Xa

va( )ta

(51)

Тогда пользуясь соотношением(48)коммутационное соотношение(45)запишется в виде

 

 

[hj , e ] = va( )Hj,abtb = j vb( )tb = j e

(52)

Определение33 Векторы r-мерного векторного пространства Vr с координатами ( 1,2, . . . , r), возникающими в коммутационных соотношениях (52), называются корне - выми векторами(или корнями алгебры Ли g).

Любой элемент алгебры g может быть представлен линейной комбинацией образующих hi, i = 1, . . . , r и e для всех корневых векторов 2 Vr.

Определение34 Базис алгебры Ли g, образованный элементами hi, e называется базисом Картана-Вейля.

В присоединенном представлении

[ad(hi), ad(e )ad(eβ)] = ( + β)i ad(e )ad(eβ) .

(53)

Это равенство следует из свойства коммутатора

[A, BC] = ABC − BCA = ABC − BAC + BAC − BCA = [A, B]C + B[A, C]

71

для любых операторов A, B, C,которое эквивалентно правилу Лейбница дифференцирования произведения функций.

Вычисляя след обоих частей формулы(53)получим,что

tr

(ad(e )ad(eβ)) = 0

(54)

для всех корневых векторов ,β 2

Vr таких,что + β 6= 0.Из-за невырожденности

метрики Киллинга из(54)следует,что

 

tr (ad(e )ad(e)) 6= 0,

8 .

Выбрав нормировку образующих генераторов e , можно добиться того , чтобы метрика Киллинга имела вид

tr (ad(hi)ad(hj )) = gij , tr (ad(hi)ad(e )) = 0, tr (ad(e )ad(eβ)) = δ ,−β .

(55)

Перенормировать генераторы подалгебры Картана чтобы превратить gij в символ Кронекера нельзя,так как в этом случае изменится нормировка корневых векторов в соотноше-

нии(52).

Далее из тождества Якоби можно легко получить,что

[hi, [e , eβ]] = ( + β)i[e , eβ] .

(56)

Тогда если вектор + β является корнем,то коммутатор генераторов [e , eβ] должен быть пропорционален генератору e

[e , eβ] = N( ,β)e ,

(57)

где N( ,β) некоторые ненулевые константы.Если + β не является корнем и + β 6= 0, то [e , eβ] = 0.Если же + β = 0,то для выполнения(56)должно быть

[e , e] = xihi ,

(58)

где xi 2 C некоторые константы.В нормировке(55)эти константы могут быть вычислены следующей выкладкой

xigji = xitr (ad(hj )ad(hi)) = tr ([ad(hj ), ad(e )]ad(e)) = j tr (ad(e )ad(e)) = j .

72

Таким образом xi = gij j = i, где gij элементы матрицы обратной к gjk: gij gjk = δki . Итак соотношения(32)для алгебры Ли g в базисе Картана-Вейля hi, e переписыва-

ются в виде

 

 

 

 

 

 

 

[hi, hj ] = 0 , [hi, e ] = ie , [e , e] = i hi ,

 

[e , eβ] = N( ,β)e ,

если ( + β) – корень ,

 

(59)

 

[e , eβ] = 0 ,

если ( + β) – не корень и ( + β) 6= 0 .

 

Заметим,матрица

gij может быть выражена через координаты корней.Пользуясь об-

щей формулой для матрицы метрики Киллинга(40)

X

 

 

 

X

X

X

 

gij

=

Ciba Cjab =

CCjβ =

Ci Cj =

i j ,

(60)

 

 

a,b

 

 

 

где первое равенство–это определение метрики Киллинга,второе равенство возникает из-за равенства нулю структурной конствнты Cik, а третье равенства из - за свойства , что

C= Ci δβ .

6.2Свойства корней

Одним из ключевых утверждений в задаче классификации простых алгебр Ли является следующая

Теорема12 Если и β корни,то

2( ,β )/ 2 – целое число и вектор11

 

 

 

 

 

 

( ,β )

 

(61)

 

 

σ (β) = β − 2

 

 

2

тоже корень.

 

 

 

 

 

 

Доказательство. Из(52)и(59)следует,что три генератора

 

e = p

 

e ,

f = p

 

e,

h = 2( ihi)/ 2

(62)

2/ 2

2/ 2

образуют алгебру ли sl(2) (41).

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

11( ,β ) = Pi iβi есть обычное эвклидово скалярное произведение и 2 = ( , ).

73

как мы изучаем конечномерные алгебры Ли,то и представления алгебры(62)для любого корня должны быть конечными,а это,в силу теории конечномерных представлений алгебры sl(2),рассмотренной в предыдущей лекции,означает,что собственные значения оператора h в присоединенном представлении на любом генераторе eβ

[h , eβ] =

2( ,β )

eβ

(63)

2

 

 

 

должно быть целым числом.Итак числа 2( ,β )/ 2

должны быть целыми для любых

корней и β.Заметим,что из симметричности скалярного произведения целым должно быть и число 2( ,β )/β2.

Для фиксированного корня рассмотрим корень γ такой,что

 

 

 

[e , eγ] = 0

(64)

и набор образующих

 

 

 

 

 

[e, eγ] = eγ0 ,

 

 

[e, eγ0 ] = eγ0 −2 ,

(65)

 

 

 

 

 

.......................................................

 

 

[e, eγ0

−j ] = eγ0

−(j+1) = 0 ,

 

где

 

 

 

 

eγ0

−k = N( ,γ)N( ,γ− ) · · · N( ,γ−(k−1) ) eγ−k

(66)

есть перенормированный генератор eγ−k и цепочка оборвана на некотором пока неизвест - ном шаге (j + 1) в силу конечномерности рассматриваемой алгебры.Очевидно,что для всех m, 0 m j мы имеем

[e , e0

] = µm+1e0

,

(67)

γ−(m+1)

γ−m

 

 

где коэффициенты µm удовлетворяют начальным условиям и условию обрыва цепочки

(65):

µ0 = 0 = µj+1 .

(68)

74

Cпомощью следующей выкладки

µm+1e0γ−m = [e , e0γ−(m+1) ] = [e , [e, e0γ−m ]] =

=−[e0γ−m , [e , e]] − [e, [e0γ−m , e ]] =

=−[e0γ−m , i hi] + µm[e, e0γ−(m−1) ] =

=(( ,γ ) − m( , ) + µm) e0γ−m ,

можно найти рекуррентное соотношение для коэффициентов µm:

µm+1 = µm + ( ,γ ) − m 2 .

(69)

Начальное условие µ0 = 0 позволяет легко найти решение этого рекуррентного соотношения

µ

m

= m( ,γ )

m(m − 10

2 ,

(70)

 

 

 

 

2

 

 

а условие обрыва цепочки корней µj+1 = 0 (68)позволяют зафиксировать число

j:

 

 

 

j

 

 

( ,γ )

(71)

0 = ( ,γ ) −

 

2 ,

=) j = 2

 

 

2

2

которое по вышедоказанному должно быть целым числом.

Итак мы доказали,что если вектора и γ из векторного пространства Vr являются корнями для некоторой конечномерной алгебры Ли,а вектор + γ не является корнем, то существует цепочка(струна)корней

γ,γ − , . . . ,γ − j γ − 2

( ,γ )

.

(72)

( , )

Этот набор корней симметричен относительно отражения в гиперплоскости P , перпенди - кулярной к вектору : ? P и проходящей через начало координат корневого простран - ства.Концы векторов(72)лежат на одной прямой сонаправленной вектору .Например, корень

σ (γ) = γ − 2

( ,γ )

 

 

(73)

 

 

 

 

( , )

 

является отражением корня γ относительно гиперплоскости P .Действительно,корень γ

может быть разложен на два вектора = γ −

( ,γ)

2 P и =

( ,γ)

? P . Вектор

( , )

 

( , )

не меняется при отражении,а вектор меняет знак.Преобразование(73)называется

75

вейлевским отражением.Возвращаясь к формулировке теоремы,заметим,что если корень

β содержится в струне(72),то в ней же содержится и корень

β − 2

( ,β)

.

( , )

Заметим,что квадрат вейлевского отражения σ2 (γ) = γ равен единице.Действительно

 

 

 

( ,γ − 2

( ,γ)

 

 

( ,γ )

 

 

 

)

 

σ (σ (γ)) = γ − 2

− 2

( , )

 

 

 

 

 

 

 

 

 

( , )

( , )

 

 

 

= γ − 2

( ,γ )

− 2

( ,γ )

( ,γ )

 

 

 

+ 4

 

 

= γ

( , )

( , )

( , )

Следствие3

Из набора(струны)корней(72)следует,что если

и γ корни,а

( + γ)

не корень,то

( ,γ ) > 0. Заменяя , ! − , получаем , что если(γ − ) не корень,то

( ,γ ) < 0.

 

 

 

 

 

Пользуясь тождеством Якоби можно доказать следующее соотношение

 

 

N2=

(m + 1)(j − m)

( , ) ,

 

(74)

 

2

 

 

 

где корень β принадлежит -струне корней,проходящих через корень γ : β = γ −(m+ 1)

и j = 2( ,γ )/( , ).Из формулы(74)следует что структурные константы

N определя-

ются с точностью до знака.

 

 

 

 

 

Пользуясь результатом теоремы12можно получить следующие неравенства

0

2( ,β ) 2( ,β )

= mn = 4 cos2 4 ,

(75)

 

 

 

2

 

β2

где m, n –целые числа.Из этих неравенств следует,что существует две возможности

Корни и β не коллинеарны.Тогда для целых чисел m и n возникают следующие возможности: 0 mn 3, что эквиваленто

 

 

m = 2

( ,β)

=

0

±1

±1

±1

 

 

 

 

 

2

 

 

(76)

 

 

n = 2

( ,β)

 

=

0

±1

±2

±3

 

 

 

 

 

 

β2

 

 

плюс перестановки в(76)верхней и нижней строчек.

 

 

 

 

• Корни и β коллинеарны.Тогда

 

mn = 4, что соответствует

 

m = 2

( ,β)

=

 

 

 

 

 

0

 

±1

 

±2

 

2

 

 

 

 

 

 

 

(77)

n = 2

( ,β)

=

 

 

 

 

 

0

 

±1

 

±2

 

 

 

 

 

 

 

 

 

β2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ±β

= ±2β

β = ±2

 

76

Случаи = ±β тривиальны,а случаи = ±2β β = ±2 запрещены,так как [e , e ] = 0 тождественно.

Таким образом единственно возможными значениями целых чисел 2(( ,,β)) или 2((β,β)) в простой алгебре Ли могут быть 0, ±1, ±2, ±3.

Лемма1 Пусть и β – два различных корня . Тогда если( ,β ) > 0, то ( − β) также корень,а если ( ,β ) < 0, то ( + β) также корень.

Док-во. Рассмотрим случай ( ,β ) < 0 (случай ( ,β ) > 0 будет следовать автоматически

при замене β ! −β).В этом случае из(76)следует,что либо

2

( ,β)

, либо 2

( ,β)

равно

2

β2

−1. Без потери общности можно считать , что2

( ,β)

= −1. Тогда с помощью Вейлевского

2

 

отражения получим

 

 

 

 

 

 

 

 

 

( ,β )

 

 

 

 

 

 

σ (β) = β − 2

 

 

= β +

 

 

 

 

 

2

 

 

 

 

 

 

и в силу теоремы 12, + β является корнем.

Пример3 Система корней алгебры sl(3). Алгебра Ли sl(3) – это векторное про -

странство всех безследовых матриц 3 3. Очевидно , что подалгебра диагональных мат - риц с нулевым следом является коммутативной подалгеброй.Выберем ее в качестве подалгебры Картана с базисом

 

 

 

 

0 1

0

0 1

 

 

 

1

0 1

0

0

 

1

 

 

 

 

 

 

H1

=

B

0

0

0

C

 

H2

 

 

 

B

0

0

 

2

C

 

 

 

(78)

 

 

B

0

−1

0

C ,

 

= p3 B

0

1

0

 

C

 

 

 

 

 

 

 

B

 

 

 

C

 

 

 

 

 

B

 

 

 

 

C

 

 

 

 

 

 

 

 

@

 

 

 

A

 

 

 

 

 

@

 

 

 

 

 

A

 

 

 

 

таким,что tr(HiHj ) = 2δij . Оставшиеся 6

образующих алгебры sl(3) которые мы обо-

значим E± , E±β, E±γ можно выбрать следующим образом

0 0

 

1 1

 

 

 

0 0

1

0 1

 

 

0 0

0

0 1

 

 

 

0

 

 

E =

B

0

0

0

C

, Eβ

B

0 0

0

C

,

 

 

B

 

0 0

0

C

,

(79)

B

0

0

0

C

= B

0

0

1

C

Eγ = B

 

0

0

0

C

 

B

 

 

 

C

 

 

B

 

 

 

C

 

 

 

B

 

 

 

 

C

 

 

 

@

 

 

 

A

 

 

@

 

 

 

A

 

 

 

@

 

 

 

 

A

 

 

E= Et , E−β = Eβt , E−γ = Eγt .

77

Определяющие соотношения алгебры sl(3) в выбранном базисе имеют вид

[H1, E ] = 2E , [H1, Eβ] = −Eβ , [H1, Eγ] = Eγ ,

p p (80)

[H2, E ] = 0 , [H2, Eβ] = 3Eβ , [H2, Eγ] = 3Eγ .

Эти коммутационные соотношения позволяют получить согласно определению(59)координаты корневого вектора [hi, e ] = ie все координаты векторов корней в двумерном пространстве

 

p

 

 

p

 

 

 

 

 

= (2, 0) ,

β = (−1, 3) ,

γ = (1, 3) = + β ,

(81)

 

p

 

 

 

 

p

 

 

− = (−2, 0) ,

−β = (1, − 3) ,

−γ = (−1, − 3)

 

которые можно изобразить на корневой диаграмме

Рис. 2:Система корней алгебры sl(3)

На этой диаграмме вектора (1) = и (2) = β являются образующими всей корневой системы.Зная взаиморасположения этих векторов,можно восстановить всю корневую систему алгебры sl(3),а значит и коммутационные соотношения в’njqалгебре.Такие корни называются простыми положительными корнями и классификация всех возможных алгебр Ли сводится к задаче классификации простых положительных корней.Это будет предметом следующей лекции.

78

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]