In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of surface in the Enriques–Kodaira classification of complex surfaces,
and were the first surfaces to be investigated.
Every non-singular rational surface can be obtained by repeatedly blowing up a minimal rational surface. The minimal rational surfaces are the projective plane and the Hirzebruch surfaces Σr for r = 0 or r ≥ 2.
Invariants: The plurigenera are all 0 and the fundamental group is trivial.
Hodge diamond:
where n is 0 for the projective plane, and 1 for Hirzebruch surfaces
and greater than 1 for other rational surfaces.
The Picard group is the odd unimodular lattice I1,n, except for the Hirzebruch surfaces Σ2m when it is the even unimodular lattice II1,1.
Guido Castelnuovo proved that any complex surface such that q and P2 (the irregularity and second plurigenus) both vanish is rational. This is used in the Enriques–Kodaira classification to identify the rational surfaces. proved that Castelnuovo's theorem also holds over fields of positive characteristic.
Castelnuovo's theorem also implies that any unirational complex surface is rational, because if a complex surface is unirational then its irregularity and plurigenera are bounded by those of a rational surface and are therefore all 0, so the surface is rational. Most unirational complex varieties of dimension 3 or larger are not rational.
In characteristic p > 0 found examples of unirational surfaces (Zariski surfaces) that are not rational.
At one time it was unclear whether a complex surface such that q and P1 both vanish
is rational, but a counterexample (an Enriques surface) was found by Federigo Enriques.
Bordiga surfaces: A degree 6 embedding of the projective plane into P4 defined by the quartics through 10 points in general position.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
This is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Projective plane Cone (geometry) Cylinder Ellipsoid Hyperboloid Paraboloid Sphere Spheroid Cayley nodal cubic surface, a certain cubic surface with 4 nodes Cayley's ruled cubic surface Clebsch surface or Klein icosahedral surface Fermat cubic Monkey saddle Parabolic conoid Plücker's conoid Whitney umbrella Châtelet surfaces Dupin
In algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2. Because of Chow's theorem any compact complex manifold of dimension 2 and with Kodaira dimension 2 will actually be an algebraic surface, and in some sense most surfaces are in this class. 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 there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers.
In algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X. Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ. Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms, which is the nth exterior power of the cotangent bundle of X.
We classify simple groups that act by birational transformations on compact complex Kahler surfaces. Moreover, we show that every finitely generated simple group that acts non-trivially by birational transformations on a projective surface over an arbitrar ...
We use birational geometry to show that the existence of rational points on proper rationally connected varieties over fields of characteristic 0 is a consequence of the existence of rational points on terminal Fano varieties. We discuss several consequenc ...
We show that for a surjective, separable morphism f of smooth projective varieties over a field of positive characteristic such that f(*) OX congruent to O-Y subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt ...