УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Том 147, кн. 1
Физико-математические науки
2005
УДК 514.16
h-ПРОСТРАНСТВА ТИПА {2 2 1} ПОСТОЯННОЙ КРИВИЗНЫ
А.Н. Карузин
Аннотация
Для нахождения инфинитезимальных проективных преобразований псевдориманова многообразия (m, g) применен метод косонормального репера A.B. Аминовой [1J, с помощью которого можно свести решение данной задачи к решению уравнений Эйзенхарта и обобщенных уравнений Киллинга. В данной работе интегрируются уравнения Эйзенхарта для 5-мерных пространств, определяемых тензором Ьлб типа {2,1, 1}.
Векторное поле X на 5-мерном римановом многообразии (М, О) с метрикой О и связностью Леви-Чивита называется инфинитезимальным проективным преобразованием или проективным движением, если локальная 1-параметрическая группа локальных преобразований, порожденная векторным полем X в окрестности каждой точки р е М, сохраняет геодезические. Необходимое и достаточное условие этого состоит в выполнении следующего равенства:
(Ьх Оав );С = 20ав ф;С + О АС ф;В + О ВС ф;А, (1)
где Ьх Оав — производим Ли метрики Оав в направлении проективного движения X, ф - некоторая функция координат х1,..., х5, а точка с запятой означает ковариантное дифференцирование относительно Оав (здесь и далее все индексы, обозначенные заглавными латинскими буквами, принимают значения от 1 до 5).
Интегрирование данных уравнений в общем виде вряд ли возможно, поэтому воспользуемся методом косонормального репера Аминовой (см., например, монографию [1]).
Согласно этому методу задача интегрирования уравнений (1) разбивается на ряд случаев. Признаком разбиения служит тип (характеристика Сегре) тензора Ьх Оав ■ При этом уравнения (1) разбиваются на две группы: уравнения Эйзенхарта
Ьав-с = 2Оав ф;С + О АС ф;В + О ВС ф-А (2)
и обобщенные уравнения Киллинга
Ьх Оав = Ьав ■ (3)
Задав тип тензора Ьав , можно найти общие решения уравнений (2) и (3). Метрики, допускающие нетривиальные решения Ьав = сОав уравнений Эйзенхарта, называются Ь-метриками, а определяемые ими пространства - Ь -пространствами.
В данной работе интегрируются уравнения Эйзенхарта (2) для пространств, определяемых тензором Ьав типа {2 2 1}, для каждого пространства находятся соответствующие Ь-метрики и формулируются условия постоянства кривизны найденных Ь-пространств.
0 е 0 0 0 / 0 еА1 0 0 0 \
е 0 0 0 0 еА1 е 0 0 0
0 0 0 е 0 , (аАв) = 0 0 0 еА2 0
0 0 е 0 0 0 0 еА2 ее 0
0 0 0 0 ее V 0 0 0 0 еА3 /
(4)
(5)
(6)
После замены
Ьлв = алв + ав
уравнения (2) принимают вид
&АВ;С = С АС + Сво •
Запишем эти уравнения в инвариантной форме [1]:
5
XRapQ + еи(^HQYнрп + "рн 1н<зв) = GpRXQ<¿> + GQRХр Н=1
А
Здесь £ - компоненты векторов канонического косонормального репера, р
АВ А
YPQR = —YQPR = £ А;В £ ХР^ = £ <^,А;
Р Q R Р
1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 5;
б1 = е2 = е = ±1, ез = е4 = е = ±1, е5 = е = ±1,
канонические формы Сав и аАв определяются формулами
(С ав ) =
где А1, Л2, Аз - произвольные функции координат ж1,..., ж5.
Подставив в (6) вместо Ср^ и аАв соответствующие канонические значения, получим следующие равенства:
Х^ = 0, Хз^ = 0, XR А1 = 5\Х2 XRА2 = 4 Х4 XRАз = 2^X5^, (7)
711R = 0, Y22R = 0, Y33R = 0, Y44R = 0, Y55R = 0, Yl3R = 0,
Yl2R = Х2Yl4R =
А1 - А2
4 Х4 <Л Y15R =
А1 - Аз
Х5<^
Y23R
А1 - А2 Y24R = е
Y34л = Y35Д = т—
А2 — А3
1 4. + , 1 , ¿1п)Х4^ +
(Ах - А2)2 й Ах - А2 й
+5
1 <& + —
(А1-А2)2 й^А!-А
2
1
1
^ = е ^-(Л1-Аз)2^ + АГ^^ ' + -
1
V (^2 - Аз)2 й А2 - Аз
А1 — А3 1
1 4 + Л 1 Л 4 ) + \
3 Г А2 — А3 / А2 — А3
здесь 4 - символы Кронекера.
Для того чтобы система уравнений с частными производными
а ( д
Х80 = £ дА0 = 0 (в = 1,...,р; А=1,...,5; 77— = дА
дХ А
(В)
е
е
А
где £ - компоненты векторов введенного выше репера, была вполне интегрируе-
s
мой, то есть для того, чтобы она допускала n — p = 5 — p независимых решений, необходимо и достаточно, чтобы все коммутаторы операторов системы
5
(Xs , Xr) = XsXr — XRXs = ^ eQ (YQSR — YQRs )Xq (9)
Q=i
линейно выражались через операторы Xs [1].
Использовав формулы (8), составим всевозможные скобки Ли векторных полей _ д Хз = 1дхл:
(Х1,Х2) =-Х2фХ2, (ХиХ3) = 0, (Х1,Х4) = -~-—X4ipX 1,
Ai — А2
(Хих5) = ---—Х5(рХ-1, (Х2,Х3) = ---—X2ipXз,
Ai — A3 Ai — A2
(Х2,х4) = ---— X4ipX2 + —-—rX4ipX i-
Ai — A2 (Ai — A2 )2
- (Al_1A2)2^^3, (10)
(X2,x5) = ---— X5ipX2 + —-——XbkpX\ - --—X2ipX5,
Ai — A3 (Ai — A3 )2 Ai — A3
(X3,X4) = -X4ipX4, (X3,X5) = -~-—X5ipX3,
A2 — A3
(X4,x5) = ---— X5ipX4 + —-—¿X5ipXz - --—X4ipX5.
A2 — A3 (A2 — A3 )2 A2 — A3
Выбрав из системы уравнений Xsв = 0, s = 1,...,5, вполне интегрируемые подсистемы (например, Xie = X2в = X3в = Х4в = 0 и т. д.), обозначим их решения вА и сделаем преобразования координат xA' = вА(х). В новой системе координат, опустив штрихи, получим
2 3 4 5 3 4 5 i 2 4 5
£ = £ = £ = £ = 0, £ = £ = £ = 0, £ = £ = £ = £ = 0, (11) i i i i 2 2 2 3 3 3 3
i 2 3 5 i 2 3 4
£ = £ = £ = £ = 0, £ = £ = £ = £ = 0.
4 4 4 4 5 5 5 5
Проинтегрировав с этими условиями уравнения (7), найдем
ip = Ai + А2 + + const, (12)
где Ai = Ai (х2), A2 = A2 (х4), A3 = A3 (х5) - произвольные функции указанных переменных.
Приравняв координаты векторных полей в левых и правых частях равенств (10), с учетом формул (11) и (12) придем к системе нелинейных дифференциальных уравнений первого порядка с частными производными для компонент векторных полей Xs. Проинтегрировав эту систему и выполнив подходящие преобразования
координат, найдем контравариантные компоненты векторов канонического косо-нормального репера:
I
1 (еж2 — ёж4)(еж2 — еж5)1/2 ' 1__1_ ( 1 1
£ /_ 9 ~ /1 \ / _ 9 ^ с:\1/9 I /___9 ~
(13)
2 (еж2 — ёж4)(еж2 — еж5)1/2 \ (еж2 — ёж4) 2 (еж2 — ёж5) ) ' £ =
2
3
£ =
3
3
£ =
4
4
£ =
4
5
£ =
5
где <г, т - произвольные функции указанных переменных, а е, е, е принимают значения 0 или 1. По формулам
5 а в
(еж2 — еж4 )(еж2 1 — еж5)1/2(еж1 + ст(ж2))'
(еж2 -ёж4) (ёж4 1 — еж5 )1/2 ' ( 1 1 1
(еж2 -ёж4) (ёж4 -ёж5)!/2 \(ех2 _£Ж4) 1 2(ёж4 -
(еж2 — еж4 )(еж4 1 — ёж5)1/2(ёж3 + т(ж4))'
(еж2 — еж5 )(еж4 — еж5 )
-уЛВ _ ^^ H=1
GAB _ > ен £ £ (14)
вычислим сначала контравариантные, а затем найдем ковариантные компоненты метрического тензора:
GЛвdxAdxB _ е(еж2 — ёж4)(еж1 + ст(ж2))(2(еж2 — ёж4)(еж2 — ёж5)х
х ^ж1^ж2 + (еж1 + ст(ж2))(3еж2 — еж4 — 2еж5)(^ж2)2) + ё(еж2 — еж4)х х (еж3 + т(ж4))(2(еж2 — еж4)^4 — еж5)^ж3^ж4 + (еж3 + т(ж4))х
х (еж2 — 3еж4 + 2еж5)(^ж4)2) + е(еж2 — еж5)2(еж4 — еж5)2(^ж5)2, (15)
в
Использовав (15), по формулам £ л _ Gab £ определим ковариантные компонен-
c c
ты векторов канонического косонормального репера, затем по формуле алв _
5
_ ерeqaipQ £ л £ в вычислим компоненты тензора алв и, наконец, с учетом
p,q=1 P Q
равенства (4), найдем компоненты тензора Ллв:
hAB^жл¿жв _ (3еж2 + 2еж4 + еж5)(2G12^ж1 ^ж2 + G22(^ж2)2)+
+ ((2еж2 + 3еж4 + еж5 )(2С34^ж3 ^ж4 + G44 (¿ж4 )2)+ + (еж1 + ст(ж2 ))G12 (^ж2 )2 + (еж3 + т (ж4 ))G34 (^ж4 )2 +
+ 2(еж2 + еж4 + еж5 )G55 (^ж5 )2. (16)
Непосредственной подстановкой можно убедиться в том, что тензоры hAB > Gab и функция определенные (12), (15) и (16), удовлетворяют уравнениям (2). Таким образом, справедлива
Теорема 1. Для того чтобы псевдориманово многообразие M, G было h-пространством типа {2 2 1}, необходимо и достаточно, чтобы в некоторой
1
голономной системе координат его метрика определялась формулами (12), (15) и (16), при этом канонический косонормальный репер имел вид (13).
Детерминант метрического тензора (15) имеет вид
е(еж2 - еж4)8(еж2 - еж5)4(еж4 - еж5)4(еж1 + а(ж2))2(еж3 + т(ж4))2
(17)
для его невырожденности необходимо выполнение условий
(еж2 - еж4) = 0, (еж2 - еж5) = 0, (еж4 - еж5) = 0, (еж1 + ст(ж2 ))=0, (еж3 + т (ж4)) = 0.
(18)
В дальнейшем нам понадобятся компоненты тензора кривизны метрики Gab (15). Ненулевые компоненты тензора Римана h-пространства типа {2 2 1} имеют вид:
RH2
R.
212
2
-R212
^ст(ж2) ^ж2
(еж1 + ст(ж2))2 (Зеж2 - 2еж5 - еж4) (еж2 - еж5)
^ст(ж2) d ж2
42
ее^(еж1 + ст(ж2))(еж2 - еж4) 4(еж2 - еж5)3 (еж4 - еж5)2 '
еее(еж1 + ст(ж2))2(еж2 - еж4)
(еж2 - еж4)(еж1 + ст(ж2)) 4(еж2 - еж5)3(еж4 - еж5)2
R1314
R1324
R1414
R1424
R1515
R1525
R
413
R
324
R
423
ё(з^(еж3 + т(ж4))(еж2 - еж4)2 4(еж2 - еж5)3 (еж4 - еж5)2 х ёеё^ж1 + сг(ж2))(ёж3 + т(ж4))(еж2 — ёж4)2 423 = 4(еж2 -еж5)4(ёж4 - еж5)2 +
еёе^ж4 - еж5)(еж3 + т(ж4))
+
^ст(ж2) ^ж2
(еж2 - еж4)(еж2 - еж5)(еж1 + ст(ж2))2 '
2
R424
(ж4) dx4
ёёе^ж3 + т(ж4))2(еж2 - еж4) (еж2-ёж4) (ёж3 + г (ж4)) ' 2 (еж2 - ёж5)3 (ёж4 - ёж5)2
+
(ж4) dx4
(еж1 + ст(ж2)) еее
+
^ст(ж2) ^ж2
(еж2 - 2еж4 + еж5)
(еж2 - еж4)2(еж3 + т(ж4)) (еж2 - еж4)2(еж2 - еж5)
(еж3 + т(ж4))2 ёёе^ж3 + т(ж4))2(еж1 + ст(ж2))(еж2 - еж4)
R
(еж1 + а(ж2))2 2(еж2 - еж5)4(еж4 - еж5)2
2 _ ё(2еж2 + Зёж4 - 5ёж5) 525 = 4(еж2 - ёж5)2(ёж4 - ёж5)' ё(еж1 + а(ж2))((еж2 - ёж4)2 - 2(ёж4 - ёж5)2) 2(еж4 - еж5 )(еж2 - еж5 )3 (еж2 - еж4)
+
еее
+
^ст(ж2) ^ж2
(еж4 - еж5)
52
(еж2 - еж4)2(еж1 + ст(ж2))2 '
R
123
42
R
213
R
124
R
214
ее^(еж1 + ст(ж2))(еж2 - еж4) 4(еж4 - еж5)3 (еж2 - еж5)2
х
з з еёё(ёж3 + т(х4))(ех1 + сг(ж2))(еж2 — ёж4)2
124 = 214 = 4 (ёж4 — ёж5)4 (еж2 — ёж5)2
^т (ж4) :--—-\
и___;___;___/19\
еёё (еж2 — ёж5)(ежх + сг(ж2))
е!
(еж2 — ёж4)(ёж4 — ёж5)(ёж3 + т(ж4))2 ' ^ст(ж2)
з 4 её(еж ёж) еёё(еж2 - ёж4)(ежх + сг(ж2))2
223 = 224 = " (ёж4 - ёж5) (ёж3 + г (ж4)) + 2 (еж2 - ёж5)2 (ёж4 - ёж5)3 '
Д
224
3
Д334
Д
434
Д
535
3
Д545
5
Д125
5
Д225
Д
345
Д
445
+
^ст(ж2) с? ж2
(еж3 + т (ж4))
еёег(2еж2 — еж4 — еж5) + -—^—~ ,-г-к- х
(еж2 — еж4 )2 (еж1 + ст(ж2)) (еж2 — еж4)2 (еж4 — еж5) (еж1 + ст(ж2 ))2 вве^ж3 + т (ж4 ))(еж1 + ст(ж2 ))2 (еж2 — еж4)
(еж3 + т (ж4 ))2
(ж4)
_ о4 _С? Ж4
434 (ёж3+т(ж4))2 (3еж4 — 2еж5 — еж2)
2(еж2 — еж5 )2 (еж4 — еж5 )4
ве^еж3 + т (ж4 ))(еж2 — еж4)2 4(еж4 — еж5 )3 (еж2 — еж5 )2
(еж4 — еж5)
х —
(ж4) ¿ж4
ее^(еж2 — еж4 )(еж3 + т (ж4 ))2
+
Д
(еж3 + т (ж4 ))(еж2 — еж4) 4(еж4 — еж5 )3 (еж2 — еж5 )2
4 _ 3ё(3еж2 + 2ёж4 - 5ёж5) 545 ~ 4(ёж4 - ёж5)2(еж2 - ёж5)'
^ т" () / 2 ^ 5 \ 2 Лял (£х ~£х > ё(ёж3 + т(ж4))(2еж2 + ёж4 - Зёж5)
(еж2 — еж4 )2 (еж3 + т (ж4 ))2 2(еж2 — еж5 )(еж4 — еж5)3
5 еее(2еж2 + 3еж4 — Беж^еж2 — еж4 )2 (еж1 + ст(ж2))
Д
215
4(еж4 — еж5)3 (еж2 — еж5)3
^ст(ж2) ^ж2
+
Д
(еж2 — еж5 )(еж1 + ст(ж2)) вве^ж1 + ст(ж2 ))2 (4еж2 + еж4 — Беж5 )(еж2 + еж4 — 2еж5)
4(еж2 - ёж5)4(ёж4 - ёж5)3 '
5 3ëëё(ёж3 + т (ж4 ))(еж2 — еж4 )2(3еж2 + 2еж4 — Беж5)
435
(ж4) ¿ж4
4(еж4 — еж5 )3(еж2 — еж5 )3
+
(еж4 — еж5 )(еж3 + т (ж4)) ¿^(еж2 + еж4 — 2еж5)(еж2 + 4еж4 — Беж5 )(еж2 — еж4 )(еж3 + т (ж4 ))2 4(еж2 - ёж5)3(ёж4 - ёж5)4 '
Сформулируем основное утверждение нашей работы.
Теорема 2. Если к -пространство типа {2 2 1} имеет постоянную кривизну, то эта кривизна равна нулю. Необходимые и достаточные условия того, что
к -пространство типа {2 2 1} является пространством постоянной кривизны, имеют вид
^=0, £ = 0. (20)
А X А X
Доказательство. Необходимое и достаточное условие постоянства кривизны псевдориманова пространства выражается равенством
КАав = К(б£Овв - ¿АGвc), (21)
где К - постоянная. Отсюда, в частности, следует
Д324 = 0 и Д324 =
da(x2) dx2
dr (ж4)
Учитывая (18), из первого равенства получим е = 0 и —-—^— = 0, после этого
из второго равенства найдем —-—-— = 0. Легко убедиться в том, что при этих
условиях все компоненты тензора кривизны (19) обращаются в нуль и, в силу (21), K = 0.
Наоборот, подставив условия (20) в формулы (19), получим, что все компоненты
h
теорему. □
Решению дальнейшей задачи - интегрированию обобщенных уравнений Кн. ь линга и определению 1-параметрических групп Ли проективных движений рас-h
Автор благодарит профессора A.B. Аминову за постановку задачи, полезные обсуждения и постоянную поддержку.
Работа выполнена при частичной финансовой поддержке Российского фонда фундаментальных исследований (проект № 02-01-00996).
Summary
A.N. Karuzin. ^-spaces of type {2, 2,1} having constant curvature.
In order to find projective transformations of a pseudo-Riemannian manifold one can use A.V. Aminov's method of skew-orthogonal frame [1]. This method makes it possible to reduce the problem to solving Eisenhart equations and generalized Killing equations. In the present paper we integrate the Eisenhart equations for 5-dimensional ^-spaces of type {2,1,1}.
Литература
1. Аминова A.B. Проективные преобразования псевдоримановых многообразий. - М.: Янус-К, 2003. - 619 с.
2. Солодовников A.C. Проективные преобразования римановых пространств // УМН. - 1956. - Вып. 11. - С. 45-116.
3. Эйзенхарт Л.П. Риманова геометрия. - М.: Иностр. лит-ра, 1948.
Поступила в редакцию 09.12.04
Карузин Андрей Николаевич - аспирант кафедры теории относительности и гравитации Казанского государственного университета. E-mail: Andrey.Karuzin@ksu.ru