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

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

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

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

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

 

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

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

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

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

Оскар Зарисский построил несколько поверхностей в положительной характеристике, являющихся унирациональными^[en], но не рациональными, которые получаются из несепарабельных расширений (поверхности Зарисского^[en]). Для положительной характеристики Серр показал, что $h^0(\mathrm{\Omega <!--\; \Omega \; -->})$$h^{0}(\Omega )$  может отличаться от $h^1(O)$$h^{1}(O)$ , а Игуса показал, что даже если они совпадают, они могут быть больше иррегулярности^[en] (размерности многообразия Пикара^[en]).

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

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

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

• K — каноническое линейное расслоение^[en], сечениями которого являются голоморфные 2-формы.
• $P_n=\mathrm{d}\mathrm{i}\mathrm{m}{H}^0(K^n)$$P_{n}=\mathrm {dim} \,H^{0}(K^{n})$  для n ≥ 1 — плюрироды. Они являются бирациональными инвариантами, то есть инвариантами относительно раздутий. Используя теорию Зайберга — Виттена, Фридман и Морган показали, что для комплексных многообразий плюрироды зависят лишь от лежащих в основе ориентированных гладких 4-многообразий. Для некэлеровых поверхностей плюрироды определяются фундаментальной группой, но для кэлеровых поверхностей существуют примеры гомеоморфных поверхностей, имеющих разные плюрироды и размерности Кодайры. Плюрироды индивидуально употребляются не часто, наиболее важная вещь относительно их — их скорость роста, измеряемая размерностью Кодайры^[en].
• κ — размерность Кодайры^[en]. Она равна $-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$$-\infty$  (иногда пишут −1), если все плюрироды равны 0, в противном случае — наименьшее число (0, 1 или 2 для поверхностей), такое, что $P_n/n^{\mathrm{\kappa <!--\; \kappa \; -->}}$$P_{n}/n^{\kappa }$  ограничено. Энриквес не использовал это определение, вместо этого он использовал значения $P_{12}$$P_{12}$  и $K.K=c_1^2$$K.K=c_{1}^{2}$ . Они определяют размерность Кодайры, поскольку размерность Кодайры $\mathrm{\kappa <!--\; \kappa \; -->}=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$$\kappa =-\infty$  соответствует $P_{12}=0$$P_{12}=0$ , $\mathrm{\kappa <!--\; \kappa \; -->}=0$$\kappa =0$  соответствует $P_{12}=1$$P_{12}=1$ , $\mathrm{\kappa <!--\; \kappa \; -->}=1$$\kappa =1$  соответствует $P_{12}>1$$P_{12}>1$ и $K.K=0$$K.K=0$ , в то время как $\mathrm{\kappa <!--\; \kappa \; -->}=2$$\kappa =2$  соответствует $P_{12}>1$$P_{12}>1$  и $K.K>0$$K.K>0$ .
• $h^{i,j}=\mathrm{d}\mathrm{i}\mathrm{m}{H}^j(X,{\mathrm{\Omega <!--\; \Omega \; -->}}^i)$$h^{i,j}=\mathrm {dim} \,H^{j}(X,\Omega ^{i})$  (где ${\mathrm{\Omega <!--\; \Omega \; -->}}^i$$\Omega ^{i}$  — это пучок голоморфных i-форм) — это числа Ходжа, часто располагаемые в виде ромба Ходжа

		h0,0
	h1,0		h0,1
h2,0		h1,1		h0,2
	h2,1		h1,2
		h2,2

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

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

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

