Научная статья на тему 'Геометрия тензора конгармонической кривизныас-многообразий класса'

Геометрия тензора конгармонической кривизныас-многообразий класса Текст научной статьи по специальности «Математика»

CC BY
134
19
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТЕНЗОР РИМАНОВОЙ КРИВИЗНЫ / ТЕНЗОР РИЧЧИ / ТЕНЗОР КОНГАРМОНИЧЕСКОЙ КРИВИЗНЫ / КОНГАРМОНИЧЕСКИ ПЛОСКОЕ МНОГООБРАЗИЕ / ПЛОСКОЕ МНОГООБРАЗИЕ / RIEMANN CURVATURE TENSOR / THE RICCI TENSOR / THE TENSOR KONGARMONICHESKOY CURVATURE KONGARMONICHESKI FLAT MANIFOLD / FLAT MANIFOLD

Аннотация научной статьи по математике, автор научной работы — Рустанов Алигаджи Рабаданович, Герасименко Сергей Алексеевич, Щипкова Нина Николаевна

Основной целью работы является изучение геометрии тензора конгармонической кривизны почти контактных метрических многообразий класса. С этой целью решены следующие задачи: 1. Подсчитать основные существенные компоненты тензора конгармонической кривизны на пространстве присоединенной G-структуры. 2. Исследовать конгармонически плоские многообразия класса. 3. Получить тождества, которым удовлетворяет тензор конгармонической кривизны АС-многообразий класса. 4. Выделить и изучить некоторые подклассы АС-многообразий класса по дифференциально-геометрическим инвариантам второго порядка. В работе решены эти задачи. Доказаны следующие теоремы: Теорема 1. Конгармонически плоское АС-многообразие класса является риччи-плоским многообразием. Теорема 2. Конгармонически плоское АС-многообразие класса является многообразием Эйнштейна. Теорема 3. Конгармонически плоское АС-многообразие класса является плоским многообразием. Теорема 4. АС-многообразие класса является многообразием класса тогда и только тогда, когда АС-многообразие класса является риччи-плоским многообразием. Теорема 5. АС-многообразие класса является многообразием класса тогда и только тогда, когда АС-многообразие класса является риччи-плоским многообразием. Теорема 6. АС-многообразие класса является многообразием класса тогда и только тогда, когда АС-многообразие класса является плоским многообразием. Теорема 7. АС-многообразие класса, являющееся многообразием класса является многообразием Эйнштейна с космологической константой равной. В частности, в случае полноты и связности оно компактно и имеет конечную фундаментальную группу. Теорема 8. АС-многообразие класса размерности больше 5 является -многообразием тогда и только тогда, когда оно является Риччи плоским многообразием.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Рустанов Алигаджи Рабаданович, Герасименко Сергей Алексеевич, Щипкова Нина Николаевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

GEOMETRY TENSOR KONGARMONICHESKOY KRIVIZNYAS-MANIFOLD OF CLASS

The main objective is to study the geometry of the curvature tensor kongarmonicheskoy almost contact metric manifolds class. To this end, following tasks: 1. Calculate the basic essential components of curvature tensor kongarmonicheskoy space of the associated G-structure. 2. Explore kongarmonicheski flat manifolds of class. 3. Get the identities satisfied by the curvature tensor kongarmonicheskoy AC-class varieties. 4. Select and explore some subclasses AC varieties class of differential-geometric invariants of the second order. The paper addressed these problems. We prove the following theorem: Theorem 1. Kongarmonicheski flat AS-manifold in the class is a Ricci-flat manifold. Theorem 2. Kongarmonicheski flat AS-manifold in the class is a variety of Einstein. Theorem 3. Kongarmonicheski flat AS-manifold in the class is a flat manifold. Theorem 4. AC-manifold in the class is a manifold of class if and only if the AC-manifold in the class is a Ricci-flat manifold. Theorem 5. AC-manifold in the class is a manifold of class if and only if the AC-manifold in the class is a Ricci-flat manifold. Theorem 6. AC-manifold in the class is a manifold of class if and only if the AC-manifold in the class is a flat manifold. Theorem 7. AC-manifold in the class, which is the diversity of the class is a variety of Einstein's cosmological constant equal to. In particular, in the case of completeness and continuity is compact and has a finite fundamental group. Theorem 8. AC-manifold in the class dimension greater than 5 is a manifold if and only if it is Ricci flat manifold.

Текст научной работы на тему «Геометрия тензора конгармонической кривизныас-многообразий класса»

УДК 514.76

Рустанов А.Р.1, Герасименко С.А.2, Щипкова Н.Н.2

1Московский педагогический государственный университет E-mail: [email protected] 2Оренбургский государственный университет,

