КЛАССИФИКАЦИЯ ТРЕХМЕРНЫХ АЛГЕБР ЛИ НАД ПОЛЕМ КОМПЛЕКСНЫХ ЧИСЕЛ

Автор: Шамардина Е. Р.

УДК 514.76

Е. Р. Шамардина1

1 Балтийский федеральный университет им. И. Канта, Россия katerina.r2805@gmail.com http://orcid.org/0000-0002-2542-9167 doi: 10.5922/0321-4796-2020-51-16

Классификация трехмерных алгебр Ли над полем комплексных чисел

В данной работе изучен вопрос о классификации трехмерных алгебр Ли над полем комплексных чисел с точностью до изоморфизма. Предложенная классификация основана на рассмотрении объектов, инвариантных относительно изоморфизма, а именно таких величин, как производная подалгебра и центр алгебры Ли. Приведенную классификацию отличает от других более подробное и простое изложение.

Утверждение 1. Для произвольной двумерной неабелевой алгебры Ли L2 над полем C найдется базис {x, y} такой, что [x,y] = x [2, р. 20].

Доказательство. Пусть L&2 — производная подалгебра алгебры Ли L . Для L&2 возможны следующие случаи:

dimL& 2 = 0, dim L& 2 = 1, dim L& 2 = 2.

Пусть dimL& 2 = 0 . Тогда все структурные уравнения равны нулю, значит L — абелева. Возникло противоречие с условием, значит, dimL&2 Ф 0.

Поступила в редакцию 06.05.2020 г. © Шамардина Е. Р., 2020

Пусть dim L&2 = 1, x eL&2, а y iL&2. Тогда

[x, y] eL&2, [x, y] = Ax, где Л 0, Л^С. Преобразуем

[x, y] = Лх О [x,~] = x,

где y =jy.

Таким образом, если dimL&2 = 1, то найдется базис {x, y} такой, что [x, y] = x .

Пусть dimL&2 = 2 и x, y eL&2, тогда [x, y] eL&2. Рассмотрим все возможные структурные уравнения от этих элементов [x, y] = -[y, x], [x, x] = [y, y] = 0. Откуда следует, что dimL&2 = 1.

Таким образом, справедлива

Теорема 1. Пусть С — поле комплексных чисел. Существует единственная (с точностью до изоморфизма) двумерная неабелева алгебра Ли L2 над полем С. При этом L2 обладает базисом {x, y} таким, что [x, y] = x.

Утверждение 2 [1, c. 21]. Если L — трехмерная алгебра Ли над полем С , где dimL& = 1, то:

1) L& с Z(L) либо L& n Z(L) = 0;

2) если L с Z(L), то существует базис {f, g, h} такой, что [ f, g] = h , h e Z(L);

3) если L& I~IZ(L) = 0 , то L = L2 © С .

Доказательство.

1. Покажем, что dim Z(L) = 1. Пусть {x, y, z} — базис L и x e L&, тогда структурные уравнения от базисных элементов примут вид

[x, y] = x, [x, z] = Ax, [y, z] = jux.

Рассмотрим произвольный элемент и е Ь : и = ах + ¡у + уг . Элемент и е Z(Ь) тогда и только тогда, когда он коммутирует со всеми базисными элементами алгебры Ли Ь, то есть [и, х] = [и, у] = [и, г ] = 0. Рассмотрим систему этих скобок Ли:

[и, х] = 0, [и, у] = 0, [и, г] = 0 (-¡-Лу)х = 0, (а-цу)х = 0, (аЛ + Рц)х = 0.

Отсюда в силу х Ф 0 имеем следующие уравнения: - Р - Лу = 0, а-цу = 0, аЛ + Рц = 0.

Примем за неизвестные а, Р,у , а за числовые коэффициенты Л и ц. Тогда матрица данной системы однородных линейных уравнений примет вид

(0 -1 -Я} 1 0 -/ Я / 0

Минор матрицы A : M33 =

ф 0, значит, rankA = 2 и сиV j

Так как определитель матрицы A нечетной размерности и сама матрица имеют кососимметрический вид, то det A = 0 .

0 -1 1 0 ,

стема линейных уравнений будет иметь бесконечно много решений. Найдутся такие коэффициенты а, Р,у, одновременно не равные нулю, следовательно, dim Z (L) = 1.

