Некомпактные римановы пространства с группами голономии G2,Spin(7) и SU(2(n+1)) тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

4845145

Малькович Евгений Геннадьевич

Некомпактные римановы пространства с группами голономии <?2, 5рш(7) и 577(2 (п + 1))

01.01.04 — геометрия и топология

Автореферат диссертации на соискание ученой степени кандидата физико-математических наук

1 2 МАЙ 2011

Новосибирск — 2011

4845145

Работа выполнена в Новосибирском Государственном Университете.

Научный руководитель:

д. ф.-м. н. Базайкин Ярослав Владимирович

Официальные оппоненты:

д. ф.-м. н., профессор Берестовский Валерий Николаевич, д. ф.-м. н., профессор Смоленцев Николай Константинович

Ведущая организация:

Московский государственный университет им. М.В.Ломоносова,

механико-математический факультет.

Защита состоится ". 11 " мая 2011 года в на заседании

диссертационного совета Д 003.015.03 при Институте математики им. С. Л. Соболева СО РАН по адресу: 630090, г. Новосибирск, проспект Академика Коптюга, 4.

С диссертацией можно ознакомиться в библиотеке Института математики им. С. Л. Соболева СО РАН.

Автореферат разослан ". 12 " О, 2011 года.

Ученый секретарь диссертационного совета

Гутман А. Е.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы.

Важной проблемой современной дифференциальной геометрии является построение и исследование примеров конкретных пространств с заданными геометрическими свойствами. Одной из подобных задач является поиск римановых многообразий с заданной группой голономии и изучение их топологических свойств. Зная группу голономии многообразия, можно многое сказать о его кривизне — основной характеристике римановых многообразий; с другой стороны, исследование голономии является технически более простой задачей.

Отдельный интерес к исследованию многообразий со специальными голономиями возник в теоретической физике. Было предложено использование некомпактных метрик с группами голономии Spin(7) в так называемой М-теории. В работах Гиббон-са, Лю, Поупа, Светича, Канно и др. был построен ряд новых полных примеров, часть которых является не многообразиями, а орбифолдами. Все эти метрики автоматически являются Риччи-плоскими и асимптотически ведут себя как конусы, либо как произведения конусов на окружности (асимптотически локально конические — AJIK).

В частности, в работе [7] Светич, Гибонс, Лю и Поуп исследуют вопрос существования метрик с голономией Spin{7) на конусе над семимерной сферой и над пространством Алоффа-Уоллаха; они изучают с помощью численных методов полученную систему дифференциальных уравнений и получают некоторые частные решения. В той же работе ведется поиск метрик с голономией G2 на конусе над S3 х S3. Далее, в работе [8] те же авторы строят АЛК метрику с голономией Spin(7) на пространстве, вне начальной точки гомеоморфном М+ х CP3 х S1, где S1 — окружность постоянного на бесконечности радиуса, М+ х CP3 — конус над CP3 с нестандартной метрикой. В работе [9] они развивают свои методы и находят новые метрики с другим поведением на беско-

нечностн — найденные метрики определены либо на К8, либо на М4 х 54.

В работе [10] Гуков и Спаркс независимо от предыдущего коллектива авторов находят метрики с голономией Брт(7) на Ж4 -расслоениях над и дают физическую интерпретацию найденным геометрическим структурам в терминах М-теории.

Как нам недавно удалось выяснить, Канно и Ясуи в работе [11] искали метрики с голономией Брт(7) на конусе над пространством Алоффа-Уоллаха. В работе [12] они использовали тот факт, что оно расслаивается над СР2, и ими было найдено решение (4) в этом частном случае.

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

