Enriques–Kodaira Classification of Compact Complex Surfaces – an Analysis *Ramesha
Total Page:16
File Type:pdf, Size:1020Kb
© 2018 JETIR December 2018, Volume 5, Issue 12 www.jetir.org (ISSN-2349-5162) Enriques–Kodaira classification of compact complex surfaces – An Analysis *Ramesha. H.G. Asst Professor of Mathematics. Govt First Grade College, Tiptur. Abstract This paper attempts to study the Enriques–Kodaira classification a classification of compact complex surfaces into ten classes. the Enriques-Kodaira classification is a classification of compact complex surfaces. For complex projective surfaces it was done by Federigo Enriques, and Kunihiko Kodaira later extended it to non- algebraic compact surfaces. The classification of a collection of objects generally means that a list has been constructed with exactly one member from each isomorphism type among the objects, and that tools and techniques can effectively be used to identify any combinatorially given object with its unique representative in the list. Examples of mathematical objects which have been classified include the finite simple groups and 2- manifolds but not, for example, knots. A compact manifold is a manifold that is compact as a topological space. Examples are the circle (the only one-dimensional compact manifold) and the -dimensional sphere and torus. Compact manifolds in two dimensions are completely classified by their orientation and the number of holes (genus). It should be noted that the term "compact manifold" often implies "manifold without boundary," which is the sense in which it is used here. When there is need for a separate term, a compact boundaryless manifold is called a closed manifold. It has been established that for given n the n-dimensional compact, connected complex manifolds X can be classified according to their Kodaira dimension kod(X), which can assume the values -00,0,1, ... , n. In the case n = 2 the surfaces in the classes kod(X) = -00 or kod(X) = 0, and to a lesser extent those with kod(X) = 1 can be classified in much more detail. Thus, starting from the rough classification by Kodaira dimension, surfaces are divided into ten classes. This classification is called the Enriques-Kodaira classification and is embodied in the following central result. The word "fibre space" will be used only for smooth surfaces fibred over smooth curves. Thus a fibre space is a triple (X , f , Y) , where X is a smooth surface, Y a smooth curve and f : X - Y a surjective morphism. The fibre space is called (relatively) minimal if no fibre contains an exceptional curve. It is called an elliptic fibre space if almost all fibres are elliptic curves. Sometimes a surface admitting at least one such elliptic fibration is called an elliptic surface. Algebraic surfaces X into four classes, mentioned in section ~, is the division according to the value of Kod(X) , which can be - - , 0 , 1 or 2 (we don’t need the interpretation given for the last two classes in section 1). Key words: Elliptic Curve, Elliptic Surface, Effective Divisor, Kodaira Dimension. JETIR1812D26 Journal of Emerging Technologies and Innovative Research (JETIR) www.jetir.org 874 © 2018 JETIR December 2018, Volume 5, Issue 12 www.jetir.org (ISSN-2349-5162) Introduction An Enriques surface is a smooth compact complex surface having irregularity and nontrivial canonical sheaf such that (Endraß). Such surfaces cannot be embedded in projective three-space, but there nonetheless exist transformations onto singular surfaces in projective three-space. There exists a family of such transformed surfaces of degree six which passes through each edge of a tetrahedron twice. A subfamily with tetrahedral symmetry is given by the two-parameter ( ) family of surfaces. For many problems in topology and geometry, it is convenient to study compact manifolds because of their "nice" behavior. Among the properties making compact manifolds "nice" are the fact that they can be covered by finitely many coordinate charts, and that any continuous real-valued function is bounded on a compact manifold. For any positive integer , a distinct nonorientable surface can be produced by replacing disks with Möbius strips. In particular, replacing one disk with a Möbius strip produces a cross surface and replacing two disks produces the Klein bottle. The sphere, the -holed tori, and this sequence of nonorientable surfaces form a complete list of compact, boundaryless two-dimensional manifolds. and the polynomial is a sphere with radius , (Endraß). There are a large number of invariants that are linear combinations of the Hodge numbers, as follows: * "b"0,"b"1,"b"2,"b"3,"b"4 are the Betti numbers: "b"i = dim("H"i("S")). "b"0 = "b"4 = 1 and "b"1 = "b"3 = "h""1","0" + "h""0","1" = "h""2","1" + "h""1","2" and "b"2 = "h""2","0" + "h""1","1" + "h""0","2" of the trivial bundle. (It should not be confused with the Euler number. Add minus signs to the rows for dimensions 1 and 3. This is the sum along any side of the diamond, while the topological Euler-Poincaré characteristic is the sum over the whole diamond.) By Noether's formula it is also equal to the Todd genus ("c"12 +"c"2)/12 j "i","j" *τ is the signature (of the second cohomology group) and is equal to 4χ−"e", which is Σi,j(−1) "h" . *"b"+ and "b"− are the dimensions of the maximal positive and negative definite subspaces of "H"2, so "b"+ + − "b" ="b"2 and "b"+ −"b"− =τ. 2 2 *"c"2 = "e" and "c"1 = "K" = 12χ − "e" are JETIR1812D26 Journal of Emerging Technologies and Innovative Research (JETIR) www.jetir.org 875 © 2018 JETIR December 2018, Volume 5, Issue 12 www.jetir.org (ISSN-2349-5162) the Chern numbers, defined as the integrals of various polynomials in the Chern classes over the manifold. Friedman and Morgan proved that the invariants above depend only on the underlying smooth 4-manifold. Objective: This paper intends to explore classification that goes under the name of Enriques- Kodaira birational classification of compact complex surfaces. For each of these classes, the surfaces in the class can be parametrized by a moduli space Blow-ups and birational maps Let be a surface. The structure of rational maps between and any projective variety is simple by the following Theorem 1 (Elimination of indeterminacy) Let be a rational map. Then there exists a composite of finite many blow-ups and a morphism such that . Proof We have a bijection between nondegenerate rational maps and linear systems on of dimension which has no fixed components. We use this correspondence and induct on the dimension of the linear systems. Each blow-up drops the dimension and this process terminates using the intersection pairing. □ The structure of birational morphisms between surfaces is also rather simple. Suppose is a birational morphism of surfaces. Then can be decomposed as a sequence of blow-ups , and an isomorphism . Combining this fact with the elimination of indeterminacy, we obtain that Theorem 2 Let be a birational map between surfaces. Then there exists morphisms and such that , where each of can be decomposed as a sequence of blow-ups and an isomorphism. Neron-Severi groups and minimal models The exponential exact sequence induces a long exact sequence Hodge theory shows that is a lattice in , so the Picard variety is a complex torus (and indeed an abelian variety). Since , we obtain an exact sequence where is the image of . Definition 1 The group is called the Neron-Severi group of . JETIR1812D26 Journal of Emerging Technologies and Innovative Research (JETIR) www.jetir.org 876 © 2018 JETIR December 2018, Volume 5, Issue 12 www.jetir.org (ISSN-2349-5162) Since is finitely generated, the Neron-Severi group is also finitely generated. The rank of is called the Picard number of . The Neron-Severi group can also be described as the group of divisors on modulo algebraic equivalence ([3, V 1.7]). The behavior of the Neron-Severi group under a blow-up can be easily seen. Theorem 3 Let be a blow-up at a point with exceptional divisor . Then there is a canonical isomorphism . Proof The canonical isomorphism given by descends to the Neron-Severi groups. □ In other words, a blow-up increases the Picard number by 1. Thus the Neron-Severi group gives us a canonical order on the set of isomorphism classes of surfaces birationally equivalent to a given surface . Definition 2 Let . We say that dominates if there exists a birationally morphism (in particular, ). We say that is minimal if every birational morphism is an isomorphism. In particular, every surface dominates a minimal surface since the Picard number is finite. Conversely, every surface is obtained by a sequence of blow-ups of a minimal surface. So the problem of birational classification boils down to classifying minimal surfaces. We can characterize minimal surfaces as those without exceptional curves. By the very definition of blow-ups, an exceptional curve is isomorphic to and has self-intersection number . This is actually a useful numerical criterion of minimality of surfaces ([1, II. 17]). Theorem 4 (Castelnuovo's contractibility criterion) Suppose a curve is isomorphic to with . Then is an exceptional curve on . Ruled surfaces In most cases, has a unique minimal element. However, the situation is not that simple for a large class of surfaces — ruled surfaces. Definition 3 A surface is called ruled if it is birational to for a smooth projective curve. As a little digression, we can calculate several birational invariants for ruled surfaces easily. Definition 4 Let be any surface. We define JETIR1812D26 Journal of Emerging Technologies and Innovative Research (JETIR) www.jetir.org 877 © 2018 JETIR December 2018, Volume 5, Issue 12 www.jetir.org (ISSN-2349-5162) the irregularity . It is equal to by Hodge theory.