Groups-6
.pdf
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 =  | 
	CiβCjβ =  | 
	Ci Cj =  | 
	i j ,  | 
	(60)  | 
  | 
	
  | 
	a,b  | 
	,β  | 
	
  | 
	
  | 
	
  | 
где первое равенство–это определение метрики Киллинга,второе равенство возникает из-за равенства нулю структурной конствнты Cik, а третье равенства из - за свойства , что
Ciβ = 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
