Производная алгебраическая геометрия - Derived algebraic geometry

Производная алгебраическая геометрия это раздел математики, который обобщает алгебраическая геометрия к ситуации, когда коммутативные кольца, которые предоставляют локальные диаграммы, заменяются либо дифференциальные градуированные алгебры (над ${\displaystyle \mathbb {Q} }$), симплициальные коммутативные кольца или же ${\displaystyle E_{\infty }}$-кольцевые спектры из алгебраическая топология, высшие гомотопические группы которого объясняют недискретность (например, Tor) структурного пучка. Гротендика теория схем позволяет структурному пучку нести нильпотентные элементы. Производная алгебраическая геометрия может рассматриваться как расширение этой идеи и обеспечивает естественные настройки для теория пересечений (или же теория мотивационной гомотопии^[1]) особых алгебраических многообразий и котангенсные комплексы в теория деформации (ср. Дж. Фрэнсис) среди других приложений.

Вступление

Основные объекты исследования в данной области: производные схемы и производные стеки. Часто цитируемая мотивация Формула пересечения Серра.^[2] В обычной формулировке формула включает Функтор Tor и, таким образом, если более высокие значения Tor не исчезают, теоретико-схемное пересечение (т.е. волокнистый продукт погружений) не дать правильный номер перекрестка. В производном контексте берется производное тензорное произведение ${\displaystyle A\otimes ^{L}B}$, чья высшая гомотопия выше Tor, чья Спецификация это не схема, а производная схема. Следовательно, "производное" волокно дает правильное число пересечения. (В настоящее время это гипотетически; производная теория пересечений еще не разработана.)

Термин «производный» используется так же, как производный функтор или же производная категория, в том смысле, что категория коммутативных колец заменяется на ∞-категория "производных колец". В классической алгебраической геометрии производная категория квазикогерентные пучки рассматривается как триангулированная категория, но имеет естественное усиление стабильная ∞-категория, который можно рассматривать как ∞-категоричный аналог абелева категория.

Определения

Производная алгебраическая геометрия - это фундаментальное изучение геометрических объектов с помощью гомологической алгебры и гомотопии. Поскольку объекты в этом поле должны кодировать гомологическую и гомотопическую информацию, существуют различные представления о том, что инкапсулируют производные пространства. Основными объектами изучения производной алгебраической геометрии являются производные схемы и, в более общем смысле, производные стеки. Эвристически производные схемы должны быть функторами из некоторой категории производных колец в категорию множеств

${\displaystyle F:{\text{DerRings}}\to {\text{Sets}}}$

которые могут быть далее обобщены, чтобы иметь целью более высокие группоиды (которые, как ожидается, будут моделироваться гомотопическими типами). Эти производные стеки являются подходящими функторами вида

${\displaystyle F:{\text{DerRings}}\to {\text{HoT}}}$

Многие авторы моделируют такие функторы как функторы со значениями в симплициальных множествах, поскольку они моделируют гомотопические типы и хорошо изучены. Различные определения этих производных пространств зависят от выбора производных колец и от того, как должны выглядеть гомотопические типы. Некоторые примеры производных колец включают коммутативные дифференциальные градуированные алгебры, симплициальные кольца и ${\displaystyle E_{\infty }}$-кольца.

Полученная геометрия по характеристике 0

По характеристике 0 многие производные геометрии совпадают, поскольку производные кольца совпадают. ${\displaystyle E_{\infty }}$ алгебры - это просто коммутативные дифференциальные градуированные алгебры над нулевой характеристикой. Затем мы можем определить производные схемы аналогично схемам в алгебраической геометрии. Подобно алгебраической геометрии, мы также можем рассматривать эти объекты как пару ${\displaystyle (X,{\mathcal {O}}_{X}^{\bullet })}$ которое является топологическим пространством ${\displaystyle X}$ с пучком коммутативных дифференциальных градуированных алгебр. Иногда авторы считают, что им выставляют отрицательную оценку, поэтому ${\displaystyle {\mathcal {O}}_{X}^{n}=0}$ за ${\displaystyle n>0}$. Состояние связки также могло быть ослаблено так, чтобы для покрытия ${\displaystyle U_{i}}$ из ${\displaystyle X}$, связки ${\displaystyle {\mathcal {O}}_{U_{i}}^{\bullet }}$ приклеил бы внахлест ${\displaystyle U_{ij}}$ только квазиизоморфизмом.

