Теорема Гильберта о нулях: алгебра и геометрия

Теорема Гильберта о нулях (Hilbert Nullstellensatz) - это мост между алгеброй многочленов и геометрией их множеств нулей. Она отвечает на простой с виду вопрос: если система многочленов не имеет общих корней, что это говорит про порождённый ими идеал? И обратно - какие многочлены обращаются в нуль на заданном множестве решений? Над алгебраически замкнутым полем ответ оказывается на удивление чистым и превращает геометрию аффинных многообразий в язык идеалов кольца многочленов. Ниже - обе формы теоремы, ключевое понятие радикала и словарь алгебра-геометрия. Чтобы сразу примерить теорему к своей задаче, соберите её в инструменте под введением.

Постановка: нули и идеалы

Зафиксируем алгебраически замкнутое поле $k$ (например $\mathbb{C}$) и кольцо многочленов $k[x_1, \ldots, x_n]$. Каждому набору многочленов сопоставляется его множество общих нулей в аффинном пространстве $\mathbb{A}^n_k = k^n$, а каждому множеству точек - идеал многочленов, на нём зануляющихся. Теорема Гильберта о нулях описывает, как эти две операции связаны друг с другом.

Для идеала $I \subseteq k[x_1, \ldots, x_n]$ его множество нулей:

$$V(I) = \{ a \in \mathbb{A}^n_k : f(a) = 0 \text{ для всех } f \in I \}.$$

Обратно, для подмножества $X \subseteq \mathbb{A}^n_k$ идеал многочленов, обращающихся в нуль на $X$:

$$I(X) = \{ f \in k[x_1, \ldots, x_n] : f(a) = 0 \text{ для всех } a \in X \}.$$

Эти две стрелки $I \mapsto V(I)$ и $X \mapsto I(X)$ идут в разные стороны (одна разворачивает включения). Вопрос теоремы - насколько они обратны друг другу.

Рассчитать для своей задачи

Слабая форма

Слабая теорема Гильберта о нулях отвечает на вопрос о разрешимости системы. Над алгебраически замкнутым полем $k$ система многочленов $f_1, \ldots, f_m$ не имеет общего нуля в $\mathbb{A}^n_k$ тогда и только тогда, когда порождённый ими идеал - это всё кольцо:

$$V(f_1, \ldots, f_m) = \emptyset \iff (f_1, \ldots, f_m) = k[x_1, \ldots, x_n].$$

Эквивалентно: система не имеет решений ровно тогда, когда существуют многочлены $g_1, \ldots, g_m$ с тождеством

$$g_1 f_1 + \cdots + g_m f_m = 1.$$

Это многомерное обобщение того, что для одной переменной над $\mathbb{C}$ многочлен либо имеет корень, либо является ненулевой константой. Условие «$k$ алгебраически замкнуто» здесь критично: над $\mathbb{R}$ многочлен $x^2 + 1$ не имеет корня, хотя $(x^2 + 1) \ne \mathbb{R}[x]$.

Из слабой формы немедленно следует описание максимальных идеалов: каждый максимальный идеал в $k[x_1, \ldots, x_n]$ имеет вид $\mathfrak{m}_a = (x_1 - a_1, \ldots, x_n - a_n)$ для некоторой точки $a \in k^n$. Это в точности связывает точки пространства и максимальные идеалы кольца многочленов.

Радикал идеала

Чтобы сформулировать сильную форму, нужно понятие радикала. Радикал идеала $I$ - это множество всех элементов, некоторая степень которых лежит в $I$:

$$\sqrt{I} = \{ f : f^r \in I \text{ для некоторого } r \ge 1 \}.$$

Радикал - снова идеал, причём $I \subseteq \sqrt{I}$. Идеал называется радикальным, если $\sqrt{I} = I$. Например, в $k[x]$ идеал $(x^2)$ не радикален: $x \notin (x^2)$, но $x^2 \in (x^2)$, поэтому $x \in \sqrt{(x^2)}$, и $\sqrt{(x^2)} = (x)$.

Геометрический смысл радикала прост: множества нулей $V(I)$ и $V(\sqrt{I})$ совпадают. Степень $f^r$ зануляется в точке тогда и только тогда, когда там зануляется сам $f$. Поэтому идеал $(x^2)$ и идеал $(x)$ задают одно и то же множество нулей - точку $x = 0$, но первый «помнит» о кратности, а множество нулей кратность не видит.

Рассчитать для своей задачи

Сильная форма

Сильная теорема Гильберта о нулях даёт точную формулу для идеала многочленов, зануляющихся на множестве нулей идеала. Над алгебраически замкнутым полем $k$ для любого идеала $I \subseteq k[x_1, \ldots, x_n]$:

$$I(V(I)) = \sqrt{I}.$$

Иными словами, если многочлен $g$ обращается в нуль во всех общих корнях системы $f_1, \ldots, f_m$, то некоторая его степень $g^r$ выражается через эти многочлены:

$$g^r = g_1 f_1 + \cdots + g_m f_m.$$

Сильная форма уточняет слабую: пустое множество нулей $V(I) = \emptyset$ означает $I(V(I)) = k[x_1, \ldots, x_n]$, откуда $\sqrt{I} = (1)$, то есть $1 \in \sqrt{I}$ и $I = (1)$. Так слабая теорема - это частный случай сильной при $g = 1$.

Доказательство сильной формы из слабой использует классический «трюк Рабиновича»: добавляют новую переменную $t$ и многочлен $1 - t g$, после чего отсутствие общих нулей у расширенной системы по слабой теореме даёт нужное представление степени $g^r$.

