代数曲面

数学において、代数曲面()とは、多様体のが 2 である代数多様体のことを言う。複素数体上の場合には、代数曲面は複素次元 2（複素多様体として）であり、非特異(non-singular)のときには、微分可能多様体としては次元 4 である。
代数曲面の理論は、代数曲線（コンパクトリーマン面で、実次元が 2 の純粋な曲面）と比較して非常に複雑である。しかしながら、およそ 100年前の(Italian school of algebraic geometry)以来、多くの結果が得られている。
小平次元による分類.
次元が 1 の場合には、（位相的な）種数だけによる双有理な分類ができたが、次元が 2 の場合は、位相的な種数だけでは双有理的な区別ができないので、算術種数 formula_1 と 幾何種数 formula_2 の差異が重要なことがわかる。従って、曲面の不正則数が代数多様体の双有理分類のために導入する。結果をまとめると下記のようになる。（詳細の曲面の各々の種類については、各々のリダイレクション先を参照） 
代数曲面の例は下記のようになる（κ は小平次元である）。
さらに例があるので、を参照。
最初にある 5つの例は、実際、双有理同値である。すなわち、例えば、3次曲面は函数体が(projective plane)の函数体に同型であり、2つの変数の有理函数となっている。2つの曲線のカルテシアン積（直積）もまたこの例となる。
代数曲面の双有理幾何学.
代数曲面の双有理幾何学は、(blowing up)（また、(monoidal transformation)としても知られている）により、非常に豊富な内容をもっている。この変換は、一点を接線方向の直線全体（ 1本の射影直線(projective line)）で置き換えることである。ある曲線が、ブローダウンの結果かもしれないが、（その場合は、）自己交点数が −1 でなくてはいけないという制限が存在する。
性質.
中井の判定条件は、
豊富な因子は、その性質がよく知られている射影空間のある超平面バンドルのプルバック(pullback)となっているという、素晴らしい性質を持っている。formula_3 を S の因子の全てからなるアーベル群とすると、 交点定理のおかげで、
を二次形式とみなすことができる。
とすると、formula_6 は、S の数値的な同値類群となり、
もまた、formula_8 上の二次形式となる。ここに formula_9 は S 上の D の像である。（以下では、像 formula_9 を省略し、D と書くことにする。）
S 上の豊富なバンドル H に対し、定義
はホッジ指数定理(Hodge index theorem)の曲面バージョンを導く。
この定理は、中井の判定条件と曲面のリーマン・ロッホの定理を使い、証明することができる。全ての formula_14 の中の因子に対して、この定理は成り立つ。この定理は、曲面の研究のツールを提供するのみならず、全ての代数的閉体の上で成り立つので、ドリーニュ(Deligne)によるヴェイユ予想の証明に用いられた。
代数曲面上の基本的な結果として、(Hodge index theorem)がある。また、エンリケス・小平の分類と呼ばれる双有理同値分類の 5つのグループへの分割がある。一般型のタイプのクラスは小平次元が 2 で、（次数が）非常に大きい（例えば、次数 5 もしくはそれ以上の次数の P3 の中の非特異曲線である）。
本質的には、曲面には 3つの不変量であるホッジ数がある。それらの中の h1,0 は古典的には不正則数と呼ばれ、q で表され、h2,0 は幾何種数 pg と呼ばれた。三番目の h1,1 は、双有理不変ではない。なぜならば、(blowing up)により H1,1 を持つ曲線全体を加えることができるからである。(Hodge cycle)は代数的であり、(algebraic equivalence)は、ホモロジー同値と一致することが知られているので、h1,1 は、ネロン・セヴィリ群のランク ρ の上界である。算術種数 pa は次の式のような差である。 
実際、これが、なぜ「エラー項」という意味の不正則数という名前がついたかの理由である。
曲面のリーマン・ロッホの定理.
曲面のリーマン・ロッホの定理 は最初に、(Max Noether)により定式化された。曲面の上の曲線の族は、ある意味で分類することができ、豊かな興味深い幾何学をもたらす。