К сожалению, над характеристикой p дифференциальные градуированные алгебры плохо подходят для теории гомотопий из-за того, что ${\displaystyle d[x^{p}]=p[x^{p-1}]}$[1]. Это можно преодолеть, используя симплициальные алгебры.

Полученная геометрия по произвольной характеристике

Производные кольца над произвольной характеристикой считаются симплициальные коммутативные кольца из-за их хороших категориальных свойств. В частности, категория симплициальных колец симплициально обогащена, то есть гом-множества сами являются симплициальными множествами. Кроме того, существует структура канонической модели на симплициальных коммутативных кольцах, происходящая из симплициальных множеств.^[3] Фактически, это теорема Квиллена о том, что модельная структура на симплициальных множествах может быть перенесена на симплициальные коммутативные кольца.

Более высокие стеки

Предполагается, что существует окончательная теория более высоких стеков, которая моделирует гомотопические типы. Гротендик предположил, что они будут моделироваться глобулярными группоидами или слабой формой их определения. Симпсон^[4] дает полезное определение в духе идей Гротендика. Напомним, что алгебраический стек (здесь 1-стек) называется представимым, если послойное произведение любых двух схем изоморфно схеме.^[5] Если мы возьмем анзац: 0-стек - это просто алгебраическое пространство, 1-стек - это просто стек, мы можем рекурсивно определить n-стек как объект, так что волокнистое произведение по любым двум схемам будет (n-1 )-куча. Если мы вернемся к определению алгебраического стека, это новое определение согласуется.

Спектральные схемы

Другая теория производной алгебраической геометрии заключена в теорию спектральных схем. Для их определения требуется изрядное количество технологий, чтобы точно сформулировать.^[6] Но, короче, спектральные схемы ${\displaystyle X=({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})}$ задаются спектрально окольцованными ${\displaystyle \infty }$-topos ${\displaystyle {\mathfrak {X}}}$ вместе с пачкой ${\displaystyle \mathbb {E} _{\infty }}$-кольца ${\displaystyle {\mathcal {O}}_{\mathfrak {X}}}$ на нем при соблюдении некоторых условий локальности, аналогичных определению аффинных схем. Особенно

1. ${\displaystyle {\mathfrak {X}}\cong {\text{Shv}}(X_{top})}$ должен быть эквивалентен ${\displaystyle \infty }$-топос некоторого топологического пространства
2. Должна существовать крышка ${\displaystyle U_{i}}$ из ${\displaystyle X_{top}}$ такие, что индуцированные топосы ${\displaystyle ({\mathfrak {X}}_{U_{i}},{\mathcal {O}}_{{\mathfrak {X}}_{U_{i}}})}$ эквивалентен спектрально окольцованному топосу ${\displaystyle {\text{Spec}}(A_{i})}$ для некоторых ${\displaystyle \mathbb {E} _{\infty }}$-звенеть ${\displaystyle A_{i}}$

Кроме того, спектральная схема ${\displaystyle X}$ называется несвязный если ${\displaystyle \pi _{i}({\mathcal {O}}_{\mathfrak {X}})=0}$ за ${\displaystyle i<0}$.

Примеры

Напомним, что топос точки ${\displaystyle {\text{Sh}}(*)}$ эквивалентна категории множеств. Затем в ${\displaystyle \infty }$-topos, мы вместо этого рассматриваем ${\displaystyle \infty }$-пучки ${\displaystyle \infty }$-группоиды (которые ${\displaystyle \infty }$-категории с одним объектом), обозначенные ${\displaystyle {\text{Shv}}(*)}$, давая аналог точечных топосов в ${\displaystyle \infty }$-topos установка. Тогда структуру спектрально окольцованного пространства можно задать, добавив ${\displaystyle \mathbb {E} _{\infty }}$-звенеть ${\displaystyle A}$. Обратите внимание, что это означает, что спектрально окольцованные пространства обобщают ${\displaystyle \mathbb {E} _{\infty }}$кольца, так как каждый ${\displaystyle \mathbb {E} _{\infty }}$-кольцо может быть связано со спектрально окольцованным участком.

Этот спектрально окольцованный топос может быть спектральной схемой, если спектр этого кольца дает эквивалент ${\displaystyle \infty }$-topos, поэтому его базовое пространство является точкой. Например, это может быть кольцевой спектр ${\displaystyle H\mathbb {Q} }$, называемый спектром Эйленберга-Маклейна, построенный из Пространства Эйленберга-Маклана ${\displaystyle K(\mathbb {Q} ,n)}$.

Приложения

