ЛЕВОИНВАРИАНТНАЯ ПАРАСАСАКИЕВА СТРУКТУРА НА ГРУППЕ ГЕЙЗЕНБЕРГА Текст научной статьи по специальности «Математика»

2022 Математика и механика № 75

УДК 514.76 MSС: 53D10, 53C50

DOI 10.17223/19988621/75/4

В.И. Паньженский, А. О. Растрепина

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

Доказано, что на группе Гейзенберга существует левоинвариантная пара-контактная метрическая структура, которая является нормальной и, следовательно, парасасакиевой. На этой группе имеется единственная контактная метрическая связность с кососимметрическим кручением, инвариантная относительно группы автоморфизмов парасасакиевой структуры. Установлено, что обнаруженная связность является контактной метрической связностью для любого парасасакиева многообразия. Введено понятие линейной связности, согласованной с распределением. Доказано, что связность Леви-Чивиты и контактная метрическая связность группы Гейзенберга согласованы с контактным распределением и их контактные геодезические совпадают с геодезическими усечённой связности.

Ключевые слова: параконтактная структура, контактная метрическая связность, связность, согласованная с распределением, усеченная связность.

1. Введение

Среди трёхмерных групп Ли группа Гейзенберга является одним из наиболее известных и простых примеров в исследовании теории динамических систем, теории управления, субримановой геометрии, а также других нильпотентных групп [1-5]. В работах [6-8] на группе Гейзенберга и её многомерном аналоге исследуется левоинвариантная каноническая сасакиева структура. Кроме левоинвариант-ных контактных метрических структур на группах Ли изучаются и левоинвари-антные параконтактные метрические структуры. В частности, в работах [9, 10] дана классификация левоинвариантных парасасакиевых структур на пятимерных группах Ли.

В данной работе среди всех левоинвариантных параконтактных структур на группе Гейзенберга выделяется структура, аналогичная канонической сасакиевой структуре, фиксируя псевдориманову метрику, которая получается с помощью левых сдвигов из псевдоевклидовой, заданной в касательном пространстве единицы группы. Требуя инвариантность контактной формы относительно группы движений псевдоримановой метрики, однозначно определяются контактная структура и структурный эндоморфизм. Полученная таким образом левоинвариантная параконтактная метрическая структура является парасасакиевой. На группе Гейзенберга имеется единственная контактная метрическая связность с косо-симметрическим кручением, инвариантная относительно группы автоморфизмов парасасакиевой структуры. Доказано, что обнаруженная связность является контактной метрической связностью для любого парасасакиева многообразия. Введено понятие связности, согласованной с распределением. Установлено, что на группе Гейзенберга, наделённой парасасакиевой структурой, связность Леви-Чивиты и контактная метрическая связность согласованы с контактным распреде-

лением, а их контактные геодезические совпадают с геодезическими усечённой связности. Исследовано строение контактных геодезических. Полученные в работе результаты справедливы и для многомерной группы Гейзенберга.

2. Параконтактная метрическая структура

Пусть М - гладкое многообразие нечетной размерности т = 2п +1. Контактной формой на М называется дифференциальная 1-форма п, удовлетворяющая условию

пл(ёп)П ^ 0 .

Контактная форма п определяет вполне неголономное 2п-мерное распределение Н = кег п, которое называется контактной структурой на М. Гладкое многообразие, наделенное контактной структурой, называется контактным многообразием. Контактное распределение Н = кег п называется первым фундаментальным распределением, или горизонтальным, а 1-мерное распределение V = кег ёп - вторым фундаментальным распределением, или вертикальным. Существует единственное векторное поле V, такое, что п(4) = 1. Поле 4 называется характеристическим, или вектором Риба [11-12].

Параконтактной метрической структурой на контактном многообразии М называется четвертка тензорных полей (п, 4, Ф, g), где п - контактная форма, 4 -вектор Риба, g - псевдориманова метрика, ф - структурный эндоморфизм модуля векторных полей на М. При этом требуется выполнение следующих условий [9]:

ф2 = 1ё-п<8>§ ; (1)

ё п( X, У ) = g (X, фУ); (2)

g(фХ,фУ) = -g(X,У) + п(X)п(У). (3)

