Hilberts Nullstellensatz - Википедия - Hilberts Nullstellensatz

Nullstellensatz Гильберта (По-немецки «теорема нулей» или, точнее, «теорема о множестве нулей» - см. Satz ) - теорема, устанавливающая фундаментальную связь между геометрия и алгебра. Эти отношения лежат в основе алгебраическая геометрия, филиал математика. Это относится алгебраические множества к идеалы в кольца многочленов над алгебраически замкнутые поля. Эта связь была обнаружена Дэвид Гильберт который доказал Nullstellensatz и несколько других важных связанных теорем, названных в его честь (например, Базисная теорема Гильберта ).

Формулировка

Позволять k быть полем (например, рациональное число ) и K быть алгебраически замкнутым расширение поля (такой как сложные числа ). Рассмотрим кольцо многочленов ${ Displaystyle к [X_ {1}, ldots, X_ {n}]}$ и разреши я быть идеальный в этом кольце. В алгебраический набор V (я), определяемая этим идеалом, состоит из всех п- пары Икс = (Икс₁,...,Икс_п) в K^п такой, что ж(Икс) = 0 для всех ж в я. Nullstellensatz Гильберта утверждает, что если п является некоторым полиномом от ${ Displaystyle к [X_ {1}, ldots, X_ {n}]}$ который обращается в нуль на алгебраическом множестве V (я), т.е. п(Икс) = 0 для всех Икс в V(я), то существует натуральное число р такой, что п^р в я.

Непосредственным следствием является слабый Nullstellensatz: Идеал ${ Displaystyle I подмножество к [X_ {1}, ldots, X_ {n}]}$ содержит 1 тогда и только тогда, когда многочлены из я не имеют общих нулей в K^п. Его также можно сформулировать так: если я настоящий идеал в ${ Displaystyle к [X_ {1}, ldots, X_ {n}],}$ тогда V (я) не может быть пустой, т.е. существует общий нуль для всех многочленов идеала в каждом алгебраически замкнутом расширении k. Отсюда и название теоремы, которую легко доказать из «слабой» формы с помощью Трюк Рабиновича. Предположение о рассмотрении общих нулей в алгебраически замкнутом поле здесь существенно; например, элементы собственного идеала (Икс² + 1) в ${ Displaystyle mathbb {R} [X]}$ не имеют общего нуля в ${ displaystyle mathbb {R}.}$

Используя обозначения, общие для алгебраической геометрии, Nullstellensatz также можно сформулировать как

{ Displaystyle { hbox {I}} ({ hbox {V}} (J)) = { sqrt {J}}}

для каждого идеала J. Здесь, ${ displaystyle { sqrt {J}}}$ обозначает радикальный из J и я(U) - идеал всех многочленов, обращающихся в нуль на множестве U.

Таким образом, мы получаем обратный порядок биективный соответствие между алгебраическими множествами в K^п и радикальные идеалы из ${ displaystyle K [X_ {1}, ldots, X_ {n}].}$ Фактически, в более общем смысле Связь Галуа между подмножествами пространства и подмножествами алгебры, где "Зариски закрытие "и" радикал порожденного идеала "суть операторы закрытия.

В качестве конкретного примера рассмотрим точку ${ displaystyle P = (a_ {1}, dots, a_ {n}) in K ^ {n}}$ . потом ${ Displaystyle I (P) = (X_ {1} -a_ {1}, ldots, X_ {n} -a_ {n})}$ . В более общем смысле,

{ displaystyle { sqrt {I}} = bigcap _ {(a_ {1}, dots, a_ {n}) in V (I)} (X_ {1} -a_ {1}, dots, X_ {n} -a_ {n}).}

И наоборот, каждые максимальный идеал кольца многочленов ${ Displaystyle К [X_ {1}, ldots, X_ {n}]}$ (Обратите внимание, что ${ displaystyle K}$ алгебраически замкнуто) имеет вид ${ displaystyle (X_ {1} -a_ {1}, ldots, X_ {n} -a_ {n})}$ для некоторых ${ displaystyle a_ {1}, ldots, a_ {n} in K}$ .

Другой пример: алгебраическое подмножество W в K^п неприводимо (в топологии Зарисского) тогда и только тогда, когда ${ Displaystyle I (W)}$ это главный идеал.

Доказательство и обобщение

