アーベル圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』

移動：案内, 検索

アーベル圏（アーベルけん、英語: Abelian category）とはアレクサンドル・グロタンディークによって考案された、ホモロジー代数が展開できるよういくつかの公理を満たす圏である。元来層係数のコホモロジー理論と定数係数のコホモロジー理論は、定義および構成方法がまったくといっていいほど異なるにもかかわらず、理論の構造は酷似していた。そのため両者を統一的な観点から記述するために考案された。しかしながら知られているすべてのコホモロジー理論がアーベル圏上で展開できるわけではない。

[編集] 定義

圏 C が以下の公理を満たすとき、アーベル圏と呼ぶ。

C は零対象を持つ。
C 内では有限積および有限和が存在する。
任意の射 u: A → B に対してその核 ker u およびその双対核 cok u が存在する。
任意の単射 u: A → B はある射 s: B → C の ker u となる。

[編集] 例

アーベル群全体からなる圏 Ab はアーベル圏である。
環 R をひとつ固定し、左 R-加群全体からなる圏 R-Mod はアーベル圏である。

[編集] 基本的性質

アーベル圏では Ab と同様に完全系列や射影的分解が定義される。

[編集] コホモロジー理論

アーベル圏 B, C および B から C への加法的関手 F を考える。このとき B の任意の対象 b に対して b の入射的分解を

$0 \to b \to X^0 \,\stackrel{f^0}{\longrightarrow}\, X^1 \,\stackrel{f^1}{\longrightarrow}\, X^2 \,\stackrel{f^2}{\longrightarrow}\, \dots$ (完全)

から C における系列

$0 \,\xrightarrow{F(f^0)}\, F(X^0) \,\xrightarrow{F(f^1)}\, F(X^1) \,\xrightarrow{F(f^2)}\, F(X^2) \to \dots$

を得ることができる。しかしこの系列は一般には完全にはならない。したがってそのコホモロジー

$\operatorname{Ker}F(d^n)/\operatorname{Im} F(d^{n-1})(=:(R^nF)(b))$

をとることができる。このようにしてひとつの関手 F から B から C への番号付いた関手 RⁿF を得ることができる。この関手 RⁿF を F の右導来関手と呼ぶ。

[編集] 応用

X を位相空間とし X の開集合系が張る圏を Top(X) であらわす。このとき Top(X) 上の層全体が成す圏 Sh(X) はアーベル圏である。任意の層 $\mathcal{F} \in \mathbf{Sh}(X)$ に対して切断関手

$\Gamma : \mathcal{F} \rightarrow \mathcal{F}(X)$

は Sh(X) から可換環の圏 Ring（あるいは加群の圏 R-Mod、あるいは集合の圏 Sets）への加法的関手である。したがって上述の導来関手の理論が使えて、コホモロジー

$H^n(X, \mathcal{F}) (=: R^n\Gamma(\mathcal{F}))$

が構成できる。

[編集] その他の話題

アーベル圏はもともと R-加群の圏の一般化として定義されたが、実は任意のアーベル圏はある R-加群の圏へ忠実、充満かつ完全な埋め込み関手が構成できる。すなわちアーベル圏の理論は R-加群の圏の理論に他ならない。

またアーベル圏の公理を少し緩めたセミアーベル圏を構成して、その上でコホモロジー理論を展開しようという試みもある。

[編集] グロタンディークの公理系

東北ジャーナルにおける論文（Grothendieck 1957）においてグロタンディークはアーベル圏 A が満たすべき四つの公理（とその双対）について記している。これらの公理は今日においても広く用いられている。具体的には

AB3) A の対象からなる任意の集合 {A_i} に対して余積 ∗A_i が A の対象として存在する（すなわち A は余完備である）。
AB4) A は AB3) を満たし、かつ圏論的単射（モノ射）の族の余積は再び圏論的単射となる。
AB5) A は AB3) を満たし、かつ完全列のフィルター付けられた余極限は再び完全になる。

および、これらの双対

AB3*) A の対象からなる任意の集合 {A_i} に対して積 PA_i が A の対象として存在する（すなわち A は完備である）。
AB4*) A は AB3*) を満足し、かつ圏論的全射（エピ射）の族の積は再び圏論的全射となる。
AB5*) A は AB3*) を満足し、かつ完全列のフィルター付けられた極限は再び完全である。

公理 AB1) および AB2) は加法圏をアーベル圏とするための公理となっている。具体的には、

AB1) 任意の射が核と余核を持つ。
AB2) 任意の射 f に対して余像 coim f から像 im f への標準射が同型になる。

グロタンディークはさらに AB6) と AB6*) と呼ばれる公理も与えている。

[編集] 関連項目

[編集] 参考文献

河田敬義『ホモロジー代数』岩波基礎数学選書、岩波書店、1990年 ISBN: 4000078046
Buchsbaum, D. A. (1955), “Exact categories and duality”, Transactions of the American Mathematical Society 80 (1): 1–34, ISSN 0002-9947, JSTOR 1993003, MR 0074407, http://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, MR 0102537
Mitchell, Barry (1965), Theory of Categories, Boston, MA: Academic Press
Popescu, N. (1973), Abelian categories with applications to rings and modules, Boston, MA: Academic Press