Классификация Энриквеса — Кодаиры

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

Макс Нетёр начал систематическое изучение алгебраических поверхностей, а Гвидо Кастельнуово доказал важные части классификации. Энриквес[1][2] описал классификацию комплексных проективных поверхностей. Кодаира[3][4][5][6] позднее расширил классификацию, включив в неё неалгебраические компактные поверхности.

Аналогичную классификацию поверхностей в характеристике p > 0 начал Мамфорд[7] и завершили Бомбиери и Мамфорд[8][9]. Классификация похожа на случай проективных поверхностей в характеристике 0, за исключением того, что получаем также сингулярные и суперсингулярные поверхности Энриквеса в характеристике 2 и квазигиперэллиптические поверхности в характеристиках 2 и 3.

Утверждение классификацииПравить

 
Числа Чженя минимальных комплексных поверхностей

Классификация Энриквеса — Кодаиры компактных комплексных поверхностей утверждает, что любая неособая минимальная компактная комплексная поверхность принадлежит в точности одному из 10 типов, перечисленных на этой странице. Другими словами, это одна из рациональных, линейчатых (рода >0), типа VII, K3, поверхностей Энриквеса, Кодаиры, торических, гиперболических, собственных квазиэллиптических или поверхностей общего типа.

Для 9 классов поверхностей, отличных от общего типа, существует достаточно полное описание того, как выглядят все поверхности (которое для класса VII зависит от гипотезы о глобальной сферической оболочке[en], которая остаётся недоказанной). Для поверхностей общего типа известно не так много об их явной классификации, хотя найдено много примеров.

Классификация алгебраических поверхностей в положительной характеристике[7][8][9] похожа на классификацию алгебраических поверхностей в характеристике 0, за исключением того, что нет поверхностей Кодаиры или поверхностей типа VII, а существуют некоторые дополнительные семейства поверхностей Энриквеса в характеристике 2 и гиперэллиптических поверхностей в характеристиках 2 и 3. Кроме того, для размерности Кодаиры 1 в характеристиках 2 и 3 допускается квазиэллиптическое расслоение. Эти дополнительные семейства можно понять следующим образом: в характеристике 0 эти поверхности являются факторами поверхностей по конечным группам, но в конечной характеристике можно также взять факторы по конечным групповым схемам[en], не являющимися этальными[en].

Оскар Зарисский построил несколько поверхностей в положительной характеристике, являющихся унирациональными[en], но не рациональными, которые получаются из несепарабельных расширений (поверхности Зарисского[en]). Для положительной характеристики Серр показал, что   может отличаться от  , а Игуса показал, что даже если они совпадают, они могут быть больше иррегулярности[en] (размерности многообразия Пикара[en]).

Инварианты поверхностейПравить

Числа Ходжа и размерность КодаирыПравить

Большинство важных инвариантов компактных комплексных поверхностей, используемых при классификации, могут быть даны в терминах размерностей различных групп когомологий когерентных пучков[en]. Основными являются плюрироды[en] и числа Ходжа, определяемые следующим образом:

  • K — каноническое линейное расслоение[en], сечениями которого являются голоморфные 2-формы.
  •   для n ≥ 1 — плюрироды. Они являются бирациональными инвариантами, то есть инвариантами относительно раздутий. Используя теорию Зайберга — Виттена, Фридман и Морган показали, что для комплексных многообразий плюрироды зависят лишь от лежащих в основе ориентированных гладких 4-многообразий. Для некэлеровых поверхностей плюрироды определяются фундаментальной группой, но для кэлеровых поверхностей существуют примеры гомеоморфных поверхностей, имеющих разные плюрироды и размерности Кодаиры. Плюрироды индивидуально употребляются не часто, наиболее важная вещь относительно их — их скорость роста, измеряемая размерностью Кодаиры[en].
  • κ — размерность Кодаиры[en]. Она равна   (иногда пишут −1), если все плюрироды равны 0, в противном случае — наименьшее число (0, 1 или 2 для поверхностей), такое, что   ограничено. Энриквес не использовал это определение, вместо этого он использовал значения   и  . Они определяют размерность Кодаиры, поскольку размерность Кодаиры   соответствует  ,   соответствует  ,   соответствует  и  , в то время как   соответствует   и  .
  •   (где   — это пучок голоморфных i-форм) — это числа Ходжа, часто располагаемые в виде ромба Ходжа
