WikiDer > Основная теорема теории исключения

Main theorem of elimination theory

В алгебраическая геометрия, то основная теорема теории исключения заявляет, что каждый проективная схема является правильный. Версия этой теоремы предшествует существованию теория схем. Его можно сформулировать, доказать и применить в следующей более классической ситуации. Позволять k быть поле, обозначим через то п-размерный проективное пространство над k. Основная теорема теории исключения - это утверждение, что для любого п и любой алгебраическое многообразие V определяется по k, карта проекции отправляет Зарисский-закрыто подмножества замкнутых по Зарискому подмножеств.

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

Это принадлежит теория исключения, так как вычисление результата составляет исключить переменные между полиномиальными уравнениями. Фактически, учитывая система полиномиальных уравнений, однородный по некоторым переменным, результирующая устраняет эти однородные переменные путем предоставления уравнения в других переменных, которое имеет в качестве решений значения этих других переменных в решениях исходной системы.

Простой мотивирующий пример

В аффинная плоскость над полем k это прямой продукт двух экземпляров k. Позволять

быть проекцией

Эта проекция не закрыто для Топология Зарисского (ни для обычной топологии, если или же ), потому что изображение из гипербола ЧАС уравнения является который не закрыт, хотя ЧАС закрыто, будучи алгебраическое многообразие.

Если продлить к проективной линии уравнение проективное завершение гиперболы становится

и содержит

куда является продолжением к

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

В более общем плане изображение каждого алгебраического множества в - либо конечное число точек, либо с удалением конечного числа точек, а изображение любого алгебраического множества в конечное число точек или вся линия Отсюда следует, что изображение любого алгебраического множества является алгебраическим множеством, то есть является замкнутым отображением для топологии Зарисского.

Основная теорема теории исключения - широкое обобщение этого свойства.

Классическая формулировка

Для формулировки теоремы в терминах коммутативная алгебра, необходимо учитывать кольцо многочленов над коммутативным Кольцо Нётериана р, а однородный идеал я создано однородные многочлены (В первоначальном доказательстве Маколей, k был равен п, и р было полиномиальным кольцом над целыми числами, неопределенными значениями которого были все коэффициенты)

Любой кольцевой гомоморфизм из р в поле K, определяет гомоморфизм колец (также обозначается ), применяя к коэффициентам многочленов.

Теорема: есть идеал в р, однозначно определяется я, такое, что для любого гомоморфизма колец из р в поле K, однородные многочлены имеют нетривиальный общий нуль (в алгебраическом замыкании K) если и только если

Более того, если k < п, и является главный если k = п. В этом последнем случае генератор называется результирующий из

Подсказки для доказательства и связанных результатов

Используя указанные выше обозначения, сначала нужно охарактеризовать условие, что не имеют нетривиального общего нуля. Это так, если максимальный однородный идеал является единственным однородным первичным идеалом, содержащим Nullstellensatz Гильберта утверждает, что это так тогда и только тогда, когда содержит мощность каждого или, что то же самое, для некоторого положительного целого числа d.

Для этого исследования Маколей представил матрицу, которая теперь называется Матрица Маколея в степени d. Его строки индексируются мономы степени d в а его столбцы - это векторы коэффициентов на мономиальный базис многочленов вида куда м является мономом степени Надо тогда и только тогда, когда ранг матрицы Маколея равен количеству ее строк.

Если k < п, ранг матрицы Маколея меньше количества ее строк для каждого d, и поэтому, всегда имеют нетривиальный общий ноль.

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

называется Степень Маколея или же Связь Маколея потому что Macaulay's доказал, что имеют нетривиальный общий нуль тогда и только тогда, когда ранг матрицы Маколея в степени D меньше числа его строк. Другими словами, вышеуказанное d может быть выбран раз и навсегда равным D.

Следовательно, идеальный существование которого утверждается основной теоремой теории исключения, является нулевым идеалом, если k < п, а в противном случае порождается максимальными минорами матрицы Маколея в степени D.

Если k = п, Маколей также доказал, что это главный идеал (хотя матрица Маколея в градусах D не является квадратной матрицей, когда k > 2), который порождается результирующий из Этот идеал также в целом а главный идеал, поскольку оно простое, если р кольцо целочисленные многочлены со всеми коэффициентами как неопределенные.

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

В предыдущей формулировке кольцо многочленов определяет морфизм схемы (которые являются алгебраическими многообразиями, если р конечно порождена над полем)

Теорема утверждает, что образ замкнутого по Зарискому множества V(я) определяется я это замкнутое множество V(р). Таким образом, морфизм закрыт.

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

Рекомендации

  • Мамфорд, Дэвид (1999). Красная книга сортов и схем. Springer. ISBN 9783540632931.
  • Эйзенбуд, Дэвид (2013). Коммутативная алгебра: взгляд на алгебраическую геометрию. Springer. ISBN 9781461253501.
  • Милн, Джеймс С. (2014). «Работа Джона Тейта». Премия Абеля 2008–2012 гг.. Springer. ISBN 9783642394492.