Окольцованное пространство
Окольцованное пространство — топологическое пространство, каждому открытому множеству которого сопоставлено коммутативное кольцо «функций» на этом множестве. Окольцованные пространства, в частности, используются при определении схем.
Определение
Окольцованное пространство [math]\displaystyle{ (X,\mathcal O_X) }[/math] — это топологическое пространство [math]\displaystyle{ X }[/math] вместе с пучком коммутативных колец [math]\displaystyle{ \mathcal O_X }[/math] на нём. Этот пучок называется структурным пучком пространства [math]\displaystyle{ X }[/math].
Локально окольцованное пространство — это окольцованное пространство, такое что слой пучка [math]\displaystyle{ \mathcal O_X }[/math] в любой точке — локальное кольцо.
Примеры
Любое топологическое пространство можно наделить структурой локально окольцованного пространства, если рассмотреть пучок непрерывных действительнозначных функций на нём. Слой этого пучка в точке x — кольцо ростков непрерывных действительнозначных функций в x — является локальным кольцом, единственный максимальный идеал которого — ростки функций, равных нулю в x. Аналогичным образом, гладкое многообразие с пучком гладких функций является локально окольцованным пространством.
Если X — алгебраическое многообразие с топологией Зарисского (например, спектр некоторого кольца), структуру локально окольцованного пространства на нём вводят следующим образом: [math]\displaystyle{ \mathcal O_X(U) }[/math] — множество рациональных функций, определённых на всём U. Такое окольцованное пространство называют аффинной схемой, общие схемы определяют как результат «склейки» нескольких аффинных схем.
Морфизмы окольцованных пространств
Для того, чтобы задать морфизм из [math]\displaystyle{ (X,\mathcal O_X) }[/math] в [math]\displaystyle{ (Y,\mathcal O_Y) }[/math], нужно зафиксировать следующую информацию:
- Непрерывное отображение [math]\displaystyle{ f:X\to Y }[/math].
- Для каждого открытого подмножества [math]\displaystyle{ U\in Y }[/math] — гомоморфизм колец [math]\displaystyle{ \varphi_U:\mathcal O_Y(U)\to \mathcal O_X(f^{-1}(U)) }[/math].
Гомоморфизмы колец должны быть согласованы со структурой пучка, то есть коммутировать с отображениями ограничения. А именно, если [math]\displaystyle{ V_1\subset V_2 }[/math] — открытые подмножества [math]\displaystyle{ Y }[/math], следующая диаграмма должна быть коммутативной:
Морфизмы локально окольцованных пространств должны удовлетворять ещё одному требованию. Гомоморфизмы [math]\displaystyle{ \varphi }[/math] для каждой точки [math]\displaystyle{ x\in X }[/math] индуцируют гомоморфизм из слоя [math]\displaystyle{ \mathcal O_Y }[/math] в точке [math]\displaystyle{ f(x) }[/math] в слой [math]\displaystyle{ \mathcal O_X }[/math] в точке [math]\displaystyle{ x }[/math]. Требуется, чтобы все эти гомоморфизмы были локальными, то есть переводили максимальный идеал прообраза в подмножество максимального идеала образа.
Касательное пространство
Структура локально окольцованного пространств позволяет ввести осмысленное определение касательного пространства в его точке. Рассмотрим точку [math]\displaystyle{ x\in X }[/math] окольцованного пространства [math]\displaystyle{ (X,\mathcal O_X) }[/math]. Рассмотрим локальное кольцо [math]\displaystyle{ R_x }[/math] (слой пучка в точке x) с максимальным идеалом [math]\displaystyle{ \mathfrak m_x }[/math]. Тогда [math]\displaystyle{ R_x/\mathfrak m_x }[/math] — поле, [math]\displaystyle{ \mathfrak m_x/\mathfrak m_x^2 }[/math] — векторное пространство над этим полем. Касательное пространство в точке [math]\displaystyle{ x }[/math] определяется как двойственное к этому пространству.
Идея состоит в следующем: касательное пространство состоит из векторов, вдоль которых можно «дифференцировать» «функции» в данной точке, то есть элементы кольца [math]\displaystyle{ R_x }[/math]. Достаточно найти способ дифференцирования функций, значение которых в данной точке равно нулю, так как остальные отличаются от них на константу, то есть достаточно описать производные функций из [math]\displaystyle{ \mathfrak m_x }[/math]. При этом дифференциал произведения двух функций из [math]\displaystyle{ \mathfrak m_x }[/math] равен нулю (мы хотим, чтобы формула производной произведения осталась верной). Следовательно, вектор должен присваивать число каждому элементу [math]\displaystyle{ \mathfrak m_x/\mathfrak m_x^2 }[/math], и это то, что делают элементы двойственного пространства.
Легко проверить, что в случае гладких многообразий с пучком гладких функций это определение совпадает с обычным. С другой стороны, в случае топологического пространства с пучком непрерывных (вещественнозначных) функций [math]\displaystyle{ \mathfrak m_x = \mathfrak m_x^2 }[/math], так как для непрерывной функции [math]\displaystyle{ f(x) }[/math] функция [math]\displaystyle{ \sqrt{|f(x)|} }[/math] также непрерывна. Следовательно, в этом случае касательное пространство в любой точке имеет размерность 0.
Литература
- Grothendieck, Alexandre; Dieudonné, Jean (1960). Éléments de géométrie algébrique: I. Le langage des schémas. Архивная копия от 6 марта 2016 на Wayback Machine Publications Mathématiques de l’IHÉS 4. Section 0.4.
- Окольцованное пространство — статья из Математической энциклопедии. А. Л. Онищик