CC BY
6
РАЗДЕЛ I. МАТЕМАТИКА
УДК 514.76 + 512.54
DOI: 10.18384-2310-7251-2019-3-6-14
0 ПРОЕКТИВНО СИММЕТРИЧЕСКИХ МНОГООБРАЗИЯХ АФФИННОЙ СВЯЗНОСТИ НУЛЕВОЙ КРИВИЗНЫ
Матвеев О. А., Птицына И. В., Фролов О. В.
Московский государственный областной университет
141014, Московская область, г. Мытищи, ул. Веры Волошиной, д. 24, Российская Федерация
Аннотация. Обсуждаются геометрические свойства многообразий аффинной связности нулевой кривизны, имеющих общие геодезические линии с сохранением аффинного (канонического) параметра с локально симметрическими пространствами. Этот класс пространств характеризуется тождествами, которым удовлетворяет тензорное поле кручения и его ковариантные производные. Для этого класса аффинно связных многообразий исследуются геодезические лупы с гомотетиями.
Ключевые слова: многообразия аффинной связности нулевой кривизны, симметрические пространства аффинной связности, геодезическая лупа, параллельные переносы, гомотетия
ON PROJECTIVE SYMMETRIC ZERO CURVATURE MANIFOLDS WITH AFFINE CONNECTION
O. Matveyev, I. Pticina, O. Frolov
Moscow Region State University
ul. Very Voloshinoi 24,141014 Mytishchi, Moscow region, Russian Federation
Abstract. The paper deals with the geometric properties of the zero curvature manifolds with affine connection having common geodesic lines with preservation of the affine (canonical) parameter with locally symmetric spaces of affine connectivity. This class of spaces is
© CC BY Матвеев О. А., Птицына И. В., Фролов О. В., 2019.
characterized by identities satisfied by the torsion tensor field and its covariant derivatives. Geodesic loops with homotheties of this class of affine connected manifolds are investigated.
Keywords: manifolds with affine connection of zero curvature, symmetric spaces with affine connection, a geodesic loop, parallel translations, homothety
Свойства параллельных переносов и гомотетий рассматривались в различных классах пространств аффинной связности, см. например [1-7]. В настоящей работе исследуются пространства постоянной кривизны. Поскольку этот класс пространств очень широк, мы накладываем дополнительное условие, требуем, чтобы пространство имело общие геодезические линии с сохранением аффинного (канонического) параметра с локально симметрическим пространством аффинной связности.
Определение 1. Аффинно связное многообразие (M, V) называется локально просимметрическим (проективно симметрическим первого типа), если оно имеет общие геодезические линии с сохранением аффинного (канонического) параметра с локально симметрическим пространством аффинной связности
( M, V).
Предложение 1. Пусть (M, V) - аффинно связное многообразие, T и R - его поля кручения и кривизны. Тогда следующие утверждения (а)-(с) эквивалентны:
(a) (M, V) является просимметрическим;
(b) аффинно связное многообразие (M,V), где VxY = VxY-^T(X,Y),
является локально симметрическим;
(c) в (M, V) выполняется следующее тождество:
(V x R)(Y, Z, W ) +1 R(T ( X, Y ), Z )W +1 R(Y, T ( X, Z ))W + 2 2
+1 R(Y, Z)T ( X ,W ) -1T (X, R(Y, Z)W) = 0, (1)
2 2
где
R( X, Y )Z = R( X, Y )Z - V xt )(Y, Z ) +1 (V yt )( X, Z ) +1T ( X, T (Y, Z )) -2 2 4
-1T (Y ,T (X, Z ) +1T (Z ,T (X ,Y )), (2)
4 2
X, Y, Z, W - дифференцируемые векторные поля на M.
Предложение 2. Аффинно связное многообразие (M, V) просимметрично и имеет нулевую кривизну тогда и только тогда, когда выполняется следующее соотношение:
4( V w V ZT )(X ,Y) - 2(V WT )(X, T (Y, Z)) + 2(V WT )(Y, T (X, Z)) + + 2(V ZT )(T (W, X ),Y) - 2(V ZT )(T (W, X ),Y) - 2T (X ,(VwT )(Y, Z) + + 2T (Y ,(VwT )(X, Z) + 2(Vt (w , z )T)(X ,Y) - 2T (W ,(V zT )(X ,Y)) -
- T(T(W,X),T(Y,Z)) + T(Y,T(T(W,X),Z)) - T(T(W, Y),T(X,Z)) -
- T(X,T(T(W, Y),Z) - T(X,T(Y,T(W,Z))) + T(Y,T(X, T(W,Z))) +
+ T (W ,T (X ,T (Y, Z))) - T (W ,T (Y ,T (X, Z))) = 0. (3)
Доказательство. Пусть VxY = VxY -1T(X, Y), тогда тензор кривизны R в
(M, V) выражается следующим образом:
4R(X,Z)Z =(2) -2(VXT)(Y,Z) + 2(VyT)(X,Z) + + T (X, T (Y, Z)) - T (Y, T (X, Z)) + 2T (Z,T (X ,Y)) = = 2(V ZT )(X ,Y) - T (X ,T (Y, Z)) + T (Y ,T (X, Z)) (4)
Теперь, используя (4) и (1), получим (3). ▲
Предложение 3. Пусть (M, V) - аффинно связное многообразие Муфанг, т. е. R = 0, 3(V ZT )(X, Y) = T (Z, T (X, Y)) + T (X, T (Y, Z)) + T (Y, T (Z, X)).
Тогда (M, V) является просимметрическим с нулевой кривизной.
Доказательство. Если положить V xY = V XY -1T (X, Y), то
2
12R( X, Z )Z = -T (X ,T (Y, Z)) - T (Y ,T (Z, X)) + 2T (Z,T (X ,Y)), 6(V ZT )(X, Y) = -T (X, T (Y, Z)) - T (Y, T (Z, X)) - T (Y, T (Z, X)).
Ковариантно дифференцируя обе части первого из этих равенств, и, применяя второе равенство, убеждаемся, что VR = 0. ▲
Предложение 4. Пусть (M, V) - локально симметрическое многообразие, и T - тензорное поле, такое, что
T (X, Y) = -T (Y, X), (5)
R(X ,Y )Z = 1(VzT)( X ,Y) +1T (Z ,T (X ,Y)). (6)
2 4
Тогда (M,V), где VXY = VxY +1T(X,Y), является просимметрическим с
нулевой кривизной.
Предложение 5. Любое аналитическое просимметрическое многообразие (M, V) нулевой кривизны локально определено в достаточно малой окрестности точки ее M его касательной алгеброй Me = (fe (M), , , J, . Касательная
алгебра Me является тернарной системой Ли с тройной операцией [ , , ], связанной с бинарной операцией * следующим тождеством:
X *[ ,У ] + У *[[, 2 ,У ] + 2 *[Х ,У ] + W *[У, 2, X ] = 0, (7)
X, У, № е Те (М).
Доказательство. Здесь мы изложим только основную идею. Хорошо известно, что симметрическое пространство (М, V) локально определяется его касательной тернарной системой Ли. С другой стороны, дифференциальные продолжения уравнения (6) заключаются в следующем тождестве:
Т (X, № )У) + Т (У, , 2) X) + Т (г, Ж X ,У )№) + Т №, Я(У, X )2) = 0. (8) Если положить X*У = -Т(X,У), X,У е Те(М), то мы получим тождество (7).
Определение 2. Аффинно связное многообразие (М, V) называется проабелевым (проективно плоским первого типа), если оно имеет общие геодезические линии с локально плоским пространством (М, V), с сохранением аффинного
(канонического) параметра.
Предложение 6. Проабелево многообразие является просимметрическим (обратное неверно).
Предложение 7. Пусть (М, V) - аффинно связное многообразие, Т и Я - его поля кручения и кривизны.
Тогда эквивалентны следующие утверждения (а)-(с):
(a) (М, V) является проабелевым;
(b) аффинно связное многообразие (М,V), где VxУ = V¿У-1Т(X,У),
является локально плоским многообразием;
(c) в (М, V) выполняется следующее тождество:
Ж X, У = ^ xT )(У, 2) - ^уТ)(X, 2) -1Т (X, Т (У, 2)) + 2 2 4
+^(УТа^)) -1 тТаУ)). (9)
4 2
Следствие 1. Аффинно связное многообразие (М, V) является проабелевым с нулевой кривизной тогда и только тогда, когда выполняется тождество:
(V xT )(У, 2) - (V уТ )(X, 2) -1Т (X, Т (У, 2)) +
2
+1Т (У ,Т (X, 2)) - Т (2 ,Т (X ,У)) = 0. (10)
2
Замечание. Используя тождества Бианки, убеждаемся, что тождество (10) эквивалентно следующему:
2^ 2У)(X ,У) = Т (X ,Т (У, 2)) + Т (У ,Т (2, X)). (11)
Предложение 8. Пусть (М, V) - локально плоское многообразие (т. е. Т = 0, Я = 0). Пусть Т - тензорное поле на М, такое, что Т(Х, У) = - Т(У, X), и
2(^Т)( X ,У) = Т(Т (X ,У), 2). (12)
Тогда (М, V), где VхУ = VХУ -1Т(X,У), является проабелевым нулевой кривизны.
Следующая схема иллюстрирует взаимное расположение подклассов просим-метрических пространств (см. рис. 1).
Просимметрические пространства
Просимметрические пространства нулевой кривизны
Пространства Муфанг
Групповые пространства
Рис. 1. Расположение подклассов просимметрических пространств.
Определение 3. Геодезическая лупа с гомотетиями М =< M, Se, {te} , e
называется симметрической, если локально выполняются следующие тождества (когда одновременно правые и левые части имеют смысл):
^ ° ^х = ^+и)„х (13)
^ = ^ ° ^ ° ^ (14)
(-1) о SX = S(_1), о (-1) (15)
Т е (x, 7 )о te = te о Т е (x, y ), (16)
где Iе (x,y) = (sesXy) 1 оSX оSy.
Замечание. Тождество (14) в теории квазигрупп и луп называется левым тождеством Бола.( см.,например, [2; 8]).
Предложение 9. Пространство аффинной связности является симметрическим, если и только если все его локальные геодезические лупы с гомотетиями симметрические.
Определение 4. Геодезическая лупа с гомотетиями Ме = ^М, И, , е
называется просимметрической, если Ме = (М,Бе,te,е) - симметрическая, где
=(-1)т,°К=li> °H
Г Л-1
L
3 ( 1)e * (17)
Предложение 10. Дифференцируемая просимметрическая локальная геодезическая лупа с гомотетиями М = (ы, Ье, , е^ является просимметриче-
ской, если и только если выполняются следующие тождества:
(-1) ty г = и (-1)г, (18)
ГДе * = (-1)Х У
(Ч (Ч = Нь (-1)у г. (19)
где а = txy, Ь = tyx.
Замечание. Тождество (19) эквивалентно следующему соотнощению:
(-1)(+1)ХУ ° (-l)txУ =(-1)у ° (-1)Х (20)
Очевидно, что просимметрическая геодезическая лупа с гомотетиями является симметрической, обратное неверно.
Предложение 11. Дифференцируемая просимметрическая локальная геодезическая лупа с гомотетиями М = (м, Ье, , е^ является просимметри-
ческой, если и только если она может быть включена в качестве геодезической лупы в просимметрическое аффинно связное многообразие.
Предложение 12. Дифференцируемая просимметрическая локальная геодезическая лупа с гомотетиями Ме = ^М, Ье, {е , е^ может быть включена в
качестве геодезической лупы в просимметрическое аффинно связное многообразие (М, V) нулевой кривизны, если и только если удовлетворяется тождество правой моноальтернативности:
= ЬХ ( + 1) У Iе (Х, у )teУ = t еУ (21)
Замечание. Тождества (21) имеют следующие следствия:
(-1) (ЬХ )-1 У = (ьу )-1 х. ((х \ у )-1 = у \ х ). (22)
Действительно, Ь^ (-1)г = ЬеХ (1 -1) г = ЬеХе = х. Если мы положим
^ = (ЬеХ) 1 У, то ЬеХг = У, и мы приходим к соотношениям (22).
Предложение 13. Дифференцируемая правомоноальтернативная локальная геодезическая лупа с гомотетиями М = (м, Ье, { }tеК , е^ является просимме-
трической, если и только если удовлетворяются тождества:
Хё ([(х.а). (е%)] \еХ) = ( (-1)е а) ^е [( (-1)е а) (хё [(хеЯ)е 2 \е х]) . (23)
(х¿а). ( (г \е (xetea))) (х.а)
= (( (t +1) а) (х.£а)((-1)г)] \е х. ( + 1)а) . (24)
Определение 5. Дифференцируемая правомоноальтернативная локальная лупа с гомотетиями М = (м, Iе, {е , е^ называется проабелевой, если
М = ^М, Бе, {, е^ (см. (17)) является векторным пространством над
полем действительных чисел.
Предложение 14. Дифференцируемая локальная геодезическая лупа с гомо-М = ^М, Iе, {е , е^ является проабелевой, если и только если вы-
тетиями
полняются тождества:
tx о Uy = Utxy о tx
Vx о
1
V "
о Vz = Vz о
1
\v
о Vx;
(25)
(26)
t, и, V М, V Ф 0, х, у, 2 М.
Предложение 15. Дифференцируемая локальная геодезическая лупа с гомотетиями М = ^М, I, {е , е^ является проабелевой, если и только если выполняются тождества:
1
Lex о Ve о (Lex )-1 о - о Lez о Ve о (L% )-1 =
V v /
1
= Lez о Ve о (Lez )-1 о 1 о Lex о Ve о (L\ )
(27)
m
е
'(г,t)°ие = ие °те (г,t); Iе °(х,у)ие = ие °Iе (х,у),
где те (г, t) = (% ) ° ^ ° 1%.
Предложение 15. Дифференцируемая локальная лупа с гомотетиями М = (м, Iе, {е , е^ может быть включена в качестве геодезической лупы
с гомотетиями в проективно плоское первого типа (проабелево) пространство аффинной связности нулевой кривизны, если и только если выполняются тождества (21), (27)-(29).
Статья поступила в редакцию 16.04.2019 г.
(28) (29)
ЛИТЕРАТУРА
1. Гомотетии и параллельные переносы в проективно симметрических пространствах аффинной связности / Андроникова Е. О., Дмитриева М. Н., Матвеев О. А., Матвеева Н. В. // Вестник Московского государственного областного университета. Серия: Физика-математика. 2016. № 3. С.8-17.
2. Андроникова Е. О., Матвеев О. А. Левое тождество Бола в теории симметрических пространств аффинной связности // Вестник Московского государственного областного университета. Серия Физика-математика. 2017. № 3. С. 6-11.
3. Matveyev O. A., Nesterenko E. L. On the quasigroup properties of prosymmetric spaces with zero curvature // Webs and Quasigroups. Tver: Tver State University Press, 2002. P. 78-85.
4. Matveyev O. A., Nesterenko E. L. The real prosymmetric spaces // Non-associative algebra and its applications. Vol. 246.A series of lecture notes and applied mathematics / Edited by L Sabinin, L. Sbitneva, I. Shestakov. Boca Raton, FL, USA: CRC Press, Taylor & Francis Group, 2006. P. 253-260.
5. Матвеев О. А., Нестеренко Е. Л. Алгебраическая теория пространств, близких к симметрическим: монография. Germany: Lap Lambert Academic Publishing, 2012. 125 с.
6. Матвеев О. А., Нестеренко Е. Л. Универсальные алгебры в теории пространств аффинной связности, близких к симметрическим: монография. М.: МГОУ 2012. 132 с.
7. Sabinin L. V., Matveyev O. A. Geodesic loops and some classes of affinely connected manifolds // Вестник Российского университета дружбы народов. Серия Математика. 1995. №2 (1). С. 135-143.
8. Shelehov A. M. Left Bol three-webs with the IC-property // Russian Mathematics. 2013. Vol. 57. Iss. 5. P. 20-28.
REFERENCES
1. Andronikova E. O., Dmitrieva M. N., Matveyev O. A., Matveeva N. V. [Homotheties and parallel translations in the projective symmetric spaces with affine connection]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya: Fizika-matematika [Bulletin of Moscow Region State University. Series: Physics and Mathematics], 2016, no. 3, pp. 8-17.
2. Andronikova E. O., Matveyev O. A. [The left Bol identity in the theory of symmetric spaces with affine connection]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya Fizika-matematika [Bulletin of Moscow Region State University. Series: Physics and Mathematics], 2017, no. 3, pp. 6-11.
3. Matveyev O. A., Nesterenko E. L. On the quasigroup properties of prosymmetric spaces with zero curvature. In: Webs and Quasigroups. Tver, Tver State University Press, 2002. pp. 78-85.
4. Matveyev O. A., Nesterenko E. L. The real prosymmetric spaces. In: Sabinin L., Sbitneva L., Shestakov I., ed. Non-associative algebra and its applications. Vol. 246.A series of lecture notes and applied mathematics. Boca Raton, FL, USA, CRC Press, Taylor & Francis Group Publ., 2006. pp. 253-260.
5. Matveev O. A., Nesterenko E. L. Algebraicheskaya teoriya prostranstv, blizkikh k simmetricheskim [Algebraic theory of spaces close to symmetric]. Germany, Lap Lambert Academic Publishing Publ., 2012. 125 p.
6. Matveyev O. A., Nesterenko E. L. Universal'nye algebry v teorii prostranstv affinnoi svyaznosti, blizkikh k simmetricheskim [Universal algebra in the theory of spaces with affine connection close to symmetric]. Moscow, Moscow Region State University Publ., 2012. 132 p.
7. Sabinin L. V., Matveyev O. A. [Geodesic loops and some classes of affinely connected manifolds]. In: Vestnik Rossiiskogo universiteta druzhby narodov. SeriyaMatematika [Bulletin of the Peoples' Friendship University of Russia. Mathematics Series], 1995, no. 2 (1), pp. 135-143.
8. Shelehov A. M. Left Bol three-webs with the IC-property. In: Russian Mathematics, 2013, vol. 57, iss. 5, pp. 20-28.
ИНФОРМАЦИЯ ОБ АВТОРАХ
Матвеев Олег Александрович - кандидат физико-математических наук, доцент, доцент кафедры математического анализа и геометрии Московского государственного областного университета; e-mail: matveyevoa@mail.ru;
Птицына Инга Вячеславовна - кандидат физико-математических наук, доцент кафедры математический анализа и геометрии Московского государственного областного университета; e-mail: inpt@mail.ru;
Фролов Олег Викторович - студент физико-математического факультета Московского государственного областного университета; e-mail: frol3661@gmail.com
INFORMATION ABOUT THE AUTHORS
Oleg A. Matveyev - PhD in Physical and Mathematical Sciences, Associate Professor at the Department of Mathematical Analysis and Geometry, Moscow Region State University; e-mail: matveyevoa@mail.ru
Inga V. Pticina - PhD in Physical and Mathematical Sciences, Associate Professor at the Department of Mathematical Analysis and Geometry, Moscow Region State University; e-mail: inpt@mail.ru
Oleg V. Frolov - student of the Physical and Mathematical Department, Moscow Region State University;
e-mail: frol3661@gmail.com.
ПРАВИЛЬНАЯ ССЫЛКА НА СТАТЬЮ
Матвеев О. А., Птицына И. В., Фролов О. В. О проективно симметрических многообразиях аффинной связности нулевой кривизны // Вестник Московского государственного областного университета. Серия: Физика-математика. 2019. № 3. C. 6-14. DOI: 10.18384-2310-7251-2019-3-6-14
FOR CITATION
Matveyev O. A., Pticina I. V., Frolov O. V. On projective symmetric zero curvature manifolds with affine connection. In: Bulletin of Moscow Region State University. Series: Physics and Mathematics, 2019, no. 3, pp. 6-14. DOI: 10.18384-2310-7251-2019-3-6-14