• $b_0,b_1,b_2,b_3,b_4$$b_{0},b_{1},b_{2},b_{3},b_{4}$  — это числа Бетти — $b_i=dim(H_i(S))$$b_{i}=dim(H_{i}(S))$ . $b_0=b_4=1$$b_{0}=b_{4}=1$  и $b_1=b_3=h^{1,0}+h^{0,1}=h^{2,1}+h^{1,2}$$b_{1}=b_{3}=h^{1,0}+h^{0,1}=h^{2,1}+h^{1,2}$  и $b_2=h^{2,0}+h^{1,1}+h^{0,2}$$b_{2}=h^{2,0}+h^{1,1}+h^{0,2}$ . В характеристике p > 0 числа Бетти (определяемые с помощью l-адических когомологий^[en]) не обязательно должны быть связаны таким образом с числами Ходжа.
• $e=b_0-<!--\; -\; -->b_1+b_2-<!--\; -\; -->b_3+b_4$$e=b_{0}-b_{1}+b_{2}-b_{3}+b_{4}$  — это эйлерова характеристика или число Эйлера.
• q — это иррегулярность^[en], размерность группы Пикара^[en] и многообразия Альбанезе^[en], которые для комплексных поверхностей (но не всегда для поверхностей в положительной характеристике) равны h^0,1.
• $p_g=h^{0,2}=h^{2,0}=P_1$$p_{g}=h^{0,2}=h^{2,0}=P_{1}$  — это геометрический род.
• $p_a=p_g-<!--\; -\; -->q=h^{0,2}-<!--\; -\; -->h^{0,1}$$p_{a}=p_{g}-q=h^{0,2}-h^{0,1}$  — это арифметический род^[en].
• $\mathrm{\chi <!--\; \chi \; -->}=p_g-<!--\; -\; -->q+1=h^{0,2}-<!--\; -\; -->h^{0,1}+1$$\chi =p_{g}-q+1=h^{0,2}-h^{0,1}+1$  — это голоморфная эйлерова характеристика^[en] тривиального расслоения. (Оно обычно отличается от числа Эйлера e, описанного выше.) По формуле Нётера^[en] это число также равно роду Тодда^[en] ($\frac{c_1^2+c_2}{12}$${\tfrac {c_{1}^{2}+c_{2}}{12}}$ )
• $\mathrm{\tau <!--\; \tau \; -->}$$\tau$  — это сигнатура (второй группы когомологий для комплексных поверхностей) и она равна $4\mathrm{\chi <!--\; \chi \; -->}-<!--\; -\; -->e$$4\chi -e$ , что равно ${\sum <!--\; \sum \; -->}_{i,j}(-<!--\; -\; -->1{)}^j{h}^{i,j}$$\sum \nolimits _{i,j}(-1)^{j}h^{i,j}$ .
• $b^{+}$$b^{+}$  и $b^{-<!--\; -\; -->}$$b^{-}$  являются размерностями максимальных положительно и отрицательно определённых подпространств $H^2$$H^2$ , так что $b^{+}+b^{-<!--\; -\; -->}=b_2$$b^{+}+b^{-}=b_{2}$  и $b^{+}-<!--\; -\; -->b^{-<!--\; -\; -->}=\mathrm{\tau <!--\; \tau \; -->}$$b^{+}-b^{-}=\tau$ .
• $c_2=e$$c_{2}=e$  и $c_1^2=K^2=12\mathrm{\chi <!--\; \chi \; -->}-<!--\; -\; -->e$$c_{1}^{2}=K^{2}=12\chi -e$  — это числа Чженя^[en], определённые как интегралы различных многочленов от классов Чжэня^[en] над многообразием.

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

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

Существуют другие инварианты компактных комплексных поверхностей, которые не используются столь активно в классификации. Сюда входят алгебраические инварианты, такие как группа Пикара^[en] Pic(X), её фактор — группа Нерона — Севери^[en] NS(X) с рангом (число Пикара)^[en] ρ, топологические инварианты, такие как фундаментальная группа ${\mathrm{\pi <!--\; \pi \; -->}}_1$$\pi _{1}$  и группы целочисленных гомологий и когомологий, а также инварианты лежащих в основе гладких четырёхмерныхмерных многообразий, такие как инварианты Зайберга — Виттена^[en] и инварианты Дональдсона^[en].

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

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

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