E-mail: [email protected] ; [email protected]

ГЕОМЕТРИЯ ТЕНЗОРА КОНГАРМОНИЧЕСКОЙ КРИВИЗНЫ АС-МНОГООБРАЗИЙ КЛАССА Сп

Основной целью работы является изучение геометрии тензора конгармонической кривизны почти контактных метрических многообразий класса Сп. С этой целью решены следующие задачи:

1. Подсчитать основные существенные компоненты тензора конгармонической кривизны на пространстве присоединенной G-структуры.

2. Исследовать конгармонически плоские многообразия класса Сп.

3. Получить тождества, которым удовлетворяет тензор конгармонической кривизны АС-многообразий класса Сп.

4. Выделить и изучить некоторые подклассы АС-многообразий класса Сп по дифференциально-геометрическим инвариантам второго порядка.

В работе решены эти задачи. Доказаны следующие теоремы:

Теорема 1. Конгармонически плоское АС-многообразие класса Сп является риччи-плоским многообразием.

Теорема 2. Конгармонически плоское АС-многообразие класса Сп является многообразием Эйнштейна.

Теорема 3. Конгармонически плоское АС-многообразие класса Сп является плоским многообразием.

Теорема 4. АС-многообразие класса Сп является многообразием класса K, тогда и только тогда, когда АС-многообразие класса Сп является риччи-плоским многообразием.

Теорема 5. АС-многообразие класса Сп является многообразием класса K 2 тогда и только тогда, когда АС-многообразие класса Сп является риччи-плоским многообразием.

Теорема 6. АС-многообразие класса Сп является многообразием класса К3 тогда и только тогда, когда АС-многообразие класса Сп является плоским многообразием.

Теорема 7. АС-многообразие класса Сп, являющееся многообразием класса К4 является

многообразием Эйнштейна с космологической константой равной /А

2(n - 2)

. В частности, в слу-

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

Теорема 8. АС-многообразие класса С,, размерности больше 5 является К4 -многообразием тогда и только тогда, когда оно является Риччи плоским многообразием.

Ключевые слова. Тензор римановой кривизны, тензор Риччи, тензор конгармонической кривизны, конгармонически плоское многообразие, плоское многообразие.

Конформные преобразования римановой структуры являются важным объектом изучения в дифференциальной геометрии. Значительный интерес представляет специальный тип конформных преобразований - конгармонические преобразования, т. е. конформные преобразования, сохраняющие свойство гармоничности гладких функций. Этот тип преобразований был введен в рассмотрение Иши [7] в 1957 году и в настоящее время изучается с различных точек зрения

[8]-[15]. Известно, что такие преобразования имеют тензорный инвариант - так называемый тензор конгармонической кривизны. Этот тензор является алгебраическим тензором кривизны, т. е. он обладает классическими свойствами симметрии тензора римановой кривизны. Пополнение римановой структуры до почти контактной метрической структуры позволяет выделить еще несколько конгармонических инва-

риантов - элементов спектра тензора конгармо-нической кривизны, а также дополнительные свойства симметрии тензора конгармонической кривизны.

В настоящей работе изучаются связи между этими инвариантами и дополнительными свойствами симметрии тензора конгармоничес-кой кривизны почти контактных метрических многообразий класса С11, а также геометрический смысл обращения в нуль этих инвариантов.

Почти контактные метрические многообразия (короче, ЛС-многообразия) класса Сп в классификации Чинья и Гонзалеза [6] исследовались в работах [2]-[5]. Данный класс многообразий обобщает наиболее хорошо изученный класс косимплектических многообразий. В данной работе мы продолжим изучение данного класса многообразий и изучим некоторые воп-

54 ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

Рустанов А.Р. и др.

Геометрия тензора конгармонической кривизны...

росы геометрии тензора конгармонической кривизны.

Пусть м2n+1 - АС-многообразие класса Cjj . Тензор конгармонической кривизны АС-структуры в терминах компонент вычисляется по формуле [7]:

к )м = R‘kl+211 - s;sjk + gi — gjksi),

1) K =-

0a0b 2n — 1 ab

S ;

S 5a + S Sd =

2) K = R +—^~

abed abed 2n — 1

=Abacd+-^-( Abh+s dAeh; )

2n — 1

3) K =(S Sa — S Sa + S 5d — S Sb |=

abed 2П — 1 l bd be ae

= 1 M Abh —Sa Abh + Sb Aah — 5b Aah )

, , V5 eAdh 5 dAeh + 5 dAeh 5 eAdh f

(6) 2n — 1

(1)

где R jki - компоненты тензора римановой кривизны, Sk - компоненты тензора Риччи, gji - компоненты метрического тензора.

