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

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

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

Классификация по размерности Кодайры

Шаблон:Main В случае размерности единица многообразия классифицируются только по топологическому роду, но в размерности два разница между Шаблон:Не переведено 5 $p_a$ и геометрическим родом $p_g$ становится существенной, поскольку мы не можем различить бирационально лишь топологический род. Мы вводим понятие Шаблон:Не переведено 5 для классификации поверхностей.

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

• κ=−∞: проективная плоскость, квадрики в P³, кубические поверхности, поверхность Веронезе, Шаблон:Не переведено 5, линейчатые поверхности
• κ=0 : Шаблон:Не переведено 5, Шаблон:Не переведено 5, Шаблон:Не переведено 5, гиперэллиптические поверхности
• κ=1: Шаблон:Не переведено 5
• κ=2: Шаблон:Не переведено 5.

Другие примеры можно найти в статье Шаблон:Не переведено 5.

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

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

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

Свойства

Шаблон:Не переведено 5 гласит, что:

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

Обильный дивизор имеет то полезное свойство, что он является прообразом дивизора гиперплоскости некоторого проективного пространства, свойства которого хорошо известны. Пусть $𝒟(S)$ — абелева группа, состоящая из всех дивизоров на S. Тогда, по Шаблон:Нп5,

$𝒟(S)\times 𝒟(S)\to \mathbb{Z}:(X,Y)\mapsto X\cdot Y$

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

${𝒟}_0(S):=\{D\in 𝒟(S)|D\cdot X=0$ для всех $X\in 𝒟(S)\}$

тогда $𝒟/{𝒟}_0(S):=Num(S)$ становится численно эквивалентной группой классов поверхности S и

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

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

Для обильного пучка H на S определение

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

приводит к версии Шаблон:Не переведено 5 на поверхности

для $D\in \{\{H{\}}^{\perp }|D\ne 0\},D\cdot D<0$, то есть $\{H{\}}^{\perp }$ является отрицательно определённой квадратичной формой.

Эта теорема доказана при помощи критерия Накаи и теоремы Римана — Роха для поверхности. Для всех дивизоров из $\{H{\}}^{\perp }$ эта теорема верна. Эта теорема не только является инструментом исследования поверхностей, но её использовал Делинь для доказательства гипотез Вейля, поскольку она верна во всех алгебраически замкнутых полях.

Базовыми результатами в теории алгебраических поверхностей являются Шаблон:Не переведено 5 и разбиение на пять групп классов рациональной эквивалентности, которое известно как классификация Энриквеса — Кодайры или классификация алгебраических поверхностей. Класс общего типа с Шаблон:Не переведено 5 2 очень большой (например, в нём находятся неособые поверхности степени 5 и выше в P³).

Существует три основных числовых инварианта Ходжа для поверхности. Среди них h^1,0, который называется иррегулярностью и обозначается как q, и h^2,0, который называется геометрическим родом p_g. Третий инвариант, h^1,1, не является Шаблон:Не переведено 5, поскольку раздутие может добавить полные кривые из класса H^1,1. Известно, что Шаблон:Не переведено 5 являются алгебраическими и что Шаблон:Не переведено 5 совпадает с гомологической эквивалентностью, так что h^1,1 является верхней границей для ρ, ранга Шаблон:Не переведено 5. Шаблон:Не переведено 5 p_a равен разности

геометрический род — иррегулярность.

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

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга

Ссылки

• Свободная программа SURFER Шаблон:Wayback для визуализации алгебраических поверхностей
• SingSurf Шаблон:Wayback an interactive 3D viewer for algebraic surfaces.
• Page on Algebraic Surfaces started in 2008 Шаблон:Wayback
• Overview and thoughts on designing Algebraic surfaces Шаблон:Wayback