Стабильный основной пакет
В математике , и особенно в дифференциальной геометрии и алгебраической геометрии , стабильное главное расслоение является обобщением понятия стабильного векторного расслоения на случай главных расслоений . Понятие устойчивости главных расслоений было введено Аннамалаем Раманатаном с целью определения пространства модулей G-главных расслоений над римановой поверхностью , что является обобщением более ранних работ Дэвида Мамфорда и других по пространствам модулей векторных расслоений. [1] [2] [3]
Многие утверждения об устойчивости векторных расслоений можно перевести на язык стабильных главных расслоений. Например, было показано, что аналог соответствия Кобаяши–Хитчина для главных расслоений, согласно которому голоморфное главное расслоение над компактным кэлеровым многообразием допускает связность Эрмита–Эйнштейна тогда и только тогда, когда оно полистабильно, верен в случае проективных многообразий. по Субраманиану и Раманатану, а для произвольных компактных кэлеровых многообразий — по Аншушу и Бисвасу . [4] [5]
Определение
[ редактировать ]Основное определение устойчивости главных расслоений было дано Раманатаном, но применимо только к случаю римановых поверхностей. [2] В этом разделе мы формулируем определение, появившееся в работе Аншуша и Бисваса, которое справедливо для любого кэлерова многообразия и действительно имеет более общий смысл для алгебраических многообразий . [5] Это сводится к определению Раманатана в случае, когда многообразие является римановой поверхностью.
Позволять — связная редуктивная алгебраическая группа над комплексными числами . Позволять — компактное кэлерово многообразие комплексной размерности . Предполагать является голоморфным принципалом -связывать . Голоморфность здесь означает, что функции перехода для изменяются голоморфно, что имеет смысл, поскольку структурная группа является комплексной группой Ли . Основной пакет называется стабильным (соответственно полустабильным ), если для любой редукции структурной группы для максимальная параболическая подгруппа , где — некоторое открытое подмножество с коразмерностью , у нас есть
Здесь - относительное касательное расслоение расслоения иначе известный как пучок вертикальный . Напомним, что степень ( векторного расслоения или когерентного пучка ) определяется как
где это первый Черна класс . В приведенной выше настройке степень вычисляется для пакета, определенного внутри , но поскольку коразмерность дополнения больше двух, значение интеграла будет совпадать с этим по всем .
Обратите внимание, что в случае, когда , вот где является римановой поверхностью по предположению о коразмерности мы должны иметь это , поэтому достаточно рассмотреть редукции структурной группы по всей совокупности , .
Связь с устойчивостью векторных расслоений
[ редактировать ]Учитывая принципал -расслоение для комплексной группы Ли с ним можно связать несколько естественных векторных расслоений.
Во-первых, если , общая линейная группа , то стандартное представление на позволяет построить связанный пакет . Это голоморфное векторное расслоение над , а приведенное выше определение устойчивости главного расслоения эквивалентно наклонной устойчивости . Существенным моментом является то, что максимальная параболическая подгруппа соответствует выбору флага , где инвариантен относительно подгруппы . Поскольку структурная группа был сокращен до , и сохраняет векторное подпространство , можно взять соответствующий пучок , который является подпакетом над подмножеством на котором определена редукция структурной группы и, следовательно, подпучок над всем . Тогда можно вычислить, что
где обозначает наклон векторных расслоений.
Когда структурная группа не все еще существует естественное ассоциированное векторное расслоение для , присоединенное расслоение , со слоем, заданным алгеброй Ли из . Основной пакет полустабильно тогда и только тогда, когда присоединенное расслоение является наклонно-полустабильным, и, кроме того, если стабильна, то является склоновой полистабильной. [5] И снова ключевым моментом здесь является то, что для параболической подгруппы , получаем параболическую подалгебру и может взять соответствующий подпакет. В этом случае следует проявлять большую осторожность, поскольку представление присоединенное на не всегда является точным или неприводимым , причем последнее условие намекает на то, почему стабильность основного расслоения приводит только к полистабильности присоединенного расслоения (поскольку представление, которое распадается как прямая сумма, привело бы к расщеплению соответствующего расслоения как прямая сумма).
Обобщения
[ редактировать ]Точно так же, как можно обобщить векторное расслоение до понятия расслоения Хиггса , можно сформулировать определение главного - Пучок Хиггса. Приведенное выше определение устойчивости главных расслоений обобщается на эти объекты, требуя, чтобы редукции структурной группы были совместимы с полем Хиггса главного расслоения Хиггса. Аншуш и Бисвас показали, что аналог неабелева соответствия Ходжа для векторных расслоений Хиггса верен для главных -Пучки Хиггса в случае, когда базовое многообразие является сложным проективным многообразием . [5]
Ссылки
[ редактировать ]- ^ Раманатан, А., 1975. Стабильные главные расслоения на компактной римановой поверхности. Mathematische Annalen, 213(2), стр.129-152.
- ^ Jump up to: а б Раманатан А., август 1996 г. Модули главных расслоений над алгебраическими кривыми: I. В трудах Индийской академии математических наук (т. 106, № 3, стр. 301–328). Спрингер Индия.
- ^ Раманатан, А., 1996, ноябрь. Модули главных расслоений над алгебраическими кривыми: II. В трудах Индийской академии математических наук (том 106, № 4, стр. 421–449). Спрингер Индия.
- ^ Субраманиан С. и Раманатан А., 1988. Связности Эйнштейна-Эрмитова на главных расслоениях и устойчивости.
- ^ Jump up to: а б с д Аншуш Б. и Бисвас И., 2001. Связности Эйнштейна-Эрмитова на полистабильных главных расслоениях над компактным кэлеровым многообразием. Американский журнал математики, 123 (2), стр. 207–228.