CC BY
6
www.volsu.ru
DOI: https://doi.Org/10.15688/mpcm.jvolsu.2017.5.4
УДК 514.76 ББК 22.1
СВОЙСТВА ИНТЕГРИРУЕМОСТИ МС10-МНОГООБРАЗИЙ
Алигаджи Рабаданович Рустанов
Кандидат физико-математических наук, доцент кафедры теоретической и специальной социологии Института социально-гуманитарного образования, Московский педагогический государственный университет aligadzhi@yandex. ги
просп. Вернадского, 88, 119571 г. Москва, Российская Федерация
Аннотация. В работе исследованы свойства интегрируемости NC10-многообра-зий. В частности, показано, что интегрируемая NC10-структура, а также нормальная NC10-структура, является косимплектической. Показано, что NC10-структура с замкнутой контактной формой является точнейше косимплектической. Приведены локальные строения исследуемых многообразий.
Ключевые слова: косимплектическая структура, интегрируемая структура, приближенно келерово многообразие, точнейшее косимплектическая структура, тензор Нейенхейса, нормальная структура, NC10-многообразие.
В данной работе мы продолжаем изучение геометрии NC10-многообразий, начатое в работах [3-5]. Интерес к этому классу многообразий вызван тем фактом, что этот класс многообразий обобщает хорошо изученный класс косимплектических многообразий. Более того, они обобщают класс точнейше косимплектических многообразий. В данной статье мы исследуем свойства интегрируемости данной структуры, что составляет основную цель статьи.
Пусть М - гладкое почти контактное метрическое многообразие (коротко, ЛС-многообра-зие), размерности 2п +1, X (Ы) - С "-модуль гладких векторных полей на многообразии М. В дальнейшем все многообразия, тензорные поля и т. п. объекты предполагаются гладкими класса С Определение 1 [3]. ЛС-структура, характеризуемая тождеством
Vx (Ф)Г + ^ (ф)х = ^ (п)ФГ +
+ Еуг (п)ФХ + п(х)Уф74 + п(г)Уфх4; X, Г е Х(Ы), ( )
называется NC10-структурой. ЛС-многообразие, снабженное NC10-структурой, называется NC10-многообразием.
Полная группа структурных уравнений NC10-структуры на пространстве присоединенной С-структуры имеет вид [3]:
1) = л юй + л юь;
о
(N
PU
< 2) dюa = -0; Л юь + CabcЮь л юс + Fako\ л ю; о
§ 3) d&a = 0ba л щ+cabc&b Л щС+раьюЬ Л щ; (2)
4) d0C + 0а Л 0b = (a£ - 2CadhChbc - FadFbc )юс л ffld, 32 ISSN 2587-6325. Математ. физика и компьютер. моделирование. 2017. Т. 20. №5
где
V—ï^ „ ^ V—Î
Cabc = --Ф a.; Cc = ---Ф a ; C[abc J = Cabc ; Cf b J = C c ; Cabc = Cb;
2 bc^ abc ^ b,c' ' [ abc J abc ' abc '
F"b = V-Гфa;,. ; ^ab = -лДф0a,b ; F* + F* = 0; ^ab + ^ = 0; (3)
A ad = AadJ = 0- F Cdbc = FadC = 0 bcJ ~ ^bc ~ _ Г dbc *
Тождество FadCdbc = 0 называется первым фундаментальным тождеством NC^-струк-
л ad ^ adh t \ \
туры; тождество Ab[cCgfjd = 2C Chb[cLgfjd - вторым фундаментальным тождеством; тождество AldcF\d\gj = FadFb]cCFdgj - третьим фундаментальным тождеством [4; 5].
Предложение 1 [3]. NC^-структура является: 1) точнейше косимплектической тогда и только тогда, когда второй структурный тензор равен нулю, то есть F = 0; 2) структурой класса C10 тогда и только тогда, когда первый структурный тензор равен нулю, то есть Ca c = Cabc = 0; 3) косимплектической структурой тогда и только тогда, когда Cabc = Cabc = 0, Fab = Fab = 0.
Поскольку ю = ю0 = п(п), где л - естественная проекция пространства присоединенной G-структуры на многообразие М, то из (2:1) следует, что контактная форма NC^-структуры замкнута тогда и только тогда, когда Fab = Fab = 0, то есть когда, согласно Предложения 1, NC^-структура является точнейше косимплектической. Так как всякое точнейшее косимп-лектическое многообразие локально эквивалентно произведению приближенно келерова многообразия на вещественную прямую [2], то доказана следующая теорема.
Теорема 1. NC^-многообразие имеет замкнутую контактную форму тогда и только тогда, когда она является точнейше косимплектическим многообразием, то есть когда локально эквивалентно произведению приближенно келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными.
Напомним [2], что компоненты тензора Нейенхейса
ЫФ(Х , Y ) = 1 {ф2 [X ,Y ] + [ФХ, Ф7 ] - Ф[ФХ, Y ] - Ф[Х, Ф7 ]} на пространстве присоединенной G-структуры имеют следующий вид:
! к2) N*=-Nba - Vф0*); 3) N0=Vфм ;
4) Nl=—Nob =^т1 ф, о —^у1 фо%-;5) Nl =^3Тфм;
6) N1 = -< ф о,Ф!О; 7) —Т-ТФ^ .
Остальные компоненты этого тензора тождественно равны нулю.
С учетом (3) компоненты тензора Нейенхейса (X ^ ) Ж -структуры на пространстве присоединенной С-структуры примут вид:
1) N0 =1 Fab ; 2) N0, =1 Fab ; 3) Na- =—Na- =1 Fab ;
'ab 2 ' ab 2 b0 0b 2
1
4) N1 = 2СаЪс; 5) N1 = -N0^, = 2FaЪ; 6) N1 = 2СаЬс. (4)
Остальные компоненты этого тензора тождественно равны нулю.
Определение 2 [2]. Почти контактная метрическая структура называется интегрируемой, если N = 0.
Теорема 2. Интегрируемая NC10-структура является косимплектической структурой.
Доказательство. Пусть NC10-структура является интегрируемой, тогда из определения 2 и (4) следует, что FaЪ = Fa = 0, СаЬс = СаЬс = 0. Тогда, согласно Предложения 1, NC10-структура является косимплектической структурой. □
Поскольку всякое косимплектическое многообразие локально эквивалентно произведению келерова многообразия на вещественную прямую [2], то предыдущую теорему можно сформулировать в следующем виде.
Теорема 3. Интегрируемая NC10-структура локально эквивалентно произведению келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными.
Известно [5], что задание тензора Нейенхейса равносильно заданию четырех тензоров -М^, ^2), ^4), а именно:
N (1,(Х, Y ) = N (X, Y ) + 2йп\{Х, Y )4; N {2\Х, Y ) = ) - (¿фу п)(Х );
N(3)(X)=(Z?Ф)(X); N(4)(x)=(z?n)(x); X,У е Х(м), (5)
где ЬХ - производная Ли в направлении векторного поля X.
Вычислим компоненты этих тензоров на пространстве присоединенной С-структуры.
Учитывая, что ю = ю0 = п* (п), где ж - естественная проекция пространства присоединенной С-структуры на многообразие М, а также то обстоятельство, что на пространстве присоединенной С-структуры 4а = 4 а = 0, 4° = 1, согласно (2:1) находим, что на этом пространстве:
1) й ® 4 )а = Й ® 4 )а = 0; 2) Й ® 4 )0ь = Раъ; 3) (¿п ® 4)0ь = раЪ;
4) (¿Л ® 4)1 = Й ® 4)0ъ = 0; 5) й ® 4I = (¿Л ® 4)00 = 0; (6)
6) (¿п ® 4 )0а = (¿л ® 4)00 = 0; 7) (¿п ® 4 )00 = 0.
С учетом соотношений (4) и (6) получим, что на пространстве присоединенной С-структуры тензор N (1)(Х, У ) = N (X, У ) + 2с1ц(Х, У )4 имеет следующие компоненты:
7аЪ .
1) (N (1))ъь = 5 РъЪ; 2) (N % = | FaЪ; 3) N % = > % = \ F
4) N (1)Ъ = -(N (1))0ъ = 2 Fab; 5) N (1))ъс = 2СаЪс; 6) N ^ = 2СаЪс, (7)
а остальные компоненты нулевые.
Определение 3 [2; 6]. Почти контактная метрическая структура называется нормальной, если N (X, У)+2dn(X, У )4 = 0.
Понятие нормальности было введено Сасаки и Хатакеямой [7] и является одним из наиболее фундаментальных понятий контактной геометрии, тесно связанных с понятием интегрируемости структуры.
Теорема 4. Нормальная МС10-структура является косимплектической, а значит, локально эквивалентной произведению келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными.
Доказательство. Из определения 3 и (7) следует, что NC10-структура является нормальной тогда и только тогда, когда FaЪ = Fa = 0, СаЪс = СаЪс = 0. Согласно Предложения 1 N0 10-струк-тура является косимплектической. А так как всякое косимплектическое многообразие локально эквивалентно произведению келерова многообразия на вещественную прямую [2], и поскольку в случае односвязности многообразия эти локальные эквивалентности можно выбрать глобальными, то это завершает доказательство. □
Из теорем 2-4 имеем следующую теорему.
Теорема 5. Пусть 5 = (<^,п, Ф, g = (у)) - АС-структура. Тогда следующие утверждения эквивалентны:
1) 5 = Ф, g = (у)) - интегрируемая NC10-структура;
2) 5 = Ф, g = (у)) - нормальная NC10-структура;
3) 5 = (^,п, Ф, g = (',')) - косимплектическая структура.
Теперь вычислим компоненты тензора N (2)(Х, У )= (¿фХ пХУ )-^Фг п)(Х), где ¿Х - производная Ли в направлении векторного поля X.
Определение 4 [2]. Пусть М - гладкое многообразие; Х - векторное поле на М; ^ } -соответствующая ему локальная однопараметрическая группа диффеоморфизмов многообразия; Т - тензорное поле типа (г, s) на М. Производной Ли тензорного поля Т в направлении векторного поля Х называется тензорное поле ¿ХТ на М, в каждой точке р е М определяемое формулой
¿Т)? = Й?7)* Т* ( р)- тр ). (8)
Оператор Lх : Т(М) ^ Т(М), сопоставляющий тензорному полю Т е Т(М) тензорное поле ¿ХТ, называется оператором дифференцирования Ли в направлении векторного поля Х.
Оператор дифференцирования Ли обладает следующими свойствами [2]:
1) оператор ¿Х является дифференцированием тензорной алгебры Т(М) многообразия, сохраняющим тип тензоров и перестановочным с операторами свертки;
2) Lxf = X(f), ^ е С М(М);
3) ¿ХУ = [X,У ] X,У е X(М).
Замечательным обстоятельством является то, что перечисленные свойства оператора дифференцирования Ли однозначно определяют этот оператор.
Замечание [2]. Пусть I - произвольный тензор типа (г,s) на М. Выражение Lx (?)(Х1,..., Хг, и1,...,и*), будучи линейным по аргументам Х1,..., Хг, и1,...,и*, не является линейным по аргументу Х.
С учетом перечисленных свойств имеем:
¿фХ (п(у)) = ЬфХ сй'п ® У )= С^ЬфХ (п ® У ) = СЩ ЬфХ (п)® У + с^п ® ¿фх (у ) = ЬфХ (п)® У + П ® ¿фх (у),
то есть ¿ФХ (п(у )) = ¿ФХ (п)® У + п ® ¿фХ (у ).
С учетом тождества [X,У] = VХУ - VYX и свойств оператора дифференцирования Ли, из полученного равенства имеем:
¿фХ (п)(У)=¿фХ (п(У)) - п^У)=(ФХ )(п(У)) - п([ФХ, У ])= = (ФХ )(п(У ))- п(VфxУ ) + п(Vy (ФХ )) = {(ФХ )(п(У ))- п(VфxУ )}+ + п{VY (Ф)Х + ФVYX }= Vфx (п)(У) + п{VY (Ф)Х }+ п{ФVYX }= = Vфx (п)(У) + п{VY (Ф)Х },
то есть
¿ФХ (п)(у )= Vфx (п)(у)+ пК (Ф)х }; УХ, У е x(м). (9)
Рассмотрим характеристический вектор NC10-многообразия. Поскольку Е, является тензором типа (0,1), то его компоненты '} на главном расслоении В(М) реперов над Мудовлетворяют дифференциальным уравнениям [2]:
' - ^% = ^0', (10)
где {^} - система функций, служащая компонентами ковариантного дифференциала вектора Е в связности V. Расписывая (10) на пространстве присоединенной С-структуры, с учетом соотношений 4а = 4Ъ = 0, 40 = 1 и вида тензорных компонент формы римановой связности [3]:
1) 0 Ъ = СъЪс Юс; 2) еъ = СъЪс юс; 3) 0Ъ =^ъЪ Юъ ; 4) 0Ъ = юЪ;
5) 0 0 = FъьЮЬ; 6) 0 0 = FъЬЮь; 7) 00 = 0; 8) 0) + 0 ) = 0, (11)
получим:
1) 4} = ^ъЪ; 2) 4;Ъ =- ^ъ, (12)
а остальные компоненты нулевые.
Теорема 6. Характеристический вектор Е NC10-структуры является вектором Киллинга. Доказательство. Поскольку FaЪ + FЪa = 0, FaЪ + FЪa = 0, то 4+ 4),,- = 0, то есть (V-4, У) + (X, VУ4) = 0, VX, У е X(м), то есть Е - вектор Киллинга. □ Аналогично для контактной формы ^ NC10-многообразия:
1) Пъ,ъ =-Раъ; 2) Пъ,ъ = ^ъЪ, (13)
а остальные компоненты нулевые.
Теорема 7. Контактная форма ^ NC10-структуры является формой Киллинга. Согласно соотношению (9), имеем:
N(2)(X, У) = 1фх (п)(У)- ¿фУ (п)^) = = Vфx (п)(У) + пК (Ф)X}- VфY (п)^)- т,{?X (Ф)У }, VX,У е X(м),
то есть
N(2)(X,У) = Vфx(п)(У)+(Ф)X}-Vфy (п)^)-пК(ф)У}, VX,У е X(М). (14)
Из (14) следует, что N(2 ,У ) = -N(2 ^(У, X), то есть тензор N ^^ ,У) кососимметричен, то есть является 2-формой.
На пространстве присоединенной С-структуры тождество (14) примет вид:
N(2) = пмфк - паФ ■ + пФI) - пФ. (15)
С учетом соотношений пъ = пъ = 0, п0 = 1 и вида матрицы Ф, из (15) имеем:
1) ^ = 4л№ъъ; 2) ^ = -4л№аЪ, (16)
остальные компоненты нулевые.
Из (16) непосредственно имеем следующую теорему.
Теорема 8. На NC10-многообразии N (2)(X ,У) = 0 тогда и только тогда, когда FaЪ = FaЪ = 0. Из Предложения 1 и теоремы 8 следует теорема 9.
Теорема 9. NC10-многообразие с N(2"(X,У) = 0 является точнейше косимплектическим многообразием.
Используя локальное строение точнейшее косимплектического многообразия [2], теорему 9 можно сформулировать следующим образом.
Теорема 10. NC10-многообразие с N ^^, У) = 0 локально эквивалентно произведению приближенно келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными. Рассмотрим теперь тензор
N (3)(Х) = ¿4 (Ф)(Х) = ¿4 (ФХ) - Ф¿4 X = [4, ФХ ] - ф[4, X ] = = V 4 (ФХ) - Vфx 4 - ф(? 4 X - V X 4) = V, (Ф)Х + ФV X 4 -
- Vфx 4 - ФV 4 X + ФV X 4 = V4 (Ф)Х - Vфx 4 + ФV х 4.
Таким образом, на NC10-многообразии:
N (3)(Х) = (Ф)Х - Уфх 4 + ФVx 4, УХ е X (М). (17)
На пространстве присоединенной С-структуры тождество (17) равносильно соотношениям:
1) N (3))а = -2^аЪ; 2) (N (3))а = 24-~Щь, (18)
остальные компоненты нулевые.
Из (18) и Предложения 1 следует теорема 11.
Теорема 11. На NC10-многообразии N (3)(Х) = 0 тогда и только тогда, когда FaЪ = FaЪ = 0, то есть когда многообразие является точнейше косимплектическим многообразием.
Используя локальное строение точнейше косимплектического многообразия [2], теорему 11 можно сформулировать следующим образом.
Теорема 12. NC10-многообразие с N (3)(Х ) = 0 локально эквивалентно произведению приближенно келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными.
И, наконец, рассмотрим тензор N (4)(Х ) = (х^п)(Х); УХ е X (М). Имеем
N (4)(Х ) = (¿4п)(Х ) = ¿4 (п(х)) - ^¿4 X) = 4(п(Х )) - п([4, X ]) = = V4 (п(х))- X)+п^ X )= V4 (п)(Х )+п^ X )=V4 (п)(Х ),
то есть
^4)(х)^4(п)(Х); УХ е Х(М). (19)
С учетом (13), тождество (19) на пространстве присоединенной С-структуры равносильно соотношениям: N(4))' = 0, то есть N(4 \Х) = 0. Таким образом, имеет место следующая теорема. Теорема 13. На NC10-многообразии N (4)(Х ) = 0.
Результаты теорем 1, 7-12 можно сформулировать в виде следующей основной теоремы. Основная теорема. Пусть М - NC10-многообразие. Тогда следующие утверждения эквивалентны:
1) NC10-многообразие имеет замкнутую контактную форму;
2) FaЪ = Faъ = 0;
3) N (2)(Х ,У ) = 0;
4) N (3)(Х ) = 0;
5) М - точнейше косимплектическое многообразие;
6) локально эквивалентно произведению приближенно келерова многообразия на вещественную прямую. Если многообразие односвязно, то указанные локальные эквивалентности можно выбрать глобальными.
СПИСОК ЛИТЕРА ТУРЫ
1. Кириченко, В. Ф. Дифференциальная геометрия квази-сасакиевых многообразий / В. Ф. Кириченко, А. Р. Рустанов // Математический сборник. - 2002. - Т. 193, №№ 8. - С. 71-100.
2. Кириченко, В. Ф. Дифференциально-геометрические структуры на многообразиях / В. Ф. Кириченко. - Изд. 2-е, доп. - Одесса : Печатный дом, 2013. - 495 с.
3. Рустанов, А. Р. Многообразия класса ЛС10 / А. Р. Рустанов // Преподаватель XXI век. - 2014. - N° 3. -C. 209-218.
4. Рустанов, А. Р. ЛС10-многообразия класса R1 / А. Р. Рустанов, С. В. Харитонова // Вестник Адыгейского государственного университета. Серия «Естественно-математические и технические науки». - 2016. - № 2. -C. 48-54.
5. Рустанов, А. Р. ЖС10-многообразия класса R2 / А. Р. Рустанов // Вестник Адыгейского государственного университета. Серия «Естественно-математические и технические науки». - 2016. - № 4. - C. 43-48.
6. Blair, D. E. Contact manifolds in Riemannian geometry / D. E. Blair // Lect. Notesin Math. - 1976. -Vol. 509. - P. 1-146.
7. Sasaki, S. On differentiable manifolds with certain structures which are closely related to almost contact structure. II / S. Sasaki, J. Hatakeyama // Tohoku Math. J. - 1961. - Vol. 13, № 2. - P. 281-294.
REFERENCES
1. Kirichenko VF., Rustanov A.R. Differentsialnaya geometriya kvazi-sasakievykh mnogoobraziy [Differential Geometry of Quasi-Sasakian Manifolds]. Matematicheskiy sbornik, 2002, vol. 193, no. 8, pp. 71-100.
2. Kirichenko V.F. Differentsialno-geometricheskie struktury na mnogoobraziyakh [Differential-Geometric Structures on Manifolds]. Odessa, Pechatnyy dom, 2013. 495 p.
3. Rustanov A.R. Mnogoobraziya klassa NC10 [NC10-Manifolds]. Prepodavatel XXIveka, 2014, no. 3, pp. 209-218.
4. Rustanov A.R., Kharitonova S.V NC10-mnogoobraziya klassa Rj [NC10-Manifolds of Rj Class]. Vestnik Adygeyskogo gosudarstvennogo universiteta. Seriya «estestvenno-matematicheskie i tekhnicheskie nauki», 2016, no. 2, pp. 48-54.
5. Rustanov A.R. NC10-mnogoobraziya klassa R2 [NC10-Manifolds of R2 Class]. Vestnik Adygeyskogo gosudarstvennogo universiteta. Seriya «estestvenno-matematicheskie i tekhnicheskie nauki», 2016, no. 4, 2016, pp. 43-48.
6. Blair D.E. Contact manifolds in Riemannian geometry. Lect. Notes in Math., 1976, vol. 509, pp. 1-146.
7. Sasaki S., Hatakeyama J. On differentiable manifolds with certain structures which are closely related to almost contact structure. II. Tohoku Math. J., 1961, vol. 13, no. 2, pp. 281-294.
INTEGRABILITY PROPERTIES OF NC10-MANIFOLDS
Aligadzhi Rabadanovich Rustanov
Candidate of Physical and Mathematical Sciences, Associate Professor,
Department of Theoretical and Special Sociology, Institute of Socio-Humanitarian Education,
Moscow State Pedagogical University
aligadzhi@yandex. ru
Prosp. Vernadsky, 88, 119571 Moscow, Russian Federation
Abstract. In this paper we investigate the integrability properties of NC10-manifolds. In particular, it is shown that the integrable NC10-structure, and also the normal NC10-structure, is cosymplectic. It is shown that NC10-structure with a closed contact form is finer than cosymplectic. Local structures of investigated manifolds are given.
Key words: cosymplectic structure, integrable structure, approximately Kahler manifold, finitely cosymplectic structure, Nijenhuis tensor, normal structure, NC10-manifold.
