有理曲面

代数幾何学で、有理曲面(rational surface)は射影平面に双有理同値な曲面、すなわち、次元が 2 の有理多様体のことを言う。有理曲面は、複素曲面のエンリケス・小平の分類の中の 10 個の曲面の最も単純なクラスで、最初に研究された曲面であった。
構造.
すべての非特異有理曲面は、極小有理曲面を繰り返しブローアップ(blowing up)することにより得られる。極小有理曲面は射影平面と r = 0 もしくは、r ≥ 2 のときのヒルツェブルフ曲面 Σr である。
不変量は、多重種数で、全て 0 であり、基本群は自明である。
ホッジダイアモンド:
 1
 0 0
 0 1+n 0
 0 0
 1
ここに n は射影平面に対しては、0 であり、(Hirzebruch surface)に対しては 1 であり、他の有理曲面に対しては 1 よりも大きくなる。
ピカール群は、奇の(unimodular lattice) I1,n である。例外は、偶のユニモジュラ格子 II1,1 のときで、ヒルツェブルフ曲面 Σ2m である。
カステルヌオボーの定理.
(Guido Castelnuovo)は、q と P2（算術種数と第二多重種数(second plurigenus)）とがともに 0 となるような任意の複素曲面は、有理的であることを証明した。これはエンリケス・小平の分類を使い、有理曲面を特定した。では、カステルヌオボーの定理が正の標数の体の上でも成立することを証明した。
カステルヌオボーの定理は、任意の単有理性な複素曲面は有理的であることも示した。何故ならば、複素曲面が単有理的であれば不正則数も多重種数も有理曲面により制限されることから、全てゼロとなり、単有理的な曲面は有理的となるからである。次元が 3 もしくはそれ以上の単有理的な複素多様体のほとんどは有理的ではない。標数が p > 0 のとき、は単有理的な曲面（(Zariski surface)）で有理的ではない例を見つけた。
当時、q も P1 も両方ともゼロとなる複素曲面が有理的であることは明らかではなかったが、(Federigo Enriques)によって反例であるエンリケス曲面が発見された。