Как легко показать из (1), тензор конгармонической кривизны обладает всеми классическими свойствами симметрии тензора Рима-на-Кристоффеля.

Компоненты тензора Римана-Кристоффе-ля {R‘jkl} на пространстве присоединенной G-структуры АС-многообразия класса C11 имеют вид [2]:

1)Ra$ = ; 2)Ra $ =— A", (2)

bed bcd

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

s $ = s $ = Abe,

ab b a

(3)

остальные компоненты нулевые. В частности, скалярная кривизна c вычисляется по формуле [2]

Х = gj 2Abb = 2S $. (4)

aa

На пространстве присоединенной G-структуры матрица метрического тензора имеет вид:

1 0

0 0

0 In

0 2 In

у

0

(5)

где In - единичная матрица порядка п. Расписав компоненты тензора конгармонической кривизны на пространстве присоединенной G-структуры с учетом (2), (3), (5), получим, что на пространстве присоединенной G-структуры тензор конгармонической кривизны АС-многообразия класса C11 имеет следующие ненулевые компоненты:

плюс соотношения, полученные с учетом вещественности и свойств симметрии этого тензора как алгебраического тензора кривизны. Остальные компоненты тензора конгармонической кривизны равны нулю. Эти выражения (и им сопряженные) задают компоненты ненулевых основных конгармонических инвариантов АС-многообразия класса C11.

Скажем, что псевдориманово многообразие (м, g ) называется конгармонически плоским, если метрика g в некоторой окрестности каждой точки m е м допускает конгармоническое преобразование в плоскую метрику [7]. Хорошо известен геометрический смысл обращения в нуль тензора конгармонической кривизны псевдоримано-ва многообразия размерности свыше 3 - это равносильно конгармонической плоскости многообразия [7].

Пусть (м 2n+1 ,%,Ц, Р, g ) - конгармонически плоское АС-многообразие класса C11, т. е. компоненты его тензора конгармонической кривизны обращаются в нуль. а) Поскольку

K $

0а 0 b

1

2 n — 1

S $ =

ab

1

2n —1

A

be

= 0

у

то

s $ = Aac = 0. Таким образом, получили, что

конгармонически плоское АС-многообразие класса C11 является риччи-плоским многообразием.

То есть, доказана следующая теорема. Теорема 1. Конгармонически плоское АС-многообразие класса C11 является риччи-плос-ким многообразием.

б) Свернем равенство

K - - = —^-(s$ Sea — s$ Sda + Sdbs$ — Sebs$

abed 2 П — 1 l bd be ae ad

0 по

индексам a и c. Тогда после необходимых преоб-

ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184) 55

Физико-математические науки

s _ X яь _

разований получим sbd ~ 2(n - 2) d , т. е. АС-

многообразие класса C11 является многообразием Эйнштейна с космологической константой

е_______

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

£ 2 (п - 2)-

Теорема 2. Конгармонически плоское АС-многообразие класса Сп является многообразием Эйнштейна. в) Так как

K$ $ _ R$ $ +—1 S $5: + 8bs$ |_ abed abed 2 n -1 ^ bd ae J , в силу

_ < +^(+5 dA:h)_ о

2n -1

риччи-плоскости многообразия, получим R $ $ _ Л£ _ 0 .

abed

Теорема 3. Конгармонически плоское АС-многообразие класса C11 является плоским многообразием.

Исследуем геометрический смысл обращения в нуль основных конгармонических инвариантов АС-многообразия класса C11.

Сначала рассмотрим некоторые тождества на тензор конгармонической кривизны АС-многообразия класса C11.

1) Применим процедуру восстановления

K 0о: _-

1

2 n-1

тождества [1] к равенствам

K L _-

1

2 n-1

Aa0ee _ 0; Aabee;

1

K boa _--------— АГ _ 0

00a 2 n-1

т. е. K0oa _-“---- A-l,

2 n -1

получим

K (^£a )^_~T^ A(£ a )

2 n -1

где ото-

бражение a :X(M) ^ X(M) задается форму-

лой A(X)_ A^Xbe„ + AbXbC., Ab _ Abe.За-

a

метим, что оператор a • X(M ) ^ X(M ) обла-

1 )A(()_ 0; 2)n o A _ 0; дает свойствами. 3)А(/зХ)_ /зА(Х)

4)/з2 a(x)_-a(x) VXe x(m)

Т. к. [ea} является базисом подмодуля D/3-1 , а проектором на этот подмодуль является эндо-

морфизм п_оoI_-2( W-!/з) [1], то k(2X W-T/3X )_

