Математические структуры и моделирование 2024. №2 (70). С. 21-28
УДК 514.765+512.812.4 DOI 10.24147/2222-8772.2024.2.21-28
САМОПОДОБНОЕ ОДНОРОДНОЕ ЛОРЕНЦЕВО МНОГООБРАЗИЕ ГРУППЫ ЛИ SE (1,1)
М.Н. Подоксёнов
канд. физ.-мат. наук, доцент, e-mail: [email protected]
М.В. Линкевич студент, e-mail: [email protected]
Витебский государственный университет им. П.М. Машерова, Витебск,
Республика Беларусь
Аннотация. Рассматривается трёхмерная группа Ли SE (1,1) — связная группа движений плоскости Минковского, сохраняющих ориентацию плоскости. Найдена единственная с точностью до изометрии левоинвариантная лоренцева метрика, вместе с которой данная группа Ли является самоподобным многообразием. Получены формулы, описывающие действие существенной однопара-метрической группы подобий относительно естественных координат, связанных с матричным представлением группы Ли. Эта группа подобий порождается однопараметрической группой автоподобий соответствующей алгебры Ли, снабжённой лоренцевым скалярным произведением.
Ключевые слова: группа Ли, алгебра Ли, лоренцева метрика, подобие, самоподобное многообразие.
1. Постановка задачи
Преобразование f : М ^ М риманова или лоренцева многообразия (М, д) называется подобием с коэффициентом ev (и = const), если для любой точки р е M и для любых векторов X,Y е TpM выполнено g(f*X,f*Y)/(р) = e2vg(X,Y)р. Одно-параметрическая группа подобий называется существенной, если она не сводится к группе изометрий для некоторой метрики, конформно эквивалентной д. Риманово или лоренцево многообразие (М, д) называется самоподобным, если оно допускает существенную однопараметрическую группу подобий.
Пусть Q — алгебра Ли, снабжённая евклидовым или лоренцевым скалярным произведением. Назовём линейное преобразование f : Q ^ Q автоподобием, если оно является одновременно автоморфизмом алгебры Ли и подобием относительно скалярного произведения. Назовём алгебру Ли Q самоподобной, если она допускает однопараметрическую группу автоподобий, которая не является группой изомет-рий.
Пусть g - левоинвариантная метрика на связной группе Ли G. Любое подобие h : G ^ G однородного пространства (G,g) раскладывается в композицию La о f, где f - подобие, оставляющее единичный элемент е е G на месте, а La - левый сдвиг,
а Е С. Поэтому задача поиска подобий однородного пространства (С, д) сводится к поиску подобий, которые оставляют неподвижной единицу группы Ли. Если группа Ли С является экспоненциальной, то такие подобия определяются автоподобиями соответствующей алгебры Ли ^ [1].
В данной работе мы рассмотрим трёхмерную группу Ли Сз = БЕ(1,1), которая представляет собой компоненту связности единичного элемента группы Е(1,1) движений плоскости Минковского и состоит из движений, сохраняющих ориентацию плоскости. Алгебру Ли этой группы обозначим = £(1,1). Эта алгебра Ли разрешима.
В работе [2] найдены однопараметрические группы автоподобий для всех разрешимых трёхмерных алгебр Ли, снабжённых лоренцевым скалярным произведением, в том числе и для алгебры Ли В данной работе мы покажем, что группа Ли С3 может быть самоподобным многообразием относительно левоинвариантной лоренцевой метрики. Введём координаты, связанные с матричным представлением данной группы Ли, укажем вид метрического тензора в этих координатах и выпишем формулы, по которым действует существенная однопараметрическая группа подобий.
Две левоинвариантные метрики на одной группе Ли мы будем относить к одному классу, если соответствующие однородные многообразия изометричны. Покажем, что существует только один класс левоинвариантных лоренцевых метрик, превращающих рассматриваемую группу Ли в самоподобное многообразие.
2. Матричное представление
Группа Ли С3 и алгебра Ли могут быть представлены как состоящие соответственно из матриц вида
X
( еЬх! вЬ^! х2 ^ вЬж! еЬж! х3
V
о
о
1
и
( 0 и! и2 ^ и! 0 и3
/
V
ооо
(1)
/
(щ Е Я, г = 1, 2, 3; Xj Е Я,] = 1, 2, 3) с операциями умножения матриц и коммутатора матриц. В алгебре Ли можно выбрать базис (Е!, Е2, Е3), состоящий из матриц
/о!о\ / о о 1 \ /ооо^
Е!
\
1 о о ооо
, Ео
\
ооо ооо
, Ез
\
о о 1 ооо
Тогда операция скобки будет задаваться равенствами
[Е!, Е2] = Ез, [Е!, Ез] = Е2, [Е2, Ез] = о.
Каноническим будем называть базис (У, V2, V3), в котором операция скобки задаётся равенствами
[V!, У] = -У, [V!, Уз] = ^3, [У, Уз] = о,
Например, это может быть базис
У\ = ЕЪУ2 = Е2 — Ез,Уз = Е2 + Е3. (2)
Подпространства Д = КУ\,12 = КУ2 являются одномерными идеалами. Обозначим ,..., Хп) - линейную оболочку векторов Хх,..., Хп. Алгебра Ли @3 содержит
двумерный коммутативный идеал Н = (Е2, Е3) = (У2,У3), который является про-
(2)
изводной алгебры Ли: ^3 ) = [03, 03]. Вектор У\ = Е\ действует на Н с помощью преобразования ).
Припишем матрицам (1) соответственно координаты (х\,х2,х3) и (щ,и2,и3). Тогда запись отображения ехр : @3 ^ С3 в выбранных координатах выглядит так:
ехр(и\,и2,и3) = [щ, — вЬ^ + — (еЬ^ — 1), — вЬ^ + — (еЬ^ — 1) ] .
\ Щ Щ Щ и\ )
Заметим, что в этих формулах имеется устранимая неопределённость при щ = 0. Необходимо определить ехр(0, и2, и3) = (0, и2,и3). Тогда формулы показывают, что группа Ли С3 является экспоненциальной (т. е. образ экспоненциального отображения совпадает со всей группой С3).
Запись отображения ехр-1 : С3 ^ Я3 в выбранных координатах:
/ Х\Х2вЬх1 Х\Х3 ХхХфЬхх Х\Х2\ ехр- (ХЪХ2,Х3) = 2(еЬИ1 — 1) — —, 2(еЬг^1 — 1) — ~2Г) '
Здесь также имеем устранимую неопределённость, и надо добавить ехр-1(0,х2,х3) = (0,х2,х3). Образ данного отображения совпадает со всей алгеброй Ли. Тем самым экспоненциальное отображение является гомеоморфизмом.
Операции умножения в группе Ли С3 и нахождения обратного элемента имеют следующие записи в координатах:
(Х1,Х2,Х3 )(У1,У2,У3) = (%1 + У1,%2 + У2еЬх1 + У3 вЬ^,^ + У2вЬх1 + У3 еЬ^), (3)
(х1,х2,х3)-1 = (—х1, — х2еЬх1 + х3вЬх1,х2вЬх1 — х3еЬх1).
Заметим, что формулы (3) могут быть получены без использования матричного представления группы Ли С3, как следствие результатов, полученных С.П. Гаври-ловым в работе [3], где рассматривался общий случай групп Ли произвольной размерности, содержащих коммутативную подгруппу коразмерности 1. Там же найдена каноническая форма левоинвариантного метрического тензора для таких групп, но в весьма общем виде.
В дальнейшем запись [Р] означает матрицу преобразования Р, а запись [д(Х)] означает матрицу метрического тензора д(Х) в точке X.
Используя формулы (3), находим матрицу дифференциала (Ьх)* : ТуС3 ^ Тху03 левого сдвига на элемент X(х1,х2,х3) и обратную к ней матрицу (в базисе, составленном из координатных векторных полей):
/10 о N
0 еЬж! вЬ^! у 0 вЬж' еЬж! у
№х )*]-! =
1
0 0
0 0
еЬж! —вЬж
— вЬ^! еЬж!
Они постоянны, т. е. не зависят от элемента У (у!,у2, у3).
В работе [4] найдено, что в подходящем каноническом базисе однопараметриче-ская группа автоподобий Ft : ^ действует по формулам:
V' = = У3 = > 0, г € К
при условии, что матрица Грама скалярного произведения имеет вид:
/0 0 1^
010
Г
V
100
(4)
/
Положение базисных векторов и идеалов относительно конуса изотропных векторов показано на рис. 1.
Рис. 1. Положение базисных векторов
Полная группа автоморфизмов алгебры Ли несвязна и определяется в каноническом базисе матрицами
(
Ах
1 0 0
а
1 0
\
( _
Л,.
100
а
V Р
0
6
\
/
,а,р € = 0.
(5)
Другими словами, матрица перехода от одного канонического базиса (V, V,, У3) к другому каноническому базису (V/, V.2', V3/) - это одна из матриц (5). Будем делить автоморфизмы алгебры Ли на два рода: к первому отнесём те, которые задаются матрицей А1, а ко второму - те, которые задаются матрицей А,.
Мы можем определить левоинвариантный метрический тензор на группе Ли С3 с помощью матрицы Грама (4), используя первый или второй канонический базис. Тогда мы получим изометричные многообразия. Будем называть две такие метрики на группе Ли эквивалентными и относить их к одному классу.
Итак, мы будем исходить из канонического базиса (2). Как уже отмечалось в работе [4], в каноническом базисе формулы экспоненциального отображения и обратного к нему отображения выглядят сложнее, чем в базисе (Еь Е2,Е3). Именно поэтому в работе [4] мы рассчитали матрицу Грама и матрицу однопараметрической группы автоподобий в базисе (ЕЕ,,Е3):
Г'
(
0 1 1 1 1 -1 1 -1 1
\
[Ft]'
„3 vt
V
,—3vt 0 0
0 chut shut
0 shut chut
(6)
где и = const > 0,t Е R (мы сделали замену ^ = 2и).
е
3. Основной результат
Теорема 1. 1. На группе Ли С3 = БЕ(1, 1) существует единственный класс ле-воинвариантных лоренцевых метрик, при которых она допускает существенную однопараметрическую группу подобий, оставляющую инвариантным единичный элемент группы. Матрица метрического тензора и формулы, по которым действует указанная однопараметрическая группа подобий, имеют следующий вид относительно естественных координат:
( о p-vx-i p-vx-i \
Ш)] =
0 Q-VX1 e-vx-
-VX- g2rai _e2ux-
-vxi _g2rai q2vxi
(7)
е
у е ' -е~~ е" у
ft(x1,x2,x3) = (x1,e3ut(x2chut + x3shut),e3vi(x2shut + . (8)
где и = const > 0,t Е R.
2. Полная группа подобий полученного многообразия является связной, четырёхмерной, и состоит из преобразований, действующих по формулам
xl = х\ + h1,
х'2 = h2 + e3vtx2 ch(hi + vt) + e3vt X3sh(hi + vt), (9)
x'3 = h3 + e3vtx2 sh(h1 + vt) + e3vtx3cch(h1 + vt),
где H(h1, h2, h3) - произвольный элемент группы Ли G3, v = const > 0,t Е R.
Доказательство. 1. Левоинвариантная метрика на группе Ли С3 индуцирует скалярное произведение в её алгебре Ли 03, и, наоборот, скалярное произведение в 03 однозначно определяет левоинвариантную метрику на С3.
Матрицу метрического тензора д^ в точке X(х1,х2,х3) находим по формуле
[д(Х)] = (X )Г'(Х Щ
в соответствии с методикой, описанной в работе [5]. Для рассматриваемого случая получаем матрицу (7).
Обозначим ^ : 03 ^ 03 однопараметрическую группу автоподобий алгебры Ли 03. Тогда подобия однородного пространства (С,д) будем строить по правилу (рис. 2):
^ = ехр оFt о ехр-1 : С3 ^ 03.
Рис. 2. Построение однопараметрической группы подобий
Непосредственным вычислением убеждаемся, что однопараметрическая группа, состоящая из подобий Е Я, действует по формулам (7).
Убедимся, что полученные преобразования действительно являются подобиями при любом значении t. При каждом фиксированном значении Ь дифференциал преобразования относительно координатных векторных полей (^, ^, ^) задаётся в точности матрицей (6). Обратная к ней матрица II имеет вид
It = е-ш
( e3vt
О
О
О
\
chut —shut
у 0 —вЬ^ СЬьгЪ у Матрицу тензора (((&)*д)(Х)) находим из равенства
Шд(Х)] = $ [д(Х )]!,.
Непосредственным вычислением получаем, что
(
[((ft)*g)(x)] = е-4*
V
0 Q-VX1 g-rai
—vxi q2vxi _g2rai
— VX1 _e2uxi g2rai
/
Обозначим X' = ft(X). Сравнивая последнюю матрицу с матрицей (7), мы видим, что выполнено
[((ft)*g)(X )]= e-^[g(X')].
Это значит, что однопараметрическая группа преобразований, действующая по формулам (8), действительно является существенной однопараметрической группой подобий.
2. Произвольное подобие мы можем представить как композицию Lh ° ft, где Н - произвольный элемент группы. Формулы (3) означают, что левый сдвиг на элемент Н(hi, h2, h3) задаётся формулой
Lh(xi,x2,x3) = (hi + xi,h2 + x2chhi + x3shhi, h3 + x3chhi + x2shhi).
Подставляя сюда формулы (8), получаем (9). Поскольку автоморфизмы второго рода алгебры Ли Q3 не относятся к изометриям для нашего скалярного произведения, то полная группа изометрий оказывается связной.
■
Замечание 1. В работе [6] была описана разработка рабочей книги Excel для вычисления тензора кривизны левоинвариантных метрик на четырёхмерных группах Ли. Был вычислен тензор кривизны для четырёх самопоподобных однородных многообразий четырёхмерных групп Ли. Было доказано, что такие многообразия не обязательно являются плоскими. Мы разработали методику применения этой рабочей книги к левоинвариантным метрикам на трёхмерных группах Ли и вычислили тензор кривизны построенного в этой работе многообразия. Относительно канонического базиса (Vi,V2,V3) из числа операторов R(Vi,Vj),i,j = 1, 2, 3 ненулевым оказались только R(Vi, V2) и R(V2, Vi). Они определяются матрицей
-[R(V2,Vi)] = [R(Vi,V2)]
( о о о N
1,5 0 0 0 -1,5 0
Что касается тензора кривизны типа (4.0), то единственными ненулевыми компонентами являются R1212 = 1, 5 и получающиеся из неё перестановкой индексов.
Литература
1. Подоксёнов М.Н. Подобия и изометрии однородного многообразия группы Гейзенберга, снабжённой левоинвариантной лоренцевой метрикой // Вестник Витебского государственного университета им. П.М. Машерова. 2011. № 5. С. 10-15.
2. Подоксёнов М.Н. Гомотетические автоморфизмы трёхмерных алгебр Ли // Учёные записки УО «ВГУ им. П.М. Машерова»: сборник научных трудов. Т. 8. Витебск: Изд-во ВГУ, 2009. С. 203-211.
3. Гаврилов С.П. Левоинвариантные метрики на односвязных группах, содержащих абеле-ву подгруппу коразмерности 1 // Гравитация и теория относительности. 1984. Вып. 21. С. 13-48.
4. Podoksenov M.N., Linkevich M.V. Self-similar lie group E( 1,1) // Математическое и компьютерное моделирование: сборник материалов XI Международной научной конференции (Омск, 15 марта 2024 г.). Омск: Изд-во Омского государственного университета, 2024. С. 27-29.
5. Гаврилов С.П. Геодезические левоинвариантных метрик на односвязной трёхмерной группе Ли II типа Бианки // Гравитация и теория относительности. 1982. Вып. 19. С. 3747.
6. Подоксёнов М.Н., Шпакова Ю.А. Тензор кривизны самоподобных лоренцевых многообразий некоторых четырёхмерных групп Ли // Математические структуры и моделирование. 2023. № 2 (67) С. 16-22.
SELF-SIMILAR HOMOGENEOUS LORENTZIAN MANIFOLD OF LIE GROUP SE (1,1)
M.N. Podoksenov
Ph.D. (Phys.-Math.), Associate Professor, e-mail: [email protected]
M.V. Linkevich Student, e-mail: [email protected]
Masherov Vitebsk State University, Vitebsk, Belarus
Abstract. We consider the four-dimensional Lie group Ж(1,1) - a connected group of motions of the Minkowski plane that preserve the orientation of the plane. A unique, up to isometry, left-invariant Lorentzian metric is found, together with which the given Lie group is a self-similar manifold. Formulas are obtained that describe the action of an essential one-parameter similarity group with respect to natural coordinates associated with the matrix representation of the Lie group. This similarity group is generated by the one-parameter self-similarity group of the corresponding Lie algebra, equipped with a Lorentz scalar product.
Keywords: Lie group, Lie algebra, Lorentzian metric, similarity, self-similar manifold.
Дата поступления в редакцию: 03.04.2024