Биекция алгебры и геометрии

Главное следствие: над алгебраически замкнутым $k$ операции $V$ и $I$ устанавливают взаимно обратную биекцию между радикальными идеалами и аффинными многообразиями. Точнее, есть соответствие, обращающее включения:

$$\{ \text{радикальные идеалы } I \subseteq k[x_1, \ldots, x_n] \} \;\longleftrightarrow\; \{ \text{аффинные многообразия } X \subseteq \mathbb{A}^n_k \}.$$

Под этим словарём геометрические свойства переходят в алгебраические и обратно. Точки соответствуют максимальным идеалам, неприводимые многообразия - простым идеалам (фактор по которым даёт область целостности), а локальное поведение многообразия в точке считывается через локализацию кольца по соответствующему идеалу.

Именно эта биекция - отправная точка классической алгебраической геометрии: вопросы о решениях полиномиальных систем переводятся в коммутативную алгебру колец многочленов.

Рассчитать для своей задачи

Зачем нужна алгебраическая замкнутость

Без условия «$k$ алгебраически замкнуто» теорема ломается в обеих формах. Над $\mathbb{R}$ идеал $(x^2 + 1) \subset \mathbb{R}[x]$ собственный и даже максимальный, но $V(x^2 + 1) = \emptyset$ - у системы нет вещественных корней, хотя идеал не равен всему кольцу. Слабая форма нарушена.

Сильная форма тоже даёт сбой: $I(V(x^2 + 1)) = I(\emptyset) = \mathbb{R}[x]$, тогда как $\sqrt{(x^2 + 1)} = (x^2 + 1)$, потому что $x^2 + 1$ неприводим. Равенство $I(V(I)) = \sqrt{I}$ не выполняется. Геометрически «недостающие» нули лежат в расширении $\mathbb{C}$, и именно переход к алгебраическому замыканию восстанавливает соответствие.

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

Связь с теоремой о базисе

Кольцо $k[x_1, \ldots, x_n]$ нётерово по теореме Гильберта о базисе: любой идеал в нём конечно порождён. Поэтому в формулировке Nullstellensatz можно без потери общности считать систему конечной - $I = (f_1, \ldots, f_m)$.

Нётеровость также гарантирует, что всякое аффинное многообразие разлагается в конечное объединение неприводимых компонент, а каждой компоненте отвечает минимальный простой идеал над $I$. Так две теоремы Гильберта работают вместе: одна обеспечивает конечность данных, другая - точное соответствие между этими данными и геометрией.

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

• Применяют теорему над незамкнутым полем. И слабая, и сильная формы требуют алгебраической замкнутости $k$. Над $\mathbb{R}$ или $\mathbb{Q}$ обе ломаются - нужен переход к $\mathbb{C}$ или другому замыканию.
• Путают $I(V(I))$ и $I$. Соответствие даёт $I(V(I)) = \sqrt{I}$, а не сам $I$. Информация о кратности (степени) теряется при переходе к множеству нулей и не восстанавливается.
• Считают, что $V$ и $I$ взаимно обратны на всех идеалах. Биекция работает только между радикальными идеалами и многообразиями. На нерадикальных идеалах $V(I) = V(\sqrt{I})$ - несколько идеалов дают одно многообразие.
• Забывают про степень в сильной форме. Из зануления $g$ на $V(I)$ следует $g^r \in I$, а не $g \in I$. Пропуск степени превращает верное утверждение в неверное.
• Смешивают слабую и сильную формы. Слабая отвечает на вопрос о пустоте множества нулей, сильная описывает весь идеал зануляющихся многочленов; слабая - частный случай сильной при $g = 1$.

FAQ

В чём разница между слабой и сильной формами? Слабая форма отвечает на вопрос о разрешимости: множество нулей пусто тогда и только тогда, когда идеал совпадает со всем кольцом. Сильная форма описывает весь идеал многочленов, зануляющихся на множестве нулей, и равна $\sqrt{I}$. Слабая получается из сильной подстановкой $g = 1$.

Почему обязательно алгебраически замкнутое поле? Иначе у системы могут отсутствовать корни в самом поле, хотя они есть в его замыкании. Пример $x^2 + 1$ над $\mathbb{R}$ нарушает обе формы: множество нулей пусто, но идеал собственный. Замкнутость гарантирует, что все нули «видны» внутри поля.

Что такое радикал идеала и зачем он в теореме? Радикал $\sqrt{I}$ - это множество элементов, чья степень лежит в $I$. Множества нулей не различают $I$ и $\sqrt{I}$, поэтому соответствие алгебра-геометрия точно работает именно на радикальных идеалах, а сильная форма даёт $I(V(I)) = \sqrt{I}$.

Коротко

Теорема Гильберта о нулях связывает алгебру многочленов с геометрией их множеств нулей над алгебраически замкнутым полем. Слабая форма: система не имеет общих корней тогда и только тогда, когда порождённый идеал равен всему кольцу. Сильная форма: $I(V(I)) = \sqrt{I}$ - многочлен зануляется на всех корнях системы тогда и только тогда, когда его степень лежит в идеале. Главное следствие - взаимно обратная биекция между радикальными идеалами кольца $k[x_1, \ldots, x_n]$ и аффинными многообразиями в $\mathbb{A}^n_k$, переводящая точки в максимальные идеалы, а неприводимые многообразия в простые. Условие алгебраической замкнутости необходимо: над $\mathbb{R}$ обе формы ломаются на примере $x^2 + 1$. Вместе с теоремой о базисе Nullstellensatz образует фундамент классической алгебраической геометрии.