_ -J--'a(x W-1/3X)vxe X(M). Выделяя действительную и мнимую части данного тождества, получим эквивалентные равенства. Поэтому выпишем только действительную часть, т. е.

к(p2x)=-2n!-TA(x)= (7)

_АтА(Х)vxe X(M)

2 n -1

Тождество (7) равносильно следующему тождеству

K(I,X) _ A-A(X)VX e X(M). (8)

2n -1

Определение 1. Скажем, что АС-многообразие класса C11 удовлетворяет первому дополнительному тождеству конгармонической кривизны или является многообразием класса К1, если тензор конгармонической кривизны удовлетворяет тождеству

K(,/з2X) _ 0,VX e X(M). (9)

Пусть АС-многообразие класса C11 является многообразием класса K1 , тогда согласно определению 1 имеет место равенство K(,/з2X) _ 0,VXe X(M). Поскольку

/з2 _ -id + п I, то тождество (9) равносильно тождеству K(|,X| _ 0,VX e X(M), которое на пространстве присоединенной G-структуры K0i0Xi _ 0. С учетом (6) последнее равенство $ запишется в виде:

K;bXb + Ka $ Xb _ 0. Полученное равенство 00b 00b

выполне-но тогда и только тогда, когда K a0b _ Ka $ _ 0. Согласно (6:1) последнее ра-

00b ae

венство равносильно соотношению Abe _ 0. С учетом (3) последнее равенство означает, что тензор Риччи равен нулю, т. е. многообразие является Риччи плоским.

56 ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

Рустанов А.Р. и др.

Геометрия тензора конгармонической кривизны...

Обратно, для Риччи плоского ЛС-многооб-разия класса C,, имеем, что К ооь — К $ — 0 . т.

^ 11 ^ 00b

е. многообразие является многообразием класса Kj.

Таким образом, доказана следующая

Теорема 4. ЛС-многообразие класса C11 является многообразием класса Kj тогда и только тогда, когда ЛС-многообразие класса C11 является риччи-плоским многообразием.

2) Аналогично, применяя процедуру восстановления тождества к равенствам:

а) K

— 0 Kc — 0К

0 ab 0,К 0 ab °’К 0 ab

0,К c

0;

б) К0 . — 0,Кc . — 0,Кc . — 0;

0ab 0ab 0ab

в) к i—0,к a„s—0,к a„,—0,

получим тождества:

К ( X ,f32Y) — К (X ,f3Y ) — 0; К( f32 X )f32Y - К (fJf3X )f3 Y — 0; VX,Y e X(m )

3) Теперь распишем соотношения:

к 0 ■ — ~г~ г АЙ0;

«0 ь 2n — 1

Кc , — —

«0 ь 2 n 1

АХc — 0;

Кc , — —

«0 ь 2n 1

АХc — 0

(10)

т. е.

К$ — ■

1

АХ.

a 0 b 2n — 1

Последнее равенство запишем в виде

К(Х,£- ^a — ^ A(^a ),£'Х .

V ь ) 2n — 1 ь

Так как k } $ } образуют базис подпространств Df3"1 и 1, а проекторами модуля

Х(М ) на эти подпространства являются эндоморфизмы

К (—f32 X W—1f3X ) Y + yf—1f3Y )—

— A^— f32 x ^I1f3X ) )—If3^ Х;

VX,Y e X(m )

Полученное тождество равносильно следующему тождеству:

К (f32 X )f32Y + К (J3X )f3Y —

2 (a(x)yWx,Ye X(m).

(11)

2n — 1'

С учетом (10) последнее тождество запишется в виде:

K((f32 X )f32Y — K(X,f3X) Y —

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2

2n — 1

A(x)YfcVX,Ye X(m). (12)

Назовем тождество (12) вторым дополнительным тождеством конгармонической кривизны АС-многообразия класса Сп.

Определение 2. Скажем, что ЛС-многооб-разие класса C11 удовлетворяет второму дополнительному тождеству конгармоничес-кой кривизны или является многообразием класса K2, если тензор конгармонической кривизны удовлетворяет тождеству.

К (, f32 X )2у — к(, f3X )Y — 0. (13)

Пусть ЛС-многообразие класса Сп является многообразием класса K2. Тогда, по определению 2, имеет место равенство К (, f3X )f3Y — 0. Последнее равенство на пространстве присоединенной G-структуры запишется в виде К j 0k (f3X )k (f3Y ) — 0 . С учетом (6) и вида матрицы Ф, последнее равенство за-

пишется в виде: К0 - XbYa + К0 XbYa — 0.

a0b a0b

Полученное равенство выполнено тогда и толь-К0 —К0 — 0

ко тогда, когда К $ _ К $ _ 0. Согласно (6:1)

a0b a 0b

полученные равенства равносильны соотноше-

п — a o / — — 1 (32 W—Гf3)

и п —ao / — 2 ((32 W—T/3),

то

нию А^С — 0 . Полученные соотношения согласно (3) означают, что многообразие является Риччи плоским.

Обратно, для Риччи плоского ЛС-многооб-

К0 —К0 — 0

разия класса C, имеем, что К $ _ К $ _ 0. т.

F 11 ’ a0b a 0b

ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184) 57

Физико-математические науки

е. многообразие является многообразием класса K 2.

Таким образом, доказана следующая

Теорема 5. ЛС-многообразие класса C11 является многообразием класса K2 тогда и только тогда, когда ЛС-многообразие класса Сп является риччи-плоским многообразием.

Замечание 1. Из теорем 4 и 5 следует, что ЛС-многообразия класса K являются многообразиями класса K2.

4) Применяя процедуру восстановления тождества к соотношениям

к L = 0,K aCd = 0,K aCd = 0, получим тождество

K ( X, fs2Y ) Z - к(/з2 X ,f3Y )z -- к(х,f32Y)f3Z - K(X,f3Y)f32Z = 0; (14) VX,Y, Z e X(M)

5) Рассмотрим соотношения: , т. е.