Первым примером полной римановой метрики с группой голо-номии ¿?[/(п) явилась метрика Калаби, найденная в [5] в 1979 году. Метрика Калаби строится на пространстве соответствующего линейного комплексного расслоения над произвольным многообразием Кэлера-Эйнштейна Р. В той же работе [5] Калаби исследует гиперкэлеровы метрики, и строит в явном виде полную риманову метрику с группой голономии Зр(тп) на Т*СРт — первый явный пример гиперкэлеровой метрики. Необходимо отметить, что метрики Калаби, были описаны более удобным способом физиками в работах [13] и [6].

Целями работы являются:

1. Исследование систем дифференциальных уравнений, эквивалентных существованию параллельных Брт(7) и Сг структур.

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

Основные результаты.

1. Полностью проинтегрирована система ОДУ, эквивалентная существованию параллельной (^-структуры на конусе над тви-сторным пространством произвольного семимерного 3-сасакиева многообразия. Исследованы конкретные примеры.

2. Полностью исследовано поведение траекторий системы ОДУ, эквивалентная существованию параллельной 8рт(7)~ структуры на конусе над произвольным семимерным 3-сасакиевым многообразием. Найдено одномерное семейство метрик с голономией 5С/(4) с 8рт(7), «соединяющее» восьмимерные метрики Калаби.

3. Найденное однопараметрическое семейство обобщено на случай произвольной размерности вида 4т. Исследована топология соответствующих римановых многообразий.

Методы исследований.

Доказательства в значительной степени опираются на геометрические свойства 3-сасакиевых многообразий и связанных с ними пространств. Исследование поведения траекторий системы дифференциальных уравнений основано на поиске полуинтегралов системы, то есть функций, возрастающих на решениях системы.

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

Апробация работы. Результаты диссертации докладывались:

- на семинаре «Геометрия, топология и их приложения» Института. математики им.С.Л. Соболева СО РАН под руководством чл.-корр. РАН И.А. Тайманова,

- на семинаре отдела анализа и геометрии ИМ СО РАН под руководством академика Ю.Г. Рсшетняка,

- на объединенном семинаре по геометрической теории функций

ИМ СО РАН под руководством д.ф.-м.н. А.Д. Медных,

- на российской конференции «Топоноговские чтения 2010», проходившей зимой 2010 года в Новосибирске,

- на международной конференции "Современные проблемы анализа и геометрии проходившей осенью 2009 года в Новосибирске,

- на международном семинаре «Special Geometries in Mathematical Physics», проходившем весной 2008 года в Германии,

- на МНСК-46, проходившей весной 2008 года в Новосибирске.

Публикации. Результаты диссертации изложены в работах [14, 15, 16]. Часть результатов получена совместно с Я.В. Базай-киным в процессе неразделимой творческой деятельности.

Структура диссертации. Диссертация изложена на 69 страницах и состоит из введения и двух глав, каждая из которых разбита на пункты. Библиография содержит 24 наименования.

Первая Глава является вводной. В ней мы приводим основные определения и факты, необходимые для дальнейшего изложения. Параграф 1.1 касается групп голономии римановых многообразий; в параграфе 1.2 излагаются основные факты о геометрии 3-сасакиевых многообразий; параграф 1.3 содержит определение геометрических структур на орбифолдах. Глава 1 содержит лишь необходимые нам утверждения и не претендует на какую-либо полноту.

Во второй Главе мы приводим общую конструкцию, которая позволяет строить метрики с группой голономии С?2 по заданному 3-сасакиеву 7-мерному многообразию М. Рассмотрим 3-сасакиево многообразие М, на нем свободно действует группа S1, порождаемая одним из характеристических полей, фактор-пространство M/S1 = Z — шестимерный орбифолд, обладающий метрикой Кэлера-Эйнштейна. Конус над Z будет иметь группу голономии Сх2, если функции, отвечающие за деформацию конусной метрики, удовлетворяют определенной системе нелинейных дифференциальных уравнений и краевым условиям. При этом-за деформа-

цию отвечают функции А(Ь), В(Ь), С(£), зависящие от радиальной переменной t, меняющейся вдоль образующей конуса:

д = аё + Л(02(%2 + %2) + + г£) + С^)2(%2 + ту?), (1)

где 772,773 — характеристические 1-формы М, а щ, 7/5, щ, г)7 — формы, аннулирующие 3-сасакиево слоение на М.

Основным результатом параграфа 2.1 является Лемма 2.1: если кватернионно-кэлеров орбифолд С = М/Би(2) обладает кэлеровой структурой, то (1) является метрикой с группой го-лономии тогда, и только тогда, когда функции А, В, С удовлетворяют системе обыкновенных дифференциальных уравнений

А' =

2А2-В2-С2

В'=В~ССА2 ' М

п, _ С2—2А — В2 Ь ~ -АВ-"

В частности, метрика (1) является Риччи-плоской. Ранее система (2) была получена в [7] в частном случае М — 81/(3)/в1.

Для того, чтобы решение системы (2) было определено на некотором орбифолде либо многообразии, необходимо дополнительное выполнение краевых условий в точке ¿о, которые мы формулируем в Лемме 2.2. Эти условия не могут быть выполнены, кроме случая В — С, который приводит нас к функциям, дающим решения, найденные впервые в [4] в случае М — в7 и М — ,51/(3)/Б1. В случае В = С метрика (1) определена на тотальном пространстве Корасслоения N над кватернионно-кэлеровым орбифолдом О. Вообще говоря, N является орбифол-дом, кроме случая М — Б7 и М = 31/(3)/Б1.

