第6章：幾何学と代数学における商の実践 —— グルーイングとイデアル

---

📖 このファイルの位置づけ

STEP 07 - 読み順

← 前のファイル	現在地	次のファイル →
[前のファイル](/数学における「同じ」とは/第5章：同型を超えて —— 随伴と圏同値)	第6章：幾何学と代数学における商の実践	[次のファイル](/数学における「同じ」とは/第7章：高次圏論への展望 —— 同一視の「弱さ」とホモトピー)

深掘り関連ファイル:

• 第6章_04節_代数学における商：環とイデアルのミステリー
• 第6章_06節_スペクトル（Spectrum）

---

【導入】抽象から具象へ

—— 圏論のレンズで見る数学の現場

これまでの章で、我々は圏論という高台から「商」の概念を俯瞰してきた。 「余等化子」「エピ射」「随伴の余単位」。これらは美しく統一された理論だが、抽象的すぎて雲をつかむような感覚を持った読者もいるかもしれない。

本章では、高台から降りて、数学者たちが日々汗を流している「現場」へ向かう。 具体的には、**幾何学（トポロジー）と代数学（環論）**の現場である。 そこでは、「商をとる」という操作は、抽象的な概念ではなく、具体的な計算や構成のための必須テクニックとして使われている。

• 幾何学における商：それは**「構成（Construction）」**である。
  • 単純なパーツを貼り合わせて、メビウスの帯やブラックホールの時空といった、複雑で新しい形を創造するポジティブな操作。
• 代数学における商：それは**「分類（Classification）」**である。
  • 複雑すぎる数体系を、イデアルという基準で割り算し、本質的な構造だけを抽出するネガティブ（還元的）な操作。

一見すると、これらは逆の方向を向いているように見える。「作る」ことと「減らす」こと。 しかし、圏論のレンズを通せば、これらは全く同じ現象——「余極限（Colimit）による統合」——として映る。 本章では、グルーイング（貼り合わせ）とイデアル（合同関係）という二つの実践を通して、圏論がいかにして数学の「手触り」を記述しているかを体感してもらう。

---

【第1節】トポロジーにおける商：グルーイング（Gluing）の技法

—— 形を作るための「割り算」

トポロジー（位相幾何学）は、しばしば「ゴムの幾何学」と呼ばれる。 そこでは、図形を連続的に変形させても「同じ」とみなす。しかし、トポロジーの真骨頂は、単に変形することだけではない。図形の一部を**「接着（Gluing）」**する操作にある。

商空間（Quotient Space）の復習

集合 $X$ に位相（開集合系）が入っているとする。 同値関係 $\sim$ で割った商集合 $X/\sim$ に、どのような位相を入れるべきか？ 第3章で見た通り、圏論的な普遍性は、以下の「商位相」を一意に指定する。 $U\subseteq X/\sim \text{ が開集合}⟺q^{-1}(U)\subseteq X\text{ が開集合}$ （ここで $q:X\to X/\sim$ は自然な射影）

この定義は、一見すると形式的に見えるが、幾何学的には**「切ったものを繋ぐ」**という直感を正当化している。 $q$ が連続であるということは、「$X$ で近かった点は、商空間でも近い」ことを意味する。 逆に、商位相が「最強の位相」であるということは、「$X$ で離れていた点は、同一視されない限り、商空間でも離れたままである（余計な癒着を起こさない）」ことを保証している。

多様体の構成：地図の貼り合わせ

現代幾何学の中心的な対象である**「多様体（Manifold）」は、局所的にはユークリッド空間 ${\mathbb{R}}^n$ と同じ構造を持つ図形である。 しかし、地球（球面）がそうであるように、全体としては平らではない。 これを構成する標準的な手法が、複数の ${\mathbb{R}}^n$（地図、チャート）を用意し、その縁同士を「貼り合わせる（商をとる）」**ことである。

• 例：射影平面 $\mathbb{R}{P}^2$
  • 素材：球面上 $S^2$ の点 $x$ と対蹠点 $-x$。
  • 関係：$x\sim -x$。
  • この商空間は、3次元空間内には埋め込めない（自己交差なしには実現できない）不思議な曲面となる。
  • しかし、商の定義を使えば、「対蹠点を同一視した球面」として、論理的には何の問題もなく扱える。商概念は、我々の視覚的限界を超えた図形を定義する力を与えてくれる。

不変量の振る舞い

商をとると、図形の性質（不変量）はどう変わるだろうか？

• 連結性：商をとると、連結成分は減る（くっつくから）。連結性は保たれる。
• コンパクト性：保たれる（商写像は連続だから）。
• ハウスドルフ性（分離公理）：保たれないことが多い。
  • 例えば、実数直線 $\mathbb{R}$ で $x\sim y⟺x-y\in \mathbb{Q}$ という商をとると（密着位相になり）、点は分離できなくなる。
  • 幾何学者が「商をとるときは気をつけろ」と言うのは、このハウスドルフ性が壊れやすく、壊れると「図形」としての直感が通用しなくなるからである。圏論は、この「壊れやすさ」まではケアしてくれない（位相空間の圏 Top にはハウスドルフでない空間も含まれるため）。ここは圏論と個別の数学分野の棲み分けが必要なポイントだ。

---

【第2節】プッシュアウト（Pushout）

—— 幾何学的接着の一般論

図形の貼り合わせを、より一般的かつ操作的に記述するのが、圏論における**「プッシュアウト（Pushout）」**である。これは余等化子の親戚であり、トポロジーにおける「和集合」の概念を精密化したものだ。

