數學中,賦環空間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. 

參考文獻

編輯