2023
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Математика и механика Tomsk State University Journal of Mathematics and Mechanics
№ 84
Научная статья
УДК 514.765 MSC: 53B35
doi: 10.17223/19988621/84/3
Кэлеровы и сублагранжевы подмногообразия
Евгений Сергеевич Корнев
Кемеровский государственный университет, Кемерово, Россия, [email protected]
Аннотация. Описан способ получения кэлеровых и сублагранжевых подмногообразий в многообразиях произвольной размерности. Для этого используется понятие субтвисторной и субкэлеровой структуры, которое обобщает классические тви-сторные и кэлеровы структуры на вещественные многообразия любой размерности с вырожденной фундаментальной 2-формой. Приведены явные примеры таких подмногообразий, показано, как субтвисторная структура на многообразии позволяет локально разложить его в прямое произведение подмногообразий. Ключевые слова: субтвисторная структура, субкэлерова структура, кэлерово подмногообразие, сублагранжево подмногообразие, вырожденная 2-форма
Для цитирования: Корнев Е.С. Кэлеровы и сублагранжевы подмногообразия // Вестник Томского государственного университета. Математика и механика. 2023. № 84. С. 23-35. doi: 10.17223/19988621/84/3
Original article
Kahler and Sublagrangian Submanifolds
Eugene S. Kornev
Kemerovo State University, Kemerovo, Russian Federation, [email protected]
Abstract. The work describes a way to obtain Kahler and sublagrangian submanifolds in real manifolds of arbitrary dimension. For this purpose, the concept of subtwistor and sub-Kahler structure is used. They generalize the classic concepts of twistor and Kahler structures to real manifolds of any dimension with a degenerate fundamental 2-form. The explicit examples of such submanifolds are presented. It is also shown how the subtwis-tor structure on the manifold allows one to factorize locally this manifold into direct products of submanifolds.
Keywords: subtwistor structure, sub-Kahler structure, Kahler submanifold, sublagrangian submanifold, degenerate 2-form
For citation: Kornev, E.S. (2023) Kahler and Sublagrangian Submanifolds. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 84. pp. 23-35. doi: 10.17223/19988621/84/3
© Е.С. Корнев, 2023
Введение
На вещественных многообразиях четной размерности широко изучаются кэ-леровы, твисторные и эрмитовы структуры, а на вещественных многообразиях нечетной размерности - контактные и почти контактные метрические структуры (см.: [1]). Однако на вещественном многообразии нечетной размерности любая кососимметричная 2-форма является вырожденной. В [2] было введено понятие субтвисторной и субкэлеровой структуры, которое обобщает классические тви-сторные и кэлеровы структуры на вещественные многообразия любой размерности с вырожденной фундаментальной 2-формой. В данной работе описано, как субтвисторные и субкэлеровы структуры позволяют получать в вещественных многообразиях произвольной размерности кэлеровы и сублагранжевы подмногообразия. Понятие сублагранжева подмногообразия является обобщением классического лагранжева подмногообразия для многообразий произвольной размерности с субтвисторной или субкэлеровой структурой. Частный случай субтвисторной структуры - аффинорная метрическая структура, обобщающий понятие контактной и почти контактной метрической структуры на многообразия произвольной размерности, изучен для групп Ли и алгеброидов Ли в работах [3, 4]. Таким образом, субтвисторные структуры, субкэлеровы структуры и аффинорные метрические структуры дают общую теорию метрических структур на вещественных многообразиях любой размерности с вырожденной или нет фундаментальной 2-формой.
Субтвисторной структурой на многообразии М размерности > 3 называется набор объектов (О, Б, Ф, g), где О - регулярная ненулевая возможно вырожденная кососимметричная 2-форма на М, Б - так называемое рабочее расслоение четного ранга на М, Ф - аффинор, ассоциированный с 2-формой О, и g - римано-ва метрика на М, связывающая аффинор Ф и 2-форму О. Если в М существует
подмногообразие Q: TQ = Б , ограничение Ф на Q есть комплексная структура,
и 2-форма О замкнута на М, субтвисторная структура вместе с подмногообразием Q называется субкэлеровой структурой. Цель данной работы - показать, как с помощью субтвисторных и субкэлеровых структур можно получать в вещественных многообразиях произвольной размерности кэлеровы и сублагранжевы подмногообразия, а также как субтвисторная структура на многообразии влияет на локальную геометрию этого многообразия.
В разд. 1 приведены необходимые сведения и определения для субтвисторных структур, следуя работе [2]. В разд. 2 рассмотрен частный случай субтвисторной структуры - субкэлерова структура. В разд. 3 введено понятие тензора кручения субтвисторной структуры и показано, как субтвисторная структура с нулевым тензором кручения влияет на локальную геометрию многообразия. В разд. 4 приведены явные примеры многообразий, на которых не существует кэлеровой структуры, но существуют субкэлерова структура и кэлеровы подмногообразия, а также получены необходимые топологические условия существования на многообразии субтвисторной или субкэлеровой структуры. В разд. 5 даются определения и примеры сублагранжевых подмногообразий в многообразиях произвольной размерности. В данной работе используются определения и результаты, подробно описанные в работах [2-4].
1. Субтвисторные структуры
Пусть M - гладкое вещественное многообразие размерности n > 3, Q - ненулевая кососимметричная 2-форма на M, X - векторное поле на M. Внутренним произведением 2-формы Q и векторного поля X называется 1-форма IxQ , такая
что для любого векторного поля Y е C\TM)
I х (Y) = Q( X, Y).
Определение 1.1. Радикалом 2-формы Q в точке x е M называется касательное подпространство
radQQ = (v е TxM : IvQx = 0}.
2-форма Q называется регулярной, если размерность подпространства radQ не зависит от точки x.
Радикалом регулярной 2-формы Q на многообразии M называется распределение касательных подпространств
radii = гасЮ,.
хеМ
Объединяя результаты доказанные в [2, 3], имеем следующее:
Теорема 1.2. Пусть M - вещественное многообразие размерности n > 3, Q -ненулевая регулярная кососимметричная 2-форма на M, и r - ранг распределения radQ. Тогда:
1) Если n четно, то и r четно, и 0 < r < n - 2 ;
2) Если n нечетно, то и r нечетно, и 1 < r < n - 2 ;
3) Если 2-форма Q замкнута, т.е. dQ = 0, то распределение radQ инволю-тивно.
Пусть g - риманова метрика на многообразии M, и D - ортогональное дополнение к radQ. Распределение D называется рабочим расслоением для 2-формы Q. Говорят, что 2-форма Q не вырождена, если radQ = (0}. Из теоремы 1.2 сразу получаем:
Следствие 1.3. Пусть Q - ненулевая регулярная кососимметричная 2-форма на многообразии Mразмерности n > 3 с рабочим расслоением D. Тогда ранг распределения D является четным при любом n, и ограничение 2-формы Q на сечения распределения D есть невырожденная 2-форма.
Зафиксируем следующий набор объектов: (Q, D, g), где Q - ненулевая регулярная 2-форма на многообразии M, D - рабочее расслоение для Q, g - риманова метрика на M.
Определение 1.4. Аффинором, ассоциированным с 2-формой Q, называется непрерывное поле эндоморфизмов Ф касательных подпространств на M, удовлетворяющее следующим свойствам:
Q(X, Y) = g(ФУ, Y), X, Y е C1 (TM), 0(ФХ, ФY) = g(X,Y), X,Y е Cl(D).
В [2] доказано, что непосредственно из определения вытекают следующие свойства аффинора:
Предложение 1.5. Пусть Ф - аффинор, ассоциированный с ненулевой регулярной 2-формой О с рабочим расслоением Б. Тогда:
1) кег Ф = га<Ю ;
2) Ф2 |д = —, где id - поле тождественных операторов на М;
3) Ф О = О°Ф = О ;
4) Для любых X,У е
С!( В)О( X, Ф7) есть скалярное произведение на сечениях рабочего расслоения.
Таким образом, аффинор Ф есть обобщение почти комплексной структуры, положительно ассоциированной с невырожденной 2-формой на многообразии произвольной размерности с вырожденной регулярной 2-формой. А четверка (О, Б, Ф, g) есть обобщение твисторной структуры.
Определение 1.6. Субтвисторной структурой на многообразии Мразмерности п > 3 называется набор объектов (О, Б, Ф, g), где О - ненулевая регулярная кососимметричная 2-форма на М, Б - рабочее расслоение на М, Ф - аффинор, ассоциированный с 2-формой О, g - риманова метрика на М.
Из этого определения видно, что кэлерова, почти кэлерова и твисторная структуры являются частными случаями субтвисторной структуры в случае, когда гаШ = {0} и п четно. В этом случае рабочее расслоение Б = ТМ.
2-форма О в определении 1.6 называется фундаментальной 2-формой субтвисторной структуры. Из п. 3 теоремы 1.2 и теоремы Фробениуса для распределений следует, что если вещественное многообразие М размерности > 3 допускает субтвисторную структуру с замкнутой фундаментальной 2-формой О, то через каждую точку х е М проходит интегральное риманово подмногообразие
Ях : ТЯх = гаёО |д . Отсюда получаем:
Следствие 1.7. Если вещественное многообразие М допускает субтвисторную структуру с замкнутой фундаментальной 2-формой и радикалом ранга г > 1, то М есть слоение с римановыми слоями размерности г.
2. Субкэлеровы структуры
Здесь мы рассмотрим частный случай субтвисторных структур - субкэлеровы структуры.
Определение 2.1. Субкэлеровой структурой на вещественном многообразии Мразмерности п > 3 называется субтвисторная структура (О, Б, Ф, g): ёО = 0
на М вместе с подмногообразием Q : TQ = Б ^, и ограничение аффинора Ф на Q
есть комплексная структура.
Из определения видно, что ограничение субкэлеровой структуры на подмногообразие Q есть кэлерова структура на Q. Таким образом, если на вещественном многообразии размерности п > 3 существует субкэлерова структура с радикалом ранга г > 1 , то в М существует кэлерово подмногообразие комплексной размерно-п — г
сти ——. Из теоремы Фробениуса для распределений следует, что для инволютив-
ного распределения всегда существует интегральное подмногообразие максимальной размерности. Таким образом, чтобы субтвисторная структура с замкнутой фундаментальной 2-формой и инволютивным рабочим расслоением индуцировала субкэлерову структуру, достаточно найти интегральное подмногообразие максимальной размерности для рабочего расслоения, ограничение на которое аффинора есть комплексная структура на этом подмногообразии. Далее рассмотрим примеры субтвисторных структур, удовлетворяющих этим условиям.
Определение 2.2. Аффинорной метрической структурой на вещественном многообразии Мразмерности п > 3 называется набор объектов (а, Б, Ф, g), где а - 1-форма на М, внешний дифференциал которой есть регулярная ненулевая 2-форма на М, Б - рабочее расслоение для 2-формы ёа, Ф - аффинор, ассоциированный с 2-формой ёа, g - риманова метрика на М.
Поскольку ё2а = 0, из этого определения следует, что аффинорная метрическая структура всегда индуцирует субтвисторную структуру с замкнутой фундаментальной 2-формой. Аффинорная метрическая структура является обобщением контактной метрической структуры на многообразия произвольной размерности. В частности, контактная метрическая структура на многообразии нечетной размерности есть аффинорная метрическая структура с радикалом ранга 1.
Пусть (а, Б, Ф, g) - аффинорная метрическая структура на многообразии М. По теореме Фробениуса рабочее расслоение Б инволютивно тогда и только тогда, когда через каждую точку х е М проходит интегральное подмногообразие
Qx : TQx = Б ^ . Остается выяснить, когда ограничение аффинора Ф на такие
подмногообразие есть комплексная структура. Сначала заметим, что ограничение
аффинора Ф на любое подмногообразие Q: TQ = Б ^ есть почти комплексная
структура на Q в силу п. 2 предложения 1.5. Необходимо, чтобы эта почти комплексная структура была интегрируемой, т.е. позволяла ввести на подмногообразии Q комплексные локальные координаты, согласованные с действием поля линейных операторов Ф в слоях касательного расслоения Т() (см.: [5. Гл. 9]).
Пусть Бс = С ® Б - комплексификация рабочего расслоения Б. Тогда Ос =ТГ+<ЭТГ_, где
И/+={Хе С1 (Бс): ФХ = X}, И/_={Хе С1 (Бс): ФХ = -X}.
Если TQ = Б ^ , то ограничение аффинора Ф на Q есть интегрируемая почти
комплексная структура тогда и только тогда, когда распределения W+ ^ и W— ^
инволютивны (см.: [5. Гл. 9]). Поскольку в случае инволютивного рабочего расслоения Б подмногообразие Q можно провести через любую точку х е М, окончательно получаем:
Теорема 2.3. Аффинорная метрическая структура (а, Б, Ф, g) на вещественном многообразии Мразмерности п > 3 индуцирует субкэлерову структуру на М, если все распределения Б, W+, W_ инволютивны. В этом случае ограничение
индуцированной субкэлеровой структуры на любое подмногообразие Q : TQ = Б ^
есть кэлерова структура на Q, и Q есть кэлерово подмногообразие в М.
Радикалом аффинорной метрической структуры называется радикал индуцированной этой аффинорной метрической структурой субтвисторной структуры.
Следствие 2.4. Если вещественное многообразие Мразмерности п > 3 допускает аффинорную метрическую структуру с радикалом ранга г > 1, инволютивным рабочим расслоением Б и инволютивными комплексными распределениями Ж-,
п - г
то М есть слоение с кэлеровыми слоями комплексной размерности —-—.
Простейшим примером многообразия, допускающего аффинорную метрическую структуру с инволютивным рабочим расслоением, является прямое произведение Q х Я, где Q - симплектическое многообразие с точной симплектической структурой, Я - любое риманово многообразие. В этом случае рабочее расслоение - это TQ, а радикал - это ТЯ. В частности, многообразие Т2п х Р, где Т2п -2п-мерный тор, а Р - риманово многообразие нечетной размерности, не допускает кэлеровой структуры, но допускает субкэлерову структуру с радикалом ТР. Примером многообразия, не допускающего субкэлерову структуру, является четырехмерная сфера 54. В [2] доказано, что З4 не допускает субтвисторных структур с радикалом любого допустимого ранга, а следовательно, не допускает субкэле-ровых структур.
Замечание 2.5. Поскольку контактная метрическая структура - это аффи-норная метрическая структура с радикалом ранга 1, а контактное распределение всегда максимально неинволютивно, контактная метрическая структура не может индуцировать субкэлерову структуру с инволютивным рабочим расслоением.
3. Кручение субтвисторной структуры
Чтобы получить условие, когда субтвисторная структура с замкнутой фундаментальной 2-формой порождает субкэлерову структуру, нам потребуется ввести дополнительный объект.
Определение 3.1. Тензором кручения субтвисторной структуры (О, Б, Ф, g) на многообразии Мразмерности > 3 называется непрерывное тензорное поле N типа (2, 1), определенное на паре векторных полей X, У е С(ТМ) следующим образом:
N (X, У) = [ФХ, ФУ ] - Ф[ФХ, У ] - Ф[Х, ФУ ] + Ф2 [X, У ], где [X, У] - скобка Ли векторных полей X и У.
Из определения 3.1 и предложения 1.5 следует, что для любого интегрального
подмногообразия Q: TQ = Б ^ ограничение тензора кручения N на Q есть тензор Нейенхейса почти комплексной структуры Ф ^. Интегрируемость этой почти комплексной структуры на Q эквивалентна условию N ^ = 0 (см.: [5. Гл. 9].
Теорема 3.2. Пусть М - вещественное многообразие размерности п > 3, и (О, Б, Ф, g) - субтвисторная структура на М с радикалом ранга г > 1, замкнутой фундаментальной 2-формой О и нулевым тензором кручения. Тогда рабочее расслоение Б есть инволютивное распределение на М, любое интегральное подмногообразие Q : TQ = Б ^ есть кэлерово подмногообразие комплексной размер-п — г
ности —-—, и О, Б, Ф, g) есть субкэлерова структура на М.
Доказательство. Будем обозначать проекцию векторного поля X на распределение га<Ю через Хя. Из предложения 2.5 следует, что Ф(ГМ) = Б . Если
X, У е С1 (Б), то из определения 3.1 получаем
Мк (X ,У) = [ФХ, ФУ ]д. Условие N = 0 влечет Ы = 0, откуда [ФХ,ФУ]д = 0 . Поскольку Ф есть линейный автоморфизм слоев рабочего расслоения Б, получаем, что распределение Б инволютивно. По теореме Фробениуса инволютивное распределение вполне го-лономно, а следовательно, через каждую точку х е М проходит подмногообразие Q: TQ = Б |е. Ограничение аффинора Ф на любое такое подмногообразие
есть почти комплексная структура на Q, и ограничение тензора кручения N на Q есть ее тензор Нейенхейса. Условие N = 0 влечет, что Ф есть комплексная струк-
п — г
тура на Q, и Q есть кэлерово подмногообразие комплексной размерности —-—.
Таким образом, выполнено определение 2.1, и теорема доказана. ■
Заметим, что аффинор субтвисторной структуры с нулевым тензором кручения удовлетворяет данному в [6] определению оператора Нейенхейса. Следовательно, аффинор субтвисторной структуры с нулевым тензором кручения всегда
есть оператор Нейенхейса с набором собственных значений 0, ±1, где . I = V-1 .
Субтвисторная структура (О, Б, Ф, g) на многообразии М с нетривиальным радикалом всегда задает разложение касательного расслоения ТМ в сумму Уитни распределений Б и га<Ю. Эта пара распределений задает на М структуру почти произведения у:
v |б =ф2 = —1^ v цп= Для структуры почти произведения у определен тензор кручения Р¥:
Ру (X, У) = [уХ, V У ] + [ X, У ] — V [уХ, У ] — V [X, V У ],
X,У е С^М).
Будем называть этот тензор тензором индуцированного кручения субтвистор-ной структуры. В случае, когда распределения Б и га<Ю инволютивны, структура почти произведения у называется интегрируемой, или структурой произведения на многообразии М. По аналогии с почти комплексной структурой структура почти произведения интегрируема тогда и только тогда, когда ее тензор кручения равен 0 на М. Если структура почти произведения у интегрируема, то многообразие М
локально диффеоморфно прямому произведению подмногообразий Q : TQ = Б | Q
и Я : ТЯ = radQ |Я . В случае, когда dQ = 0, если тензор кручения этой субтви-
сторной структуры равен 0 на M, то из теоремы 3.2 следует, что О, Б, Ф, g) есть субкэлерова структура на М Заметим, что в этом случае ограничение метрики g на подмногообразие Q есть кэлерова метрика на Q, ограничение метрики g на подмногообразие Я есть риманова метрика на Я, а метрика g есть метрика прямого произведения на Q х Я. Таким образом, получаем:
Предложение 3.3. Если вещественное многообразие M допускает субкэлерову структуру с радикалом ранга г > 1 и нулевым тензором индуцированного кручения, то Mлокально изометрично прямому произведению кэлерова подмногообразия Q коразмерности г и риманова подмногообразия Я размерности г.
Тензоры кручения и индуцированного кручения субтвисторной структуры можно объединить в один объект.
Определение 3.4. Пусть (О, Б, Ф, g) - субтвисторная структура на вещественном многообразии М, '/ \/ = С ® ТМ - комплексификация касательного расслоения TM, N - тензор кручения этой субтвисторной структуры, и р¥ -тензор индуцированного кручения. Комплексным кручением субтвисторной структуры называется трилинейная форма т на M:
Т(Х, у , г) = я (N (X, у ), г)+ig (р¥ (X, у ), г),
X, у, г е С1 (ТСМ), i = 7-1. Сразу из определения следует, что т = 0 тогда и только тогда, когда N = рц = 0. Из теоремы 3.2 и предложения 3.3 получаем:
Следствие 3.5. Если вещественное многообразие M допускает субтвистор-ную структуру с радикалом ранга г > 1, замкнутой фундаментальной 2-формой и нулевым комплексным кручением, то M локально изометрично прямому произведению кэлерова подмногообразия Q коразмерности г и риманова подмногообразия Я размерности г.
Поскольку множество нулей любой полилинейной формы всегда есть замкнутое множество, и для связного многообразия M любое непустое открытое и замкнутое подмножество совпадает с M, получаем:
Следствие 3.6. Если дивизор комплексного кручения субтвисторной структуры (О, Б, Ф, я): d О = 0 на вещественном связном многообразии M есть открытое множество в M, то (О, Б, Ф, g) индуцирует субкэлерову структуру на M, распределение Б инволютивно, и M локально изометрично прямому произведению кэлерова подмногообразия Q : TQ = Б ^ и риманова подмногообразия
Я : ТЯ = radО |Я .
4. Необходимые и достаточные условия существования субкэлеровых структур
Здесь мы приведем условия и примеры существования на многообразиях субкэлеровых структур. Сначала получим необходимые топологические условия существования субтвисторной структуры.
Пусть (О, Б, Ф, g) - субтвисторная структура на многообразии М размерности > 3, щ (Е) - первый класс Штиффеля-Уитни векторного расслоения Е, е(Е) -
класс Эйлера векторного расслоения Е, и X" (М) - расслоение внешних форм
степени п на многообразии М. Из предложения 1.5 видно, что аффинор Ф есть комплексная структура в слоях рабочего расслоения Б. Поскольку комплексная структура всегда задает ориентацию в векторном пространстве, аффинор Ф задает непрерывный выбор ориентации в слоях рабочего расслоения на М. Это дает щ (Б) = 0 (см.: [7]). Кроме того, поскольку фундаментальная 2-форма О есть
глобальное, всюду отличное от нуля, сечение векторного расслоения X" (М),
е(Х 2(М)) = 0 (см.: [7]). Таким образом получаем:
Предложение 4.1. Если вещественное многообразие М размерности > 3 допускает субтвисторную (в частности субкэлерову) структуру с рабочим расслоением Б, то
щ (Б) = е(Х2(М)) = 0.
Если М - компактное многообразие без края с эйлеровой характеристикой Х(М), то из равенства %(М) = | е(М), где е(М) - класс Эйлера касательного
М
расслоения ТМ, и предложения 4.1 получаем:
Следствие 4.2. Если вещественное многообразие Мразмерности > 3 допускает субтвисторную (в частности субкэлерову) структуру, а пространство расслоения Х2(М) есть компактное многообразие без края, то %(Х (М)) = 0.
С помощью этого следствия в [8] получены примеры многообразий, не допускающих субтвисторных структур, в частности четырехмерная сфера и прямое произведение 514 х 514. Следующий результат дает пример многообразия, допускающего субкэлерову структуру.
Предложение 4.3. Пусть Р - главное расслоение над кэлеровым многообразием М со слоем О. Тогда на Р существует субкэлерова структура с радикалом ТО.
Доказательство. Пусть (О0, J0, А0) - кэлерова структура на многообразии М, где О0 - симплектическая структура на М, J0 - комплексная структура на М, сохраняющая 2-форму О0, ^0 - кэлерова метрика на М, а л - проекция Р ^ М . Поскольку слоем главного расслоения Р является группа Ли О, а любая группа Ли всегда допускает правоинвариантную риманову метрику, на группе Ли О существует риманова метрика g0. Пусть р - проекция TР ^ TG. Тогда g = °й л + g0 °р есть риманова метрика на многообразии Р. Обозначим через Б ортогональное дополнение к распределению ТО относительно метрики g. Положим О = О0°йл . О есть замкнутая регулярная кососимметричная 2-форма на Р с радикалом ТО и рабочим расслоением Б. Заметим, что Б есть связность на главном расслоении Р, т.е. TР = Б © TG . Ограничение ёл на рабочее расслоение Б есть линейный изоморфизм Б ^ TM . Определим аффинор Ф, ассоциированный с 2-формой О на Р, следующим образом:
Ф |д = йл—1 % л, Ф |то = 0.
Мы получили субтвисторную структуру (О, Б, Ф, я): dО = 0 на многообразии Р с радикалом ТО. Ограничение этой субтвисторной структуры на подмногообразие Q = Р / О в многообразии Р по построению есть кэлерова структура на Q.
Поскольку TQ = Б ^ , выполнено определение 2.1, и теорема доказана. ■
Заметим, что пространство расслоения вещественных ортонормированных реперов на кэлеровом многообразии комплексной размерности п имеет вещественную размерность п(2п + 1). При нечетном п это число также нечетно, а следовательно, пространство расслоения не допускает кэлерову структуру при нечетном п. Слой этого расслоения имеет вещественную размерность п(2п - 1). Из предложения 4.3 получаем:
Следствие 4.4. Пусть M - кэлерово многообразие комплексной размерности п, и Р - расслоение вещественных ортонормированных реперов на M. Тогда на Р существует субкэлерова структура с радикалом ранга п(2п - 1).
Поскольку нечетномерную сферу £2п+1 можно рассматривать как расслоение Хопфа над комплексным проективным пространством комплексной размерности п со слоем получаем:
Следствие 4.5. Нечетномерная сфера £2п+1 не допускает кэлерову структуру, но допускает субкэлерову структуру с радикалом ранга 1.
Заметим, что субкэлерова структура в следствии 4.5 имеет ненулевой тензор кручения, поскольку ее рабочее расслоение есть контактное распределение контактной метрической структуры, построенной в [9], а по теореме 3.2 субтвистор-ная структура с нулевым тензором кручения имеет инволютивное рабочее расслоение.
5. Сублагранжевы подмногообразия
В симплектической геометрии для многообразий четной размерности хорошо известно понятие лагранжева подмногообразия (см.: [10]). Здесь мы обобщим это понятие для субтвисторных структур с замкнутой фундаментальной 2-формой на многообразиях любой размерности. Сначала выясним, какую максимальную размерность может иметь подмногообразие, касающееся во всех своих точках рабочего расслоения субтвисторной структуры, на котором фундаментальная 2-форма обращается в 0.
Предложение 5.1. Пусть (О, Б, Ф, я): dО = 0 - субтвисторная структура на многообразии Mразмерности > 3, и ранг рабочего расслоения Б равен 2к. Тогда для любого подмногообразия Q : TQ с Б ^, О ^ = 0 размерность подмногообразия Q < к.
Доказательство. Поскольку TQ с Б ^; из определения 1.4 следует, что для любых X, У е С1^)
Я (ФУ ,У) = О(X,У) = 0, т.е. распределение ФTQ ортогонально TQ относительно метрики g. Поскольку Ф есть линейный автоморфизм в слоях рабочего расслоения Б, имеем гапк(Ф^)) = гапк^). Отсюда 2гапк^) = гапк(Ф^) © TQ) < гапк(Б) = 2к. ■
Определение 5.2. Сублагранжевым подмногообразием для субтвисторной структуры (О, Б, Ф, я): dО = 0 на вещественном многообразии M размерности
> 5 с радикалом ранга г > 1 называется подмногообразие Q : TQ с Б О ^ = 0,
и dim(Q) = - > 2 .
Заметим, что для четырехмерных многообразий по теореме 1 .2 субтвисторная структура может иметь только радикал либо ранга 2, либо ранга 0. Следовательно, сублагранжево подмногообразие может быть только либо классическим лагранжевым подмногообразием, либо одномерным подмногообразием. Поэтому в определении 5.2 требуется, чтобы размерность исходного многообразия была не меньше 5, а сублагранжева подмногообразия - не меньше 2. Пример субтвисторной структуры, допускающей сублагранжево подмногообразие дает следующий результат:
Предложение 5.3. Пусть Р - главное расслоение над комплексным проективным пространством СР" со слоем О. Тогда Р допускает субтвисторную структуру с замкнутой фундаментальной 2-формой, и в Р существует сублагранжево подмногообразие для этой субтвисторной структуры.
Доказательство. Пусть л - проекция Р —» СРп. Комплексное проективное пространство СР™ допускает кэлерову структуру (О0.,/(|./?(|). где
X ^к Л
=0_
п
X ь
к=0
^ - комплексная структура, индуцированная умножением на мнимую единицу /, к0 - метрика Фубини-Штуди. По предложению 4.3 эта кэлерова структура индуцирует на Р субтвисторную структуру (О, !). Ф, g) с радикалом ТО и замкнутой фундаментальной 2-формой Г2 = О.0°йп . Рассмотрим в СРп вещественное подмногообразие
в ={(10,...,!„) е С"+1 \{0} :Ке(гЛг) = 1т(гк),к = 0,1,...,п}.
Подмногообразие Q имеет вещественную размерность п, и О0 ^ = 0 . Теперь
рассмотрим подмногообразие £ = (О) в Р. Подмногообразие £ инвариантно
относительно действия группы О, О = 0, и TS с Б ©TG . Поскольку фундаментальная 2-форма О инвариантна относительно действия группы О, подмногообразие Ж = £ / О есть сублагранжево подмногообразие в Р. ■
Замечание 5.4. В предложении 5.3 вместо комплексного проективного пространства можно рассматривать произвольное кэлерово многообразие, содержащее лагранжево подмногообразие.
Поскольку нечетномерная сфера Л'2" 1 есть расслоение Хопфа над СР" со слоем из предложения 5.3 и следствия 4.5 получаем:
п
Следствие 5.5. Нечетномерная сфера S2n+1 допускает субтвисторную структуру с замкнутой фундаментальной 2-формой и радикалом ранга 1, а при n > 2 содержит сублагранжево подмногообразие вещественной размерности п.
Простым примером субтвисторной структуры на многообразии M произвольной размерности п > 5, для которой не существует сублагранжева подмногообразия, является субтвисторная структура с замкнутой фундаментальной 2-формой и радикалом ранга п - 2. В этом случае рабочее расслоение D имеет ранг 2, и для любого интегрального для распределения D подмногообразия определение 5.2 не выполняется.
Список источников
1. Blair D.E. Riemannian Geometry of Contact and Symplectic Manifolds. Boston : Birkhauser,
2010. 260 р.
2. Корнев Е.С. Субкомплексные и субкэлеровы структуры // Сибирский математический
журнал. 2016. Т. 57, № 5. С. 1062-1077.
3. Корнев Е.С. Инвариантные аффинорные метрические структуры на группах Ли // Си-
бирский математический журнал. 2012. Т. 53, № 1. С. 107-123.
4. Корнев Е.С. Аффинорные структуры на векторных расслоениях // Сибирский математи-
ческий журнал. 2014. Т. 55, № 6. С. 1283-1296.
5. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии : в 2 т. М. : Наука, 1981.
6. Bolsinov A.V., Konyaev A.Y., Matveev V.S. Nijenhuis Geometry // Advances In Mathematics.
2022. V. 394. P. 108001-108131.
7. Милнор Дж., Сташеф Дж. Характеристические классы. М. : Мир, 1979. 371 с.
8. Корнев Е.С. Субтвисторные структуры и субтвисторное расслоение // Сибирский мате-
матический журнал. 2019. Т. 60, № 6. С. 1310-1323.
9. Boothby W., WangH. On contact manifolds // Annals of Math. 1958. V. 68. P. 721-734.
10. Фоменко А.Т. Симплектическая геометрия : методы и приложения. М. : Изд-во Моск. ун-та, 1988. 413 с.
References
1. Blair D.E. (2010) Riemannian Geometry of Contact and Symplectic Manifolds. Boston: Birk-
hauser.
2. Kornev E.S. (2016) Subcomplex and sub-Kahler structures. Siberian Mathematical Journal.
57(5). pp. 830-840.
3. Kornev E.S. (2012) Invariant affinor metric structures on Lie groups. Siberian Mathematical
Journal. 53(1). pp. 87-99.
4. Kornev E.S. (2014) Affinor structures on vector bundles. Siberian Mathematical Journal.
vol. 55, no. 6, 1045-1055.
5. Kobayashi Sh.. Nomizu K. (1963) Foundations of Differential Geometry. Vols. 1 and 2. New
York: Interscience Publishers.
6. Bolsinov A.V., Konyaev A.Y., Matveev V.S. (2022) Nijenhuis Geometry. Advances In Mathe-
matics. 394. pp. 108001-108131.
7. Milnor J.W., Stasheff J.D. (1974) Characteristic Classes. Princeton: University Press.
8. Kornev E.S. (2019) Subtwistor structures and subtwistor bundle. Siberian Mathematical Journal.
60(6). pp. 1022-1031.
9. Boothby W., Wang H. (1958) On contact manifolds. Annals of Mathematics. 68. pp. 721-734.
10. Fomenko A.T. (1988) Simplekticheskaya geometriya. Metody i prilozheniya [Symplectic geometry. Methods and applications]. Moscow: Moscow State University.
Сведения об авторе:
Корнев Евгений Сергеевич - младший научный сотрудник научно-инновационного управления Кемеровского государственного университета, Кемерово, Россия. E-mail: [email protected]
Information about the author:
Kornev Eugene S. (Kemerovo State University, Kemerovo, Russian Federation). E-mail: [email protected]
Статья поступила в редакцию 27.02.2023; принята к публикации 10.07.2023 The article was submitted 27.02.2023; accepted for publication 10.07.2023