Топология Зарисского

В топологии Зарисского на аффинной плоскости этот график многочлена замкнут.

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

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

Топология Зарисского алгебраического многообразия - это топология, замкнутые множества которой являются алгебраическими подмножествами многообразия. В случае алгебраического многообразия над комплексными числами топология Зарисского, таким образом, более грубая, чем обычная топология, так как каждое алгебраическое множество замкнуто для обычной топологии.

Обобщение топологии Зарисского на множество простых идеалов коммутативного кольца следует из Nullstellensatz Гильберта , который устанавливает биективное соответствие между точками аффинного многообразия, определенного над алгебраически замкнутым полем, и максимальными идеалами кольца его регулярных функций . Это предлагает определить топологию Зарисского на множестве максимальных идеалов коммутативного кольца как топологию, такую, что множество максимальных идеалов замкнуто тогда и только тогда, когда это множество всех максимальных идеалов, содержащих данный идеал. Другая основная идея теории схем Гротендика - рассматривать как точки, не только обычные точки, соответствующие максимальным идеалам, но и все (неприводимые) алгебраические многообразия, соответствующие простым идеалам. Таким образом, топология Зарисского на множестве первичных идеалов (спектра) коммутативного кольца - это топология, такая что множество первичных идеалов замкнуто тогда и только тогда, когда это множество всех первичных идеалов, содержащих фиксированный идеал.

Топология многообразий Зарисского [ править ]

В классической алгебраической геометрии (то есть в той части алгебраической геометрии, в которой не используются схемы , которые были введены Гротендиком около 1960 г.) топология Зарисского определяется на алгебраических многообразиях . ^[1] Топология Зарисского, определенная в точках многообразия, - это топология, в которой замкнутые множества являются алгебраическими подмножествами многообразия. Поскольку наиболее элементарными алгебраическими многообразиями являются аффинные и проективные многообразия , полезно сделать это определение более явным в обоих случаях. Мы предполагаем, что мы работаем над фиксированным алгебраически замкнутым полем k(в классической геометрии k почти всегда комплексные числа ).

Аффинные разновидности [ править ]

Сначала мы определим топологию аффинного пространства, образованного n -наборами элементов $k$ . Топология определяется указанием его замкнутых множеств, а не его открытых множеств, и они считаются просто всеми алгебраическими множествами в То есть замкнутыми множествами являются те, которые имеют форму ${\ displaystyle \ mathbb {A} ^ {n},}$ ${\ displaystyle \ mathbb {A} ^ {n}.}$

{\ Displaystyle V (S) = \ {х \ in \ mathbb {A} ^ {n} \ mid f (x) = 0, \ forall f \ in S \}}

где S - любой набор многочленов от n переменных над k . Это прямая проверка, чтобы показать, что:

V ( S ) = V (( S )), где ( S ) - идеал, порожденный элементами S ;
Для любых двух идеалов многочленов I , J имеем
1. ${\ Displaystyle V (I) \ чашка V (J) \, = \, V (IJ);}$
2. ${\ Displaystyle V (I) \ cap V (J) \, = \, V (I + J).}$

Отсюда следует, что конечные объединения и произвольные пересечения множеств V ( S ) также имеют этот вид, так что эти множества образуют замкнутые множества топологии (эквивалентно, их дополнения, обозначаемые D ( S ) и называемые главными открытыми множествами , образуют сама топология). Это топология Зариского на ${\ displaystyle \ mathbb {A} ^ {n}.}$

Если X - аффинное алгебраическое множество (неприводимое или неприводимое), то топология Зарисского на нем определяется просто как топология подпространства, индуцированная его включением в какое-то Эквивалентно, можно проверить, что: ${\ displaystyle \ mathbb {A} ^ {n}.}$

Элементы аффинного координатного кольца

{\ Displaystyle А (Х) \, = \, к [x_ {1}, \ точки, x_ {n}] / I (X)}

действуют как функции на X так же, как элементы действуют как функции на ${\ Displaystyle к [х_ {1}, \ точки, х_ {п}]}$ ${\ Displaystyle \ mathbb {A} ^ {n};}$

Для любого набора многочленов S пусть T будет набором их образов в A (X) . Тогда подмножество X

