Топология Гротендика

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

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

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

ОпределениеПравить

МотивировкаПравить

Классическое определение пучка начинается с некоторого топологического пространства $X$$X$ . Ему сопоставляется категория $O(X)$$O(X)$ , объекты которой — открытые множества топологии, а множество морфизмов между двумя объектами состоит из одного элемента, если первое множество вложено во второе (эти отображения называют открытыми вложениями), и пусто иначе. После этого предпучок определяется как контравариантный функтор в категорию множеств, а пучок — как предпучок, удовлетворяющий аксиоме склейки^[en]. Аксиома склейки формулируется в терминах поточечного покрытия, то есть $\{U_i\}$$\{U_{i}\}$  покрывает $U$$U$  тогда и только тогда, когда $\bigcup <!--\; \bigcup \; -->{}_i{U}_i=U$$\bigcup {_{i}}U_{i}=U$ . Топологии Гротендика заменяют каждое $U_i$$U_{i}$  целым семейством открытых множеств; более точно, $U_i$$U_{i}$  заменяется семейством открытых вложений $V_{ij}\to <!--\; \to \; -->U_i$$V_{ij}\to U_{i}$ . Такое семейство называется решетом.

РешётаПравить

Если $c$$c$  — произвольный объект категории $\mathcal{C}$${\mathcal C}$ , то решето на $c$$c$  — это подфунктор функтора $\mathrm{H}\mathrm{o}\mathrm{m}(-<!--\; -\; -->,c)$$\mathrm {Hom} (-,c)$ . В случае категории $O(X)$$O(X)$ , решето $S$$S$  на открытом множестве $U$$U$  — это некоторое семейство открытых подмножеств $U$$U$ , замкнутое относительно операции взятия открытого подмножества. Произвольное открытое множество $V$$V$ , тогда $S(V)$$S(V)$  — это подмножество $\mathrm{H}\mathrm{o}\mathrm{m}(V,U)$$\mathrm {Hom} (V,U)$ , соответственно, оно пусто, если $V$$V$  — не подмножество $U$$U$ , и может состоять из одного элемента иначе; если оно непусто, можно считать, что $V$$V$  выбрано решетом. Если $W$$W$  — подмножество $V$$V$ , существует морфизм $S(V)\to <!--\; \to \; -->S(W)$$S(V)\to S(W)$ , поэтому если $S(V)$$S(V)$  не пусто, то и $S(W)$$S(W)$  не пусто.

АксиомыПравить

Топология Гротендика $J$$J$  на категории $\mathcal{C}$${\mathcal C}$  — это выбор для каждого объекта $c$$c$  категории $\mathcal{C}$${\mathcal C}$  набора решёт на $c$$c$ , обозначаемого $J(c)$$J(c)$ . Элементы $J(c)$$J(c)$  называются покрывающими решётами на $c$$c$ . В частности, решето $S$$S$  на открытом множестве $U$$U$  является покрывающим тогда и только тогда, когда объединение всех $V$$V$ , таких что $S(V)$$S(V)$  непусто, есть всё $U$$U$ . Этот выбор должен удовлетворять следующим аксиомам:

• замена базы: если $S$$S$  — покрывающее решето на $X$$X$  и $f:Y\to <!--\; \to \; -->X$$f:Y\to X$  — морфизм, то прообраз решета под действием $f$$f$  ($f\ast <!--\; \ast \; -->S$$f\ast S$ ) является покрывающим решетом на $Y$$Y$ .
• локальный характер: если $S$$S$  — покрывающее решето на $X$$X$ , $T$$T$  — произвольное решето на $X$$X$ , и для каждого объекта $Y\in <!--\; \in \; -->\mathrm{O}\mathrm{b}\mathcal{C}$$Y\in \mathrm {Ob} {\mathcal {C}}$  и каждого морфизма $f:Y\to <!--\; \to \; -->X$$f:Y\to X$ , принадлежащего $S(Y)$$S(Y)$ , прообраз решета $f\ast <!--\; \ast \; -->T$$f\ast T$  является покрывающим решетом на $Y$$Y$ , то $T$$T$  — покрывающее решето на $X$$X$ .
• единица: $\mathrm{H}\mathrm{o}\mathrm{m}(-<!--\; -\; -->,X)$$\mathrm {Hom} (-,X)$  — покрывающее решето на $X$$X$  для любого объекта $X$$X$  категории $\mathcal{C}$${\mathcal C}$ .