Есть много известных доказательств теоремы. Одно доказательство использует Лемма Зарисского, который утверждает, что если поле конечно порожденный как ассоциативная алгебра над полем k, то это конечное расширение поля из k (то есть он также конечно порожден как векторное пространство ). Вот набросок этого доказательства.^[1]

Позволять ${ Displaystyle А = К [т_ {1}, ldots, т_ {п}]}$ (k алгебраически замкнутое поле), я идеал А, и V общие нули я в ${ Displaystyle к ^ {п}}$ . Четко, ${ Displaystyle { sqrt {I}} substeq I (V)}$ . Позволять ${ displaystyle f not in { sqrt {I}}}$ . потом ${ displaystyle f not in { mathfrak {p}}}$ для какого-то главного идеала ${ Displaystyle { mathfrak {p}} supseteq I}$ в А. Позволять ${ Displaystyle R = (A / { mathfrak {p}}) [е ^ {- 1}]}$ и ${ displaystyle { mathfrak {m}}}$ максимальный идеал в ${ displaystyle R}$ . По лемме Зарисского ${ Displaystyle R / { mathfrak {m}}}$ является конечным расширением k; таким образом, это k поскольку k алгебраически замкнуто. Позволять ${ displaystyle x_ {i}}$ быть изображениями ${ displaystyle t_ {i}}$ под естественной картой ${ Displaystyle от А до к}$ . Следует, что ${ displaystyle x = (x_ {1}, ldots, x_ {n}) in V}$ и ${ Displaystyle е (х) neq 0}$ .

Nullstellensatz также тривиально следует из систематического развития Кольца Якобсона, в которой радикальный идеал является пересечением максимальных идеалов. Позволять ${ displaystyle R}$ кольцо Якобсона. Если ${ displaystyle S}$ является конечно порожденным р-алгебра, тогда ${ displaystyle S}$ кольцо Якобсона. Далее, если ${ Displaystyle { mathfrak {п}} подмножество S}$ - максимальный идеал, то ${ displaystyle { mathfrak {m}}: = { mathfrak {n}} cap R}$ - максимальный идеал в R, а ${ Displaystyle S / { mathfrak {п}}}$ является конечным полем расширения ${ displaystyle R / { mathfrak {m}}}$ .

Другое обобщение утверждает, что строго плоский морфизм схем ${ displaystyle f: от Y до X}$ локально конечного типа с Икс квазикомпакт имеет квази-разрез, т.е. существует ${ displaystyle X '}$ аффинно и точно плоский и квазиконечный над Икс вместе с Икс-морфизм ${ displaystyle X ' to Y}$

Эффективный Nullstellensatz

Во всех своих вариантах Nullstellensatz Гильберта утверждает, что некоторый многочлен $грамм$ принадлежит или нет идеалу, порожденному, скажем, $ж 1, ..., ж k$ ; у нас есть $грамм = ж р$ в сильной версии, $грамм = 1$ в слабой форме. Это означает наличие или отсутствие многочленов $грамм 1, ..., грамм k$ такой, что $грамм = ж 1 грамм 1 + ... + ж k грамм k$ . Обычные доказательства Nullstellensatz не являются конструктивными, неэффективными в том смысле, что они не дают возможности вычислить $грамм я$ .

Таким образом, возникает довольно естественный вопрос, есть ли эффективный способ вычисления $грамм я$ (и показатель степени $р$ в сильной форме) или доказать, что их не существует. Для решения этой проблемы достаточно дать оценку сверху полной степени $грамм я$ : такая оценка сводит задачу к конечному система линейных уравнений это может быть решено обычным линейная алгебра техники. Любая такая верхняя граница называется эффективный Nullstellensatz.

Связанная проблема - это проблема идеального членства, который заключается в проверке принадлежности многочлена идеалу. Для этой проблемы также решение обеспечивается верхней границей степени $грамм я$ . Общее решение проблемы идеального членства дает эффективный Nullstellensatz, по крайней мере, для слабой формы.

В 1925 г. Грета Германн дал верхнюю границу для проблемы идеального членства, которая является дважды экспоненциальной по количеству переменных. В 1982 году Майр и Мейер привели пример, когда $грамм я$ имеют степень, по крайней мере, двойную экспоненциальную, что показывает, что каждая общая верхняя граница для проблемы идеального членства является дважды экспоненциальной по количеству переменных.

