Нильмногообразие - Nilmanifold

В математика, а нильмногообразие это дифференцируемое многообразие который имеет переходный нильпотентный группа действующих на нем диффеоморфизмов. Таким образом, нильмногообразие является примером однородное пространство и диффеоморфен факторное пространство , фактор нильпотентного Группа Ли N по модулю а закрыто подгруппа ЧАС. Это понятие было введено Анатолий Мальцев в 1951 г.

В римановой категории также есть хорошее понятие нильмногообразия. А Риманово многообразие называется однородное нильмногообразие если существует нильпотентная группа изометрий, транзитивно действующих на ней. Требование, чтобы транзитивная нильпотентная группа действовала изометриями, приводит к следующей жесткой характеризации: каждое однородное нильмногообразие изометрично нильпотентной группе Ли с левоинвариантной метрикой (см. Wilson[1]).

Нильмногообразия являются важными геометрическими объектами и часто возникают как конкретные примеры с интересными свойствами; в римановой геометрии эти пространства всегда имеют смешанную кривизну,[2] почти плоские пространства возникают как частные нильмногообразий,[3] а компактные нильмногообразия были использованы для построения элементарных примеров коллапса римановых метрик под действием потока Риччи.[4]

Помимо своей роли в геометрии, нильмногообразия все чаще рассматриваются как играющие роль в арифметическая комбинаторика (см. Green – Tao[5]) и эргодическая теория (см., например, Host – Kra[6]).

Компактные нильмногообразия

Компактное нильмногообразие - это компактное нильмногообразие. Один из способов построения таких пространств - начать с односвязной нильпотентной группы Ли N и дискретная подгруппа . Если подгруппа действует кокомпактно (посредством правого умножения) на N, то фактормногообразие будет компактным нильмногообразием. Как показал Мальцев, таким образом получается всякое компактное многообразие.[7]

Такая подгруппа как указано выше, называется решетка в N. Хорошо известно, что нильпотентная группа Ли допускает решетку тогда и только тогда, когда ее алгебра Ли допускает базис с рациональными структурные константы: это Критерий Мальцева. Не все нильпотентные группы Ли допускают решетки; подробнее см. также М. С. Рагхунатан.[8]

А компактное риманово нильмногообразие компактное риманово многообразие, локально изометричное нильпотентной группе Ли с левоинвариантной метрикой. Эти пространства строятся следующим образом. Позволять - решетка в односвязной нильпотентной группе Ли N, как указано выше. Endow N с левоинвариантной (римановой) метрикой. Тогда подгруппа действует изометриями на N через умножение слева. Таким образом, частное компактное пространство, локально изометричное N. Примечание: это пространство естественно диффеоморфно .

Компактные нильмногообразия возникают также как основные связки. Например, рассмотрим двухэтапный нильпотентная группа Ли N которая допускает решетку (см. выше). Позволять - коммутаторная подгруппа группы N. Обозначим через p размерность Z а через q коразмерность Z; то есть размер N равно p + q. Известно (см. Рагхунатан), что решетка в Z. Следовательно, это п-мерный компактный тор. С Z занимает центральное место в N, группа G действует на компактном нильмногообразии с частным пространством . Это базовое многообразие M это q-мерный компактный тор. Было показано, что каждое главное расслоение торов над тором имеет такой вид, см.[9] В более общем смысле, компактное нильмногообразие - это расслоение торов над расслоением торов, над ... над тором.

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

Комплексные нильмногообразия

Исторически сложилось так, что комплексное нильмногообразие означает фактор комплексной нильпотентной группы Ли над кокомпактная решетка. Примером такого нильмногообразия является Коллектор Ивасавы. С 1980-х годов на смену этому понятию постепенно пришло другое (более общее) понятие комплексного нильмногообразия.

An почти сложная структура на реальной алгебре Ли грамм это эндоморфизм который квадратов к −Idграмм. Этот оператор называется сложная структура если его собственные подпространства, соответствующие собственным значениям, являются подалгебрами в . В этом случае, я определяет левоинвариантную комплексную структуру на соответствующей группе Ли. Такое многообразие (грамм,я) называется комплексное групповое многообразие.Легко видеть, что каждый связный комплекс однородное многообразие со свободным транзитивным голоморфным действием действительной группы Ли получается таким образом.

Позволять грамм - действительная нильпотентная группа Ли. А комплексное нильмногообразие является фактором комплексного группового многообразия (грамм,я), снабженного левоинвариантной комплексной структурой, дискретной кокомпактной решеткой, действующей справа.

Сложные нильмногообразия обычно неоднородны, как сложные разновидности.

В комплексной размерности 2 единственными комплексными нильмногообразиями являются комплексный тор и Поверхность Кодаира.[10]

Характеристики

Компактные нильмногообразия (кроме тора) никогда не являются гомотопический формальный.[11] Отсюда сразу следует, что компактные нильмногообразия (кроме тора) не могут допускать Кэлерова структура (смотрите также [12]).