プッシュアウトの定義

以下の角形の図式（Span）を考える。 $B\stackrel{f}{\leftarrow }A\stackrel{g}{\to }C$

• $B,C$：貼り合わせたい2つの図形。
• $A$：**「糊代（のりしろ）」**となる図形。
• $f,g$：糊代 $A$ を、$B$ と $C$ のどこに貼り付けるかを指定する写像。

この図式の余極限（Colimit）を、プッシュアウトと呼び、$B{\cup }_{A}C$ あるいは $B{⨿}_{A}C$ と書く。 集合論的には、直和 $B\bigsqcup C$ を、「$f(a)$ と $g(a)$ を同一視する ($f(a)\sim g(a)$)」という関係で割った商集合である。

具体例1：球面の構成

2つの円盤 $D^2$ （北半球と南半球）を貼り合わせて球面 $S^2$ を作りたい。

• $B=D^2,C=D^2$。
• 糊代 $A=S^1$ （円盤の境界である円周）。
• $f,g:S^1\hookrightarrow D^2$ （境界への包含写像）。 このプッシュアウトは、2つの円盤の縁をぴったり貼り合わせたもの、すなわち球面 $S^2$ となる。 $D^2{\cup }_{S^1}{D}^2\cong S^2$

具体例2：ブーケ（一点和）

2つの円 $S^1$ を、一点だけでくっつけた「8の字」図形を作りたい。

• $B=S^1,C=S^1$。
• 糊代 $A=\{\ast \}$ （一点）。
• $f,g$：それぞれの円の基点への写像。 このプッシュアウト $S^1\vee S^1$ は、代数的トポロジーにおける基本的なテスト空間となる。

普遍性の威力：写像の構成

プッシュアウトの最大の利点は、**「貼り合わせた空間からの写像」**を簡単に作れることだ。 普遍性によれば、プッシュアウト $P=B{\cup }_{A}C$ から任意の空間 $Z$ への写像 $u:P\to Z$ を作るには、以下のデータがあれば十分である。

1. 写像 $u_B:B\to Z$
2. 写像 $u_C:C\to Z$
3. 整合条件：糊代 $A$ 上で一致すること（$u_B\circ f=u_C\circ g$）。

「別々に定義して、境界で値が合っていれば、全体として一つの連続写像になる」。 これは解析学における「接続（Gluing lemma）」そのものであり、圏論的な普遍性が保証する強力なツールである。

---

【第3節】基本群とファン・カンペンの定理

—— 空間の接着を群の接着へ

トポロジーの目的の一つは、図形を分類することだ。そのために、図形 $X$ を群（代数）に翻訳する不変量が使われる。その代表が**「基本群（Fundamental Group） ${\pi }_1(X)$」**である。 基本群とは、空間内のループ（輪っか）の変形可能性を群構造にしたものだ。

関手による翻訳

基本群をとる操作は、位相空間の圏（の基点付きホモトピー圏）から群の圏への関手とみなせる。 ${\pi }_1:{\mathbf{Top}}_{\ast }\to \mathbf{Grp}$ さて、空間をプッシュアウトで貼り合わせたとき、その基本群はどうなるだろうか？ つまり、${\pi }_1(B{\cup }_{A}C)$ は、${\pi }_1(B)$ と ${\pi }_1(C)$ から計算できるか？

ファン・カンペンの定理（van Kampen’s Theorem）

この問いに対する答えが、有名なファン・カンペンの定理である。 圏論の言葉を使えば、この定理は極めて簡潔に表現できる。 「基本群関手 ${\pi }_1$ は、プッシュアウトを保存する」

すなわち、以下の同型が成り立つ。 ${\pi }_1(B{\cup }_{A}C)\cong {\pi }_1(B){\ast }_{{\pi }_1(A)}{\pi }_1(C)$ 右辺の ${\ast }_{{\pi }_1(A)}$ は、群の圏におけるプッシュアウト、すなわち**「融合積（Amalgamated product）」**である。

• 空間の接着（幾何） $⟷$ 群の接着（代数）

この対応関係は美しい。

• 空間 $B{\cup }_{A}C$ の中のループは、$B$ のループと $C$ のループをつなぎ合わせたものとして表現できる。
• ただし、糊代 $A$ にあるループは、$B$ 側で見ても $C$ 側で見ても「同じもの」とみなさなければならない。
• これが群の融合積（自由積を $A$ の関係で割った商）の定義そのものである。

随伴による解釈

一般に、**「左随伴関手は余極限（プッシュアウト）を保存する（LAPC）」**という定理があった。 実は、基本群関手 ${\pi }_1$ はある関手の左随伴になっている（分類空間関手などとの関連）。 ファン・カンペンの定理は、個別の幾何学的定理であると同時に、圏論的な「左随伴の連続性」の一つの現れとしても理解できる。

我々は圏論を使うことで、「図形を切って貼る」という泥臭い作業を、「群の演算」というスッキリした計算問題へと、情報の構造を保ったまま翻訳できるのである。

---

続く論点（第二部）

【第4節】代数学における商：環とイデアルのミステリー 【第5節】合同関係（Congruence）とイデアルの必然性

第二部では、舞台を幾何学から代数学へ移します。群論では「正規部分群」、環論では「イデアル」と名前を変える商の核（Kernel）。なぜ単なる部分環では割れないのか？ その理由を、圏論的な「合同関係（Congruence）」の概念を用いて解明します。

続けて第二部を出力してよろしいでしょうか？