Спектр кольца (Vhytmj tkl,eg)
Спектр кольца в математике — множество всех простых идеалов данного коммутативного кольца. Обычно спектр снабжается топологией Зарисского и пучком коммутативных колец, что делает его локально окольцованным пространством. Спектр кольца (далее под словом «кольцо» подразумевается «коммутативное кольцо с единицей») обозначается .
Топология Зарисского
[править | править код]Топологию на спектре кольца можно ввести двумя эквивалентными способами, и оба способа активно используются в алгебраической геометрии.
База топологии Зарисского
[править | править код]Первый способ ввести топологию Зарисского на спектре кольца — указать базу топологии. Базой служат подмножества спектра вида , где — произвольный элемент кольца .
Легко проверяются следующие утверждения:
Из этих формул следует, что семейство всех подмножеств вида является покрытием спектра, замкнутым относительно пересечений, то есть является базой некоторой топологии.
Спектр кольца, как правило, не является хаусдорфовым пространством. С другой стороны, спектр любого кольца удовлетворяет аксиоме отделимости T0 и является компактом.
Для доказательства компактности достаточно проверить, что из покрытия элементами базы можно выбрать конечное подпокрытие. Если система множеств является покрытием спектра, это означает, что идеал кольца R, порождённый множеством A, содержит единицу. То есть справедливо равенство: , в котором являются элементами множества A, а — некоторые элементы кольца R. Но тогда — искомое конечное подпокрытие спектра. Аналогично доказывается компактность множеств . (Следует заметить, что в отсутствие хаусдорфовости, компактное подмножество не обязано быть замкнутым!)
Определение через замкнутые подмножества
[править | править код]Второй способ ввести топологию Зарисского на спектре кольца — указать все замкнутые подмножества. Замкнутыми множествами спектра являются множества вида:
- , где — произвольный (не обязательно простой) идеал кольца .
Легко проверяются следующие формулы:
- , где — произведение соответствующих идеалов,
- ,
- ,
- ,
из которых следует, что семейство множеств вида удовлетворяет аксиомам системы всех замкнутых множеств топологического пространства. Открытыми множествами являются дополнения к этим множествам.
При таком описании топологии легко видеть, что если — два простых идеала, то точка лежит в замыкании точки . Таким образом, замкнутыми точками в топологии Зарисского являются максимальные идеалы и только они.
Эквивалентность топологий
[править | править код]Для доказательства эквивалентности определений через базу топологии и через замкнутые множества, достаточно проверить формулы:
- , где обозначает дополнение множества , а — идеал, порождённый элементом .
Первая из этих формул означает, что подмножество спектра, открытое относительно второй топологии, является открытым и в первой, а вторая — что все множества, составляющие базу первой топологии, являются открытыми и во второй (а следовательно, являются открытыми и все объединения этих множеств).
Структурный пучок и схемы
[править | править код]Структурный пучок на спектре задаётся следующим образом: каждому открытому множеству из базы сопоставляется локализация кольца по мультипликативной системе . Элементы этой локализации — формальные дроби вида , такие что является степенью . Соответственно, открытому множеству сопоставляется локализация по мультипликативной системе, порождённой .
Одно и то же открытое множество может быть представлено в виде многими способами, однако можно показать, что локализация кольца не зависит от выбора такого представления, а также проверить, что выполняются все остальные свойства пучка.
В случае, когда является целостным кольцом с полем частных , структурный пучок можно описать более конкретно. Элемент называется регулярным в точке , если он может быть представлен в виде дроби знаменатель которой не принадлежит . Соответственно, открытому множеству сопоставляется множество элементов , регулярных в каждой точке ; можно проверить, что это множество замкнуто относительно сложения и умножения, то есть образует кольцо. Построение отображений ограничения в этом случае также более очевидно: если , то элемент поля частных, регулярный в каждой точке , регулярен и в каждой точке .
Слой получившегося пучка в точке совпадает с локализацией кольца по простому идеалу , это кольцо локально. Следовательно, спектр кольца действительно является локально окольцованным пространством.
Локально окольцованное пространство, которое можно получить таким образом, называется аффинной схемой. Общие схемы получаются «склейкой» нескольких аффинных схем.
Функториальность
[править | править код]Каждому гомоморфизму колец соответствует непрерывное отображение спектров (в противоположном направлении) . Действительно, прообраз простого идеала под действием является простым идеалом. Для того, чтобы доказать непрерывность этого отображения, достаточно доказать, что прообраз замкнутого множества замкнут. Это следует из равенства
- , где — произвольный идеал кольца .
Из этого следует, что является контравариантным функтором из категории коммутативных колец в категорию топологических пространств. Более того, отображение для каждого индуцирует гомоморфизм локальных колец
Следовательно, определяет контравариантный функтор в категорию локально окольцованных пространств. Образ этого функтора — в точности аффинные схемы, поэтому категория коммутативных колец (контравариантно) эквивалентна категории аффинных схем.
Мотивировка из алгебраической геометрии
[править | править код]В алгебраической геометрии изучаются алгебраические многообразия, то есть подмножества пространства (где — алгебраически замкнутое поле), задаваемые как общие нули некоторого множества многочленов от переменных. Если — такое алгебраическое многообразие, рассмотрим коммутативное кольцо полиномиальных функций . Тогда максимальные идеалы кольца соответствуют точкам многообразия , а простые идеалы — всем неприводимым подмногообразиям (многообразие называется неприводимым, если его нельзя представить в виде объединения двух меньших многообразий). При этом замыкание подмногообразия состоит из всех его точек и подмногообразий. Более того, определённый выше пучок на спектре фактически совпадает с пучком рациональных функций на алгебраическом многообразии .
Литература
[править | править код]- Атья М., Макдональд И. Введение в коммутативную алгебру. — М.: Мир, 1972.
- Хартсхорн, Алгебраическая геометрия — М.: Мир, 1981.
- Мамфорд, Красная книга о многообразиях и схемах — М.: МЦНМО, 2007.
Для улучшения этой статьи желательно: |