Алгебраическая поверхность

В математике алгебраическая поверхность — это алгебраическое многообразие размерности два . В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие , когда оно неособое ) и, следовательно, размерность четыре как гладкое многообразие .

Теория алгебраических поверхностей гораздо сложнее, чем теория алгебраических кривых (включая компактные римановы поверхности , которые являются настоящими поверхностями (вещественной) размерности два). Многие результаты были получены, но в итальянской школе алгебраической геометрии и им уже до 100 лет.

Классификация по размеру Кодаира

В случае размерности один многообразия классифицируются только по топологическому роду , но в случае размерности два необходимо различать арифметический род. $p_{a}$ и геометрический род $p_{g}$ потому что нельзя бирационально выделить только топологический род. Затем вносится неравномерность в классификацию сортов. Краткое изложение результатов (подробно для каждого типа поверхности относится к каждому перенаправлению) следующее:

Примеры алгебраических поверхностей включают (κ — размерность Кодаиры ):

Дополнительные примеры см. в списке алгебраических поверхностей .

Первые пять примеров фактически бирационально эквивалентны . То есть, например, кубическая поверхность имеет функциональное поле, изоморфное полю проективной плоскости , которое является рациональными функциями от двух неопределенных. Декартово произведение двух кривых также дает примеры.

Бирациональная геометрия поверхностей

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

Теорема Кастельнуово

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

Характеристики

Критерий Накаи гласит, что:

Дивизор D на поверхности S обилен тогда и только тогда, когда D ² > 0 и для любой неприводимой кривой C на S D•C > 0.

Обильные дивизоры обладают замечательным свойством, например, возвратом некоторого гиперплоского расслоения проективного пространства, свойства которого очень хорошо известны. Позволять ${\mathcal {D}}(S)$ — абелева группа, состоящая из всех дивизоров на S . Тогда по теореме пересечения

{\mathcal {D}}(S)\times {\mathcal {D}}(S)\rightarrow \mathbb {Z} :(X,Y)\mapsto X\cdot Y

рассматривается как квадратичная форма . Позволять

{\mathcal {D}}_{0}(S):=\{D\in {\mathcal {D}}(S)|D\cdot X=0,{\text{for all }}X\in {\mathcal {D}}(S)\}

затем ${\mathcal {D}}/{\mathcal {D}}_{0}(S):=Num(S)$ становится числовой эквивалентной группой классов S и

Num(S)\times Num(S)\mapsto \mathbb {Z} =({\bar {D}},{\bar {E}})\mapsto D\cdot E

также становится квадратичной формой на $Num(S)$ , где ${\bar {D}}$ является образом дивизора D на S . (На изображении ниже ${\bar {D}}$ сокращенно Д. )

Для обильного линейного расслоения H на S определение

\{H\}^{\perp }:=\{D\in Num(S)|D\cdot H=0\}.

используется в поверхностной версии теоремы об индексе Ходжа :

для

D\in \{\{H\}^{\perp }|D\neq 0\},D\cdot D<0

, т.е. ограничение формы пересечения на

\{H\}^{\perp }

является отрицательно определенной квадратичной формой.

Эта теорема доказывается с использованием критерия Накаи и теоремы Римана-Роха для поверхностей. Теорема Ходжа об индексе используется Делинем в доказательстве гипотезы Вейля .

Основные результаты по алгебраическим поверхностям включают теорему Ходжа об индексе и разделение на пять групп классов бирациональной эквивалентности, называемое классификацией алгебраических поверхностей . Общий типа класс размерности Кодаиры 2 очень велик (степень 5 или выше для неособой поверхности в P ³ лежит в нем, например).

Существуют три существенных числом Ходжа инварианта поверхности, связанных с . Из них ч ^1,0 классически назывался нерегулярностью и обозначался q ; и ч ^2,0 назван геометрическим родом pg _был . Третий, ч. ^1,1, не является бирациональным инвариантом , поскольку в результате раздутия можно добавить целые кривые с классами из H ^1,1. Известно, что циклы Ходжа алгебраичны и что алгебраическая эквивалентность совпадает с гомологической эквивалентностью , так что h ^1,1 — верхняя граница ρ, ранга группы Нерона-Севери . Арифметический род p _a – это разность

геометрический род − неправильность.

Это объясняет, почему нерегулярность получила свое название как своего рода «термин ошибки».

Теорема Римана-Роха для поверхностей

Теорема Римана-Роха для поверхностей была впервые сформулирована Максом Нётером . Семейства кривых на поверхностях можно в некотором смысле классифицировать, что дает начало большей части их интересной геометрии.

Ссылки

Долгачев, И.В. (2001) [1994], «Алгебраическая поверхность» , Энциклопедия Математики , EMS Press
Зариский, Оскар (1995), Алгебраические поверхности , Классика математики, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-3-540-58658-6 , МР 1336146

Внешние ссылки

Бесплатная программа SURFER для визуализации алгебраических поверхностей в режиме реального времени, включая пользовательскую галерею.
SingSurf - интерактивный 3D-просмотрщик алгебраических поверхностей.
Страница об алгебраических поверхностях началась в 2008 году.
Обзор и мысли по проектированию алгебраических поверхностей