代数幾何学と解析幾何学のソースを表示

{{要改訳}}
[[数学]]において、'''代数幾何学と解析幾何学'''（だいすうきかがくとかいせききかがく、{{Lang-fr|Géometrie Algébrique et Géométrie Analytique}}、略称: '''GAGA'''）<ref group="注">[[#GAGA]]にも述べてあるように、セールの論文"Géometrie Algébrique et Géométrie Analytique"から取ったもので、単純な略称ではなく通常「GAGA」という専門用語として使われている。なお、解析幾何学は通常の解析幾何学の意味ではなく、解析多様体、もしくは解析空間の意味で使用する。</ref>は密接な関係にある。[[代数幾何学]]は[[代数多様体]]を研究するのに対して、解析幾何学は[[複素多様体]]やより一般的に[[多変数複素関数|多変数]]の（複素）[[解析函数]]のゼロ点で局所的に定義された{{仮リンク|解析空間|en|analytic space}}を扱う。これら2つの深い関係は、代数的なテクニックを解析空間へ適用したり、逆に解析的テクニックを代数多様体へ適用したりする上で応用されている。

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

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> は解析的多様体 X<sup>an</sup> の構造層である。言い換えると、代数多様体 X の連接層の圏と解析多様体 X<sup>an</sup>の圏は同値であり、同値性は <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次コホモロジー群と、X<sup>an</sup> 上の q次コホモロジー群が同型であることを意味する。

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

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

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

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

=== リーマンの存在定理 ===

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

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

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

=== 周の定理 ===
'''周の定理'''(Chow's theorem)は、{{仮リンク|チョウ・ウェイ・リァン|en|Wei-Liang Chow|label=Wei-Liang Chow}}<small>（[[:zh:周煒良|中国語版]]）</small>により証明された定理で、比較すること最も有益な例である。この定理は、通常のトポロジーの意味で閉じた複素[[射影空間]]の解析的部分空間は、代数部分多様体であるということである。このことは、｢射影複素多様体の[[強位相 (極位相)|強トポロジー]]では閉な任意の解析的部分空間は、[[ザリスキー位相]]の中でも閉である｣と言い換えることもできる。このことにより、代数幾何学の古典的な部分の中で複素解析的な方法を自由に使うことが可能となっている。

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

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

=== GAGAの公式ステートメント ===
# <math> (X,\mathcal O_X) </math> を '''C''' 上有限型なスキームとすると、位相空間 X<sup>an</sup> が存在し、集合としては、連続埋め込み写像 λ<sub>X</sub>: X<sup>an</sup> → X を持つ X の閉点を構成する。X<sup>an</sup> の位相は「複素トポロジー」と呼ばれる（部分空間位相とは全く異なった位相である）。
# φ: ''X'' → ''Y'' を '''C''' 上局所有限型なスキームの射とすると、連続写像 φ<sup>an</sup>: X<sup>an</sup> → Y<sup>an</sup> が存在して、λ<sub>Y</sub> °φ<sup>an</sup> = φ °λ<sub>X</sub> となる。
# X<sup>an</sup> 上には層 <math> \mathcal O_X^\mathrm{an} </math> が存在し、<math> (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) </math> が環付き空間であり、λ<sub>X</sub>: X<sup>an</sup> → X は環付き空間の写像となる。空間 <math> (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) </math> は、<math> (X,\mathcal O_X) </math> の「解析化(analytification)」と呼ばれ、解析空間である。全ての φ: X → Y に対し、上で定義された写像 φ<sup>an</sup> は解析空間の写像である。さらに写像 φ ↦ φ<sup>an</sup> は、開埋め込みを開埋め込みへと写像する。X = Spec('''C'''[x<sub>1</sub>,...,x<sub>n</sub>]) に対し、X<sup>an</sup> = '''C'''<sup>n</sup> と全ての多重円板(polydisc) U に対する <math> \mathcal O_X^\mathrm{an}(U) </math> は、U 上の正則函数の空間の適当な商となる。
# 全ての 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 定理（[[グロタンディーク]]やネーマンらにより拡張された）の真髄である。
# 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> が成り立つ。
# ここで、X<sup>an</sup> がハウスドルフかつコンパクトとする。<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 = φ<sup>an</sup> をもつ一意な層の写像 <math> \mathcal O_X </math>加群 <math> \varphi: \mathcal F\rightarrow \mathcal G </math> が存在する。<math> \mathcal R </math> が X<sup>an</sup> 上の <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 の上の代数的連接層の圏と対応する解析空間 X<sup>an</sup> の上の解析的連接層の圏が、圏同値であることを言っている。解析空間 X<sup>an</sup> は、大まかには、座標変換(the coordinate charts)を通して '''C'''<sup>n</sup> から決まる複素構造を X へ引き戻すことによって得られる。実際、この方法で定理を言い換えることはセールの論文の精神に近く、上記の公式のステートメントを使うことでその重要さが分かるスキーム論は、GAGAの出版された当時はまだ理解されてはいなかった。

==脚注==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2}}
=== 出典 ===
{{Reflist}}

==参考文献==
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=ジャン＝ピエール・セール | title=Géométrie algébrique et géométrie analytique | url=http://www.numdam.org/numdam-bin/item?id=AIF_1956__6__1_0 | mr=0082175 | year=1956 | journal=[[:en:Annales de l'Institut Fourier|Annales de l'Institut Fourier]] | issn=0373-0956 | volume=6 | pages=1–42 | doi=10.5802/aif.59}}

{{Normdaten}}
{{デフォルトソート:たいすうきかかくとかいせききかかく}}
[[Category:代数幾何学]]
[[Category:解析幾何学]]
[[Category:数学に関する記事]]