к' $ = Abd +-±-(s( +8bA‘ ).

bed 2n - 1

Последнее соотношение запишем в виде:

K{£e ,£d У = ,£e ,£d ^ [с ^ ^ + ^ У A( e )[ .

Так как i£a ]{- ]образуют базис подпространств Dff-1 и Df3^“j, а проекторами модуля X(M) на a f f

эти подпространства являются эндоморфизмы

п = о o l = - 2 (f32 W-Tf3) и П = GO l = 2 (- ( W-Гf3), то

K (ф2 X + (ТФХ ,-Ф2 Y W-1ф Y )ф(Z + )ФХ )=

= А(Ф2 Z W-ТфХ, Ф2 X + V-TФX ,-Ф2 Y W-Гф Y) +

+ ^^ (ф 2 X + V-ГфХ ) A( Ф2 Z + 4-ТФZ ),-Ф2 Y + V-ТФ Yj +

+ ^—^ а(ф2X + V-ГфХ)(Ф2Z + V-^Z),-Ф2 Y + V-Тф Yj; VX, Y, Z e x(M).

Раскрывая по линейности и выделяя действительную и мнимую части, получим, что последнее тождество равносильно следующему тождеству:

K (ф2 X, Ф 2Y )2 Z + K (ф2 X, Ф Y ) - K (фX, Ф 2Y )z + K (ФХ , Ф Y )ф2 Z =

= А(Ф2 Z, Ф2 X, Ф2 Y) + a( Ф2 Z, ФХ, Ф Y) + A^Z, Ф2 X, Ф Y) - A^Z, ФХ, Ф2 Y) +

+^—^ {2 х( А(Ф2 z ), Ф {+ф2 {А( ФZ), Ф y^+фх( А(Ф2 z ), Ф y^ ]+

+^—^ {-фх( А( фх ), Ф{+А(ф2 х )(Ф2 z ), Ф 2y)+А(ф 2 х )(фх ), Ф^ ]

+ у^{фХ)(Ф2Z),{y)-Л(ФХ)(ФХ),Ф2y)} VX,Y,Ze X(M)

Используя свойства тензора A [3] и равенство ^f32 Z, f32 Y^ = (f3Z, fW'j

последнее тождество

можно переписать в виде:

58 ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

Рустанов А.Р. и др.

Геометрия тензора конгармонической кривизны...

K (ф2 X, Ф 2Y )2 Z + K (ф2 X, Ф Y ) - K (фХ, Ф 2Y )z + K (фу , Ф Y )ф2 Z =

= -4 A( Z, X, Y) + ^~^ { A( Z), y{2 X - {ф Z), Y )х - A(X ^Z, ф Y) - ф A(X )q(z, Y )}

VX, Y, Z ёХ(м ).

Полученное тождество с учетом (14) запишется в виде:

K ф2 X, ф 2Y )2 Z - K фх, ф 2y )z =

= -4A( Z, X, Y) + ^j- {a( Z), Y^ ф2 X - q(A( Z), y )x - A(x ^Z, ф y) - ф A(x )q(z, y )}

VX, Y, Z ёХ(м )

(15)

Назовем тождество (15) третьим дополнительным тождеством конгармонической

кривизны АС-многообразия класса Сп.

Определение 3. Скажем, что ЛС-многооб-разие класса Сп удовлетворяет третьему дополнительному тождеству конгармоничес-кой кривизны или является многообразием класса K3, если тензор конгармонической кривизны удовлетворяет тождеству

кф2 X, /32Y )2 Z - кфх, Z32Y )/3Z = 0;

VX, Y, Z e X(m ) (16)

Пусть (ф 2"+', |, n, /3, g ) является ЛС-мно-

гообразие класса C11, удовлетворяющее третьему дополнительному тождеству конгармоничес-кой кривизны, т. е. является многообразием класса K 3. Тогда согласно определения 3 имеем

K ф2 X, /32Y )/з2 Z - K фх, /32Y )z = 0; VX, Y, Z e X(M) .

