Аффинные и проективные многообразия

Многообразия — это геометрические множества решений полиномиальных уравнений, изучаемые в аффинном пространстве и, путём добавления точек на бесконечности, в более унифицированной обстановке проективного пространства.

Definition

Аффинное многообразие — это общее множество нулей в аффинном пространстве для набора полиномов; проективное многообразие — это аналогичное множество нулей однородных полиномов в проективном пространстве, где геометрия компактна, а теория пересечений хорошо определена.

Scope

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

Core questions

• Как теорема о нулях уточняет соответствие между многообразиями и идеалами?
• Почему проективное пространство является естественной средой для многообразий, и что исправляет добавление точек на бесконечности?
• Как координатное кольцо и поле функций многообразия являются его алгебраическими тенями?
• Что отличает гладкие точки от особых, и как алгебраически определяется размерность?

Key concepts

• Аффинные многообразия и топология Зарисского
• Теорема Гильберта о нулях и соответствие идеал-многообразие
• Координатное кольцо, поле функций и рациональные отображения
• Проективное пространство и проективные многообразия
• Размерность, неприводимость и гладкие по сравнению с особыми точками

Clinical relevance

Многообразия являются основными объектами, изучаемыми в алгебраической геометрии и её приложениях, от эллиптических кривых в криптографии и теории чисел до проективных моделей, используемых в компьютерном зрении, и множеств решений, анализируемых в алгебраической статистике.

History

Изучение кривых и поверхностей с помощью полиномиальных уравнений восходит к XIX веку; теорема Гильберта о нулях (1893) и введение Зарисским строгих топологических и алгебраических инструментов в 1930-х и 1940-х годах утвердили многообразие как точный объект, отправную точку современной дисциплины.

Key figures

• David Hilbert
• Oscar Zariski
• Robin Hartshorne

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Что утверждает теорема Гильберта о нулях?

Над алгебраически замкнутым полем она устанавливает биекцию между аффинными многообразиями и радикальными идеалами кольца полиномов, так что геометрическое включение и пересечение точно соответствуют алгебраическим операциям над идеалами.

Почему предпочтительнее работать в проективном пространстве, а не в аффинном?

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