Поскольку dim Z(L) = 1, то пусть z е Z(L)(z Ф 0), а x, y £ Z(L). Если L& с Z(L) и dim L& = dim Z(L), значит L& = Z (L), тогда

[ x, y] = Az, [ x, z ] = 0, [y, z] = 0.

Если L& n Z (L) = 0, то имеем

[x, y] = Ax, [x, z] = 0, [y, z] = 0, Яе C, Яф 0.

2. Пусть {f,g,h} — базис L, где h е Z(L). Модифицируем этот базис. Основываясь на первом пункте, запишем структурные уравнения в виде

[f, g] = Лк, [g, h] = 0, [h, f] = 0 о

о [ f, ~] = h, [g, h] = 0, [h, f ] = 0,

где Лф 0, Л е C, g = — g . В результате имеем базис {f, g, h} Л

такой, что [ f, g] = h, h е Z (L).

3. Пусть {f,g,h} — базис L, где h е Z(L), f е L& . Тогда, основываясь на первом пункте, структурные уравнения от этих базисных элементов запишем в виде

[ f, g ] = Л, [ g, h] = 0, [h, f] = 0, Лф 0, Л е C. Модифицировав этот базис, имеем

[f, ~] = f, [h] = 0, [h, f ] = 0,

где g =—g .

Двумерную алгебру Ли L2 можем представить как линейную оболочку, натянутую на векторы {f, g} . Так как [ f, g] = f , то L2 будет идеалом. Поле комплексных чисел C изоморфно Z(L), который также является идеалом. Так как Z(L) in L2 = 0 , то алгебру Ли L можем представить в виде L = L2 © Z (L) о L = L2 © C .

Теорема 2. Пусть C — поле комплексных чисел. Существуют ровно две (с точностью до изоморфизма) трехмерные алгебры Ли L над полем C такие, что dimL& = 1:

1) алгебра Гейзенберга: L& с Z(L);

2) L = L2 © C, причем L& n Z(L) = 0.

Утверждение 3 [2, р. 22]. Если L — трехмерная алгебра Ли над полем C такая, что dimL& = 2, то:

1) L& — абелева;

2) adx |L: L& ^ L& — изоморфизм (Vx £ L&). Доказательство.

1. Пусть x £ L&. Составим структурные уравнения базиса

{x, y,z}:

[x, y] = yy + dz, [y, z] = ay + Pz, [x, z] = 4y + gz. (1) Для элементов базиса рассмотрим тождество Якоби

[x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 .

Подставим соответствующие разложения скобок Ли от базисных элементов и упростим adz + P4y — agy - Pyz = 0. Сгруппируем слагаемые двумя способами:

a(dz - gy) + P(4y-yz) = 0, (ad-Py) z + (РГ-ag) y = 0.

Так как z и y линейно независимы, то для (3) справедливо

P4-ag = 0, ad-py = 0,

то есть det

= 0, det

Составим матрицу коэффициентов системы (1):

&а у 4^

Р 5 ^ .

Поскольку размерность Ь& равна 2, ее ранг будет равен двум. Так как два ее минора второго порядка равны нулю, то третий минор будет отличен от нуля, а именно

= yg - 4d ф 0.

Введем новые обозначения в (2): у& = Sz — ду^& = —я + Уу . Составим матрицу коэффициентов правой части и найдем, чему будет равен ее определитель:

Г 5 -с\\

= 5£-удФ 0.

Значит, y& и z& линейно независимы и в (2) коэффициенты а и р равны нулю. Тогда система (1) примет вид

[x,y] = 7 + 5, [x,z] = 4y + gz, [y, z] = 0. (4)

Так как y, z е L& и [y,z] = 0 , то L& — абелева.

2. Пусть {x, y, z} — базис L. В силу предыдущего пункта структурные уравнения от базисных элементов примут вид (4). Так как [x,y] Ф 0, [x, z] Ф 0 и [x, y], [x, z] е L&, то [x, y], [x, z] — линейно независимы, где adx |L (y) = [x,y] и adx |L (z) = [x,z]. Значит, adx |L: L& ^ L& — изоморфизм (Vx й L&).

Утверждение 4. Если L — трехмерная алгебра Ли над полем C, dimL& = 2, и найдется h й L& такой, что оператор adh |L: L& ^ L& диагонализируем, то:

1) L имеет вид Lи для некоторого /Ф 0, и е С , где Lи —