Любая поверхность X бирационально эквивалентна минимальной неособой поверхности и эта минимальная поверхность единственна, если размерность Кодайры поверхности X не меньше 0 или поверхность не является алгебраической. Алгебраические поверхности с размерностью Кодайры $-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$$-\infty$  могут быть бирационально эквивалентны более одной минимальной неособой поверхности, но легко описать связь этих минимальных поверхностей. Например, раздутая в точке поверхность ${\mathbf{P}}^1\times <!--\; \times \; -->{\mathbf{P}}^1$$\mathbf {P} ^{1}\times \mathbf {P} ^{1}$  изоморфна ${\mathbf{P}}^2$$\mathbf {P} ^{2}$ , раздутой дважды. Так что для классификации всех компактных комплексных поверхностей с точностью до бирационального изоморфизма (более или менее) достаточно классифицировать минимальные неособые поверхности.

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

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

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

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

Рациональная поверхность — это поверхность, бирационально эквивалентная комплексной проективной плоскости P². Все они являются алгебраическими. Минимальными рациональными поверхностями являются сами поверхности P² и поверхности Хирцебруха ${\mathrm{\Sigma <!--\; \Sigma \; -->}}_n$$\Sigma _{n}$  для n = 0 или $n⩾<!--\; ⩾\; -->2$$n \geqslant 2$ . (Поверхность Хирцебруха ${\mathrm{\Sigma <!--\; \Sigma \; -->}}_n$$\Sigma _{n}$  является ${\mathbf{P}}^1$$\mathbf {P} ^{1}$ -расслоением над ${\mathbf{P}}^1$$\mathbf {P} ^{1}$ , связанным с пучком O(0)+O(n). Поверхность ${\mathrm{\Sigma <!--\; \Sigma \; -->}}_0$$\Sigma _{0}$  изоморфна ${\mathbf{P}}^1\times <!--\; \times \; -->{\mathbf{P}}^1$$\mathbf {P} ^{1}\times \mathbf {P} ^{1}$ , а ${\mathrm{\Sigma <!--\; \Sigma \; -->}}_1$$\Sigma_1$  изоморфна раздутию P² в точке, так что она не минимальна.)

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

Ромбы Ходжа:

		1
	0		0
0		1		0	(Проективная плоскость)
	0		0
		1

		1
	0		0
0		2		0	(Поверхность Хирцебруха)
	0		0
		1

Примеры: P², P¹×P¹ = Σ₀, поверхности Хирцебруха Σ_n, квадрики, кубические поверхности, поверхности дель Пеццо^[en], поверхность Веронезе. Многие из этих примеров не являются минимальными.

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

Линейчатые поверхности рода g имеют гладкий морфизм в кривую рода g, слоями которого являются прямые P¹. Все эти поверхности являются алгебраическими. (Поверхности рода 0 являются поверхностями Хирцебруха и они рациональны). Любая линейчатая поверхность бирационально эквивалентна ${\mathbf{P}}^1\times <!--\; \times \; -->C$$\mathbf {P} ^{1}\times C$  для единственной кривой C, так что классификация линейчатых поверхностей с точностью до бирациональной эквивалентности, по существу, та же самая, что и классификация кривых. Линейчатая поверхность, не изоморфная ${\mathbf{P}}^1\times <!--\; \times \; -->{\mathbf{P}}^1$$\mathbf {P} ^{1}\times \mathbf {P} ^{1}$ , имеет единственную образующую (${\mathbf{P}}^1\times <!--\; \times \; -->{\mathbf{P}}^1$$\mathbf {P} ^{1}\times \mathbf {P} ^{1}$  имеет две).

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

Ромб Ходжа:

		1
	g		g
0		2		0
	g		g
		1

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

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

Основная статья: Поверхность класса VII

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

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

Ромб Ходжа:

		1
	0		1
0		b2		0
	1		0
		1

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

Эти поверхности классифицируются формулой Нётера $12\mathrm{\chi <!--\; \chi \; -->}=c_2+c_1^2$$12\chi =c_{2}+c_{1}^{2}$ . Для размерности Кодайры 0 K имеет нулевой индекс самопересечения^[en], так что $c_1^2=0$$c_{1}^{2}=0$ . Используя выражения $\mathrm{\chi <!--\; \chi \; -->}=h^{0,0}-<!--\; -\; -->h^{0,1}+h^{0,2}$$\chi =h^{0,0}-h^{0,1}+h^{0,2}$  и $c_2=2-<!--\; -\; -->2b_1+b_2$$c_{2}=2-2b_{1}+b_{2}$ , получаем

