【第6節】スペクトル（Spectrum）

【第6節】スペクトル（Spectrum）

—— 環の商が空間の部分になる時

第4章で、我々は「商（Quotient）」と「部分（Sub）」が双対概念であることを学んだ。

• 商：情報を捨てる、潰す（全射）。
• 部分：情報を選び出す、埋め込む（単射）。

この抽象的な双対性が、最も具体的かつ劇的な形で現れるのが、**代数幾何学（Algebraic Geometry）**の世界である。ここでは、「代数的な商」をとることが、そのまま「幾何的な部分」をとることに対応する。まるで鏡の中に入り込んだかのような反転現象が起きるのだ。

素イデアルの空間：スペクトル

可換環 $R$ に対し、その素イデアル（Prime Ideal）全体の集合を $Spec(R)$ と書き、$R$ のスペクトルと呼ぶ。 $Spec(R)=\{\mathfrak{p}\subset R\mid \mathfrak{p}\text{ は素イデアル}\}$ 素イデアルとは、「掛けて $ab\in \mathfrak{p}$ ならば、$a\in \mathfrak{p}$ か $b\in \mathfrak{p}$」という性質を持つイデアルで、幾何学的には「既約な図形（点や線など）」に対応する概念である。 $Spec(R)$ には「ザリスキ位相」という位相が入り、これを一つの**空間（幾何学的対象）**とみなす。これが現代代数幾何学の出発点（スキーム論の基礎）である。

商をとると、空間はどうなる？

さて、環 $R$ をイデアル $I$ で割って、商環 $R/I$ を作ってみよう。 商写像 $\pi :R\to R/I$ がある。 このとき、商環 $R/I$ のスペクトル $Spec(R/I)$ は、$Spec(R)$ とどう関係するだろうか？

環論の定理（対応定理）によれば、「商環 $R/I$ のイデアルは、元の環 $R$ のイデアルのうち、$I$ を含むものと1対1に対応する」。 素イデアルについても同様で、$Spec(R/I)$ の点は、$Spec(R)$ の点 $\mathfrak{p}$ のうち、$I\subseteq \mathfrak{p}$ を満たすものと完全に一致する。 幾何学的に言えば、$I\subseteq \mathfrak{p}$ という条件は、「イデアル $I$（連立方程式）の解集合の中に、点 $\mathfrak{p}$ が含まれている」ことを意味する。

結論として、自然な埋め込み写像（連続写像）が存在する： $Spec(\pi {)}^{\ast }:Spec(R/I)\hookrightarrow Spec(R)$ これは閉埋め込み（Closed embedding）となる。 つまり、「環 $R$ の商（$R\twoheadrightarrow R/I$）」は、「空間 $Spec(R)$ の閉部分集合（$V(I)\hookrightarrow Spec(R)$）」に対応するのである。

反変関手としてのスペクトル

この現象を圏論的に整理しよう。 スペクトルをとる操作 $Spec$ は、環の圏から位相空間の圏（への反対圏）への**反変関手（Contravariant Functor）**である。 $Spec:{\mathbf{Ring}}^{op}\to \mathbf{Top}$ 反変関手とは、矢印の向きを逆転させる関手のことだ。

• 環の射： $R\to R/I$ （全射・商）
• 空間の射： $Spec(R/I)\hookrightarrow Spec(R)$ （単射・部分）

「代数を割る（情報を減らす）」ことは、「空間を制限する（注目範囲を絞る）」ことである。 多項式環 $k[x,y]$ を $y-x^2$ で割ることは、平面 $k^2$ 全体から、放物線 $y=x^2$ という部分図形だけを切り出すことに対応する。 我々が方程式を解いて図形を描くとき、無意識のうちにこの「商と部分の反転」を行っているのだ。圏論は、この代数と幾何を結ぶ鏡の法則を、$Spec$ という関手一つで鮮やかに記述する。

---

【第7節】完全列とホモロジー代数

—— 「商の連鎖」で測る形状

