查看“导出范畴”的源代码


'''导出范畴'''是[[同调代数]]中的一种构造。导出范畴的概念推广并深化了传统同调代数中[[导出函子]]的理论。这一构造是[[格罗滕迪克]]在20世纪60年代初提出的，他的学生[[让-路易·韦迪耶]]在其指导下发展了相关理论。今天，导出范畴被广泛应用于[[代数几何]]和''D''-模理论。

==动机==
构造导出范畴的直接动机，是给出[[导出函子]]的一种新的定义。

导出函子的概念的出现要早于导出范畴。考虑[[阿贝尔范畴]]<math>A</math>和<math>B</math>之间的一个[[正合函子|左正合]][[函子]]<math>f:A\rightarrow B</math>，那么历史上，函子f的导出函子首先是通过<math>A</math>的对象的[[内射分解]]来定义的。具体地说，假设范畴<math>A</math>有足够多的[[内射对象与投射对象|内射对象]]，那么<math>A</math>中的每个对象<math>X</math>都有内射消解如下：

<math> 0\rightarrow X\rightarrow I^0 \rightarrow I^1\rightarrow \cdots </math>

其中诸<math>I^k, k=0,1,\cdots</math> 均为内射对象，使得上面的[[链复形]]是[[正合序列|正合]]的。 将f作用在除去X的链复形<math> \Gamma: 0\rightarrow I^0 \rightarrow I^1\rightarrow \cdots </math>上，得到的新链复形 <math>f\Gamma: 0\rightarrow f(I^0) \rightarrow f(I^1)\rightarrow \cdots</math> 一般未必是正合的。事实上，新链复形的同调群衡量了其“不正合”的程度。所以，函子f的第k个右导出函子<math>R^i f</math>就定义为把<math>X</math>映为这个新链复形的第k个同调群：<math>h^k (\Gamma)</math> 的函子.

类似地，对[[正合函子|右正合]]函子g可以利用[[投射分解]]（如果有足够多的[[内射对象与投射对象|投射对象]]）定义左导出函子 <math>L^k g</math>。

上面的这种构造表明，在阿贝尔范畴A本身上定义导出函子并不是自然的，因为定义中总是要构造链复形的。正确的提法应该是，导出函子是对阿贝尔范畴A上的链复形定义的。导出范畴的提出即是要在理论上简化导出函子的定义。

进一步，如果能构造一个对象为所有链复形的范畴，就可以使讨论不局限于内射/投射分解这种特殊的链复形，而能对一般的链复形谈论其导出函子。

==定义==
给一个阿贝尔范畴<math>A</math>，可以谈论<math>A</math>的导出范畴<math> D(A)</math>。 粗略地说，<math>D(A) </math>差不多是<math>A</math>上所有链复形组成的范畴，但对象间的态射更为复杂。

严格的定义如下。考虑A的链复形范畴<math>\mathrm{Kom}(A)</math>， <math>\mathrm{Kom}(A)</math> 的对象是A上全体链复形，态射是链映射。<math>\mathrm{Kom}(A) </math>中的态射s如果诱导了所有同调群上的同构，则称s为拟同构(Quasi-Isomorphism). 那么，导出范畴<math>D(A)</math>是<math>\mathrm{Kom}(A)</math>对于所有拟同构的“局部化”。具体地说，<math>D(A)</math>的对象就是<math>\mathrm{Kom}(A)</math>的对象，即<math>A</math>上的全体链复形。对两个链复形<math>X, Y</math>，<math>X</math>到<math>Y</math>的态射定义为形如<math>X\xleftarrow{s}  Z\xrightarrow{t} Y</math> 的映射对，其中s 要求是拟同构。

进一步，给这样定义的两个态射<math>X\xleftarrow{s}  Z\xrightarrow{t} Y</math> 和<math>X\xleftarrow{s'}  Z\xrightarrow{t'} Y</math> ，我们在导出范畴<math>D(A) </math>视它们等同，如果存在对象Z，使得下面的<math>\mathrm{Kom}(A) </math>中的交换图表成立：