Кроме того, предполагается, что ограничение I структурного эндоморфизма ф на контактное распределение Н определяет на Н паракомплексную структуру: I2 = ¡ё, собственные распределения которой Н+ и Нотвечающие собственным значениям ±1, имеют одинаковую размерность: ШшН + = ШшН- = п, а g (IX, ЗУ) = -g (X, У) для векторных полей X, У е Н . Ограничение псевдорима-новой метрики g на распределение Н имеет сигнатуру (п, п). Нетрудно убедиться, что выполняются ещё и следующие равенства:

п(£) = 1, ё п( X, 4) = 0, ф(£) = 0, п ° Ф = 0, g (X, ^Ьп^). (4)

Параконтактная метрическая структура называется ^-контактной, если вектор Риба 4 является киллинговым. Нормальная параконтактная метрическая структура называется парасасакиевой. В работе [9] доказано, что параконтактная метрическая структура (п,4, ф,g) является парасасакиевой тогда и только тогда, когда обращается в нуль следующий тензор:

[ф, ф]( X ,У)-ёп( X, У )4 = 0, (5)

где [ф, ф] (X, У) = ф2 [X, У ] + [X, фУ ] - ф^, У ] - ф [X, фУ ]

- кручение Нейенхейса.

Если М - группа Ли, то естественно рассматривать левоинвариантные пара-контактные метрические структуры. Параконтактная метрическая структура называется левоинвариантной, если левоинвариантны определяющие её тензорные поля п, ф, ё .

3. Парасасакиева структура на группе Гейзенберга

Среди групповых трехмерных многообразий Тёрстона имеется нильпотентная группа Ли вещественных матриц вида

(1 у Z1

Nil =0 1 x , (x,y,z) e R3.

to 0 1J

Данную группу называют также группой Гейзенберга. Левые сдвиги на группе Nil определяются следующими формулами:

x = x + Cj, y = y + c2, z = z + c2 x + c3. (6)

Дифференцируя (6) по параметрам cj, c2, c3, находим левоинвариантные векторные поля на Nil - базис её алгебры Ли

Xj = d , X2 = д2 +хд3, X3 = д3, (7)

^ д д д „ где д1 = —, д2 = —, д3 = — - естественный базис векторных полей на группе

дх ду дz

Nil.

В касательном пространстве единицы группы рассмотрим псевдоевклидову метрику

ds2 = dx2 - dy2 + dz2

и сдвинем её в произвольную точку (x, у, z). Так как dx = dx , dy = dy,

dz = dz - с2 dx , то

ds2 = dx2 - dy 2 + (dz - c2dx)2. Поскольку единица группы e (0, 0, 0) сдвигается в точку (x, y, z), то с2 = y . Опуская черту над произвольной точкой, получаем следующую инвариантную псевдориманову метрику:

ds2 = dx2 - dy2 +(dz - ydx)2 . (8)

Теорема 1. На группе Гейзенберга существует единственная левоинвариант-ная параконтактная метрическая структура с псевдоримановой метрикой (8), инвариантная относительно группы движений, причем эта структура является пара-сасакиевой.

Доказательство. Хорошо известно, что размерность группы движений трехмерного риманова или псевдориманова пространства с непостоянной кривизной не превосходит четырех. Чтобы выяснить, допускает ли метрика (8) кроме операторов сдвигов (7) и оператор вращения, необходимо проинтегрировать уравнения инвариантности (уравнения Киллинга)

Xp д g +дгХРЯп +д jXpgip = 0.

Для метрики (8) общее решение этих уравнений имеет следующий вид:

X1 = с4у + с1, X2 = с4х + с2, X3 = с2х + 2 с4 (х2 + у2 ) + с3,

где с1; с2, с3, с4 - произвольные постоянные. Это означает, что размерность группы движений равна четырем, причем постоянным с1, с2, с3 соответствуют левоинвариантные векторные поля (7), а постоянной с4 - оператор вращения

X4 = >-5! + xd 2 + 2 (x2 + y2 ).

(9)

Интегрируя уравнения левоинвариантности дифференциальной 1-формы

xa д pn+dtxa n p=о a=17

относительно векторных полей (7) и (9), находим, что ц = с (-ydx + dz), где c = const Ф 0 . Так как d n = cdx Ady и пл d n = с2 dx a dy Adz Ф 0, то форма n является контактной, а поскольку n и cn определяют одну и ту же контактную структуру, то полагая c = 1, имеем искомую контактную форму

n = -ydx + dz . (10)

Из условий dn(X,4) = 0 и n(4) = 1 следует, что векторное поле Риба имеет вид

4 = дз. (11)

Структурный эндоморфизм ф теперь однозначно определяется условием (2). Действительно, в координатах имеем

откуда Так как

d П, = gip Фp, Ф- = gksd ns,.

f 1+У2 0 -У!

gj = 0 -1 0

v -У 0 1 /

f

ks

1 0

y 0

f 0 1 01

= n d -1 0 0

ч 0 0 0 J

(12)

0 -1

чУ 0 1 + y2

f0 1 01

то фк =10 0

l0 У 0J

Условия (1) и (3) в координатах имеют вид

ФрФр = 8г -Пг4 ,

и легко проверяются. Так как, очевидно, Ь^g = 0, то параконтактная структура

является ^-контактной. Более того, данная структура является парасасакиевой. Действительно, условие (5) в координатах имеет вид

фР5рфк. -фр5рфк +фр5}.фгр -фрд,Фр -(¿л) е = 0,

