层上同调

全局截面函子Γ: AbSh → Ab的右导出函子

数学中,层上同调是运用同调代数分析拓扑空间全局截面的领域。广义地说,层上同调描述了几何问题能在局部解决时,全局解决问题遇到的障碍。层上同调的核心著作是亚历山大·格罗滕迪克1957年发表在《东北数学杂志》上的论文。[1]

层、层上同调与谱序列让·勒雷在奥地利战俘营Oflag XVII-A中提出的。[2]勒雷在1940年到1945年与其他人在集中营组织了“狱中大学”。

1950年代,勒雷的定义得到了简化与澄清。很明显,层上同调不仅是代数拓扑中一种新的上同调方法,也是复解析几何代数几何中一种强有力的方法。这些课题通常涉及构建具有特定局部性质的全局函数,层上同调非常适合。黎曼-罗赫定理霍奇定理等很多早期结果都通过层上同调得到推广或有了更好理解。

定义

拓扑空间X阿贝尔群的层范畴是阿贝尔范畴,因此问层的态射 单态射还是满态射的问题有意义。答案之一是:对X中每个点x,当且仅当相关的上同态 单射(或满射),f才是单射(或满射)。由此可知,对X中每个开集U,当且仅当U上截面的同态 是单射时,f才是单射。而满射则更微妙:对X中每个开集UUC的每个截面sU中每一点x,当且仅当存在Ux的开邻域V使限制于VsV上某截面B的像(即:C的每个截面都局部提升到B的截面),f才是满射。 于是问题来了:给定层的满射 XC的截面ss满足什么条件时是BX上某截面的像?这是几何中各种局部与全局问题的模型。层上同调给出了令人满意的一般答案:令A是满射 ,给定X上层的短正合列

 

则有阿贝尔群长正合列,称作层上同调群:

 

其中 XA的全局截面群 。例如,若群 为零,则此正合列可以说明,C的每个全局截面都提升到B的全局截面。更一般地,正合列使高阶上同调群的知识成为理解层截面的基本工具。

亚历山大·格罗滕迪克对层上同调的定义已成为标准定义,使用的是同调代数的语言。其要点是,固定拓扑空间X,将上同调看做X上阿贝尔群层映射到阿贝尔群的函子。更精确地说,从X上阿贝尔群层到阿贝尔群的函子 开始。这是左正合函子,但一般不是右正合的。那么,群 i整数)可定义为函子 导出函子,这样i < 0时, 自动为零, 是全局截面群 。上述长正合列也是直接的。 任何拓扑空间X上阿贝尔群层范畴都有足量单射,即对层E,都有具备 单射层I[3]导出函子的定义运用了这一点。由此可见,层E都有单射消解

 

则,层上同调群 是阿贝尔群链复形上同调群(同态的核模了前一个的像):

 

同调代数中的标准论证表明,这些上同调群独立于E的单射消解的选择。

此定义很少直接用于计算层上同调,不过还是很强大的,因为具有很强的一般性(任何拓扑空间上阿贝尔群的任何层),且很容易隐含层上同调的形式属性,如上述长正合列。对特定类别的空间或层,有很多计算层上同调的工具,下详。

函子性

对拓扑空间的任意连续映射 Y上阿贝尔群任何层E,对任何整数j都有拉回同态

 

其中 表示拉回层[4]fY的子空间X的含入, EX限制,通常就只称作E,截面sYX的拉回称作限制 。 拉回同态在迈尔–维托里斯正合列有应用,这是一个重要的计算结果。即,设X是拓扑空间,是两开子集UV的并,且令EX上的层,则有阿贝尔群的长正合列:[5]

 

常系数层上同调

对拓扑空间X与阿贝尔群A常层 是值在A中的局部常值函数的层。具有常系数的层上同调群 通常简写为 ,除非这会导致与奇异上同调之类相混。

对连续映射 与阿贝尔群A,拉回层 同构于 。因此,拉回同态使得常系数层上同调变为拓扑空间到阿贝尔群的反变函子

对任意空间XY与任意阿贝尔群AXY的两同伦映射fg在层上同调上导出相同的同态:[6]

 

由此可见,两同伦等价空间有同构的常系数层上同调。

X仿紧豪斯多夫空间,是局部可收缩空间,甚至在弱意义上,点x的开邻域U都包含x的开邻域V,使得含入 同伦于常值映射。则,x的奇异上同调群(系数在阿贝尔群A中)同构于常系数层上同调 [7]例如,对X拓扑流形CW复形的情形,这一点是成立的。

因此,很多常系数层上同调的许多基本计算与奇异上同调的计算相同,球面、射影空间、环面与曲面的上同调见餘調#例子

