Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である

236

ご挨拶

こんにちは、 Μίττον, ου, τό です。今回は、圏論 Advent Calendar 2022 第5日目の記事として、表題の内容を扱います。ぼぼ前提知識はないはずなので最後までおつきあいください。

定義と主張

この節では「Set圏におけるκ-limitとκ-filtered colimitの可換性」を正確な命題の形で述べます。まず、次の有名な定義から始めましょう：

$I$ , $J$ を小圏、 $C$ を $I$ 型極限と $J$ 型余極限をもつ圏とし、函手 $F : I \times J \to C$ を固定する。
このときカノニカルな射 ${can}_{F} : {Colim}_{J} {Lim}_{I} F \to {Lim}_{I} {Colim}_{J} F$ とは次のように決まる $C$ の射である：

$C$ は $J$ 型余極限をもつので、函手圏 $[I, C]$ は各点計算できる $J$ 型余極限をもつ。
特に $F : I \times J \to C$ に対応する函手 $\hat{F} : J \to [I, C]$ は $J$ 型余極限 ${α_{J} : F (-, J) \Rightarrow {Colim}_{J} F}_{J \in J}$ をもつ。
$α_{J}$ と函手 ${Lim}_{I} : [I, C] \to C$ の水平合成 ${Lim}_{I} ⋆ α_{J} : {Lim}_{I} F (-, J) \Rightarrow {Lim}_{I} {Colim}_{J} F$ に対し、 ${{Lim}_{I} ⋆ α_{J}}_{J \in J}$ は $C$ における $J$ 型の余錐である。
${{Lim}_{I} ⋆ α_{J}}_{J \in J}$ から定まる普遍的な射を ${can}_{F}$ とする。

また、集合の圏 $Set$ での極限と余極限の公式を用いれば、次がわかります：

小圏 $I$ , $J$ と函手 $F : I \times J \to Set$ を固定する。このとき、次の表示が得られる：