幾何学と代数学の交差点にあるもう一つの巨大な分野が、**ホモロジー代数（Homological Algebra）**である。 ここでは、「商をとる」という操作を連続して行うことで、空間の「穴」や、方程式の「解けなさ」といった微細な構造を測定する。

鎖複体：境界の境界はない

対象の列と射の列があり、 $\cdots \stackrel{{\partial }_{n+1}}{\to }{C}_n\stackrel{{\partial }_n}{\to }{C}_{n-1}\stackrel{{\partial }_{n-1}}{\to }\dots$ 隣り合う射の合成がゼロになる（${\partial }_n\circ {\partial }_{n+1}=0$）とき、これを**鎖複体（Chain Complex）**と呼ぶ。 この条件は $\text{Im}({\partial }_{n+1})\subseteq \text{Ker}({\partial }_n)$ を意味する。 幾何学的には、「立体の境界（表面）には、もう境界（縁）はない（閉じた曲面である）」という事実に対応している。

ホモロジー群：核を像で割る

鎖複体は完全列ではない（像と核が一致するとは限らない）。 その「不完全さ（ズレ）」こそが、情報の宝庫である。 このズレを測るために、商をとる。 $H_n(C)=\text{Ker}({\partial }_n)/\text{Im}({\partial }_{n+1})$ これをホモロジー群と呼ぶ。

• $\text{Ker}({\partial }_n)$: 「サイクル」。閉じた図形（境界がないもの）。
• $\text{Im}({\partial }_{n+1})$: 「バウンダリー」。何かの境界になっているもの（中身が詰まっているもの）。
• 商をとる意味: 「閉じた図形のうち、中身が詰まっていないもの（穴）」だけを検出したい。だから、中身が詰まっているもの（Im）を「ゼロとみなす（商をとる）」のだ。

商の連鎖による測定

ホモロジー群の定義は、「商（Quotient）」という概念の究極の応用と言える。 ドーナツの穴を「ある」と認識するためには、物理的に穴があるわけではない。 「閉じたループがある（Ker）」のに、「それが膜で塞げない（Imでない）」という、**論理的なギャップ（商）**として穴を定義しているのである。

代数学においても、加群の分解不能性などを測るために $\text{Ext}$ や $\text{Tor}$ といった導来関手が使われるが、これらもすべて「射影分解」や「入射分解」という商と部分の連鎖を用いて定義される。 現代数学において、対象の深層構造を知りたければ、それを分解し、商をとり、その不完全さをホモロジーとして計算する。これが標準的なプロトコルとなっている。

第6章の結び：道具としての商

本章では、トポロジーのグルーイングから代数幾何学のスペクトル、ホモロジー代数まで、広範な領域を駆け抜けた。 共通していたのは、**「商をとる（余極限をとる）」という操作が、単なる抽象的な定義ではなく、新しい図形を作ったり、隠れた構造をあぶり出したりするための、極めて実用的な道具（ツール）**であるという事実だ。

• 形を作りたいなら、糊代を指定して商をとれ（プッシュアウト）。
• 構造を抽出したいなら、合同関係を指定して商をとれ（イデアル）。
• 穴を見つけたいなら、核を像で商をとれ（ホモロジー）。

圏論という統一言語を手に入れた読者は、これらの操作がすべて「普遍性」という一つの根から生えた枝葉であることを理解しているはずだ。 その視座は、個別の分野の教科書を読む際にも、強力な羅針盤となるだろう。

いよいよ次章は、本書の締めくくりとなる第7章。 これまでの「静的な同一視」を超えて、現代数学の最先端である「動的な同一視（ホモトピー）」と「高次圏論」の世界へ、少しだけ足を踏み入れることにしよう。

（第6章・完）

---

1. 第一部：トポロジーにおけるグルーイング、プッシュアウト、ファン・カンペンの定理。
2. 第二部：代数学におけるイデアル、合同関係、環論の商。
3. 第三部：代数幾何学（スペクトル）における双対性の逆転と、ホモロジー代数。

この章により、読者は圏論の抽象概念が、具体的な数学的現象（図形、方程式、穴）とどのように結びついているかを深く理解し、圏論を「使える知識」として定着させることができました。