数学中,赋环空间O-模的层O-模F,使得对开的-模,的限制映射与的限制映射相容:fs的限制是f的限制乘以s的限制。

标准情况是当X概形O是其结构层。若O常层,则O-模的层等同于阿贝尔群层(即阿贝尔层)。

X是环R主谱,则R-模会自然地确定一个-模,称作相关层。相似地,若R分次环XR射影构造,则分次模会自然地确定一个-模。这样产生的-模是准凝聚层的例子,事实上在仿射与射影概形上,所有准凝聚层都可这样生成。

赋环空间上的模层形成阿贝尔范畴[1]而且这范畴有足内射(enough injective),[2]因此定义了层上同调,为全局截面函子的第i导出函子[3]

例子

  • 给定赋环空间 ,若FOO-子模,则称之为O理想层,因为对开的  是环 理想
  • Xn光滑簇,则X切层余切层 的对偶,规范层  n次外幂。
  • 代数层是模层,也是环层。

运算

 为赋环空间。若FG都是O-模,则它们的张量积

  or  ,

也是O-模,与预层 相关联(计算 的全局截面,其中 是射影空间上的塞尔扭曲层,如此可知层化是不可避免的)。

同样,若FG都是O-模,则

 

表示作为层 O-模。[4]特别地,O-模

 

称作F对偶模,记作 。注意:对任意O-模EF,都有规范同态

 ,

E是秩有限的局部自由层,则就是同构。特别地,若L局部自由且秩为1(称这样的L可逆层线丛 ),[5]则有

 

这意味着可逆层的同构类构成群,称作X皮卡第群,规范等同于第一上同调群 (由标准的切赫上同调论证)。

E是秩有限的局部自由层,则有配对给出的O-线性映射 ,称作E的迹映射。

对任意O-模F,其张量代数外代数对称代数的定义方式类似。例如,k次外幂

 

是与预层 相关联的层。若F是秩为n的局部自由层,则 称作F的行列式(determinant)线丛(严格说是可逆层),记作 。有自然的完美配对:

 

 是赋环空间之间的态射。若FO-模,则直像层 通过自然映射 O'-模(这样的自然映射是赋环空间态射数据的一部分)。

GO'-模,则G的模逆像 是作为模的张量积的O-模:

 

其中 G的逆像层, 伴随 得到。

  之间有伴随关系:对任意O-模FO'-模G

 

是阿贝尔群。还有射影公式:对O-模F、秩有限的局部自由O'-模E

 

性质

 是赋环空间。O-模F,若有O-模的满射:

 

则称F是由全局截面生成的。明确地说,这意味着存在F的全局截面 使得 在每个茎 中的像生成了作为 -模的 

代数几何中,R-模MR是任意交换环)与环的谱 相关联,就是这种层的一个例子。

另一个例子:据嘉当定理A施坦流形上的凝聚层都是由全局截面张成的(参下列塞尔定理A)。在概形论中,一个相关概念是充足线丛(ample line buldle,例如若L是充足线丛,那么它的某个幂是由全局截面生成的)。

内射O-模是弛的(flasque,即所有限制映射 都是满射)。[6]由于弛层在阿贝尔层范畴中是非周期性的,所以O-模范畴中的全局截面函子 的第i右导出函子与通常的阿贝尔层范畴中的第i层上同调相重合。[7]

与模相关联的层

M是环A上的模。置  and write  。对每对 ,根据局部化的泛性质,有自然映射

 

有性质 。则

 

是对象为集合 、态射为集合包含的范畴,到阿贝尔群范畴的反变函子。可以证明[8]它实际上是B-层(即其满足胶合公理),于是定义了X上的层 ,称作与M相关联的层。

最基本的例子是X上的结构层,即 。此外, 具有 -模的结构,因此可得到A模范畴  上模范畴的正合函子 。其定义了 X准凝聚层范畴的等价,其逆 全局截面函子X诺特概形时,函子是从有限生成A-模到X上凝聚层范畴的等价。

此构造有以下性质:对任意A-模MN与任意态射 

  •  .[9]
  • A的任意素理想, 作为 -模。
  •  .[10]
  • M有限表示模 .[10]
  • 由于 X上准凝聚层范畴间的等价关系, 
  •  ;[11]特别是,取直和与~交换。
  • 当且仅当 的诱导序列正合,称A-模序列正合。特别地, .