{\ Displaystyle V '(T) = \ {x \ in X \ mid f (x) = 0, \ forall f \ in T \}}

(эти обозначения не являются стандартными) равно пересечением с X из V (S) .

Это устанавливает, что указанное выше уравнение, явно являющееся обобщением предыдущего, определяет топологию Зарисского на любом аффинном многообразии.

Проективные разновидности [ править ]

Напомним, что n -мерное проективное пространство определяется как набор классов эквивалентности ненулевых точек в, путем идентификации двух точек, которые отличаются скалярным кратным по k . Элементы кольца многочленов не являются функциями на, потому что любая точка имеет много представителей, которые дают разные значения в многочлене; тем не менее, для однородных многочленов условие наличия нулевого или ненулевого значения в любой заданной проективной точке хорошо определено, поскольку скалярный множественный множитель выходит из многочлена. Следовательно, если S - произвольный набор однородных многочленов, мы можем разумно говорить о ${\ displaystyle \ mathbb {P} ^ {n}}$ ${\ Displaystyle \ mathbb {А} ^ {п + 1}}$ ${\ Displaystyle к [х_ {0}, \ точки, х_ {п}]}$ ${\ displaystyle \ mathbb {P} ^ {n}}$

{\ Displaystyle V (S) = \ {x \ in \ mathbb {P} ^ {n} \ mid f (x) = 0, \ forall f \ in S \}.}

Для этих множеств могут быть установлены те же факты, что и выше, за исключением того, что слово «идеал» необходимо заменить фразой « однородный идеал », так что V ( S ) для множеств S однородных многочленов определяет топологию на As выше дополнения этих множеств обозначены D ( S ) или, если возможна путаница, D ' ( S ). ${\ displaystyle \ mathbb {P} ^ {n}.}$

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

Свойства [ править ]

Очень полезный факт об этих топологиях состоит в том, что мы можем продемонстрировать для них основу, состоящую из особенно простых элементов, а именно D ( f ) для отдельных многочленов (или для проективных многообразий, однородных многочленов) f . В самом деле, то, что они образуют базис, следует из формулы пересечения двух замкнутых по Зарисскому множеств, приведенной выше (многократно применяйте ее к главным идеалам, порожденным генераторами ( S )). Их называют выделенными или основными открытыми множествами.

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

Однако, за исключением конечных алгебраических множеств, никакое алгебраическое множество никогда не является хаусдорфовым пространством . В старой топологической литературе понятие «компактность» означало свойство Хаусдорфа, и это соглашение все еще соблюдается в алгебраической геометрии; поэтому компактность в современном понимании называется «квазикомпактностью» в алгебраической геометрии. Однако, поскольку каждая точка ( a ₁ , ..., a _n ) является нулевым множеством многочленов x ₁ - a ₁ , ..., x _n - a _n , точки замкнуты, и поэтому каждое многообразие удовлетворяет T 1 аксиома .

Всякое регулярное отображение многообразий непрерывно в топологии Зарисского. Фактически, топология Зарисского является самой слабой топологией (с наименьшим количеством открытых множеств), в которой это верно и в которой точки замкнуты. В этом легко убедиться, заметив, что замкнутые по Зарисскому множества - это просто пересечения прообразов 0 полиномиальными функциями, рассматриваемые как регулярные отображения в ${\ displaystyle \ mathbb {A} ^ {1}.}$

Спектр кольца [ править ]

В современной алгебраической геометрии, алгебраическое многообразие часто представляется связанной с ним схемы , которая представляет собой топологическое пространство (оснащенный дополнительными структурами) , который является локально гомеоморфно в спектре кольца . ^[2] спектр коммутативного кольца А , обозначаемый $Spec ( )$ , есть множество простых идеалов А , наделенная топологией Зарисской , для которых замкнутых множеств являются множества

V(I)=\{P\in \operatorname {Spec} \,(A)\mid I\subseteq P\}

где я идеал.

Чтобы увидеть связь с классической картиной, отметим, что для любого множества S многочленов (над алгебраически замкнутым полем) из Nullstellensatz Гильберта следует , что точки V ( S ) (в старом смысле) являются в точности наборами ( a ₁ , ..., a _n ) такой, что идеал, порожденный многочленами x ₁ - a ₁ , ..., x _n - a _n, содержит S; более того, это максимальные идеалы, и согласно «слабому» Nullstellensatz идеал любого аффинного координатного кольца максимален тогда и только тогда, когда он имеет эту форму. Таким образом, V ( S ) является «такой же , как» максимальных идеалов , содержащих S . Новаторство Гротендика в определении Spec заключалось в замене максимальных идеалов на все основные идеалы; в этой формулировке естественно просто обобщить это наблюдение до определения замкнутого множества в спектре кольца.

Другой способ, возможно, более похожий на исходный, интерпретировать современное определение - это осознать, что элементы A на самом деле можно рассматривать как функции на первичных идеалах A ; а именно, как функции на Spec A . Проще говоря, любому первичному идеалу P соответствует соответствующее поле вычетов , которое является полем частных частного A / P , и любой элемент из A имеет отражение в этом поле вычетов. Кроме того, элементы, которые на самом деле в Р являются именно те , чьи отражения обращается в нуль при Р . Итак, если мы подумаем о карте, связанной с любым элементома из А :

e_{a}\colon {\bigl (}P\in \operatorname {Spec} (A){\bigr )}\mapsto \left({\frac {a\;{\bmod {P}}}{1}}\in \operatorname {Frac} (A/P)\right)

(«оценка a »), которая присваивает каждой точке ее отражение в поле вычетов в качестве функции на Spec A (значения которой, по общему признанию, лежат в разных полях в разных точках), тогда мы имеем

e_{a}(P)=0\Leftrightarrow P\in V(a)

В более общем смысле, V ( I ) для любого идеала I - это общее множество, на котором все «функции» в I обращаются в нуль, что формально аналогично классическому определению. Фактически, они согласны в том смысле, что, когда A - кольцо многочленов над некоторым алгебраически замкнутым полем k , максимальные идеалы A (как обсуждалось в предыдущем абзаце) отождествляются с n -наборами элементов k , их полями вычетов всего k , а "оценочные" карты на самом деле вычисляют многочлены в соответствующих n- пары. Поскольку, как показано выше, классическое определение - это, по сути, современное определение, учитывающее только максимальные идеалы, это показывает, что интерпретация современного определения как «нулевых наборов функций» согласуется с классическим определением, в котором они оба имеют смысл.

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

Примеры [ править ]

Спектр ℤ

Spec k , спектр поля k - это топологическое пространство с одним элементом.
Spec ℤ, спектр целых чисел имеет замкнутую точку для каждого простого числа p, соответствующего максимальному идеалу ( p ) ⊂, и одну незамкнутую общую точку (т. Е. Закрытие которой представляет собой все пространство), соответствующую нулевому идеалу (0). Таким образом, замкнутые подмножества Spec ℤ - это в точности все пространство и конечные объединения замкнутых точек.
Spec к [ т ], спектр кольца многочленов над полем к : такое кольцо многочленов , как известно, является областью главных идеалов и неприводимые полиномы являются простые элементы из к [ т ]. Если k является алгебраически замкнутым , например, поле комплексных чисел , непостоянный многочлен неприводим тогда и только тогда, когда он является линейным, вида t - a , для некоторого элемента a из k. Таким образом, спектр состоит из одной замкнутой точки для любого элемент а из К и общей точке, соответствующий нулевого идеалу, а множество замкнутых точек гомеоморфно с аффинной линией к оборудованному с его Зариской топологией. Из-за этого гомеоморфизма некоторые авторы называют аффинную линию спектром k [ t ]. Если k не алгебраически замкнуто, например поле действительных чисел , картина усложняется из-за существования нелинейных неприводимых многочленов. Например, спектр [ t ] состоит из замкнутых точек ( x- a ) для a в, замкнутые точки ( x ² + px + q ), где p , q находятся в и с отрицательным дискриминантом p ² - 4 q <0, и, наконец, общая точка (0). Для любого поля замкнутые подмножества Spec k [ t ] являются конечными объединениями замкнутых точек и всего пространства. (Это ясно из приведенного выше обсуждения для алгебраически замкнутых полей. Доказательство общего случая требует некоторой коммутативной алгебры , а именно того факта, что размерность Крулля поля k [t ] единица - см . теорему Крулля об основном идеале ).

Свойства [ править ]

Наиболее резкое изменение топологии от классической картины к новой состоит в том, что точки больше не обязательно закрыты; расширяя определение, Гротендик ввел общие точки , то есть точки с максимальным замыканием, то есть минимальные простые идеалы . Замкнутые точки соответствуют максимальным идеалам А . Однако спектр и проективный спектр по-прежнему являются пространствами T ₀ : для двух точек P , Q , которые являются простыми идеалами A , по крайней мере, одна из них, скажем P , не содержит другой. Тогда D ( Q ) содержит P, но, конечно, неВопрос .

Как и в классической алгебраической геометрии, любой спектр или проективный спектр является (квази) компактным, и если рассматриваемое кольцо нётерово, то пространство является нётеровым пространством. Однако эти факты противоречат здравому смыслу: мы обычно не ожидаем, что открытые множества, кроме компонент связности , будут компактными, а для аффинных многообразий (например, евклидова пространства) мы даже не ожидаем компактности самого пространства. Это один из примеров геометрической непригодности топологии Зарисского. Гротендик решить эту проблему, определив понятие собственно о наличии схемы ( на самом деле, морфизм схем), который восстанавливает интуитивную идею компактности: Намеченный является правильным, но Spec не является.

См. Также [ править ]

Спектр кольца
Спектральное пространство

Ссылки [ править ]

^ Мамфорд, Дэвид (1999) [1967], Красная книга разновидностей и схем , Лекционные заметки по математике, 1358 (расширенный, включает лекции Мичигана (1974) о кривых и их якобиане ред.), Берлин, Нью-Йорк: Springer- Verlag , doi : 10.1007 / b62130 , ISBN 978-3-540-63293-1, MR 1748380
^ Даммит, DS; Фут, Р. (2004). Абстрактная алгебра (3-е изд.). Вайли. С. 71–72. ISBN 9780471433347.

Дальнейшее чтение [ править ]

Хартсхорн, Робин (1977), алгебраическая геометрия , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-90244-9, Руководство по ремонту 0463157 , OCLC 13348052
Тодд Роуленд. «Топология Зарисского» . MathWorld .

[1] Мамфорд, Дэвид (1999) [1967], Красная книга разновидностей и схем , Лекционные заметки по математике, 1358 (расширенный, включает лекции Мичигана (1974) о кривых и их якобиане ред.), Берлин, Нью-Йорк: Springer- Verlag , doi : 10.1007 / b62130 , ISBN 978-3-540-63293-1, MR 1748380

[2] Даммит, DS; Фут, Р. (2004). Абстрактная алгебра (3-е изд.). Вайли. С. 71–72. ISBN 9780471433347.

[1]