【ホモロジー代数 2】 アーベル圏の定義と具体例

まえがき

前回 は圏における特別な対象とその性質について見てきました。今回はこれらを駆使してアーベル圏を定義します。前回をまだ見ていない方は こちら をご覧ください。
また今回は圏の知識に加えて、簡単な群の知識を使います。ご了承ください。

アーベル圏の定義

以下は「零対象」を「0」、「直和」「直積」を「$\bigsqcup$」「$\times$」、「核」「余核」を「$\mathrm{Ker}$」「$\mathrm{Coker}$」と短縮して書いたものです

具体例と反例

次にアーベル圏の具体例と反例について見ていきましょう

アーベル群の圏

(1)$\mathrm{Ab}$の零対象は自明な対象で、零射は全ての元を単位元に送る写像。
(2)$\mathrm{Ab}$の圏の直和、直積は共に群の直積
(3)$\mathrm{Ab}$の$f:X\to Y$の核と余核は$\mathrm{Ker}f,Y/\mathrm{Im}f$
(4)$f:X\to Y$がモノ射なら、$(X,f)$は商写像$g:Y\to Y/\mathrm{Im}f$の核、エピ射なら、$(Y,f)$は包含写像$i:\mathrm{Ker}f\to X$の余核

アーベル圏の双対圏

(1)${\mathcal{A}}^{\mathrm{op}}$の零対象は$\mathcal{A}$の零対象で、零射は$\mathcal{A}$上の零射$f:Y\to X$の双対$f^{\mathrm{op}}:X\to Y$
(2)${\mathcal{A}}^{\mathrm{op}}$の圏の直和、直積は$\mathcal{A}$上の直積と直和
(3)${\mathcal{A}}^{\mathrm{op}}$の$f:X\to Y$の核と余核は$\mathcal{A}$上の余核と核
(4)$f^{\mathrm{op}}:X\to Y$がモノ射なら、$⟨X,f^{\mathrm{op}}⟩$は$(\ker f{)}^{\mathrm{op}}$の核、エピ射なら、$⟨Y,f^{\mathrm{op}}⟩$は$(\mathrm{coker}f{)}^{\mathrm{op}}$の余核

関手圏

(1)$\mathrm{Fun}(\mathcal{C},\mathcal{A})$の零対象は,$\mathcal{C}$の対象を$\mathcal{A}$の零対象へ送り、射を${\mathrm{id}}_0$に送る関手。零射は全てが零射の族となる自然変換
(2)$\mathrm{Fun}(\mathcal{C},\mathcal{A})$の対象$F,G$の直和は$\mathcal{C}$の対象$X$と射$f$に対して、$(F\bigsqcup G)(X):=F(X)\bigsqcup G(X)$
$i_1:=\{F(f)\bigsqcup 0\Rightarrow F(f)\bigsqcup G(f)\},i_2:=\{0\bigsqcup G(f)\Rightarrow F(f)\bigsqcup G(f)\}$
となる関手と自然変換のペア(直積も同様に定義する)
(3)$\mathrm{Fun}(\mathcal{C},\mathcal{A})$の射$\alpha :F\Rightarrow G$の核は$\mathcal{C}$の対象$X$に対して、
$\ker \alpha :=\{\mathrm{Ker}{\alpha }_{\mathrm{X}}\to F(X){\}}_{X\in \mathrm{ob}\mathcal{C}}$
(4)$\alpha :F\to G$がモノ射なら、$⟨F,\alpha ⟩$は$⟨\mathrm{Coker}\alpha ,\mathrm{coker}\alpha ⟩$の核(余核も同様に示せる)

群の圏(反例)

三次の置換群$S_3$その部分群$H:=\{{\mathrm{id}}_{\mathrm{G}},(2,3)\}$に対して、、包含写像$i:H\hookrightarrow G$はモノ射です。一方$H$が正規部分群でないために任意の射の核にはなりえません(群の核は全て正規部分群のため)。よって(4)の条件を$\mathrm{Grp}$は満たさないためアーベル圏ではありません。

まとめ

お読みいただきありがとうございました！次回はアーベル圏における定理とその証明を紹介していきます。