アーベル圏

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

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

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

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

マックレーン^[1]はグロタンディークが1958年の論文^[2]でアーベル圏を定義したとするが、別の文献^[3]によれば、アイレンベルグの弟子の^[3]^[4]デイビット・バックズバウム^{[訳語疑問点]}が1955年の博士論文^[5]で「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$ に対し、射の結合は下記の双線型性を満たす事を言う^[6]：

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

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

定義 ― 前加法圏 ${\mathcal {C}}$ が加法圏（英語版）（英: additive category）であるとは、以下を満たす事を言う^[7]^[8]^[9]^[10]^[11]^{[注 2]}：

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

特徴づけ

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

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

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

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

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

${\mathcal {C}}$ の任意の対象 $A$ 、 $B$ に対し、 $A$ と $B$ の積が常に存在する。
${\mathcal {C}}$ の任意の対象 $A$ 、 $B$ に対し、 $A$ と $B$ の余積が常に存在する。
${\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）であるとは、以下を満たす事を言う^[12]：

$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}}$ を加法圏とし、 $A$ 、 $B$ を ${\mathcal {C}}$ 対象とするとき、 $A$ と $B$ の積、余積、複積は一致する^[12]。

アーベル圏

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

定義

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

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

${\mathcal {C}}$ に零対象が存在する。
${\mathcal {C}}$ の任意の対象 $A$ 、 $B$ に対し、 $A$ と $B$ の積および余積が常に存在する。
${\mathcal {C}}$ の任意の射 $f~:~A\to B$ には核 $\mathrm {ker} f$ と余核 $\mathrm {coker} f$ が存在する。
任意のモニック射 $f~:~A\to B$ に対しある射 $g~:~B\to C$ が存在し、 $f~:~A\to B$ は $g$ の核である。また任意のエピック射 $f~:~A\to B$ に対しある射 $h~:~C\to A$ が存在し、 $f~:~A\to B$ は $h$ の余核である。

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

像と余像

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

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

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

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

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

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

単射と全射

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

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

$f$ が単射（英: injective）であるとは、 $\mathrm {Ker} f=0$ となる事をいう^[17]。
$f$ が全射（英: surjective）であるとは、 $\mathrm {Coker} f=0$ となる事をいう^[17]。

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

$f$ が単射である必要十分条件は $f$ がモニック射である事である^[17]
$f$ が全射である必要十分条件は $f$ がエピック射である事である^[17]

アーベル圏は加法圏

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

定理 ― アーベル圏は加法圏である^[18]。

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

準備

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

f_{1}\times f_{2}~:~C\to A\times A

such that

p_{1}\circ (f_{1}\times f_{2})=f_{1}

,

p_{2}\circ (f_{1}\times f_{2})=f_{2}

となるものが積の普遍性から一意に存在する。同様に余積 $A{\overset {\iota _{1}}{\rightarrow }}A\amalg A{\overset {\iota _{2}}{\leftarrow }}A$ と2つの射 $g_{1},g_{2}~:~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 _{2}=g_{2}

となるものが余積の普遍性から一意に存在する。

加法の定義

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

A\amalg B\to A\times B

は同等射になる^[19]。そこでこれら二つを同一視し、2つの射 $f,g~:~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

とすると^{[注 3]}、以下が成立する：

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

f+_{L}g=f+_{R}g

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

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

ホモロジー代数

アーベル圏には零対象 $0$ があり、しかも像、核、および余核を定義できるので、アーベル圏 ${\mathcal {C}}$ 上のチェイン複体 $(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

such that

\partial _{i-1}\partial _{i}=0

for

\forall i

により定義でき、さらにその完全性

\mathrm {Im} \partial _{i+1}=\ker \partial _{i}

for

\forall i

を定義できるなど、ホモロジー代数を展開するに十分な性質を満たしている。

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

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

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

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

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

で充満かつ忠実でしかも完全（後述）なものが存在する^[25]^{[注 4]}。

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

定義 ― アーベル圏 ${\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})

も完全列になる事を言う^[26]。

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

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

具体例

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

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

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

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

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

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

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

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

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

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

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

注

出典

