Симплициальный предпучок
В математике, более конкретно в теории гомотопии , симплициальный предпучок — это предпучок на сайте (например, в топологических категории пространств ), принимающий значения в симплициальных множествах (т. е. контравариантный функтор от сайта к категории симплициальных множеств). Эквивалентно, симплициальный предпучок — это симплициальный объект в категории предпучков на сайте. Понятие было введено А. Джоялом в 1970-е годы. [1] Аналогично, симплициальный пучок на сайте — это симплициальный объект в категории пучков на сайте. [2]
Пример: рассмотрим этальный сайт схемы S . Каждая U на сайте представляет собой предпучок. . Таким образом, симплициальная схема , симплициальный объект на сайте, представляет собой симплициальный предпучок (фактически часто симплициальный пучок).
Пример: Пусть G — предпучок группоидов. Тогда, рассматривая нервы по секциям, получаем симплициальный предпучок . Например, можно установить . Подобные примеры встречаются в К-теории.
Если является локальной слабой эквивалентностью симплициальных предпучков, то индуцированное отображение также является локальной слабой эквивалентностью.
симплициального Гомотопические предпучка пучки
Пусть F — симплициальный предпучок на сайте. Гомотопические пучки F . определяется следующим образом Для любого в узле и 0-симплекс s в F ( X ), положим и . Затем мы установили быть пучком, связанным с предпучком .
Структуры модели [ править ]
Категория симплициальных предпучков на узле допускает множество различных модельных структур .
Некоторые из них получены путем рассмотрения симплициальных предпучков как функторов.
Категория таких функторов наделена (по крайней мере) тремя модельными структурами, а именно проективной структурой Риди и инъективной модельной структурой. Слабые эквивалентности/расслоения в первом являются отображениями
такой, что
является слабой эквивалентностью/расслоением симплициальных множеств для всех U в узле S . Структура инъективной модели аналогична, но вместо нее используются слабые эквивалентности и корасслоения.
Стек [ править ]
Симплициальный предпучок F на сайте называется стеком, если для любого X и любого гипернакрытия H → X каноническое отображение
является слабой эквивалентностью симплициальных множеств, где справа — гомотопический предел
- .
Любой пучок F на узле можно рассматривать как стек, просмотрев как постоянное симплициальное множество; таким образом, категория пучков на сайте включается как подкатегория гомотопической категории симплициальных предпучков на сайте. Функтор включения имеет левый сопряженный, и это в точности .
Если A — пучок абелевой группы (на том же узле), то определим выполняя классификацию построения пространства по уровням (понятие происходит из теории препятствий ) и устанавливая . Можно показать (по индукции): для любого X в узле
где слева обозначен пучок когомологий, а справа — гомотопический класс отображений.
См. также [ править ]
Примечания [ править ]
- ^ Тоен, Бертран (2002), «Стеки и неабелевы когомологии» (PDF) , вводный семинар по алгебраическим стекам, теории пересечений и неабелевой теории Ходжа , MSRI
- ^ Жардин 2007 , §1
Дальнейшее чтение [ править ]
- Конрад Фелькель, Модельные структуры на симплициальных предпучках
Ссылки [ править ]
- Жардин, Дж. Ф. (2004). «Обобщенные теории пучков когомологий». В Гринлисе, JPC (ред.). Аксиоматическая, обогащенная и мотивная теория гомотопий. Труды Института перспективных исследований НАТО, Кембридж, Великобритания, 9–20 сентября 2002 г. Серия НАТО по науке II: Математика, физика и химия. Том. 131. Дордрехт: Клювер Академик. стр. 29–68. ISBN 1-4020-1833-9 . Збл 1063.55004 .
- Жардин, Дж. Ф. (2007). «Упрощенные предпусковые шкивы» (PDF) .
- Б. Тоен, Симплициальные предпучки и производная алгебраическая геометрия