и для параконтактной метрической структуры (п, %, Ф, g) (10) - (12) и (8) выполняется тождественно. ■

Так как группа движений псевдоримановой метрики (8) сохраняет контактную форму п, а следовательно, и 4, то она сохраняет и эндоморфизм ф, т.е. группа движений является группой автоморфизмов парасасакиевой структуры.

4. Контактная метрическая связность

Линейная связность V называется контактной метрической связностью [13], если в этой связности контактная форма п и метрический тензор g ковариантно постоянны: ^п = 0, Vg = 0 . Из ^ = 0 следует, что связность V необходимо имеет кручение, а из Vg = 0 следует, что ковариантный тензор деформации Т связности Леви-Чивиты V кососимметричен по последним двум аргументам. Если тензор Т кососимметричен по всем своим аргументам, то имеем связность с

кососимметрическим кручением. В этом случае Т = 2 £ и

?к = 4 + 2 ^,

где Г - - коэффициенты контактной метрической связности V, Г'у - коэффициенты связности Леви-Чивиты, Бк - компоненты тензора кручения, а Бг]к =

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

Теорема 2. На группе Гейзенберга с левоинвариантной парасасакиевой структурой существует единственная контактная метрическая связность V с кососим-метрическим кручением. Эта связность инвариантна относительно группы автоморфизмов парасасакиевой структуры и определяется следующей формулой:

g (V х7, г ) = g (V хг, г)+1 а п(х, г )лЛ(г).

(13)

Доказательство. Так как gkpпр = %к и Бк- = Б г]-^кр, то условие ковариантно-

го постоянства контактной формы в связности V примет вид

~ к к 1 к ^П] = дгп- - ГцПк = дгП- - ГкПк - 2Б1]к% = 0 =

(14)

где

Г1 =

г]

1

2у

0

1 -2

0

1 -2

о

Г2 =

г]

1 ^

у о " 2

о о 0

1

о 0

Гъ =

г]

о

¿«у2-«

о

0

1

0

1

о

- коэффициенты связности Леви-Чивиты псевдоримановой метрики (8). Если индексы I,Ц принимают значения (1, 1), (2, 2), (3, 3), а также (1, 3) и (2, 3), то левая часть в (14) тождественно равна нулю. Если / = 1, у = 2 или / = 2, у = 1, то

1 1

1

2- 2 ^23 = 0 или 2 + ^213 =

откуда следует, что

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

^123 = ^231 = ^312 = ^213 = ^321 = ^132 = 1.

£ = йх л йу л = (й п)лп,

откуда следует, что связность V определяется формулой (13). Так как в силу перестановочности внешнего дифференцирования и дифференцирования Ли, 2-форма йц инвариантна относительно группы автоморфизмов, то инвариантен и

тензор кручения и, следовательно, инвариантна и связность V. ■

~ к

Вычислительная формула для коэффициентов Гц контактной метрической связности V имеет вид

гк = 2Шкр (^^^ + д- д^у +(йп лп) ).

Компоненты тензора кручения и связности V определяются следующими матрицами:

