Топология Гротендика — структура на категории, которая делает её объекты похожими на открытые множества топологического пространства. Категория вместе с топологией Гротендика называется ситусом или сайтом.

Топологии Гротендика аксиоматизируют определение открытого покрытия, благодаря чему становится возможным определение пучков на категории и их когомологий, что впервые осуществлено Александром Гротендиком для этальных когомологий схем.

Существует естественный способ сопоставить топологическому пространству топологию Гротендика, в этом смысле она может быть рассмотрена как обобщение обычных топологий. При этом для большого класса топологических пространств возможно восстановить топологию по её топологии Гротендика, однако уже для антидискретного пространства это не так.

Определение

Мотивировка Классическое определение пучка начинается с некоторого топологического пространства . Ему сопоставляется категория , объекты которой — открытые множества топологии, а множество морфизмов между двумя объектами состоит из одного элемента, если первое множество вложено во второе (эти отображения называют открытыми вложениями), и пусто иначе. После этого предпучок определяется как контравариантный функтор в категорию множеств, а пучок — как предпучок, удовлетворяющий . Аксиома склейки формулируется в терминах поточечного покрытия, то есть покрывает тогда и только тогда, когда . Топологии Гротендика заменяют каждое целым семейством открытых множеств; более точно, заменяется семейством открытых вложений . Такое семейство называется решетом.

Решёта Если  — произвольный объект категории , то решето на  — это подфунктор функтора . В случае категории , решето на открытом множестве  — это некоторое семейство открытых подмножеств , замкнутое относительно операции взятия открытого подмножества. Произвольное открытое множество , тогда  — это подмножество , соответственно, оно пусто, если  — не подмножество , и может состоять из одного элемента иначе; если оно непусто, можно считать, что выбрано решетом. Если  — подмножество , существует морфизм , поэтому если не пусто, то и не пусто.

Аксиомы Топология Гротендика на категории  — это выбор для каждого объекта категории набора решёт на , обозначаемого . Элементы называются покрывающими решётами на . В частности, решето на открытом множестве является покрывающим тогда и только тогда, когда объединение всех , таких что непусто, есть всё . Этот выбор должен удовлетворять следующим аксиомам: замена базы: если  — покрывающее решето на и  — морфизм, то прообраз решета под действием () является покрывающим решетом на . локальный характер: если  — покрывающее решето на ,  — произвольное решето на , и для каждого объекта и каждого морфизма , принадлежащего , прообраз решета является покрывающим решетом на , то  — покрывающее решето на . единица:  — покрывающее решето на для любого объекта категории .

Замена базы соответствует идее о том, что если покрывает , то покрывает . Локальный характер соответствует тому, что если покрывает и покрывает для каждого , то все покрывают . Наконец, единица соответствует тому, что каждое множество можно покрыть объединением всех его подмножеств.

Ситусы и пучки В категории можно определить пучок при помощи аксиомы склейки. Оказывается, что пучок можно определить в любой категории с топологией Гротендика: пучок на ситусе  — это пучок такой, что для любого объекта и покрывающего решета на естественное отображение , индуцированное вложением в Hom(−, X), является биекцией. Морфизм между пучками, так же как и морфизм между предпучками — естественное преобразование функторов. Категория всех пучков на ситусе называется топосом Гротендика. Аналогично определяются пучки, абелевых групп, колец, модулей и других стркутур.

Используя лемму Йонеды можно доказать, что пучок в категории , определённый указанным способом, совпадает с пучком в топологическом смысле.

Примеры ситусов

Дискретная и антидискретная топология Дискретная топология на произвольной категории задаётся объявлением всех решет открытыми. Чтобы задать антидискретную топологию, нужно считать открытыми только решёта вида . В антидискретной топологии любой предпучок является пучком.

Каноническая топология Каноническая топология на произвольной категории  — это наиболее тонкая топология, такая что все представимые предпучки (функторы вида являются пучками. Топология, являющаяся менее тонкой (то есть топология, такая что любой представимый предпучок является пучком) называется подканоничной, большинство встречающихся на практике топологий подканоничные.

Малый и большой ситус, ассоциированные с топологическим пространством Для сопоставления топологическому пространству малого ситуса, в категории покрывающими объявляются такие решёта , что объединение всех , таких что непусто, совпадает со всем .

Решето на категории топологических пространств называется покрывающим решетом, если выполняются следующие условия: для всех и морфизмов , принадлежащих , существует объект и стрелка такие, что  — открытое вложение, принадлежит и проносится через ; если  — объединение , где пробегает , то .

Для категории запятой топологических пространств над зафиксированным топологическим пространством , топология индуцируется категорией . Получившаяся категория называется большим ситусом, ассоциированным с топологическим пространством .

Топологии на категории схем Категория схем, обозначаемая , обладает большим количеством полезных топологий. Полное понимание некоторых вопросов может потребовать изучение схемы с использованием нескольких разных топологий. Все эти топологии имеют связанные с ними малые и большие ситусы. Большой ситус образуется путём взятия всех категорий схем и их морфизмов вместе с покрывающими ситами, задаваемыми топологией. Малый ситус на данной схеме образуется путём взятия только тех объектов, которые являются частью покрытия данной схемы.

Наиболее элементарным из них является топология Зарисского. Пусть — схема. имеет подлежащее топологическое пространство, и это топологическое пространство определяет топологию Гротендика. Топология Зарисского на порождается предтопологией, покрывающие семейства которой совместно сюръективные семейства схемно-теоретических открытых погружений. Покрывающие сита для характеризуются следующими двумя свойствами:

Для всех и любого морфизма в , существует и такие, что — открытое погружение, принадлежит , и пропускается через . Если это объединение всех множеств , где содержится в , то .

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

Этальная топология тоньше топологии Зарисского. Она была первой топологией Гротендика, которую глубоко изучили. Её покрывающие семейства это совместно сюръективные семейста этальных морфизмов. Она тоньше , но и не тоньше и не грубее чем топология cdh и l'.

Существует две плоские топологии: топология fppf и топология fpqc. Топология fppf расшифровывается как , и в этой топологии морфизм аффинных схем является покрывающим морфизмом, если он верно плоский, конечно представимый и квазиконечный. fpqc расшифровывается как , и в этой топологии морфизм аффинных схем является покрывающим морфизмом, если он верно плоский. В обеих категориях покрывающее семейство, определяется как семейство, которое является покрытием на открытых подмножествах Зарисского. В топологии fpqc любой верно плоский и квазикомпактный морфизм является покрывающим. Эти топологии тесно связаны со спуском. Топология fpqc тоньше всех вышеупомянутых топологий, и она очень близка к канонической топологии.

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

Функторы между ситусами

Примечания

Литература Artin, Michael. Grothendieck topologies — Harvard University, Dept. of Mathematics, 1962. Demazure Michel, Alexandre Grothendieck. Séminaire de Géométrie Algébrique du Bois Marie — 1962-64 — Schémas en groupes — (SGA 3) — vol. 1 (Lecture notes in mathematics 151). — Berlin; New York: Springer-Verlag, 1970. — P. xv+564. Michael Artin, Alexandre Grothendieck, Jean-Louis Verdier. Séminaire de Géométrie Algébrique du Bois Marie — 1963-64 — Théorie des topos et cohomologie étale des schémas — (SGA 4) — vol. 1 (Lecture notes in mathematics 269). — Berlin; New York: Springer-Verlag, 1972. — P. xix+525.

Категория:Теория пучков