アーベル圏
アーベル圏(アーベルけん、英: abelian category[注 1])とは(コ)チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。
アーベル圏となる圏の具体例としてはアーベル群の圏や環上の加群の圏、アーベル圏上の(コ)チェイン複体の圏、およびアーベル圏に値を取る前層や層の圏が挙げられる。
アーベル圏の著しい性質として加法圏になる事、すなわちアーベル圏の対象間の射のクラスがアーベル群になる(事に加え、いくつかのよい性質を満たす)事が挙げられる。
アーベル圏が小さい圏であればアーベル圏は加群の圏に埋め込める(ミッチェルの埋め込み定理)。よって特に加群の圏で成立する事実、例えば5項補題や蛇の補題のようにホモロジー代数を展開する上で必須となる補題を満たす。
マックレーン[1]はグロタンディークが1958年の論文[2]でアーベル圏を定義したとするが、別の文献[3]によれば、アイレンベルグの弟子の[3][4]デイビット・バックズバウム[訳語疑問点]が1955年の博士論文[5]で「exact category」の名称でこの概念を提案し、これを知ったグロタンディークが「アーベル圏」という名前でこの概念を広めた。
加法圏
上述のようにアーベル圏の著しい性質として加法圏になる事が挙げられるので、本節ではアーベル圏を導入する準備として、加法圏の定義とその性質を述べる。
定義
加法圏は以下のように定義される:
定義 ― 圏 が前加法圏(英: preadditive category、英: Ab-category)であるとは、 の任意の対象A、Bに対し、 には2項演算子「 」が定義されており、「 」に関して はアーベル群になり、さらに任意の射 、 に対し、射の結合は下記の双線型性を満たす事を言う[6]:
特徴づけ
加法圏の1番目の条件は以下のようにも言い換えられる:
加法圏の2番目の条件は以下のようにも言い換えられる:
定理 ― を零対象Zが存在する前加法圏とするとき、以下は同値である[13]。
- の任意の対象A、Bに対し、AとBの積が常に存在する。
- の任意の対象A、Bに対し、AとBの余積が常に存在する。
- の任意の対象A、Bに対し、AとBの複積(後述)が常に存在する。
ここで複積とは以下のように定義される概念である:
実は次が成立する:
定理 ― を加法圏とし、A、Bを 対象とするとき、AとBの積、余積、複積は一致する[13]。
アーベル圏
本節ではまずアーベル圏の定義を述べ、次にアーベル圏が加法圏になる事を見る。そしてアーベル圏上のホモロジー代数について述べ、最後にアーベル圏が小さい圏であれば加群の圏に埋め込める事を見る。
定義
アーベル圏は以下のように定義される。
定義 ― 圏 が以下の4つの性質をみたすとき、 はアーベル圏であるという[14]:
環Rをfixするとき、左R-加群の圏R-Modはアーベル圏である[15]。よって特に -加群の圏、すなわちアーベル群の圏Abはアーベル圏である[15]。それ以外の具体例は後述する。
像と余像
アーベル圏 では射 の射の核と余核の存在が保証されているので、以下の定義ができる:
がR-加群の圏の場合はfの余核Cは なので、 の核は通常の意味でのfの像 に一致する。一般のアーベル圏の場合も、像kは圏論的な意味での像の定義を満たす[16]。
像と双対的に余像も定義できる:
「核の余核」という定義より、 がR-加群の圏の場合、余像は通常の意味での余像 に一致する。一般のアーベル圏の場合も圏論的な意味での余像の定義も満たす。
単射と全射
アーベル圏では単射と全射を定義でき、これらはそれぞれモニック射、エピック射に一致する:
定義 ― をアーベル圏とし、 を の射とする。このとき
アーベル圏は加法圏
アーベル圏の重要な性質として、アーベル圏が加法圏になる事が挙げられる:
定理 ― アーベル圏は加法圏である[19]。
アーベル圏の定義から、零対象の存在性と積の存在性は明らかに従うので、 にアーベル群の構造が入ることのみ示せば良い。ここでは 上の加法の定義を述べるにとどめ、加法がアーベル群の公理を満たすことの証明は略す。
準備
に加法を定義するためにいくつか記号を定義する。アーベル圏 の対象C、Aに対し、AとA自身との積を とし、 を2つの射とするとき、
- such that ,
となるものが積の普遍性から一意に存在する。同様に余積 と2つの射 に対し、射
- such that ,
となるものが余積の普遍性から一意に存在する。
加法の定義
A、Bをアーベル圏 の2つの対象とすると、自然な写像
は同等射になる[20]。そこでこれら二つを同一視し、2つの射 に対し、
とすると[注 3]、以下が成立する:
定理 ― 記号を上と同様に取るとき、任意の に対し、
が成立する[20]。そこで「 」と「 」を区別せず単に「 」と書くと、 は「 」に関してアーベル群であり[20]、しかも「 」は射の結合に関して双線形性を満たす[20]。
上記の定理からアーベル圏は加法圏である事が従う。
ホモロジー代数
アーベル圏には零対象0があり、しかも像、核、および余核を定義できるので、アーベル圏 上のチェイン複体 を
- such that for
により定義でき、さらにその完全性
- for
を定義できるなど、ホモロジー代数を展開するに十分な性質を満たしている。
特にホモロジー代数で必須となる以下の補題はアーベル圏でも成り立つ:
R-加群の圏への埋め込み
アーベル圏は具体圏とは限らないので、一般的にはアーベル圏の対象Aに対して「Aの元」という言葉は意味を持たない。しかしアーベル圏が小さい圏であれば、アーベル圏はR-加群の圏に埋め込むことができ、したがって埋め込み先で「Aの元」を考える事ができる[25]:
定理 (ミッチェルの埋め込み定理) ― アーベル圏 が小さい圏であれば、ある環Rが存在して から左R-加群の圏R-Modへの共変関手
ここで「完全」は以下のように定義する:
なお、関手が完全であれば、3項のみならず任意の長さの完全系列に対して同様の事が成り立つ事を容易に示せる。
上記の定理からわかるように、アーベル圏の図式に関する定理を示したい場合はR-加群に埋め込んだ上でその定理を証明する事ができる[28]。よってR-加群の図式に対して成り立つ性質、例えば前述の5項補題や蛇の補題は任意のアーベル圏で成立する。
具体例
前述のように環Rに対し左R-加群の圏R-Modはアーベル圏であり[15]、特にアーベル群の圏Abはアーベル圏である[15]。また有限生成なアーベル群の圏や捩れアーベル群の圏もアーベル圏であるが[15]、捩れなしのアーベル群の圏は(余核は捩れなしとは限らないので)アーベル圏ではない[15]。よってアーベル圏の充満部分圏はアーベル圏とは限らない[15]。
アーベル圏の定義は射の向きを反対にしても不変なので、以下が成立する:
前述のように左R-加群の圏R-Modはアーベル圏なので、上記の定理から右R-加群の圏Mod-Rもアーベル圏である。
アーベル圏上でチェイン複体を定義できる事をすでに見たが、チェイン複体のなす圏はアーベル圏になる:
アーベル圏の双対もアーベル圏になる事から 上のコチェイン複体の圏もアーベル圏になる。以上の事からR-加群上のホモロジーやコホモロジーをアーベル圏に一般化できる。
アーベル圏上の前層や層もアーベル圏になるので、層係数のコホモロジーもアーベル圏上で展開できる:
アーベル圏の前層がアーベル圏になるのは下記の事実から従う:
定理 ― をアーベル圏、 を小さい圏とすると から への関手の圏 はアーベル圏である[32]。
注
出典
注釈
文献
参考文献
- 河田敬義『ホモロジー代数』岩波書店〈岩波基礎数学選書〉、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
- 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
- Popescu, N. (1973), Abelian categories with applications to rings and modules, Boston, MA: Academic Press