Поскольку большинство математиков в то время считали, что эффективный Nullstellensatz по крайней мере так же сложен, как идеальное членство, немногие математики искали оценку лучше, чем двойная экспонента. Однако в 1987 г. В. Дейл Браунауэлл дали верхнюю границу для эффективного Nullstellensatz, который просто экспоненциально зависит от числа переменных.^[2] Доказательство Браунавелла основывалось на аналитических методах, применимых только для характеристики 0, но год спустя Янош Коллар дал чисто алгебраическое доказательство, справедливое для любой характеристики, несколько лучшей оценки.

В случае слабого Nullstellensatz оценка Коллара следующая:^[3]

Позволять

ж 1, ..., ж s

быть полиномами от

п \geq 2

переменные общей степени

d 1 \geq ... \geq d s

. Если существуют многочлены

грамм я

такой, что

ж 1 грамм 1 + ... + ж s грамм s = 1

, то их можно выбрать так, чтобы

{ displaystyle deg (f_ {i} g_ {i}) leq max (d_ {s}, 3) prod _ {j = 1} ^ { min (n, s) -1} max ( d_ {j}, 3).}

Эта оценка оптимальна, если все степени больше 2.

Если $d$ это максимум из степеней $ж я$ , эту оценку можно упростить до

{ displaystyle max (3, d) ^ { min (n, s)}.}

Результат Коллара был улучшен несколькими авторами. По состоянию на 14 октября 2012 г.^{[Обновить]}, лучшее улучшение, благодаря M. Sombra, это^[4]

{ displaystyle deg (f_ {i} g_ {i}) leq 2d_ {s} prod _ {j = 1} ^ { min (n, s) -1} d_ {j}.}

Его оценка улучшает оценку Коллара, как только по крайней мере две из участвующих степеней ниже 3.

Проективный Nullstellensatz

Мы можем сформулировать определенное соответствие между однородными идеалами многочленов и алгебраическими подмножествами проективного пространства, называемое проективный Nullstellensatz, аналогичное аффинному. Для этого введем некоторые обозначения. Позволять ${ displaystyle R = k [t_ {0}, ldots, t_ {n}].}$ Однородный идеал,

{ Displaystyle R _ {+} = bigoplus _ {d geqslant 1} R_ {d}}

называется максимальный однородный идеал (смотрите также неуместный идеал ). Как и в аффинном случае, пусть: для подмножества ${ Displaystyle S substeq mathbb {P} ^ {n}}$ и однородный идеал я из р,

{ displaystyle { begin {align} operatorname {I} _ { mathbb {P} ^ {n}} (S) & = {f in R _ {+} mid f = 0 { text {on }} S }, имя оператора {V} _ { mathbb {P} ^ {n}} (I) & = {x in mathbb {P} ^ {n} mid f (x) = 0 { text {для всех}} f in I }. End {align}}}

К ${ displaystyle f = 0 { text {on}} S}$ мы имеем в виду: для любых однородных координат ${ Displaystyle (а_ {0}: cdots: а_ {п})}$ точки S у нас есть ${ Displaystyle е (а_ {0}, ldots, а_ {п}) = 0}$ . Это означает, что однородные компоненты ж также равны нулю на S и таким образом ${ displaystyle operatorname {I} _ { mathbb {P} ^ {n}} (S)}$ является однородным идеалом. Эквивалентно ${ displaystyle operatorname {I} _ { mathbb {P} ^ {n}} (S)}$ однородный идеал, порожденный однородными многочленами ж которые исчезают на S. Теперь для любого однородного идеала ${ Displaystyle I substeq R _ {+}}$ , согласно обычному Nullstellensatz, мы имеем:

{ displaystyle { sqrt {I}} = operatorname {I} _ { mathbb {P} ^ {n}} ( operatorname {V} _ { mathbb {P} ^ {n}} (I)) ,}

и так, как и в аффинном случае, имеем:^[5]

Существует взаимно однозначное соответствие между собственными однородными радикальными идеалами р и подмножества

{ displaystyle mathbb {P} ^ {n}}

формы

{ displaystyle operatorname {V} _ { mathbb {P} ^ {n}} (I).}

Соответствие дается

{ displaystyle operatorname {I} _ { mathbb {P} ^ {n}}}

и

{ displaystyle operatorname {V} _ { mathbb {P} ^ {n}}.}

Аналитический Nullstellensatz