对任意拓扑空间,奇异上同调与层上同调(常系数)可能是不同的, 也可能发生: X路径分量集到整数 的函数群的奇异上同调,而层上同调 X 的局部常值函数群层上同调。例如,当X康托尔集时,情形就不同了。事实上,在这种情况下,层上同调 可数阿贝尔群,而奇异上同调 x 所有函数的群,其

 

对仿紧豪斯多夫空间XX上阿贝尔群的任意层E,上同调群 对大于X拓扑维数j都是零[8](对奇异上同调来说在一般情形下不成立,例如有欧氏空间 子集,其在无限多度上具有非零的奇异上同调[9])。拓扑维数与拓扑流形或CW复形的通常维度概念一致。

弛层与软层

拓扑空间X上阿贝尔群的层E 若对 ,则称作无环的(acyclic)。根据层上同调的长正合列,任何层的上同调都可从E的任何无环消解(而非单射消解)计算得来。单射层是无环的,但对计算来说,有其他无环层的例子很有用。

X上层E,若EX某开子集上的每个截面都延伸到EX全体上的某截面,就称E(英语:flabby,法语:flasque)的。弛层无环。[10]Godement通过任何层上的规范弛消解,定义了任何层的层上同调。由于弛层无环,Godement的定义与上述层上同调定义一致。[11]

仿紧豪斯多夫空间X上的层E,若EX闭子集的限制的每个截面都延伸到EX全体上的某截面,就称E的。软层无环。[12] 软层的一些例子如仿紧豪斯多夫空间上实值连续函数层、光滑流形光滑( )函数层。[13]更一般地,交换环软层上的模层还是软的,例如光滑流形上向量丛的光滑截面层是软的。[14] 例如,这些结果形成了德拉姆定理证明的一部分。对光滑流形X庞加莱引理指出,德拉姆复形是常层 的消解:

 

其中 是光滑j形式的层,映射 外微分 。根据上面的结果,层 是软的,因此是无环的。可知,X的实系数层上同调同构于X的德拉姆上同调,后者定义为实向量空间复形的上同调:

 

德拉姆定理的另一部分是识别X的实系数层上同调、奇异上同调;如上所述,这在更大的推广上成立。

切赫上同调

切赫上同调是层上同调的近似,常用于计算。即,令 为拓扑空间X开覆盖,令EX上阿贝尔群的层。记覆盖中的开集为 ,其中i属于集合I,且I的顺序固定,则切赫上同调 可定义为有j个群的阿贝尔群显式复形的上同调:

 

有自然同构 ,因此切赫上同调是层上同调的近似,仅使用在开集 的有限交上的E的截面。

 中开集的每个有限交V都没有系数在E中的高阶上同调,即对 ,则切赫上同调 到层上同调的同态同构[15]

将切赫上同调与层上同调相联系的另一种方法如下。切赫上同调群 定义为 X所有开覆盖 上的直极限(其中开覆盖由加细排序)。有切赫上同调到层上同调的同态 ,对 是同构。对任意拓扑空间,切赫上同调与层上同调在更高的度上会有不同,但方便地说,对仿紧豪斯多夫空间上的任何层,切赫上同调都同构于层上同调。[16]

同构 隐含着对拓扑空间X上阿贝尔群任何层E 的描述:此群在同构意义上分类了X上的E扭子(也叫E)(通过非阿贝尔上同调 ,这论述可推广到群G(不必阿贝尔)的任何层)。由定义,X上的E扭子是集合的层S以及EX上的群作用,使X中每点都有S同构于E的开邻域,E通过平移(translation)作用于自身。例如,赋环空间 上,X可逆层皮卡德群同构于层上同调群 ,其中  可逆元的层。

相对上同调

对整数j、拓扑空间X的子集YX上阿贝尔群的层E,可以定义相对上同调群:[17]

 

还可称作在Y中有支持X的上同调,或(YX封闭时)局部上同调。长正合列可在通常意义上将相对上同调与层上同调关联:

 

YX封闭时,在Y中有支持的上同调可定义为函子

 

的导出函子,即在Y上有支持的E的截面群。 有几种同构称作切除。例如,若X是拓扑空间,其子空间YU使Y的闭包在U内部,EX上的层,则约束

 

是同构[18](因此,在闭子集Y中具有支持的上同调只取决于空间X与层EY附近的行为)。另外,若X是仿紧豪斯多夫空间、是闭子集AB的并、EX上的层,则约束

 

是同构。[19]

具有紧支持的上同调

X局部紧拓扑空间(本文将局部紧空间理解为豪斯多夫空间)。对X上阿贝尔群的层E,可定义有紧支持的上同调 [20]这些群被定义为紧支持截面的函子的导出函子:

 

有自然同构 ,是X紧的同构。

对局部紧空间X上的层E 的系数在E的拉回中的紧支持上同调是X的紧支持上同调的移位(shift):[21]

 

