講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナー「カテゴリー論基礎 2 — Adjoint —」は、2024年5月に開催された「カテゴリー論基礎」の続編として位置づけられています。前回のセミナーでは、Category・Functor・Natural Transformationという基本構成要素と、LimitやCoLimitを可能にするUniversal Propertyの概念が扱われました [p.4]。今回は、カテゴリー論において最も中心的かつ「カテゴリー論のレンズなしでは見えない」と形容される概念、すなわち Adjoint Functor（随伴関手） の理解を深めることを中心テーマとしています。
Saunders Mac Laneが「Adjoint functorはいたるところに存在する」と喝破したように [p.21]、随伴関手は数学の広大な領域に通底する統一的構造です。Steve Awodeyが「adjointnessは数学の他の分野では捉えられていない、論理的にも数学的にも根本的に重要な概念である」と挑発的に主張したように [p.18]、Adjointの理解はカテゴリー論を「単なる言語」から「独立した研究領域」へと昇格させた歴史的転換点でもあります。
本セミナーはAdjointの概念史的背景から丁寧に議論を構築します。Adjointという名称の由来となったヒルベルト空間論における随伴作用素 `
さらに本セミナーは、Adjointの定義を二方向から確立します。第一の定義であるhom集合の自然同型による定義 [p.62]、そして第二の定義としてunit `η: 1_A → G∘F` とcounit `ε: F∘G → 1_B` というnatural transformationのペアによる定義 [p.132] が導入され、両者が同値であることが「同一射の三角図式」の可換性を通じて証明されます [p.152], [p.156]。これにより、Adjointを単なる定義として受け取るのではなく、数学の深部に走る構造的対称性として体感できる内容となっています。
参考文献として、Tai-Danae Bradleyのブログ、Tom LeinsterのBasic Category Theory、John BaezのApplied Category Theory Course、Emily RiehlのCategory Theory in Contextが挙げられており [p.11], [p.12]、特にBaezの叙述にAdjoint概念が一貫して貫かれている点が強調されています [p.13]。
講義のロードマップ
■ Part 0: はじめに
- この部の核心:
本セミナーの背景・動機・参考文献を概観します。カテゴリー論の基礎を継続的に学ぶことの必要性と、2024年5月に解決された「幾何学的ラングランズ予想」のニュースを動機として、カテゴリー論——特にAdjoint概念——の学習が現代数学の変化を理解する第一歩であることが主張されます [p.7], [p.10]。
- 論理展開:
- 前回（5月セミナー）の振り返りと今回のテーマ設定 [p.4], [p.5]
- ラングランズ予想の部分解決（Quanta誌記事）を数学の変化の証拠として提示 [p.10]
- 参考文献4点（Bradley, Leinster, Baez, Riehl）の特徴と活用方針を明示 [p.11], [p.12], [p.13]
■ Part 1: Adjoint概念成立以前
- この部の核心:
カテゴリー論的Adjoint functorが1957年に登場する以前に存在していた二つの「祖先的概念」、すなわち（1）ヒルベルト空間論における随伴作用素と（2）順序集合上のGalois connectionを検討します。両者に共通する「左右の対称的な対応関係」という本質的構造を浮き彫りにし、それがいかにして `B(F(A), B) ≅ A(A, G(B))` という定式化へと結晶化するかの準備が整えられます [p.30], [p.52]。
- 論理展開:
- 随伴作用素: `
= ` の定義と、Hermitian行列・Unitary行列・正規行列の性質、エルミート行列の固有値が実数であることの証明 [p.33], [p.34], [p.41], [p.42] - Galois connection: Ore (1944) の定義 `F(a) ≤ b ⟺ a ≤ G(b)` と、right adjointが最小上界、left adjointが最大下界として一意に決まるという性質 [p.48], [p.51]
- 両概念からAdjoint functorの定式 `hom(Fa, b) ≅ hom(a, Gb)` への「橋渡し」として小括 [p.52]
■ Part 2: Adjoint Functor
- この部の核心:
カテゴリー論的Adjoint functorの正式な定義を与え、`Free functor ⊣ Forgetful functor` というペアを中心的例として詳述します。集合から群・ベクトル空間を生成するFree functorの構成と、`Vect_k(F(S), V) ≅ Set(S, U(V))` の証明を通じて、Adjointの定義が「具体的な数学的構成の本質」を正確に捉えることが実証されます [p.87], [p.97]。さらに `−×B ⊣ (−)^B` という、Free/Forgetfulのペアとは異なる例も提示されます [p.102], [p.111]。
- 論理展開:
- Adjoint functorの定義: `B(F(A), B) ≅ A(A, G(B))` とtransposeの概念、自然性の条件 [p.62], [p.65], [p.68], [p.70]
- Forgetful functor `U: Grp → Set` の説明と、Free group `F(S)` の構成（語の連接による群構造） [p.74], [p.75], [p.79]
- 自由ベクトル空間 `F(S) = {Σλ_s · s}` の構成と `Vect_k(F(S), V) ≅ Set(S, U(V))` の証明（双方向の対応 `ḡ(s) = g(s)` および `f̄(Σλ_s s) = Σλ_s f(s)` による） [p.85], [p.86], [p.95], [p.96], [p.97]
- `−×B ⊣ (−)^B`: `Set(A, C^B) ≅ Set(A×B, C)` の証明（`(ḡ(a))(b) = g(a,b)` および `f̄(a,b) = (f(a))(b)` による） [p.106], [p.108], [p.109], [p.111]
■ Part 3: Unit と Counit
- この部の核心:
Adjunctionを特徴づける第二の定義として、unit `η: 1_A → G∘F` とcounit `ε: F∘G → 1_B` というnatural transformationのペアを導入します。「同一射の三角図式」の可換性という条件が、Part 2の定義と同値であることを証明し、unitとcounitによるAdjunctionの二つ目の定義を確立します [p.132], [p.152], [p.156]。
- 論理展開:
- unitの導出: `(A →^{η_A} GF(A)) = (F(A) →^I F(A))` というtransposeの対応から `η: 1_A → G∘F` を定義 [p.127], [p.132]
- counitの導出: `(FG(B) →^{ε_B} B) = (G(B) →^I G(B))` から `ε: F∘G → 1_B` を定義 [p.131], [p.132]
- ベクトル空間での具体例: unit `η_S: S → UF(S)` は形式的線形和への埋め込み、counit `ε_V: FU(V) → V` は線形結合を実際の値に送る写像 [p.133], [p.134]
- 同一射の三角図式の可換性の証明と補題 `ḡ = G(g)∘η_A`, `f̄ = ε_B∘F(f)` [p.138], [p.150], [p.151]
- adjunctionの二定義の同値性の確立: transposeを `ḡ = G(g)∘η_A` および `f̄ = ε_B∘F(f)` と定義することでPart 2の定義が復元されることを示す [p.154], [p.155], [p.156]