【第6節】随伴が保存するもの

【第6節】随伴が保存するもの

—— 極限と余極限の保存定理

「随伴関手は便利だ」と言われる最大の理由は、辞書としての機能だけでなく、**「構造を壊さない（保存する）」**という極めて行儀の良い性質を持っているからだ。 この性質を知っているだけで、個別の証明を省略できる場面が数学には山ほどある。

RAPL と LAPC

随伴関係 $F⊣G$ （$F$ が左、$G$ が右）があるとき、以下の定理が成り立つ。

1. RAPL (Right Adjoints Preserve Limits)

   • 右随伴関手 $G$ は、すべての極限（Limit）を保存する。
   • $G(\lim D_i)\cong \lim G(D_i)$。
   • 直積、等化子、核、引き戻しなどは、右随伴を通しても形が崩れない。

2. LAPC (Left Adjoints Preserve Colimits)

   • 左随伴関手 $F$ は、すべての余極限（Colimit）を保存する。
   • $F(\text{colim }{D}_i)\cong \text{colim }F(D_i)$。
   • 直和、余等化子（商）、押し出しなどは、左随伴を通しても形が崩れない。

商との関係：左随伴は商と仲良し

本著のテーマである「商（余等化子）」は、余極限の一種である。 したがって、LAPC定理により、**「左随伴関手 $F$ は商と可換である」**ことが保証される。 $F(A/\sim )\cong F(A)/F(\sim )$ 「商をとってから $F$ で飛ばす」ことと、「$F$ で飛ばしてから（対応する関係で）商をとる」ことは、結果として同じになる。

具体例：自由群と商 自由群関手 $F:\mathbf{Set}\to \mathbf{Grp}$ は左随伴である。 集合 $S$ の商集合 $S/\sim$ から作った自由群 $F(S/\sim )$ は、自由群 $F(S)$ を関係 $\sim$ で割った群 $F(S)/⟨\sim ⟩$ と同型になる。 これは、生成元の段階で同一視を入れても、群を作ってから同一視を入れても変わらないことを意味する。

逆の教訓：忘却関手は商を保存しない 逆に、右随伴である忘却関手 $U:\mathbf{Grp}\to \mathbf{Set}$ は、余極限（商）を保存する義務がない。 実際、商群 $G/N$ の台集合 $U(G/N)$ は、単なる集合の商 $U(G)/U(N)$ とは限らない（$U(N)$ は同値関係そのものではないからだ）。 「群の商は、集合の商よりも複雑な構造をしている」。この初学者が抱く違和感の正体は、忘却関手が右随伴であり、余極限（商）との相性が悪いことに起因している。

---

【第7節】商と随伴

—— 可換化と「最も近い」構造への射影

随伴の物語の最後に、「商をとる」という操作自体を、随伴の視点から眺めてみよう。 すると、「ある特定の構造への商をとる」ことは、実は「その構造への左随伴関手」を作ることと同義であるという事実が浮かび上がる。

群の可換化（Abelianization）

群 $G$ があるとき、交換子部分群 $D(G)=[G,G]$ で割った商群 $G^{ab}=G/[G,G]$ を、$G$ の可換化と呼ぶ。これは $G$ を「無理やり可換群（アーベル群）にしたもの」である。 この操作は関手 $Ab:\mathbf{Grp}\to \mathbf{Ab}$ を定める。

一方、アーベル群の圏 $\mathbf{Ab}$ は、群の圏 $\mathbf{Grp}$ の部分圏である。アーベル群を単なる群とみなす埋め込み関手（忘却関手の一種）$U:\mathbf{Ab}\to \mathbf{Grp}$ がある。 実は、このペアは随伴関係にある！ $Ab⊣U$ $Ho{m}_{\mathbf{Ab}}(G^{ab},A)\cong Ho{m}_{\mathbf{Grp}}(G,U(A))$ （ただし $A$ はアーベル群）

この随伴式が言っていることはこうだ。 「群 $G$ からアーベル群 $A$ への準同型を探すこと（右辺）は、$G$ を一旦可換化して $G^{ab}$ にしてから、$A$ への準同型を探すこと（左辺）と同じである」 なぜなら、行き先 $A$ が可換群なので、準同型 $f:G\to A$ は必ず交換子を単位元に送る（$f(xy{x}^{-1}{y}^{-1})=e$）からだ。情報は自動的に $G^{ab}$ を経由する。

反射的部分圏（Reflective Subcategory）

このように、包含関手（埋め込み）$U:\mathcal{D}\hookrightarrow \mathcal{C}$ が左随伴 $F$ を持つとき、$\mathcal{D}$ を $\mathcal{C}$ の反射的部分圏と呼ぶ。 このとき、左随伴 $F$ は**「射影（Projection）」や「商（Quotient）」**のような役割を果たす。

• $F(X)$ は、$X$ に「最も近い $\mathcal{D}$ の対象」である。
• 単位 ${\eta }_X:X\to F(X)$ は、商写像のように振る舞う。

例のオンパレード:

1. 可換化: 群 $\to$ アーベル群。
2. ねじれなし化: アーベル群 $\to$ ねじれなしアーベル群。
3. コンパクト化（Stone-Čech）: 位相空間 $\to$ コンパクトハウスドルフ空間。
4. 完備化: 距離空間 $\to$ 完備距離空間。

これらはすべて、ある制約（可換性、コンパクト性など）を満たさない対象に対して、強制的にその性質を持たせるための「商（あるいは拡張）」操作であり、すべて左随伴関手として定式化される。

結び：商とは「普遍的な翻訳」である

第3章で、商（余等化子）を「普遍性を持つ射」として定義した。 第5章の今、我々はより広い視点に立っている。 「商をとる」とは、単に一つの対象を潰すことではない。 それは、ある圏（複雑な世界）全体を、より制約の強い部分圏（単純な世界）へと映す**「左随伴関手（普遍的な翻訳機）」**を適用することなのだ。

随伴という概念を手に入れたことで、我々は個別の商操作（群の商、空間の商）だけでなく、「商をとるという操作そのもの」を数学的対象として扱えるようになった。 これこそが、圏論がもたらす抽象化の果実である。

さて、理論の頂点は極めた。 次章からは、この高みから地上を見下ろし、幾何学や代数学の具体的な問題（グルーイング、イデアル、スキームなど）が、圏論の言葉でどのように鮮やかに記述されるかを探訪する「応用編」へと入っていく。

（第5章・完）

---

1. 第一部：圏同値と随伴の導入（Hom集合による定義）。
2. 第二部：単位・余単位による定義と、自由・忘却随伴のメカニズム。
3. 第三部：保存定理と、可換化などの「反射的商」としての随伴。

この第5章により、読者は「商」を単なる引き算的な操作としてではなく、「異なる世界をつなぐ創造的な翻訳プロセス（随伴）」の一部として理解するに至りました。これで基礎理論の解説は完了です。