举例来说,若 ,则 同构于 ,否则为零。

就任意连续映射而言,紧支持上同调不是函子性的。而对局部紧空间上的紧合映射 X上的层E,紧支持上同调上有拉回同态

 

另外,对局部紧空间X的开子集UX上的层E,有称作零点扩张(extension by zero)的前推同态:[22]

 

对局部紧空间X与闭子集Y,这两个同态都见于紧支持上同调的长正合局部化列中:[23]

 

上积

对所有ij以及拓扑空间X上阿贝尔群的任意层AB,有双射——上积[24]

 

当中 表示在 上的张量积,但若AB是交换环的某层 上的模层,则可进一步从 映射到 。特别是,对交换环的层 ,上积使得直和

 

变为分次交换环,即对 [25]

 

层复形

层上同调是导出函子的定义可进行扩展,定义拓扑空间X的上同调,且系数在层的任何复形E中:

 

特别地,若复形E有下界(对足够负的j,层 为零),则E像单层一样有单射消解I(由定义,I是有下界的单射层复形,其链映射 拟同构)。则上同调群 定义为阿贝尔群复形的上同调

 

空间的系数在层复形中的上同调,早先被称作超同调,现在一般只叫“上同调”。

更一般地,对空间X上层E(不必有下界)的任意复形,上同调群 定义为X上层的导出范畴中态射的群:

 

其中 是与整数相关联的常层, 表示向左移动j步的复形E

庞加莱对偶性与推广

庞加来对偶性定理是拓扑学的一个核心成果:对n有向连通拓扑流形Xk,群 同构于k,上积

 

是所有整数j完美配对。即,从 对偶空间 的映射是同构,特别是,向量空间  有相同的(有限)维数

运用层上同调的语言,可以进行很多推广。若X是有向n维流形(不必紧或连通),k是域,则上同调就是有紧支持的上同调的对偶:

 

对任意流形X、域k,有X上的层 ——方向层,局部(可能不是全局)同构于常层k。庞加莱对偶关于任意n维流形X的一个版本是同构:[26]

 

更一般地,若En维流形上k维向量空间的局部常层,且E的茎有限维,则有同构

 

系数在任意交换环而非域中时,庞加莱对偶性可以很自然地表述为上同调到博雷尔–摩尔同调的同构。

韦迪耶对偶是很广的推广。对任意有限维局部紧空间X与任意域k,在X上层的导出范畴 中有对象 ,称作对偶化复形(dualizing complex,系数位于k中)。韦迪耶对偶的一种情形是同构:[27]

 

n维流形X,对偶化复形 同构于方向层的移位 。因此,庞加莱对偶是韦迪耶对偶的特例。

亚历山大对偶是另一种有用的推广。对有向n维流形M的任意闭子集X与任意域k,有同构:[28]

 

 的紧子集X来说这已经很有趣了,因为它说(粗略地), 的上同调是X的层上同调的对偶。当中,必须考虑层上同调而非奇异上同调,除非对X有额外假设,如局部可收缩性。

高阶直像与勒雷谱序列

 维拓扑空间的连续映射,EX上阿贝尔群的层。前推层 Y上的层,对Y的任意开子集U定义为

 

例如,若fX到点的映射,则 是与E的全局截面群 对应的点上的层。

X上的层到Y上的层的函子 是左正合的,但一般不是右正合的。Y上的高阶直像 定义为函子 的右导出函子。另一种描述是, Y上预层相关联的层[29]

 

因此,粗略地说,高阶直像层描述了Y中小开集的逆像的上同调。

勒雷谱序列X上的上同调与Y上的上同调相关联,即对任何连续映射 X上任何层E,有谱序列

 

这是一个非常一般的结果。f纤维化E是常层的特例在同伦论中扮演着重要角色,这种情形称作塞尔谱序列。当中,高阶直像层是局部常的,其茎是f的纤维F的上同调群,因此塞尔谱序列对阿贝尔群A,可写作

 

勒雷谱序列的一个简单而有用的情形是,对拓扑空间Y的任意闭子集XX上任意层E,用 表示包含,有同构[30]

 

因此,关于闭子空间上层上同调的问题都可转化为关于环境空间上直像层的问题。

上同调的有限性

有个关于层上同调的强有限性结果。令X是紧豪斯多夫空间,R主理想域,例如域或整数环 。令EXR模的层,并假定E有“局部有限生成上同调”,即对X中每点x、整数jx的所有开邻域U,都有x的开邻域 ,使得 的像是有限生成R模,则上同调群 是有限生成R模。[31]

例如,对局部可收缩紧豪斯多夫空间X(在上文所述的弱意义上),层上同调群 对整数j是有限生成的。