与分次模相关联的层

上一节中的构造与等价有一个分次类似物。令R是由 -代数( 表示度为0的元素)的度为1的元素生成的分次环,M是分次R-模。令XR射影构造(于是若R不是诺特环,则X射影概形),则有O-模 ,使得对R的度数为正的任意齐次元f,有自然同构

 

作为仿射概形 上的模层;[12]实际上,这通过胶合定义了 

例子:令 为分次R-模: ,则 称作塞尔扭曲层,若R次数为1、是有限生成的,则塞尔扭曲层是重言线丛的对偶。

FX上的O-模,则 就有规范同态:

 

当且仅当F是准凝聚层时,它是同构。

计算层上同调

层上同调以难以计算而闻名。正因如此,下面的一般事实对任何实际计算都是重要的:

定理 — X是拓扑空间,F是其上的阿贝尔层, X的开覆盖,使得 。则对任意i

 

其中右式是第i切赫上同调

塞尔消失定理[13]指出,若X是射影簇、F是其上的凝聚层,则对足够大的n,塞尔扭曲 由有限多全局截面生成。此外,

  •  是在 上有限生成的;
  • 有取决于F的整数 使得

 [14][15][16]

层扩张

 是赋环空间,FHXO-模的层。HF扩张O-模的短正合列

 

与群扩张一样,若固定FH,则HF扩张的所有等价类构成阿贝尔群(参Baer和),其与Ext群 同构,当中 中的幺元对应平凡扩张。

HO的情形下,有: 

 

因为两侧是同一个函子 的右导出函子。

: Hartshorne等学者不写下标O

X是诺特环上的射影概形。令FGX上的凝聚层,i是整数,则存在 使得

 .[17]

局部自由消解

 对任何凝聚层 都可用局部自由消解轻松计算:[18]给定复形

 

 

于是

 

例子

超曲面

考虑度数为d的光滑超曲面X,则可计算消解

 

并发现

 

光滑完全交的并

考虑概形

 

其中 是光滑完全交, 。则有复形

 

消解了 ,可用于计算 

另见

注释

  1. ^ Vakil, Math 216: Foundations of algebraic geometry页面存档备份,存于互联网档案馆), 2.5.
  2. ^ Hartshorne,Ch. III, Proposition 2.2.
  3. ^ 此上同调函子与与阿贝尔层范畴中的全局截面函子的右导出函子重合,参Hartshorne,Ch. III, Proposition 2.6.
  4. ^ 有规范同态:
     
    F是有限表示,则其是同构(EGA, Ch. 0, 5.2.6.)
  5. ^ 对于凝聚层,有张量逆等同于局部自由且秩为1。实际上有事实:若 、且F凝聚,则FG局部自由且秩为1。(cf. EGA, Ch 0, 5.4.3.)
  6. ^ Hartshorne,Ch III, Lemma 2.4.
  7. ^ see also: https://math.stackexchange.com/q/447234
  8. ^ Hartshorne,Ch. II, Proposition 5.1.
  9. ^ EGA I,Ch. I, Proposition 1.3.6.
  10. ^ 10.0 10.1 EGA I,Ch. I, Corollaire 1.3.12.
  11. ^ EGA I,Ch. I, Corollaire 1.3.9.
  12. ^ Hartshorne,Ch. II, Proposition 5.11.
  13. ^ Section 30.2 (01X8): Čech cohomology of quasi-coherent sheaves—The Stacks project. stacks.math.columbia.edu. [2023-12-07]. (原始内容存档于2024-08-04). 
  14. ^ Costa, Miró-Roig & Pons-Llopis 2021,Theorem 1.3.1
  15. ^ Links with sheaf cohomology. Local Cohomology. 2012: 438–479. ISBN 9780521513630. doi:10.1017/CBO9781139044059.023. 
  16. ^ Serre 1955,§.66 Faisceaux algébriques cohérents sur les variétés projectives.
  17. ^ Hartshorne,Ch. III, Proposition 6.9.
  18. ^ Hartshorne, Robin. Algebraic Geometry. : 233–235. 

参考文献