代数幾何学と解析幾何学

提供: miniwiki
移動先:案内検索

数学において、代数幾何学と解析幾何学フランス語: Géometrie Algébrique et Géométrie Analytique、略称: GAGA[1]は密接な関係にある。代数幾何学代数多様体を研究するのに対して、解析幾何学は複素多様体やより一般的に多変数の(複素)解析函数のゼロ点で局所的に定義された解析空間English版を扱う。これら2つの深い関係は、代数的なテクニックを解析空間へ適用したり、逆に解析的テクニックを代数多様体へ適用したりする上で応用されている。

主要な結果

X を複素射影代数多様体とする。X は複素多様体であるので、複素数の点 X(C) はコンパクト複素解析空間の構造を持ち、Xan と表わされる。同様に、[math]\mathcal{F}[/math] を X 上の層とすると、Xan 上の対応する層 [math]\mathcal{F}^\text{an}[/math] が存在し、これが解析的な対象と代数的な対象を関連付ける函手となる。典型的な X と Xan を関連付ける定理は、次のように言うことができる。

X 上の任意の 2つの連接層 [math]\mathcal{F}[/math][math]\mathcal{G}[/math] に対し、自然な準同型

[math]\text{Hom}_{\mathcal{O}_X}(\mathcal{F},\mathcal{G})\rightarrow\text{Hom}_{\mathcal{O}^{\text{an}}_X}(\mathcal{F}^{\text{an}},\mathcal{G}^{\text{an}})[/math]

は同型である。ここに、[math]\mathcal{O}_X[/math] は代数多様体 X の構造層であり、[math]\mathcal{O}_X^{\text{an}}[/math] は解析的多様体 Xan の構造層である。言い換えると、代数多様体 X の連接層の圏と解析多様体 Xanの圏は同値であり、同値性は [math]\mathcal{F}[/math] から [math]\mathcal{F}^\text{an}[/math] への写像により与えられる。(特に、[math]\mathcal{O}^{\text{an}}_X[/math] 自身 が連接層であることは、岡の連接定理として知られている。)

もうひとつの重要なステートメントは、以下である。代数多様体 X 上の任意の連接層 [math]\mathcal{F}[/math] に対し、準同型

[math]\varepsilon_q\ :\ H^q(X,\mathcal{F}) \rightarrow H^q(X^{an},\mathcal{F}^{an})[/math]

は、すべての q について同型である。このことは、X 上の q次コホモロジー群と、Xan 上の q次コホモロジー群が同型であることを意味する。

この定理はより一般的な場合にも成り立つ。(詳しくは、GAGAの公式ステートメントを参照。)この定理と証明は、周の定理レフシェッツの原理小平消滅定理のような多くの結果がある。

背景

代数多様体は、局所的には多項式の共通なゼロ点として定義され、複素数上の多項式は正則函数でもあるので、C 上の代数多様体は解析空間と解釈することもできる。同様に、多様体間の正規写像は解析空間の間の正則写像と解釈することができる。少し驚くべきことであるが、しばしば、解析的対象を代数的な方法で解釈することも可能である。

例えば、リーマン球面からリーマン球面自身への解析函数は、有理函数か、もしくは恒等的に無限大の函数であることが容易に証明できる(リウヴィルの定理の拡張として)。もしそのような函数 f が定数ではないとすると、f(z) が無限遠点となるような z の集合は孤立していて、リーマン球面はコンパクトであるから、高々有限個の z しか f(z) の値が無限大にならない。そのような z のあらゆる点でのローラン展開を考え、特異点を取り除くと、C 上に値を持つリーマン球面上の函数は、リウヴィルの定理により、定数函数しか残らない。このようにして f は有理函数となる。この事実は、代数多様体として、複素射影直線リーマン球面との間には本質的な差異は存在しないことを示している。

重要な結果

代数幾何学と解析幾何学の間の比較の結果は、長い歴史を持っている。19世紀に始まり現在まで続いている。より重要な結果をここに時系列で記載する。

