Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Enriques–Kodaira classification
open-in-new
<h2 id="statement-of-the-classification">Statement of the classification</h2> <p>The Enriques–Kodaira classification of compact complex surfaces states that every nonsingular minimal compact complex surface is of exactly one of the 10 types listed on this page; in other words, it is one of the rational, ruled (genus > 0), type VII, K3, Enriques, Kodaira, toric, hyperelliptic, properly quasi-elliptic, or general type surfaces. </p><p>For the 9 classes of surfaces other than general type, there is a fairly complete description of what all the surfaces look like (which for class VII depends on the <a href="/facts/Global_spherical_shell_conjecture/YnJl2vud">global spherical shell conjecture</a>, still unproved in 2024). For surfaces of general type not much is known about their explicit classification, though many examples have been found. </p><p>The classification of algebraic surfaces in positive characteristic (Mumford 1969, Mumford & Bombieri 1976, 1977) is similar to that of algebraic surfaces in characteristic 0, except that there are no Kodaira surfaces or surfaces of type VII, and there are some extra families of Enriques surfaces in characteristic 2, and hyperelliptic surfaces in characteristics 2 and 3, and in Kodaira dimension 1 in characteristics 2 and 3 one also allows quasielliptic fibrations. These extra families can be understood as follows: In characteristic 0 these surfaces are the quotients of surfaces by finite groups, but in finite characteristics it is also possible to take quotients by finite <a href="/facts/Group_scheme/bJW14FE2">group schemes</a> that are not <a href="/facts/%25C3%2589tale_group_scheme/YcykXql0">étale</a>. </p><p><a href="/facts/Oscar_Zariski/JFNhobIR">Oscar Zariski</a> constructed some surfaces in positive characteristic that are unirational but not rational, derived from <a href="/facts/Inseparable_extension/9KBvXmz8">inseparable extensions</a> (<a href="/facts/Zariski_surface/xKQXv5tE">Zariski surfaces</a>). In positive characteristic Serre showed that h 0 ( Ω ) {\displaystyle h^{0}(\Omega )} may differ from h 1 ( O ) {\displaystyle h^{1}({\mathcal {O}})} , and Igusa showed that even when they are equal they may be greater than the irregularity (the dimension of the <a href="/facts/Picard_group/lWH0CoWQ">Picard variety</a>). </p> <h2 id="invariants-of-surfaces">Invariants of surfaces</h2> <h3>Hodge numbers and Kodaira dimension</h3> <p>The most important invariants of a compact complex surfaces used in the classification can be given in terms of the dimensions of various <a href="/facts/Coherent_sheaf_cohomology/BKAxIzgW">coherent sheaf cohomology</a> groups. The basic ones are the <a href="/facts/Plurigenera/nATGuzlF">plurigenera</a> and the Hodge numbers defined as follows: </p> <ul><li><i>K</i> is the <a href="/facts/Canonical_sheaf/nJKN8mpG">canonical line bundle</a> whose sections are the holomorphic 2-forms.</li></ul> <ul><li> P n = dim H 0 ( K n ) , n ⩾ 1 {\displaystyle P_{n}=\dim H^{0}(K^{n}),n\geqslant 1} are called the plurigenera. They are <a href="/facts/Birational/hsWqRhJ1">birational</a> invariants, i.e., invariant under blowing up. Using <a href="/facts/Seiberg%25E2%2580%2593Witten_theory/oa9VcBgy">Seiberg–Witten theory</a>, Robert Friedman and <a href="/facts/John_Morgan_(mathematician)/CHqR1naz">John Morgan</a> showed that for complex manifolds they only depend on the underlying oriented smooth 4-manifold. For non-Kähler surfaces the plurigenera are determined by the fundamental group, but for <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler surfaces</a> there are examples of surfaces that are homeomorphic but have different plurigenera and Kodaira dimensions. The individual plurigenera are not often used; the most important thing about them is their growth rate, measured by the <a href="/facts/Kodaira_dimension/dkG0mUuq">Kodaira dimension</a>.</li></ul> <ul><li> κ {\displaystyle \kappa } is the <a href="/facts/Kodaira_dimension/dkG0mUuq">Kodaira dimension</a>: it is − ∞ {\displaystyle -\infty } (sometimes written −1) if the plurigenera are all 0, and is otherwise the smallest number (0, 1, or 2 for surfaces) such that P n / n κ {\displaystyle P_{n}/n^{\kappa }} is bounded. Enriques did not use this definition: instead he used the values of P 12 {\displaystyle P_{12}} and K ⋅ K = c 1 2 {\displaystyle K\cdot K=c_{1}^{2}} . These determine the Kodaira dimension given the following correspondence:</li></ul> κ = − ∞ ⟷ P 12 = 0 κ = 0 ⟷ P 12 = 1 κ = 1 ⟷ P 12 > 1 and K ⋅ K = 0 κ = 2 ⟷ P 12 > 1 and K ⋅ K > 0 {\displaystyle {\begin{aligned}\kappa =-\infty &\longleftrightarrow P_{12}=0\\\kappa =0&\longleftrightarrow P_{12}=1\\\kappa =1&\longleftrightarrow P_{12}>1{\text{ and }}K\cdot K=0\\\kappa =2&\longleftrightarrow P_{12}>1{\text{ and }}K\cdot K>0\\\end{aligned}}} <ul><li> h i , j = dim H j ( X , Ω i ) , {\displaystyle h^{i,j}=\dim H^{j}(X,\Omega ^{i}),} where Ω i {\displaystyle \Omega ^{i}} is the sheaf of <a href="/facts/Holomorphic_function/kVzthtEf">holomorphic</a> <i>i</i>-forms, are the <a href="/facts/Hodge_number/b6Mju74J">Hodge numbers</a>, often arranged in the Hodge diamond:</li></ul> h 0 , 0 h 1 , 0 h 0 , 1 h 2 , 0 h 1 , 1 h 0 , 2 h 2 , 1 h 1 , 2 h 2 , 2 {\displaystyle {\begin{matrix}&&h^{0,0}&&\\&h^{1,0}&&h^{0,1}&\\h^{2,0}&&h^{1,1}&&h^{0,2}\\&h^{2,1}&&h^{1,2}&\\&&h^{2,2}&&\\\end{matrix}}} By <a href="/facts/Serre_duality/qAKpXPM8">Serre duality</a> h i , j = h 2 − i , 2 − j {\displaystyle h^{i,j}=h^{2-i,2-j}} and h 0 , 0 = h 2 , 2 = 1. {\displaystyle h^{0,0}=h^{2,2}=1.} The Hodge numbers of a complex surface depend only on the oriented real <a href="/facts/Cohomology/J7FJzTNh">cohomology</a> ring of the surface, and are invariant under birational transformations except for h 1 , 1 {\displaystyle h^{1,1}} which increases by 1 under blowing up a single point. <ul><li>If the surface is <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a> then h i , j = h j , i {\displaystyle h^{i,j}=h^{j,i}} and there are only three independent Hodge numbers.</li> <li>If the surface is compact then h 1 , 0 {\displaystyle h^{1,0}} equals h 0 , 1 {\displaystyle h^{0,1}} or h 0 , 1 − 1. {\displaystyle h^{0,1}-1.} </li></ul> <h3>Invariants related to Hodge numbers</h3> <p>There are many invariants that (at least for complex surfaces) can be written as linear combinations of the Hodge numbers, as follows: </p> <ul><li><a href="/facts/Betti_number/r42Y8k6f">Betti numbers</a>: defined by b i = dim H i ( S ) , 0 ⩽ i ⩽ 4. {\displaystyle b_{i}=\dim H^{i}(S),0\leqslant i\leqslant 4.} </li></ul> { b 0 = b 4 = 1 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 {\displaystyle {\begin{cases}b_{0}=b_{4}=1\\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}\end{cases}}} In characteristic <i>p</i> > 0 the Betti numbers are defined using <a href="/facts/L-adic_cohomology/KXJ8a6Hw">l-adic cohomology</a> and need not satisfy these relations. <ul><li><a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> or Euler number:</li></ul> e = b 0 − b 1 + b 2 − b 3 + b 4 . {\displaystyle e=b_{0}-b_{1}+b_{2}-b_{3}+b_{4}.} <ul><li>The <a href="/facts/Irregularity_of_a_surface/y3ozma2e">irregularity</a> is defined as the dimension of the <a href="/facts/Picard_variety/lWH0CoWQ">Picard variety</a> and the <a href="/facts/Albanese_variety/IC9tc5l0">Albanese variety</a> and denoted by <i>q</i>. For complex surfaces (but not always for surfaces of prime characteristic)</li></ul> q = h 0 , 1 . {\displaystyle q=h^{0,1}.} <ul><li>The <a href="/facts/Geometric_genus/S2oQVNCb">geometric genus</a>:</li></ul> p g = h 0 , 2 = h 2 , 0 = P 1 . {\displaystyle p_{g}=h^{0,2}=h^{2,0}=P_{1}.} <ul><li>The <a href="/facts/Arithmetic_genus/hYdDY8Su">arithmetic genus</a>:</li></ul> p a = p g − q = h 0 , 2 − h 0 , 1 . {\displaystyle p_{a}=p_{g}-q=h^{0,2}-h^{0,1}.} <ul><li>The <a href="/facts/Holomorphic_Euler_characteristic/BKAxIzgW">holomorphic Euler characteristic</a> of the trivial bundle (usually differs from the Euler number <i>e</i> defined above):</li></ul> χ = p g − q + 1 = h 0 , 2 − h 0 , 1 + 1. {\displaystyle \chi =p_{g}-q+1=h^{0,2}-h^{0,1}+1.} By <a href="/facts/Noether%2527s_formula/BbIRe5R4">Noether's formula</a> it is also equal to the <a href="/facts/Todd_genus/o0sLwuKe">Todd genus</a> 1 12 ( c 1 2 + c 2 ) . {\displaystyle {\tfrac {1}{12}}(c_{1}^{2}+c_{2}).} <ul><li>The signature of the second cohomology group for complex surfaces is denoted by τ {\displaystyle \tau } :</li></ul> τ = 4 χ − e = ∑ i , j ( − 1 ) j h i , j . {\displaystyle \tau =4\chi -e=\sum \nolimits _{i,j}(-1)^{j}h^{i,j}.} <ul><li> b ± {\displaystyle b^{\pm }} are the dimensions of the maximal positive and negative definite subspaces of H 2 , {\displaystyle H^{2},} so:</li></ul> { b + + b − = b 2 b + − b − = τ {\displaystyle {\begin{cases}b^{+}+b^{-}=b_{2}\\b^{+}-b^{-}=\tau \end{cases}}} <ul><li><i>c</i>2 = <i>e</i> and c 1 2 = K 2 = 12 χ − e {\displaystyle c_{1}^{2}=K^{2}=12\chi -e} are the <a href="/facts/Chern_number/Tw2WD5hM">Chern numbers</a>, defined as the integrals of various polynomials in the <a href="/facts/Chern_class/Tw2WD5hM">Chern classes</a> over the manifold.</li></ul> <h3>Other invariants</h3> <p>There are further invariants of compact complex surfaces that are not used so much in the classification. These include algebraic invariants such as the <a href="/facts/Picard_group/lWH0CoWQ">Picard group</a> Pic(<i>X</i>) of divisors modulo <a href="/facts/Linear_equivalence/V0QDypeo">linear equivalence</a>, its quotient the <a href="/facts/N%25C3%25A9ron%25E2%2580%2593Severi_group/MKKDDgAW">Néron–Severi group</a> NS(<i>X</i>) with rank the <a href="/facts/Picard_number/lWH0CoWQ">Picard number</a> ρ, topological invariants such as the <a href="/facts/Fundamental_group/VyYtLqSP">fundamental group</a> π1 and the integral homology and cohomology groups, and invariants of the underlying smooth <a href="/facts/4-manifold/XwVxwqnr">4-manifold</a> such as the <a href="/facts/Seiberg%25E2%2580%2593Witten_invariant/VEKsxUBA">Seiberg–Witten invariants</a> and <a href="/facts/Donaldson_invariant/dPN0P2ro">Donaldson invariants</a>. </p> <h2 id="minimal-models-and-blowing-up">Minimal models and blowing up</h2> <p>Any surface is birational to a non-singular surface, so for most purposes it is enough to classify the non-singular surfaces. </p><p>Given any point on a surface, we can form a new surface by <a href="/facts/Blowing_up/YejuoWYu">blowing up</a> this point, which means roughly that we replace it by a copy of the projective line. For the purpose of this article, a non-singular surface <i>X</i> is called minimal if it cannot be obtained from another non-singular surface by blowing up a point. By <a href="/facts/Castelnuovo%2527s_contraction_theorem/SFraYv3z">Castelnuovo's contraction theorem</a>, this is equivalent to saying that <i>X</i> has no (−1)-curves (smooth rational curves with self-intersection number −1). (In the more modern terminology of the <a href="/facts/Minimal_model_program/f15RyS0J">minimal model program</a>, a smooth projective surface <i>X</i> would be called minimal if its canonical line bundle <i>KX</i> is <a href="/facts/Nef_line_bundle/TdTxFsKC">nef</a>. A smooth projective surface has a minimal model in that stronger sense if and only if its Kodaira dimension is nonnegative.) </p><p>Every surface <i>X</i> is birational to a minimal non-singular surface, and this minimal non-singular surface is unique if <i>X</i> has Kodaira dimension at least 0 or is not algebraic. Algebraic surfaces of Kodaira dimension − ∞ {\displaystyle -\infty } may be birational to more than one minimal non-singular surface, but it is easy to describe the relation between these minimal surfaces. For example, P1 × P1 blown up at a point is isomorphic to P2 blown up twice. So to classify all compact complex surfaces up to birational isomorphism it is (more or less) enough to classify the minimal non-singular ones. </p> <h2 id="surfaces-of-kodaira-dimension-">Surfaces of Kodaira dimension −∞</h2> <p>Algebraic surfaces of Kodaira dimension − ∞ {\displaystyle -\infty } can be classified as follows. If <i>q</i> > 0 then the map to the Albanese variety has fibers that are projective lines (if the surface is minimal) so the surface is a ruled surface. If <i>q</i> = 0 this argument does not work as the Albanese variety is a point, but in this case <a href="/facts/Rational_surface/8LMRdT0m">Castelnuovo's theorem</a> implies that the surface is rational. </p><p>For non-algebraic surfaces Kodaira found an extra class of surfaces, called type VII, which are still not well understood. </p> <h3>Rational surfaces</h3> <p><a href="/facts/Rational_surface/8LMRdT0m">Rational surface</a> means surface birational to the <a href="/facts/Complex_projective_plane/5WFpDyeV">complex projective plane</a> P2. These are all algebraic. The minimal rational surfaces are P2 itself and the <a href="/facts/Hirzebruch_surface/Ev3glgMl">Hirzebruch surfaces</a> Σ<i>n</i> for <i>n</i> = 0 or <i>n</i> ≥ 2. (The Hirzebruch surface Σ<i>n</i> is the P1 bundle over P1 associated to the sheaf O(0) + O(<i>n</i>). The surface Σ0 is isomorphic to P1 × P1, and Σ1 is isomorphic to P2 blown up at a point so is not minimal.) </p><p>Invariants: The plurigenera are all 0 and the fundamental group is trivial. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td>0</td><td></td><td>1</td><td></td><td>0</td><td>(Projective plane)</td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td>0</td><td></td><td>2</td><td></td><td>0</td><td>(Hirzebruch surfaces)</td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Examples: P2, P1 × P1 = Σ0, Hirzebruch surfaces Σn, <a href="/facts/Quadric/L3cTApd4">quadrics</a>, <a href="/facts/Cubic_surface/jCvavESm">cubic surfaces</a>, <a href="/facts/Del_Pezzo_surface/7k8o6VJD">del Pezzo surfaces</a>, <a href="/facts/Veronese_surface/mXhQ3ouK">Veronese surface</a>. Many of these examples are non-minimal. </p> <h3>Ruled surfaces of genus > 0</h3> <p>Ruled surfaces of genus <i>g</i> have a smooth morphism to a curve of genus <i>g</i> whose fibers are lines P1. They are all algebraic. (The ones of genus 0 are the Hirzebruch surfaces and are rational.) Any ruled surface is birationally equivalent to P1 × <i>C</i> for a unique curve <i>C</i>, so the classification of ruled surfaces up to birational equivalence is essentially the same as the classification of curves. A ruled surface not isomorphic to P1 × P1 has a unique ruling (P1 × P1 has two). </p><p>Invariants: The plurigenera are all 0. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>g</td><td></td><td>g</td><td></td></tr><tr><td>0</td><td></td><td>2</td><td></td><td>0</td></tr><tr><td></td><td>g</td><td></td><td>g</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Examples: The product of any curve of genus > 0 with <i>P</i>1. </p> <h3>Surfaces of class VII</h3> <p class="note">Main article: <a href="/facts/Surface_of_class_VII/YnJl2vud">Surface of class VII</a></p> <p>These surfaces are never algebraic or <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a>. The minimal ones with <i>b</i>2 = 0 have been classified by Bogomolov, and are either <a href="/facts/Hopf_surface/4eEWHP8d">Hopf surfaces</a> or <a href="/facts/Inoue_surface/hSqdNklQ">Inoue surfaces</a>. Examples with positive second Betti number include <a href="/facts/Inoue-Hirzebruch_surface/U5lKGtA7">Inoue-Hirzebruch surfaces</a>, <a href="/facts/Enoki_surface/X7CxUkmB">Enoki surfaces</a>, and more generally <a href="/facts/Kato_surface/f8fkyBbC">Kato surfaces</a>. The <a href="/facts/Global_spherical_shell_conjecture/YnJl2vud">global spherical shell conjecture</a> implies that all minimal class VII surfaces with positive second Betti number are Kato surfaces, which would more or less complete the classification of the type VII surfaces. </p><p>Invariants: <i>q</i> = 1, <i>h</i>1,0 = 0. All plurigenera are 0. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>1</td><td></td></tr><tr><td>0</td><td></td><td><i>b</i>2</td><td></td><td>0</td></tr><tr><td></td><td>1</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <h2 id="surfaces-of-kodaira-dimension-0">Surfaces of Kodaira dimension 0</h2> <p>These surfaces are classified by starting with Noether's formula 12 χ = c 2 + c 1 2 . {\displaystyle 12\chi =c_{2}+c_{1}^{2}.} For Kodaira dimension 0, <i>K</i> has zero <a href="/facts/Self-intersection_number/UgckwVGF">intersection number with itself</a>, so c 1 2 = 0. {\displaystyle c_{1}^{2}=0.} Using </p> χ = h 0 , 0 − h 0 , 1 + h 0 , 2 c 2 = 2 − 2 b 1 + b 2 {\displaystyle {\begin{aligned}\chi &=h^{0,0}-h^{0,1}+h^{0,2}\\c_{2}&=2-2b_{1}+b_{2}\end{aligned}}} <p>we arrive at: </p> 10 + 12 h 0 , 2 = 8 h 0 , 1 + 2 ( 2 h 0 , 1 − b 1 ) + b 2 {\displaystyle 10+12h^{0,2}=8h^{0,1}+2\left(2h^{0,1}-b_{1}\right)+b_{2}} <p>Moreover since <i>κ</i> = 0 we have: </p> h 0 , 2 = { 1 K = 0 0 otherwise {\displaystyle h^{0,2}={\begin{cases}1&K=0\\0&{\text{otherwise}}\end{cases}}} <p>combining this with the previous equation gives: </p> 8 h 0 , 1 + 2 ( 2 h 0 , 1 − b 1 ) + b 2 = { 22 K = 0 10 otherwise {\displaystyle 8h^{0,1}+2\left(2h^{0,1}-b_{1}\right)+b_{2}={\begin{cases}22&K=0\\10&{\text{otherwise}}\end{cases}}} <p>In general 2<i>h</i>0,1 ≥ <i>b</i>1, so three terms on the left are non-negative integers and there are only a few solutions to this equation. </p> <ul><li>For algebraic surfaces 2<i>h</i>0,1 − <i>b</i>1 is an even integer between 0 and 2<i>pg</i>.</li> <li>For compact complex surfaces 2<i>h</i>0,1 − <i>b</i>1 = 0 or 1.</li> <li>For <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler surfaces</a> 2<i>h</i>0,1 − <i>b</i>1 = 0 and <i>h</i>1,0 = <i>h</i>0,1.</li></ul> <p>Most solutions to these conditions correspond to classes of surfaces, as in the following table: </p> <table><tbody><tr><th><i>b</i>2</th><th><i>b</i>1</th><th><i>h</i>0,1</th><th><i>pg</i> = <i>h</i>0,2</th><th><i>h</i>1,0</th><th><i>h</i>1,1</th><th>Surfaces</th><th>Fields</th></tr><tr><td>22</td><td>0</td><td>0</td><td>1</td><td>0</td><td>20</td><td>K3</td><td>Any. Always <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a> over the complex numbers, but need not be algebraic.</td></tr><tr><td>10</td><td>0</td><td>0</td><td>0</td><td>0</td><td>10</td><td>Classical Enriques</td><td>Any. Always algebraic.</td></tr><tr><td>10</td><td>0</td><td>1</td><td>1</td><td></td><td></td><td>Non-classical Enriques</td><td>Only characteristic 2</td></tr><tr><td>6</td><td>4</td><td>2</td><td>1</td><td>2</td><td>4</td><td>Abelian surfaces, tori</td><td>Any. Always <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a> over the complex numbers, but need not be algebraic.</td></tr><tr><td>2</td><td>2</td><td>1</td><td>0</td><td>1</td><td>2</td><td>Hyperelliptic</td><td>Any. Always algebraic</td></tr><tr><td>2</td><td>2</td><td>1 or 2</td><td>0 or 1</td><td></td><td></td><td>Quasi-hyperelliptic</td><td>Only characteristics 2, 3</td></tr><tr><td>4</td><td>3</td><td>2</td><td>1</td><td>1</td><td>2</td><td>Primary Kodaira</td><td>Only complex, never <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a></td></tr><tr><td>0</td><td>1</td><td>1</td><td>0</td><td>0</td><td>0</td><td>Secondary Kodaira</td><td>Only complex, never <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a></td></tr></tbody></table> <h3>K3 surfaces</h3> <p>These are the minimal compact complex surfaces of Kodaira dimension 0 with <i>q</i> = 0 and trivial canonical line bundle. They are all <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler manifolds</a>. All K3 surfaces are diffeomorphic, and their diffeomorphism class is an important example of a smooth spin simply connected 4-manifold. </p><p>Invariants: The second cohomology group <i>H</i>2(<i>X</i>, Z) is isomorphic to the unique even <a href="/facts/Unimodular_lattice/6r8l4y81">unimodular lattice</a> II3,19 of dimension 22 and signature −16. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td>1</td><td></td><td>20</td><td></td><td>1</td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Examples: </p> <ul><li>Degree 4 hypersurfaces in P3(C)</li> <li><a href="/facts/Kummer_surface/q0LnNkSx">Kummer surfaces</a>. These are obtained by <i>quotienting out</i> an abelian surface by the automorphism <i>a</i> → −<i>a</i>, then blowing up the 16 singular points.</li></ul> <p>A marked K3 surface is a K3 surface together with an isomorphism from II3,19 to <i>H</i>2(<i>X</i>, Z). The moduli space of marked K3 surfaces is connected non-Hausdorff smooth analytic space of dimension 20. The algebraic K3 surfaces form a countable collection of 19-dimensional subvarieties of it. </p> <h3>Abelian surfaces and 2-dimensional complex tori</h3> <p>The two-dimensional <a href="/facts/Complex_tori/nh9BNgYU">complex tori</a> include the <a href="/facts/Abelian_surface/fDgfrryd">abelian surfaces</a>. One-dimensional complex tori are just elliptic curves and are all algebraic, but Riemann discovered that most complex tori of dimension 2 are not algebraic. The algebraic ones are exactly the 2-dimensional <a href="/facts/Abelian_variety/dGSDVruG">abelian varieties</a>. Most of their theory is a special case of the theory of higher-dimensional tori or abelian varieties. Criteria to be a product of two elliptic curves (up to <a href="/facts/Isogeny/ngeefttF">isogeny</a>) were a popular study in the nineteenth century. </p><p>Invariants: The plurigenera are all 1. The surface is diffeomorphic to <i>S</i>1 × <i>S</i>1 × <i>S</i>1 × <i>S</i>1 so the fundamental group is Z4. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>2</td><td></td><td>2</td><td></td></tr><tr><td>1</td><td></td><td>4</td><td></td><td>1</td></tr><tr><td></td><td>2</td><td></td><td>2</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Examples: A product of two elliptic curves. The Jacobian of a genus 2 curve. Any quotient of C2 by a lattice. </p> <h3>Kodaira surfaces</h3> <p class="note">Main article: <a href="/facts/Kodaira_surface/SudkwewF">Kodaira surface</a></p> <p>These are never algebraic, though they have non-constant meromorphic functions. They are usually divided into two subtypes: primary Kodaira surfaces with trivial canonical bundle, and secondary Kodaira surfaces which are quotients of these by finite groups of orders 2, 3, 4, or 6, and which have non-trivial canonical bundles. The secondary Kodaira surfaces have the same relation to primary ones that Enriques surfaces have to K3 surfaces, or bielliptic surfaces have to abelian surfaces. </p><p>Invariants: If the surface is the quotient of a primary Kodaira surface by a group of order <i>k</i> = 1, 2, 3, 4, 6, then the plurigenera <i>Pn</i> are 1 if <i>n</i> is divisible by <i>k</i> and 0 otherwise. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>1</td><td></td><td>2</td><td></td></tr><tr><td>1</td><td></td><td>2</td><td></td><td>1</td><td>(Primary)</td></tr><tr><td></td><td>2</td><td></td><td>1</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>1</td><td></td></tr><tr><td>0</td><td></td><td>0</td><td></td><td>0</td><td>(Secondary)</td></tr><tr><td></td><td>1</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Examples: Take a non-trivial line bundle over an elliptic curve, remove the zero section, then quotient out the fibers by Z acting as multiplication by powers of some <a href="/facts/Complex_number/2w7mqI7e">complex number</a> <i>z</i>. This gives a primary Kodaira surface. </p> <h3>Enriques surfaces</h3> <p class="note">Main article: <a href="/facts/Enriques_surface/Mwx4f1uI">Enriques surface</a></p> <p>These are the complex surfaces such that <i>q</i> = 0 and the canonical line bundle is non-trivial, but has trivial square. Enriques surfaces are all algebraic (and therefore <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler</a>). They are quotients of K3 surfaces by a group of order 2 and their theory is similar to that of algebraic K3 surfaces. </p><p>Invariants: The plurigenera <i>Pn</i> are 1 if <i>n</i> is even and 0 if <i>n</i> is odd. The fundamental group has order 2. The second cohomology group H2(<i>X</i>, Z) is isomorphic to the sum of the unique even <a href="/facts/Unimodular_lattice/6r8l4y81">unimodular lattice</a> II1,9 of dimension 10 and signature −8 and a group of order 2. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td>0</td><td></td><td>10</td><td></td><td>0</td></tr><tr><td></td><td>0</td><td></td><td>0</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Marked Enriques surfaces form a connected 10-dimensional family, which has been described explicitly. </p><p>In characteristic 2 there are some extra families of Enriques surfaces called singular and supersingular Enriques surfaces; see the article on <a href="/facts/Enriques_surface/Mwx4f1uI">Enriques surfaces</a> for details. </p> <h3>Hyperelliptic (or bielliptic) surfaces</h3> <p class="note">Main article: <a href="/facts/Hyperelliptic_surface/AfvKoWYL">hyperelliptic surface</a></p> <p>Over the complex numbers these are quotients of a product of two elliptic curves by a finite group of automorphisms. The finite group can be Z/2Z, Z/2Z + Z/2Z, Z/3Z, Z/3Z + Z/3Z, Z/4Z, Z/4Z + Z/2Z, or Z/6Z, giving seven families of such surfaces. </p><p>Hodge diamond: </p> <table><tbody><tr><td></td><td></td><td>1</td><td></td><td></td></tr><tr><td></td><td>1</td><td></td><td>1</td><td></td></tr><tr><td>0</td><td></td><td>2</td><td></td><td>0</td></tr><tr><td></td><td>1</td><td></td><td>1</td><td></td></tr><tr><td></td><td></td><td>1</td><td></td><td></td></tr></tbody></table> <p>Over fields of characteristics 2 or 3 there are some extra families given by taking quotients by a non-etale group scheme; see the article on <a href="/facts/Hyperelliptic_surface/AfvKoWYL">hyperelliptic surfaces</a> for details. </p> <h2 id="surfaces-of-kodaira-dimension-1">Surfaces of Kodaira dimension 1</h2> <p>An <a href="/facts/Elliptic_surface/XRDYGhYb">elliptic surface</a> is a surface equipped with an elliptic fibration (a surjective holomorphic map to a curve <i>B</i> such that all but finitely many fibers are smooth irreducible curves of genus 1). The generic fiber in such a fibration is a genus 1 curve over the function field of <i>B</i>. Conversely, given a genus 1 curve over the function field of a curve, its relative minimal model is an elliptic surface. Kodaira and others have given a fairly complete description of all elliptic surfaces. In particular, Kodaira gave a <a href="/facts/Elliptic_surface/XRDYGhYb">complete list of the possible singular fibers</a>. The theory of elliptic surfaces is analogous to the theory of proper regular models of elliptic curves over <a href="/facts/Discrete_valuation_ring/DaHoTBSH">discrete valuation rings</a> (e.g., the ring of <a href="/facts/P-adic_integer/SDgDbkLF"><i>p</i>-adic integers</a>) and <a href="/facts/Dedekind_domain/tAsvAcaW">Dedekind domains</a> (e.g., the ring of integers of a number field). </p><p>In finite characteristic 2 and 3 one can also get quasi-elliptic surfaces, whose fibers may almost all be rational curves with a single node, which are "degenerate elliptic curves". </p><p>Every surface of <a href="/facts/Kodaira_dimension/dkG0mUuq">Kodaira dimension</a> 1 is an elliptic surface (or a quasielliptic surface in characteristics 2 or 3), but the converse is not true: an elliptic surface can have Kodaira dimension − ∞ {\displaystyle -\infty } , 0, or 1. All <a href="/facts/Enriques_surface/Mwx4f1uI">Enriques surfaces</a>, all <a href="/facts/Hyperelliptic_surface/AfvKoWYL">hyperelliptic surfaces</a>, all <a href="/facts/Kodaira_surface/SudkwewF">Kodaira surfaces</a>, some <a href="/facts/K3_surface/hqbR3jpu">K3 surfaces</a>, some <a href="/facts/Abelian_surface/fDgfrryd">abelian surfaces</a>, and some <a href="/facts/Rational_surface/8LMRdT0m">rational surfaces</a> are elliptic surfaces, and these examples have Kodaira dimension less than 1. An elliptic surface whose base curve <i>B</i> is of genus at least 2 always has Kodaira dimension 1, but the Kodaira dimension can be 1 also for some elliptic surfaces with <i>B</i> of genus 0 or 1. </p><p>Invariants: c 1 2 = 0 , c 2 ⩾ 0. {\displaystyle c_{1}^{2}=0,c_{2}\geqslant 0.} </p><p>Example: If <i>E</i> is an elliptic curve and <i>B</i> is a curve of genus at least 2, then <i>E</i>×<i>B</i> is an elliptic surface of Kodaira dimension 1. </p> <h2 id="surfaces-of-kodaira-dimension-2-surfaces-of-general-type">Surfaces of Kodaira dimension 2 (surfaces of general type)</h2> <p class="note">Main article: <a href="/facts/Surface_of_general_type/GEkqj4Lm">Surface of general type</a></p> <p>These are all algebraic, and in some sense most surfaces are in this class. Gieseker showed that there is a <a href="/facts/Coarse_moduli_scheme/uabeAsKE">coarse moduli scheme</a> for surfaces of general type; this means that for any fixed values of the Chern numbers <i>c</i>21 and <i>c</i>2, there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers. However it is a very difficult problem to describe these schemes explicitly, and there are very few pairs of Chern numbers for which this has been done (except when the scheme is empty!) </p><p>Invariants: There are several conditions that the Chern numbers of a minimal complex surface of general type must satisfy: </p> <ul><li> c 1 2 , c 2 > 0 {\displaystyle c_{1}^{2},c_{2}>0} </li> <li> c 1 2 ⩽ 3 c 2 {\displaystyle c_{1}^{2}\leqslant 3c_{2}} (the <a href="/facts/Bogomolov%25E2%2580%2593Miyaoka%25E2%2580%2593Yau_inequality/W65WwkXJ">Bogomolov–Miyaoka–Yau inequality</a>)</li> <li> 5 c 1 2 − c 2 + 36 ⩾ 0 {\displaystyle 5c_{1}^{2}-c_{2}+36\geqslant 0} (the Noether inequality)</li> <li> c 1 2 + c 2 ≡ 0 mod 1 2. {\displaystyle c_{1}^{2}+c_{2}\equiv 0{\bmod {1}}2.} </li></ul> <p>Most pairs of integers satisfying these conditions are the Chern numbers for some complex surface of general type. </p><p>Examples: The simplest examples are the product of two curves of genus at least 2, and a hypersurface of degree at least 5 in <i>P</i>3. There are a large number of other constructions known. However, there is no known construction that can produce "typical" surfaces of general type for large Chern numbers; in fact it is not even known if there is any reasonable concept of a "typical" surface of general type. There are many other examples that have been found, including most <a href="/facts/Hilbert_modular_surface/TmoIXYs8">Hilbert modular surfaces</a>, <a href="/facts/Fake_projective_plane/3R2JAlr5">fake projective planes</a>, <a href="/facts/Barlow_surface/a4p0fFhr">Barlow surfaces</a>, and so on. </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/List_of_algebraic_surfaces/UKJYd7bl">List of algebraic surfaces</a></li></ul> <ul><li>Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), <i>Compact Complex Surfaces</i>, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlin, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-3-642-57739-0">10.1007/978-3-642-57739-0</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-00832-3, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2030225">2030225</a> – the standard reference book for compact complex surfaces</li> <li><a href="/facts/Arnaud_Beauville/roU8pLxQ">Beauville, Arnaud</a> (1996), <i>Complex algebraic surfaces</i>, London Mathematical Society Student Texts, vol. 34 (2nd ed.), <a href="/facts/Cambridge_University_Press/fgEBSSRq">Cambridge University Press</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FCBO9780511623936">10.1017/CBO9780511623936</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-521-49510-3, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1406314">1406314</a>; (<a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-521-49842-5 softcover) – including a more elementary introduction to the classification</li> <li><a href="/facts/Enrico_Bombieri/MU6xU5vr">Bombieri, Enrico</a>; <a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1977), "Enriques' classification of surfaces in char. p. II", <i>Complex analysis and algebraic geometry</i>, Tokyo: Iwanami Shoten, pp. 23–42, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0491719">0491719</a> <ul><li>Bombieri, E.; Mumford, D. (1977). "Enriques' Classification of Surfaces in Char. P, II". <a href="http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612776"><i>Complex Analysis and Algebraic Geometry</i></a>. pp. 23–42. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FCBO9780511569197.004">10.1017/CBO9780511569197.004</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9780521217774.</li></ul></li> <li><a href="/facts/Enrico_Bombieri/MU6xU5vr">Bombieri, Enrico</a>; <a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1976), <a href="https://dash.harvard.edu/bitstream/1/3612776/3/Mumford_EnriquesClassIII.pdf">"Enriques' classification of surfaces in char. p. III."</a> (PDF), <i><a href="/facts/Inventiones_Mathematicae/bARcL95Y">Inventiones Mathematicae</a></i>, 35: 197–232, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1976InMat..35..197B">1976InMat..35..197B</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01390138">10.1007/BF01390138</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0491720">0491720</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122816845">122816845</a></li> <li><a href="/facts/Federigo_Enriques/cxtXNB4I">Enriques, Federigo</a> (1914), "Sulla classificazione delle superficie algebriche e particolarmente sulle superficie di genere p1=1", <i>Atti. Acc. Lincei V Ser.</i>, 23</li> <li><a href="/facts/Federigo_Enriques/cxtXNB4I">Enriques, Federigo</a> (1949), <i>Le Superficie Algebriche</i>, Nicola Zanichelli, Bologna, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0031770">0031770</a></li> <li><a href="/facts/Kunihiko_Kodaira/u73B5W0D">Kodaira, Kunihiko</a> (1964), "On the structure of compact complex analytic surfaces. I", <i><a href="/facts/American_Journal_of_Mathematics/lkgftcD7">American Journal of Mathematics</a></i>, 86 (4): 751–798, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2373157">10.2307/2373157</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2373157">2373157</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0187255">0187255</a></li> <li>Kodaira, Kunihiko (1966), "On the structure of compact complex analytic surfaces. II", <i><a href="/facts/American_Journal_of_Mathematics/lkgftcD7">American Journal of Mathematics</a></i>, 88 (3): 682–721, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2373150">10.2307/2373150</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2373150">2373150</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0205280">0205280</a>, <a href="/facts/PMC_(identifier)/dX1zMt71">PMC</a> <a href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC300219">300219</a>, <a href="/facts/PMID_(identifier)/JlHAvMHt">PMID</a> <a href="https://pubmed.ncbi.nlm.nih.gov/16578569">16578569</a></li> <li>Kodaira, Kunihiko (1968a), "On the structure of compact complex analytic surfaces. III", <i><a href="/facts/American_Journal_of_Mathematics/lkgftcD7">American Journal of Mathematics</a></i>, 90 (1): 55–83, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2373426">10.2307/2373426</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2373426">2373426</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0228019">0228019</a></li> <li>Kodaira, Kunihiko (1968b), "On the structure of complex analytic surfaces. IV", <i><a href="/facts/American_Journal_of_Mathematics/lkgftcD7">American Journal of Mathematics</a></i>, 90 (4): 1048–1066, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2373289">10.2307/2373289</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2373289">2373289</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0239114">0239114</a></li> <li><a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1969), "Enriques' classification of surfaces in char p I", <i>Global Analysis (Papers in Honor of K. Kodaira)</i>, Tokyo: Univ. Tokyo Press, pp. 325–339, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1515%2F9781400871230-019">10.1515/9781400871230-019</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4008-7123-0, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/j.ctt13x10qw.21">j.ctt13x10qw.21</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0254053">0254053</a></li> <li><a href="/facts/Miles_Reid/XpE864RB">Reid, Miles</a> (1997), "Chapters on algebraic surfaces", <i>Complex algebraic geometry (Park City, UT, 1993)</i>, IAS/Park City Math. Ser., vol. 3, Providence, R.I.: <a href="/facts/American_Mathematical_Society/fr5gotCt">American Mathematical Society</a>, pp. 3–159, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/alg-geom/9602006">alg-geom/9602006</a>, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1996alg.geom..2006R">1996alg.geom..2006R</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fpcms%2F003%2F02">10.1090/pcms/003/02</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9780821811450, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1442522">1442522</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:116933286">116933286</a></li> <li><a href="/facts/Igor_Shafarevich/n6UINBX1">Shafarevich, Igor R.</a>; Averbuh, Boris G.; Vaĭnberg, Ju. R.; Zhizhchenko, A. B.; <a href="/facts/Yuri_Manin/gDlvYGCq">Manin, Yuri I.</a>; <a href="/facts/Boris_Moishezon/UIawWInL">Moishezon, Boris G.</a>; Tjurina, Galina N.; Tjurin, Andrei N. (1967) [1965], "Algebraic surfaces", <i>Proceedings of the Steklov Institute of Mathematics</i>, 75, Providence, R.I.: <a href="/facts/American_Mathematical_Society/fr5gotCt">American Mathematical Society</a>: 1–215, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-1875-6, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0190143">0190143</a></li> <li>Van de Ven, Antonius (1978), <a href="http://www.numdam.org/item?id=SB_1976-1977__19__237_0">"On the Enriques classification of algebraic surfaces"</a>, <i>Séminaire Bourbaki, 29e année (1976/77)</i>, Lecture Notes in Math., vol. 677, Berlin, New York: <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>, pp. 237–251, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0521772">0521772</a></li> <li>Lang, William E. <a href="http://www.numdam.org/item/?id=ASENS_1979_4_12_4_473_0">"Quasi-elliptic surfaces in characteristic three"</a>, Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 12 (1979) no. 4, pp. 473-500. <a href="/facts/Digital_object_identifier/muM9Etpq">doi</a> : 10.24033/asens.1373. Theorem 4.3 of this article classifies the Hodge numbers of a quasi-hyperelliptic surface in characteristic three.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="https://superficie.info/">le superficie algebriche</a> is an interactive visualisation of the Enriques--Kodaira classification, by Pieter Belmans and Johan Commelin</li></ul>