アーベル圏

数学 > ホモロジー代数・圏論 > アーベル圏

アーベル圏︵アーベルけん、英: abelian category︶とは︵コ︶チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。

アーベル圏となる圏の具体例としてはアーベル群の圏や環上の加群の圏、アーベル圏上の︵コ︶チェイン複体の圏、およびアーベル圏に値を取る前層や層の圏が挙げられる。

アーベル圏の著しい性質として加法圏になる事、すなわちアーベル圏の対象間の射のクラス$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$がアーベル群になる︵事に加え、いくつかのよい性質を満たす︶事が挙げられる。

アーベル圏が小さい圏であればアーベル圏は加群の圏に埋め込める︵ミッチェルの埋め込み定理︶。よって特に加群の圏で成立する事実、例えば5項補題や蛇の補題のようにホモロジー代数を展開する上で必須となる補題を満たす。




マックレーンはグロタンディークが1958年の論文でアーベル圏を定義したとするが、別の文献によれば、アイレンベルグの弟子のデイビット・バックズバウムが1955年の博士論文で﹁exact category﹂の名称でこの概念を提案し、これを知ったグロタンディークが﹁アーベル圏﹂という名前でこの概念を広めた。

加法圏

上述のようにアーベル圏の著しい性質として加法圏になる事が挙げられるので、本節ではアーベル圏を導入する準備として、加法圏の定義とその性質を述べる。

定義

加法圏は以下のように定義される：

定義 ― 圏${\mathcal {C}}$が前加法圏（英: preadditive category、英: Ab-category）であるとは、${\mathcal {C}}$の任意の対象A、Bに対し、$\mathrm {Hom} (A,B)$には2項演算子「$+$」が定義されており、「$+$」に関して$\mathrm {Hom} (A,B)$はアーベル群になり、さらに任意の射$f,~f'~:~A\to B$、$g,~g'~:~B\to C$に対し、射の結合は下記の双線型性を満たす事を言う：

