第12章 総括と展望
前章の小平の埋め込み定理で、「抽象的な複素多様体」と「多項式で定義される代数多様体」が、ある条件のもとで 一致することが分かりました。これは複素幾何の一つの到達点であると同時に、より広い解析=代数の一致(GAGA)の 一部です。この最終章では、その一致を総括し、カラビ–ヤウ多様体・ミラー対称性・モジュライという現代複素幾何の 広がりを展望します。そして全 12 章を貫いてきた一本の糸——「複素構造の硬さが、位相・解析・代数を一つに束ねる」 ——を振り返ります。
GAGA:解析的と代数的は同じもの
小平の埋め込み定理は「複素多様体が代数多様体になる条件」でした。セールのGAGA(代数幾何と解析幾何)は、 その上で「代数多様体を解析的に見ても、代数的に見ても、同じ」ことを保証します。
定理 GAGA(セール)
コンパクトな射影代数多様体 上では、解析的な対象(正則直線束・連接層・そのコホモロジー)と 代数的な対象(代数的直線束・代数的連接層)が完全に一致する。とくに 上の正則関数・正則写像は すべて代数的(有理関数・多項式写像)。
これは第1章の「コンパクト複素多様体上の正則関数は定数」を、はるかに深めた結果です。射影多様体の上では、 解析的に作った対象は必ず代数的な起源を持つ——複素解析の道具(ホッジ理論・)で得た結論が、 そのまま代数幾何の結論になる。第4章のドルボーの定理(解析的ドルボー=代数的層 コホモロジー)、第11章の小平(解析的複素多様体=代数多様体)、そしてこの GAGA が、複素幾何を微分幾何・ 複素解析・代数幾何の三つが完全に重なる場所にしています。ホッジ予想(ホッジ類は代数的サイクルか、という ミレニアム問題)は、この重なりの最深部を問うものです。
カラビ–ヤウとミラー対称性
複素幾何の現代的な広がりの中心に、カラビ–ヤウ多様体があります。第一チャーン類が消える()特別な ケーラー多様体です。
注意 カラビ–ヤウ多様体
カラビ–ヤウ多様体は、超弦理論の余剰次元のモデルとして物理で中心的な役を果たします。そこから生まれた ミラー対称性——異なるカラビ–ヤウ多様体 と で、 の複素構造の情報(ホッジ数 )と のケーラー構造(シンプレクティック)の情報が入れ替わる、という驚くべき双対性——は、複素幾何と シンプレクティック幾何を結び、数学に膨大な予想と結果をもたらしました。ホッジ・ ダイヤモンドが 回転して相手のダイヤモンドになる、という現象は、その最も目に見える現れです。
モジュライ:複素構造そのものを分類する
第1章の複素トーラスで、パラメータ ごとに複素構造が違いました。「どの複素構造が本質的に異なるか」を 分類する空間がモジュライ空間です。
注意 モジュライ空間
与えられた(実)多様体に入る複素構造全体を、双正則同値で割った空間をモジュライ空間という。 楕円曲線のモジュライは上半平面を で割ったもの(第1章の の分類、-不変量)。 リーマン面のモジュライ(タイヒミュラー理論)、K3 曲面やカラビ–ヤウのモジュライは、それ自体が豊かな幾何を 持つ研究対象。空間を分類する空間という、複素幾何の一段高い視点。
総括:複素幾何を貫く一本の糸
全 12 章を振り返ると、一つの主題が全体を貫いていました。
注意 複素幾何の見取り図
- 複素構造を入れる(第1–4章):正則座標で貼る複素多様体、可積分な 、 による 分解、 ドルボーコホモロジー。関数が足りない硬い世界。
- 計量で調和させる(第5–7章):エルミート計量とケーラー条件 、豊富なケーラー例(射影多様体)、 調和形式=コホモロジー。
- ホッジの奇跡(第8–9章): で 、位相が複素解析的に 分裂。ベッチ数への制約、ハード・レフシェッツ。
- 直線束で代数へ(第10–12章):正則直線束・チャーン類、小平の消滅・埋め込み、GAGA——解析=代数の一致。
貫く糸は「複素構造の“硬さ”が、位相・解析・代数を一つに束ねる」ことです。複素解析で 正則性がもたらした異様な剛さ——コンパクトだと関数は定数、という不自由さ——を、複素多様体は逆手に取ります。 関数が足りない代わりに、微分形式が に細分され、ケーラー計量のもとで位相(ベッチ数)が複素解析 (ホッジ数)に分解し、直線束のチャーン類が代数(射影多様体)を制御する。実の世界では無関係だった位相・解析・ 代数の三つが、正則性という一本の縛りのもとで、ホッジ理論を蝶番として完全に噛み合う。 という 一本の等式が、その象徴です。代数幾何と微分幾何が出会い、複素解析がその媒介をする——複素幾何は、現代幾何の 交差点そのものなのです。
注意 ここから先へ
非線形複素幾何(複素モンジュ–アンペール方程式・ケーラー–アインシュタイン計量・K安定性)、混合ホッジ構造と ホッジ理論の一般化(特異多様体・開多様体)、 加群と偏屈層、非可換ホッジ理論、ミラー対称性の数学的定式化 (ホモロジー的ミラー対称性)、モジュライ空間の幾何。どれも本分野のホッジ理論・直線束・GAGA を土台に、位相・ 解析・代数・物理が交わる現代幾何の最前線へと続く。