⟐ 数学の作り方 How to make Mathematics

第12章 連接層・コホモロジーと総まとめ

スキームの上の「良い層」

スキーム（前章）の上で幾何を展開する主役が、連接層です。第8・9章の層のうち、スキームの構造層 OX\mathcal O_X と 「うまく噛み合う」もの——局所的に有限個の生成元と関係で書ける層——が連接層。ベクトル束の切断、イデアル層、 微分形式など、幾何の自然な対象がみな連接層になります。

そして第9章で予告した層係数コホモロジーが、ここで本領を発揮します。連接層の大域切断がどれだけあるかを測る Hi(X,F)H^i(X,\mathcal F) が、多様体の大域的な不変量（次元・種数・オイラー標数）を捉え、代数幾何の中心定理を生む のです。本章は展望として、この頂へ至る景色を（証明でなく地図として）眺め、分野全体を総括します。

連接層＝スキーム上の「良い層」（局所有限生成）。そのコホモロジー Hi(X,F)H^i(X,\mathcal F) が大域的な不変量を測る。

連接層と準連接層

定義 準連接層・連接層

スキーム (X,OX)(X,\mathcal O_X) 上の OX\mathcal O_X 加群の層 F\mathcal F が準連接とは、局所的に OX\mathcal O_X 加群の表示（生成元と関係）をもつこと。さらに有限性をみたすものを連接層という。アフィン Spec⁡R\operatorname{Spec} R 上では、準連接層は RR 加群 MM と一対一（M↦M~M\mapsto\widetilde M）。

アフィン上で「準連接層 ↔ 加群」という対応が、第4章の「多様体 ↔ 環」を層のレベルへ持ち上げたものです。 加群論・ホモロジー代数の道具（テンソル・Hom・完全系列）が、 そのまま連接層に使えます。イデアル層（部分スキームを定義）、直線束（因子に対応）、微分形式の層——幾何の 基本対象がすべて連接層として統一的に扱えます。

コホモロジーと中心定理

層係数コホモロジー Hi(X,F)H^i(X,\mathcal F)（第9章の Γ\Gamma の右導来関手、ホモロジー代数）は、 連接層に対して有限次元になり（固有スキーム上）、深い定理を生みます。名前だけ挙げます。

注意 コホモロジーが生む中心定理

  • リーマン–ロッホの定理：曲線・多様体上の直線束 LL の大域切断の数を、コホモロジーのオイラー標数 χ(L)=∑(−1)idim⁡Hi(X,L)\chi(L)=\sum(-1)^i\dim H^i(X,L) として、次数・種数などの幾何量で表す。「与えられた極・零点をもつ関数は 何次元あるか」を計算する公式。複素解析のリーマン面論の一般化。
  • セール双対：HiH^i と Hn−iH^{n-i} を結ぶ双対（位相幾何のポアンカレ双対の代数版）。
  • セールの消滅定理・GAGA：射影スキーム上でコホモロジーが有限次元・十分ひねれば消滅。代数と解析の一致。
  • グロタンディーク–リーマン–ロッホ：射に沿ったコホモロジーの振る舞いを特性類で記述。現代の頂。

これらは第9章の「Γ\Gamma の左完全性の破れ＝コホモロジー」が、幾何の具体的な計算（何次元の関数空間があるか）に 結実したものです。局所的には解ける問題（茎で全射）が大域でどれだけ持ち上がるか——その障害を数え上げるのが コホモロジーで、リーマン–ロッホがその数を幾何量で予言します。

数論への到達——フェルマーまで

代数幾何の射程の広さを象徴するのが、数論との統一（第10・11章）です。Spec⁡Z\operatorname{Spec}\mathbb Z 上のスキームとして、整数の問題が幾何になります。

注意 スキーム論が解いた数論

  • フェルマーの最終定理（ワイルズ）：xn+yn=znx^n+y^n=z^n が n≥3n\ge3 で自明でない整数解をもたない。証明は、仮想の解から 作った楕円曲線（第7章の非特異三次曲線＝群スキーム）が「モジュラーでない」ことと、 「すべての楕円曲線はモジュラー」（谷山–志村予想）の矛盾による。楕円曲線・モジュラー形式・ガロア表現—— すべてスキーム論の言葉。
  • ヴェイユ予想（グロタンディーク–ドリーニュ）：有限体上の多様体の点の数を、コホモロジー（エタール コホモロジー）で数え上げる。Spec⁡Fp\operatorname{Spec}\mathbb F_p 上の幾何が、素数の世界の深い規則性を明かす。 「方程式の整数解」という古代からの問いが、スキームとコホモロジーで現代的に解かれる——代数幾何が数学の 中心地である所以。