Нуллстеллензац также имеет место для ростков голоморфных функций в точке комплексного п-Космос ${ displaystyle mathbb {C} ^ {n}.}$ Точно для каждого открытого подмножества ${ Displaystyle U подмножество mathbb {C} ^ {n},}$ позволять ${ Displaystyle { mathcal {O}} _ { mathbb {C} ^ {n}} (U)}$ обозначим кольцо голоморфных функций на U; тогда ${ displaystyle { mathcal {O}} _ { mathbb {C} ^ {n}}}$ это пучок на ${ displaystyle mathbb {C} ^ {n}.}$ Стебель ${ displaystyle { mathcal {O}} _ { mathbb {C} ^ {n}, 0}}$ при, скажем, начало координат может быть показано как Нётерян местное кольцо это уникальная область факторизации.

Если ${ displaystyle f in { mathcal {O}} _ { mathbb {C} ^ {n}, 0}}$ - росток, представленный голоморфной функцией ${ displaystyle { widetilde {f}}: U to mathbb {C}}$ , тогда пусть ${ Displaystyle V_ {0} (е)}$ - класс эквивалентности множества

{ Displaystyle влево {г в U | { widetilde {f}} (г) = 0 вправо },}

где два подмножества ${ Displaystyle X, Y подмножество mathbb {C} ^ {n}}$ считаются эквивалентными, если ${ Displaystyle X cap U = Y cap U}$ для некоторого района U из 0. Примечание ${ Displaystyle V_ {0} (е)}$ не зависит от выбора представителя ${ displaystyle { widetilde {f}}.}$ Для каждого идеала ${ displaystyle I subset { mathcal {O}} _ { mathbb {C} ^ {n}, 0},}$ позволять ${ displaystyle V_ {0} (I)}$ обозначать ${ displaystyle V_ {0} (f_ {1}) cap dots cap V_ {0} (f_ {r})}$ для некоторых генераторов ${ displaystyle f_ {1}, ldots, f_ {r}}$ из я. Это четко определено; т.е. не зависит от выбора генераторов.

Для каждого подмножества ${ Displaystyle X подмножество mathbb {C} ^ {n}}$ , позволять

{ displaystyle I_ {0} (X) = left {f in { mathcal {O}} _ { mathbb {C} ^ {n}, 0} | V_ {0} (f) supset X верно}.}

Легко заметить, что ${ displaystyle I_ {0} (X)}$ это идеал ${ displaystyle { mathcal {O}} _ { mathbb {C} ^ {n}, 0}}$ и это ${ displaystyle I_ {0} (X) = I_ {0} (Y)}$ если ${ displaystyle X sim Y}$ в рассмотренном выше смысле.

В аналитический Nullstellensatz затем заявляет:^[6] для каждого идеала ${ displaystyle I subset { mathcal {O}} _ { mathbb {C} ^ {n}, 0}}$ ,

{ displaystyle { sqrt {I}} = I_ {0} (V_ {0} (I))}

где левая часть - это радикальный из я.

Смотрите также

Positivstellensatz Стенгла
Дифференциальный Nullstellensatz
Комбинаторный Nullstellensatz
Лемма Артина – Тейта.
Настоящий радикал
Ограниченный степенной ряд # алгебра Тейта, для алгебр Тейта выполняется аналог гильбертовского нульстеллензаца.

Примечания

^ Атья-Макдональд 1969, Гл. 7
^ Браунавелл, В. Дейл (1987), "Границы степеней в Nullstellensatz", Анна. математики., 126 (3): 577–591, Дои:10.2307/1971361, МИСТЕР 0916719
^ Коллар, Янош (1988), "Sharp Effective Nullstellensatz" (PDF), Журнал Американского математического общества, 1 (4): 963–975, Дои:10.2307/1990996, МИСТЕР 0944576, заархивировано из оригинал (PDF) на 2014-03-03, получено 2012-10-14
^ Сомбра, Мартин (1999), "Редкий эффективный Nullstellensatz", Успехи в прикладной математике, 22 (2): 271–295, arXiv:alg-geom / 9710003, Дои:10.1006 / aama.1998.0633, МИСТЕР 1659402
^ Эта формулировка взята из Милна, Алгебраическая геометрия. [1] и отличается от Хартсхорн 1977, Гл. I, упражнение 2.4
^ Huybrechts, Предложение 1.1.29.