h0,0
h1,0h0,1
h2,0h1,1h0,2
h2,1h1,2
h2,2

Согласно двойственности Серра hi, j = h 2−i,2−j, а h 0,0 = h 2,2 = 1. Если поверхность кэлерова, то hi, j = hj, i, так что имеется только 3 независимых числа Ходжа. Для компактных комплексных поверхностей h1,0 равно либо h0,1, либо h0,1 − 1. Первый плюрирод P1 равен числам Ходжа h2,0 = h0,2 и иногда называется геометрическим родом. Числа Ходжа комплексной поверхности зависит только от кольца ориентированных вещественных когомологий поверхности и являются инвариантами по отношению к бирациональным преобразованиям, за исключением h1,1, которое увеличивается на 1 при раздутии точки.

Связанные с числами Ходжами инвариантыПравить

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

  •   — это числа Бетти —  .   и   и  . В характеристике p > 0 числа Бетти (определяемые с помощью l-адических когомологий[en]) не обязательно должны быть связаны таким образом с числами Ходжа.
  •   — это эйлерова характеристика или число Эйлера.
  • q — это иррегулярность[en], размерность группы Пикара[en] и многообразия Альбанезе[en], которые для комплексных поверхностей (но не всегда для поверхностей в положительной характеристике) равны h0,1.
  •   — это геометрический род.
  •   — это арифметический род[en].
  •   — это голоморфная эйлерова характеристика[en] тривиального расслоения. (Оно обычно отличается от числа Эйлера e, описанного выше.) По формуле Нётера[en] это число также равно роду Тодда[en] ( )
  •   — это сигнатура (второй группы когомологий для комплексных поверхностей) и она равна  , что равно  .
  •   и   являются размерностями максимальных положительно и отрицательно определённых подпространств  , так что   и  .
  •   и   — это числа Чженя[en], определённые как интегралы различных многочленов от классов Чжэня[en] над многообразием.

Для комплексных поверхностей вышеперечисленные инварианты, определённые в терминах чисел Ходжа, зависят только от лежащего в основе ориентированного топологического многообразия.

Другие инвариантыПравить

Существуют другие инварианты компактных комплексных поверхностей, которые не используются столь активно в классификации. Сюда входят алгебраические инварианты, такие как группа Пикара[en] Pic(X), её фактор — группа Нерона — Севери[en] NS(X) с рангом (число Пикара)[en] ρ, топологические инварианты, такие как фундаментальная группа   и группы целочисленных гомологий и когомологий, а также инварианты лежащих в основе гладких четырёхмерныхмерных многообразий, такие как инварианты Зайберга — Виттена[en] и инварианты Дональдсона[en].

Минимальные модели и раздутиеПравить

Любая поверхность бирационально эквивалентна неособой поверхности, так что в большинстве случаев достаточно классифицировать неособые поверхности.

Если задана любая точка на поверхности, мы можем образовать новую поверхность путём раздутия этой точки, что, грубо говоря, означает, что мы заменяем точку проективной прямой. В данной статье неособую поверхность X будем называть минимальной, если её нельзя получить из другой неособой поверхности путём раздутия точки. По теореме Кастельнуово о стягивании это эквивалентно тому свойству, что X не содержит (−1)-кривых (гладких рациональных кривых с индексом самопересечения −1). (В более современной терминологии программы минимальных моделей гладкая проективная поверхность X называется минимальной, если её каноническое линейное расслоение KX является неф-расслоением[en]. Гладкая проективная поверхность имеет минимальную модель в этом более строгом смысле тогда и только тогда, когда её размерность Кодаиры неотрицательна.)

Любая поверхность X бирационально эквивалентна минимальной неособой поверхности и эта минимальная поверхность единственна, если размерность Кодаиры поверхности X не меньше 0 или поверхность не является алгебраической. Алгебраические поверхности с размерностью Кодаиры   могут быть бирационально эквивалентны более одной минимальной неособой поверхности, но легко описать связь этих минимальных поверхностей. Например, раздутая в точке поверхность   изоморфна  , раздутой дважды. Так что для классификации всех компактных комплексных поверхностей с точностью до бирационального изоморфизма (более или менее) достаточно классифицировать минимальные неособые поверхности.

