平展上同调

title: 目的.
content: 对于复代数簇的研究而言,代数拓扑中的某些不变量(例如基本群和上同调)是非常有用的。因此我们自然地希望为其他域(例如有限域)上的代数簇也定义类似的概念。(例如,韦伊指出了这样的上同调理论可以用于证明韦伊猜想。)塞尔指出仅利用代数簇上的扎里斯基拓扑就可以进行定义凝聚层的上同调,而且在复代数簇的情况下,这样的定义可以与(更细致的)复拓扑导出相同的上同调群。但是,对于常值层(例如整数层),这样的定义则不适用,因为使用扎里斯基拓扑定义的上同调群效果不佳。例如,韦伊曾希望可以为有限域上的簇构造一个上同调理论,使其与拓扑空间的奇异上同调有类似的效力;但实际上,任何不可约簇上的常值层都有着平凡的上同调群(所有高阶上同调群都是平凡的)。  扎里斯基拓扑之所以不适用,是因为它过于粗糙——换言之,它包含的开集过少。但是,为任意的代数簇赋予更细致的拓扑似乎也并不可行。格罗滕迪克的创见则在于他认识到一个广义的“开集”并不需要是代数簇的子集;换言之,层的定义并不需要限制于开子集范畴——事实上它对于任何范畴都一样适用。于是格罗滕迪克将开子集范畴替换为平展态射范畴,并由此定义了平展上同调。粗略地来说,平展态射可以被看作空间的有限非分支覆盖上的开集。这样的构造,(通过大量的工作)被证明提供了恰好足够多的开集,使得常系数上同调群(在系数为formula_1时,其中n与域的特征互质)有良好的性质。  一些基本的直观理解如下:
title: 定义.
content: 令formula_2为一个概形之间的态射,formula_3为一个Y-概形,J为一个Z上的幂零理想层(nilpotent sheaf of ideals),formula_4为formula_5所确定的闭浸入。若对于所有的Y-态射formula_6,都存在唯一的Y-态射formula_7使得formula_8,我们就称formula_9是形式平展的。若对于formula_10的每一点formula_11, 都有一个formula_11的邻域formula_13和formula_14的邻域formula_15使得formula_16而且formula_17是一个formula_18上的有限表示代数(即,前者可被看作后者的一个有限多项式环约去一个有限生成理想所得到的结果),我们就称formula_9是局部有限表示的。一个形式平展且局部有限表示的态射被称为一个平展态射(Étale morphism)。一个等效的定义是:一个平坦(flat)且非分歧(unramified)的态射是一个平展态射(参见:概形论术语)。  对于任何一个概形formula_10,令formula_21表示其全部平展态射组成的范畴。注意到它与概形的关系类似于开子集范畴与拓扑空间的关系,而该范畴的对象则可以被非正式地看成是X的“平展开子集”。拓扑空间中两个开集的交集则可以看成两个平展态射的拉回。稍微需要注意的一点细节是formula_21并非是一个小范畴;但是因为平展态射是局部有限表示的,将其视作小范畴亦无妨。  一个拓扑空间上的预层formula_23是一个从开子集范畴到集合范畴(formula_24)的逆变函子;类似地,我们定义一个概形的平展预层为从formula_21到formula_24的一个逆变函子。若"层条件"(当一个开集formula_15被formula_28覆盖,且formula_29均被给定,使得所有的这些formula_29在任意的formula_31上都有一致的取值,则formula_29都是唯一的某个formula_33的像)可以得到满足,我们就将一个预层称为层;因此类似地,我们称一个平展预层为平展层,若对应的"平展层条件"得到满足。(这里“并集”被平展映射的拉回代替,而“formula_34覆盖formula_35”则被定义为formula_36覆盖formula_15。)对于任何范畴上的格罗滕迪克拓扑,我们都可以类似地定义层的概念。  因为一个概形上的阿贝尔层(取值为阿贝尔群的层)的范畴包含足够多的单射对象,我们可以在其上定义左正合函子的右导出函子。对于一个阿贝尔层的范畴formula_38,其全局截面函子是一个将每个层formula_23映射到其全局截面(也就是formula_40)的映射formula_41。给定一个阿贝尔层formula_23,定义其平展上同调群formula_43为formula_44的右导出函子formula_45在formula_23上的值。特别地,formula_47便是formula_48。  更一般地,若formula_9是一个从formula_10到formula_51的概形态射,则有formula_52函子从X的平展层映射到Y的平展层,而其右导出函子则被写为formula_53。若Y是一个代数闭域的谱(也就是一个点),则formula_54与formula_43相同。  令X为诺特概形。若一个X的阿贝尔平展层被X的一个平展覆盖所表示,我们则称其为有限局部常值的。若X可被有限个子概形覆盖,且F在每个子概形上都是有限局部常值的,则称F为可构造层的。若对于任何X的平展覆盖U,formula_33都是挠群,则称F为挠层的。有限局部常值的层都是可构造的,而可构造层都是挠的。每一个挠层都是一个可构造层的滤子归纳极限。
title: l进上同调群.
content: 在关于有限域formula_57的代数几何中,一个重要的目标是找到可以作为整数(或有理数)系数奇异上同调群的替代结构,因为奇异上同调群在有限域下并不没有复数域的情况下一样良好的性质。对于formula_58(其中n互质于域特征)系数,平展上同调表现尚可,但对于无挠系数则无法给出良好的结果。为了得到无挠的上同调群,我们需要取带某些挠元系数的平展上同调群的逆极限,而这种构造所得到的结构称为l进上同调群。(此处l代表一个与域特征p不同的质数。)对于一个概形V,考虑上同调群  并"定义"其l进上同调群为其逆极限:  此处formula_61表示l进数,但这一定义则是通过考虑一系列带formula_62系数的常值层完成的。(此处有一个著名的陷阱:上同调不与逆极限交换,而用逆极限定义的l进上同调群不是系数在平展层formula_61内的上同调群——后者虽然存在,但给出的上同调群是错误的)。  更为一般地,令F是一个平展层formula_64的逆序列,则F的上同调可以定义为formula_64层的上同调的逆极限:  注意,虽然如下的自然映射存在:  一般来说这个映射并不是一个同构。l进层是一个特殊的平展层逆系统formula_64,其中i是正整数,formula_64是一个formula_70模,而formula_71到formula_64的映射则是模formula_70的约化。  若V是一个非奇异的代数曲线,formula_74,则formula_75是一个自由formula_76模,其秩为formula_77(g是V的亏格),且与V的雅可比簇的泰特模对偶。因为一个黎曼曲面的贝蒂数是2g,该群与复数代数曲线的formula_61系数奇异上同调群同构。这个例子也说明了为什么我们要求l不等于p:在两者相同的时候,泰特模的秩最多是g。  l进上同调群可能包含挠子群,而迈克尔·阿廷和戴维·芒福德在处理几何问题的时候也用到了这样的性质。若需要从l进上同调群中完全去除挠子群从而得到可以被视作零特征域上的向量空间的上同调群,则可以使用如下定义:  (注意这里的符号可能有误导性:formula_80既不是平展层,也不是l进层)。
title: 性质.
content: l进上同调群与复数簇的奇异上同调群大致上有着类似的性质,区别在于前者是l进数(或l进有理数)的模而后者是整数(或有理数)的模。在非奇异射影簇上,庞加莱对偶性成立,且复数簇的“模p约化”的l进上同调群与奇异上同调群多数情况下有同样的秩。Künneth公式同样也成立。  例如,一个复椭圆曲线的第一上同调群是一个秩为2的整数自由模,而一个有限域椭圆曲线的第一l进上同调群则是一个秩为2的l进数自由模(只要l不是该有限域的特征),而且后者与泰特模对偶。  l进上同调群在一个意义上优于奇异上同调群:前者往往受伽罗瓦群作用。例如,若一个复数簇在有理数上定义,则其l进上同调群受有理数的绝对伽罗瓦群的作用,因此是一个伽罗瓦表示。  有理数的伽罗瓦群的元素(除去平凡元和共轭元之外),大多不在有理数上定义的复数簇上有"连续"作用,因此大多不在奇异上同调群上作用。这一现象与拓扑空间的基本群在奇异上同调群上作用的事实有关:格罗滕迪克证明了伽罗瓦群可以被视作伽罗瓦范畴。

Summary: 在数学中,一个代数簇或概形的平展上同调(Étale cohomology)是一个与一般拓扑空间的有限系数上同调群类似的代数结构。这一概念作为证明韦伊猜想的工具由亚历山大·格罗滕迪克引入。平展上同调的理论可以用于构建l进上同调,后者则是代数几何中韦伊上同调理论的一个例子。这一理论有着众多的应用,包括Weil猜想的证明以及德利涅-路兹庭理论的构造。

Cohomologie étale: La cohomologie étale est la théorie cohomologique des faisceaux associée à la topologie étale. Elle mime le comportement habituel de la cohomologie classique sur des objets mathématiques où celle-ci n'est pas envisageable, en particulier les schémas et les espaces analytiques.