Локализация кольца: конструкция и геометрия

В коммутативной алгебре локализация кольца - это способ систематически «инвертировать» выбранное множество элементов и получить новое кольцо, в котором ранее необратимые элементы становятся обратимыми. Конструкция аккуратно расширяет идею перехода от $\mathbb{Z}$ к $\mathbb{Q}$ и работает в любом коммутативном кольце с единицей. Локализация - главный инструмент, позволяющий «смотреть» на кольцо в окрестности простого идеала и переводить алгебраические свойства на язык геометрии Spec.

Зачем нужно инвертировать элементы

Многие задачи коммутативной алгебры формулируются так: «верно ли свойство $P$ для модуля $M$ над $R$?». Часто $P$ локально по своей природе - оно зависит лишь от поведения $M$ возле фиксированной точки спектра. Если в $R$ есть элемент $f$, мешающий нужному свойству, разумно перейти к кольцу, где $f$ обратим: это удалит «лишние» точки $V(f)$ и оставит только окрестность $D(f)$. Так возникает локализация кольца $R[1/f]$. Если же нас интересует поведение возле простого идеала $\mathfrak{p}$, мы инвертируем всё, что в $\mathfrak{p}$ не лежит, и получаем локальное кольцо $R_\mathfrak{p}$. На этом стоит весь язык схем: глобальные утверждения проверяются стеблями, а стебли - это и есть локализации.

Мультипликативные системы

Прежде чем строить $S^{-1}R$, нужно понять, какие $S \subseteq R$ годятся. Подмножество $S$ называют мультипликативной системой, если $1 \in S$ и $S$ замкнуто относительно умножения: $s_1, s_2 \in S \Rightarrow s_1 s_2 \in S$. Канонические примеры:

• $S = \{1, f, f^2, \ldots\}$ - степени фиксированного элемента $f \in R$.
• $S = R \setminus \mathfrak{p}$, где $\mathfrak{p} \subset R$ - простой идеал; условие «$\mathfrak{p}$ простой» как раз и означает, что дополнение мультипликативно.
• $S = R \setminus \{0\}$ для области целостности $R$ - здесь $\{0\}$ простой идеал.
• $S$ - множество всех ненулевых делителей в произвольном коммутативном кольце; даёт «полное кольцо частных».

Если $S$ содержит $0$, формальная конструкция даёт нулевое кольцо - все дроби обнуляются. Это не ошибка, а вырожденный, но согласованный случай.

Конструкция $S^{-1}R$ через классы пар

Локализация строится буквально как обобщение построения $\mathbb{Q}$ из $\mathbb{Z}$. На множестве пар $R \times S$ задаём отношение эквивалентности:

$(r, s) \sim (r', s') \iff \exists t \in S: \; t (r s' - r' s) = 0.$

Множитель $t$ нужен ровно тогда, когда в $R$ есть делители нуля: без него отношение перестало бы быть транзитивным. Класс пары $(r, s)$ обозначается $\tfrac{r}{s}$, а множество классов - $S^{-1}R$. Операции стандартные:

$\frac{r_1}{s_1} + \frac{r_2}{s_2} = \frac{r_1 s_2 + r_2 s_1}{s_1 s_2}, \qquad \frac{r_1}{s_1} \cdot \frac{r_2}{s_2} = \frac{r_1 r_2}{s_1 s_2}.$

Корректность (независимость от выбора представителей) - прямая проверка с использованием множителя $t$. В результате $S^{-1}R$ - коммутативное кольцо с единицей $\tfrac{1}{1}$ и нулём $\tfrac{0}{1}$. Канонический гомоморфизм $\varphi: R \to S^{-1}R$, $r \mapsto \tfrac{r}{1}$, переводит каждый $s \in S$ в обратимый элемент: $\tfrac{s}{1} \cdot \tfrac{1}{s} = \tfrac{1}{1}$. Ядро $\varphi$ - это в точности элементы, аннулируемые каким-то $t \in S$.

Чтобы пощупать конструкцию руками, ниже - мини-инструмент: выбираете кольцо и подмножество, получаете явное описание получившейся локализации.