Топологически все нильмногообразия могут быть получены как итерированные торические расслоения над тором. Это легко увидеть из фильтрации восходящий центральный ряд.[13]

Примеры

Нильпотентные группы Ли

Из приведенного выше определения однородных нильмногообразий ясно, что любая нильпотентная группа Ли с левоинвариантной метрикой является однородным нильмногообразием. Наиболее известные нильпотентные группы Ли - это матричные группы, диагональные элементы которых равны 1, а нижние диагональные элементы - нули.

Например, Группа Гейзенберга является 2-ступенчатой ​​нильпотентной группой Ли. Эта нильпотентная группа Ли также является особенной в том смысле, что она допускает компактный фактор. Группа будут верхнетреугольными матрицами с целыми коэффициентами. Получающееся нильмногообразие трехмерно. Один возможный фундаментальная область (изоморфен) [0,1]3 с лицами, идентифицированными подходящим способом. Это потому, что элемент нильмногообразия можно представить элементом в фундаментальной области. Здесь обозначает функция пола из Икс, и то дробная часть. Появление здесь минимальной функции является ключом к значению нильмногообразий для аддитивной комбинаторики: так называемые скобочные многочлены или обобщенные многочлены, по-видимому, важны для развития анализа Фурье более высокого порядка.[5]

Абелевы группы Ли

Более простым примером может быть любая абелева группа Ли. Это потому, что любая такая группа является нильпотентной группой Ли. Например, можно взять группу действительных чисел при сложении и дискретную, кокомпактную подгруппу, состоящую из целых чисел. Полученное одношаговое нильмногообразие представляет собой знакомую окружность . Другим знакомым примером может быть компактный 2-тор или евклидово пространство при сложении.

Обобщения

Параллельная конструкция на основе разрешимый Группы Ли порождают класс пространств, называемый солвмногообразия. Важным примером солвмногообразий являются Иноуэ поверхности, известный в сложная геометрия.

Рекомендации

  1. ^ Уилсон, Эдвард Н. (1982). «Группы изометрий на однородных нильмногообразиях». Geometriae Dedicata. 12 (3): 337–346. Дои:10.1007 / BF00147318. HDL:10338.dmlcz / 147061. МИСТЕР  0661539.
  2. ^ Милнор, Джон (1976). «Кривизны левоинвариантных метрик на группах Ли». Успехи в математике. 21 (3): 293–329. Дои:10.1016 / S0001-8708 (76) 80002-3. МИСТЕР  0425012.
  3. ^ Громов Михаил (1978). «Почти плоские многообразия». Журнал дифференциальной геометрии. 13 (2): 231–241. Дои:10.4310 / jdg / 1214434488. МИСТЕР  0540942.
  4. ^ Чоу, Беннетт; Кнопф, Дэн, Поток Риччи: введение. Математические обзоры и монографии, 110. Американское математическое общество, Провиденс, Род-Айленд, 2004. xii + 325 с. ISBN  0-8218-3515-7
  5. ^ а б Грин, Бенджамин; Тао, Теренс (2010). «Линейные уравнения в простых числах». Анналы математики. 171 (3): 1753–1850. arXiv:math.NT / 0606088. Дои:10.4007 / анналы.2010.171.1753. МИСТЕР  2680398.
  6. ^ Ведущий, Бернард; Кра, Брына (2005). «Нетрадиционные эргодические средние и нильмногообразия». Анналы математики. (2). 161 (1): 397–488. Дои:10.4007 / анналы.2005.161.397. МИСТЕР  2150389.
  7. ^ А. И. Мальцев, Об одном классе однородных пространств, AMS Translation No. 39 (1951).
  8. ^ Рагхунатан, М.С. (1972). Дискретные подгруппы групп Ли. Ergebnisse der Mathematik und ihrer Grenzgebiete. 68. Нью-Йорк-Гейдельберг: Springer-Verlag. ISBN  978-3-642-86428-5. МИСТЕР  0507234. Глава II.
  9. ^ Palais, R. S .; Стюарт, Т. Тор расслоен над тором. Proc. Амер. Математика. Soc. 12 1961 26–29.
  10. ^ Кейзо Хасэгава Комплексные и кэлеровы структуры на компактных солвмногообразиях, J. Symplectic Geom. Том 3, номер 4 (2005), 749–767.
  11. ^ Кейзо Хасэгава, Минимальные модели нильмногообразий, Proc. Амер. Математика. Soc. 106 (1989), нет. 1, 65–71.
  12. ^ Бенсон, Чал; Гордон, Кэролайн С. (1988). «Кэлеровы и симплектические структуры на нильмногообразиях». Топология. 27 (4): 513–518. Дои:10.1016/0040-9383(88)90029-8. МИСТЕР  0976592.
  13. ^ Зёнке Ролленске, Геометрия нильмногообразий с левоинвариантной комплексной структурой и деформациями в целом, 40 страниц, arXiv: 0901.3120, Proc. Лондонская математика. Soc., 99, 425–460, 2009.