^ #MacLane p.205.
^ Grothendieck (1957)
^ ^a ^b David Eisenbud and Jerzy Weyman. “MEMORIAL TRIBUTE Remembering David Buchsbaum”. American Mathematical Society. 2023年12月22日閲覧。
^ “David Buchsbaum”. nLab. 2023年12月22日閲覧。
^ Buchsbaum (1955)
^ #MacLane p.28, 194.
^ ^a ^b #MacLane p.194.
^ #河田 p.177.
^ “additive category”. nLab. 2023年12月19日閲覧。
^ “additive category”. Encyclopedia of Mathematics. 2023年12月19日閲覧。
^ #Rotman p.303.
^ ^a ^b ^c #河田 p.178.
^ #河田 p,168,
^ ^a ^b ^c ^d ^e ^f ^g #Rotman p. 308.
^ ^a ^b #Rotman p.309
^ ^a ^b #河田 pp.174-177.
^ ^a ^b ^c ^d “12.5 Abelian categories”. The Stacks project. Columbia University. 2024年1月9日閲覧。
^ #河田 p.180.
^ ^a ^b ^c ^d #河田 pp.193-194.
^ #河田 p.193
^ #河田 p.189
^ “12.13 Complexes”. The Stacks project. Columbia University. 2024年1月9日閲覧。
^ #Rotman p.349.
^ #玉木
^ ^a ^b #Mitchell p.151.
^ #Rotman p.315.
^ #Rotman p. 307.
^ #Rotman p.319.
^ #Rotman pp. 309-311.
^ #Rotman p.310.

注釈

^ アーベルの名にちなむが、「abelian」の語頭は小文字を用いる。本項執筆者が確認した範囲では、#Rotman p.303、#Mitchell p.33. #MacLane p.198で小文字であった。
^ #河田のみ２番めの条件が「２つの対象の積」ではなく単に「積」になっているが、「２つの対象の積」の意味であると判断。実際その直後に２つの積が余積や複積と等しいことを示している。
^ $\mathrm {id} _{A}\times \mathrm {id} _{A}$ は対角射、 $\mathrm {id} _{A}\amalg \mathrm {id} _{A}$ は双対対角射である。
^ 本項では#Mitchellに基づいてステートメントを書いたが、#Rotman p.316.では本項の「 $R - Mod$ 」の部分がアーベル群の圏「 $Ab$ 」になっている。これは $R$ -加群をアーベル群と解釈できる事による。

文献

参考文献

河田敬義『ホモロジー代数』岩波書店〈岩波基礎数学選書〉、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

その他の文献

Kashiwara, Masaki; Schapira, Pierre (2006). Categories and sheaves. Grundlehren der Mathematischen Wissenschaften. 332. Springer-Verlag. ISBN 978-3-540-27949-5. MR2182076
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
Grothendieck, Alexander (1957), “Sur quelques points d'algèbre homologique”, The Tohoku Mathematical Journal. Second Series 9: 119–221, ISSN 0040-8735, MR0102537
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

表話編歴圏論
主要項目	圏射エピモニック図式可換図式自然変換圏同値反対圏始対象と終対象普遍性米田の補題双対極限帰納極限射影極限積余積像余像等化子余等化子トポス核余核引き戻しモナド Kan拡張
関手	加法的完全充満随伴対角忠実導来表現可能本質的全射 Hom関手
具体的圏	関手圏前加法圏集合の圏マグマの圏群の圏アーベル群の圏擬環の圏環の圏加群の圏ベクトル空間の圏多元環の圏位相空間の圏距離空間の圏多様体の圏
圏の類	完備圏コンマ圏部分圏モノイド閉圏デカルト閉圏アーベル圏導来圏クライスリ圏デカルトモノイド圏
一般化	豊穣圏 2-圏圏の圏
人物	ソーンダース・マックレーンサミュエル・アイレンベルグアレクサンドル・グロタンディークウィリアム・ローヴェアハインリッヒ・クライスリ
関連分野	代数幾何学普遍代数ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ

加法圏

定義

特徴づけ

アーベル圏

定義

像と余像

単射と全射

アーベル圏は加法圏

準備

加法の定義

ホモロジー代数

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

具体例

注

出典

注釈

文献

参考文献

原論文

その他の文献

関連項目

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