трехмерная алгебра Ли над полем С, в которой существует базис {u,v, w} со структурными уравнениями

[u, v] = v, [u, w] = /uv, [v, w] = 0;

2) для любого x й L& присоединенный оператор ad~ |L: L& ^ L& также диагонализируем;

3) Lu= L9 тогда и только тогда, когда ц = 3 либо и = — .

Доказательство.

1. Так как dimL = 3 и dimL&= 2, то из утверждения 3 (п. 1) следует, что L& — абелева. Пусть {x,y} — базис L&, тогда [x, y] = 0 .

Рассмотрим присоединенный оператор adh (h £ L&), действующий на элементы x, y . Так как по условию adh |L&: L& ^ L& диагонализируемый, то

adh |L& (x) = [h, x] = ax + 0 • y и adh |L& (y) = [h, y] = 0 • x + Py . Матрица присоединенного оператора adh является диаго-(a 0}

нальной и имеет вид

10 Py

физма adh , доказанного в утверждении 3 (п. 2).

Рассмотрим базис {x, y, h} алгебры Ли L и модифицируем

[x, y] = 0, [h, x] = ax, [h, y] = Py ^ ^ [x, y] = 0, [h, x] = x, [h, y] = цy, где изоморфизм p задается следующим образом

, где a Ф 0, P Ф 0 ввиду изомор(р :х ^ v, у ^ w, hг = — И ^ и, а

где /и = РРФ 0 . Отсюда следует, что Ь = Ь а

2. Представим ~ £ Ь& в виде ~ = ЛИ + , где Лф 0,Ле С, И £ Ь&, w е Ь . Тогда подействуем присоединенным оператором на данное равенство = аёХИ + аёч,. За счет линейности оператора имеем = ЛаёИ + . Рассмотрим его сужение по Ь& аё- |Ь&= ЛаёИ |Ь& + |Ь . Так как Ь& — абелева и w е Ь&, то |Ь& = 0, исходя из чего перепишем предыдущее равенство следующим образом: |Ь= ЛаёИ |Ь .

Так как оператор ad~ \\L, является по условию диагонали-зируемым, то adh \\L, также будет диагонализируемым и они оба будут задаваться диагональными матрицами, собственные значения которых отличаются друг от друга лишь на коэффициент Л.

3. Необходимость. Пусть Lß = L3. Покажем, что

ц = 3 либо ц = — , цФ 0,3 Ф 0. 3

Рассмотрим Ln и L3. Пусть {x, y, z} — базис Lß . Тогда

структурные уравнения от базисных элементов примут вид [x, y] = y, [x, z] = ц , [y, z] = 0 . Аналогично и для L3 . Пусть {u,v,w} — базис L3, тогда [u,v] = v, [u,w] = 3w, [v,w] = 0.

Рассмотрим производные подалгебры L/, L&3.

Пусть x i L/, y, z e L/, тогда, опираясь на предыдущий пункт, мы можем утверждать, что существует присоединенный оператор adx : LЦ ^ L/, причем он является диагонализируемым и задается диагональной матрицей diag (1, ц) с собственными значениями 1, ц .

Пусть u i L&3 и v, w e L&3 , тогда существует присоединенный оператор adu : L3 ^ L&3, являющийся диагонализируемым и задаваемый диагональной матрицей diag (1,3) с собственными значениями 1,3 .

Так как Ln = L3, то существует изоморфизм р: LЦ ^ L&3, x ^ р(x). Запишем u в виде u = Лр(x) + s, где р(x) i L&3, s e L&3, Л e C. Тогда рассмотрим действие присоединенного оператора на это равенство adu = Лad(р(x)) + ads и сузим его на L&3 : adu L = Äad(р(x)) L +ads \\L3 . Так как L&3 — абелева и-s e L&3, то ads \\L, = 0 и получим следующее равенство:

adu |L^ = Aad(p(x)) L . Так как adu L диагонализируемый оператор, то и ad(p(x)) \\L, также диагонализируем. Тогда, исходя из доказанного выше, их собственные значения отличаются лишь на Л, откуда имеем 3 = ц либо ц = -1.

До статочность. Пусть ц = 3 либо ц = — . Покажем,

что LM= L3. В случае когда 3 = ц, изоморфизм очевиден.

Рассмотрим второй случай, когда -3 = ц . Запишем для

каждой из алгебр их систему структурных уравнений от базисных элементов.

LM: [x, y] = y, [x, z] = цг, [y, z] = 0; L3 : [u,v] = v, [u,w] = 3w, [v,w] = 0. Преобразуем первую систему структурных уравнений:

[ x, y] = y, [ x, z ] = цг, [ y, z ] = 0 ^

^ [~, y] = 3у, [~, z ] = z, [ y, z] = 0. Отсюда имеем, что LM = L3, где p — искомый изоморфизм p :3x = ~ ^ u, y ^ w, z ^ v.

Утверждение 5. Если L — трехмерная алгебра Ли над полем C , dim L& = 2, и оператор adx : L& ^ L& не диагонализируем ни для какого x £ L&, то найдется такой x £ L&, что adx (1 ^

задается матрицей .

Доказательство. Так как оператор adx : L& ^ L& не диаго-нализируем ни для какого элемента x £ L , значит, и матрица оператора не приводится к диагональному виду. Следовательно, ее собственные значения равны друг другу и жорданова

нормальная форма этой матрицы имеет вид [1, с. 264] ,

10 а)

где а Ф 0. Нужно показать, что аёх можно задать матрицей

Г1 11 01

вида

то есть что существует изоморфизм ( :

[x, y] = Лу, [x, z] = y + Л, [y, z] = 0 ——^ ——^ [x, y] = y, [x, z] = y + z, [y, z] = 0.

Модифицируем исходную систему структурных уравнений: [x, y] = Лу, [x, z] = y + Л, [y, z] = 0 ^ ^ [~, y] = y, [~] = y + ~, [y,~] = 0.

Получили искомый изоморфизм ( :

1 ~ _ _ Л ~ _

p: л x = x ^ x, y ^ y,Л_ = z ^ z.

Теорема 3. Существует бесконечно много (с точностью до изоморфизма) трехмерных комплексных алгебр Ли L над полем комплексных чисел таких, что dim L& = 2:

1) алгебра Ли вида LM, где це C ,| ц |> 1 ;

2) алгебра Ли, описанная в утверждении 5.

Утверждение 6 [1, с. 24]. Если L — трехмерная комплексная алгебра Ли и L = L&, то:

1) для любого ненулевого элемента x е L ранг оператора adx : L ^ L равен двум;

