О голоморфно-проективных отображениях между пространствами Келера-Эйнштейна

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

ИЗВЕСТИЯ
ПЕНЗЕНСКОГО ГОСУДАРСТВЕННОГО ПЕДАГОГИЧЕСКОГО УНИВЕРСИТЕТА имени В. Г. БЕЛИНСКОГО ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ № 26 2011
ПГПУ
им. в. г, воинского
IZVESTIA
PENZENSKOGO GOSUDARSTVENNOGO PEDAGOGICHESKOGO UNIVERSITETA IMENI V.G. BELINSKOGO PHYSICAL AND MATHEMATICAL SCIENCES № 26 2011
УДК: 514. 76
О ГОЛОМОРФНО-ПРОЕКТИВНЫХ ОТОБРАЖЕНИЯХ МЕЖДУ ПРОСТРАНСТВАМИ КЕЛЕРА-ЭЙНШТЕЙНА
© М. ХАДДАД Одесский Национальный Университет им. И. И. Мечникова e-mail: science@onu. edu. ua
Хаддад М. — О голоморфно-проективных отображениях между пространствами Келера-Эйнштейна // Известия ПГПУ им. В. Г. Белинского. 2011. № 26. С. 288−292. — Мы продолжаем исследование голоморфно-проективных отображений между пространствами Эйнштейна. Доказано, что если четырехмерное пространство Эйнштейна-Келера допускает голоморфно-проективное отображение на пространство Эйнштейна-Келера, то оно аффинное либо эти пространства имеют постоянную голоморфную кривизну.
Ключевые слова: голоморфно-проективное отображение, пространства Эйнштейна
Haddad M. — About holomorphically projective mappings between Kahler-Einstein spaces // Izv. Penz. gos. pedagog. univ. im. i V. G. Belinskogo. 2011. № 26. P. 288−292. — We continue the investigation of holomorphically projective mappings between Einstein spaces. It is proved that if Einstein-Kahler four-dimensional space supposes holomorphically projective mapping to Einstein-Kahler space it is affine space or these spaces have constant holomorphic curvature.
Keywords: holomorphically projective mapping, Einstein spaces
Введение. Теории голоморфно-проективных отображений келеровых пространств посвященно много исследований, которые в развернутой форме изложены, например, в работах [1,2,3,4,5]. Нами изучался вопрос о голоморфно-проективных отображениях между пронстранствами Эйнштейна [6,7], см. также [3].
В настоящей статье уточняем указанные результаты.
Й. Микеш доказал [9], что пространства Эйнштейна образуют замкнутый класс римановых пространств относительно геодезических отображений. Подобное свойство пространств Эйнштейна относительно голоморфно-проективных отображений пока не удалось доказать, поэтому априорно предполагаем, что оба отображаемых пространства являются пространствами Эйнштейна. Вопросы, которые мы исследуем, тесно связаны с исследованиями голоморно-проективных отображений [10,11,12,13].
1. Голоморфно-проективные отображения келеровых пространств. Как известно, п-мерное (псев-до) риманово пространство называют келеровым (Кп), если в нем наряду с метрическим тензором д, существует комплексная структура Г, удовлетворяющая условиям
Г2 = -I, д (Х, ГХ)=0, УГ = 0, (1)
где У — связность Кп и X произволное векторное поле.
Отображение ] между келеровыми пространствами Кп и Кп является голоморфно-проективным тогда и только тогда, когда выполняются уравнения [1,2,3,4,5]:
У (Х, У) = У (Х, У) + ф (Х) ¦ У + ф (У) ¦ X — ф (ГХ) ¦ ГУ — ф (ГУ) ¦ ГХ,
где У и У — связности пространств Кп и Кп, ф (Х) = Ух Ф.
Этим уравнениям эквивалентны уравнения
У2д (Х, У) = 2 ф{2)д (Х, У) + ф (Х)д (У, 2) + ф (У)д (Х, 2) + ф (ГХ)д (ГУ, 2) + ф (ГУ)д (ГХ, 2), (2)
где д — метрика келерового пространства Кп.
Голоморфно-проективные отображения называются тривиальными, если ф = 0. Тривиальные отображения являются аффинными.
Далее заметим, что голоморфно-проективное отображение Кп на себя называется голоморфнопроективным преобразованием Кп.
Этим уравнениям эквивалентны уравнения, которые были получены в работе Домашева и Микеша [8], см. [2,3,4]:
У2а (Х, У) = Х (Х)д (У, 2) + Х (У)д (Х, 2) + А (ГХ)д (ГУ, 2) + А (ГУ)д (ГХ, 2), которые в координатной форме запишутся в следующем виде:
а1, к = А/дцк + Ацд1к + дiГjk + АЦГ? к, (3)
где X'- = АаГ", ГЦ = д/аГа, дц, Г/1, ац и Хi — являются компонентами тензоров д, Г, а и Л.
Решения уравнений (1) и (2) связаны следующими условиями:
ац = е2ф давд/адцв и А/ = -е2ф давфадцв Здесь д'-1 — элементы обратной матрицы метрического тензора д пространства Кп.
2. Голоморфно-проективные отображения пространств Эйнштейна-келера. Как известно, тензоры риччи при голоморфно-проективном отображении Кп ^ Кп связаны соотношениями:
Кц = Кц + (п + 2) ¦ фц, (4)
где
фц = Ф/, 1 — Ф/Фц + ФаГа ФвГв.
Пространства Эйнштейна, как известно, характеризуются условиями пропорциональности метрического и риччи тензоров с постоянным коэффициентом.
Предположим, что рассматриваемые пространства Кп и Кп являются пространствами Эйнштейна. Тогда для их тензоров Риччи выполняются соотношения:
К = К п и д = К д
где К и К скалярные кривизны Кп и Кп, которые постоянны.
Тогда условия (4) можно записать в следующем виде
фц = Вдц — В дц, (5)
где В
к
и В
к
п (п+2) п (п+2) '-
Эти уравнения, как показал Микеш [9], см. [3,7], эквивалентны уравнениям
А/, ц М д/ц + В д/ц,
где м некоторый инвариант. Доказано, что М/ = 2 В А'-.
Условия интегрируемости уравнений (2) и (6) имеют вид:
ааЛ2цк1 + ааЦ 2/Ы = 0, Аа2Ш, = 0,
(6)
(7)
(8)
где
3. Голоморфно-проективные отображения 4-мерных пространств Эйнштейна-келера. Будем анализировать условия (8) в пространстве Эйнштейна- они характеризуются тем, что тензор
— Ща (= КіІ + В (п + 2) діІ)
обращается в нуль.
Введя в рассмотрение тензор Zhijk = дна^і^к, т. е.
%Ыук Rhijk + В (дНк gij дН дік +Кк Fij Fhj ^ік + І2FhiFjk). убедимся, что тензор Zhijk обладает алгебраическими свойствами, аналогичными свойствам тензора ри-
мана, а именно:
Zhijk — Zihjk — Zhikj — Zjkhi и Zhijk + Zhjki + Zhkij — °.
Jihjk
Jhikj — Zjkhi
hijk Zhjki
Jhkij
Заметим, что тензор Zhijk — 0 только и только тогда, когда пространство имеет постоянную голоморфную кривизну.
Условие эйнштейновости можно записать в виде:
Zij — Zаijв дав — 0, (9)
а условия (7):
Аа Zаijk — 0. (10)
a) Когда вектор Ак — неизотропный (АаАвдар — 0), можно выбрать систему координат так, что в заданной точке:
1, і - 3
0, і - 3.
Из (13) вытекает, что Zijk — 0. Учитывая это из (12) дополнительно получим, что
е2 Z2ij2 + е3 Z3ij3 + е2 Z4ij4 — °. (11)
Подставляя в (15) индексы (і, з) — (2, 2), (2, 3), (2, 4), (3,4) и (4,4.) — убедимся, что все компоненты Z нулевые.
b) Далее рассмотрим случай, когда Кп имеет знако неопределенную метрику д и Ак — изотропный. В этом случае в келеровом пространстве Кп можно выбрать систему координат так, что в конкретной точке
А 51 и gij еі 5ij, еі ±1, 5ij
Ак — 5і,
0100 10 0 0 0001
0010
I 0 1 0 0 N
-1 0 0 0 0001
V
0 0−10
Очевидно, что из (13) вытекает XaZaijk = XaFeZ^ijk = 0. Компоненты Xh = -Sh. Поэтому отсюда и из (7) убедимся, что
Z1ijk = 0 и Z2ijk = °
а из (13) дополнительно получим:
Z3ij4 + Z4ij3 = °.
Но отсюда убедимся, что для (i, j) = (4, 3): Z3434 = 0.
Легко убедится, что все компоненты тензора Z обращаются в нуль.
Так как обнуление тензора Z является критерием пространств постоянной голоморфной кривизны, мы, таким образом, доказали следующую теорему:
Теорема 1. Если четырехмерное пространство Эйнштейна-Келера допускает голоморфно-проективное отображение на пространство Эйнштейна-Келера, то оно аффинное либо эти пространства имеют постоянную голоморфную кривизну.
Приведенную теорему можно сформулировать и в следующей форме:
Теорема 2. Четырехмерные пространства Эйнштейна-Келера отличные от пространств постоянной голоморфной кривизны не допускают нетривиальные голоморфно-проективные отображения на пространства Эйнштейна-Келера.
Так как голоморфно-проективное преобразование келерова пространства Kn является голоморфнопроективным отображением Kn на Kn, то из теоремы 2 непосредственно вытекает справедливость следующей теоремы:
Теорема 3. Четырехмерные пространства Эйнштейна-Келера отличные от пространств постоянной голоморфной кривизны не допускают нетривиальных голоморфно-проективных преобразований.
Эти результаты аналогичны полученным свойствам для геодезических отображений четырехмерных пространств Эйнштейна, полученных в [14].
Заметим, что все вычисления, проведенные нами, в предположении, что Kn и Kn G C2 (т.е. gij и gij G C2) при постоянных скалярных кривизнах R и R соответствующих пространств. Заметим, что из формулы (4) вытекает Ф G C3.
Благодарю профессора Й. Микеша за консультацию и обсуждение настоящей статьи.
СПИСОК ЛИТЕРАТУРЫ
1. Беклемишев Д. В.: Дифференциальная геометрия пространств с почти комплексной структурой, Геометрия. 1963. Итоги науки. ВИНИТИ АН СССР, М. 165−212, 1965.
2. Chepurna O., Mikes J., On holomorphically projective mappings preserving the Einstein tensor, Proc. of the 10th Int. Conf. Aplimat, (2011).
3. Chuda, H., Chodorova, M. and Mikes, J.: On holomorphically projective mappings with certain initial conditions, Proc. of the 10th Int. Conf. Aplimat, (2011).
4. Chuda, H. and Mikes, J.: On F-planar mappings with a certain initial conditions, Proceedings of the 5th Int. Conf. APLIMAT, Part II, (2006).
5. Chuda, H. and Mikes, J.: On first quadratic integral of geodesics with a certain initial conditions, 6th Int. Conf. APLIMAT, (2007).
6. Chuda, H. and Mikes, J.: On geodesic mappings with certain initial conditions, Acta Math. Acad. Paed. Nyiregyhaziensis (AMAPN), Debrecen, (2010).
7. DOMASHEV, V.V., MIKES, J.: Theory of holomorphically projective mappings of Kahlerian spaces. Math. Notes 23, pp. 160−163, 1978- Mat. Zametki 23, pp. 297−303, 1978.
8. Haddad, M. Holomorphically projective mapping of T-quasisemisymmetric and generally semisymmmetric spaces, Proc. of Conf. Diff. Geom. and its Appl. Opava, 143−149, 1992.
9. HINTERLEITNER, I.: Conformally-projective harmonic mappings of equidistant manifolds with the Friedmann models as example. In APLIMAT 2007 — 6th Int. Conf., Part II, pp. 97−102, 2007.
10. Hinterleitner, I. and Mikes, J.: On the equations of conformally-projective harmonic mappings, AIP Conf. Proc. 956, 141−148 (2007).
11. KURBATOVA, I.N.: HP-mappings of H-spaces. (Russian) Ukr. Geom. Sb. 27, 75−83 (1984).
12. AL LAMY, RAAD J., MIKES, J., SKODOVA, M.: On holomorphically projective mappings from equiaffine generally recurrent spaces onto Kahlerian spaces. Arch. Math. (Brno) 42, suppl., 291−299 (2006).
13. MIKES, J.: On holomorphically projective mappings of Kahlerian spaces. (Russian) Ukr. Geom. Sb. 23, 90−98 (1980).
14. Mikes, J.: Geodesic mappings of affine-connected and Riemannian spaces, J. Math. Sci., New York 78, No. 3, 311−333 (1996).
15. MIKES, J.: Holomorphically projective mapping and their generalizations. J. Math. Sci. New York, Vol. 89, No. 3, 1998, 1334−1353.
16. Mikes, J.- Kiosak, V.- VanZurova, A.: Geodesic mappings of manifolds with affine connection, Palacky University Press, Olomouc, 220p, (2008).
17. Mikes, J.- VanZurova, A.- Hinterleitner, I.: Geodesic mappings and some generalizations, Palacky University Press, Olomouc, 304p, (2009).
18. Микеш, Й., Радулович, Ж., Хаддад, М.: Геодезические и голоморфно-проективные отображения m-псевдо m-квазисимметричеких римановых пространств, Изв. вузов. 40, № 10, 28−32, 1995.
19. Sinyukov, N.S.: Geodesic mappings of Riemannian spaces, Nauka, Moscow, (1979).
20. SINYUKOV, N.S., KURBATOVA, I.N.- MIKES, J.: Holomorphically projective mappings of Kahler spaces. Odessk. Univ., Odessa, 1985.
21. STANKOVIC, M.S., MINCIC, S.M., VELIMIROVIC, L.S.: On equitorsion holomorphically projective mappings of generalized Kahlerian spaces. Czech. Math. J. 54, No. 3, 701−715 (2004).
22. SKODOVA, M., MIKES, J.: Concircular and convergent vector fields on compact spaces with affine connections. In APLIMAT 2007 — 6th Int. Conf., Part I, pp. 237−242, 2007.
23. YANO, K.: Differential geometry on complex and almost comlex spaces. Oxford, Pergamon Press, 326p. 1965.
24. YANO, K., BOCHNER, S.: Curvature and Betti numbers. Annals of Mathematics Studies 32, Princeton University Press, (1953).

ПоказатьСвернуть
Заполнить форму текущей работой