集合 $D_{0} := \underset{J \in J}{∐} \prod_{I \in I} F (I, J)$ 上の一項関係 $R_{1}$ を、 $R_{1} ((a_{I, J})_{I}) ⟺ \forall i : I \to I^{'} in I, F (i, J) (a_{I, J}) = a_{I^{'}, J}$ とする。
集合 $D_{1} := {d \in D_{0} ∣ R_{1} (d)}$ 上の二項関係 $R_{2}$ を、 $(a_{I, J})_{I} R_{2} (a_{I, J^{'}})_{I} ⟺ \exists J \overset{j}{\to} ∙ \overset{j^{'}}{\leftarrow} J^{'}, F (I, j) ((a_{I, J})_{I}) = F (I, j^{'}) ((a_{I, J^{'}})_{I})$ として定義する。
集合 $D_{1}$ を $R_{2}$ で生成された同値関係で割った集合 $D_{2} := D_{1} / R_{2}$ は ${Colim}_{J} {Lim}_{I} F$ である。
各 $I \in I$ に対し、集合 $C_{0}^{I} := \underset{J \in J}{∐} F (I, J)$ 上の二項関係 $S_{0}^{I}$ を、
$(J, a) S_{0}^{I} (J^{'}, a^{'}) ⟺ \exists J \overset{j}{\to} ∙ \overset{j^{'}}{\leftarrow} J^{'}, F (I, j) (a) = F (I, j^{'}) (a^{'})$ として定める。
集合 $C_{1}^{I}$ を $C_{1}^{I} := D_{0}^{I} / S_{0}^{I}$ と定め、 $I$ の射 $i : I \to I^{'}$ に対し、写像 $C_{1}^{i} : C_{1}^{I} \to C_{1}^{I^{'}}$ を、 $C_{1}^{i} ((J, a) / S_{0}^{I}) := (J, F (i, J) (a)) / S_{0}^{I^{'}}$ とする。
積集合 $C_{2} := \prod_{I \in I} C_{1}^{I}$ 上の一項関係 $S_{1}$ を、 $S_{1} ((a_{I})_{I}) ⟺ \forall i : I \to I^{'} in I, C_{1}^{i} (a_{I}) = a_{I^{'}}$ と定義する。
部分集合 $C_{3} := {c \in C_{2} ∣ S_{1} (c)}$ は ${Lim}_{I} {Colim}_{J} F$ である。
写像 $f_{F} : D_{2} \to C_{3}$ を $f_{F} ((a_{I, J})_{I} / R_{2}) := ((J, a_{I, J}) / S_{0}^{I})_{I}$ とすると、これは ${can}_{F}$ である。

次に小圏のクラスを定義します：

κ-filtered category

正則基数 $κ$ をとる。小圏 $J$ が $κ$ -filteredであるとは、 $J$ における任意のサイズ（射全体の集合の濃度） $κ$ 未満のquiverが余錐をもつことである。

以上の準備のもとで今回証明を観察したい主張は次のように書けます：

Set圏におけるκ-limitとκ-filtered colimitの可換性

任意の正則基数 $κ$ 、サイズ $κ$ 未満の圏 $I$ 、 $κ$ -filtered category $J$ 、函手 $F : I \times J \to Set$ に対し、カノニカルな射 ${can}_{F} : {Colim}_{J} {Lim}_{I} F \to {Lim}_{I} {Colim}_{J} F$ は同型である。

定理2の証明

では実際に定理2を証明していきましょう。ゴールは補題1の写像 $f_{F}$ が全単射であることです。

まずは有用な性質に注意しましょう：

ある正則基数 $κ$ に対し $J$ が $κ$ -filteredなら、補題1の二項関係 $R_{2}$ と $S_{0}^{I}$ は同値関係である。

f_{F}

の単射性の言い換え

ある正則基数 $κ$ に対し $J$ が $κ$ -filteredなら、次の2つは同値：
R1. $f_{F}$ は単射である。
R2. 任意の $J \in J$ と $(a_{I, J})_{I}, (a_{I, J}^{'})_{I} \in \prod_{I \in I} F (I, J)$ に対し、 $R_{1} ((a_{I, J})_{I}), R_{1} ((a_{I, J}^{'})_{I})$ であれば、 $\forall I \in I, a_{I, J} S_{0}^{I} a_{I, J}^{'}$ は $(a_{I, J})_{I} R_{2} (a_{I, J}^{'})_{I}$ を導く。

f_{F}

の全射性の言い換え

ある正則基数 $κ$ に対し $J$ が $κ$ -filteredなら、次の2つは同値：
R1. $f_{F}$ は全射である。
R2. 任意の $(J_{I}, a_{I, J_{I}})_{I} \in \prod_{I \in I} \underset{J \in J}{∐} F (I, J)$ に対し、 $S_{1} (((J_{I}, a_{I, J_{I}}) / S_{0}^{I})_{I})$ であれば、ある $(b_{I, J})_{I} \in \underset{J \in J}{∐} \prod_{I \in I} F (I, J)$ があって、 $R_{1} ((b_{I, J})_{I})$ かつ $\forall I \in I, (J, b_{I, J}) S_{0}^{I} (J_{I}, a_{I, J_{I}})$ である。

これらはκ-filtered categoryの定義から直ちに従います。

定理2の単射性の方

任意の正則基数 $κ$ 、サイズ $κ$ 未満の圏 $I$ 、 $κ$ -filtered category $J$ 、函手 $F : I \times J \to Set$ に対し、カノニカルな射 $f_{F} : D_{2} \to C_{3}$ は単射である。

$J \in J$ と $(a_{I, J})_{I}, (a_{I, J}^{'})_{I} \in \prod_{I \in I} F (I, J)$ であって $R_{1} ((a_{I, J})_{I}), R_{1} ((a_{I, J}^{'})_{I})$ であるものを固定します。このとき $\forall I \in I, a_{I, J} S_{0}^{I} a_{I, J}^{'}$ から $(a_{I, J})_{I} R_{2} (a_{I, J}^{'})_{I}$ を導けば主張が従います。
まず、 $S_{0}^{I}$ の定義より、 $I \in I$ ごとに $J$ の平行射 $j_{I}, j_{I}^{'} : J ⇉ K_{I}$ があって $F (I, j_{I}) (a_{I, J}) = F (I, j_{I}^{'}) (a_{I, J}^{'})$ となります。すると、 $I$ のサイズは $κ$ 未満なので、 $j_{I}, j_{I}^{'}$ らによるquiverは余錐を持ちます。特に、ある $K \in J$ があって、 $I \in I$ ごとに $k_{I}, k_{I}^{'} : J ⇉ K$ であって、 $F (I, k_{I}) (a_{I, J}) = F (I, k_{I}^{'}) (a_{I, J}^{'})$ となるものがあります。（量化子の交換！）
この $k_{I}, k_{I}^{'}$ はまさに $(a_{I, J})_{I} R_{2} (a_{I, J}^{'})_{I}$ の証拠です。

定理2の全射性の方

任意の正則基数 $κ$ 、サイズ $κ$ 未満の圏 $I$ 、 $κ$ -filtered category $J$ 、函手 $F : I \times J \to Set$ に対し、カノニカルな射 $f_{F} : D_{2} \to C_{3}$ は全射である。

$(J_{I}, a_{I, J_{I}})_{I} \in \prod_{I \in I} \underset{J \in J}{∐} F (I, J)$ であって $S_{1} (((J_{I}, a_{I, J_{I}}) / S_{0}^{I})_{I})$ であるものを固定します。このとき、 $(b_{I, K})_{I} \in \underset{J \in J}{∐} \prod_{I \in I} F (I, J)$ で $R_{1} ((b_{I, K})_{I})$ かつ $\forall I \in I, (K, b_{I, K}) S_{0}^{I} (J_{I}, a_{I, J_{I}})$ であるものをとれば主張が従います。
まず、 $S_{1} (((J_{I}, a_{I, J_{I}}) / S_{0}^{I})_{I})$ という仮定は、 $\forall i : I \to I^{'} in I, (J_{I}, F (i, J_{I}) (a_{I, J_{I}})) S_{0}^{I^{'}} (J_{I^{'}}, a_{I^{'}, J_{I^{'}}})$ と同値です。更に $(J_{I}, F (i, J_{I}) (a_{I, J_{I}})) S_{0}^{I^{'}} (J_{I^{'}}, a_{I^{'}, J_{I^{'}}})$ のとき、 $J$ の図式 $J_{I} \overset{j_{i}}{\to} K_{i} \overset{j_{i}^{'}}{\leftarrow} J_{I^{'}}$ があって、 $F (i, j_{i}) (a_{I, J_{I}}) = F (I^{'}, j_{i}^{'}) (a_{I^{'}, J_{I^{'}}})$ となります。すると、再び $I$ のサイズは $κ$ 未満なので、 $j_{i}, j_{i}^{'}$ らによるquiverは余錐を持ちます。特に、ある $K \in J$ があって、 $I \in I$ ごとに $k_{I} : J_{I} \to K$ であって、各 $i : I \to I^{'}$ ごとに $F (i, k_{I}) (a_{I, J_{I}}) = F (I^{'}, k_{I^{'}}) (a_{I^{'}, J_{I^{'}}})$ となるものがあります。（再び量化子の交換！）
ここで $b_{I, K} := F (I, k_{I}) (a_{I, J_{I}})$ とすれば、これは要件を満たします。

まとめ

このように、Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換によるものだと捉えることができます。この主張自体は非常に有名ですが、わざわざ量化子の交換を強調しながら示すことはそうそうないはずなので、この記事も一発ネタくらいには使えるかなと思います。ここまで読んでくださった方には、ぜひ明日の雑談のネタにでもしていただければ幸いです。

投稿日：2022年12月5日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Μίττον

1219

Mittum sum; impilia Artemisiae. Saepe collyram edo cardiacum semper!

他の人のコメント

コメントはありません。

読み込み中

Μίττον

Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である

ご挨拶
定義と主張
定理2の証明
まとめ