Топология Зарисского
Топология Зарисского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Классическое определение
В классической алгебраической геометрии (то есть до т. н. «революции Гротендика», произошедшей в конце 1950-х и в 1960-х годах) топология определялась следующим образом. Так как сам предмет имел два раздела, занимавшихся, соответственно, аффинными и проективными многообразиями, топология Зарисского определялась несколько по-разному для каждого из типов многообразий. Далее предполагается, что мы работаем над фиксированным алгебраически замкнутым полем K, под которым в классической алгебраической геометрии почти всегда подразумевались комплексные числа.
Аффинные многообразия
Топология Зарисского на аффинном пространстве A n {displaystyle mathbb {A} ^{n}} над полем K — структура топологии, замкнутые подмножества которой — это в точности алгебраические множества данного пространства. Алгебраические множества — это множества вида
V ( S ) = { x ∈ A n ∣ ∀ f ∈ S : f ( x ) = 0 } , {displaystyle V(S)={xin mathbb {A} ^{n}mid forall fin S:;f(x)=0},}где S — произвольное множество многочленов от n переменных над полем K. Легко проверяются следующие тождества:
- V ( ∅ ) = A n , V ( 1 ) = ∅ ; {displaystyle V(varnothing )=mathbb {A} ^{n},V(1)=varnothing ;}
- V ( S ) = V ( ( S ) ) {displaystyle V(S)=V((S))} , где ( S ) {displaystyle (S)} — идеал в кольце многочленов, порождённый элементами S ; {displaystyle S;}
- Для любых двух идеалов I и J,
Поскольку кольцо многочленов над полем нётерово, пересечение бесконечного семейства множеств вида V ( I ) {displaystyle V(I)} будет равно пересечению его конечного подсемейства и иметь вид V ( I ) {displaystyle V(I)} . Так как конечные объединения и произвольные пересечения алгебраических множеств, а также A n {displaystyle mathbb {A} ^{n}} и пустое множество являются алгебраическими,то алгебраические множества действительно являются замкнутыми множествами некоторой топологии (эквивалентно, дополнения к ним, обозначаемые D ( S ) {displaystyle D(S)} , являются открытыми множествами топологии).
Если M {displaystyle M} — аффинное алгебраическое подмножество аффинного пространства A n {displaystyle mathbb {A} ^{n}} , то топологией Зарисского на нём называется индуцированная топология.
Проективные многообразия
Элементы проективного пространства P n {displaystyle mathbb {P} ^{n}} — классы эквивалентности элементов A n + 1 {displaystyle mathbb {A} ^{n+1}} по отношению пропорциональности относительно умножения на скаляр из K. Следовательно, элементы кольца многочленов k [ x 0 , … , x n ] {displaystyle k[x_{0},dots ,x_{n}]} не являются функциями на P n {displaystyle mathbb {P} ^{n}} , так как одна точка имеет множество эквивалентных представлений, которым соответствуют разные значения многочлена. Однако для однородных многочленов условие равенства нулю в данной точке определено корректно, так как умножение на скаляр «проносится через» применение многочлена. Следовательно, если S — множество однородных многочленов, имеет смысл определение
V ( S ) = { x ∈ P n ∣ f ( x ) = 0 , ∀ f ∈ S } . {displaystyle V(S)={xin mathbb {P} ^{n}mid f(x)=0,forall fin S}.}Аналогичным образом проверяется, что это семейство множеств является семейством замкнутых множеств некоторой топологии, нужно только заменить слово «идеал» на «однородный идеал». Топология на произвольном проективном подмногообразии определяется как индуцированная топология.
Свойства
Полезное свойство топологии Зарисского — существование довольно простой базы этой топологии. А именно, база топологии — открытые множества вида D(f), представляющие собой дополнение ко множеству нулей многочлена f (соответственно, для проективных многообразий — однородного многочлена f).
Любое аффинное или проективное многообразие является компактом; также компактом является любое открытое подмножество многообразия. Более того, любое алгебраическое многообразие является нётеровым топологическим пространством.
С другой стороны, алгебраическое многообразие не является хаусдорфовым пространством (если K — не конечное поле). Поскольку любая точка алгебраического многообразия замкнута, оно удовлетворяет аксиоме отделимости T1.
Современное определение
Топология на спектре кольца
Современное определение основывается на понятии спектра кольца. Пусть дано некоторое коммутативное кольцо A {displaystyle A} с единицей. Спектром кольца S p e c A {displaystyle mathrm {Spec} ,A} называется множество его всех простых идеалов, а сами эти идеалы — точками спектра. Топология Зарисского вводится следующим образом — замкнутыми множествами спектра считаются множества всех простых идеалов, содержащих некоторое множество E {displaystyle E} или, что то же самое, порождённый этим множеством идеал I {displaystyle I} :
V ( I ) = { P ∈ S p e c ( A ) ∣ I ⊆ P } {displaystyle V(I)={Pin mathrm {Spec} ,(A)mid Isubseteq P}} .Нетрудно проверить все аксиомы. Например, то что объединение двух замкнутых множеств замкнуто следует из цепочки очевидных включений:
V ( a ∩ b ) ⊆ V ( a b ) ⊆ V ( a ) ∪ V ( b ) ⊆ V ( a ∩ b ) {displaystyle V(acap b)subseteq V(ab)subseteq V(a)cup V(b)subseteq V(acap b)} , отсюда V ( a ) ∪ V ( b ) = V ( a ∩ b ) {displaystyle V(a)cup V(b)=V(acap b)} .С введённой ранее топологией на аффинном пространстве топология Зарисского на спектре связывается следующим образом. Определим отображение A n → S p e c K [ x 1 , … , x n ] {displaystyle mathbb {A} ^{n} o mathrm {Spec} ,K[x_{1},ldots ,x_{n}]} , которое сопоставляет точке p {displaystyle p} максимальный идеал m p {displaystyle {mathfrak {m}}_{p}} , состоящий из многочленов, равных нулю в этой точке (он максимален, так как факторкольцо по нему — поле K). Очевидно, что разным точкам соответствуют разные идеалы. Более того, теорема Гильберта о нулях утверждает, что все максимальные идеалы кольца многочленов имеют такой вид, то есть отображение x ↦ m x {displaystyle xmapsto {mathfrak {m}}_{x}} биективно. Более того, это отображение является гомеоморфизмом A n {displaystyle mathbb {A} ^{n}} на подмножество S p e c K [ x 1 , … , x n ] {displaystyle mathrm {Spec} ,K[x_{1},ldots ,x_{n}]} , соответствующее максимальным идеалам (множество максимальных идеалов кольца A {displaystyle A} с индуцированной топологией Зарисского называется максимальным спектром и обычно обозначается s p e c A {displaystyle mathrm {spec} ,A} ). Достаточно доказать, что данное отображение индуцирует биекцию между замкнутыми подмножествами A n {displaystyle mathbb {A} ^{n}} и замкнутыми подмножествами s p e c K [ x 1 , … , x n ] {displaystyle mathrm {spec} ,K[x_{1},ldots ,x_{n}]} , но это почти очевидно: максимальные идеалы, содержащие идеал ( S ) {displaystyle (S)} — это в точности общие нули всех многочленов из S {displaystyle S} .
Таким образом, нововведение Гротендика заключалось в том, чтобы рассматривать не только максимальные идеалы кольца, но и все простые идеалы. В случае кольца многочленов над алгебраически замкнутым полем это означает, что к пространству A n {displaystyle mathbb {A} ^{n}} добавляется некоторое число «общих точек» (по одной точке для каждого неприводимого аффинного подмногообразия). В общем случае (то есть при рассмотрении всевозможных коммутативных колец) это наделяет S p e c {displaystyle mathrm {Spec} } функториальными свойствами: каждому гомоморфизму колец A → B {displaystyle A o B} соответствует непрерывное отображение S p e c B → S p e c A {displaystyle mathrm {Spec} ,B o mathrm {Spec} ,A} . Для простого спектра построение этого гомоморфизма тривиально — берётся прообраз простого идеала, для максимального так не получается, так как прообраз максимального идеала не обязательно максимален.
Аналогично тому, как конструкция спектра заменила традиционную топологию Зарисского на аффинных многообразиях, конструкция Proj в современной алгебраической геометрии заменяет рассмотрение топологии на проективных многообразиях.
Примеры
- Спектр поля k — топологическое пространство из одного элемента.
- Спектр Z {displaystyle mathbb {Z} } содержит по одной точке для каждого простого числа, а также одну «общую точку» (точку, замыкание которой совпадает со всем пространством), соответствующую нулевому идеалу. Замкнутые множества в топологии Зарисского на этом спектре — это конечные подмножества множества простых чисел, а также весь спектр.
- Спектр кольца многочленов над алгебраически замкнутым полем K — это аффинная прямая A 1 {displaystyle mathbb {A} ^{1}} над полем K. Действительно, K[x] является областью главных идеалов, поэтому простые идеалы в нём соответствуют неприводимым многочленам, а поскольку K — алгебраически замкнутое поле, все неприводимые многочлены имеют вид x − a {displaystyle x-a} ; также спектр содержит «общую точку», соответствующую нулевому идеалу. В топологии Зарисского на K[x] замкнутые множества — это конечные множества (не содержащие общую точку), а также всё пространство.
- Если K не является алгебраически замкнутым, ситуация усложняется. Например, спектр R [ x ] {displaystyle mathbb {R} [x]} содержит точки вида ( x − a ) {displaystyle (x-a)} , точки ( x 2 + b x + c ) {displaystyle (x^{2}+bx+c)} , такие что b 2 − 4 c < 0 {displaystyle b^{2}-4c<0} , а также общую точку. Если сопоставить каждому многочлену такого вида его комплексные корень, спектр R [ x ] {displaystyle mathbb {R} [x]} можно изобразить как верхнюю полуплоскость (комплексные числа с неотрицательной мнимой частью).
- Замкнутое подмножество спектра является спектром другого кольца. Это доказывает конструкция факторкольца — простые идеалы A / I {displaystyle A/I} взаимно-однозначно соответствуют простым идеалам в A {displaystyle A} , содержащим идеал I {displaystyle I} . Например, спектр кольца Z / 10 Z {displaystyle mathbb {Z} /10mathbb {Z} } состоит из точек (2) и (5).
Свойства топологии Зарисского на спектре
Наиболее серьёзное отличие топологии на спектре от топологии Зарисского на многообразии состоит в том, что в новой топологии не все точки замкнуты. Появляются т. н. «общие точки», замыкание которых строго больше их самих (более того, имеется взаимно-однозначное соответствие между неприводимыми компонентами пространства и "общими" точками, замыканиями которых эти компоненты являются). Замкнутыми остаются точки, соответствующие максимальным идеалам кольца. Таким образом, топология на спектре уже не удовлетворяет аксиоме T1, однако по-прежнему удовлетворяет аксиоме T0. Действительно, из двух простых идеалов p {displaystyle {mathfrak {p}}} и q {displaystyle {mathfrak {q}}} хотя бы один не содержит другой, например p ⊈ q {displaystyle {mathfrak {p}} subseteq {mathfrak {q}}} . Тогда D ( p ) {displaystyle D({mathfrak {p}})} содержит q {displaystyle {mathfrak {q}}} , но, конечно, не содержит p {displaystyle {mathfrak {p}}} (напомним, что D ( p ) {displaystyle D({mathfrak {p}})} — это открытое множество, состоящее из идеалов, не содержащих идеал p {displaystyle {mathfrak {p}}} ).
Как и в классической алгебраической геометрии, спектр является компактным пространством. Этот факт плохо согласуется с нашей интуицией: мы не ожидаем, что целое аффинное пространство (например, евклидово пространство) будет компактным. Гротендик также ввёл понятие этальной топологии, которое гораздо более абстрактно, но свойства этой топологии больше напоминают свойства стандартной топологии на евклидовом пространстве.