( 0 у 0 > (0 0 1 >

^ = Ьу = -у 0 1 = 0 0 0 =

1 0 -1 0 V [-1 0 0 V

0 1 + у2 -(1 + у2) 0 0 -у

Л

Г у =

(0 у 0 0

0 ^ 0

0-10

Л

~2

Гц =

0 0 ^ 0 0 0 -1 0 0

(

~3

Г г, =

у

0 -у

Л

Заметим, что в связности V все структурные тензоры парасасакиевой структуры ковариантно постоянны.

Теорема 3. Линейная связность V, определённая формулой (13), является контактной метрической связностью для любого парасасакиева многообразия.

Доказательство. Так как связность V имеет кососимметрическое кручение, то она является метрической. Известно (см., например, [11, 12]), что на контактном многообразии существует атлас Дарбу, в каждой карте которого контактная форма п имеет вид

п = -х"+1йх1 -... - х2"йх" + йхп

В координатах Дарбу

йп = йх1 лйх"+1 +... + йхп лйх1" , 4 = 5И.

Найдем ковариантную производную от контактной формы

V,- Пу = д, Пу - Гг; Пк = дгП у - 2 Я^ (д,Яр; + д уЯ,р -д рЯ,у )к - ^ЛрЯ** Пк =

= д,Пу (ту + дуЯ,т -дтЯ,у)-)'■ Так как (ёцлц)..т = 0, а пт = 1, то «у =(ёц)... Поскольку парасасакиева

структура является к-контактной, то вектор 4 является киллинговым и, следовательно, уравнения Киллинга

дкяг] +д£к8у. + д у. ^ = 0

обращаются в тождество, откуда следует, что дтЯу = 0. Теперь ковариантная производная от формы п примет вид

^пу = д,п. -2((т +дз%,т)-2(ёп)у ■

Из условия (3) следует, что

Я (X, У ) = -к (X, У ) + п( X )п(У), где к (X, У) = я (фХ, фУ). Структурный эндоморфизм определяется условием (2), поэтому

к,. = Я,,ф'ФР = ЯрЯ'1 (ёп)нЯрк (ёп) ■ Но (ёп),т = 0 , тогда и кш = 0 , следовательно,

Ящ} =ПтП у' =ПУ, Яш = ППт =П ,

и

^п у = д,п; - 2 (п; +д; п,)--2 (п; -д; п,) = 1 д 1 д 1 д 1 д

=^ д,п у- ^ д у п,- 2 д,п у + 2 д у п, =0 ■

Замечание 1. Из доказательства данной теоремы следует, что связность V является контактной метрической для любой к-контактной параконтактной метрической структуры.

5. Связность, согласованная с распределением. Геодезические

Пусть М - гладкое «-мерное многообразие и Н - распределение наМ, т.е. совокупность {Н } г-мерных подпространств касательных пространств ТрМ , гладко зависящих от р е М ■ Линейную связность V назовём согласованной с распределением Н, если через каждую точку р в каждом касательном направлении ур е Н проходит единственная геодезическая, касающаяся распределения

Н. Такие геодезические назовём контактными геодезическими связности V .

Пусть я - (псевдо) риманова метрика на М, V - связность Леви-Чивиты. Ортогональная проекция V связности V на распределение Н называется усеченной

связностью [1, 2]. В неголономной механике считается, что механическая система с лагранжианом Ь и неголономным распределением Н на конфигурационном пространстве движется по траектории, которая, вообще говоря, не является решением вариационной задачи на минимум. В [1] доказано, что траектории движения такой системы с квадратичным лагранжианом являются геодезическими усеченной связности.

Теорема 4. На группе Гейзенберга, наделенной парасасакиевой структурой (п, 4, Ф, 8), связность Леви-Чивиты V является связностью, согласованной с контактным распределением Н = кег п, а её контактные геодезические совпадают с

геодезическими усечённой связности V .

Доказательство. Рассмотрим неголономное поле реперов {р, е1}, адаптированных к структуре почти произведения Н © V :

е1 = д1 +Уд3 , е2 = д2 , е3 = д3 ,

где первые два векторных поля е1 , е2 принадлежат контактному распределению Н, а е3 = 4 принадлежит распределению V. Разложения коммутаторов координатных векторных полей

[ег, е, ] = ,

являются структурными уравнениями поля реперов {р, е1}, а коэффициенты разложения Ц определяют объект неголономности. Для рассматриваемого поля реперов имеем

[е^ е2 ] = -е3 , [el, е3 ] = 0, [е2 , е3 ] = 0.

Таким образом, Ц32 = -Щ = -1, остальные компоненты равны нулю. Дуальный реперу {р, е1} корепер {р, 61} определяется условием 61 (е1 ) = 8Ц, откуда следует, что

61 = йх , 62 = йу , 63 = -уйх + й2 . Репер {р, е1} является ортонормированным относительно псевдоримановой метрики (8): ei • е, = 0, е^ = 1, е^ =-1, е^ = 1, поэтому в этом репере метрика (8) имеет стандартный вид

я (X,X) = X1' -X22 + X3\ где X1 - неголономные координаты вектора X = X1 е1.

Вычислим неголономные коэффициенты ук связности Леви-Чивиты V: Ve е, = уЦек . Применяя известную вычислительную формулу (см., например, [14]), находим, что

Ук = 2 ((8„ + Ц 811 + Ц 5Й )

где 51ц = 811 = 0, если 1 Ф Ц, 511 = 533 = 811 = 533 = 1, а 522 = 522 = -1. Имеем следующие ненулевые коэффициенты связности V :

1 1 1 2 2 1 3 3 1

Y23 =Y32 =- 2' Yl3 = Уз1 =- 2' Yl2 =-Y21 =- 2'

Ортогональная проекция связности V на контактное распределение, т.е. усечённая связность V определяется коэффициентами у|: Veie¡ = ч\ек, где у| = у^

(/,у,к = 1,2), поэтому VejeJ' = 0. Горизонтальная кривая у: X = X (') (х1 = х, х2 = у, х3 = г, ' - естественный параметр) называется горизонтальной геодезической, если она является геодезической относительно усечённой связности V : V*у = 0, где у - поле касательных векторов кривой у. Пусть X (, = 1,3) - естественные координаты поля у : у = X д ,, а V ( = 1,2) - неголономные координаты поля у в базисе {е1, е2} : у = Vе,. Так как

Vу = vjУе, (кек) = ^е, (ук)ек + у\к%ек = ^е, (ук)ек,

то уравнения геодезических примут вид

у'е, (ук ) = 0. (15)

Переписав уравнения (15) в естественных координатах, получим дифференциальные уравнения геодезических усечённой связности V :

ё2 х Л ё2 у п ёг ёх

—2- = 0, —2. = 0, — = у—. (16)

ё' ё' ё' ё'

Интегрируя уравнения (16), находим параметрические уравнения геодезических

12

х = ах' + Ьх, у = а2' + Ь2, г = 2а1а2' + ахЬ2' + Ь3. (17)

Дифференциальные уравнения геодезических связности Леви-Чивиты имеют вид

ё2 х + ёх ёу ёу ёг 0 ё'2 ё' ё' ё' ё'

ё2 у ( ёх V ёх ёг

- + У = 0,

d2 z

ds2 V ds) ds ds /2 \dxdy dy dz

+(y -1)—--y—— = 0.

* ' /Л' rlv rlv /к-

ds 2 ds ds ds ds

dz dx

Для контактных геодезических — = y—, поэтому они определяются следующей

ds ds

системой:

d2 x = о d2 y = o d2 z dx dy = o ds2 ' ds2 ' ds2 ds ds

откуда x = flls + V y = «2s + ^ z = ^s + ^s + .3.

dz

Но — = a1a2s + a3 = (a2s + b2 )a1, поэтому a3 = a1b2, и, следовательно, контактные

ds

геодезические связности V совпадают с геодезическими усеченной связности V . ■ Замечание 2. Контактная метрическая связность V с кососимметрическим кручением имеет такие геодезические, что и связность Леви-Чивиты V. Оказывается, что и проекции связностей V и V совпадают. Действительно, так как

d^An = e1 л92 л93,

то имеем следующие ненулевые компоненты S. = 5ksSijs (б22 = -l) тензора кручения S:

~3 ~1 ~2 ~3 ~1 ~2

S"l2 = S 23 = -S31 = 1, S 21 = S 32 = - S13 = -1. Так как yj = yj +1 S,j, то y^1 = у:32 = -1, остальные нули, то Ve.e;. = 0 (i, j = 1,2),

т.е. V = V. Таким образом, контактная метрическая связность V также согласована с контактным распределением, и её контактные геодезические совпадают с геодезическими усеченной связности V = V. Заметим, что Vq = 0, а Vn Ф 0 .

Примером связности, несогласованной с контактным распределением, может служить полусимметрическая связность, определенная контактной формой (10) и метрическим тензором (8).

При исследовании строения контактных геодезических, в силу левоинвари-антности парасасакиевой структуры и связности V , можно ограничиться геодезическими, выходящими из единицы группы

х = a1s, у = a2 s, z = 2 a1a2 s. (18)

Кроме того, мы отождествим группу Гейзенберга Nil с R3, поставив в соответствие каждой матрице из Nil с определяющими элементами х, y, z точку (х, y, z) е R3, при этом ортонормированному реперу {p, e1, e2, e3} в единице группы будет соответствовать репер {О,i, j,k} в R3, где О = (0,0,0), i = (1,0,0), j = (0,1,0), k = (0,0,1). Этот репер является ортонормированным относительно стандартной евклидовой метрики pE в R3. Контактной плоскости в единице группы соответствует координатная плоскость Оху . Единичный вектор а (a1, a2)

этой плоскости определяет направление геодезической. Обозначим направленный угол между i и а через 6 . Тогда уравнения геодезических (18) примут вид

12

X = s cos 6, У = s sin 6, z = 2 s cos 6 sin 6. (19)

Если cos 6 sin 6 Ф 0, первые два уравнения (19) в плоскости Оху определяют прямую l с направляющим вектором а, а третье уравнение - параболу в плоскости Olz. Если cos 6 sin 6 = 0, то при sin 6=0 геодезической является ось Ох, если cos6=0, то ось Оу. При малых 0 sin6^0, коэффициент cos6sin6>0 мал и

ветви параболы расположены в подпространстве г > 0 и парабола мало отличает-

п

ся от прямой Ох. С возрастанием 9 это различие растёт и при 6= — достигает

4

п п

своего максимума. При 6> — происходит «распрямление» параболы и при 6 = —

4 2

cos8=0 парабола «превращается» в прямую Oy. При 9> — ветви параболы

«опускаются вниз» (z < 0). С увеличением 9 парабола становится «круче», дости-

Зл

гает своего максимума при 8 = —, затем опять распрямляется и становится прямой Ox при 8 = л. Далее ветви параболы опять поднимаются вверх. В третьем координатном угле ^л<8< З"j имеем те же параболы, что и в первом |0 <8< -2-j ,

ГЗп п „ А Г л n А

а в четвертом I — <8< 2л I те же самые что и во втором I — <8<л I, т.е. направления a и -a определяют одну и ту же геодезическую. Заметим, что ортогональные проекции парабол на соответствующие контактные плоскости являются прямыми линиями.

Ограничение псевдоримановой метрики (8) на контактное распределение является псевдоевклидовой метрикой

" " (20)

ds2 = dx2 - dy2 . \и

В контактной плоскости Оху направления у = ±х являются изотропными относительно метрики (20). Именно геодезическая в изотропном направлении имеет максимальное отклонение от прямой линии.

Замечание 3. Результаты данной работы справедливы и для многомерной группы Гейзенберга [6-8]

Ni l =

Г1 y

0t En

0 I 0 x2n )

единичная матрица размера n х n . Структурные тензоры (п,Ф,g) парасасакие-вой метрической структуры на N l имеют следующий вид

П = -xn+1 dx1 -... -x2ndxn +dxm, | = 5 m,

ds2 = dx12 +... + dxn 2 - dx(n+lf -... - dx(2n)2 + (-xn+W -... - x2ndxn+ dxm f,

(

Фj =

О En 0t

En о et

0 y* 0

где y* = (x2n ... xn+1), O - нулевая n x n -матрица, En - n x n -матрица, ненулевыми элементами которой являются единицы по побочной диагонали. Аналогичное поведение геодезических мы наблюдем и в многомерном случае. Если допустимые направления лежат в координатных плоскостях (ea, en+a), ае1, n , то геодезические ведут себя так же, как и в трехмерном случае. Все координатные прямые репера {О, ei}, i е1,2n являются геодезическими. Кроме того, все прямые, лежащие в координатных плоскостях, отличных от (ea ,en+a), также являются геодезическими.

ЛИТЕРАТУРА

1. Вершик А.М., Фадеев Л.Д. Лагранжева механика в инвариантном изложении // Проблемы теоретической физики. Л.: Издательство ЛГУ, 1975. С. 129-141.

2. Вершик А.М., Гершкович В.Я. Неголономные динамические системы. Геометрия распределений и вариационные задачи // Итоги науки и техники. Серия Современные проблемы математики. Фундаментальные направления. М.: ВИНИТИ, 1987. Т. 16. С. 5-85.

3. Сачков Ю.Л. Теория управления на группах Ли // Современная математика. Фундаментальные направления. 2007. Т. 26. С. 5-59. DOI: 10.1007/s10958-008-9275-0.

4. Agrachev A., Barilari D., Boscain U. Introduction to Riemannian and sub-Riemannian geometry. Trieste, Italy: SISSA, 2012. 179 p.

5. Alvarez M.A., Rodríguez-Vallarte M.C., Salgado G. Contact nilpotent Lie algebras // Proceedings of the American Mathematical Society. 2017. V. 145. No. 4. P. 1467-1474. DOI: 10.1090/proc/13341.

6. Gonzalez J.C., Chinea D. Quasi-Sasakian homogeneous structures on the generalized Heisenberg group H(p,1) // Proceedings of the American Mathematical Society. 1989. V. 105. No. 1. P. 173-184. DOI: 10.1090/S0002-9939-1989-0973843-9.

7. Binz E., Pods S. The Geometry of Heisenberg Groups: Mathematical Surveys and Monographs (V. 151). Providence, R.I.: American Mathematical Society, 2008. 321 p.

8. Boyer C.P. The Sasakian geometry of the Heisenberg group // Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie. 2009. V. 52. No. 3. P. 251-262.

9. Смоленцев Н.К. Левоинвариантные пара-сасакиевы структуры на группах Ли // Вестник Томского государственного университета. Математика и механика. 2019. № 62. С. 27-37. DOI: 10.17223/19988621/62/3.

10. Смоленцев Н.К., Шагабудинова И.Ю. О парасасакиевых структурах на пятимерных алгебрах Ли // Вестник Томского государственного университета. Математика и механика. 2021. № 69. С. 37-52. DOI: 10.17223/19988621/69/4.

11. Blair D.E. Contact Manifolds in Riemannian Geometry. Lecture Notes in Mathematics. Berlin; Heidelberg; New York: Springer-Verlag, 1976. 148 p. DOI: 10.1007/BFb0079307.

12. Кириченко В.Ф. Дифференциально-геометрические структуры на многообразиях. Одесса: Печатный дом, 2013. 458 с.

13. Panzhensky V.I., Klimova T.R. Contact metric connection on the Heisenberg group // Russian Mathematics. 2018. V. 62. No. 11. P. 45-52. DOI: 10.3103/S1066369X18110051.

14. Громол Д., Клингенберг В., Мейер В. Риманова геометрия в целом / пер. с нем. Ю.Д. Бураго; под ред. и с доп. В. А. Топоногова. М.: Мир, 1971. 343 с.

Статья поступила 11.08.2021

50

B.W. naHbmeHCKHH, A.O. PacTpenuHa

Pan'zhenskii V.I., Rastrepina A.O. (2022) LEFT-INVARIANT PARA-SASAKIAN STRUCTURE ON THE HEISENBERG GROUP. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 75. pp. 38-51

DOI 10.17223/19988621/75/4

Keywords: paracontact structure, contact metric connection, connection compatible with a distribution, truncated connection.

Among the eight three-dimensional Thurston geometries, there is the Heisenberg group, the nilpotent Lie group of real 3x3 matrices of a special form. It is known that this group has a left-invariant Sasakian structure. This article proves that there is also a paracontact metric structure on the Heisenberg group, which is also Sasakian. This group has a unique contact metric connection with skew-symmetric torsion, which is invariant under the group of automorphisms of the para-Sasakian structure. The discovered connection is proved to be a contact metric connection for any para-Sasakian structure. The concept of a connection compatible with the distribution is introduced. It is found that the Levi-Civita connection and the contact metric connection on the Heisenberg group endowed with a para-Sasakian structure are compatible with the contact distribution. Their orthogonal projections on this distribution determine the same truncated connection. It is proved that Levi-Civita contact geodesics and truncated geodesics coincide. It is found that contact geodesics are either straight lines lying in the contact planes or parabolas the orthogonal projections of which on the contact planes are straight lines. The results obtained in this article are also valid for the multidimensional Heisenberg group.

AMS Mathematical Subject Classification: 53D10, 53C50

Vladimir I. PAN'ZHENSKII (Candidate of Physical and Mathematical Sciences, prof., Head of the Department "Mathematical Education", Penza State University, Penza, Russian Federation). E-mail: kaf-geom@yandex.ru

Anastasia O. RASTREPINA (senior laboratory assistant of the Department "Mathematical Education" Penza State University, Penza, Russian Federation). E-mail: n.rastrepina@mail.ru

REFERENCES

1. Vershik A.M., Faddeev L.D. (1975) Lagranzheva mekhanika v invariantnom izlozhenii [Lagrangian mechanics in invariant form]. Problemy teoreticheskoy fiziki - Problems of Theoretical Physics. pp. 129-141.

2. Vershik A.M., Gershkovich V.Ya. (1987) Negolonomnyye dinamicheskiye sistemy. Geometriya raspredeleniy i variatsionnyye zadachi [Nonholonomic dynamical systems. Geometry of distributions and variational problems]. Itogi Nauki i Tekhniki. 16. pp. 5-85. Moscow: VINITI.

3. Sachkov Y.L. (2009) Control theory on Lie groups. Journal of Mathematical Sciences. 156(3). 381-439. DOI: 10.1007/s10958-008-9275-0.

4. Agrachev A., Barilari D., Boscain U. (2012) Introduction to Riemannian and sub-Riemannian geometry. Trieste: SISSA.

5. Alvarez M.A., Rodríguez-Vallarte M.C., Salgado G. (2017) Contact nilpotent Lie algebras. Proceedings of the American Mathematical Society. 145(4). pp. 1467-1474. DOI: 10.1090/proc/13341.

6. Gonzalez J.C., Chinea D. (1989) Quasi-Sasakian homogeneous structures on the generalized Heisenberg group H(p,1). Proceedings of the American Mathematical Society. 105(1). pp. 173-184. DOI: 10.1090/S0002-9939-1989-0973843-9.

7. Binz E., Pods S. (2008) The Geometry of Heisenberg Groups: Mathematical Surveys and Monographs (V. 151). Providence, R.I.: American Mathematical Society.

8. Boyer C.P. (2009) The Sasakian geometry of the Heisenberg group. Bulletin Mathématique de la Société des SciencesMathématiques de Roumanie. 52(3). pp. 251-262.

9. Smolentsev N.K. (2019) Levoinvariantnyye para-sasakiyevy straktury na gruppakh Li [Left-invariant para-Sasakian structures on Lie groups]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 62. pp. 27-37. DOI: 10.17223/19988621/62/3.

10. Smolentsev N.K., Shagabudinova, I.Y. (2021) O parasasakiyevykh strukturakh na pyatimernykh algebrakh Li [On parasasakian structures on five-dimensional Lie algebras]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 69. pp. 37-52. DOI: 10.17223/19988621/69/4.

11. Blair D.E. (1976) Contact Manifolds in Riemannian Geometry. Lecture Notes in Mathematics. Berlin; Heidelberg; New York: Springer-Verlag. DOI: 10.1007/BFb0079307.

12. Kirichenko V.F. (2013) Differentsial'no-geometricheskiye struktury na mnogoobraziyakh [Differential-Geometric Structures on Manifolds]. Odessa: Pechatnyi Dom.

13. Pan'zhenskii V.I., Klimova T.R. (2018) The contact metric connection on the Heisenberg group. Russian Mathematics. 62(11). pp. 45-52. DOI: 10.3103/S1066369X18110051.

14. Gromoll D., Klingenberg W., Meyer W. (1971) Rimanova geometriya v tselom [Global Riemannian Geometry]. Moscow: Mir.

Received: August 11, 2021