Замена базы соответствует идее о том, что если $\{U_i\}$$\{U_{i}\}$  покрывает $U$$U$ , то $\{U_i\cap <!--\; \cap \; -->V\}$$\{U_{i}\cap V\}$  покрывает $U\cap <!--\; \cap \; -->V$$U\cap V$ . Локальный характер соответствует тому, что если $\{U_i\}$$\{U_{i}\}$  покрывает $U$$U$  и $\{V_{ij}\}$$\{V_{ij}\}$  покрывает $U_i$$U_{i}$  для каждого $i$$i$ , то все $\{V_{ij}\}$$\{V_{ij}\}$  покрывают $U$$U$ . Наконец, единица соответствует тому, что каждое множество можно покрыть объединением всех его подмножеств.

Ситусы и пучкиПравить

В категории $O(X)$$O(X)$  можно определить пучок при помощи аксиомы склейки. Оказывается, что пучок можно определить в любой категории с топологией Гротендика: пучок на ситусе $(\mathcal{C},J)$$({\mathcal {C}},J)$  — это пучок $F$$F$  такой, что для любого объекта $X$$X$  и покрывающего решета $S$$S$  на $X$$X$  естественное отображение $\mathrm{H}\mathrm{o}\mathrm{m}(\mathrm{H}\mathrm{o}\mathrm{m}(-<!--\; -\; -->,X),F)\to <!--\; \to \; -->\mathrm{H}\mathrm{o}\mathrm{m}(S,F)$$\mathrm {Hom} (\mathrm {Hom} (-,X),F)\to \mathrm {Hom} (S,F)$ , индуцированное вложением $S$$S$  в Hom(−, X), является биекцией. Морфизм между пучками, так же как и морфизм между предпучками — естественное преобразование функторов. Категория всех пучков на ситусе называется топосом Гротендика. Аналогично определяются пучки, абелевых групп, колец, модулей и других стркутур.

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

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

Дискретная и антидискретная топологияПравить

Дискретная топология на произвольной категории $\mathcal{C}$${\mathcal C}$  задаётся объявлением всех решет открытыми. Чтобы задать антидискретную топологию, нужно считать открытыми только решёта вида $\mathrm{H}\mathrm{o}\mathrm{m}(-<!--\; -\; -->,X)$$\mathrm {Hom} (-,X)$ . В антидискретной топологии любой предпучок является пучком.

Каноническая топологияПравить

Каноническая топология на произвольной катеории $\mathcal{C}$${\mathcal C}$  — это наиболее тонкая топология, такая что все представимые предпучки (функторы вида $\mathrm{H}\mathrm{o}\mathrm{m}(-<!--\; -\; -->,X))$$\mathrm {Hom} (-,X))$  являются пучками. Топология, являющаяся менее тонкой (то есть топология, такая что любой представимый предпучок является пучком) называется подканоничной, большинство встречающихся на практике топологий подканоничные.

Малый и большой ситус, ассоциированные с топологическим пространствомПравить

Для сопоставления топологическому пространству малого ситуса, в категории $O(X)$$O(X)$  покрывающими объявляются такие решёта $S$$S$ , что объединение всех $V$$V$ , таких что $S(V)$$S(V)$  непусто, совпадает со всем $U$$U$ .

Решето $S$$S$  на категории топологических пространств $\mathbf{T}\mathbf{o}\mathbf{p}$$\mathbf {Top}$  называется покрывающим решетом, если выполняются следующие условия:

• для всех $Y$$Y$ и морфизмов $f:Y\to <!--\; \to \; -->X$$f:Y\to X$ , принадлежащих $S(Y)$$S(Y)$ , существует объект $V$$V$  и стрелка $g:V\to <!--\; \to \; -->X$$g:V\to X$  такие, что $g$$g$  — открытое вложение, $g$$g$  принадлежит $S(V)$$S(V)$  и $f$$f$  проносится через $g$$g$ ;
• если $W$$W$  — объединение $f(Y)$$f(Y)$ , где $f:Y\to <!--\; \to \; -->X$$f:Y\to X$  пробегает $S(Y)$$S(Y)$ , то $W=X$$W=X$ .

Для категории запятой топологических пространств над зафиксированным топологическим пространством $X$$X$ , топология индуцируется категорией $\mathbf{T}\mathbf{o}\mathbf{p}$$\mathbf {Top}$ . Получившаяся категория называется большим ситусом, ассоциированным с топологическим пространством $X$$X$ .

ЛитератураПравить

• 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.