Модульное разнообразие Siegel - Siegel modular variety
В математике Модульное разнообразие Siegel или же Пространство модулей Зигеля является алгебраическое многообразие который параметризует определенные типы абелевы разновидности фиксированного измерение. Точнее, модульные многообразия Зигеля - это пространства модулей из принципиально поляризованные абелевы разновидности фиксированного размера. Они названы в честь Карл Людвиг Сигель, немецкая теоретик чисел который вывел сорта в 1943 году.[2][3]
Модульные разновидности Siegel - самые простые примеры Сорта Шимура.[4] Модульные разновидности Зигеля обобщают пространства модулей эллиптических кривых в более высокие измерения и играют центральную роль в теории Модульные формы Siegel, которые обобщают классические модульные формы в более высокие измерения.[1] У них также есть приложения для энтропия черной дыры и конформная теория поля.[5]
Строительство
Модульное разнообразие Siegel Аграмм, параметризующие принципиально поляризованные абелевы многообразия размерности грамм, можно построить как сложные аналитические пространства построенный как частное из Верхнее полупространство Зигеля степени грамм действием симплектическая группа. У комплексных аналитических пространств есть естественно связанные алгебраические многообразия Серр с ГАГА.[1]
Модульное разнообразие Siegel Аграмм(п), параметризующие принципиально поляризованные абелевы многообразия размерности грамм с уровень п-структура, возникает как фактор верхнего полупространства Зигеля по действию главная конгруэнтная подгруппа уровня п симплектической группы.[1]
Модульная разновидность Зигеля также может быть построена как разновидность Шимура, определяемая датумом Шимура, связанным с симплектическое векторное пространство.[4]
Характеристики
Модульное разнообразие Siegel Аграмм имеет размер грамм(грамм + 1)/2.[1][6] Кроме того, это показал Юнг-Шэн Тай, Эберхард Фрайтаг, и Дэвид Мамфорд который Аграмм имеет общий тип когда грамм ≥ 7.[1][7][8][9]
Модульные разновидности Зигеля можно компактифицировать для получения проективные многообразия.[1] В частности, компактификация А2(2) является бирационально эквивалентный к Сегре кубический что на самом деле рациональный.[1] Точно так же компактификация А2(3) бирационально эквивалентно Квартика Буркхардта что тоже рационально.[1] Еще одна модульная разновидность Зигеля, обозначенная А1,3(2), имеет компактификацию, бирационально эквивалентную Барт – Нието квинтик который бирационально эквивалентен модульному Многообразие Калаби – Яу с Кодаира измерение нуль.[1]
Приложения
Модульные формы Зигеля возникают как векторные дифференциальные формы о модульных многообразиях Зигеля.[1] Модулярные многообразия Зигеля использовались в конформной теории поля через теорию модулярных форм Зигеля.[10] В теория струн, функция, которая естественным образом фиксирует микросостояния энтропии черной дыры в системе D1D5P суперсимметричные черные дыры является модульной формой Зигеля.[5]
В 1968 г. Алексей Паршин показал, что Гипотеза Морделла (теперь известная как теорема Фалтингса) будет выполняться, если Шафаревич Гипотеза конечности оказалась верной после введения трюка Паршина.[11][12] В 1983 и 1984 гг. Герд Фальтингс завершил доказательство гипотезы Морделла, доказав гипотезу Шафаревича о конечности.[13][14][12] Основная идея доказательства Фальтингса - это сравнение Высота валов и наивные высоты с помощью модульных разновидностей Siegel.[15]
Смотрите также
Рекомендации
- ^ а б c d е ж грамм час я j k Хулек, Клаус; Шанкаран, Г. К. (2002). "Геометрия модульных многообразий Зигеля". Бирациональная геометрия более высоких измерений. Углубленные исследования чистой математики. 35. С. 89–156. arXiv:математика / 9810153. Дои:10.2969 / aspm / 03510089. ISBN 978-4-931469-85-3.
- ^ Ода, Такаяки (2014). "Пересечения двух стенок фундаментальной области Готчлинга модульной группы Зигеля второго рода". В Хайме Бернхард; Аль-Баали, Мехиддин; Рупп, Флориан (ред.). Автоморфные формы, исследования в области теории чисел из Омана. Springer Proceedings по математике и статистике. 115. Springer. С. 193–221. Дои:10.1007/978-3-319-11352-4_15. ISBN 978-3-319-11352-4.
- ^ Сигель, Карл Людвиг (1943). «Симплектическая геометрия». Американский журнал математики. Издательство Университета Джона Хопкинса. 65 (1): 1–86. Дои:10.2307/2371774. JSTOR 2371774.
- ^ а б Милн, Джеймс С. (2005). «Знакомство с разновидностями шимура» (PDF). В Артуре, Джеймсе; Элвуд, Дэвид; Коттвиц, Роберт (ред.). Гармонический анализ, формула следов и разновидности симуры.. Труды математики Глины. 4. Американское математическое общество и Институт математики Клэя. С. 265–378. ISBN 978-0-8218-3844-0.
- ^ а б Белин, Александр; Кастро, Алехандра; Гомеш, Жуан; Келлер, Кристоф А. (11 апреля 2017 г.). «Модульные формы Зигеля и энтропия черной дыры» (PDF). Журнал физики высоких энергий. 2017 (4): 57. arXiv:1611.04588. Bibcode:2017JHEP ... 04..057B. Дои:10.1007 / JHEP04 (2017) 057. См. Раздел 1 статьи.
- ^ ван дер Гир, Жерар (2013). «Когомологии пространства модулей абелевых многообразий». В Фаркасе, Гаврил; Моррисон, Ян (ред.). Справочник модулей, том 1. 24. Сомервилль, штат Массачусетс: International Press. arXiv:1112.2294. ISBN 9781571462572.
- ^ Тай, Юнг-Шэн (1982). «О размерности Кодаиры пространства модулей абелевых многообразий». Inventiones Mathematicae. 68 (3): 425–439. Bibcode:1982InMat..68..425T. Дои:10.1007 / BF01389411.
- ^ Фрейтаг, Эберхард (1983). Siegelsche Modulfunktionen. Grundlehren der Mathematischen Wissenschaften (на немецком языке). 254. Springer-Verlag. Дои:10.1007/978-3-642-68649-8. ISBN 978-3-642-68650-4.
- ^ Мамфорд, Дэвид (1983). «О размерности Кодаира модульного многообразия Зигеля». In Ciliberto, C .; Ghione, F .; Ореккья, Ф. (ред.). Алгебраическая геометрия - открытые задачи, Труды конференции, состоявшейся в Равелло, 31 мая - 5 июня 1982 г.. Конспект лекций по математике. 997. Springer. С. 348–375. Дои:10.1007 / BFb0061652. ISBN 978-3-540-12320-0.
- ^ Белин, Александр; Кастро, Алехандра; Гомеш, Жуан; Келлер, Кристоф А. (7 ноября 2018 г.). «Парамодульные формы Зигеля и разреженность в AdS3 / CFT2». Журнал физики высоких энергий. 2018 (11): 37. arXiv:1805.09336. Bibcode:2018JHEP ... 11..037B. Дои:10.1007 / JHEP11 (2018) 037.
- ^ Паршин, А. (1968). «Алгебраические кривые над функциональными полями I» (PDF). Изв. Акад. Наук. СССР сер. Математика. 32 (5): 1191–1219. Bibcode:1968ИзМат ... 2.1145П. Дои:10.1070 / IM1968v002n05ABEH000723.
- ^ а б Корнелл, Гэри; Сильверман, Джозеф Х., ред. (1986). Арифметическая геометрия. Доклады конференции, прошедшей в Университете Коннектикута, Сторрс, Коннектикут, 30 июля - 10 августа 1984 г.. Нью-Йорк: Springer-Verlag. Дои:10.1007/978-1-4613-8655-1. ISBN 0-387-96311-1. МИСТЕР 0861969.
- ^ Фальтингс, Герд (1983). "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" [Теоремы конечности для абелевых многообразий над числовыми полями]. Inventiones Mathematicae (на немецком). 73 (3): 349–366. Bibcode:1983InMat..73..349F. Дои:10.1007 / BF01388432. МИСТЕР 0718935.CS1 maint: ref = harv (связь)
- ^ Фальтингс, Герд (1984). «Исправление: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern». Inventiones Mathematicae (на немецком). 75 (2): 381. Дои:10.1007 / BF01388572. МИСТЕР 0732554.CS1 maint: ref = harv (связь)
- ^ «Фальтингс связывает два понятия высоты с помощью пространства модулей Зигеля ... Это основная идея доказательства». Блох, Спенсер (1984). «Доказательство гипотезы Морделла» (PDF). Математический интеллект. 6 (2): 44. Дои:10.1007 / BF03024155.