凝聚層

维基百科,自由的百科全书
跳转至: 导航搜索

在數學中,尤其是代數幾何複流形理論裡,凝聚層是一類特別容易處理的。凝聚層的定義指涉到一個環層(例如一個概形的結構層、複流形上的全純函數層或 D-模),此環層蘊藏了所論空間的幾何性質。相關的概念還有擬凝聚層有限展示層。代數幾何與複解析幾何裡的許多性質與定理都以凝聚層及其上同調表述。

凝聚層可被視作向量叢截面層的推廣。它們構成的範疇在取核、上核、有限直和等操作下封閉。此外,若底空間滿足合宜的緊緻條件,則凝聚性在底空間的映射下保持不變,且具有有限維的層上同調群。交換代數裡的一些定理也能應用於凝聚層,如中山正引理

定義[编辑]

一個凝聚層賦環空間(X, \mathcal{O}_X)上的一個\mathcal{O}_X-模 \mathcal{F},滿足下述性質:

  1. \mathcal{F}\mathcal{O}_X上是有限型的,即:對任一點x\in X,存在其鄰域U\subset X使得 \mathcal{F}|_U 可由有限多個截面生成(換言之,存在正合序列\mathcal{O}_X^n|_U \to \mathcal{F}|_U \to 0)。
  2. 對任意開集 U\subset X,任意 n\in\mathbb{N}及任意\mathcal{O}_X-模的態射\phi\colon \mathcal{O}_X^n|_U \to \mathcal{F}|_U,其核是有限型的。

環層\mathcal{O}_X是凝聚層若且唯若它自身作為一個\mathcal{O}_X-模是個凝聚層。

凝聚層必定是有限展示的:即對任一點x \in X都存在其開鄰域U、正整數m,n以及一個正合序列:

\mathcal{O}_X^n|_U \to \mathcal{O}_X^m|_U \to \mathcal{F}|_U \to 0

反之則不然,除非要求\mathcal{O}_X是凝聚環層。

擬凝聚層的定義更弱:我們僅要求對任一點x \in X都存在開鄰域U,索引集I,J(可能是無限集)及一個正合序列: \mathcal{O}_X^I|_U \to \mathcal{O}_X^J|_U \to \mathcal{F}|_U \to 0

基本性質[编辑]

對一個仿射簇X = \mathrm{Spec}(R)\mathcal{F} \mapsto \Gamma(X,\mathcal{F})給出從擬凝聚層到 R-模的範疇等價;若R是諾特環,則凝聚層恰對應至有限生成的R-模。

凝聚層的概念較局部自由層(換言之,向量叢的截面層)廣,但仍然很容易操作,這在考慮核與上核時特別有利,因為局部自由層在這些操作下並不封閉。形式地說:給定一個短正合序列,只要其中任兩個層是凝聚層,則令一個也必然是凝聚層;在\mathcal{O}_X-模的範疇裡,凝聚層是滿足上述條件並包含\mathcal{O}_X的最小滿範疇。因此就同調代數的觀點看,凝聚層是最自然的範疇之一。

凝聚層的例子[编辑]

  • 諾特概形的結構層
  • 向量叢的截面層
  • 理想層:若X複解析空間Z是其閉子空間,令\mathcal{I}_Z表所有在Z上消沒的全純函數,稱作ZX裡的理想層,則\mathcal{I}_Z是凝聚層。對諾特概形及其閉子概形亦同。
  • 閉子空間的結構層
  • 複流形X上的微分算子環\mathcal{D}_X,這是個非交換的環層。

凝聚上同調[编辑]

凝聚層的層上同調理論稱作凝聚上同調,這是層論最大也最有效的應用之一,其結果可用以詮釋古典的代數幾何及複流形理論,其證明卻更簡潔明快。

基於 Schwartz 先前的工作,昂利·嘉當讓-皮埃爾·塞爾證明了緊複流形上的凝聚上同調是有限維的,小平邦彥先前曾證明了向量叢的情形。當時這套理論的用處還不甚明朗。塞爾證明了這個定理的代數版本。亞歷山大·格羅滕迪克證明了一個代數框架下的相對版本,解析版本則由 Grauert 與 Remmert 證出。舉例明之:格羅滕迪克的結果是考慮函子R^{\cdot}f_*(這是層的正像函子的右導函子); 若f是概形間的真態射,則此函子保持凝聚性。取f為一個k-射影概形\mathrm{Spec}(k)的態射,便得到塞爾先前的結果。

文獻[编辑]

  • Hans Grauert, Reinhold Remmert, Coherent Analytic Sheaves. Springer-Verlag, Berlin 1984. ISBN 3-540-13178-7
    Allgemeines: Anhang, §3; Kohärenz der Strukturgarbe: Kap. 2, §5; direkte Bilder: Kap. 10, §4
  • Alexander Grothendieck|A. Grothendieck, Jean Dieudonné|J. Dieudonné: Éléments de géométrie algébrique. Publications mathématiques de l'IHÉS 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967)
    Allgemeines: 0I, 5.3; direkte Bilder: III, 3.2