代数幾何学

「方程式」と「図形」は、同じものの表と裏

$x^2+y^2=1$ という式は、円という図形でもあります。この当たり前の事実を極限まで 突き詰めるのが代数幾何学です。多項式の零点集合（図形）と、その多項式が生む環（代数）—— この二つは、実は完全に同じ情報を持っている。幾何の問いを代数の計算で解き、代数の構造を 幾何の直感で見る、その双方向の辞書がこの分野の魅力です。

橋渡しの要がヒルベルトの零点定理：「図形（零点）」と「イデアル（環論）」が きっちり対応することを保証します。20世紀にグロタンディークは、この辞書を極限まで一般化し、 どんな環にも“図形”を対応させるスキームを作りました。素数の世界と幾何を統一し、 フェルマーの最終定理の証明の舞台にもなった、現代数学の中心地の一つです。

方程式（代数）と零点集合（幾何）を同一視する。零点定理が両者を結ぶ辞書を与える。

この分野の地図

アフィン多様体 → 射影多様体 → 層とスキーム、と積み上げます。順番に読むのがおすすめです。

アフィン多様体 — 方程式と図形の辞書

1. 方程式と図形 — 零点集合 V とイデアル I（体感）
2. ザリスキ位相 — 既約性・既約成分
3. ヒルベルトの零点定理 — 辞書を完成させる礎石
4. 座標環と射 — 幾何と代数の圏同値

射影多様体 — 無限遠で完備化する

5. 射影空間 — なぜ完備化するか — 平行線と無限遠点（体感）
6. 射影多様体 — 斉次イデアル・アフィン地図の貼り合わせ
7. 次元・次数・特異点 — 多様体を測る（特異点を体感）

層とスキーム — 現代代数幾何へ

8. 層 — 局所を貼り合わせる — 前層・層・茎
9. 層化と層の射 — 完全系列・コホモロジーの芽
10. Spec — 任意の環に図形を — 素スペクトル・構造層
11. スキーム — 数論・無限小・族の統一
12. 連接層・コホモロジーと総まとめ — フェルマーまで

前提

環論（イデアル・素・局所化）・可換環論・ホモロジー代数（加群・完全系列）・ 集合と位相（位相）・圏論（関手・随伴・圏同値）が土台。

準備ができたら 第1章：方程式と図形 から。