В параграфе 2.2 мы рассматриваем известные примеры 3-сасакиевых многообразий, построенные в [3] с помощью взвешенного действия окружности на Б1/(3), и описываем в Лемме 2.3 и Следствии 2.1 топологию твисторного пространства 2, топологически эквивалентного расслоению Л/*.

В Главе 3 мы строим в явной, алгебраической форме однопа-раметрическое семейство полных римановых метрик, «соединяющих» гиперкэлерову метрику Калаби и метрику Калаби с го-лономией Sf7(4) в пространстве специальных кэлеровых метрик в размерности восемь в случае, когда F является многообразием комплексных 3-флагов в С3. В этом случае четырехмерное кватернионно-кэлерово многообразие О, связанное с F допускает «расщепление» касательного расслоения, что позволяет ввести дополнительный параметр деформации метрики и решить в элементарных функциях возникающую систему уравнений.

Более точно, пусть М = 5C/(3)/í7(1)i>ii_2 — пространство Алоффа-Уоллаха со структурой 3-сасакиева 7-мерного многообразия. На М = М х R+ рассмотрим риманову метрику следующего вида:

(3)

где t — координата на М+, {гц} — ортонормированный корепер на М, согласованный с 3-сасакиевой структурой (подробности в параграфе). Конусную особенность (при t = 0) пространства М разрешим следующим образом: затянем на уровне {í = 0} каждую отвечающую ковектору щ окружность в точку. Полученное многообразие, профакторизованное по Z2, диффеоморфно Н/Ъъ — квадрату канонического комплексного линейного расслоения над пространством флагов в

С3. В параграфе 3.2 мы приводим доказательство и уточненную формулировку следующей теоремы:

Теорема 3.1. При 0 < а < 1 каждая рилшиова метрика из семейства

- __ И(г2-?2)(г2+о:2) , 2 . г8-2а4(И-1)-1 2 ■ „2/2 , 2 ч 9а ~ rá_2a4(r4-l)-l "Г + r2(r2_a!í)(r2+a2)»7l + Г (T)2 + Щ)

(4)

+(г2 + a2){r¡l + V¡) + (г2 - + т??),

является полной гладкой римаповой метрикой tía Н/Ъ^ с группой голономии SU(4). При а = 0 метрика (4) изометрична метрике

Калаби [5] с группой голономии 5С/(4); при а = 1 метрика (4) изометрична метрике Калаби [5] с группой голономии 5р(2) с

Отметим, что метрика (4) в Теореме 3.1 при а = 0 и а = 1 имеет форму, отличную от [5]; метрики Калаби в таком виде исследовались в [13] и [6].

Этот результат получен нами при систематическом изучении метрик вида (3), имеющих группу голономии 5ртп(7) методом, разработанным в [1] и применявшемся затем в [14, 2]: метрика (3) строится по произвольному 7-мерному 3-сасакиеву многообразию М и обладает естественной 5'ргп(7)-структурой. В Лемме 3.1 мы показываем, что условие параллельности этой структуры сводится к следующей системе нелинейных обыкновенных дифференциальных уравнений:

(отметим, что система (5) при В — С полностью исследована в [1, 2[). Для получения гладкой метрики (3) необходимо разрешить конусную особенность на М одним из двух способов, получив пространства или М.2- Эта схема описывается в параграфе 3.1 диссертации, условия для разрешения конусной особенности в случае мы формулируем в Лемме 3.2. Тогда семейство метрик (4) на 2 получается интегрированием системы (5) при Ач = -А3.

В заключительном параграфе 3.3 приводится доказательство следующей теоремы, завершающей исследование системы (4) в случае пространства

ви{4) на Т*СР2.

2А2А3В

(5)

Теорема 3.2. Пусть М — 1-мерное компактное 3-сасакиево многообразие, и положим р — 2 или р — А в зависимости от того, равен общий слой 3-сасакиева слоения М либо 50(3), либо SU(2). Тогда на орбифолде Л^г/^р существуют следующие полные регулярные римановы метрики g вида (3) с группой голоно-мии Н С SpiniJ):

1) если 4i(0) = О, -Л2(0) = А3(0) > 0 и 2А%(0) - В2(0) + С2( 0), то метрика g из (3) имеет группу голономии SU (А) с SpiniJ) и гомотетична одной из метрик семейства (4);

2) если Ai(0) = О, -А2{0) = А3(0) < В(0) = С(0), то существует регулярная АЛК-метрика g вида (3) с группой голономии SpiniJ), найденная в [1/. На бесконечности эти лгетрики стремятся к произведению конуса над твисторным пространством Z и окружности S1.

Более того, любая полная регулярная метрика на пространстве .Мг/^р вида (3) с рассмотренной SpiniJ)-структурой и с группой голономии Н С SpiniJ) изометрична одной из указанных выше.

Изложение доказательства Теоремы 3.2 построено следующим образом. Сначала находятся все стационарные и условно стационарные точки системы (5) (Леммы 3.4 и 3.5), они определяют асимптотику соответствующих метрик (Лемма 3.6). Далее выясняется, каким начальным точкам So отвечают условия Леммы 3.2, необходимые для гладкости метрики; доказывается, что из каждой такой точки выходит ровно одна траектория системы (5) (Лемма 3.7). После этого остается установить, куда сходятся эти траектории. Для этого определяются инвариантные области П и Г системы (5) и устанавливаются полезные для дальнейшего доказательства дифференциальные соотношения вдоль траекторий системы (Лемма 3.8); эти соотношения показывают монотонность специально подобранных функций вдоль траекторий, что позволяет точно определить их асимптотику (Предложение 3.1).

В Главе 4 мы ставим вопрос об обобщении построенного в Главе 3 однопараметрического семейства метрик на случай общей размерности вида 4т, так как обе метрики Калаби (впервые построенные в [5]) определены не только в размерности восемь, но и во всех размерностях, кратных четырем. Мы даем положительный ответ на данный вопрос и доказываем следующую теорему:

Теорема 4.1. Следующее семейство состоит из полных, риччи-плоских 4(n + 1)-мерных римановых метрик:

G - , :4(гГа4)", ■ | r2f„2 , „„ч

^ot — (r4_ct4)n+l_(1_Q4)n+l «' т r2(r4-a4)n1 -1- г ^//2 -г Чз)

+(Г2 + а2) J2ß=i(viß + riß) + (г2 - С2) T,ß=i(Veß +

где 0 < а: < 1, г > 1. Метрики Gq и G\ имеют группы голономии 3U(2(n+1)) и Sp(n + 1), соответственно, и совпадают с многомерными метриками Калаби из [5]. Метрики Ga при 0 < а < 1 имеют группу голономии SU(2(n + 1)) и при п = 1 совпадают с семейством, построенным в Главе 3. При 0 < а < 1 метрики Ga определены на (п+ 1 )-ой тензорной степени линейного комплексного расслоения над пространством комплексных флагов в метрика G\ определена на T*CPn+1.

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

[1] Базайкин Я. В. О новых примерах полных некомпактных метрик с группой голономии Spin{7) // Сибирский математический журнал. 2007. Т. 48, № 1. С. 11-32.

[2] Базайкин Я. В. Некомпактные римановы пространства с группой голономии Spin(7) и 3-сасакиевы многообра-

зия // Геометрия, топология и математическая физика. I, Сборник статей. К 70-летию со дня рождения академи-

ка Сергея Петровича Новикова, Труды МИАН. 2008. Т. 263. С. 6-17.

[3] Boyer C. P., Galicki K., Mann B. M. The geometry and topology of 3-Sasakian manifolds. //J. reine angrew. Math. 1994. P. 183-220.

[4] Bryant R. L., Salamon S. L. On the construction of some complete metrics with exceptional holonomy// Duke Math. J. 1989. V. 58, N 3. P. 829-850.

[5] Calabi E. Metriques kahleriennes et fibres holomorphes // Ann. Ecol. Norm. Sup. 1979. V. 12. P. 269-294.

[6] Cvetic M, Gibbons G. W., Lu H., Pope C. N. Hyper-Kähler Calabi Metrics, L2 Harmonic Forms, Resolved M2-branes, and AdS4/CFT3 Correspondence // Nucl. Phys. B. 2001. V. 617. P.151-197.

[7] Cvetic M., Gibbons G. W., Lu H., Pope C. N. Cohomogeneity one manifolds of Spin(7) and G(2) holonomy// Phys. Rev. D. 2002. V. 65, N 10. 106004.

[8] Cvetic M., Gibbons G. W., Lu H., Pope C. N. New Complete Noncompact Spin(7) Manifolds // Nucl. Phys. B. 2002. V. 620, N 1-2. P. 29-54.

[9] Cvetic M., Gibbons G. W., Lu H., Pope C. N. New Cohomogeneity One Metrics With Spin(7) Holonomy //J. Geom. Phys. 2004. V. 49, N 3-4. P. 350-365.

[10] Gukov S., Sparks J. M-Theory on Spin(7) Manifolds // Nucl. Phys. B. 2002. V. 625, N 1-2. P. 3-69.

[11] Kanno H., Yasui Y. On Spin(7) holonomy metric based on SU(3)/U(1) //J. Geom. Phys. 2002. V. 43, N 4. P. 293-309.

[12] Kanno H., Yasui Y. On Spin(7) holonomy metric based on SU(3)/U(1) // J. Geom. Phys. 2002. V. 43, N 4. P. 310-326.

[13] Page D., Pope C. Inhomogeneous Einstein metrics on complex line bundles // Classical and Quantum Gravity. 1987. V. 4. P. 213-225.

Работы автора по теме диссертации

[14] Базайкин Я. В., Малькович Е. Г. Метрики с группой го-лоиомии G'2, связанные с 3-сасакиевым многообразием // Сибирский математический журнал. 2008. Т. 49, № 1. С. 3-7.

[15] Базайкин Я. В., Малькович Е. Г. £рт(7)-структуры на комплексных линейных расслоениях и явные римановы метрики с группой голономии SU(4) // Математический Сборник. 2011. Т. 202, № 4. С. 3-30.

[16] Малькович Е. Г. О новых явных римановых метриках с группой голопомии SU(2(n + l)) // Сибирский математический журнал. 2011. Т. 52, № 1. С. 95-99.

Автореферат:

Формат 60x84 1/16, 0,9 п. л. Тираж 100 экз. Заказ №861. 04.04. 2011

Отпечатано ЗАО РИЦ «Прайс-курьер» ул. Кутателадзе, 4г, т. 330-7202

Введение

1 Определения

1.1 Группы голономии.

1.2 3-сасакиевы многообразия.

1.3 Орбифолды.

2 Построение метрик с голономией (^

2.1 Описание (^-структуры на конусе над твисторным пространством.

2.2 Примеры.

3 Построение метрик с голономией 5ргп(7)

3.1 Описание 5рт(7)-структуры на конусе над 3-сасакиевым многообразием.

3.2 Построение явных решений на ЛЛ2.

3.3 Анализ общей задачи существования решений на • •

4 Построение метрик с голономией 5£/(2(п + 1))

4.1 Доказательство.

Диссертация посвящена построению и исследованию метрик со специальными группами голономии. В данной диссертации были изучены вопросы существования метрик с группами голономии G<i, Spin(7) и SU(2n). Была полностью проинтегрирована система, эквивалентная существованию параллельной (^-структуры на конусе над тви-сторным пространством семимерного З-Сасакиева многообразия Л4, чей кватернионно-кэлеров орбифолд обладает кэлеровой структурой; рассмотрены конкретные примеры. Полностью изучено поведение решений специального вида у системы, эквивалентной существованию параллельной 5ргп(7)-структуры на конусе над Л4; найдено однопа-раметрической семейство метрик, «соединяющее» восьмимерные метрики Калаби, изучена топология пространств, на которых определены найденные метрики. Найденное семейство обобщено на случай произвольной размерности вида 4(п + 1), изучена топология соответствующих пространств.

Группа голономии — это инвариант многообразия (риманова или псевдориманова), являющийся группой Ли и тесно связанный с геометрией данного многообразия. В 1955 году Берже доказал теорему, в которой перечислил все возможные группы голономии риманова многообразия. Среди этого списка выделяются группы (?2 и Spin(7), метрики с соответствующими группами называются исключительными или экзотическими (exceptional). Достаточно долго стоял вопрос о конкретных примерах метрик с данными группами голономии. Теорема существования компактных (определенных на компактном многообразии) экзотических метрик была доказана в 1996 году Джойсом [16]. Доказательство данной теоремы основано на довольно тонком аппарате специальных соболевских пространств, но описать найденные метрики конструкция Джойса не позволяет. Ковалев построил пример метрик с группой голономии на связной сумме двух компактных многообразий, используя теорему о склейке для эллиптических уравнений. Данная теорема также основана на оценках в специальных соболевских пространствах [19]. На данный момент примеры Джойса и Ковалева являются единственными примерами компактных многообразий с исключительными группами голономии.

Интерес к некомпактным примерам возник относительно недавно со стороны математической физики. Было предложено использование некомпактных метрик с группами голономии Зргп{1) в так называемой М-теории. В работах Гиббонса, Лю, Поупа, Светича, Канно и др. был построен ряд новых полных примеров, часть которых является не многообразиями, а орбифолдами. Все эти метрики автоматически являются Риччи-плоскими и асимптотически ведут себя как конусы, либо как произведения конусов на окружности (асимптотически локально конические — АЛ К).

В частности, в работе [10] Светич, Гибонс, Лю и Поуп исследуют вопрос существования метрик с голономией 5ргп(7) на конусе над семимерной сферой и над пространством Алоффа-Уоллаха; они изучают с помощью численных методов полученную систему дифференциальных уравнений и получают некоторые частные решения. В той же работе ведется поиск метрик с голономией б?2 на конусе над Б3 х 53. Далее, в работе [11] те же авторы строят АЛ К метрику с голономией 5рт(7) на пространстве, вне начальной точки гомеоморфном х СР3 х 51, где 5'1 — окружность постоянного на бесконечности радиуса, Ж.+ хСР3 — конус над СР3 с нестандартной метрикой. В работе [12] они развивают свои методы и находят новые метрики с другим поведением на бесконечности — найденные метрики определены либо на М8, либо на Е4 х 54.

В работе [14] Гуков и Спаркс независимо от предыдущего коллектива авторов находят метрики с голономией Брт{7) на М4 - расслоениях над и дают физическую интерпретацию найденным геометрическим структурам в терминах М-теории.

Как нам недавно удалось выяснить, Канно и Ясуи в работе [17] искали метрики с голономией 5ргп(7) на конусе над пространством Алоффа-Уоллаха. В работе [18] они использовали тот факт, что оно расслаивается над СР2 и ими найдено решение (4) в этом частном случае.

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

Первым примером полной римановой метрики с группой голоно-мии БХЦп) явилась метрика Калаби, найденная в [7] в 1979 году. Метрика Калаби строится на пространстве соответствующего линейного комплексного расслоения над произвольным многообразием Кэлера-Эйнштейна Р. В той же работе [7] Калаби исследует гиперкэлеровы метрики, и строит в явном виде полную риманову метрику с группой голономии 5р(т) на Т*СРШ — первый явный пример гиперкэлеровой метрики. Необходимо отметить, что метрики Калаби, были описаны более удобным способом физиками в работах [20] и [9].

Интерес к явным метрикам со специальными группами голономии и, в частности, к специальным кэлеровым метрикам) достаточно высок, поскольку таких примеров известно мало. Например, Джойс в [16, 8.2.5] высказал гипотезу, что все другие (кроме метрики Кала-би для F ~ СРп~1) AJIE-метрики с группой голономии SU(n) при п > 3 являются «трансцендентными», т.е. не могут быть представлены в алгебраической форме. Отметим сразу, что метрики, которые строятся нами в Главе 3, являются асимптотически коническими (АК), но не являются AJlE-метриками, поэтому наш пример не опровергает гипотезу, высказанную Джойсом. Кроме того, насколько нам известно, построенные метрики являются первым примером непрерывного семейства римановых метрик с группой голономии SU(n), п > 3, задаваемых в явной форме в терминах элементарных функций.

Первая Глава является вводной. В ней мы приводим основные определения и факты, необходимые для дальнейшего изложения. Параграф 1.1 касается групп голономии римановых многообразий; в параграфе 1.2 излагаются основные факты о геометрии 3-сасакиевых многообразий; параграф 1.3 содержит определение геометрических структур на орбифолдах. Глава 1 содержит лишь необходимые нам утверждения и не претендует на какую-либо полноту.

Во второй Главе мы приводим общую конструкцию, которая позволяет строить метрики с группой голономии 02 по заданному 3-сасакиеву 7-мерному многообразию М. Рассмотрим 3-сасакиево многообразие М, на нем свободно действует группа порождаемая одним из характеристических полей, фактор-пространство M/S1 = Z — шестимерный орбифолд, обладающий метрикой Кэлёра-Эйнштейна. Конус над Z будет иметь группу голономии если функции, отвечающие за деформацию конусной метрики, удовлетворяют определенной системе нелинейных дифференциальных уравнений и краевым условиям. При этом за деформацию отвечают функции A(t), B(t), C(t), зависящие от радиальной переменной меняющейся вдоль образующей конуса: д = ей2 + А(Ь)\тЦ + 77|) + В^)\гЦ + 775) + С{гШ 4- т$), (1) где — характеристические 1-формы М, а — формы, аннулирующие 3-сасакиево слоение на М.

Основным результатом параграфа 2.1 является Лемма 2.1: если кватернионно-кэлеров орбифолд О = М/311(2) обладает кэлеровой структурой, то (1) является метрикой с группой голономии (?2 тогда, и только тогда, когда функции А, В, С удовлетворяют системе обыкновенных дифференциальных уравнений л/ 2А2-В2-С2 Л — ВС ' в, = (2) п, С2—2А2—В2 Ь ~ АВ '

В частности, метрика (1) является Риччи-плоской. Ранее система (2) была получена в [10] в частном случае М = 311(3)/Б1.

Для того, чтобы решение системы (2) было определено на некотором орбифолде либо многообразии, необходимо дополнительное выполнение краевых условий в точке Ц, которые мы формулируем в Лемме 2.2. Эти условия не могут быть выполнены, кроме случая В = С, который приводит нас к функциям, дающим решения, найденные впервые в [6] в случае М = 57 и М = 5^7(3)/5'1. В случае В = С метрика (1) определена на тотальном пространстве М3-расслоения N над кватернионно-кэлеровым орбифолдом О. Вообще говоря, N является орбифолдом, кроме случая М = 57 и М = 5С/(3)/51.

В параграфе 2.2 мы рассматриваем известные примеры 3-сасакиевых многообразий, построенные в [5] с помощью взвешенного действия окружности на 311(3), и описываем в Лемме 2.3 и Следствии 2.1 топологию твисторного пространства Я, топологически эквивалентного расслоению ЛЛ

В Главе 3 мы строим в явной, алгебраической форме однопарамет-рическое семейство полных римановых метрик, «соединяющих» ги-перкэлерову метрику Калаби и метрику Калаби с голономией 5С/(4) в пространстве специальных кэлеровых метрик в размерности восемь в случае, когда .Р является многообразием комплексных 3-флагов в С3. В этом случае четырехмерное кватернионно-кэлерово многообразие О, связанное с ^ допускает «расщепление» касательного расслоения, что позволяет ввести дополнительный параметр деформации метрики и решить в элементарных функциях возникающую систему уравнений.

Более точно, пусть М = 5С/(2»)/и {\)\,\,-2 — пространство Алоффа-Уоллаха со структурой 3-сасакиева 7-мерного многообразия. На М = М х рассмотрим риманову метрику следующего вида: где £ — координата на {77^} — ортонормированный корепер на М, согласованный с 3-сасакиевой структурой (подробности в параграфе). Конусную особенность (при Ь = 0) пространства М разрешим следующим образом: затянем на уровне {£ = 0} каждую отвечающую ковектору 771 окружность в точку. Полученное многообразие, профак-торизованное по Ъ^ диффеоморфно Н/Ч^ — квадрату канонического комплексного линейного расслоения над пространством флагов в

С3.

В параграфе 3.2 мы приводим доказательство и уточненную формулировку следующей теоремы:

Теорема 3.1. При 0 < а < 1 каждая риманова метрика из семейства г-у-а2)(г2+а2Ь 2 , г8-2а4(г4-1)-1 2 , 2 („2 ,

Уа — Г8-2а4(г4-1)--1 Ш -Г г2(г2а2)(г2+а2)'/1 "Г ' V'/2 ^ 113)

4) г2 + а2){гЦ + 4) + (г2 - а2){т,1 + г?2), является полной гладкой римановой метрикой на Н/с группой голономии 311 (4). При а — 0 метрика (4) изометрична метрике Ка-лаби [7] с группой голономии 311(4); при а = 1 метрика (4) изометрична метрике Калаби [7] с группой голономии Бр(2) С 311(4) на Т*СР2.

Отметим, что метрика (4) в Теореме 3.1 при а = 0 и а = 1 имеет форму, отличную от [7]; метрики Калаби в таком виде исследовались в [20] и [9].

Этот результат получен нами при систематическом изучении метрик вида (3), имеющих группу голономии 5рт(7) методом, разработанным в [1] и применявшемся затем в [22, 2]: метрика (3) строится по произвольному 7-мерному 3-сасакиеву многообразию М и обладает естественной 7)-структурой. В Лемме 3.1 мы показываем, что условие параллельности этой структуры сводится к следующей системе нелинейных обыкновенных дифференциальных уравнений: а, (А2-А3)2-А2 А2(В2+С2)

А2А3 "Г" В2С2 ' А, А2-А2+А2 В2+С2-2А2

Л2 ~ А1А3 ВС ' л/ - А2+А2-А2 В2+С2—2А2 /ел

АгА2 ВС ' ^ П> — СА1+ВА2+ВАч {С2-В2)(А2+А3) ~ ВС 2А2А3С '

Г' — ВАг+САъ+САч (В2-С2)(А2+А3) ~~~ ВС 2 А2А3В отметим, что система (5) при В = С полностью исследована в [1, 2]). Для получения гладкой метрики (3) необходимо разрешить конусную особенность на М одним из двух способов, получив пространства М.\ или М.2- Эта схема описывается в параграфе 3.1 диссертации, условия для разрешения конусной особенности в случае Л4ч мы формулируем в Лемме 3.2. Тогда семейство метрик (4) на Л^г/^г получается интегрированием системы (5) при Ач = — А3.

В заключительном параграфе 3.3 приводится доказательство следующей теоремы, завершающей исследование системы (4) в случае пространства М-ч'

Теорема 3.2. Пусть М — 7-мерное компактное Ъ-сасакиево многообразие, и положим р = 2 или р = 4 в зависимости от того, равен общий слой Ъ-сасакиева слоения М либо 50(3), либо SU(2). Тогда на орбифолде .Мг/^р существуют следующие полные регулярные рима-новы метрики g вида (3) с группой голономии Н С Spin(7):

1) если 4i(0) = О, -А2(0) = Л3(0) > 0 и. 2А\{0) = В2(0) + С2(0), то метрика g из (3) имеет группу голономии SU(4) С Spin(7) и гомотетична одной из метрик семейства (4)i

2) если Ai(0) = О, -А2(0) = Л3(0) < J3(0) = С(0), то существует регулярная AJIK-метрика g вида (3) с группой голономии Spin(7), найденная в [1]. На бесконечности эти метрики стремятся к произведению конуса над твисторным пространством Z и окружности

S1.

Более того, любая полная регулярная метрика на пространстве Л^г/^р вида (3) с рассмотренной Spin{7)-структурой и с группой голономии Н С Spin(7) изометрична одной из указанных выше.

Изложение доказательства Теоремы 3.2 построено следующим образом. Сначала находятся все стационарные и условно стационарные точки системы (5) (Леммы 3.4 и 3.5), они определяют асимптотику соответствующих метрик (Лемма 3.6). Далее выясняется, каким начальным точкам Sq отвечают условия Леммы 3.2; необходимые для гладкости метрики; доказывается, что из каждой такой точки выходит ровно одна траектория системы (5) (Лемма 3.7). После этого остается установить, куда сходятся эти траектории. Для этого определяются инвариантные области П и Г системы (5) и устанавливаются полезные для дальнейшего доказательства дифференциальные соотношения вдоль траекторий системы (Лемма 3.8); эти соотношения показывают монотонность специально подобранных функций вдоль траекторий, что позволяет точно определить их асимптотику

Предложение 3.1).

В Главе 4 мы ставим вопрос об обобщении построенного в Главе 3 однопараметрического семейства метрик на случай общей размерности вида 4т, так как обе метрики Калаби (впервые построенные в [7]) определены не только в размерности восемь, но и во всех размерностях, кратных четырем. Мы даем положительный ответ на данный вопрос и доказываем следующую теорему:

Теорема 4.1. Следующее семейство состоит из полных, риччи-плоских 4(п + 1)-мерных римановых метрик: г4(г4а4)п (г*-а«)"+М1-а*)"+1 „2 I Г2ГГ72 I Г72>>

Г2 + а2) Еи^Ь + + ^ - «2) + ч?,). где 0<а<1,г>1. Метрики О о и имеют группы голономии 311(2(п+ 1)) и 8р(п-\-1), соответственно, и совпадают с многомерными метриками Калаби из [7]. Метрики 0а при 0 < а < 1 имеют группу голономии £'£/(2(71 + 1)) и при п = 1 совпадают с семейством, построенным в Главе 3. При 0 < а < 1 метрики Оа определены на (п-\-1)-ой тензорной степени линейного комплексного расслоения над пространством комплексных флагов в С2п+1; метрика С?1 определена на Т*£Рп+1.

1. Базайкин Я. В. О новых примерах полных некомпактных метрик с группой голономии Зрт(7) // Сибирский математический журнал. 2007. Т. 48, № 1. С. 11-32.

2. Berger M. Sur les groupes d'holonomie des variétés a connexion affine et des varieetes Riemanniennes // Bull. Soc. Math. France. 1955. V. 83. P. 279-330.

3. Boyer C.P., Galicki K. 3-Sasakian manifolds // Surveys in differential geometry: essays on Einstein manifolds, Surv. Differ. Geom., VI, Int. Press, Boston, MA. 1999. P. 123-184.

4. Boyer C.P., Galicki K., Mann B.M. The geometry and topology of 3-Sasakian manifolds. J. reine angrew. Math. 455 (1994), P. 183-220.

5. Bryant R.L., Salamon S.L. On the construction of some complete metrics with exceptional holonomy// Duke Math. J. 1989. V. 58, N 3. P. 829-850.

6. Calabi E. Metriques kahleriennes et fibres holomorphes // Ann. Ecol. Norm. Sup. 1979. V. 12. P. 269-294.

7. Cartan E. Sur une classe remarquable d'espaces de Riemann // Bull. Soc. Math. France. 1926. V. 54. P. 214-264, 1927. V. 55. P. 114-134 ou Oeuvres completes, tome I, V. 2. P. 587-659.

8. Cvetic M., Gibbons G.W., Lu H., Pope C.N. Hyper-Kàhler Calabi Metrics, L2 Harmonie Forms, Resolved M2-branes, and AdS4/CFT3 Correspondence // Nucl. Phys. B. 2001. V. 617. P. 151-197.

9. Cvetic M., Gibbons G.W., Lu H., Pope C.N. Cohomogeneity one manifolds of Spin(7) and G(2) holonomy// Phys. Rev. D. 2002 V. 65, N 10. P 106004.

10. Cvetic M., Gibbons G. W., Lu H., Pope C. N. New Complete Noncompact Spin(7) Manifolds // Nucl. Phys. B. 2002. V. 620, N 1-2. P. 29-54.

11. Cvetic M., Gibbons G. W., Lu H., Pope C. N. New Cohomogeneity One Metrics With Spin(7) Holonomy //J. Geom. Phys. 2004. V. 49, N 3-4. P. 350-365.

12. Eschenburg J.H. Inhomogeneous spaces of positive curvature, Diff. Geom. Appl. 2 (1992). P. 123-132.

13. Gukov S., Sparks J. M-Theory on Spin(7) Manifolds // Nucl. Phys. B. 2002. V. 625, N 1-2. P. 3-69.

14. Gray A. Weak holonomy groups. Math. Z. V. 123 (1971). P. 290300.

15. Joyce D.D. Compact riemannian 8-manifolds with holonomy Spin(7). Invent. Math. 123 (1996), No. 3. P. 507-552.

16. Kanno H., Yasui Y. On Spin(7) holonomy metric based on SU(3)/U(1) // J. Geom. Phys. 2002. V. 43, N 4. P. 293-309.

17. Kanno H., Yasui Y. On Spin(7) holonomy metric based on SU(3)/U(1):II // J. Geom. Phys. 2002. V. 43, N 4. P. 310-326.

18. Kovalev A. Twisted connected sums and special Riemannian holonomy // J. Reine Angew. Math. 2003. V. 565. P. 125-160.

19. Page D., Pope C. Inhomogeneous Einstein metrics on complex line bundles // Classical and Quantum Gravity. 1987. V. 4. P. 213-225.21. de Rham G. Sur la reductibilite d'un espace de Riemann //

20. Базайкин Я. В., Малькович Е. Г. Метрики с группой голоно-мии (?2, связанные с 3-сасакиевым многообразием // Сибирский математический журнал. 2008. Т. 49, № 1. С. 3-7.

21. Базайкин Я. В., Малькович Е. Г. 7)-структуры на комплексных линейных расслоениях и явные римановы метрики с группой голономии Зи(4) // Математический Сборник. 2011. Т. 202, № 4. С. 3-30.

22. Малькович Е. Г. О новых явных римановых метриках с группой голономии Зи(2(п+ 1)) // Сибирский математический журнал. 2011. Т. 52, № 1. С. 95-99.Comm. Math. Helv. 1952. V. 26. R 328-344.Работы автора по теме диссертации