Поверхности размерности Кодаиры −∞Править

Алгебраические поверхности размерности Кодаиры   можно классифицировать следующим образом. Если q > 0, то слои отображения в многообразие Альбанезе являются проективными прямыми (если поверхность минимальна), так что поверхность является линейчатой. Если q = 0, этот аргумент не работает, так как многообразие Альбанезе является точкой, а в этом случае из теоремы Кастельнуово следует, что поверхность рациональна.

Для неалгебраических поверхностей Кодаира нашёл дополнительный класс поверхностей, называемый типом VII, который остаётся не вполне понятым.

Рациональные поверхностиПравить

Рациональная поверхность — это поверхность, бирационально эквивалентная комплексной проективной плоскости P2. Все они являются алгебраическими. Минимальными рациональными поверхностями являются сами поверхности P2 и поверхности Хирцебруха   для n = 0 или  . (Поверхность Хирцебруха   является  -расслоением над  , связанным с пучком O(0)+O(n). Поверхность   изоморфна  , а   изоморфна раздутию P2 в точке, так что она не минимальна.)

Инварианты: Плюрироды все равны 0, фундаментальная группа тривиальна.

Ромбы Ходжа:

1
00
010(Проективная плоскость)
00
1
1
00
020(Поверхность Хирцебруха)
00
1

Примеры: P2, P1×P1 = Σ0, поверхности Хирцебруха Σn, квадрики, кубические поверхности, поверхности дель Пеццо[en], поверхность Веронезе. Многие из этих примеров не являются минимальными.

Линейчатые поверхности рода > 0Править

Линейчатые поверхности рода g имеют гладкий морфизм в кривую рода g, слоями которого являются прямые P1. Все эти поверхности являются алгебраическими. (Поверхности рода 0 являются поверхностями Хирцебруха и они рациональны). Любая линейчатая поверхность бирационально эквивалентна   для единственной кривой C, так что классификация линейчатых поверхностей с точностью до бирациональной эквивалентности, по существу, та же самая, что и классификация кривых. Линейчатая поверхность, не изоморфная  , имеет единственную образующую (  имеет две).

Инварианты: Все плюрироды равны 0.

Ромб Ходжа:

1
gg
020
gg
1

Примеры: Произведение любой кривой рода > 0 с P1.

Поверхности класса VIIПравить

Эти поверхности никогда не бывают алгебраическими или кэлеровыми. Минимальные поверхности с b2=0 классифицированы Богомоловым и являются либо поверхностями Хопфа, либо поверхностями Иноуэ. Примеры с положительным вторым числом Бетти — поверхности Иноуэ — Хирцебруха[en], поверхности Еноки[en] и, более общие, поверхности Като. Из гипотезы о глобальной сферической оболочке[en] следует, что все минимальные поверхности класса VII с положительным вторым числом Бетти являются поверхностями Като.

Инварианты: q=1, h1,0 = 0. Все плюрироды равны 0.

Ромб Ходжа:

1
01
0b20
10
1

Поверхности размерности Кодаиры 0Править

Эти поверхности классифицируются формулой Нётера  . Для размерности Кодаиры 0 K имеет нулевой индекс самопересечения[en]*, так что  . Используя выражения   и  , получаем

 

Более того, поскольку  , имеем

 

Комбинируя последнее выражение с предыдущим, получаем

 

В общем случае  , так что три члена слева являются неотрицательными целыми числами, так что имеется всего несколько решений этого уравнения. Для алгебраических поверхностей   является чётным целым числом между 0 и 2pg, в то время как для компактных комплексных поверхностей значение равно 0 или 1 и равно 0 для кэлеровых поверхностей. Для кэлеровых поверхностей имеем  .

Большинство решений этих условий соответствует классам поверхностей из таблицы ниже

b2 b1 h0,1 pg =h0,2 h1,0 h1,1 Поверхности Поля
22 0 0 1 0 20 K3 Любое. Всегда кэлерово над комплексными числами, но не обязательно алгебраическое.
10 0 0 0 0 10 Классическая поверхность Энриквеса Любое. Всегда алгебраическое.
10 0 1 1 Неклассическая поверхность Энриквеса Только характеристики 2
6 4 2 1 2 4 Абелевы поверхности, торы Любое. Всегда кэлерово над комплексными числами, но не обязательно алгебраическое.
2 2 1 0 1 2 Гиперэллиптическая Любое. Всегда алгебраическое
2 2 2 1 Квазигиперболическая Только характеристик 2, 3
4 3 2 1 1 2 Основная поверхность Кодаиры Только комплексное, никогда кэлерово
0 1 1 0 0 0 Вторичная поверхность Кодаиры Только комплексное, никогда кэлерово