リーマンの存在定理

リーマン面の理論では、コンパクトなリーマン面は充分に多くの有理型函数を持っていて、リーマン面が代数曲線となることを示した。リーマンの存在定理という名前で、コンパクトリーマン面の分岐被覆の深い結果が述べられていて、 そのような位相空間としての有限被覆は、分岐点の補空間の基本群置換表現により分類される。リーマン面の性質は局所的であるので、有限被覆は複素解析的という意味で被覆となることが、容易に理解できる。従って、有限被覆は代数曲線の被覆写像から来るということを結論付けられ、函数体有限次拡大から全て得ることができる。

レフシェッツの原理

20世紀には、ソロモン・レフシェッツの名前をつけたレフシェッツの原理が代数幾何学の中で、K を複素数体として扱うように、標数が 0 の任意の代数的閉体 K 上の代数幾何学の位相的なテクニックを評価するために主張された。大まかに言うと、Cの上の代数幾何学で正しいステートメントは、任意の標数が 0 である代数的閉体の上でも正しいということである。詳細な原理の証明は、アルフレト・タルスキ(Alfred Tarski)により、数理論理学を基礎としてなされた。[2][3]

この原理は、C上の代数多様体の解析的、位相的な方法を使って得られる結果を出すことを、標数 0 のほかの代数的な閉体の上で行うことで可能となる。

周の定理