$10+12h^{0,2}=8h^{0,1}+2\left(2h^{0,1}-<!--\; -\; -->b_1+b_2\right)$$10+12h^{0,2}=8h^{0,1}+2\left(2h^{0,1}-b_{1}+b_{2}\right)$ 

Более того, поскольку $\mathrm{\kappa <!--\; \kappa \; -->}=0$$\kappa =0$ , имеем

$h^{0,2}={\begin{cases}1&K=0\\0&K\neq 0\end{cases}}$ 

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

$8h^{0,1}+2\left(2h^{0,1}-b_{1}+b_{2}\right)={\begin{cases}10&K=0\\22&K\neq 0\end{cases}}$ 

В общем случае $2h^{0,1}⩾<!--\; ⩾\; -->b_1$$2h^{0,1}\geqslant b_{1}$ , так что три члена слева являются неотрицательными целыми числами, так что имеется всего несколько решений этого уравнения. Для алгебраических поверхностей $2h^{0,1}-<!--\; -\; -->b_1$$2h^{0,1}-b_{1}$  является чётным целым числом между 0 и 2p_g, в то время как для компактных комплексных поверхностей значение равно 0 или 1 и равно 0 для кэлеровых поверхностей. Для кэлеровых поверхностей имеем $h^{1,0}=h^{0,1}$$h^{1,0}=h^{0,1}$ .

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

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-многообразия со спин-структурой.

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

Ромб Ходжа:

		1
	0		0
1		20		1
	0		0
		1

Примеры:

• Квартики в P³(C)
• Поверхности Куммера^[en]. Они получаются факторизацией абелевой поверхности автоморфизмом a → −a, затем раздутием 16 особых точек.

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

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

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

Инварианты: Все плюрироды равны 1. Поверхность диффеоморфна $S^1\times <!--\; \times \; -->S^1\times <!--\; \times \; -->S^1\times <!--\; \times \; -->S^1$$S^{1}\times S^{1}\times S^{1}\times S^{1}$ , так что фундаментальной группой служит Z⁴.

Ромб Ходжа:

		1
	2		2
1		4		1
	2		2
		1

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

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

Основная статья: Поверхности Кодайры

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

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

Ромб Ходжа:

		1
	1		2
1		2		1	(Основная)
	2		1
		1

		1
	0		1
0		0		0	(Вторичная)
	1		0
		1

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

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

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

Это комплексные поверхности, для которых q = 0 и каноническое линейное расслоение нетривиально, но $P_2\ne <!--\; \ne \; -->0$$P_{2}\neq 0$ . Поверхности Энриквеса все являются алгебраическими (а потому кэлеровыми). Они являются факторами поверхности K3 по группам порядка 2 и их теория подобна теории алгебраических K3-поверхностей.

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

Ромб Ходжа:

		1
	0		0
0		10		0
	0		0
		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
	1		1
0		2		0
	1		1
		1

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

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

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

Любая поверхность с размерностью Кодайры^[en] 1 является эллиптической (или квазиэллиптической в случае характеристик 2 и 3), но обратное неверно — эллиптическая поверхность может иметь размерности Кодаиры $-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}$$-\infty$ , 0 или 1.

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

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

Инварианты: $c_1^2=0,c_2⩾<!--\; ⩾\; -->0$$c_{1}^{2}=0,c_{2}\geqslant 0$ .

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

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

Основная статья: Поверхность общего типа

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

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

• $c_1^2>0,c_2>0$$c_{1}^{2}>0,c_{2}>0$ 
• $c_1^2⩽<!--\; ⩽\; -->3c_2$$c_{1}^{2}\leqslant 3c_{2}$  (неравенство Богомолова-Миаоки-Яу)
• $5c_1^2-<!--\; -\; -->c_2+36⩾<!--\; ⩾\; -->0$$5c_{1}^{2}-c_{2}+36\geqslant 0$  (неравенство Нётера)
• $c_1^2+c_2$$c_{1}^{2}+c_{2}$  делится на 12.

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

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