Strongart数学笔记：浅谈Abel范畴、三角范畴与导出范畴.pdfVIP

浅谈Abel范畴、三角范畴与导出范畴 (2015-05-23 14:04:57) 范畴（category）理论是现代数学中的一个基本概念， 下面我们就来对它做一个相对比较深入的讨论，主要介绍 Abel范畴、三角范畴与导出范畴的基本概念。 所谓范畴C，主要是由下列数据组成： （1）对象Ob （C） （2）对象之间的态射Hom （X，Y），X，Y∈Ob （C） （3）态射的复合Hom （X，Y）×Hom （Y，Z）→Hom （X，Z），（f，g）→g·f 它们满足下列关系： （a）态射的复合是可结合的 （b）对任何X∈Ob （C），存在单位态射id_X∈Hom （X，X）,使得对任何f∈Hom （X，Y），f·id_X=f；对任何 g∈Hom （Y，X），id_X·g=g. 我们可以在代数中找到比较典型的范畴，比如说群 范畴与交换环R上的R-模范畴。在群范畴（或R-模范畴） 中，对象就是所有的群 （或R-模）——它们不构成集合，而 态射就是群同态（或R-模同态）。 范畴主要意义就是不仅考虑对象，而且还要考虑其 内部结构，这样的结构是以态射的形式表现的。我们常说Z- 模就是Abel群，用范畴的语言就是Z-模范畴等同于Abel群 范畴，此时不仅是Z-模等同于Abel群，而且连Z-模同态也 等同于Abel群同态。事实上，态射要比对象更加基本一些， 我们可以把对象视为态射的头与尾，下文出现的范畴局部化 主要就是对态射定义的。 从范畴C到范畴D我们还可以定义（共变）函子F， 它包含下列数据： （1）映射F：Ob （C）→Ob （D） （2）对任何X，Y∈Ob （C），F：Hom （X，Y）→Hom （F （X），F （Y）） 满足下列关系： （a）F （id_X）= id_F （X） （b）F （f·g）= F （f）·F （g） 类似地，我们还可以定义范畴C到范畴D 的反变 函子，它可以视为C 的反范畴C°到D 的共变函子，这里反 范畴的定义是：Ob（C°）=Ob（C）；对X，Y∈Ob（C），Hom_(C) （X，Y）= Hom_(C°) （Y，X）；复合法则自然。 范畴C是准加法范畴（pre-additive category）， 若在它的态射中可以定义加法，使其构成一个Abel群，满 足下面的线性条件： （a）对任何X，Y∈Ob （C）, f,f∈Hom （X，Y）， g,g∈Hom （Y，X），则 （g+g）（f+f）=gf+gf+gf+gf 准加法范畴的主要福利就是下面关于有限积的完整 结构。设C是准加法范畴，X，Y，Z∈Ob （C），则下列条件 等价： （1）C是A与B 的积 （2）C是A与B 的上积 （3）存在态射p_1：C→A，p_2：C→B，q_1：A→C， q_2：A→B，使得p_1q_1=1_A，p_2q_2=1_B， q_1p_1+q_2p_2=1_C 在此等价条件下，我们一般称C为A与B 的双积， 记作A⊙B. 请注意，准加法范畴的双积依赖于有限积的存在 性，但未必就一定存在有限积，所以我们需要对范畴做进一 步的扩充。 范畴C称为加法范畴（additive category），若它 存在有限积与零对象。 设C与D是（准）加法范畴，若函子T；C→D满足 条件： （a）对任何X，Y∈Ob （C）, f,g∈Hom （X，Y）， 则 T （f+g）=T （f）+T （g） 则函子T称为加法函子（additive functor） 双积的概念在（准）加法范畴中处在中心地位，对 此可以看下面的命题：若T是加法范畴到 （准）加法范畴的 函子，则T是加法函子 iff T保持双积。 Abel范畴就是保持核与余核良好性质的加法范畴， 为此先在加法范畴内定义核与