代数幾何学と解析幾何学
リーマン面の理論では、コンパクトなリーマン面は充分に多くの有理型函数を持っていて、リーマン面が代数曲線となることを示した。リーマンの存在定理という名前で、コンパクトリーマン面の分岐被覆の深い結果が述べられていて、 そのような位相空間としての有限被覆は、分岐点の補空間の基本群の置換表現により分類される。リーマン面の性質は局所的であるので、有限被覆は複素解析的という意味で被覆となることが、容易に理解できる。従って、有限被覆は代数曲線の被覆写像から来るということを結論付けられ、函数体の有限次拡大から全て得ることができる。
1950年代の前半に、ホッジ理論のようなテクニックを含む代数幾何の基本を作り上げる一環として、2つの理論の間の多くの関係を基礎づけることが、成し遂げられた。この理論に寄与している主要な論文は、ジャン=ピエール・セールによる Géometrie Algébrique et Géométrie Analytique Serre (1956)であり、現在は通常 GAGA と呼ばれている。この論文では、代数多様体のクラス、正規射(regular morphism)、層といったものを、解析空間のクラス、正則写像、層へ関連付けるという一般的な結果を証明している。この対応付けは、層のカテゴリの比較において、これらすべてに対して適用される。
今日、GAGA型の結果という用語を使うときは、代数幾何学の対象と射の圏から、解析幾何学の対象と正則写像の作る部分圏への全ての比較定理に対して使われる。
代数幾何学と解析幾何学の間の比較の結果は、長い歴史を持っている。19世紀に始まり現在まで続いている。より重要な結果をここに時系列で記載する。