Surface of general type

Surface of general type

In algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2.These are all algebraic, and in some sense most surfaces are in this class.

Classification

Gieseker showed that there is a coarse moduli scheme for surfaces of general type; this means that for any fixed values of the Chern numbers "c"12 and "c"2, there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers. However 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!) There are some indications that these schemes are in general too complicated to write down explicitly: the known upper bounds for the number of components are very large, some components can be non-reduced everywhere, components may have many different dimensions, and the few pieces that have been studied explicitly tend to look rather complicated.

The study of which pairs of Chern numbers can occur for a surface of general type is known as "geography of Chern numbers" and there is an almost complete answer to this question. There are several conditions that the Chern numbers of a minimal surface of general type must satisfy:
*c_1^2+c_2 equiv 0 pmod{12} (as it is equal to 12χ)
*"c"12 > 0, "c"2 > 0
*"c"12 ≤ 3"c"2 (proved by Miyaoka and Yau)
*5"c"12 − "c"2 + 36 ≥ 0 (The Noether inequality)

Most (and possibly all) pairs of integers satisfying these conditions are the Chern numbers for some surface of general type; in fact it is known that the only possible exceptions lie in a strip near the line "c"12 = 3"c"2.

By contrast, for almost complex surfaces, the only constraint is c_1^2+c_2 equiv 0 pmod{12}, and this can always be realized. [http://www.pnas.org/cgi/reprint/55/6/1624.pdf]

Examples

This is only a small selection of the rather large number of examples of surfaces of general type that have been found.

Many of the surfaces of general type that have been investigated lie on (or near) the edges of the region of possible Chern numbers:
*Horikawa surfaces lie on or near the "Noether line".
*Many of the surfaces listed below lie on the line "c"2+"c"12=12χ=12, the minimum possible value for general type.
*Surfaces on the line 3"c"2="c"12 are all quotients of the unit ball in C2 (proved by Yau). They are particularly hard to find.

Barlow surface

These are simply connected, and are the only known examples of simply connected surfaces of general type with "pg"=0. They are named for Rebecca Barlow.

Hodge diamond:

1
00
090
00
1

Beauville surfaces

Fundamental group is infinite. They are named for Arnaud Beauville.

Hodge diamond:

1
00
020
00
1

Burniat surfaces

Campedelli surfaces

Hodge diamond:

1
00
080
00
1
Surfaces with the same Hodge numbers are called numerical Campedelli surfaces.

Castelnuovo surfaces

Surfaces of general type such that the canonical bundle is very ample and such that "c"12=3"pg"-7.(Castelnuovo proved that if the canonical bundle is very ample for a surface of general type then "c"12≥3"pg"-7.)

Catanese surfaces

Simply connected.

Hodge diamond:

1
00
080
00
1

Complete intersections

A smooth complete intersection of hypersurfaces of degrees"d"1≥"d"2≥...≥"d""n"-2 in "P""n" is a surface of general type unless the degrees are (2), (3), (2,2) (rational), (4), (3,2), (2,2,2) (Kodaira dimension 0).For example, in three-dimensional projective space, non-singular surfaces of degree at least 5 are of "general type".

Complete intersections are all simply connected.

Fake projective plane (Mumford surface)

This was found by Mumford using "p"-adic geometry. It has the same betti numbers as the projective plane, but is not homeomorphic to it as its fundamental group is infinite.

Hodge diamond:

1
00
010
00
1

Godeaux surfaces

The cyclic group of order 5 acts freely on the Fermat surface of points ("w:x:y:z")in "P"3 satisfying "w"5+"x"5+"y"5+"z"5=0by mapping ("w:x:y:z") to ("w:ρx:ρ2y:ρ3z") where ρ is a fifth root of 1. The quotient by this action is the original Godeaux surface. [Griffiths and Harris (1994) p.572] The eponym was the Belgian geometer Lucien Godeaux.

Other surfaces constructed in a similar way with the same Hodge numbers are also sometimes called Godeaux surfaces. Surfaces with the same Hodge numbers (such as Barlow surfaces) are called numerical Godeaux surfaces.

The fundamental group (of the original Godeaux surface) is cyclic of order 5.

Hodge diamond:

1
00
090
00
1

Hilbert modular surfaces

These are mostly of general type.

Horikawa surfaces

These are surfaces with "q"=0 and "pg"="c"12/2 +2 or "c"12/2+3/2 (which implies that they are more or less on the "Noether line" edge of the region of possible values of the Chern numbers). They are all simply connected, and Horikawa gave a detailed description of them.

Products

The product of two curves both of genus at least 2 is a surface of general type.

ee also

* Enriques-Kodaira classification
* Algebraic surface
* List of algebraic surfaces

References

* "Compact Complex Surfaces" by Wolf P. Barth, Klaus Hulek, Chris A.M. Peters, Antonius Van de Ven ISBN 3-540-00832-2
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Type de volcan — Volcan Le cratère fumant du Bromo (se …   Wikipédia en Français

  • Type 42 destroyer — HMS Birmingham Class overview Name: Type 42 Builders: Several different …   Wikipedia

  • Type 053 frigate — Jianghu class (Type 053H) is the NATO code name for several types of frigates, currently in service with the People s Liberation Army Navy (PLAN). In the PLAN, the Jianghu class is part of the Type 053 series frigate family. The early variants… …   Wikipedia

  • Surface phonon — Phonons are collective lattice vibration modes, and surface phonons are those particular modes associated with surfaces; they are an artifact of periodicity, symmetry, and the termination of bulk crystal structure associated with the surface… …   Wikipedia

  • Type 052B destroyer — The Type 052B or Guangzhou class destroyer (NATO reporting name: Luyang I class) is a class of multirole missile destroyer built by the People s Republic of China. Two ships have been built, with Guangzhou (168) and Wuhan (169) both being… …   Wikipedia

  • SURFACE (PHÉNOMÈNES DE) — La surface d’un solide ou d’un liquide est une région s’étendant sur quelques distances atomiques qui sépare l’intérieur du matériau du milieu extérieur: en général, le vide ou un gaz. Si le milieu extérieur est une autre phase dense, liquide ou… …   Encyclopédie Universelle

  • SURFACE (TRAITEMENTS DE) — On entend par «traitements de surface» toutes les opérations mécaniques, chimiques, électrochimiques ou physiques qui ont pour conséquence de modifier l’aspect ou la structure de la surface des matériaux, afin de l’adapter à des conditions… …   Encyclopédie Universelle

  • Zariski surface — In algebraic geometry, a branch of mathematics, a Zariski surface is a surface over a field of characteristic p gt; 0 such that there is a dominant inseparable map of degree p from the projective plane to the surface. In particular, all Zariski… …   Wikipedia

  • Type 45 (Clase Daring) — El HMS Daring saliendo de la Base Naval de Portsmouth País productor …   Wikipedia Español

  • Surface reconstruction — refers to the process by which atoms at the surface of a crystal assume a different structure than that of the bulk. Surface reconstructions are important in that they help in the understanding of surface chemistry for various materials,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”