2) существует h е L такой, что adh обладает ненулевым собственным значением;

3) собственные значения оператора adh имеют вид a, 0, - a, где aФ 0;

4) элемент к можно дополнить до базиса [к, х, у} алгебры Ь такого, что [к, х] = ах, [к, у] = -су, [х, у] = к;

5) Ь = (2, С).

Доказательство.

1. Так как х Ф 0, можем дополнить его до базиса пространства Ь&: [х, у, г}. Так как Ь = Ь&, то Брап{[ х, у],[у, г],[г, х]}. Найдем образ оператора adx: 1ш(а^х) = Брап[\\х,у],[г,х]}. Так как [х,у], [у, г], [г,х] — линейно независимая система, то и ее подсистема [х, у],[г, х] будет также линейно независимой. Отсюда имеем, что ш(1ш^х)) = 2, тогда и rank(adx) = 2 .

2. Если для х е Ь оператор adx обладает ненулевым собственным значением, то положим к = х. Пусть для х Ф 0 оператор adx имеет лишь нулевые собственные значения.

Тогда жорданова форма его матрицы имеет вид ( 0 10 ^ 0 0 1

0 0 0

Пусть [х, у, г} — соответствующий базис Ь . Тогда положим к = у .

3. к е Ь = Ь&. Из предыдущего пункта известно, что № (adк) = 0 и что хотя бы одно из собственных значений отлично от нуля. Пусть нам даны собственные значения 0, а, р, одно из которых отлично от нуля. Так как (adк) = 0, то 0 + а + р = 0, то есть а = -р Ф 0 . Значит, оператор adк имеет следующие собственные значения: {0,а,-а} .

4. Пусть х, г — собственные элементы оператора adк, отвечающие собственным значениям а и —а соответственно. Тогда в силу тождества Якоби adк ([ х, г]) = [к,[ х, г]] = 0, откуда имеем [ х, г] = Як, Яф 0. Полагая у = Xх г, получаем искомый базис.

5. Пусть дан базис

{х, у, г} е Ь : [И, х] = ах, [И, у] = -ау, [х, у] = И

и базис

{/, g, е} е sl(2, С): [е, /] = g, [е, g] = -2е, [/, ^] = 2/. Установим изоморфизм между Ь и sl(2, С):

[И, х] = ах, [И, у] = -ау, [х, у] = И ^

^ [И, х] = 2х, [И] = -2~, [х,~ ] = И. Таким образом, задан изоморфизм

2 ~ 2 ~ р:—И = И ^ g, —у = у ^ е, х ^ (.

Значит, Ь = sl (2, С).

Теорема 4. Каждая трехмерная комплексная алгебра Ли Ь такая, что Ь = Ь&, изоморфна sl(2, С).

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

Классификация трехмерных алгебр Ли над полем комплексных чисел

Класс над С Ь& Признаки класса

1 0 Абелева алгебра Ли

2 1 Ь & = 1 алгебра Гейзенберга

4 2 Диагонализируемый оператор аёИ, Ьц, где

Не С,Ы> 1

5 2 Оператор аёИ не диагонализируемый

6 3 Ь = Ь&

Список литературы

1. Винберг Э. Б. Курс алгебры. М., 2013.

2. Erdmann K., Wildon J. Introduction to Lie Algebras. L., 2006.

E. R. Shamardina1 11mmanuel Kant Baltic Federal University 14 A. Nevskogo St., Kaliningrad, 236016, Russia katerina.r2805@gmail.com doi: 10.5922/0321-4796-2020-51-16

The classification of three-dimensional Lie algebras on complex field

Submitted on May 6, 2020

In this paper, we study the classification of three-dimensional Lie algebras over a field of complex numbers up to isomorphism. The proposed classification is based on the consideration of objects invariant with respect to isomorphism, namely such quantities as the derivative of a subalgebra and the center of a Lie algebra. The above classification is distinguished from others by a more detailed and simple presentation.

Any two abelian Lie algebras of the same dimension over the same field are isomorphic, so we understand them completely, and from now on we shall only consider non-abelian Lie algebras. Six classes of three-dimensional Lie algebras not isomorphic to each other over a field of complex numbers are presented. In each of the classes, its properties are described, as well as structural equations defining each of the Lie algebras. One of the reasons for considering these low dimensional Lie algebras that they often occur as subalgebras of large Lie algebras

References

1. Vinberg, E.B.: A course in algebra. Moscow (2013).

2. Erdmann, K., Wildon, J.: Introduction to Lie Algebras. London (2006).

АЛГЕБРЫ ЛИ ПОЛЕ КОМПЛЕКСНЫХ ЧИСЕЛ АЛГЕБРА ГЕЙЗЕНБЕРГА lie algebras complex field heisenberg algebra

Другие работы в данной теме:

ПСЕВДОТЕНЗОРЫ КРИВИЗНЫ И КРУЧЕНИЯ КОАФФИННОЙ СВЯЗНОСТИ В КАСАТЕЛЬНОМ РАССЛОЕНИИ К МНОГООБРАЗИЮ ГИПЕРЦЕНТРИРОВАННЫХ ПЛОСКОСТЕЙ

СВЯЗНОСТИ С ПАРАЛЛЕЛЬНЫМ КОСОСИММЕТРИЧЕСКИМ КРУЧЕНИЕМ НА СУБРИМАНОВЫХ МНОГООБРАЗИЯХ

ПРИКЛЕЕННАЯ ЛИНЕЙНАЯ СВЯЗНОСТЬ НА ПОВЕРХНОСТИ ПРОЕКТИВНОГО ПРОСТРАНСТВА

Решение методом изображений для краевой дислокации и цилиндрической полости в кристаллических твердых телах

ТЕРМОДИНАМИЧЕСКИЙ МЕТОД РАСЧЕТА ПАРАМЕТРОВ ТЕППИНГРАММ

ДВУХСКОРОСТНАЯ ОБРАТНАЯ ЗАДАЧА БОЛЬЦМАНА-МАКСВЕЛЛА С МАЛЫМ ПАРАМЕТРОМ

О ЗАДАЧЕ СОПРЯЖЕНИЯ ДЛЯ ПСЕВДОПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ ТРЕТЬЕГО ПОРЯДКА