有限性结果适用于可构造层的一种情形。令X为拓扑层化空间。具体来说,X有闭子集序列

 

使每个差分 是维数为i的拓扑流形。 若E对每层 的限制是局部常的,且茎是有限生成R模,则X上的层ER模在给定分层下是可构造的。关于给定分层的X上可构造层E具有局部有限的生成上同调。[32]X是紧的,则X的上同调群 (系数在可构造层中)是有限生成的。

更一般地,假设X'是可紧的,即有紧层化空间W,包含X为开子集,WX是层的连通分量的并,则对XR模的任意可构造层ER  都是有限生成的。[33]例如,任何具有经典(欧氏)拓扑的复代数簇X在此意义上都是可紧的。

凝聚层上同调

代数几何与复解析几何中,凝聚层是一类有特殊几何意义的层。例如,(局部诺特概形上的)代数向量丛或(复解析空间上的)全纯向量丛可视作凝聚层,而凝聚层比向量丛更有优势,因为凝聚层构成了阿贝尔范畴。在概形上,考虑准凝聚层也是有用的,其中包括秩无限的局部自由层。

关于系数在凝聚层中的概形或复解析空间的上同调群,我们已了解了很多。这一理论是代数几何中的重要技术工具,主要定理包括在各种情况下上同调变为零、上同调有限维、凝聚层上同调与奇异上同调的比较(如霍奇理论)与凝聚层上同调中欧拉示性数的公式(如黎曼-罗赫定理)等。

景上的层

1960年代,格罗滕迪克定义了(site),即具备了格罗滕迪克拓扑的范畴。景C公理化了这样一个概念:C中的态射 集合是U的覆盖。拓扑空间X以自然的方式确定了景:范畴C的对象是X的开子集,态射是包含,当且仅当U是开子集 的并时,态射 的集合称作U的覆盖。此外,格罗滕迪克拓扑的激励性例子是概形上的平展拓扑。此后,代数几何中还是用了很多其他的格罗滕迪克拓扑:fpqc拓扑尼斯涅维奇拓扑等等。

层的定义适用于任何景,所以可以谈论景上的集合层,景上的阿贝尔群层,等等。层上同调作为导出函子的定义同样适于景,因此,对于景上的任何对象X、阿贝尔群的任何层E,都有层上同调群 。对于平展拓扑,这给出了平展上同调的概念,并由此证明了韦伊猜想。代数几何中晶体上同调等其他上同调论也被定义为适当的景上的层上同调。

注释

  1. ^ Grothendieck, A., Sur quelques points d'algèbre homologique, Tôhoku Mathematical Journal, (2), 1957, 9 (2): 119–221, MR 0102537, doi:10.2748/tmj/1178244839  . English translation页面存档备份,存于互联网档案馆).
  2. ^ (Miller 2000)
  3. ^ (Iversen 1986,Theorem II.3.1.)
  4. ^ (Iversen 1986,II.5.1.)
  5. ^ (Iversen 1986,II.5.10.)
  6. ^ (Iversen 1986,Theorem IV.1.1.)
  7. ^ (Bredon 1997,Theorem III.1.1.)
  8. ^ (Godement 1973,II.5.12.)
  9. ^ (Barratt & Milnor 1962)
  10. ^ (Iversen 1986,Theorem II.3.5.)
  11. ^ (Iversen 1986,II.3.6.)
  12. ^ (Bredon 1997,Theorem II.9.11.)
  13. ^ (Bredon 1997,Example II.9.4.)
  14. ^ (Bredon 1997,Theorem II.9.16.)
  15. ^ (Godement 1973,section II.5.4.)
  16. ^ (Godement 1973,section II.5.10.)
  17. ^ (Bredon 1997,section II.12.)
  18. ^ (Bredon 1997,Theorem II.12.9.)
  19. ^ (Bredon 1997,Corollary II.12.5.)
  20. ^ (Iversen 1986,Definition III.1.3.)
  21. ^ (Bredon 1997,Theorem II.15.2.)
  22. ^ (Iversen 1986,II.7.4.)
  23. ^ (Iversen 1986,II.7.6.)
  24. ^ (Iversen 1986,II.10.1.)
  25. ^ (Iversen 1986,II.10.3.)
  26. ^ (Iversen 1986,Theorem V.3.2.)
  27. ^ (Iversen 1986,IX.4.1.)
  28. ^ (Iversen 1986,Theorem IX.4.7 and section IX.1.)
  29. ^ (Iversen 1986,Proposition II.5.11.)
  30. ^ (Iversen 1986,II.5.4.)
  31. ^ (Bredon 1997,Theorem II.17.4), (Borel 1984,V.3.17.)
  32. ^ (Borel 1984,Proposition V.3.10.)
  33. ^ (Borel 1984,Lemma V.10.13.)

参考文献

外部链接