На пространстве присоединенной G-структуры это равенство, с учетом (6) и вида матрицы

эндоморфизма Ф, примет вид: к ~ = 0,

т. е. < +5,'А" )= 0.

2 n -1

Свернем последнее равенство по индексам c и d, 2 n +1

тогда получим:

2 n -1

Abc = 0 . Отсюда,

Acc = 0. С учетом полученного равенства имеем: Aa = 0 . Таким образом, многообразие

класса K3 является плоским многообразием. И поскольку для плоского многообразия выполнено равенство кbed ~ 0 , то доказана следующая теорема.

Теорема 6. ЛС-многообразие класса C11 является многообразием класса K3 тогда и только тогда, когда ЛС-многообразие класса C11 является плоским многообразием.

6) Наконец рассмотрим соотношения: , т. е.

K.. = —!—

bed 2n -1

SUd -SeAa + SdbAh -8‘-АЦ

d h eh d

Полученное соотношение перепишем в форме:

K

ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184) 59

Физико-математические науки

Так как

fea} ^ } образуют баз

ис подпро- доморфизмы

к=о o i = - - ( W-T/3)

странств ДУ- и D-f~-,

а проекторами модуля

Ж=Оо I = 2 (- /З2 +yf-T/з),

Х(М) на эти подпространства являются эн- то

K (-Ф2 X + (TФХ ,-Ф 2Y + V—Тф Y )ф(Z +V—Тф Z )= у—-(-ф 2 х W-Гфх )(ф 2 z+V—T>z )-ф 2y W-Гф y^-

+

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

T—j- (- Ф2 Y W-Тф Y ) (ф 2 Z + V-Тф Z )-Ф2 х +V—Тфх ^ -^ А(-Ф2 X W-ТФХ )ф 2Z W-TФZ )-Ф 2Y + V—T>y)-

T— А(-Ф 2Y + V—T>Y ) 2 Z W-TФZ )-Ф2 X W-TФХ^;

VX, Y, Z g X (М )

2n -1

2n -1

2n -

Раскрывая по линейности и выделяя действительную и мнимую части, получим, что последнее тождество равносильно следующему тождеству:

K (ф2 X, Ф 2Y )ф2 Z)+ K (ф2 X, Ф Y )z)+ K (фХ, Ф 2Y )(ФZ)- K (ФX, ФY )ф2 Z )=

‘1Ф2 x(A(> 2 z ) ф 2y^+ф 2 x^A(>z) ф^->x^A(> 2 z )[ ф^ }+ j- {>X^ A (ФZ ) Ф2 Y J - А(ф 2 Y )> 2 Z, Ф2 х) - А(ф 2 Y )>Z, ФХ }+

-!-j-{A(>Y )ф 2 z, >Х - A(>y )>z, ф 2 X+А(ф 2 х )ф 2 z, ф 2Х}+

{а(ф 2 х )>z, ф X - А(фх )ф 2 z, ф X}+

-!-|-{А(фх )>z, ф 2Х-ф 2^А(ф 2 z ) ф 2 х^-ф 2y^A(>z ) фх^ }+

-T- {> ^А(ф2 Z)[ ФХ^ - Ф Y^A(>Z) Ф2х)} VX, Y, Z G X(M)

2n -1

2n -1 +

+

+

+

2n -1

Согласно (15), свойств тензора а и равенства (/з2Z, P2Y ''j = (/3Z, /X, последнее тождество можно переписать в виде:

K (ф2 X, Ф 2Y )ф2 Z)- K (ФХ, Ф Y )ф2 Z )=