Поверхности K3Править

Эти поверхности являются минимальными компактными комплексными поверхностями размерности Кодаиры 0 с q = 0 и тривиальным каноническим линейным расслоением. Все они кэлеровы. Все K3 поверхности диффеоморфны и их класс диффеоморфизма является важным примером односвязного гладкого 4-многообразия со спин-структурой.

Инварианты: Вторая группа когомологий H2(X, Z) изоморфна единственной чётной унимодулярной решётке II3,19 размерности 22 с сигнатурой −16.

Ромб Ходжа:

1
00
1201
00
1

Примеры:

Помеченная K3 поверхность — это K3 поверхность вместе с автоморфизмом из II3,19 в H2(X, Z). Пространство модулей помеченных K3 поверхностей является связным нехаусдорфовым гладким аналитическим пространством размерности 20. Алгебраические K3 поверхности образуют счётное множество 19-мерных подмногообразий этого пространства.

Абелевы поверхности и двухмерные комплексные торыПравить

Двухмерные комплексные торы включают абелевы поверхности[en]. Одномерные комплексные торы — это просто эллиптические кривые и все они являются алгебраическими, но Риман открыл, что большинство комплексных торов размерности 2 алгебраическими не являются. Алгебраические торы — это в точности двухмерные абелевы многообразия. Большая часть их теории является частным случаем теории многомерных торов или абелевых многообразий. Критерий того, что многообразие является произведением двух эллиптических кривых (с точностью до изогении), был популярной темой изучения в девятнадцатом веке.

Инварианты: Все плюрироды равны 1. Поверхность диффеоморфна  , так что фундаментальной группой служит Z4.

Ромб Ходжа:

1
22
141
22
1

Примеры: Произведение двух эллиптических кривых. Любой фактор C2 по решётке.

Поверхности КодаирыПравить

Поверхности никогда не являются алгебраическими, хотя имеют непостоянные мероморфные функции. Обычно они делятся на два подтипа: основные поверхности Кодаиры с тривиальным каноническим расслоением и вторичные поверхности Кодаиры, являющиеся факторами первых по конечным группам порядка 2, 3, 4 или 6 и имеющие нетривиальные канонические расслоения. Вторичные поверхности Кодаиры имеют такое же отношение к основным, какое имеют поверхности Энриквеса к поверхностям K3, или биэллиптические поверхности имеют к абелевым поверхностям.

Инварианты: Если поверхность является фактором основной поверхности Кодаиры по группе порядка k=1,2,3,4,6, то плюрироды Pn равны 1, если n делится на k и 0 в противном случае.

Ромб Ходжа:

1
12
121(Основная)
21
1
1
01
000(Вторичная)
10
1

Примеры: Возьмём нетривиальное линейное расслоение над эллиптической кривой, удалим нулевое сечение, затем найдём фактор слоёв по группе Z, действующей как умножение на степени некоторого комплексного числа z. В результате получим основную поверхность Кодаиры.

Поверхности ЭнриквесаПравить

Это комплексные поверхности, для которых q = 0 и каноническое линейное расслоение нетривиально, но  . Поверхности Энриквеса все являются алгебраическими (а потому кэлеровыми). Они являются факторами поверхности K3 по группам порядка 2 и их теория подобна теории алгебраических K3-поверхностей.

Инварианты: Плюрироды Pn равны 1, если n чётно, и 0, если n нечётно. Фундаментальная группа имеет порядок 2. Вторая группа когомологий H2(X, Z) изоморфна сумме единственной чётной унимодулярной решётки II1,9 размерности 10 с сигнатурой −8 и группы порядка 2.

Ромб Ходжа:

1
00
0100
00
1

Помеченные поверхности Энриквеса образуют связное 10-мерное семейство, которое описано явно.