Частные случаи: поле частных, $R_\mathfrak{p}$, $R[1/f]$

Три самых употребительных случая локализации:

• Поле частных. $R$ - область целостности, $S = R \setminus \{0\}$. Тогда $S^{-1}R = \mathrm{Frac}(R)$ - наименьшее поле, содержащее $R$. Примеры: $\mathrm{Frac}(\mathbb{Z}) = \mathbb{Q}$; $\mathrm{Frac}(k[x]) = k(x)$ - поле рациональных функций.
• Локализация по простому идеалу. $S = R \setminus \mathfrak{p}$, обозначение $R_\mathfrak{p}$. Получаем локальное кольцо с единственным максимальным идеалом $\mathfrak{p} R_\mathfrak{p}$. Например, $\mathbb{Z}_{(p)}$ - рациональные числа $\tfrac{a}{b}$ с $b$, не делящимся на $p$; единственный максимальный идеал порождён $p$.
• Локализация по элементу. $S = \{1, f, f^2, \ldots\}$, обозначение $R[1/f]$ или $R_f$. Например, $\mathbb{Z}[1/2]$ - рациональные числа со знаменателями, степенями двойки. На спектре это срезает гиперповерхность $V(f)$ и оставляет открытое $D(f)$.

Все три - частные случаи общей схемы $S^{-1}R$; различаются только выбором $S$.

Универсальное свойство

Локализация - не «один из» способов инвертировать $S$, а самый экономный. Универсальное свойство формулируется так: канонический гомоморфизм $\varphi: R \to S^{-1}R$ обладает свойством $\varphi(s) \in (S^{-1}R)^\times$ для всех $s \in S$, и для любого гомоморфизма колец $\psi: R \to A$, переводящего $S$ в обратимые элементы $A$, существует единственный гомоморфизм $\tilde\psi: S^{-1}R \to A$ с $\tilde\psi \circ \varphi = \psi$.

Иначе говоря, $S^{-1}R$ - это начальный объект в категории $R$-алгебр, в которых $S$ становится множеством обратимых элементов. Универсальность немедленно даёт: локализация коммутирует с расширением скаляров, тензорным произведением, факторизацией по идеалу - всё через классические диаграммные доводы.

Алгебраические свойства

Главные свойства локализации:

• Плоскость. $S^{-1}R$ плоский как $R$-модуль. Точные последовательности $R$-модулей остаются точными после применения $S^{-1}(-)$; локализация - точный функтор.
• Идеалы. Простые идеалы $S^{-1}R$ биективно соответствуют простым идеалам $R$, не пересекающимся с $S$. В частности, $\mathrm{Spec}(R_\mathfrak{p})$ - это простые идеалы $R$, содержащиеся в $\mathfrak{p}$.
• Локальность. $R_\mathfrak{p}$ - локальное кольцо: единственный максимальный идеал $\mathfrak{p} R_\mathfrak{p}$, поле вычетов $R_\mathfrak{p} / \mathfrak{p} R_\mathfrak{p} = \mathrm{Frac}(R / \mathfrak{p})$.
• Локальные свойства. $M = 0 \iff M_\mathfrak{p} = 0$ для всех простых $\mathfrak{p}$ (достаточно - максимальных). Аналогично проверяются плоскость, проективность, инъективность гомоморфизмов модулей.
• Нётеровость и размерность. Если $R$ нётерово, то и $S^{-1}R$ нётерово. Размерность Крулля не возрастает; $\dim R_\mathfrak{p} = \mathrm{ht}(\mathfrak{p})$ - высота идеала.

Геометрическая интерпретация

На языке схем картина такая. Пусть $X = \mathrm{Spec}(R)$.

• $R[1/f]$ - это координатное кольцо открытого подмножества $D(f) = \{\mathfrak{p} : f \notin \mathfrak{p}\}$. Открытые $D(f)$ образуют базу топологии Зариского.
• $R_\mathfrak{p}$ - это стебель структурного пучка $\mathcal{O}_X$ в точке $\mathfrak{p}$. Морально это «росток функций возле точки $\mathfrak{p}$»: две функции, совпадающие на открытом подмножестве, проходящем через $\mathfrak{p}$, дают один и тот же элемент.
• $\mathrm{Frac}(R)$ для области целостности - кольцо рациональных функций на $X$: стебель в общей точке $(0)$.