- {2 x{z ) y^ - ф 2 y{z {{+>xo(a(z ) y )- ф yo(a(z ) х )}+

-{a(y )>z, >X - A(x )>z, >X+A(>2 x )ф 2 z, ф 2X}+ (17)

- { A(y )q(x, z )- ф A(x )q(y, z )} VX, Y, Z g x (m )

2n -1

2n-1

2n -1

60 ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

Рустанов А.Р. и др.

Геометрия тензора конгармонической кривизны...

Назовем тождество (17) четвертым дополнительным тождеством конгармонической кривизны АС-многообразия класса

с„.

Определение 4. Скажем, что ЛС-многооб-разие класса Сп удовлетворяет четвертому дополнительному тождеству конгармонической кривизны или является многообразием класса K4, если тензор конгармонической кривизны удовлетворяет тождеству

K (р2 X, /з2г))2 Z - K рХ, f3Y )2 Z = 0; VX, Y, Z е X(m) .

(18)

Пусть (м f з, g ) является ЛС-мно-

гообразием класса Сп удовлетворяющее четвертому дополнительному тождеству конгар-монической кривизны, т. е. является многообразием класса K4. Тогда его тензор конгармо-нической кривизны удовлетворяет тождеству (18), которое на пространстве присоединенной G-структуры запишется в виде:

к )и (з2 X ) (f32Y Z ) - K )kl (f3X )k (f3Y)l (f32 Z ) = 0 .

С учетом (6) и вида матрицы Ф, последнее равенство запишется в виде:

K XbYcZa + K..XbYcZa = 0. Получен-

abc abc

ное равенство выполнено тогда и только тогда, когда Kd = Kd-- = 0 . Согласно (6),

abc abc

K.. =—L-fS- Sca -S- 8°, + SdbS- -SbS. 1= 0 .

abcd 2H — 1 у bd bc ac ad J

Последнее равенство свернем сначала по индексам a и c, тогда --- { (п - 2)+SdS- J= 0.

2П - 1 L bd aa J

Из последнего равенства следует, что

Таким образом, имеем следующую теорему. Теорема 7. ЛС-многообразие класса C11, являющееся многообразием класса K 4 является многообразием Эйнштейна с космологической

константой равной

е = Х

Ь 2 (п - 2)

. В частности, в

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

1

2 п -1

=0,

т. е. S- (n 2)+ SdS- = 0 по индексам b и d,

bd aa

тогда получим 2(n - 1)Saa = 0 . Из последнего

равенства имеем: а) п = 1, т. е. dimM = 3 ; б)

S - = 0 . Из равенств S- (n - 2)+SdS- = 0

aa bd aa

и Saa = 0 следует, что либо п = 2 , т. е. dimM = 5 , либо Sab = 0, т. е. многообразие

является Риччи плоским многообразием.

Обратно, если ЛС-многообразие класса C11 размерности больше 5 является Риччи плоским

многообразием, то K abcd = 0, т. е. многообразие является K4 -многообразием.

Таким образом, доказана следующая

Теорема 8. ЛС-многообразие класса C11 размерности больше 5 является K 4 -многообразием тогда и только тогда, когда оно является Риччи плоским многообразием.

Замечание 2. Поскольку тензор конгармо-нической кривизны обладает свойствами тензора кривизны, в частности,

Ka $ +Ka$ +Ka = 0

bc d c d b d cb

то из

Ka $ = 0

bc d

следу-

Sbd = 2(n -2)Sd , т. е. многообразие являет-

ся многообразием Эйнштейна с космологичес-

й й йе=_Х_

кой константой равной fc _

2(п - 2)

ет, что K - = 0 , т. е. многообразие класса K3

d cb 3

является многообразием класса K 4 .

Кроме того, мы имеем следующую теорему. Теорема 9. Тензор конгармонической кривизны ЛС-многообразий класса C11 обладает следующими тождествами:

ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184) 61

Физико-математические науки

1) к (, я2 x ) = --^- a (я2 x )=-J— A(X )

2n -1 2n -1

2) K(ф2X,Ф2Y) - K(ФХ,ФY) = 0;

3) K (ф2 X, Ф 2Y ) + K (ФХ, ФY ) = 0;

4) K (, Ф2 X ) 2Y - K (, ФХ ф = 0;

r\

5) K(,Ф2X)2Y + K(I,ФХ)&Y = ---(A(X), y)I;

6) K (, Ф2 X ) 2y = K (, фх Ф = 22T1{~A(x ) y)!;

7) K (2 X, Я2 Y )2 Z - K (2 X, /3Y )z - K (x , /з2 Y ) - K (X, /3Y )2 Z = 0;

8) K (ф2 X, Ф 2Y )ф2 Z - K (ФХ, Ф 2Y )z = -4A(Z, X, Y) +

2 Г/—

2n

- {(z), y) Ф2 x - q(A(z ), y )x - A(x )ФZ, Ф y) - Ф A(x )q(z , y )}

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

9) K (ф2 X, Ф 2Y )ф2 Z )- K (ФХ, ФY )ф2 Z ) =

= 2 x(A(z ) y) -Ф 2y(A(z ), x)+ фхп() y )^yq(A(z) x )+