Для характеристики 2 имеются некоторые дополнительные семейства поверхностей Энриквеса, которые называются сингулярными и суперсингулярными поверхностями Энриквеса. Детали см. в статье «Поверхности Энриквеса»[en].

Гиперэллиптические (или биэллиптические) поверхностиПравить

Над полем комплексных чисел эти поверхности являются факторами произведения двух эллиптических кривых по конечной группе автоморфизмов. Конечной группой может служить Z/2Z, Z/2Z+Z/2Z, Z/3Z, Z/3Z+Z/3Z, Z/4Z, Z/4Z+Z/2Z или Z/6Z, что даёт 7 семейств таких поверхностей. Над полями характеристики 2 или 3 имеется несколько дополнительных семейств, получаемых как факторы по неэталевым групповым схемам. Детали см. в статье о гиперэллиптических поверхностях.

Ромб Ходжа:

1
11
020
11
1

Поверхности размерности Кодаиры 1Править

Эллиптическая поверхность[en] - это поверхность, снабжённая эллиптическим расслоением (сюръективное голоморфное отображение в кривую B, такое, что все, кроме конечного числа слоёв, являются гладкими неприводимыми кривыми рода 1). Слой над общей точкой в таком расслоении является кривой рода 1 над полем функций на B. Обратно, если дана кривая рода 1 над полем функций на кривой, её относительной минимальной моделью будет эллиптическая поверхность. Кодаира и другие дали достаточно полное описание всех эллиптических поверхностей. В частности, Кодаира дал полный список возможных особых слоёв[en]. Теория эллиптических поверхностей аналогична теории собственных регулярных моделей эллиптических кривых над кольцами дискретного нормирования (то есть кольцом p-адических целых чисел) и дедекиндовых областей (то есть кольцом целых чисел числового поля).

Для конечных характеристик 2 и 3 можно получить квазиэллиптические поверхности, почти все слои которых могут быть рациональными кривыми с одним узлом, «вырожденными эллиптическими кривыми».

Любая поверхность с размерностью Кодаиры[en] 1 является эллиптической (или квазиэллиптической в случае характеристик 2 и 3), но обратное неверно — эллиптическая поверхность может иметь размерности Кодаиры  , 0 или 1.

Все поверхности Энриквеса[en], все гиперэллиптические поверхности, все поверхности Кодаиры[en], некоторые поверхности K3[en], некоторые абелевы поверхности[en] и некоторые рациональные поверхности являются эллиптическими, в этих примерах они имеют размерность Кодаиры, меньшую 1.

Эллиптическая поверхность, базовая кривая B которой имеет род по меньшей мере 2, всегда имеет размерность Кодаиры 1, но размерность Кодаиры может равняться 1 также для некоторых эллиптических поверхностей с кривой B рода 0 или 1.

Инварианты:  .

Пример: Если E — эллиптическая кривая и B является кривой рода по меньшей мере 2, то   также является эллиптической поверхностью с размерностью Кодаиры 1.

Поверхности размерности Кодаиры 2 (поверхности общего типа)Править

Все они являются алгебраическими и в некотором смысле большинство поверхностей находятся в этом классе. Гизекер показал, что существует грубая схема модулей[en] для поверхностей общего типа. Это значит, что для любых фиксированных значений чисел Чженя   и   существует квазипроективная схема, классифицарующая поверхности общего типа с этими числами Чженя. Однако задача явного описания этих схем очень сложна и имеется очень мало пар чисел Чженя, для которых это сделано (за исключением случаев, когда схема пуста).

Инварианты: Существуют некоторые условия, которым должны удовлетворять числа Чженя минимальной комплексной поверхности общего типа:

  •  
  •   (неравенство Богомолова-Миаоки-Яу)
  •   (неравенство Нётера)
  •   делится на 12.

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

Примеры: Простейшие примеры — это произведение двух кривых рода по меньшей мере 2 и гиперповерхности степени по меньшей мере 5 в P3. Известно большое число других конструкций. Однако не известна конструкция, которая даёт «типичную» поверхность общего типа для больших чисел Чженя. Фактически даже не известно, существует ли приемлемое понятие «типичной» поверхности общего типа. Найдено много других примеров, включая большинство модулярных поверхностей Гильберта[en], ложные проективные плоскости, поверхности Барлоу[en] и так далее.

ПримечанияПравить

ЛитератураПравить