Так локализация переводит локально-аналитический язык «окрестности точки» на формальный алгебраический.

Типовые задачи

Где локализация всплывает чаще всего на практике:

• Свести задачу про модуль над $R$ к семейству задач над $R_\mathfrak{p}$ - и решать в локальном кольце, где работают леммы Накаямы, Крулля, структурные теоремы о конечно порождённых модулях.
• Вычислить $\mathrm{Spec}(R[1/f])$ и нарисовать стандартное аффинное покрытие схемы.
• Найти стебель когерентного пучка и проверить свойства локальности (плоскость, проективность).
• Перейти от $\mathbb{Z}$ к $\mathbb{Z}_{(p)}$ для $p$-адического анализа и теории чисел - основа, на которой работает лемма Гензеля о поднятии корней.

Частые ошибки

• Забывают про множитель $t$ в отношении эквивалентности. Без него транзитивность нарушается в кольцах с делителями нуля.
• Считают, что $R \hookrightarrow S^{-1}R$ всегда инъекция. На самом деле ядро состоит из элементов, аннулируемых каким-то $s \in S$. Для области целостности и $0 \notin S$ - да, инъекция.
• Путают $R_\mathfrak{p}$ и $R/\mathfrak{p}$. Первое - локализация (большое кольцо с обратимыми элементами вне $\mathfrak{p}$), второе - факторкольцо (область целостности, элементы $\mathfrak{p}$ занулены).
• Игнорируют условие «$S$ мультипликативна». Произвольное подмножество $S$ нельзя «инвертировать» - нужно сначала замкнуть его умножением и добавить $1$.
• Локализуют по нулю. $0 \in S$ даёт $S^{-1}R = 0$; это согласованный, но обычно нежелательный случай.

FAQ

Чем локализация отличается от факторизации? Факторизация $R / I$ занулявет элементы идеала $I$ и сжимает кольцо. Локализация $S^{-1}R$, наоборот, расширяет кольцо: добавляет обратные к элементам $S$. Спектр первой - замкнутое подмножество $V(I)$, спектр второй - открытое $D(S)$ (для $S = \{1, f, f^2, \ldots\}$ - стандартное $D(f)$).

Почему $R_\mathfrak{p}$ локально? Простые идеалы $R_\mathfrak{p}$ - это простые идеалы $R$, не пересекающие $S = R \setminus \mathfrak{p}$, то есть содержащиеся в $\mathfrak{p}$. Среди них есть максимальный по включению - сам $\mathfrak{p}$. После локализации он становится единственным максимальным идеалом $\mathfrak{p} R_\mathfrak{p}$.

Сохраняются ли при локализации идеалы? Не любые. Идеал $I \subset R$ переходит в $S^{-1}I = I \cdot S^{-1}R$. При этом $S^{-1}I = S^{-1}R$ (то есть «съедается»), если $I \cap S \ne \emptyset$. Между простыми идеалами $R$, не пересекающими $S$, и простыми идеалами $S^{-1}R$ - биекция, что делает локализацию столь удобной для анализа спектра.

Коротко

Локализация кольца $S^{-1}R$ - это формальное добавление обратных к мультипликативной системе $S$ через классы пар $(r, s)$ с отношением $(r, s) \sim (r', s')$ при условии $t(rs' - r's) = 0$ для некоторого $t \in S$. Частные случаи - поле частных $\mathrm{Frac}(R)$, локализация по простому идеалу $R_\mathfrak{p}$ (локальное кольцо) и по элементу $R[1/f]$. Универсальное свойство делает $S^{-1}R$ минимальным расширением, локализация плоская как $R$-модуль и точна как функтор, а геометрически даёт стебли структурного пучка на $\mathrm{Spec}(R)$ - главный инструмент локального анализа схем.