• Производная алгебраическая геометрия использовалась Керц, Странк и Тамме (2018) чтобы доказать Гипотеза Вейбеля об исчезновении негатива K-теория.
• Формулировка Геометрическая гипотеза Ленглендса Аринкина и Gaitsgory использует производную алгебраическую геометрию.^[7]

Смотрите также

• Производная схема
• Погоня за стеками
• Некоммутативная алгебраическая геометрия
• Симплициальное коммутативное кольцо
• Дериватор
• Алгебра над операдой
• Кольцо
• Теория высших топосов
• ∞-топос
• этальный спектр

Примечания

1. Хан, Адил А. (2019). «Дивная новая теория мотивационной гомотопии I». Геом. Тополь. 23: 3647–3685. arXiv:1610.06871. Дои:10.2140 / gt.2019.23.3647.
2. Формула пересечения Серра и производная алгебраическая геометрия?
3. Мэтью, Ахил. "Симплициальные коммутативные кольца, I" (PDF). В архиве (PDF) из оригинала 16 июня 2019 г.
4. Симпсон, Карлос (1996-09-17). «Алгебраические (геометрические) $ n $ -стоги». arXiv:alg-geom / 9609014.
5. Что можно проверить, посмотрев на диагональный морфизм и проверив, представим ли он сам. Проверить https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf для дополнительной информации
6. Резк, Чарльз. «Спектральная алгебраическая геометрия» (PDF). п. 23 (раздел 10.6). В архиве (PDF) из оригинала на 2020-04-25.
7. Аринкин, Дима; Гайцгори, Деннис (2015). «Сингулярный носитель когерентных пучков и геометрическая гипотеза Ленглендса». Selecta Math. 21 (1): 1–199. Дои:10.1007 / s00029-014-0167-5.

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

Симплициальный DAG

• Тоен, Бертран (2014-01-06). «Производная алгебраическая геометрия». arXiv:1401.1044 [math.AG ].
• Тоен, Бертран; Веццози, Габриэле (2004). «От HAG к DAG: производные стеки модулей». В Гринлисе, Дж. П. С. (ред.). Аксиоматическая, обогащенная и мотивирующая теория гомотопии. Труды Института перспективных исследований НАТО, Кембридж, Великобритания, 9–20 сентября 2002 г.. Наука НАТО II: математика, физика и химия. 131. Дордрехт: Kluwer Academic Publishers. С. 173–216. ISBN  1-4020-1833-9. Zbl  1076.14002.
• Веццози, Габриэле (2011). "Что такое ... производный стек?" (PDF). Уведомления Am. Математика. Soc. 58 (7): 955–958. Zbl  1228.14004.

E_п и E_∞ -кольца

• Спектрально-алгебраическая геометрия - Резк
• Операды и когомологии пучков - JP Май - ${\displaystyle E_{\infty }}$-кольца над характеристикой 0 и ${\displaystyle E_{\infty }}$-структура когомологий пучков
• Касательный комплекс и когомологии Хохшильда E_п-кольца https://arxiv.org/abs/1104.0181
• Фрэнсис, Джон; Полученная алгебраическая геометрия над ${\displaystyle {\mathcal {E}}_{n}}$-Кольца

Приложения

• Лоури, Паркер; Шюрг, Тимо. (2018). Гротендика-Римана-Роха для производных схем
• Чокан-Фонтанин, И., Капранов, М. (2007). Виртуальные фундаментальные классы через dg-многообразия
• Манн Э., Робало М. (2018). Теория Громова-Виттена с производной алгебраической геометрией
• Бен-Цви, Д., Фрэнсис Дж. И Д. Надлер. Интегральные преобразования и центры Дринфельда в производной алгебраической геометрии.
• Керц, Мориц; Странк, Флориан; Тамме, Георт (2018), «Алгебраическая K-теория и спуск по взрывам », Изобретать. Математика., 211 (2): 523–577, arXiv:1611.08466, Bibcode:2018InMat.211..523K, Дои:10.1007 / s00222-017-0752-2, МИСТЕР  3748313

внешняя ссылка

• Домашняя страница Джейкоба Лурье
• Обзор Спектральная алгебраическая геометрия
• Группа чтения DAG (Осень 2011) в Гарварде
• http://ncatlab.org/nlab/show/dehibited+algebraic+geometry
• Учебный семинар по производной алгебраической геометрии по RTG в Мичигане, 2012
• Производная алгебраическая геометрия: как достичь исследовательского уровня математики?
• Производная алгебраическая геометрия и мотивы колец / чау-чау
• Габриэле Веццози, Обзор производной алгебраической геометрии, Октябрь 2013