如上构造的导出范畴<math>D(A)</math>自然包含了<math>A</math>作为一个子范畴。而且，<math>\mathrm{Kom}(A) </math>到<math>D(A)</math>的自然的函子q把所有拟同构都映为<math>D(A)</math>中的同构。 这实际上是<math>D(A)</math>满足的万有性质：对<math>\mathrm{Kom}(A) </math>到另一个阿贝尔范畴<math>E</math>的函子h，如果h将拟同构都映为同构，则一定有函子<math>k: D(A)\rightarrow E</math>, 使得<math>h=k\circ q</math>。

==性质==
阿贝尔范畴<math>A</math>的导出范畴<math>D(A)</math>一般并不是阿贝尔范畴。

导出范畴还可以通过[[同伦范畴]]来定义。给定阿贝尔范畴A， A的同伦范畴<math>\mathrm{K}(A)</math>是链复形范畴<math>\mathrm{Kom}(A) </math>的态射模去链同伦这一等价关系得到的范畴。可以证明，<math>D(A)</math>也是<math>\mathrm{K}(A)</math>关于所有拟同构的局部化。

如果我们对<math>\mathrm{Kom}(A)</math> 中的链复形添加限制条件，则可以谈论几个衍生的导出范畴。例如，我们用 <math>\mathrm{Kom}^+(A)</math> 表示A上所有这样的链复形X构成的范畴：存在<math>i_0</math>, 使得<math>X^i=0</math>, 对所有<math>i\le i_0 </math>。也就是说，<math>\mathrm{Kom}^+(A)</math>中的链复形都只有有限的负指标项不为零。对应于<math>\mathrm{Kom}^+(A)</math>，我们可以完全相同地构造其局部化，记为<math>D^+(A)</math>. <math>D^+(A)</math>是有限的负指标项不为零的导出范畴。类似可以定义<math>\mathrm{Kom}^-(A)</math>，对应有限的正指标项不为零的导出范畴<math>D^-(A)</math>；以及<math>\mathrm{Kom}^b(A)</math>，对应有限项不为零的导出范畴<math>D^b(A)</math>.

==导出范畴是三角范畴==
导出范畴都自然地是三角范畴。事实上<math>\mathrm{Kom}(A)</math>是三角范畴，<math>D(A)</math>是<math>\mathrm{Kom}(A)</math>的局部化，所以也是三角范畴。事实上，我们可以在<math>\mathrm{Kom}(A)</math>中构造满足三角范畴公理I~IV的正合三角形。

有上同调函子<math>H^n: D(A)\to A</math>。<math>D(A)</math>中的正合三角给出上同调的长[[正合列]]。

==导出函子的重新定义==
设<math>F:A\to B</math>是[[阿贝尔范畴]]之间的[[正合函子|左正合]]加性[[函子]]。如果''A''有足够多的[[内射对象]]，则可以定义''F''的右导出函子<math>RF:D^+(A)\to D^+(B)</math>。这是导出范畴之间的函子。经典同调代数中的[[导出函子]]<math>R^nF</math>可以表示为<math>H^nRF</math>。

类似地，[[阿贝尔范畴]]之间的右正合加性[[函子]]有左导出函子。

导出范畴比经典理论的重要优势在于可以简单地表达复合函子的导出函子：<math>R(G\circ F)=RG\circ RF</math>。在经典理论中要用相对复杂的[[谱序列]]来表达这一关系。虽然导出范畴给导出函子提供了优美的理论框架，但在实际计算中往往还是要用到谱序列。

==原始文献==
*{{lang|fr|Jean-Louis Verdier, Catégories dérivées : Quelques résultats (État 0)}}，这是[[让-路易·韦迪耶|韦迪耶]]1963年写的简短文章，由[[法国高等科学研究所]]印行，1977年稍作改动后附在[[SGA]] 4½后出版。
*{{lang|fr|Jean-Louis Verdier, Des catégories dérivées des catégories abéliennes}}，这是[[让-路易·韦迪耶|韦迪耶]]1967年6月的博士论文，死后发表于{{lang|fr|''Astérisque'' 239 (1996)}}。

[[Category:同调代数|D]]