Контактно-автодуальная геометрия некоторых классов почти контактных метрических многообразий тема автореферата и диссертации по математике, 01.01.04 ВАК РФ
Аристархова, Анна Вячеславовна
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
2009
ГОД ЗАЩИТЫ
|
|
01.01.04
КОД ВАК РФ
|
||
|
На. правах рукописи
Аристархова Анна Вячеславовна
КОНТАКТНО-АВТОДУАЛЬНАЯ ГЕОМЕТРИЯ НЕКОТОРЫХ КЛАССОВ ПОЧТИ КОНТАКТНЫХ МЕТРИЧЕСКИХ МНОГООБРАЗИЙ
Специальность 01.01.04 - геометрия и топология
АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук
1 2 г-'рп опла
Казань - 2009
003482915
Работа выполнена в Московском педагогическом государственном университете па кафедре геометрии математического факультета.
Научный руководитель: доктор физико-математических наук, про-
фессор
КИРИЧЕНКО ВАДИМ ФЕДОРОВИЧ Официальные оппоненты: доктор физико-математических наук, доцент
ТОЛСТИХИНА ГАЛИНА АРКАДЬЕВНА кандидат физико-математических наук, доцент
ЛИПАГИНА ЛАРИСА ВЛАДИМИРОВНА Ведущая организация: Чувашский государственный педагогиче-
ский университет им. И.Я. Яковлева
Защита состоится 17 декабря в 14 часов 30 минут на заседании диссертационного совета Д 212.081.10 при Казанском государственном университете по адресу: Россия. 420008. г. Казань, ул. Профессора Нужина. 1/37. НИИММ. ауд. 324.
С диссертацией можно ознакомиться в научной библиотеке им. II.И. Лобачевского Казанского государственного университета.
Автореферат разослан 27 октября 2009 г.
Ученый секретарь диссертационного совета, кандидат физико-математических наук, доцент Липачев Е.К.
Общая характеристика диссертационной работы
Актуальность работы. Настоящая работа, с одной стороны, посвящена 3-мерным многообразиям, снабженным почти контактной метрической структурой. Теория же структур, указанного типа, занимает видное место в ряду дифференциально-геометрических структур, изучаемых на данный момент, в'силу приложений к современной математической физике (например, к классической механике, к теории геометрического квантования и др.), а также в силу богатства геометрического содержания самой чтой теории и ее связей с другими разделами современной геометрии (например, с теорией гиперповерхностей римановых многообразий). Более полувека не иссякает интерес ученых и просто исследователей к теории многообразий, наделенных почти контактными (метрическими) структурами. которые являются естественным обобщением контактных (метрических) структур. В самом деле, основополагающими для данной теории явились работы С. Чженя. Лж. Грея. В. Бутби, X. Вана и С. Сасаки. появившиеся в 50-ые годы XX века: впоследствии, исследования в этом направлении были представлены многочисленными и разнообразными (в методах, подходах и результатах) работами, которые объединяет лишь то. что изучению преимущественно подвергались исключительно некоторые классы почти контактных метрических и контактных многообразий, несмотря, например, на практически необозримую классификацию первых. Так, наиболее изученными, а также интересными (с точки зрения дальнейшего повествования) являются такие подклассы почти контактных метрических многообразий, как квази-сасакиевы, косимплектические, сасакиевы многообразия и многообразия Кенмоцу.
Класс квази-сасакиевых многообразий был введен в рассмотрение Д. Блэром, а. впоследствии, изучался с различных точек зрения многими авторами. Так, к примеру. Блчр установил, что не существует квази-сасакиево/! структуры четного ранга, что вектор £ является вектором Киллинга и что с точностью до гомотетии квази-сасакиево многообразие постоянной кривизны является сасакисвым или косимплектическим: он же нашел условия, при которых квази-сасакиево многообразие является прямым произведением сасакиева и келерова многообразий. В свою очередь. Канемаки. доказал некоторые достаточные условия по поводу того, когда квази-сасакиево многообразие имеет указанное строение локально. Позже наиболее полное описание упомянутого вопроса было дано Кириченко В.Ф. и Рустанопым А.Р. в терминах дополнительных свойств симметрии тензора римановоП кривизны квази-сасакиевых многообразий; они же выделили песколь-
ко интересных классов квази-сасакиевых мноюобразий и изучили их, ишользуя полную группу структурных уравнений квази-сасакиевых многообразий. Подробно был исследован так называемый класс С1{\ квази-сасакиевых многообразий, исчерпывающее описание локального строения которых также дали Кириченко В.Ф. и Рустанов А.Р., приведя к тому же полные классификации квази-сасакиевых многообразий класса СВ\ постоянной Ф-голоморфной секционной кривизны и квази-сасакиевых многообразий данного класса, удовлетворяющих аксиоме Ф-голоморфных (2г+1)-илоскостей, что существенно обобщило известные результаты Танно. касающиеся классификации сасакиепых пространственных форм, а также углубило результаты Огиуэ и Исихары, касающиеся почти контактных метрических многообразий, в частности многообразий Сасаки, удовлетворяющих аксиоме Ф-голоморфных (2г + 1)-плоскосгей.
Рассмотрение класса квази-сасакиевых многообразий в настоящей работе обусловлено тем, что он включает в себя два наиболее изученных класса почти контактных метрических многообразий - класса косимплектических и класса сасакиевых многообразий, которые в эрмитовой геометрии являются контактными аналогами келеровых многообразий. При этом, известно, что косимплектические и сасакиевы структуры, характеризующиеся для любых гладких векторных полей X и V тождествами У.\-(Ф)У = 0 и ^.\-(Ф)У = {X. Y)( - v(Y)X (где V риманова связность метрики д — (■. ■), а Ф - структурный эндоморфизм), соответственно, являются «граничными» подклассами квази-сасакиевых структур. В действительности последнее объясняется совершенно естественным образом, так как для косимплектических структур rang г/ = 1 (т.е. dr] = 0), а для сасакиевых - rang // = 2л + 1 (т.е. ;/ Л (dij)" ^ 0). где ц - контактная форма на соответствующем многообразии Д/2п+1.
В 1971 году Кенмоцу ввел в рассмотрение новый класс почти контактных метрических структур, характеризуемых для любых гладких векторных полей X и Y тождеством = (ФX.Y)£ — r}(Y)<bX. формально похожим на определяющее тождество сасакиевых структур, но фактически характеризующим структуры (в определенном смысле) противоположные сасакиевым. Впоследствии, такие почти контактные метрические структуры были названы структурами Кенмоцу. Отметим, что Кенмоцу изучил замечательные свойства введенных им структур и привел их примеры. Позднее С'инха и Шриваштава изучали многообразия Кенмоцу постоянной Ф-голоморфной секционной кривизны, а Ко-баянш М. определил свойства контактных нормальных подмногообразий и контактных
родовых нормальных подмногообразий в многообразиях Кенмоцу. Псчернынакпцее описание многообразий, наделенных структурой Кенмоцу. дал Кириченко В.Ф.; он не только исследовал локальное строение указанных многообразий, тем самым приведя их изящный пример (используя теорию локально конформных преобразований), но и получил полную классификацию данных многообразии точечно постоянной Ф-голоморфной секционной кривизны, указав случай глобального постоянства этой кривизны на рассматриваемых многообразиях.
Наконец, с другой стороны, настоящая работа посвящена изучению обобщения такого понятия, как автодуальность, определенного, в принципе, на 4-мерных ориентированных римановых многообразиях, наделенных рядом особенностей. Отметим, что. с точки зрения римановой геометрии, размерность 4 - первая (в сравнении с размерностями 2 и 3), в которой тензор кривизны, являющийся тензором валентности четыре, не определяется ни скалярной кривизной (как при п = 2), ни тензором Риччи (как при п < 3). К тому же, группа 50(4. Я) является единственной неполупростой группой 50(н.К) (при га > 3). что приводит нас к важнейшей особенности 4-мерного ориентированного риманова многообразия Л/, заключающейся в специфическом строении структурной группы главного расслоения ориентированных ортонормированных реперов над таким многообразием - группы Ли 50(4. К) = (51;(2) х 5£/(2))/22. Индуцированное действие этой группы на расслоении кососимметричных 2-форм над многообразием М разлагает Сх(ЛЛ-модуль Л2(М) дифференциальных 2-форм на этом многообразии в прямую сумму двух 3-мерных подмодулей: Л2(А/) = В \~(М) - подмодулей автодуальных 2-форм и антиавтодуальных 2-форм, соответственно (здесь размерность модулей сечений понимается как размерность слоев соответствующих расслоений). На этой основе, с помощью тензора Вейля конформной кривизны, рассматриваемого как симметричный автоморфизм модуля Лг(А/). как известно, и строится теория конформно полуплоских многообразий, называемая автодуальной геометрией.
Конформно полуплоские, т.е. автодуальные либо антиавтодуальные, (4-мсрные) многообразия играют достаточно значимую роль в современной науке в силу связи их геометрии с геометрией эйнштейновых многообразий (с которой, в свою очередь, связаны имена выдающихся геометров) и с твисторной геометрией (имеющей непосредственное приложение в теории гравитации и в теории полей Янга-Миллса). Так, например, известная теорема Пенроуза-Атьи-Хитчина-Сингера утверждает, что каноническая почти комплекс-
пая структура пространства твисторон 4-мерного ориентированного риманова многообразия интегрируема тогда и только тогда, когда что многообразие конформно полуплоско. Хитчин доказал, что если к тому же указанное многообразие - компактное многообразие Эйнштейна положительной скалярной кривизны, то оно изометрично S' либо СР2 со стандартными метриками. Кроме того, Хитчин доказал, что 4-мерное ориентированное компактное риманово многообразие имеет келерово пространство твисторон тогда и только тогда, когда это многообразие конформно эквивалентно §"* либо СР2 с их стандар тными конформными структурами. Чен, Бургиньон и Дердзински получили классификацию компактных автодуальных келеровых многообразий (интересно, что Чен, Бургиньон и Дердзински получили указанный результат независимо друг от друга, используя совершенно разные методы), а Ито - классификацию автодуальных многообразий Келера-Эйшптейна и исчерпывающую характеристику компактных автодуальных келеровых многообразий. Недавние исследования Арсеньевой O.E. и Кириченко В.Ф. существенно обобщили и дополнили результаты Хитчина, Бургиньона, Дердзински. Чена. Ито. а также Коды. Так. Арсеньева O.E. получила полную классификацию автодуальных обобщенных келеровых многообразий постоянной скалярной кривизны, а также доказала, что обобщенное келерово многообразие антиавтодуально тогда и только тогда, когда его скалярная кривизна равна нулю. Совместная же работа Арсеньевой O.E. и Кириченко В.Ф. «Автодуальная геометрия эрмитовых поверхностей» содержит ряд красивых и неожиданных результатов, касающихся геометрии конформно полуплоских эрмитовых поверхностей (т.е. 4-мерных почти эрмитовых многообразий со знакоопределенной метрикой и интегрируемой почти комплексной структурой) как классического, так и гиперболического типа (обобщенных эрмитовых поверхностей); там же приведена полная классификация компактных автодуальных эрмитовых ЛА'-поверхностей. являющихся обобщенными многообразиями Хопфа. решающая проблему Чена в этом классе эрмитовых многообразий.
Таким образом, приведенный обзор исследований как некоторых классов почти контактных метрических многообразий, так и конформно полуплоских многообразий, ни в коей мере не претендующий на полноту, показывает насколько эти проблемы занимали и занимают умы геометров, продолжающих их активное изучение. Однако, до настоящего времени не были подняты вопросы, связанные с возможностью обобщения на 5-мерный случай понятий автодуальных и антиавтодуальных 2-форм, играющих фундаментальную роль в 4-мерной римановой геометрии. В частности, не рассматривалась возможность
G
обобщения понятий автодуальных и антиавтодуальных многообразий на случай 3-ме)>-ных римановых многообразий, снабженных почти контактной структурой (согласованной с метрикой); также не высказывалась идея рассмотрения теории, основанной на замене тензора Вейля на тензор Римана-Кристоффеля в рамках автодуальной геометрии, обобщенной на о-мерный случай. К сказанному хочется добавить еще и то. что выдающийся ученый А.Л. Бессе (во введении книги «Четырехмерная римапова геометрия. Семина]) Артура Бессе. 1978/79» под его редакцией) заметил; «Когда инерции мышления подталкивает меня перейти к исследованиям о размерности 3. мой внутренний голос протестует. Я склонен с ним согласиться».
В настоящей же работе подробно исследуются указанные проблемы; а именно, в данной работе известная конструкция конформно полуплоских (4-мерных) многообразий распространяется на 5-мерные римановы многообразия, снабженные почти контактной метрической структурой, а следовательно, и 4-мерным гиперраепределепием. На этой основе, с помощью тензора Вейля, вводится в рассмотрение контактный аналог конформно полуплоских многооборазий. Построенная таким образом конструкция оказалась богатой геометрическим содержанием, что было продемонстрировано на примере квази-сасакие-вых, косимплегтических и сасакиевых многообразий, а также на примере многообразий Кенмоцу. Более того, разработанный в работе формализм для тензора Вейля был применен к тензору Римана-Кристоффеля, что позволило получить ряд интересных результатов, касающихся указанных многообразий.
Цель диссертационной работы заключается в построении теории контактно-кон-фор.мно-полуплоски.х (т.е. контактно-автодуальных либо контактно-антиавтодуалы/ых) почти контактных метрических многообразий, называемой в дальнейшем контактно-автодуальной геометрией, и в изучении контактно-автодуальной геометрии некоторых классов о-мерных почти контактных метрических многообразий. При этом, основными задачами исследования являются следующие:
1) Обобщение концепции автодуальных и антиавтодуальных 2-форм на случай 3-мерных почти контактных метрических многообразий, а также определение внутренним образом понятий контактно-авто;1уальных, контактно-антиавтодуальных и контактно-конформно-полуплоских (т.е. контактно-автодуальных либо контактно-антиавтодуальных) почти контактных метрических многообразий.
2) Изучение контактно-автодуальной геометрии квази-сасакиевых, косимнлектиче-
ских. сасакиевых многообразий, а также многообразий Кенмоцу.
3) Определение естественным образом понятий контактно Я-автодуальных. контактно 7?-антиавтодуальных и контактно-полуплоских (т.е. контактно Я-авгодуальных либо контактно Я-антиавтодуальных) почти контактных метрических многообразий, путем замены тензора С Вейля на тензор Л Римана-Кристоффеля п рамках разработанного формализма для тензора С.
4) Изучение контактно Л-автодуальной геометрии квази-сасакиевых, косимплекти-ческих, сасакиевых многообразий, а также многообразий Кенмоцу.
0) Определение понятий псевдо-конформно-плоских и псевдоплоских почти контактных метрических многообразий, а также их изучение на примере квази-сасакиевых, косимплектических, сасакиевых многообразий и многообразий Кенмоцу.
Научная новизна. Основные результаты настоящего диссертационного исследования являются новыми. Выделим важнейшие из них.
1) В первой главе введено обобщение автодуальных и антиавтодуальных 2-форм на случай 5-мерных почти контактных метрических многообразий, а также на пространстве присоединенной О-структуры указанных многообразий подсчитаны их компоненты. Посредством последнего удалось внутренним образом определить понятия контактно-автодуальных, контактно-антиавтодуальных и контактно-конформно-полуплоских почти контактных метрических многообразий. При этом, применяя построенную конструкцию к тензору Римана-Кристоффеля, естественным образом были определены понятия контактно Я-автодуальных, контактно Я-антиавтодуальных и контактно-полуплоских почти контактных метрических многообразий.
2) Во второй главе изучена контактно-автодуальная геометрия квази-сасакиевых. косимплектлческих и сасакиевых многообразий. А именно, установлены аналитический критерий контактной автодуалыюсти и признак контактной антиавтодуальности квази-сасакиевых многообразий. С помощью указанного критерия контактной автодуальности был получен ряд результатов, касающихся сасакиевых и косимплектических многообразий, важнейшими из которых являются полные классификации контактно-автодуальных сасакиевых и контактно-автодуальных косимплектических многообразий. Учитывая признак контактной антиавтодуальности квази-сасакиевых многообразий, было доказано, что 5-мерное косимплектическое многообразие контактно-антиавтодуально тогда и только тогда, когда оно является риччи-плоским многообразием, и, что 5-мерное сасакиево много-
образно контактно-антиавтодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой г = 4. Кроме того, введя в рассмотрение псевдо-конформно-плоские многообразия, было доказано, что 5-мерное квази-сасакиево многообразие класса CR\ псевдо-конформно-нлоско тогда и только тогда, когда оно конформно плоско; в качестве очевидных следствий последнего факта, было получено, что 5-мерные косимилектические и сасакиевы многообразия псевдо-конформно-плоски тогда и только тогда, когда они конформно плоски.
3) В третьей главе изучена контактно Л-автодуальная геометрия квази-сасакиевых. косимплектических и сасакиевых многообразий. Именно, установлены аналитические критерии контактной Л-автодуальности и контактной Л-антиавтодуальности квази-сасаки-евых многообразий. С помощью критерия контактной Л-автодуальности квази-сасакиевых многообразий были получены полные классификации контактно Л-автодуальных сасакиевых и контактно Л-автодуальных косимплектических многообразий. С учетом же критерия контактной Л-антиавтодуальности квази-сасакиевых многообразий, было доказано, что 3-мерное косимплектическое многообразие контактно Л-антиавгодуально тогда и только тогда, когда оно является риччи-плоскнм многообразием, и. что контактно Л-антиавтодуальных сасакиевых многообразий не существует. Далее, введя в рассмотрение псевдоплоские многообразия, был получен аналитический критерий псевдоплоскости квази-сасакиева многообразия, т. е. было доказано, что 5-мерное квази-сасакиево многообразие класса С Iii с нильпотентным характеристическим гомоморфизмом В (т.е. В' — 0) псевдоллоско тогда и только тогда, когда оно плоско. Также доказано, что 5-мерное саса-киево многообразие не может быть псевдоплоским.
4) В четвертой главе исследованы контактно-автодуальная и контактно Л-автодуаль-ная геометрии многообразий Кенмоцу. Получена полная классификация контактно-автодуальных многообразий Кенмоцу и доказано, что 5-мерное многообразие Кенмоцу кон-тактно-антиавтодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой f = -4. Установлен критерий конформной псевдо-плогкости многообразий Кенмоцу, утверждающий, что 5-мерное многообразие Кенмоцу пс.евдо-конформно-плоско тогда и только тогда, когда оно конформно плоско. В заключение, было доказано, что 5-мерное многообразие Кенмоцу не может быть ни контактно Л-автодуальиым, ни контактно Л-антиавтодуадьным, а значит, не может быть и нсевдо-плоским многообразием.
Практическая и теоретическая значимости. Диссертационная работа носи г теоретический характер. Полученные в ней результаты могут быть использованы для дальнейшего изучения контактно-автодуальной геометрии подходящих многообразий, в соответствующих разделах дифференциальной геометрии и математической физики, а также для чтения спецкурсов, для написания курсовых, дипломных и диссертационных работ в высших учебных заведениях, где проводятся исследования по сходной тематике.
Апробация работы. Результаты настоящей диссертации докладывались и обсуждались на научно-исследовательском семинаре по дифференциально-геометрическим структурам на многообразиях кафедры геометрии (рук. д. ф.-м. н., проф. Кириченко В.Ф.) Московского Педагогического Государственного Университета (Россия. Москва, апрель 2009 г.). на V общероссийской научной конференции «Актуальные вопросы ¡туки и образования» (Россия, Москва, май 2009 г.), на международной конференции «Геометрия в Одессе - 2009» (Украина, Одесса, май 2009 г.). на международной научной конференции «Лаптевские чтения - 2009» (Россия, Москва-Тверь, август 2009 г.). на международной конференции «Геометрия в Астрахани - 2009» (Россия, Астрахань, сентябрь 2009 г.).
Публикации. Основные результаты диссертации опубликованы в 8 печатных работах, из них 1 статья в рецензируемом журнале |1|, рекомендованным ВАК РФ, 4 работы в виде тезисов докладов научных конференций [2 о] и 3 работы, депонированные в ВИНИТИ РАН |6-8|.
Структура и объем диссертации. Диссертационное исследование состоит из введения. 4 глав, включающих 17 параграфов, списка литературы и списка публикаций автора. Работа изложена на 94 страницах машинописного текста.
Краткое содержание диссертационной работы
Введение содержит исторический обзор исследований по теме диссертации, а также обоснование ее актуальности. Здесь же сформулированы цель и основные задачи настоящего исследования, новизна которого отражена в приведенных основных результатах работы. Далее, во введении указаны практическая и теоретическая значимости работы, ее апробация и публикации автора по теме исследования. Завершает введение краткое содержание диссертационного исследования.
Первая глава «Основные понятия» , состоящая из 4 параграфов, посвящена разработке основных понятий и аппарата теории контактно-конформно-полуплоских мпогооб-
разий. которая является обобщением класс ической автодуальной геометрии на 5-мгрпьш случай.
В первом параграфе. «Почти контактные .метрические многообразия» излагаются хорошо известные понятия и факты контактной геометрии, которые используются и па-стоящем исследовании по мере необходимости.
Во втором параграфе «Автодуальные и антиавтодуальные формы на почти контактных метрических многообразиях» разработано обобщение теории автодуальных и антиавтодуальных 2-форм. на случай 5-мерных почти контактных метрических многообразий, кульминацией которого явилось доказательство леммы, уточняющей компоненты рассматриваемых форм на пространстве присоединенной б-структуры. Именно, в условиях того, что (А/. г), Ф, ц = (■. •)) - 3-мерное ориентированное почти контактное метрическое многообразие, I = ¡(1 - »/ 3 { = -Ф" - естественный проектор на контактное распределение £ = 1т Ф = Кег г), Л2(£) = Л*(£) €г Л"(£) - прямая сумма двух 3-мерных подмодулей автодуальных 2-форм и антиавтолуальных 2-форм модуля Л2(£). 2-форма Г {и) € Л2(Л/) антиувлечение 2-формы ^ £ Л2 (£) при отображении [. а >/—Т мнимая единица поля С комплексных чисел, было доказано, что если 2-форма ^ ё Л2(£). то в .4-репере:
1) и £ Л* (£) тогда и только тогда, когда для любых х, у. : ё Я
Заметим, что здесь и далее индексы а. Ь. с. И. /. Л пробегают значения от 1 до 2, где. например, а = а+ 2; а индексы и], к, I значения от 0 до 1, то есть 0.1.2.1.2. Кроме того, условимся, что индексы а. Я.",.6 пробегают значения 1.2.1.2.
'о 0 0 0 0 ^
0 0 х + У^Г1 о
0 -у\Гг\ 0 0 х - гу/^Т
0 -х + г\/-Т 0 )
2) ие Л (£) тогда и только тогда, когда для любых .г. у. г € К
В третьем параграфе <гКонтактно-конформно-полуплоские почти контактные метрические многообразия» внутренним образом вводятся в рассмотрение контактпо-конформ-но-полуплоские почти контактные метрические многообразия. Заметив, что тензор С Вейля можно рассматривать как эндоморфизм модуля Л2 (Л/), и что эндоморфизм С внутренним образом определяет эндоморфизм (Г модуля Лг (£), задаваемый одной из трех эквивалентных формул: 1) С = Г о С о 1*. 2) С (и/) = С 3) С = СлМ (Ги»)И . где / естественное вложение £ С Х{М), а С( 1"ш) - сужение 2-формы 6 Л-г (Д/) на £, были сформулированы определения контактно-автодуальных, коптактно-антиавтодуаль-ных и контактно-конформно-полуилоских почти контактных метрических многообразий. А именно, 5-мерное почти контактное метрическое многообразие было названо контактно-автодуальным (короче. С-аетодуалъным) многообразием, если С (и/) = 0 для любых 2-форм и 6 А" (£). Аналогично. 5-мерное почти контактное метрическое многообразие было названо контактно-антиавтодуальным (короче, С-антиавтодуалъным) многообразием, если С(ш) = 0 для любых 2-форм и; € А*(£). II наконец, контактно-автодуальное либо контактно-антиавтодуалыюе почти контактное метрическое многообразие было названо контактно-конформно-полуплоским (короче. С-конформно-полуплоским) многообразием.
В четвертом параграфе «Контактно-полуплоские почти контактные метрические многообразия» были определены понятия контактно Л-автодуальных (короче. СП-автодуальных), контактно Я-антиавтодуальных (короче. С Я-антиавтодуальных) и контактно-полуплоских (короче, С-полуплоских) почти контактных метрических многообразий, путем применения формализма, разработанного для тензора Вейля, к тензору Римана-Кри-стоффеля.
Вторая глава «Контактно-автодуальная геометрия квази-сасакиевых, ко-симплектических и сасакиевых многообразий», состоящая из о параграфов, посвящена изучению контактно-конформно-полуплоских многообразий указанных (в названии главы) типов.
В первом параграфе <гПятимерные квази-сасакиевы многообразия» приводятся некоторые известные факты и определение квази-сасакиевых многообразий, а также ряд их примеров и полная группа структурных уравнений. Кроме этого, на пространстве присоединенной б-структуры указанных многообразий вычислены существенные компоненты тензора Римана-Кристоффеля. тензора Риччи и тензора Вейля, а также указана формула, по которой подсчитываете^ скалярная кривизна х квази-сасакиевых многообразий.
Второй параграф «Геометрия котпактно-конформно-ио.щплоских ква.т-1шатсчых многообразий» состоит из двух пунк1'ов; в первом пункте «Контактно-автодуальные квази-еасакиевы многообразия», учитывая выше указанную лемму, доказан аналитический критерий контактной автодуальности квази-сасакиевых многообразий, утверждающий, что 5-мерное квази-сасакиево многообразие контактно-автодуально тогда и только кнда, когда на пространстве присоединенной С-структуры
где ¿¡¡г/ — ¿¡¡¿'^ 4- 6^6СЬ, {ВЦ} - набор компонент комплексного тензорного поля В типа (1,1) на квази-сасакневом многообразии М. которое называется структурным тензором первого рода, а {АЦ!) - система функций, определяющая тензорное поле .4 типа ('2.2). называемое структурным тензором второго рода или тензором голоморфной секционной кривизны квази-сасакиева многообразия Л/; во втором пункте «Контактно-антиавтодуальные квази-сасакиевы многообразия» второго параграфа доказан признак контактной аптиавтодуальности квази-сасакиевых многообразий, заключающийся в том. что если 5-мерное квази-сасакиево многообразие контактно-антиавтодуально. то ею скалярная кривизна х на пространстве присоединенной (3-структуры вычисляется по формуле вида:
Третий параграф «Геометрия контактно-конформно-полуплоских коглшплекпшче-ских многообразий» начинается с того, что в первом пункте «Контактно-автодуальные косимплектические многообразия» приводятся известное определение косимплектических многообразий и их примеры, а также указаны формула, по которой подсчитывается скалярная кривизна к о-мерных косимплектических многообразий, и существенные компоненты классических тензоров. В рамках зтого же пункта был доказан аналитический критерий контактной автодуалыюсти косимплектических многообразий, утверждающий, что 5-мерное косимплектичеекое многообразие контактно-автодуально тогда и только тогда, когда на пространстве присоединенной С-структуры А^. = -^дЦ^. где ¿¡¡¡I = А^^ + д"^. С учетом последнего факта, выяснилось, что 5-мерное косим плектическое многообразие контактно-автодуально тогда и только тогда, когда оно является многообразием глобально постоянной Ф-голоморфной секционной кривизны: и наконец, с учетом полученных результатов, был сделан окончательный вывод, представляющий собой полную классп-
ЛЙ = 2 щщ + в;) в;, + -
х = 2в*вц - 6ваав1
фикацию контактно-автодуальных косимнлектических многообразий. Именно. 5-мерное косимплектическое многообразие контактно-автодуально тогда и только тогда, когда оно локально эквивалентно одному из следующих многообразий, снабженному канонической косимплектической структурой: 1) С2хК: 2) СР2хШ: 3) СН2хШ (где С2. СР2. СН'2 комплексное евклидово, комплексное проективное и комплексное гиперболическое 2-мерные пространства, соответственно). Во втором пункте «Контактно-антиавтодуальиые косим-плектические многообразия» был установлен интересный критерий контактной-антиавто-дуалыюсти косимилектических многообразий: 5-мерное косимплектическое многообразие контактно-антиавтодуально тогда и только тогда, когда оно является риччи-плоским многообразием.
Четвертый параграф «Геометрия контактно-конформно-полуплоских сасакиевых многообразий» также как предыдущий состоит из двух пунктов. В первом пункте «Контактно-автодуальные сасакиевы многообразия» сначала немного рассказывается о саса-киевых многообразиях (определение, примеры, спектры классических тензоров), а затем, исследуя исключительно контактно-автодуальные многообразия указанного типа, было доказано, что 5-мернос сасакиево многообразие контактно-автодуально тогда и только тогда, когда на пространстве присоединенной СГ-структуры выполняется соотношение А-Ьс = где *>ы1 — "(¡лг + Д3-'1«. выяснив, что контактная автодуальность
5-мерного сасакиева многообразия равносильна глобальному постоянству Ф-голоморфной секционной кривизны с этого многообразия, была получена полная классификация контактно-автодуальных сасакиевых многообразий. Именно, 5-мерное сасакиево многообразие контактно-автодуально тогда и только тогда, когда оно локально эквивалентно одному из следующих многообразий: 1) при с > -3 - 5-.черной сфере 85, снабженной канонической сасакиевой структурой или структурой, полученной из канонической преобразованием /^-гомотетии; 2) при с — —3 - пространству главного Х'-расслоения над 4-мерным тором, снабженным стандартной плоской келеровой структурой, рассматриваемой как структура Ходжа; 3) при с < —3 - 5-мерной сфере §5, снабженной структурой, полученной из канонической преобразованием .О-инверсии. Во втором пункте «Контактно-антиавтодуальные сасакиевы многообразия» четвертого параграфа был установлен красивый критерий контактной антиавтодуальности сасакиевых многообразий: 5-мерное сасакиево многообразие контактно-антиавтодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой е = 4.
Пятый параграф «Псевдо-конфшрмно-нл.оекш; кнази-саеакиены.. шкамши-шпчгтш-и тсакиеаы многообразия» посвящен исследованию одновременно коптактпо-автодуаль-ных и коптактпо-аптнавтодуальных многообразий указанного типа. Так. было установлено, что 5-мерное квази-сасакиево многообразие класса СИ\ псспдо-конформно-п.юеко тогда и только тогда, когда оно конформно плоско: в качестве очевидных следствий последнего факта, было доказано, что псевдо-конформная плоскость о-мерных коснмплек-тических и сасакиевых многообразий равносильна их конформной плоскости.
Третья глава «Контактно Я-автодуальная геометрия квази-сасакиевых, косимплектических и сасакиевых многообразии» состоит из 4 параграфов и содержит исследования так называемых контактно-полуплосних многообразий (указанного в названии главы) типа.
Первый параграф «Геометрия контактно-полуплоских квази-сасакиевых лтогообра-зий» посвящен изучению контактно Я-автодуальных и контактно Я-аптиавтодуальпых квази-сасакиевых многообразий. В первом пункте «Контактно Л-автодуальные квази-саса-киевы многообразия» первого параграфа был найден аналитический критерий СЯ-авго-дуальности данных многообразий: 5-мерное квази-сасакиево многообразие контактно Я-автодуально тогда и только тогда, когда на пространстве присоединенной б-структуры выполняется тождество А°ь'6 = 2В^ВСЛ + В'^ВГЬ + - ВЦВ1/',) дЦ. Во втором же пунк-
те «Контактно Я-антиавтодуальные квазн-сасакиевы многообразия» доказан критерий их СЯ-антиавтодуалыюстн, утверждающий, что о-мерное квази-сасакиево мноюобразие контактно Я-антиавтодуально тогда и только тогда, когда на пространстве присоединенной С-структуры выполняются следующие соотношения: 1) Ааь'Г = 2В'^В',. + В"В',;. 2) В'аВ?, = В^Щ..
Второй параграф называется «Геометрия контактно-полуплоских косимплектических мн,огообразий». В его первом пункте «Контактно Я-автодуальные коеи.мп.тектиче-екие многообразия» выясняется, что 5-мерное косимплектичеекое многообразие контактно Л-автодуально тогда и только тогда, когда на пространстве присоединенной С-структуры А%! = 0. Указанное утверждение позволило установить, что контактная Я-автодуалыюсть о-мерных косимплектических многообразий равносильна локальной плоскости этих многообразий; благодаря последнему факту было доказано, что 5-мерное косимплектичеекое многообразие контактно й-автодуально тогда и только тогда, когда оно локально эквивалентно многообразию С2 х Я, снабженному канонической коеимплектической структурой.
Во втором пункте «Контактно Я-антиавтодуатьные коеимплектичеекие многообразия» было доказано, что контактная Я-антиавтодуальпость 5-мерного косимилектичсского многообразия равносильна его риччи-плоскости.
Несколько неожиданными явились результаты третьего параграфа «Геометрия контактно-полуплоских сасакиевых многообразий». В нервом пункте «Контактно Я-авто-дуальные сасакиевы многообразия» указанного параграфа был установлен аналитический критерий СЛ-автодуальности сасакиевых многообразий, с помощью которого доказано, что 5-мерное сасакиево многообразие контактно Я-автодуально тогда и только тогда, когда оно является многообразием постоянной Ф-голоморфной секционной кривизны с = -1. С учетом последнего, был сделан вывод, что 5-мерное сасакиево многообразие контактно Я-автодуально тогда и только тогда, когда оно локально эквивалентно 5-мерной сфере Б5, снабженной структурой, полученной из канонической сасакиевой структуры подходящим преобразованием О-гомотетии. Результатом второго пункта «Контактно Л-анти-автодуальные сасакиевы многообразия» является то, что контактно Л-антиавтодуальных сасакиевых многообразий ие существует.
Заключительным параграфом третьей главы является четвертый параграф «Псевдоплоские квази-сасакиевы, коеимплектичеекие и сасакиевы многообразия» . В этом параграфе был получен аналитический критерий псевдоплоскости квази-сасакиева многообразия, т. е. было доказано, что 5-мерное квази-сасакиево многообразие класса СЛ] с нильпотепт-ным характеристическим гомоморфизмом В псевдоплоско тогда и только тогда, когда оно плоско. Естественным следствием указанного критерия явилось то, что 5-мерное ко-симплектическое многообразие псевдоплоско тогда и только тогда, когда оно локально плоско. В частности, здесь же было доказано, что 5-мерное сасакиево многообразие не может быть псевдоплоским.
Четвертая глава «Контактно-автодуальная и контактно Я-автодуальная геометрии многообразий Кенмоцу» состоит из 4 параграфов.
Первый параграф «Пятимерные многообразия Кенмоцу» содержит определение указанных многообразий, их примеры, полную группу структурных уравнений и несколько хорошо известных фактов. При этом, на пространстве присоединенной С-структуры указанных многообразий вычислены существенные компоненты тензора Римана-Кристоффе-ля, тензора Риччи и тензора Вейля, а также указана формула, по которой подсчитывается скалярная кривизна х 5-мерных многообразий Кенмоцу.
Второй параграф «Геометрия контактно-конформно-полуплоски:!; мнагаобрааиЬ Кенмоцу» состоит из дпух пунктов; в первом пункте «Контактно-автодуальные многообразии Кенмоцу» было доказано, что 5-мерное многообразие Кенмоцу контактно-автодуально тогда и только тогда, когда на пространстве присоединенной С-структуры выполняется следующее соотношение /Щ - где йЩ — + ¿¡¡дЦ. С учетом найденного ре-
зультата, удалось доказать, что контактная автодуалыюсть 3-мерных многообразий Кенмоиу равносильна точечному постоянству Ф-голоморфной секционной кривизны данного многообразия; посредством последнего получена полная классификация контактно-автодуальных многообразий Кенмоцу. Именно, доказано, что 5-мерное многообразие Кенмопу контактно-автодуально тогда и только тогда, когда оно канонически конциркулярно одному из следующих многообразий, снабженному канонической косимплсктической структурой: 1) С2 х К; 2) СР2 х К: 3) С#2 х Е. Во втором пункте «Контактно-антиавтодуальные многообразия Кенмоцу» доказано, что 5-мерное многообразие Кенмоцу контактно-антиав-тодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой £ — -4.
В третьем параграфе, «Псевдо-конформно-плоские многообразия Кенмоцу» установлен критерий конформной псевдо-плоскости мног ообразий Кенмоцу. утверждающий, что 5-мерное многообразие Кенмоцу псевдо-конформно-нлоско тогда и только тогда, когда оно конформно плоско.
Интересно, что в заключительном четвертом параграфе с Контактно-полуплоские многообразия Кенмоцу» удалось доказать, что 5-мерное многообразие Кенмоцу не может быть ни контактно Д-автодуальным, ни контактно Л-антиавтодуальным. а значит, не может быть и псевдоплоским многообразием.
Список литературы включает 51 наименование работ (отечественных и зарубежных авторов), используемых для написания данного диссертационного исследования.
Список публикаций автора содержит 8 опубликованных печатных работ автора по теме настоящей диссертации.
В заключение, автору хотелось бы от всей души поблагодарить своего научного руководителя, доктора физико-математических наук, профессора Вадима Федоровича Кириченко за идею исследования и постоянную поддержку в ее разработке, за такт, понимание и искреннее участие, которое невозможно описать существующими словами.
Список публикаций автора
|1| Аристархова, А. В. О псевдоконформно-плоских и псевдоплоских квази-сасакиевых многообразиях ' А. В. Аристархова ; Известия вузов. Математика. 2009. • .\-»12. С. 69 73.
[2] Аристархова, А. В. О контактно конформно иолуилоских многообразиях Кенмоцу А. В. Аристархова /7 Современные наукоемкие технологии. Материалы V общероссийской научной конференции "Актуальные вопросы науки и образования". Физико-математические науки. - 2009. -V® б. — С. 6-7.
|3] Аристархова. А. В. О контактно-автодуальной геометрии 3-мерных квази-сасакиевых многообразий / А. В. Аристархова, В. Ф. Кириченко /7 Тезисы докладов международной конференции "Геометрия в Одессе 2009",— 2009. - С. 40-41.
[4] Аристархова, А. В. О контактно конформно иолуилоских пятимерных квази-сасакиевых многообразиях А. В. Аристархова / ; Тезисы докладов международной научной конференции "Лаптевские чтения - 2009". - 2009. — С. 7-8.
[5] Аристархова, А. В. Контактно-автодуальные многообразия Кенмоцу А. В. Аристархова // Тезисы докладов международной конференции "Геометрия в Астрахани -2009". - 2009. - С. о-6.
[61 Аристархова, А. В. О СЯ-автодуальной геометрии некоторых классов почти контактных метрических многообразий / А. В. Аристархова /■■' МПГУ, М., Деп. в ВИНИТИ РАН 22.06.09. - 2009. X« 391-В2009. - С. 18.
("1 Аристархова, А. В. Критерий контактной автодуальности квази-сасакиевых многообразий / А. В. Аристархова // МПГУ, М„ Деп. в ВИНИТИ РАН 22.06.09. ■ 2009. - .V 392-В2009. - С. 14.
[8] Аристархова, А. В. Псевдо-конформно-плоские и псевдоплоские 5-мерные квази-саса-киевы многообразия А. В. Аристархова // МПГУ, М.. Деп. в ВИНИТИ РАН 22.06.09. - 2009. - .V' 393-В2009. - С. 18.
Подп. к печ. 19.10.2009 Объем 1 пл. Заказ №. 126 Тир 100 экз.
Типография МПГУ
Введение
Глава 1. Основные понятия
1.1. Почти контактные метрические многообразия
1.2. Автодуальные и антиавтодуальные формы на почти контактных метрических многообразиях.
1.3. Контактно-конформно-полуплоские почти контактные метрические многообразия
1.4. Контактно-полуплоские почти контактные метрические многообразия
Глава 2. Контактно-автодуальная геометрия квази-сасакие-вых, косимплектических и сасакиевых многообразий
2.1. Пятимерные квази-сасакиевы многообразия
2.2. Геометрия контактно-конформно-полуплоских квази-сасакие-вых многообразий
2.2.1. Контактно-автодуальные квази-сасакиевы многообразия
2.2.2. Контактно-антиавтодуальные квази-сасакиевы многообразия
2.3. Геометрия контактно-конформно-полуплоских косимплектических многообразий.
2.3.1. Контактно-автодуальные косимплектические многообразия
2.3.2. Контактно-антиавтодуальные косимплектические многообразия
2.4. Геометрия контактно-конформно-полуплоских сасакиевых многообразий
2.4.1. Контактно-автодуальные сасакисвы многообразия
2.4.2. Контактно-антиавтодуальные сасакиевы многообразия
2.5. Псевдо-конформно-плоские квази-сасакиевы, косимплектиче-ские и сасакиевы многообразия
Глава 3. Контактно Д-автодуальная геометрия квази-сасакие-вых, косимплектических и сасакиевых многообразий
3.1. Геометрия контактно- полу плоских квази-сасакиевых многообразий
3.1.1. Контактно Д-автодуальные квази-сасакиевы многообразия
3.1.2. Контактно Д-антиавтодуальные квази-сасакиевы многообразия
3.2. Геометрия контактно-полуплоских косимплектических многообразий
3.2.1. Контактно .^-автодуальные косимплектические многообразия
3.2.2. Контактно Д-антиавтодуальные косимплектические многообразия
3.3. Геометрия контактно-полу плоских сасакиевых многообразий
3.3.1. Контактно Д-автодуальные сасакиевы многообразия
3.3.2. Контактно Д-антиавтодуальные сасакиевы многообразия
3.4. Псевдоплоские квази-сасакиевы, косимплектические и сасакиевы многообразия.
Глава 4. Контактно-автодуальная и контактно Д-автодуальная геометрии многообразий Кенмоцу.
4.1. Пятимерные многообразия Кенмоцу.
4.2. Геометрия контактно-конформно-полуплоских многообразий Кенмоцу
4.2.1. Контактно-автодуальные многообразия Кенмоцу
4.2.2. Контактно-антиавтодуальные многообразия Кенмоцу
4.3. Псевдо-конформно-плоские многообразия Кенмоцу
4.4. Геометрия контактно-полуплоских многообразий Кенмоцу
4.4.1. Контактно ^-автодуальные многообразия Кенмоцу
4.4.2. Контактно Д-антиавтодуальные многообразия Кенмоцу
Актуальность работы. Настоящая работа, с одной стороны, посвящена 5-мерным многообразиям, снабженным почти контактной метрической структурой. Теория же структур, указанного типа, занимает видное место в ряду дифференциально-геометрических структур, изучаемых на данный момент, в силу приложений к современной математической физике (например, к классической механике, к теории геометрического квантования и др.), а также в силу богатства геометрического содержания самой этой теории и ее связей с другими разделами современной геометрии (например, с теорией гиперповерхностей римановых многообразий). Более полувека не иссякает интерес ученых и просто исследователей к теории многообразий, наделенных почти контактными (метрическими) структурами, которые являются естественным обобщением контактных (метрических) структур. В самом деле, основополагающими для данной теории явились работы С. Чженя [26], Дж. Грея [29], В. Бутби, X. Вана [23] и С. Сасаки [43], появившиеся в 50-ые годы XX века; впоследствии, исследования в этом направлении были представлены многочисленными и разнообразными (в методах, подходах и результатах) работами, которые объединяет лишь то, что изучению преимущественно подвергались исключительно некоторые классы почти контактных метрических и контактных многообразий, несмотря, например, на практически необозримую классификацию первых (обзор исследований изложен, например, в [б], [10]). Так, наиболее изученными, а также интересными (с точки зрения дальнейшего повествования) являются такие подклассы почти контактных метрических многообразий, как квази-сасакиевы, косимплектические, сасакиевы многообразия и многообразия Кенмоцу.
Класс квази-сасакиевых (диавьЗазаИап) многообразий был введен в рассмотрение Д. Блэром [20], а, впоследствии, изучался с различных точек зрения многими авторами (например, [49], [48], [34], [50], [28], [14]). Так, к примеру, Блэр [20] установил, что не существует квази-сасакиевой структуры четного ранга, что вектор £ является вектором Киллинга и что с точностью до гомотетии квази-сасакиево многообразие постоянной кривизны является сасакиевым (БазаЫап) или косимплектическим (созутр1е^1с); он же нашел условия, при которых квази-сасакиево многообразие является прямым произведением сасакиева и келерова многообразий. В свою очередь, Канемаки [34], изучая квази-сасакиевы многообразия, также доказал некоторые достаточные условия по поводу того, когда квази-сасакиево многообразие имеет указанное строение локально. Позже наиболее полное описание упомянутого вопроса было дано Кириченко В.Ф. и Рустановым А.Р. [14] в терминах дополнительных свойств симметрии тензора римановой кривизны квази-сасакиевых многообразий; они же выделили несколько интересных классов квази-сасакиевых многообразий и изучили их, используя полную группу структурных уравнений квази-сасакиевых многообразий, полученную в той же работе. Подробно был исследован так называемый класс СЯ\ квази-сасакиевых многообразий, исчерпывающее описание локального строения которых также дали Кириченко В.Ф. и Рустанов А.Р., приведя к тому же полные классификации квази-сасакиевых многообразий класса СИ\ постоянной Ф-голоморфной секционной кривизны и квази-сасакиевых многообразий данного класса, удовлетворяющих аксиоме Ф-голоморфных (2г + 1)-плоскостей, что существенно обобщило известные результаты Танно [48], касающиеся классификации са-сакиевых пространственных форм, а также углубило результаты Огиуэ [39] и Исихары [32], касающиеся почти контактных метрических многообразий, в частности многообразий Сасаки, удовлетворяющих аксиоме Ф-голоморфных (2 г + 1)-плоскостей.
Рассмотрение класса квази-сасакиевых многообразий в настоящей работе обусловлено тем, что он включает в себя два наиболее изученных класса почти контактных метрических многообразий - класса косимплектических и класса сасакиевых многообразий, которые в эрмитовой геометрии являются контактными аналогами келеровых многообразий. При этом, известно [10], что косимплектические и сасакиевы структуры, характеризующиеся для любых гладких векторных полей X и Y тождествами Ух(Ф)У = 0 и Ух(Ф)У = (X,Y)^ — t)(Y)X (где V - риманова связность метрики д = (•, •), а Ф - структурный эндоморфизм), соответственно, являются «граничными» подклассами квази-сасакиевых структур. В действительности последнее объясняется совершенно естественным образом, так как для косимплектических структур rang г) = 1 (т.е. dr] = 0), а для сасакиевых - rang rj = 2п 4- 1 (т.е. г] А (dr))n ф 0), где т\ - контактная форма на соответствующем многообразии М2п+1. Отметим еще, что квази-сасакиевы структуры, отличные от сасакиевых и косимплектических, называют собственными (их можно считать «серединным» или «центральным» подклассом квази-сасакиевых структур; к сожалению, в настоящее время они недостаточно изучены).
В 1971 году Кенмоцу [35] ввел в рассмотрение новый класс почти контактных метрических структур, характеризуемых для любых гладких векторных полей X и Y тождеством Ух(Ф)У = (ФАГ, У)£ — rj(Y)<&X, формально похожим на определяющее тождество сасакиевых структур, но фактически характеризующим структуры (в определенном смысле) противоположные са-сакиевым. Впоследствии, такие почти контактные метрические структуры были названы структурами Кенмоцу. В указанной работе Кенмоцу изучил замечательные свойства введенных им структур и привел их примеры. Позднее Синха и Шриваштава [45], [46] изучали многообразия Кенмоцу постоянной Ф-голоморфной секционной кривизны, а Кобаяши М. [36] определил свойства контактных нормальных подмногообразий и контактных родовых нормальных подмногообразий в многообразиях Кенмоцу. Исчерпывающее описание многообразий, наделенных структурой Кенмоцу, дал в своей работе Кириченко В.Ф. [9]; он не только исследовал локальное строение указанных многообразий, тем самым приведя их изящный пример (используя теорию локально конформных преобразований), но и получил полную классификацию данных многообразий точечно постоянной Ф-голоморфной секционной кривизны, указав случай глобального постоянства этой кривизны на рассматриваемых многообразиях.
Наконец, с другой стороны, настоящая работа посвящена изучению обобщения такого понятия, как автодуальность, определенного, в принципе, на 4-мерных ориентированных римановых многообразиях, наделенных рядом особенностей, связанных в основном с оператором Ходжа. Отметим [1], что, с точки зрения римановой геометрии, размерность 4 - первая (в сравнении с размерностями 2 и 3), в которой тензор кривизны, являющийся тензором валентности четыре, не определяется пи скалярной кривизной (как прип = 2), ни тензором Риччи (как при п < 3). К тому же, группа 50(4, М) является единственной неполупростой группой ¿>0(п, М) (при п > 3), что приводит нас к важнейшей особенности 4-мерного ориентированного риманова многообразия М, заключающейся в специфическом строении структурной группы главного расслоения ориентированных ортонормированных реперов над таким многообразием - группы Ли 50(4, К) = (811(2) х ££/( 1))/Ъ2 (с точностью до соответствующего изоморфизма) [5]. Индуцированное действие этой группы на расслоении кососимметричных 2-форм над многообразием М разлагает С°°(М)-модуль А2(М) дифференциальных 2-форм на этом многообразии в прямую сумму двух 3-мерных подмодулей: А2(М) = А +(М) ®А~(М) -подмодулей автодуальных 2-форм и антиавтодуальных 2-форм, соответственно (здесь размерность модулей сечений понимается как размерность слоев соответствующих расслоений). На этой основе, с помощью тензора Вейля конформной кривизны, рассматриваемого как симметричный автоморфизм модуля Л2(М), как известно, и строится теория конформно полуплоских многообразий [4], называемая автодуальной геометрией [2], [3].
Конформно полуплоские, т.е. автодуальные либо антиавтодуальные, (4-мерные) многообразия играют достаточно значимую роль в современной науке в силу связи их геометрии с геометрией эйнштейновых многообразий (с которой, в свою очередь, связаны имена выдающихся геометров) [4[ и с твисторной геометрией [42] (имеющей непосредственное приложение в теории гравитации и в теории полей Янга-Миллса). Так, например, известная теорема Пенроуза-Атьи-Хитчина-Сингера [18] утверждает, что каноническая почти комплексная структура пространства твисторов 4-мерного ориентированного риманова многообразия интегрируема тогда и только тогда, когда это многообразие конформно полуплоско. Хитчин [30] доказал, что если к тому же указанное многообразие - компактное многообразие Эйнштейна положительной скалярной кривизны, то оно изометрично §4 либо СР2 со стандартными метриками. Кроме того, Хитчин [31] доказал, что 4-мерное ориентированное компактное риманово многообразие имеет келерово пространство твисторов тогда и только тогда, когда это многообразие конформно эквивалентно §4 либо СР2 с их стандартными конформными структурами. Чен [25], Бургиньон [24] и Дердзински [27] получили классификацию компактных автодуальных келеровых многообразий (интересно, что Чен, Бургиньон и Дердзински получили указанный результат независимо друг от друга, используя совершенно разные методы), а Ито [33] - классификацию автодуальных многообразий Келера-Эйнштейна и исчерпывающую характеристику компактных автодуальных келеровых многообразий. Недавние исследования Арсенье-вой O.E. и Кириченко В.Ф. существенно обобщили и дополнили результаты Хитчина, Бургиньона, Дердзински, Чена, Ито, а также Коды [38]. А именно, Арсеньева O.E. [2] получила полную классификацию автодуальных обобщенных келеровых многообразий (как классического, так и неисключительных келеровых многообразий гиперболического типа) постоянной скалярной кривизны, а также доказала, что обобщенное келерово многообразие антиавто-дуально тогда и только тогда, когда его скалярная кривизна равна нулю. Совместная же работа [3] Арсеньевой O.E. и Кириченко В.Ф. содержит ряд красивых и неожиданных результатов, касающихся геометрии конформно полуплоских эрмитовых поверхностей (т.е. 4-мерных почти эрмитовых многообразий со знакоопределенной метрикой и интегрируемой почти комплексной структурой) как классического, так и гиперболического типа (обобщенных эрмитовых поверхностей); там же приведена полная классификация компактных автодуальных эрмитовых ЛХ-поверхностей, являющихся обобщенными многообразиями Хопфа, решающая проблему Чепа в этом классе эрмитовых многообразий.
Таким образом, приведенный обзор исследований как некоторых классов почти контактных метрических многообразий, так и конформно полуплоских многообразий, ни в коей мере не претендующий на полноту, показывает насколько эти проблемы занимали и занимают умы геометров, продолжающих их активное изучение. Однако, до настоящего времени не были подняты вопросы, связанные с возможностью обобщения на 5-мерный случай понятий автодуальных и антиавтодуальных 2-форм, играющих фундаментальную роль в 4-мерной римановой геометрии. В частности, не рассматривалась возможность обобщения понятий автодуальных и антиавтодуальных многообразий на случай 5-мерных римановых многообразий, снабженных почти контактной структурой (согласованной с метрикой); также не высказывалась идея рассмотрения теории, основанной на замене тензора Вейля на тензор Римапа-Кристоффеля в рамках автодуальной геометрии, обобщенной на 5-мерный случай. К сказанному хочется добавить еще и то, что выдающийся ученый A.JI. Бессе (во введении книги [1] под его редакцией) заметил: «Когда инерция мышления подталкивает меня перейти к исследованиям в размерности 5, мой внутренний голос протестует. Я склонен с ним согласиться».
В настоящей же работе подробно исследуются указанные проблемы; а именно, в данной работе известная конструкция конформно полуплоских (4-мерных) многообразий распространяется на 5-мерные римановы многообразия, снабженные почти контактной метрической структурой, а следовательно, и 4-мерным гиперраспределением. На этой основе, с помощью тензора Вейля, вводится в рассмотрение контактный аналог конформно полу плоских многообразий. Построенная таким образом конструкция оказалась богатой геометрическим содержанием, что было продемонстрировано на примере квази-сасакиевых, косимплектических и сасакиевых многообразий, а также на примере многообразий Кенмоцу. Более того, разработанный в работе формализм для тензора Вейля был применен к тензору Римана-Кристоффеля, что позволило получить ряд интересных результатов, касающихся указанных многообразий.
Цель диссертационной работы заключается в построении теории контактно-конформно-полуплоских (т.е. контактно-автодуальных либо контактно-антиавтодуальных) почти контактных метрических многообразий, называемой в дальнейшем контактно-автодуальной геометрией, и в изучении контактно-автодуальной геометрии некоторых классов 5-мерных почти контактных метрических многообразий. При этом, основными задачами исследования являются следующие:
1) Обобщение концепции автодуальных и антиавтодуальных 2-форм на случай 5-мерных почти контактных метрических многообразий, а также определение внутренним образом понятий контактно-автодуальных, контактно-антиавтодуальных и контактно-конформно-полуплоских (т.е. контактно-автодуальных либо контактно-антиавтодуальных) почти контактных метрических многообразий.
2) Изучение контактно-автодуальной геометрии квази-сасакиевых, косимплектических, сасакиевых многообразий, а также многообразий Кенмоцу.
3) Определение естественным образом понятий контактно /^автодуальных, контактно /2-антиавтодуальных и контактно-полуплоских (т.е. контактно Я-автодуальных либо контактно Д-аптиавтодуальных) почти контактных метрических многообразий, путем замены тензора С Вейля на тензор Я, Ри-мана-Кристоффеля в рамках разработанного формализма для тензора С.
4) Изучение контактно /¿-автодуальной геометрии квази-сасакиевых, ко-симплектических, сасакиевых многообразий, а также многообразий Кенмоцу.
Б) Определение понятий псевдо-конформно-плоских и псевдоплоских почти контактных метрических многообразий, а также их изучение на примере квази-сасакиевых, косимплектических, сасакиевых многообразий и многообразий Кенмоцу.
Научная новизна. Основные результаты настоящего диссертационного исследования являются новыми. Выделим важнейшие из них.
1) В первой главе введено обобщение автодуальных и антиавтодуальных 2-форм на случай 5-мерных почти контактных метрических многообразий, а также на пространстве присоединенной (^-структуры указанных многообразий подсчитаны их компоненты. Посредством последнего удалось внутренним образом определить понятия контактно-автодуальных, контактно-антиавтодуальных и контактно-конформно-полуплоских почти контактных метрических многообразий. При этом, применяя построенную конструкцию к тензору Римана-Кристоффеля, естественным образом были определены понятия контактно /¿-автодуальных, контактно /?-антиавтодуальных и контактно-полуплоских почти контактных метрических многообразий.
2) Во второй главе изучена контактно-автодуальная геометрия квази-сасакиевых, косимплектических и сасакиевых многообразий. А именно, установлены аналитический критерий контактной автодуальности и признак контактной антиавтодуальности квази-сасакиевых многообразий. С помощью указанного критерия контактной автодуальности был получен ряд результатов, касающихся сасакиевых и косимплектических многообразий, важнейшими из которых являются полные классификации контактно-автодуальных сасакиевых и контактно-автодуальных косимплектических многообразий. Учитывая признак контактной антиавтодуальности квази-сасакиевых многообразий, было доказано, что 5-мерное косимплектическое многообразие кон-тактно-антиавтодуально тогда и только тогда, когда оно является риччи-плоским многообразием, и, что 5-мерное сасакиево многообразие коитактно-антиавтодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой е — 4. Кроме того, введя в рассмотрение псевдо-конформно-плоские многообразия, было доказано, что 5-мерное квази-сасакиево многообразие класса СК\ псевдо-конформно-плоско тогда и только тогда, когда оно конформно плоско; в качестве очевидных следствий последнего факта, было получено, что 5-мерные косимплектические и саса-киевы многообразия псевдо-конформно-плоскрт тогда и только тогда, когда они конформно плоски.
3) В третьей главе изучена контактно Ä-автодуальная геометрия квази-сасакиевых, косимплектических и сасакиевых многообразий. Именно, установлены аналитические критерии контактной Л-автодуальности и контактной R-антиавтодуальности квази-сасакиевых многообразий. С помощью критерия контактной Д-автодуальности квази-сасакиевых многообразий были получены полные классификации контактно Д-автодуальных сасакиевых и контактно Ä-автодуальных косимплектических многообразий. С учетом же критерия контактной Д-антиавтодуальности квази-сасакиевых многообразий, было доказано, что 5-мерное косимплектическое многообразие контактно R-антиавтодуально тогда и только тогда, когда оно является риччи-плоским многообразием, и, что контактно Ä-антиавтодуальных сасакиевых многообразий не существует. Далее, введя в рассмотрение псевдоплоские многообразия, был получен аналитический критерий псевдоплоскости квази-сасакиева многообразия, т. е. было доказано, что 5-мерное квази-сасакиево многообразие класса СИ\ с нильпотентным характеристическим гомоморфизмом В (т.е. Б2 = 0) псевдоплоско тогда и только тогда, когда оно плоско. Также доказано, что 5-мерное сасакиево многообразие не может быть псевдоплоским.
4) В четвертой главе исследованы контактно-автодуальная и контактно Я-автодуальная геометрии многообразий Кенмоцу. Получена полная классификация контактно-автодуальных многообразий Кенмоцу и доказано, что 5-мерное многообразие Кенмоцу контактно-антиавтодуально тогда и только тогда, когда оно является многообразием Эйнштейна с космологической константой е — —4. Установлен критерий конформной псевдо-плоскости многообразий Кенмоцу, утверждающий, что 5-мерное многообразие Кенмоцу псевдоконформно-плоско тогда и только тогда, когда оно конформно плоско. В заключение, было доказано, что 5-мерное многообразие Кенмоцу не может быть ни контактно II-автодуальным, ни контактно Д-антиавтодуальньтм, а значит, не может быть и псевдоплоским многообразием.
Практическая и теоретическая значимости. Диссертационная работа носит теоретический характер. Полученные в ней результаты могут быть использованы для дальнейшего изучения контактно-автодуальной геометрии подходящих многообразий, в соответствующих разделах дифференциальной геометрии и математической физики, а также для чтения спецкурсов, для написания курсовых, дипломных и диссертационных работ в высших учебных заведениях, где проводятся исследования по сходной тематике.
Апробация работы. Результаты настоящей диссертации докладывались и обсуждались на научно-исследовательском семинаре по дифференциально-геометрическим структурам на многообразиях кафедры геометрии (рук. д. ф.-м. н., проф. Кириченко В.Ф.) Московского Педагогического Государственного Университета (Россия, Москва, апрель 2009 г.), на V общероссийской научной конференции «Актуальные вопросы науки и образования»
Россия, Москва, май 2009 г.), на международной конференции «Геометрия в Одессе - 2009» (Украина, Одесса, май 2009 г.), на международной научной конференции «Лаптевские чтения - 2009» (Россия, Москва-Тверь, август 2009 г.), на международной конференции «Геометрия в Астрахани - 2009» (Россия, Астрахань, сентябрь 2009 г.).
Публикации. Основные результаты диссертации опубликованы в 8 работах, из них 1 статья в рецензируемом журнале [А1], рекомендованным ВАК РФ, 4 работы в виде тезисов докладов научных конференций [А2, АЗ, А4, А5] и 3 работы, депонированные в ВИНИТИ РАН [А6, А7, А8].
Структура и объем диссертации. Диссертационное исследование состоит из введения, 4 глав, включающих 17 параграфов, списка литературы и списка публикаций автора. Работа изложена на 94 страницах машинописного текста. В настоящей работе по мере необходимости использовался метод присоединенных ^-структур в сочетании с методом инвариантного исчисления Кошуля. Остановимся на рассмотрении краткого содержания диссертации.
1. Ж. Лееру, Л. Берар-Берэюери и др. Четырехмерная риманова геометрия. Семинар Артура Бессе. 1978/79.— М.: Мир, 1985.— С. 334.
2. О. Е. Арееньева. Автодуальная геометрия келеровых многообразий // Математический сборник. — 1993. — Т. 184, № 8. — С. 137-148.
3. О. Е. Арееньева, В. Ф. Кириченко. Автодуальная геометрия эрмитовых поверхностей // Математический сборник.— 1998.— Т. 189, № 1.— С. 21-44.
4. А. Бессе. Многообразия Эйнштейна, Т.1-2. — М.: Мир, 1990. — С. 704.
5. Е. Б. Винберг. Курс алгебры, — М.: Факториал Пресс, 2002,— С. 544.
6. Л. Е. Евтушик, Ю. Г. Лумисте, и др. Дифференциально-геометрические структуры на многообразиях // Итоги науки и техники. Проблемы геометрии. М.: ВИНИТИ АН СССР, 1979. - Т. 9. - С. 5-246.
7. В. Ф. Кириченко. О геометрии многообразий Кенмоцу // Доклады Российской Академии Наук. — 2001. Т. 380, № 5. — С. 585-587.
8. В. Ф. Кириченко. Дифференциально-геометрические структуры на многообразиях. М.: МПГУ, 2003.-С. 495.
9. В. Ф. Кириченко, О. Е. Арсенъева. Введение в современную геометрию.— Тверь: Тверской гос. университет, 1997.— С. 117.
10. В. Ф. Кириченко, И. П. Борисовский. Интегральные многообразия контактных распределений // Математический сборник. — 1998. — Т. 189, m 12.- С. 119-134.
11. В. Ф. Кириченко. Методы обобщенной почти эрмитовой геометрии в теории почти контактных многообразий // Итоги науки и техники. Проблемы геометрии. М.: ВИНИТИ АН СССР, 1986.— Т. 18,- С. 25-71.
12. В. Ф. Кириченко, А. Р. Рустанов. Дифференциальная геометрия квази-сасакиевых многообразий // Математический сборник. — 2002. — Т. 193, № 8.- С. 71-100.
13. А. Лихнерович. Теория связностей в целом и группы голономии.— М.: Платон, 1997. С. 216.
14. П. К. Рашевский. Риманова геометрия и тензорный анализ, — М.: Гос. изд-во технико-теоретич. литературы, 1953. — С. 635.
15. С. В. Умнова. О точечном постоянстве Ф-голоморфной секционной кривизны многообразий Кенмоцу // МПГУ, М., Деп. в ВИНИТИ РАН 21.03.02. 2002. - № 514-В2002. - С. 16.
16. M. F. Atiyah, N. J. Hitchin, I. M. Singer. Self-duality in four-dimensional Riemannian geometry // Proc. Roy. Soc. London. Ser. A.— 1978.— Vol. 362,- Pp. 425-461.
17. R. L. Bishop, В. О'Neil Manifolds of negative curvature // Trans. Amer. Math. Soc.- 1969. Vol. 145. - Pp. 1-50.
18. D. E. Blair. The theory of Quasi-Sasakian structures // J. Differential Geometry. 1967. - Vol. 1. - Pp. 333-345.
19. D. E. Blair. Riemannian geometry of contact and symplectic manifolds. — Birkhauser, Boston, Basil: Progr. in Math., 2002.- P. 304.
20. D. E. Blair. Contact manifolds in Riemannian geometry // Lect. Notes in Math. Berlin: Springer-Verlag, 1976. - Vol. 509. - Pp. 1-146.
21. W. Boothby, H. C. Wang. On contact manifolds // Ann. Math. — 1958.— Vol. 68, no. 3. Pp. 721-734.
22. J.-P. Bourguignon. Les variétés de dimension 4 à signature non nulle dont la courbure est harmonique sont d'Einstein // Invent. Math.— 1981.— Vol. 63. Pp. 263-286.
23. B. Y. Chen. Some topological obstructions to Bochner-Kaehler metrics and their applications // J. Differential Geometry. — 1978. — Vol. 13. — Pp. 547-558.
24. S.-S. Chern. Pseudo-groupes continus infinis.— Strasbourg: Colloqe de Géométrie Différentielle, 1953. Pp. 119-136.
25. A. Derdzinski. Self-duality of Kàhler manifolds and Einstein manifolds of dimensional four // Compos. Math. 1983,- Vol. 49.- Pp. 405-433.
26. S. Goldberg. Totally geodesic hypersurfaces of Kaehler manifolds // Pacific J. Math. 1968. - Vol. 27, no. 2. - Pp. 275-281.
27. J. W. Gray. Some global properties of contact structures // Ann. Math.— 1959. Vol. 69, no. 2. - Pp. 421-450.
28. N. J. Hitchin. On compact four dimensional Einstein manifolds //J. Differential Geometry. 1974. - Vol. 9. - Pp. 435-442.
29. N. J. Hitchin. Kahlerian twistor space // Proc. London. Math. Soc. — 1981. — Vol. 43.- Pp. 133-150.
30. I. Ishihara. Anti-invariant submanifolds of a Sasakian space forms // Kodai Math. Semin. Repts.- 1979. Vol. 2. - Pp. 171-186.
31. M. Itoh. Self-duality of Kahler surfaces // Compos. Math. — 1984,— Vol. 51.- Pp. 265-273.
32. Sh. Kanemaki. Quasi-Sasakian manifolds // Tdhoku Math. J. (2).— 1977.— Vol. 29. Pp. 227-233.
33. K. Kenmotsu. A class of almost contact Riemannian manifolds // Tdhoku Math. J. 1972. - Vol. 24. - Pp. 93-103.
34. M. Kobayashi Submanifolds in Kenmotsu manifolds // Rev. Math. Univ. completense. Madrid. — 1991.— Vol. 4, no. 1.— Pp. 73-95.
35. S. Kobayashi Principal fibre bundles with 1-dimensional toroidal group // Tdhoku Math. J.- 1956. no. 1,- Pp. 29-45.
36. T. Koda. Self-dual and anti-self-dual Hermitian surfaces // Kodai Math. J. — 1987. Vol. 10. - Pp. 335-342.
37. K. Ogiue. On almost contact manifolds admitting axiom of planes and axioms of free mobility // Kodai Math. Semin. Repts. — 1964,— Vol. 16.— Pp. 223-232.
38. K. Ogiue. On fibering of almost contact manifolds // Kodai Math. Semin. Repts. 1965,- Vol. 17, no. 1. - Pp. 53-62.
39. M. Okumura. Cosymplectic hypersurfaces in Kahlerian manifold of constant holomorphic sectional curvature // Kodai Math. Semin. Repts. — 1965. — Vol. 17. Pp. 63-73.
40. R. Penrose. The twistor programme // Math. Phis. Repts. — 1977. — Vol. 12. Pp. 65-76.
41. S. Sasaki. On differentiable manifolds with certain structures which are closely related to almost contact structures // Tôhoku Math. J. (2).— I960.— Vol. 12, no. 3. Pp. 459-476.
42. S. Sasaki. Almost contact manifolds // Lect. Notes I. Math. Inst. Tôhoku Univ. - 1965. - Pp. 1-250.
43. B. B. Sinha, A. K. Srivastava. Curvatures on Kenmotsu manifolds // Indian J. Pure and Appl. Math. 1991. - Vol. 22, no. 1. - Pp. 23-28.
44. B. B. Sinha, A. K. Srivastava. Semi-invariant submanifolds of a Kenmotsu manifold with constant </?-holomorphic sectional curvature // Indian J. Pure and Appl. Math. — 1992.- Vol. 23, no. 11.- Pp. 783-789.
45. S. Tanno. The automorphism groups of almost contact Riemannian manifolds // Tôhoku Math. J. — 1969. Vol. 21. - Pp. 21-38.
46. S. Tanno. Sasakian manifolds with constant (^-holomorphic sectional curvature // Tôhoku Math. J. (2). 1969. - Vol. 21. - Pp. 501-507.
47. S. Tanno. Quasi-Sasakian structures of rank 2p+l // J. Differential Geometry. 1971. - Vol. 5. - Pp. 317-324.
48. H. Yanamoto. Quasi-Sasakian hypersurfaces in almost Hermitian manifolds // Res. Rep. Nagaoka Tech. College.— 1969.— Vol. 5, no. 2.— Pp. 149-158.