數學中，層（sheaf，或譯束、捆）是一種系統地追蹤資料的工具。資料附著在拓撲空間的開集上，區域性定義於開集本身。例如，資料可以是定義在開集上的連續函式環。這些資料的行為是良好的：可限制在更小的開集中，而且（直觀地說）每個資料都是其組成資料之和。這樣，它們是研究有區域性本質的實體的全域性行為的自然工具，例如開集，解析函式，流形，等等。 研究層的數學領域叫做層論（sheaf theory）。 從概念上講，層是比較一般、抽象的數學物件，其正確定義是相當技術性的。例如，根據分配給開集的資料型別，可分為集合層、環層等。 相同型別的層之間可以定義對映（或稱態射），這使得（同型別的）層構成了一個範疇。另一方面，每個連續對映都關聯著直像函子（將定義域上的層與態射送到到達域的層與態射）和反像函子（代表相反的運算）。這些函子及其部分變體是層論的重要組成部分。 層由於其普遍性與多功能性，在拓撲學，特別是代數幾何與微分幾何中有多種應用。 微分流形或概形等的幾何結構可用空間上的環層表示。這時，向量叢與除子等幾何結構都可很自然地用層表示。 層為非常一般的上同調論提供了框架，其中也包括 通常 的拓撲上同調論，如奇異上同調。特別是在代數幾何與複流形理論中，層上同調為空間的拓撲與幾何屬性提供了有力的聯絡。 層提供了 D 模理論的基礎，進而為微分方程理論找到了應用。 可將層推廣到比拓撲空間更一般的場景，如格羅滕迪克拓撲，為數理邏輯和數論提供了應用。 定義與例子 在很多數學分支中，很多定義在拓撲空間 X 上的結構（如微分流形）可很自然地「區域性化」或「限制到」開子集 U subset X：典型例子如連續實值或復值函式、n 次可微函式、有界實值函式、向量場、空間上任意向量叢的截面等等。將資料限制在更小開子集上的能力產生了預層（presheaf）的概念，粗略地說就是區域性資料可粘合到全域性資料。 預層 設 X 為拓撲空間，C 是範疇（常是集合範疇、交換群範疇、交換環範疇，或固定的環上的模範疇。C 中的物件在空間 X 上的預層（presheaf） F 由如下資料給出： 對每個開子集 Usubset X， F 給出一個 C 中的物件 F U ，也記作 Gamma U F 。這個物件稱作 F 在 U 上的截面（section）， F 在 X 上的截面稱作 F 的全域性截面（global section）。 對於每個開集之間的包含關係 V subseteq U，有範疇 C 中的一個態射 operatorname res_V U colon F U rightarrow F V，稱為限制態射。若 s in F U，則 text res_VUs 常類比以函式限制的寫法，記作 s_V。限制態射滿足以下兩點性質： 對於 X 中每個開集 U，我們有 operatorname res_U U operatorname id_F U，也即，從 U 到 U 的限制是 F U 上的恆等態射。 給定任何三個開集 Wsubseteq Vsubseteq U，有 text res_WVcirctext res_VUtext res_WU，即從 U 到 V 再到 W 的限制和從 U 直接到 W 的限制相同。 預層的很多例子來自不同類函式：對任意 U，可給其上的連續實值函式集 C0 U 分配限制對映，限制對映就是將 U 上的連續函式限制到開子集 V，且又是連續函式。兩條預層公理立即得到檢驗，從而給出預層例子。這可以擴充套件成全純函式層 mathcal H 與光滑函式層 Cinfty 。 另一類常見例子是將 U 上的常實值函式集分配給 U，這個預層也叫做關聯於 mathbb R 的常預層，記作 underline mathbb Rpsh。 這個定義可以用範疇論的術語很自然的表達。首先我們定義 X 上的開集的範疇為範疇 text Top_X，其物件是 X 的開集而其態射為包含對映。text Top_X 就成了和 X 的開子集上的偏序相關的範疇。X 上的 C 預層就是從 text Top_X 到 C 的反變函子。 層 給定預層，很自然的問題是，它在開集 U 上的截面在多大程度上由到 U 開子集的限制決定。確切地講，預層的截面由限制條件唯一決定時，即成為層。 層是滿足以下兩條公理的預層： （區域性性：）假設 U 是開集，U_i _i in I 是 U 的開覆蓋，滿足 forall i in I U_i subseteq U，且 s t in F U 是截面。forall i in I s_U_i t_U_i，則 s t。 （粘合性：）假設 U 是開集，U_i _i in I 是 U 的開覆蓋，滿足 forall i in I U_i subseteq U，且 s_i in F U_i _i in I 是一族截面。若所有截面對都與其定義域的重合一致，即若 forall i j in I s_i_U_icap U_j s_j_U_i cap U_j，則存在截面 s in F U 使 forall i in I s_U_i s_i。 兩個公理中，關於開覆蓋的假設等價於假設 bigcup_i in I U_i U。 公理 2 保證存在的截面 s 稱作截面 s_i 的粘合（gluing）、連線（concatenation）或整理（collation）。據公理 1，是唯一的。滿足公理 2 的一致前提的截面 s_i s_j 常稱作相容（compatible），於是公理 1、2 共同說明：任何成對相容截面的集合都可唯一地粘合起來。分離預層（separated presheaf）或單預層（monopresheaf）是滿足公理 1 的預層。 上述由連續函式組成的預層是層。這簡化為檢驗給定連續函式 f_i U_i to R（在交 U_i cap U_j 上一致）是否有唯一的連續函式 f U to R，其限制等於 f_i。相比之下，常預層常常不是層，因為不滿足空集上的區域性性公理。 預層和層一般用大寫字母表示，F 尤為常見，應為法語表示 層 的 faisceau 的首字母。花體字母也常見，如 mathcal F。 可以證明，要指定一個層，只需指定其對底空間拓撲基開集的限制即可。此外，還可證明，只要驗證覆蓋的開集是否符合層公理即可。這個觀察用來構造代數幾何中十分重要的準凝聚層。這裡所說的拓撲空間是交換環 R 的譜，其點是 R 中的素理想 p。開集 D_f p subset R f notin p 構成了空間上的扎里斯基拓撲的基。給定 R 基 M，Spec R 上有層 tilde M，滿足 tilde M D_f M 1f 是 M 在 f 的區域性化。 還有一種與前述等價的層表示。當且僅當對任意開 U、U 的任意開覆蓋 U_a，都有 mathcal FU 是纖維積 mathcal FUcongmathcal FU_atimes_mathcal FU_acap U_bmathcal FU_b 時，預層 mathcal F 是層。這在構造層時特別有用，例如若 mathcal Fmathcal G 是阿貝爾層，則層態射 mathcal Ftomathcal G 的核也是層，因為射影極限與射影極限可交換。上核不總是層，因為誘導極限不一定與射影極限可交換。一種解決方法是考慮諾特拓撲空間：開集都緊，由於有限射影極限與誘導極限可交換，所以上核是層了。 更多例子 任何纖維叢產生一個集合的層，透過取截面就可以得到。 賦環空間是有賦交換環層的空間；特別重要的有區域性賦環空間，其中每個莖（參看下面）是區域性環。 概形是特殊的區域性賦環空間，在代數幾何中很重要；模的層在相關理論中很重要。 連續對映的截面層 拓撲空間的任何連續對映 fYto X 決定了 X 上的層 Gamma YX，方法是置 Gamma YXU s U to Y f circ s operatorname id_U 這樣的 s 一般叫做 f 的截面，這個例子也就是 F U 中的元素通常叫截面的原因。當 f 是纖維叢在基空間上的投影時，這種構造尤為重要。例如，光滑函式層是平凡叢截面層。另一例： C stackrel exp to Csetminus 0 的截面層是 U 上覆對數的分支集合分配給任意 U 的層。 給定一個點 x 與阿貝爾群 S，摩天層（skyscraper sheaf）S_x 的定義如下：若 U 是含 x 的開集，則 S_x US；否則 S_x U0，是平凡群。若開集都包含 x，則限制對映是 S 上的恆等對映，否則是零對映。 流形上的層 n 維 Ck 流形 M 上，有很多重要的層，如 j 階連續可微函式層 mathcal Oj_M j leq k。它在某開 U 上的截面是 Cj 函式 U to R。對 j k，這個層稱為結構層，記作 mathcal O_M。非零 Ck 函式也形成一個層，記作 mathcal O_Xtimes。（度為 p 的）微分形式也形成層 Omegap_M。所有例子中，限制態射都由限制函式或形式給出。 將 U 分配到 U 上的緊支援函式不是層，因為一般沒法傳遞到更小開子集後仍保留這性質。相反，這形成了上層的對偶概念，其中限制對映的方向與層相反。然而，從這些向量空間的對偶空間中確實可得到一個層，即分佈層。 不是層的預層 除了上述常預層外，還有很多不是層的預層： 令 X 是離散兩點空間 xy，具有離散拓撲。定義預層 F：F varnothing varnothing F x R F y R F x y RtimesRtimesR 限制對映 F x y to F x 是 R timesRtimesR 在第一座標的投影，限制對映 F x y to F y 是 R timesRtimesR 在第二座標的投影。F 是不分離的預層：全域性截面由 3 個數確定，但截面在 x y 上的值則只決定了其中 2 個數字。因此，雖然可將 x y 上的任意兩截面粘在一起，但沒有唯一的粘合。 令 X R 為實線，並令 F U 為 U 上的有界連續函式集。這不是層，因為不總可粘合。例如，令 U_ixx。恆等函式 f xx 在每個 U_i 上都有界，因此我們得到 U_i 上的截面 s_i。然而，由於函式 f 在實線上無界，所以這些截面並不粘合。於是 F 是預層，但不是層。其實，F 是分離的，因為是連續函式層的子預層。 復解析空間和代數幾何的動機 層的歷史動機之一來自研究複流形、復解析幾何與代數幾何中的概形論。這是因為在前面的所有情形中，我們考慮的都是拓撲空間 X 及賦予其複流形、復解析空間或概形結構的結構層 mathcal O。這種為拓撲空間配備層的觀點對區域性賦環空間理論至關重要（下詳）。 複流形的技術挑戰 引入層的主要歷史動機之一，是構造一種跟蹤複流形上全純函式的結構。例如，緊複流形 X（如復射影空間或齊次多項式射影空間的趨零軌跡）上，唯一的全純函式是 fX to C 是常函式。這意味著存在 2 個不同構的緊複流形 XX，全域性全純函式環 mathcal HX mathcal HX 則同構。這與光滑流形相反，當中每個流形 M 都可嵌入 Rn，於是其光滑函式環 Cinfty M 來自於對光滑函式 Cinfty Rn 的限制。考慮複流形 X 上的全純函式環的另一個複雜性在於，給定足夠小的開集 U subset X，全純函式將同構於 mathcal HU cong mathcal HCn。層是處理這種複雜性的直接工具，因為層能跟蹤任意開子集 U subset X 上 X 的底拓撲空間的全純結構。這意味著，隨著 U 變得越來越複雜，環 mathcal HU 可透過粘合 mathcal HU_i 表達。注意，當要強調結構層所關聯的空間時，有時這個層被表示為 mathcal O 或只是 mathcal O、mathcal O_X。 用層追蹤子流形 另一個常見的層的例子見於復子流形 Y hookrightarrow X。有相關層 mathcal O_Y，取開子集 U subset X，並給出 U cap Y 上的全純函式環。這種形式化非常強大，激發了很多同調代數，如層上同調，因為相交理論可用這類層從塞爾相交公式中建立起來。 層的運算 態射 令 F 和 G 為 X 上兩個層，都在範疇 C 中取值。我們定義從 G 到 F 的態射為一族在範疇 C 內對於所有在 X 中的開 U 的態射 varphi_U G Uto F U，它們和限制對映可交換。也就是，下面的圖必須可交換 對於 X 中的每一對開集 Usubseteq V。若 F 和 G 視為 text Top_Xto C 的反變函子，則它們之間的態射不過就是自然變換。採用這個定義，所有 X 上的 C 值層構成一個範疇（一個函子範疇）。X 上的層的一個同構就是這個範疇裡的一個同構。 可以把這個概念推廣到不同空間上的層之間的態射。令 f Xto Y 為一個兩個拓撲空間之間的連續函式，並令 F 為 X 上的層且 G 為 Y 上的層，二者都在 C 中取值。那麼從 G 到 F 的相對於 f 的態射為一族態射 mathvarphi_U G Uto F f1Umath 對於 Y 中每個開集 U，使得圖 對於 Y 中每一對開集 Usubseteq V 可交換。前面的定義是 f 是 X 上的恆等對映時的特殊情況。 在一般情況中範疇理論的表述稍微複雜一點。令 Top 為從拓撲空間範疇 Top 到小范疇範疇 Cat 的反變函子，它把每個拓撲空間 X 映到其開集的偏序集範疇 text Top_X。這裡 text Topf text Top_Xto text Top_X 是反變函子，把每個開集映到它的原象。把 F 和 Top f 複合，得到 text Top_Yto C 的反變函子。一個從 G 到 F 相對於 f 的態射就是 Gto Fcirctext Topf 的自然變換。 注意上面所有這些對於預層也成立。 層的莖 層 mathcal F 的莖（stalk）mathcal F_x 捕捉了層在點 xin X 周圍 的性質，推廣了函式的芽（germ）。此處的 周圍 是說要觀察點附近越來越小的鄰域。沒有足夠小的鄰域時，就要考慮某種極限，更確切地說莖的定義是 mathcal F_x varinjlim_Uni x mathcal FU 有向極限（direct limit，用範疇論術語，這是一個餘極限（colimit）的例子）是包含給定點 x 的 X 的所有開子集。即，莖的一個元素由 x 的某開鄰域上的截面給出。兩個這樣的截面的限制若在更小的鄰域上一致，則視作等價。 自然態射 F Uto F_x 將 F U 中的截面 x 傳送到 x 處的芽，推廣了芽的通常定義。 很多時候，知道了層的莖就足以控制層。例如，從莖就能判斷層的態射是單射、滿射還是同構，這樣來看層是由莖（區域性資料）決定的；相對地，全域性截面（整個空間 X 上的截面 mathcal F X）攜帶的全域性資訊通常就少些，例如對緊複流形 X，全純函式層的全域性截面就只是 C，因為任何全純函式 X to C 由劉維爾定理都是常值的。 將預層變為層 預層資料取出、表示為層總是很有用。事實證明，取預層 F 再產生新層 aF 總有最好的方法，稱作層化（sheafification）或取與預層相關聯的層 F，如常預層（上詳）的層化稱作常層（constant sheaf）。不過，其截面是區域性常值函式。 層 aF 可用 F 的平展空間構造，即作為對映 mathrm SpeF to X 的截面層。另一種構造是透過預層到預層的函子 L，漸進地改進預層的性質：對任意預層 F，LF 是分離預層；對任意分離預層 F，LF 是層。相關層 aF 由 LLF 給出。SGA 4 II 305 層 aF 是對預層 F 的最佳近似，下列泛性質使其變得更精確：有預層的自然態射 icolon Fto aF，使得對任意層 G、任意預層態射 fcolon Fto G，都有唯一的層態射 tilde f colon aF rightarrow G 使 f tilde f i。其實 a 是從層範疇到預層範疇的包含函子（或遺忘函子）的左伴隨函子，i 是伴隨的單位。這樣，層範疇變為預層的 Giraud 子範疇。這就是為什麼在構造層態射或層張量積的上核時會出現層化函子，而非在構造核時出現。 子層、商層 若 K 是阿貝爾群的層 F 的子層，則商層 Q 是與預層 U mapsto F UK U 相聯絡的層；即，商層符合阿貝爾群層的正合序列（exact sequence）： 0 to K to F to Q to 0 （這也稱作層擴張。） 令 FG 為阿貝爾群層。層 F 到 G 的態射的集合 operatorname HomF G 形成阿貝爾群（由 G 的阿貝爾群結構決定）。則，F 與 G 的層同態記作 mathcal HomF G 是阿貝爾群層 U mapsto operatorname HomF_U G_U，其中 F_U 是 F_UV F V 給出的 U 上的層（此處不需層化）。F、G 的直和是 U mapsto F U oplus G U 給出的層，F、G 的張量積是與預層 U mapsto F U otimes G U 相關聯的層。 所有運算都可擴張到環層 A 上的模層；A 是常層 underline mathbf Z 時，以上是特殊情形。 基本泛函性 由於（預）層的資料取決於基空間的開子集，不同拓撲空間上的層彼此無關，即之間沒有態射。不過，給定兩拓撲空間之間的連續對映 fXto Y，則前推和拉回將 X 上的層和 Y 上的層聯絡起來，反之亦然。 直像 層 mathcal F 在 X 上的前推（也稱作直像）是層 f_ mathcal FV mathcal F f1V 其中 V 是 Y 的開子集，因此根據 f 的連續性，其預像在 X 中是開的。 這構造恢復了上述摩天層 S_x： S_x i_ S 其中 i x to X 是包含，而 S 被視作單元集上的層（由 S S S emptyset emptyset）。 對於區域性緊空間之間的對映，有緊支撐集的直像是直像的子層。由定義，f_ mathcal FV 包含支撐集為 V 上的緊合對映的 f in mathcal F f1V。若 f 自身緊合，則 f_ mathcal F f_ mathcal F，但一般不一致。 逆像 拉回或逆像則相反，在 X 上從 Y 上的層 mathcal G 產生層 f1 mathcal G。若 f 是開子集的包含，則逆像只是一個限制，即對開的 Usubset X，由 f1 mathcal GU mathcal G U 給出。現有某空間 X，如對一些開子集 U_i，X bigcup_i in I U_i 且 F 的限制對所有開子集為常值，則層 F 是區域性常層。在很多拓撲空間 X 上，這種層等價於基本群 pi_1 X 的表示。 對一般對映 f 而言，f1 mathcal G 的定義更復雜，在逆像函子處很詳細。從自然識別的角度來看，莖是拉回中的基本特例，其中 i 如上： mathcal G_x i1mathcal Gx 更一般地說，莖滿足 f1 mathcal G_x mathcal G_f x 零擴張 對開子集的包含 j U to X，U 上阿貝爾群層的零擴張的定義是 j_ mathcal FV mathcal F V，若 V subset U，否則 j_ mathcal FV 0。 對 X 上的層 mathcal G，這構造在某種意義上是 i_ 的補充，其中 i 是 U 之補的包含： j_ j mathcal G_x mathcal G_x forall xin U，否則莖為零；而 i_ i mathcal G_x 0 forall xin U，否則等於 mathcal G_x。 因此，這些函子十分利於將 X 的層理論問題簡化為分層問題（即將 X 分解為更小的區域性閉子集）。 補 更一般範疇中的層 上述（預）層的 mathcal F U 只是集合，很多時候跟蹤介面上的附加結構也很重要。例如，連續函式層的截面自然形成了實向量空間，限制是其間的線性對映。 在任意範疇 C 中取值的預層是這樣定義的：將 X 上的開集範疇視作偏序範疇 O X，其物件是 X 的開集，態射是包含。則，X 上的 C 值預層等同於 O Xto C 的反變函子。這函子範疇中的態射（也稱作自然變換）與上面定義的態射相同，由定義自明。 若目標範疇 C 允許所有極限，則對任意開集 U 的每個開覆蓋 mathcal U U_i_i in I，若下圖是等化子，則 C 值預層是層： F U rightarrow prod_i F U_i atop longrightarrowatop longrightarrow atop prod_i j F U_i cap U_j 其中第一個對映是下面的限制對映之積： operatorname res_U_i U colon F U rightarrow F U_i 那對箭頭是兩組限制集之積： operatorname res_U_i cap U_j U_i colon F U_i rightarrow F U_i cap U_j 及 operatorname res_U_i cap U_j U_j colon F U_j rightarrow F U_i cap U_j 若 C 是阿貝爾範疇，則這條件也可改寫為要求有正合序列 0 to F U to prod_i F U_i xrightarrow operatorname res_U_i cap U_j U_i operatorname res_U_i cap U_j U_j prod_ij F U_i cap U_j 這層條件的特殊情形是：U 是空集，索引集 I 也是空集。這時層條件要求 mathcal F emptyset 是 C 中的終物件。 賦環空間與模層 在代數幾何與微分幾何等學科中，空間伴隨著環的自然層，常稱作結構層，記作 mathcal O_X。這樣的對子 X mathcal O_X 稱作賦環空間。很多種空間都可定義為某種賦環空間。通常，結構層的所有莖 mathcal O_X x 都是區域性環，這時稱作區域性賦環空間。 例如，n 維 Ck 流形 M 是區域性賦環空間，其結構層包含 M 的開子集上的 Ck 函式。區域性賦環空間的性質，意味著 x 點非零的函式在 x 的足夠小的開鄰域上也非零。有人將實（或復）流形定義為區域性賦環空間，且區域性同構於 Rn（或 Cn）的開子集及 Ck（或全純）函式的層組成的對子。相似地，代數幾何的基礎空間概念 概形，是與環的譜區域性同構的區域性賦環空間。 給定賦環空間，模層是層 mathcal M，使對開集 forall Usubset X mathcal MU 是 mathcal O_X U 模；對每個開集的包含 Vsubseteq U，限制對映 mathcal MU to mathcal MV 與限制對映 mathcal OU to mathcal OV 相容：forall fin mathcal OU sin mathcal MU，對 fs 的限制是 f 的限制乘以 s 的限制。 最重要的幾何物件是模的層。例如，向量叢與 mathcal O_X 模的區域性自由層間存在一一對應關係。這正規化適用於實向量叢、復向量叢和代數幾何中的向量叢（其中 mathcal O 分別包含光滑函式、全純函式與正規函式）。微分方程解的層是 D 模，即微分運算元層上的模。在任何拓撲空間上，常層 underline mathbf Z 上的模都與上述意義的阿貝爾群層是一樣的。 對環層的模層，有個不尋常的逆像函子，通常記作 f，與 f1 不同。 模層的有限性條件 交換環上模的有限性條件也會引起類似的模層的有限性條件：若對每個點 xin X，存在 x 的開鄰域 U、自然數 n（可能取決於 U）及層的滿射 mathcal O_Xn_U to mathcal M_U，則 mathcal M 稱作有限生成；若滿射是 mathcal O_Xm_U to mathcal O_Xn_U to mathcal M_U to 0（m 也是自然數），則稱作有限表示。與凝聚模的概念相似，若 mathcal M 是有限類，且對每個開集 U、每個層態射 phi mathcal O_Xn to mathcal M（不必是滿射），phi 的核也是有限類，則稱 mathcal M 是凝聚層。mathcal O_X 若作為自身上的模是凝聚的，則也是凝聚的。與模類似，凝聚一般是個嚴格強於有限表示的條件。岡凝聚定理指出，複流形上全純函式層是凝聚的。 層的平展空間 上面的例子中可以觀察到，有些層是以截面層的形式自然出現的。實際上，集合的所有層都可表為拓撲空間的截面層，前者即是平展空間。 層論發展的早期，就證明了給定層 X 上的 F 和給定一個特定拓撲空間 E 以及一個從 E 到 X 的連續函式一樣。更精確的講：對於一個 X 上的集合層 F，存在一個局域同胚 π E X 使得 F 和上節例子中所述的 π 的截面層同構。 進一步的有，空間 E 是確定的，最多差一個 F 的同胚。這是 F 的莖空間：每個莖給了離散拓撲，並且我們取所有莖的不交併，而 π 把所有的莖 Fx 對映到 x。這個莖的空間的拓撲可以取為這樣一個拓撲，它使得層 F 可以從 π 截面的層中重建出來。 在高一級的抽象中，我們可以說 X 上的集合的層的範疇是等價於到 X 的區域性同胚的範疇的。（也可以從可表示函子的理論的角度來考慮這樣一個空間；歷史表明這個理論也在 1950 年代中期發展出來）。 在 Godement 的深具影響的關於同調代數和層論的書中（Topologie Algebrique et Theorie des Faisceaux R Godement），空間 E 被稱為平展空間（espace étalé）；在那本書中，層事實上定義為從區域性同胚的截面得到；上面給出的函子方式的定義後來才出現，但現在更為普遍。 上面的考慮對於 X 上的 C 層也成立：我們還是從莖的空間出發，每個莖是 C 中的一個物件，而截面自然也成為 C 中的物件。 給定任意連續對映 g Z X 相應的截面的層給了上述方式的莖的空間 E 和一個區域性同胚 π E X。在某種意義上，這是處理對映 g 的所有 分支 ，並且是以 儘可能最好的方式 。這可以用共軛函子表示；但是從某種意義上講層的更廣泛的概念遠離了幾何直覺。 層上同調 在開集 U 固定、層被視為變數的情形中，集合 F U 也常表示為 Gamma U F 如上所述，這函子並不保留滿態射，層滿態射 mathcal F to mathcal G 是具有以下性質的對映：對任意截面 g in mathcal G U，有覆蓋 mathcal U U_i_i in I，其中 U bigcup_i in I U_i 的開子集，使限制 g_U_i 在 mathcal F U_i 的像中；但 g 本身不一定在 mathcal F U 的像中。這種現象的一個具體例子是全純函式層與非零全純函式間的指數對映 mathcal O stackrel exp to mathcal Otimes 這對映是滿態射，相當於說，任意非零全純函式 g（如在某 C 的開子集上）允許區域性的複對數，即將 g 限制到適當的開子集後，有複對數。不過 g 不一定有全域性對數。 層上同調捕捉到了這一現象：對阿貝爾群層正合序列 0 to mathcal F_1 to mathcal F_2 to mathcal F_3 to 0 （即滿態射 mathcal F_2 to mathcal F_3，核是 mathcal F_1），有長正合序列 0 to Gamma U mathcal F_1 to Gamma U mathcal F_2 to Gamma U mathcal F_3 to H1 U mathcal F_1 to H1 U mathcal F_2 to H1 U mathcal F_3 to H2 U mathcal F_1 to dots 透過序列，第一上同調群 H1 U mathcal F_1 是 mathcal F_2 mathcal F_3 截面之間對映的非滿射性的度量。 有幾種不同方法構造層上同調。將其定義為 Gamma 的匯出函子，這方法在理論上很令人滿意，但由於基於單射消解，在具體計算中用處不大。Godement 消解是另一種通用但實際無法使用的方法。 計算層上同調 特別是在流形上的層的背景下，層上同調通常可由軟層、細層和弛層的消解來計算。例如，單位分解表明，流形上的光滑函式層是軟的。更高階上同調群 Hi U mathcal F i 0 對軟層為零，這就提供了計算其他層的上同調的方法，例如德拉姆復形是任何光滑流形上的常層 underline mathbf R 的消解，於是 underline mathbf R 的層上同調等於其德拉姆上同調。 另一種方法是切赫上同調，是第一個為層發展的上同調論，非常適合具體計算，如計算復射影空間 mathbb Pn 的凝聚層上同調。Hartshorne 1977 Theorem III51 其將空間開子集上的截面同空間上的上同調類聯絡起來。切赫上同調與匯出函子上同調往往能算出相同的上同調群，但對某些病態空間，切赫上同調能給出正確的 H1，而給出錯誤的更高階上同調群。為解決這問題，讓 路易韋迪耶提出了超覆疊，不僅能給出正確的高階上同調群，還允許用來自另一空間的某些態射替換上述開子集。這種靈活性在部分應用中非常有必要，如皮埃爾德利涅的混合霍奇結構構造。 很多其他凝聚層上同調群存在於空間 X 嵌入已知上同調的空間（如 mathbb Pn 或一些加權射影空間）iX hookrightarrow Y 找到的。這樣，這些環境空間上的已知的層上同調群可與層 i_mathcal F 相關聯，給出 Hi Yi_mathcal F cong Hi Xmathcal F。例如，計算射影面曲線的凝聚層上同調就很容易。這空間中的一個重要定理是用與層上同調群相關的譜序列找到的霍奇分解，是德利涅證明的。本質上，E_1 頁的項 E_1pq Hp XOmegaq_X 是光滑射影簇 X 的層上同調的退化，即 E_1 E_infty。這給出了上同調群上的正規霍奇結構 Hk Xmathbb C。後來發現，這些上同調群很容易用格里菲斯留數計算，見雅可比理想。這類定理引出了關於代數簇上同調的最深刻的定理之一 分解定理，為混合霍奇模奠定了基礎。 計算某些上同調群的另一種簡便方法是博雷爾韋伊博特定理，將一些標誌流形上的線叢的上同調群與李群的不可約表示聯絡起來。比如說，這定理可用來輕鬆計算射影空間和格拉斯曼流形上所有線叢的上同調群。 很多時候，層有一種對偶理論，推廣了龐加萊對偶性。見凝聚對偶性與韋迪耶對偶性。 層的匯出範疇 （舉例來說，某空間 X 上阿貝爾群的）層範疇的匯出範疇可記作 D X，是層上同調概念的避風港，因為有以下關係： Hn X mathcal F operatorname Hom_D Xmathbf Z mathcal F n f1 是 f_ 的左伴隨（已經在阿貝爾群層的級別），給出了伴隨 f1 D Y rightleftarrows D X R f_ for f X to Y 其中 Rf_ 是匯出函子。後一個函子包含了層上同調的概念，因為 Hn X mathcal F Rn f_ mathcal F for f X to 與 f_ 相似，也可推匯出具有緊支撐集的直像 f_。根據下面的同構，R f_ F 引數化了 f 的纖維的具有緊支撐集的上同調： Ri f_ F_y Hi_c f1y F 這同構是基變換定理的一例。還有伴隨 Rf_ D X rightleftarrows D Y f 不同於上述所有函子，扭（或特殊）反像函子 f 一般只定義在派生範疇的層級上，即函子不是阿貝爾範疇間的某函子的匯出函子。若 f X to ，X 是 n 維光滑有向流形，則 f underline mathbf R cong underline mathbf R n 這種計算，以及函子與對偶性的相容性（見韋迪耶對偶性）蘊含著對龐加萊對偶性的高深見解。在概形上的準凝聚層中，有類似的對偶性，稱作凝聚對偶性。 錯致層是 D X 中的某些物件，即復層（但一般不是真（proper）層），是研究奇點幾何的重要工具。 凝聚層的匯出範疇與格羅滕迪克群 層匯出範疇的另一重要應用是概形 X 上凝聚層的匯出範疇，記作 D_CohX。格羅滕迪克在研究相交理論時使用了匯出範疇與 K 理論，即子概形 Y_1 Y_2 的交積在 K 理論中表示為 Y_1cdot Y_2 mathcal O_Y_1otimes_mathcal O_Xmathbf Lmathcal O_Y_2 in K text Coh X 其中 mathcal O_Y_i 是凝聚層，由其結構層給出的 mathcal O_X 模定義。 景與意象（拓撲斯） 安德烈韋伊的韋伊猜想認為，有限域上的代數簇有一種上同調論，可給出黎曼猜想的類似理論。複流形的上同調可定義為歐氏拓撲中區域性常層 underline mathbf C 的層上同調，這意味著將正示性的韋伊上同調論定義為常層的層上同調。但是，這樣的簇上唯一的經典拓撲是扎里斯基拓撲，其開集非常少，以至於不可約簇上任何扎里斯基常層的上同調都為零。亞歷山大格羅滕迪克透過引入格羅滕迪克拓撲解決了這問題，其公理化了 覆疊 的概念。格羅滕迪克的獨到見解是，層的定義只取決於拓撲空間的開集，而非單個點。公理化了覆疊的概念，就可以把開集換成其他物件。預層可把每個物件作為資料，而層就是在新覆疊概念下滿足粘合公理的預層。這使得格羅滕迪克能定義平展上同調和ℓ進上同調，最終用於證明韋伊猜想。 具有格羅滕迪克拓撲的範疇叫做景（site）。景上的層範疇稱作意象（topos，或音譯拓撲斯）或格羅滕迪克意象。意象的概念後來被 William Lawvere 和 Miles Tierney 抽象化，以定義基本意向，與數理邏輯有關。 歷史 層論最初的起源很難確認 它們可能和解析延拓的思想共存。可以識別的獨立的層論才從上同調的基礎工作中出現大約花了 15 年的時間。 1936 年愛德華切赫引入神經（Nerve）構造，以將一個單純復形關聯到一個開覆蓋。 1938 年 Hassler Whitney 給出上同調的一個 現代 定義，歸納了自 J W Alexander 和 Kolmogorov 首次定義餘鏈（cochain）以來的工作。 1943 年諾曼斯廷羅德發表了關於帶區域性係數的同調類的工作。 1945 年讓勒雷發表了作為 POW 進行的工作，由應用到偏微分方程理論的不動點定理的證明作為其動機；它是層論和譜序列的開始。 1947 年昂利嘉當在和安德烈韋伊的通訊中用層的方法重新證明了德拉姆定理。勒雷在他的課程中透過閉集（後來的殼（carapaces） 給了一個層的定義。 1948 年嘉當研討班首次寫下層論 1950 年嘉當研討班的層論 第二版 使用了層空間（éspace étalé，平展空間）的定義，採用莖方面的結構。支集和有支集的上同調被引入。連續對映導致了譜序列。同時岡潔在多復變數中引入和理想的層相似的思想。 1951 年嘉當研討班基於岡潔的工作證明了定理 A 和 B。 1953 年凝聚層的有限性定理在解析理論中由卡當和塞爾證明，塞爾對偶性也得到了證明。 1954 年塞爾的論文 Faisceaux algébriques cohérents（發表於 1955 年）把層引入代數幾何。這些思想很快為 Hirzebruch 所採用，他在 1956 年寫了一本拓撲方法的重要著作。 1955 年格羅滕迪克在堪薩斯的講演中定義了可交換範疇和預層，然後使用內射分解（injective resolution）使得層上同調可以在所有拓撲空間作為導函子直接使用。 1956 年扎里斯基（Oscar Zariski）的報告代數層論，第二個夏季學院的科學報告：多復變數 1954 年，Boulder Col 第三部，美國數學學會公告，t 62 1956 年，117141 頁 1957 年格羅滕迪克的 Tohoku 論文重寫了同調代數；他證明了格羅滕迪克對偶性（也即，對於可能有奇點的代數簇的塞爾對偶性）。 1958 年 Godement 關於層論的著作出版。大約同一時間佐藤幹夫建議了他的超函式，它具有層論的本質。 1957 年以後：格羅滕迪克按照代數幾何的需要擴充套件了層論，引入：概形和其上的一般層，區域性上同調，匯出範疇（derived category，與 Verdier 的共同工作，以及格羅滕迪克拓撲。也出現了他極有影響的同調代數的 六操作 的概形思想。 至此，層成為數學的一個主流部分，其應用根本不侷限於代數拓撲。後來層範疇的邏輯被發現是直覺邏輯（該發現現在經常被稱為 KripkeJoyal 語義，但可能應該歸功於一系列作者）。這表明層論的某些方面甚至可以追述到萊布尼茲。 參看 束 數學 堆 範疇論 腳註 參考文獻 oriented towards conventional topological applications updated edition of a classic using enough sheaf theory to show its power advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces category theory and toposes emphasised concise lecture notes pedagogic treatment introductory book with open access C C C C C