周の定理(Chow's theorem)は、Wei-Liang ChowEnglish版中国語版により証明された定理で、比較すること最も有益な例である。この定理は、通常のトポロジーの意味で閉じた複素射影空間の解析的部分空間は、代数部分多様体であるということである。このことは、「射影複素多様体の強トポロジーでは閉な任意の解析的部分空間は、ザリスキー位相の中でも閉である」と言い換えることもできる。このことにより、代数幾何学の古典的な部分の複素解析的な方法を自由に使うことが可能となっている。

GAGA

1950年代の前半に、ホッジ理論のようなテクニックを含む代数幾何の基本を作り上げる一環として、2つの理論の間の多くの関係を基礎づけることが、成し遂げられた。この理論に寄与している主要な論文は、ジャン=ピエール・セールによる Géometrie Algébrique et Géométrie Analytique Serre (1956)であり、現在は通常 GAGA と呼ばれている。この論文では、代数多様体のクラス、正規射(regular morphism)、といったものを、解析空間のクラス、正則写像、層へ関連付けるという一般的な結果を証明している。この対応付けは、層のカテゴリの比較において、これらすべてに対して適用される。

今日、GAGA型の結果という用語を使うときは、代数幾何学の対象と射の圏から、解析幾何学の対象と正則写像の作る部分圏への全ての比較定理に対して使われる。

GAGAの公式ステートメント

  1. [math] (X,\mathcal O_X) [/math]C 上有限型なスキームとすると、位相空間 Xan が存在し、集合としては、連続埋め込み写像 λX: Xan → X を持つ X の閉点を構成する。Xan の位相は「複素トポロジー」と呼ばれる(部分空間位相とは全く異なった位相である)。
  2. φ: XYC 上局所有限型なスキームの射とすると、連続写像 φan: Xan → Yan が存在して、λY °φan = φ °λX となる。
  3. Xan 上には層 [math] \mathcal O_X^\mathrm{an} [/math] が存在し、[math] (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) [/math] が環付き空間であり、λX: Xan → X は環付き空間の写像となる。空間 [math] (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) [/math] は、[math] (X,\mathcal O_X) [/math] の「解析化(analytification)」と呼ばれ、解析空間である。全ての φ: X → Y に対し、上で定義された写像 φan は解析空間の写像である。さらに写像 φ ↦ φan は、開埋め込みを開埋め込みへと写像する。X = Spec(C[x1,...,xn]) に対し、Xan = Cn と全ての多重円板(polydisc) U に対する [math] \mathcal O_X^\mathrm{an}(U) [/math] は、U 上の正則函数の空間の適当な商となる。
  4. 全ての X 上の層 [math] \mathcal F [/math] (代数的層という)に対し、X 上の層 [math] \mathcal F^\mathrm{an} [/math] (解析的層という)と層の写像 [math] \mathcal O_X [/math]-modules [math] \lambda_X^*: \mathcal F\rightarrow (\lambda_X)_* \mathcal F^\mathrm{an} [/math] が存在する。層 [math] \mathcal F^\mathrm{an} [/math][math] \lambda_X^{-1} \mathcal F \otimes_{\lambda_X^{-1} \mathcal O_X} \mathcal O_X^\mathrm{an} [/math] として定義される。対応 [math] \mathcal F \mapsto \mathcal F^\mathrm{an} [/math][math] (X, \mathcal O_X) [/math] 上の層の圏から [math] (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) [/math] の層の圏への完全函手を定義する。

次の 2つのステートメントは、セールの GAGA 定理(グロタンディークやネーマンらにより拡張された)の真髄である。

  1. f: X → Y をC 上有限型なスキームの任意の射とし、[math] \mathcal F [/math] を連接層とすると、自然な写像 [math] (f_* \mathcal F)^\mathrm{an}\rightarrow f_*^\mathrm{an} \mathcal F^\mathrm{an} [/math] は単射である。f を固有とすると、この写像は同型となる。また、この場合には、全ての高次順像について同型 [math] (R^i f_* \mathcal F)^\mathrm{an} \cong R^i f_*^\mathrm{an} \mathcal F^\mathrm{an} [/math] が成り立つ。
  2. ここで、Xan がハウスドルフかつコンパクトとする。[math] \mathcal F, \mathcal G [/math] が 2つとも [math] (X, \mathcal O_X) [/math] 上の連接な代数的な層で、[math] f: \mathcal F^\mathrm{an} \rightarrow \mathcal G^\mathrm{an} [/math][math] \mathcal O_X^\mathrm{an} [/math]加群の層の写像とすると、f = φan をもつ一意な層の写像 [math] \mathcal O_X [/math]加群 [math] \varphi: \mathcal F\rightarrow \mathcal G [/math] が存在する。[math] \mathcal R [/math] が Xan 上の [math] \mathcal O_X^\mathrm{an} [/math]加群の解析的連接層であれば、[math] \mathcal O_X [/math]加群の代数的連接層 [math] \mathcal F [/math] と同型 [math] \mathcal F^\mathrm{an} \cong \mathcal R [/math] が存在する。

少し一般性は低くなるが、GAGAの定理は、複素多様体 X の上の代数的連接層の圏と対応する解析空間 Xan の上の解析的連接層の圏が、圏同値であることを言っている。解析空間 Xan は、大まかには、座標変換(the coordinate charts)を通して Cn から決まる複素構造を X へ引き戻すことによって得られる。実際、この方法で定理を言い換えることはセールの論文の精神に近く、上記の公式のステートメントを使うことでその重要さが分かるスキーム論は、GAGAの出版された当時はまだ理解されてはいなかった。

脚注

  1. #GAGAにも述べてあるように、セールの論文"Géometrie Algébrique et Géométrie Analytique"から取ったもので、単純な略称ではなく通常「GAGA」という専門用語として使われている。なお、解析幾何学は通常の解析幾何学の意味ではなく、解析多様体、もしくは解析空間の意味で使用する。
  2. For discussions see A. Seidenberg, Comments on Lefschetz's Principle, The American Mathematical Monthly, Vol. 65, No. 9 (Nov., 1958), pp. 685–690; 'Gerhard Frey and Hans-Georg Rück, The strong Lefschetz principle in algebraic geometry, Manuscripta Mathematica, Volume 55, Numbers 3–4, September, 1986, pp. 385–401.
  3. テンプレート:Springer

参考文献