^^-j-|A(Y (z, фх) - A(x )ФZ, Ф^+А(ф 2 x )ф 2 z , Ф 2y) }+

+ -

2n -1

{фA(Y)Q(x,Z)-ФA(X)Q(y,Z)} VX,Y,Z e X(M).

Список литературы

1. Кириченко В.Ф., Рустанов А.Р. Дифференциальная геометрия квазисасакиевыхмногообразий. // Математический сборник, т. 193, №8, 71-100.

2. Рустанов А.Р., Щипкова Н.Н. Дифференциальная геометрия почти контактных метрических многообразий класса С11. // Вестник ОГУ, №9 (115), сентябрь 2010, с. 65-68.

3. Рустанов А.Р., Щипкова Н.Н. Тождества кривизны многообразий класса С11. // Вестник ОГУ, № 6 (125), июнь 2011, с.

169-171. 11

4. Рустанов А.Р., Щипкова Н.Н. Геометрия тензора конциркулярной кривизны AC-многообразий класса С11. // Вестник ОГУ, № 9 (170), сентябрь 2014, с. 114-120.

5. Рустанов А.Р., Щипкова Н.Н. Геометрия тензора Вейля конформной кривизны AC-многообразий класса С11. // Актуальные проблемы математики и смежные вопросы. Материалы международной научной конференции «Мухтаровские чтения». 22-23 апреля. Махачкала, 2014, с. 89-96.

6. Chinea D., Gonzalez C. Classification of almost contact metric structures. // Annali di Matematica pura ed applicata (IV), v. CLVI, 1990, p. 15-36.

7. Ishii Y. On conharmonic transformations. // Tensor, 7(2), 1957, 73-80.

8. U.C. De, R.N. Singh, Shravan K. Pandey. On the Conharmonic Curvature Tensor of Generalized Sasakian-Space-Forms. // International Scholarly Research Network ISRN Geometry. Volume 2012, Article ID 876276, 14 pages doi:10.5402/2012/ 876276.

9. V.F. Kirichenko, A.A. Shihab. On the geometry of conharmonic curvature tensor for nearly Kahler manifolds. // journal of Mathematical Sciences, September 2011, Volume 177, Issue 5, pp 675-683.

10. Mohit Kumar Dwivedi,Jeong-Sik Kim. On Conharmonic Curvature Tensor in K-contact and Sasakian Manifolds. // Bull. Malays. Math. Sci. Soc. (2) 34(1) (2011), 171-180. http://math.usm.my/bulletin

11. V. F. Kirichenko, A. R. Rustanov, A. A. Shikhab, Geometry of the Conharmonic Curvature Tensor of Almost Hermitian Manifolds, Mat. Zametki, 2011, Volume 90, Issue 1, 87-103. http://www.mathnet.ru/eng/agreement

12. Ali Akbar, Avijit Sarkar, On the Conharmonic and Concircular curvature tensors of almost C(?) manifolds, International Journal of Advanced Mathematical Sciences (IJMSEA), 1:3 (2013), 134-138.

13. Ali A. Shihab. On the geometry of conharmonic curvtuar tensor of nearly kahler manifold. // Journal of Basrah Researches ((Sciences)) Volume 37. Number 4 C ((2011)), 39 - 48.

62 ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

Рустанов А.Р. и др._________________________Геометрия тензора конгармонической кривизны...

14. Ghosh Sujit; De U.C.; Taleshian A. Conharmonic Curvature Tensor on N(K)-Contact Metric Manifolds // ISRN Geometry;2011, Special section p1.

15. Харитонова С.В. Тензор конгармонической кривизны нормальных локально конформно почти косимплектических многообразий // ВЕСТНИК ОГУ №12 (161)/декабрь“2013, 182 - 186.

Сведения об авторах:

Рустанов Алигаджи Рабаданович, доцент кафедры теории и истории социологии Московского педагогического государственного университета, кандидат физико-математических наук 142735, г. Москва, пр-т Вернадского, дом 88, тел.: (495) 4381845, e-mail: [email protected]

Герасименко Сергей Алексеевич, декан математического факультета Оренбургского государственного университета, кандидат физико-математических наук 460018, г. Оренбург, пр-т Победы, дом 13, корп. 20, тел.: (3532) 372530, e-mail: [email protected]

Щипкова Нина Николаевна, доцент кафедры геометрии и компьютерных наук Оренбургского государственного университета, кандидат физико-математических наук 460018, г. Оренбург, пр-т Победы, дом 13, корп. 1, тел.: (3532) 372539, e-mail: [email protected]

ВЕСТНИК Оренбургского государственного университета 2015 № 9 (184)

63

i Надоели баннеры? Вы всегда можете отключить рекламу.