代数幾何の全体像

長い旅を振り返ります。一貫していたのは第1章の一言——「方程式（代数）と図形（幾何）は同じものの表と裏」——の 徹底でした。

注意 この分野の地図

  • アフィン多様体（1〜4章）：零点集合 VV とイデアル II、ザリスキ位相と既約性、ヒルベルトの零点定理 （I(V(J))=JI(V(J))=\sqrt J）、座標環による幾何と代数の圏同値。
  • 射影多様体（5〜7章）：無限遠点による射影空間（交わりの完備化・ベズー）、斉次イデアル、次元・次数・ 特異点（勾配の消滅）。
  • 層とスキーム（8〜12章）：局所を貼り合わせる層、任意の環に図形を与える Spec⁡\operatorname{Spec}、 スキーム（数論・無限小・族の統一）、連接層とコホモロジー。

三つの果実：(1) 幾何と代数が完全に翻訳し合える（零点定理・圏同値）、(2) 無限遠と無限小を足すと理論が 完備になる（射影空間・べき零元）、(3) 「任意の環＝図形」で数論まで統一される（Spec⁡Z\operatorname{Spec}\mathbb Z・ フェルマー）。

他分野とのつながり

注意 回収と展望

  • 回収：環論（イデアル・素・局所化・ネーター）、可換環論・ホモロジー代数（加群・ 完全系列・導来関手）、集合と位相（位相）、圏論（関手・随伴・圏同値）、 複素解析（リーマン面）、多様体論（貼り合わせ）を横断した。
  • 展望：数論幾何（フェルマー・ヴェイユ予想・ラングランズ）、複素幾何（ケーラー・ホッジ理論）、 モジュライ理論、ミラー対称性、そして現代の最前線（導来代数幾何・遠アーベル幾何）。代数幾何は、 数学のもっとも多くの分野が交差する結節点。

「x2+y2=1x^2+y^2=1 は円である」という子どもでも知る事実の徹底が、ヒルベルトの零点定理・射影空間・スキーム・ コホモロジーを経て、フェルマーの最終定理と現代数学の中心地にまで届きました。方程式と図形を同一視する—— その一つの視点が、代数と幾何と数論を一つに束ねる。それが代数幾何のもつ比類ない射程です。

つまずきポイント

注意 よくある誤解

  • 連接層＝スキーム上の「良い層」。 アフィン上で加群と一対一。ベクトル束・イデアル層・微分形式が連接層。
  • コホモロジー HiH^i＝大域切断の障害。 第9章の Γ\Gamma の破れの右導来関手。リーマン–ロッホがその次元を幾何量で 計算。
  • 代数幾何は数論を含む。 Spec⁡Z\operatorname{Spec}\mathbb Z で整数論が幾何に。フェルマーの証明はスキーム論の上。
  • 本章は展望（地図）。 連接層・コホモロジー・数論の詳細は、可換環論・ホモロジー代数や専門課程で。ここは 景色を眺めた。

この章のまとめ

  • 連接層＝スキーム上の「良い層」（局所有限生成、アフィンで加群と一対一）。ベクトル束・イデアル層・微分形式。加群論の道具が使える。
  • コホモロジー Hi(X,F)H^i(X,\mathcal F)（第9章の Γ\Gamma の破れ）が大域的不変量を測り、リーマン–ロッホ・セール双対などの中心定理を生む。
  • 数論との統一：Spec⁡Z\operatorname{Spec}\mathbb Z 上のスキームとして、フェルマーの最終定理・ヴェイユ予想が解かれた。
  • 代数幾何の精神は「方程式（代数）と図形（幾何）は表裏一体」。零点定理・射影空間・スキーム・コホモロジーを柱に、環論・圏論・複素解析・数論を束ねる数学の中心地。
  • 代数幾何学（全12章）はこれで完結。子どもの知る「式は図形」から、現代数学の最前線まで、一本の辞書でつながりました。

お疲れさまでした。方程式と図形を同一視する旅は、ヒルベルトの零点定理・射影空間・グロタンディークのスキーム、そしてフェルマーの最終定理まで辿り着きました。