$g\circ (f+f')=g\circ f+g\circ f'$

$(g+g')\circ f=g\circ f+g'\circ f$

定義 ― 前加法圏${\mathcal {C}}$が加法圏（英: additive category）であるとは、以下を満たす事を言う：

1. ${\mathcal {C}}$は零対象を持つ
2. ${\mathcal {C}}$の任意の対象A、Bに対し、AとBの積が常に存在する。

特徴づけ

加法圏の1番目の条件は以下のようにも言い換えられる：

定理 ― ${\mathcal {C}}$${\mathcal {C}}$を前加法圏とし、Zを${\mathcal {C}}$${\mathcal {C}}$の対象とするとき、以下の4条件は同値である。

●Zは始対象である。

●Zは終対象である。

●$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$のアーベル群としての単位元を$0_{AB}~:~A\to B$$0_{AB}~:~A\to B$と表すと、$0_{ZZ}=\mathrm {id} _{Z}$$0_{ZZ}=\mathrm {id} _{Z}$
●$\mathrm {Hom} (Z,Z)$$\mathrm {Hom} (Z,Z)$は単位元のみからなる群である。

加法圏の２番目の条件は以下のようにも言い換えられる：

定理 ― ${\mathcal {C}}$${\mathcal {C}}$を零対象Zが存在する前加法圏とするとき、以下は同値である。

●${\mathcal {C}}$${\mathcal {C}}$の任意の対象A、Bに対し、AとBの積が常に存在する。

●${\mathcal {C}}$${\mathcal {C}}$の任意の対象A、Bに対し、AとBの余積が常に存在する。

●${\mathcal {C}}$${\mathcal {C}}$の任意の対象A、Bに対し、AとBの複積︵後述︶が常に存在する。

ここで複積とは以下のように定義される概念である：

定義 ― A、Bを前加法圏${\mathcal {C}}$の対象とするとき、

$A{\underset {\iota _{A}}{\overset {p_{A}}{\leftrightarrows }}}A\oplus B{\underset {\iota _{B}}{\overset {p_{B}}{\rightleftarrows }}}B$

がAとBの複積（英: biproduct）であるとは、以下を満たす事を言う：

• $p_{A}\circ \iota _{A}=\mathrm {id} _{A}$
• $p_{B}\circ \iota _{B}=\mathrm {id} _{B}$
• $\iota _{A}\circ p_{A}+\iota _{B}\circ p_{B}=\mathrm {id} _{A\oplus B}$

実は次が成立する：

定理 ― ${\mathcal {C}}$${\mathcal {C}}$を加法圏とし、A、Bを${\mathcal {C}}$${\mathcal {C}}$対象とするとき、AとBの積、余積、複積は一致する。

アーベル圏

本節ではまずアーベル圏の定義を述べ、次にアーベル圏が加法圏になる事を見る。そしてアーベル圏上のホモロジー代数について述べ、最後にアーベル圏が小さい圏であれば加群の圏に埋め込める事を見る。

定義

アーベル圏は以下のように定義される。

定義 ― 圏${\mathcal {C}}$${\mathcal {C}}$が以下の4つの性質をみたすとき、${\mathcal {C}}$${\mathcal {C}}$はアーベル圏であるという‥

(一)${\mathcal {C}}$${\mathcal {C}}$に零対象が存在する。

(二)${\mathcal {C}}$${\mathcal {C}}$の任意の対象A、Bに対し、AとBの積および余積が常に存在する。

(三)${\mathcal {C}}$${\mathcal {C}}$の任意の射$f~:~A\to B$$f~:~A\to B$には核$\mathrm {ker} f$$\mathrm {ker} f$と余核$\mathrm {coker} f$$\mathrm {coker} f$が存在する。

(四)任意のモニック射$f~:~A\to B$$f~:~A\to B$に対しある射$g~:~B\to C$$g~:~B\to C$が存在し、$f~:~A\to B$$f~:~A\to B$はgの核である。また任意のエピック射$f~:~A\to B$$f~:~A\to B$に対しある射$h~:~C\to A$$h~:~C\to A$が存在し、$f~:~A\to B$$f~:~A\to B$はhの余核である。

環Rをfixするとき、左R-加群の圏R-Modはアーベル圏である。よって特に$\mathbb {Z}$$\mathbb {Z}$-加群の圏、すなわちアーベル群の圏Abはアーベル圏である。それ以外の具体例は後述する。

像と余像

アーベル圏${\mathcal {C}}$では射$f~:~A\to B$の射の核と余核の存在が保証されているので、以下の定義ができる：

定義 ― アーベル圏${\mathcal {C}}$の射$f~:~A\to B$の余核$c~:~B\to C$の核$k~:~K\to B$をfの像（英: image）という。

${\mathcal {C}}$がR-加群の圏の場合はfの余核Cは$C=B/f(A)$なので、$c~:~B\to B/f(A)$の核は通常の意味でのfの像$f(A)$に一致する。一般のアーベル圏の場合も、像kは圏論的な意味での像の定義を満たす。

像と双対的に余像も定義できる：

定義 ― アーベル圏${\mathcal {C}}$の射$f~:~A\to B$の核$k~:~K\to A$の余核$c~:~A\to C$をfの余像（英: coimage）という。

「核の余核」という定義より、${\mathcal {C}}$がR-加群の圏の場合、余像は通常の意味での余像$A/\mathrm {Ker} f$に一致する。一般のアーベル圏の場合も圏論的な意味での余像の定義も満たす。

単射と全射

アーベル圏では単射と全射を定義でき、これらはそれぞれモニック射、エピック射に一致する：

定義 ― ${\mathcal {C}}$${\mathcal {C}}$をアーベル圏とし、$f~:~A\to B$$f~:~A\to B$を${\mathcal {C}}$${\mathcal {C}}$の射とする。このとき

●fが単射︵英: injective︶であるとは、$\mathrm {Ker} f=0$$\mathrm {Ker} f=0$となる事をいう。

●fが全射︵英: surjective︶であるとは、$\mathrm {Coker} f=0$$\mathrm {Coker} f=0$となる事をいう。

定理 ― ${\mathcal {C}}$をアーベル圏とし、$f~:~A\to B$を${\mathcal {C}}$の射とする。このとき、

• fが単射である必要十分条件はfがモニック射である事である
• fが全射である必要十分条件はfがエピック射である事である

アーベル圏は加法圏

アーベル圏の重要な性質として、アーベル圏が加法圏になる事が挙げられる：

定理 ― アーベル圏は加法圏である。

アーベル圏の定義から、零対象の存在性と積の存在性は明らかに従うので、$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$にアーベル群の構造が入ることのみ示せば良い。ここでは$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$上の加法の定義を述べるにとどめ、加法がアーベル群の公理を満たすことの証明は略す。

準備

$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$に加法を定義するためにいくつか記号を定義する。アーベル圏${\mathcal {C}}$${\mathcal {C}}$の対象C、Aに対し、AとA自身との積を$A{\overset {p_{1}}{\leftarrow }}A\times A{\overset {p_{2}}{\rightarrow }}A$$A{\overset {p_{1}}{\leftarrow }}A\times A{\overset {p_{2}}{\rightarrow }}A$とし、$f_{1},f_{2}~:~C\to A$$f_{1},f_{2}~:~C\to A$を2つの射とするとき、

$f_{1}\times f_{2}~:~C\to A\times A$$f_{1}\times f_{2}~:~C\to A\times A$ such that $p_{1}\circ (f_{1}\times f_{2})=f_{1}$$p_{1}\circ (f_{1}\times f_{2})=f_{1}$, $p_{2}\circ (f_{1}\times f_{2})=f_{2}$$p_{2}\circ (f_{1}\times f_{2})=f_{2}$
となるものが積の普遍性から一意に存在する。同様に余積$A{\overset {\iota _{1}}{\rightarrow }}A\amalg A{\overset {\iota _{2}}{\leftarrow }}A$$A{\overset {\iota _{1}}{\rightarrow }}A\amalg A{\overset {\iota _{2}}{\leftarrow }}A$と2つの射$g_{1},g_{2}~:~A\to B$$g_{1},g_{2}~:~A\to B$に対し、射

$g_{1}\amalg g_{2}~:~A\amalg A\to B$$g_{1}\amalg g_{2}~:~A\amalg A\to B$ such that $(g_{1}\amalg g_{2})\circ \iota _{1}=g_{1}$$(g_{1}\amalg g_{2})\circ \iota _{1}=g_{1}$, $(g_{1}\amalg g_{2})\circ \iota _{2}=g_{2}$$(g_{1}\amalg g_{2})\circ \iota _{2}=g_{2}$
となるものが余積の普遍性から一意に存在する。

加法の定義

A、Bをアーベル圏${\mathcal {C}}$${\mathcal {C}}$の2つの対象とすると、自然な写像

$A\amalg B\to A\times B$$A\amalg B\to A\times B$
は同等射になる。そこでこれら二つを同一視し、2つの射$f,g~:~A\to B$$f,g~:~A\to B$に対し、

$f+_{L}g:=(f\amalg g)\circ (\mathrm {id} _{A}\times \mathrm {id} _{A})~:~A\to B$$f+_{L}g:=(f\amalg g)\circ (\mathrm {id} _{A}\times \mathrm {id} _{A})~:~A\to B$
$f+_{R}g:=(\mathrm {id} _{A}\amalg \mathrm {id} _{A})\circ (f\times g)~:~A\to B$$f+_{R}g:=(\mathrm {id} _{A}\amalg \mathrm {id} _{A})\circ (f\times g)~:~A\to B$
とすると、以下が成立する‥

定理 ― 記号を上と同様に取るとき、任意の$f,g\in \mathrm {Hom} (A,B)$$f,g\in \mathrm {Hom} (A,B)$に対し、

$f+_{L}g=f+_{R}g$$f+_{L}g=f+_{R}g$
が成立する。そこで﹁$+_{L}$$+_{L}$﹂と﹁$+_{R}$$+_{R}$﹂を区別せず単に﹁$+$$+$﹂と書くと、$\mathrm {Hom} (A,B)$$\mathrm {Hom} (A,B)$は﹁$+$$+$﹂に関してアーベル群であり、しかも﹁$+$$+$﹂は射の結合に関して双線形性を満たす。

上記の定理からアーベル圏は加法圏である事が従う。

ホモロジー代数

アーベル圏には零対象0があり、しかも像、核、および余核を定義できるので、アーベル圏${\mathcal {C}}$${\mathcal {C}}$上のチェイン複体$(A_{i},\partial _{i})_{i\in \mathbb {Z} }$$(A_{i},\partial _{i})_{i\in \mathbb {Z} }$を

$\cdots {\overset {\partial _{i+2}}{\to }}A_{i+1}{\overset {\partial _{i+1}}{\to }}A_{i}{\overset {\partial _{i}}{\to }}A_{i-1}\to \cdots$$\cdots {\overset {\partial _{i+2}}{\to }}A_{i+1}{\overset {\partial _{i+1}}{\to }}A_{i}{\overset {\partial _{i}}{\to }}A_{i-1}\to \cdots$ such that $\partial _{i-1}\partial _{i}=0$$\partial _{i-1}\partial _{i}=0$for $\forall i$$\forall i$
により定義でき、さらにその完全性

$\mathrm {Im} \partial _{i+1}=\ker \partial _{i}$$\mathrm {Im} \partial _{i+1}=\ker \partial _{i}$ for $\forall i$$\forall i$
を定義できるなど、ホモロジー代数を展開するに十分な性質を満たしている。

特にホモロジー代数で必須となる以下の補題はアーベル圏でも成り立つ‥

• 5項補題
• 蛇の補題
• ジグザグ補題
• Horseshoe lemma

R-加群の圏への埋め込み

アーベル圏は具体圏とは限らないので、一般的にはアーベル圏の対象Aに対して「Aの元」という言葉は意味を持たない。しかしアーベル圏が小さい圏であれば、アーベル圏はR-加群の圏に埋め込むことができ、したがって埋め込み先で「Aの元」を考える事ができる：

定理 (ミッチェルの埋め込み定理) ― アーベル圏${\mathcal {C}}$が小さい圏であれば、ある環Rが存在して${\mathcal {C}}$から左R-加群の圏R-Modへの共変関手

$F~:~{\mathcal {C}}\to R{\text{-}}\mathbf {Mod}$

で充満かつ忠実でしかも完全（後述）なものが存在する。

ここで「完全」は以下のように定義する：

定義 ― アーベル圏${\mathcal {C}}$からアーベル圏${\mathcal {D}}$への（共変）関手$F~:~{\mathcal {C}}\to {\mathcal {D}}$が完全（英: exact）であるとは、${\mathcal {C}}$の対象からなる任意の３項完全列

$A_{1}\to A_{2}\to A_{3}$

に対し、

$F(A_{1})\to F(A_{2})\to F(A_{3})$

も完全列になる事を言う。

なお、関手が完全であれば、３項のみならず任意の長さの完全系列に対して同様の事が成り立つ事を容易に示せる。

上記の定理からわかるように、アーベル圏の図式に関する定理を示したい場合はR-加群に埋め込んだ上でその定理を証明する事ができる。よってR-加群の図式に対して成り立つ性質、例えば前述の５項補題や蛇の補題は任意のアーベル圏で成立する。

具体例

前述のように環Rに対し左R-加群の圏R-Modはアーベル圏であり、特にアーベル群の圏Abはアーベル圏である。また有限生成なアーベル群の圏や捩れアーベル群の圏もアーベル圏であるが、捩れなしのアーベル群の圏は︵余核は捩れなしとは限らないので︶アーベル圏ではない。よってアーベル圏の充満部分圏はアーベル圏とは限らない。

アーベル圏の定義は射の向きを反対にしても不変なので、以下が成立する‥

定理 ― ${\mathcal {C}}$をアーベル圏とすると、${\mathcal {C}}$の双対圏${\mathcal {C}}^{\mathrm {op} }$はアーベル圏である。

前述のように左R-加群の圏R-Modはアーベル圏なので、上記の定理から右R-加群の圏Mod-Rもアーベル圏である。

アーベル圏上でチェイン複体を定義できる事をすでに見たが、チェイン複体のなす圏はアーベル圏になる：

定理 ― ${\mathcal {C}}$をアーベル圏とすると、${\mathcal {C}}$上のチェイン複体の圏$\mathbf {Comp} ({\mathcal {C}})$はアーベル圏である。

アーベル圏の双対もアーベル圏になる事から${\mathcal {C}}$上のコチェイン複体の圏もアーベル圏になる。以上の事からR-加群上のホモロジーやコホモロジーをアーベル圏に一般化できる。

アーベル圏上の前層や層もアーベル圏になるので、層係数のコホモロジーもアーベル圏上で展開できる：

定理 ― Xを位相空間とし、${\mathcal {C}}$をアーベル圏とすると、${\mathcal {C}}$に値を取るX上の前層の圏$\mathbf {pSh} (X,{\mathcal {C}})$および層の圏$\mathbf {Sh} (X,{\mathcal {C}})$はいずれもアーベル圏である。

アーベル圏の前層がアーベル圏になるのは下記の事実から従う：

定理 ― ${\mathcal {C}}$をアーベル圏、${\mathcal {D}}$を小さい圏とすると${\mathcal {D}}$から${\mathcal {C}}$への関手の圏${\mathcal {C}}^{\mathcal {D}}$はアーベル圏である。

文献

参考文献

• 河田敬義『ホモロジー代数』岩波書店〈岩波基礎数学選書〉、1990年11月8日。ISBN 978-4000078047。 
• Saunders Mac Lane (2013/4/17). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (second ed.). Springer Science+Business Media. ISBN 978-1-4757-4721-8 
• Joseph J. Rotman (2008/12/10). An Introduction to Homological Algebra. Universitext (second ed.). Springer-Verlag (Originally published by Academic Press, 1979). ISBN 978-0-387-68324-9 
• 玉木大（信州大学教授）. “Abel圏でのホモロジー代数”. Algebraic Topology: A guide to literature. 2023年12月20日閲覧。

原論文

• David A. Buchsbaum (1955), “Exact categories and duality”, Trans. Amer. Math. Soc. 80: 1–34 
• Grothendieck, Alexander (1957), “Sur quelques points d'algèbre homologique”, Tohoku Mathematical Journal, Second Series 9: 119–221, doi:10.2748/tmj/1178244839, ISSN 0040-8735, MR0102537, http://projecteuclid.org/euclid.tmj/1178244839 

その他の文献

• Kashiwara, Masaki; Schapira, Pierre (2006). Categories and sheaves. Grundlehren der Mathematischen Wissenschaften. 332. Springer-Verlag. ISBN 978-3-540-27949-5. MR2182076. https://books.google.co.jp/books?id=K-SjOw_2gXwC 
• Buchsbaum, D. A. (1955), “Exact categories and duality”, Transactions of the American Mathematical Society 80 (1): 1–34, ISSN 0002-9947, JSTOR 1993003, MR0074407, https://jstor.org/stable/1993003 
• Freyd, Peter (1964), Abelian Categories, New York: Harper and Row, http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html 
• Grothendieck, Alexander (1957), “Sur quelques points d'algèbre homologique”, The Tohoku Mathematical Journal. Second Series 9: 119–221, ISSN 0040-8735, MR0102537, http://projecteuclid.org/euclid.tmj/1178244839 
• David Buchsbaum (1955), “Exact categories and duality”, Transactions of the American Mathematical Society 80 (1): 1–34, doi:10.1090/S0002-9947-1955-0074407-6, ISSN 0002-9947, JSTOR 1993003, MR0074407, https://jstor.org/stable/1993003 
• Popescu, N. (1973), Abelian categories with applications to rings and modules, Boston, MA: Academic Press 

関連項目

• 導来圏
• ホモロジー代数
• 加法圏