層 (數學)

數學中，層（sheaf，或譯束、捆）是一種系統地追蹤數據的工具。數據附著在拓撲空間的開集上，局部定義於開集本身。例如，數據可以是定義在開集上的連續函數環。這些數據的行為是良好的：可限制在更小的開集中，而且（直觀地說）每個數據都是其組成數據之和。這樣，它們是研究有局部本質的實體的全局行為的自然工具，例如開集，解析函數，流形，等等。
研究層的數學領域叫做層論（sheaf theory）。
從概念上講，層是比較一般、抽象的數學對象，其正確定義是相當技術性的。例如，根據分配給開集的數據類型，可分為集合層、環層等。
相同類型的層之間可以定義映射（或稱態射），這使得（同類型的）層構成了一個範疇。另一方面，每個連續映射都關聯著直像函子（將定義域上的層與態射送到到達域的層與態射）和反像函子（代表相反的運算）。這些函子及其部分變體是層論的重要組成部分。
層由於其普遍性與多功能性，在拓撲學，特別是代數幾何與微分幾何中有多種應用。- 微分流形或概形等的幾何結構可用空間上的環層表示。這時，向量叢與除子等幾何結構都可很自然地用層表示。- 層為非常一般的上同調論提供了框架，其中也包括“通常”的拓撲上同調論，如奇異上同調。特別是在代數幾何與複流形理論中，層上同調為空間的拓撲與幾何屬性提供了有力的聯繫。- 層提供了D模理論的基礎，進而為微分方程理論找到了應用。- 可將層推廣到比拓撲空間更一般的場景，如格羅滕迪克拓撲，為數理邏輯和數論提供了應用。

**定義與例子**
在很多數學分支中，很多定義在拓撲空間X上的結構（如微分流形）可很自然地「局部化」或「限制到」開子集：典型例子如連續實值或複值函數、n次可微函數、有界實值函數、向量場、空間上任意向量叢的截面等等。將數據限制在更小開子集上的能力產生了預層（presheaf）的概念，粗略地說就是局部數據可粘合到全局數據。

**預層**
設X為拓撲空間，C是範疇（常是集合範疇、交換群範疇、交換環範疇，或固定的環上的模範疇)。C中的物件在空間X上的預層（presheaf）  由如下數據給出：- 對每個開子集，  給出一個C中的物件  ，也記作 。這個物件稱作  在  上的截面（section），  在  上的截面稱作  的全局截面（global section）。- 對於每個開集之間的包含關係，有範疇C中的一個態射，稱為限制態射。若，則常類比以函數限制的寫法，記作。限制態射滿足以下兩點性質：
** 對於X中每個開集U，我們有，也即，從U到U的限制是F(U)上的恆等態射。
** 給定任何三個開集，有，即從U到V再到W的限制和從U直接到W的限制相同。
預層的很多例子來自不同類函數：對任意U，可給其上的連續實值函數集分配限制映射，限制映射就是將U上的連續函數限制到開子集V，且又是連續函數。兩條預層公理立即得到檢驗，從而給出預層例子。這可以擴展成全純函數層與光滑函數層。
另一類常見例子是將U上的常實值函數集分配給U，這個預層也叫做關聯於的常預層，記作。
這個定義可以用範疇論的術語很自然的表達。首先我們定義X上的開集的範疇為範疇，其對象是X的開集而其態射為包含映射。就成了和X的開子集上的偏序⊂相關的範疇。X上的C預層就是從到C的反變函子。

**層**
給定預層，很自然的問題是，它在開集U上的截面在多大程度上由到U開子集的限制決定。確切地講，預層的截面由限制條件唯一決定時，即成為層。
層是滿足以下兩條公理的預層：
# （局部性：）假設U是開集，是U的開覆蓋，滿足，且是截面。，則。
# （粘合性：）假設U是開集，是U的開覆蓋，滿足，且是一族截面。若所有截面對都與其定義域的重合一致，即若，則存在截面使。
兩個公理中，關於開覆蓋的假設等價於假設。
公理2保證存在的截面s稱作截面的粘合（gluing）、連接（concatenation）或整理（collation）。據公理1，是唯一的。滿足公理2的一致前提的截面常稱作相容（compatible），於是公理1、2共同說明：任何成對相容截面的集合都可唯一地粘合起來。分離預層（separated presheaf）或單預層（monopresheaf）是滿足公理1的預層。
上述由連續函數組成的預層是層。這簡化為檢驗給定連續函數（在交上一致）是否有唯一的連續函數，其限制等於。相比之下，常預層常常不是層，因為不滿足空集上的局部性公理。
預層和層一般用大寫字母表示，F尤為常見，應為法語表示“層”的faisceau的首字母。花體字母也常見，如。
可以證明，要指定一個層，只需指定其對底空間拓撲基開集的限制即可。此外，還可證明，只要驗證覆蓋的開集是否符合層公理即可。這個觀察用來構造代數幾何中十分重要的準凝聚層。這裡所說的拓撲空間是交換環R的譜，其點是R中的素理想p。開集構成了空間上的扎里斯基拓撲的基。給定R基M，Spec R上有層，滿足
是M在f的局部化。
還有一種與前述等價的層表示。當且僅當對任意開U、U的任意開覆蓋，都有是纖維積時，預層是層。這在構造層時特別有用，例如若是阿貝爾層，則層態射的核也是層，因為射影極限與射影極限可交換。上核不總是層，因為誘導極限不一定與射影極限可交換。一種解決方法是考慮諾特拓撲空間：開集都緊，由於有限射影極限與誘導極限可交換，所以上核是層了。

**更多例子**
 任何纖維叢產生一個集合的層，通過取截面就可以得到。- 賦環空間是有賦交換環層的空間；特別重要的有局部賦環空間，其中每個莖（參看下面）是局部環。- 概形是特殊的局部賦環空間，在代數幾何中很重要；模的層在相關理論中很重要。

**連續映射的截面層**
拓撲空間的任何連續映射決定了X上的層，方法是置

這樣的s一般叫做f的截面，這個例子也就是中的元素通常叫截面的原因。當f是纖維叢在基空間上的投影時，這種構造尤為重要。例如，光滑函數層是平凡叢截面層。另一例：

的截面層是U上覆對數的分支集合分配給任意U的層。
給定一個點x與阿貝爾群S，摩天層（skyscraper sheaf）的定義如下：若U是含x的開集，則；否則，是平凡群。若開集都包含x，則限制映射是S上的恆等映射，否則是零映射。

**流形上的層**
n維流形M上，有很多重要的層，如j階連續可微函數層。它在某開U上的截面是函數。對，這個層稱為結構層，記作。非零函數也形成一個層，記作。（度為p的）微分形式也形成層。所有例子中，限制態射都由限制函數或形式給出。
將U分配到U上的緊支持函數不是層，因為一般沒法傳遞到更小開子集後仍保留這性質。相反，這形成了上層的對偶概念，其中限制映射的方向與層相反。然而，從這些向量空間的對偶空間中確實可得到一個層，即分佈層。

**不是層的預層**
除了上述常預層外，還有很多不是層的預層：- 令X是離散兩點空間，具有離散拓撲。定義預層F：
限制映射是在第一座標的投影，限制映射是在第二座標的投影。F是不分離的預層：全局截面由3個數確定，但截面在上的值則只決定了其中2個數字。因此，雖然可將上的任意兩截面粘在一起，但沒有唯一的粘合。- 令為實線，並令為U上的有界連續函數集。這不是層，因為不總可粘合。例如，令。恆等函數在每個上都有界，因此我們得到上的截面。然而，由於函數f在實線上無界，所以這些截面並不粘合。於是F是預層，但不是層。其實，F是分離的，因為是連續函數層的子預層。

**復解析空間和代數幾何的動機**
層的歷史動機之一來自研究複流形、復解析幾何與代數幾何中的概形論。這是因為在前面的所有情形中，我們考慮的都是拓撲空間X及賦予其複流形、復解析空間或概形結構的結構層。這種為拓撲空間配備層的觀點對局部賦環空間理論至關重要（下詳）。

**複流形的技術挑戰**
引入層的主要歷史動機之一，是構造一種跟蹤複流形上全純函數的結構。例如，緊複流形X（如復射影空間或齊次多項式射影空間的趨零軌跡）上，唯一的全純函數是是常函數。這意味著存在2個不同構的緊複流形，全局全純函數環則同構。這與光滑流形相反，當中每個流形M都可嵌入，於是其光滑函數環來自於對光滑函數的限制。考慮複流形X上的全純函數環的另一個複雜性在於，給定足夠小的開集，全純函數將同構於。層是處理這種複雜性的直接工具，因為層能跟蹤任意開子集上X的底拓撲空間的全純結構。這意味著，隨著U變得越來越複雜，環可通過粘合表達。注意，當要強調結構層所關聯的空間時，有時這個層被表示為或只是、。

**用層追蹤子流形**
另一個常見的層的例子見於復子流形。有相關層，取開子集，並給出上的全純函數環。這種形式化非常強大，激發了很多同調代數，如層上同調，因為相交理論可用這類層從塞爾相交公式中建立起來。

**層的運算**

**態射**
令F和G為X上兩個層，都在範疇C中取值。我們定義從G到F的態射為一族在範疇C內對於所有在X中的開U的態射，它們和限制映射可交換。也就是，下面的圖必須可交換
File:SheafMorphism-01.png
對於X中的每一對開集。若F和G視為的反變函子，則它們之間的態射不過就是自然變換。採用這個定義，所有X上的C-值層構成一個範疇（一個函子範疇）。X上的層的一個同構就是這個範疇裡的一個同構。
可以把這個概念推廣到不同空間上的層之間的態射。令為一個兩個拓撲空間之間的連續函數，並令F為X上的層且G為Y上的層，二者都在C中取值。那麼從G到F的相對於f的態射為一族態射varphi_U:\ G(U)\to F(f^{-1}(U))對於Y中每個開集U，使得圖
File:SheafMorphism-02.png
對於Y中每一對開集可交換。前面的定義是f是X上的恆等映射時的特殊情況。
在一般情況中範疇理論的表述稍微複雜一點。令Top為從拓撲空間範疇Top到小范疇範疇Cat的反變函子，它把每個拓撲空間X映到其開集的偏序集範疇。這裡是反變函子，把每個開集映到它的原象。把F和Top(f)複合，得到的反變函子。一個從G到F相對於f的態射就是的自然變換。
注意上面所有這些對於預層也成立。

**層的莖**
層的莖（stalk）捕捉了層在點“周圍”的性質，推廣了函數的芽（germ）。此處的“周圍”是說要觀察點附近越來越小的鄰域。沒有足夠小的鄰域時，就要考慮某種極限，更確切地說莖的定義是

有向極限（direct limit，用範疇論術語，這是一個餘極限（colimit）的例子）是包含給定點x的X的所有開子集。即，莖的一個元素由x的某開鄰域上的截面給出。兩個這樣的截面的限制若在更小的鄰域上一致，則視作等價。
自然態射將中的截面x發送到x處的芽，推廣了芽的通常定義。
很多時候，知道了層的莖就足以控制層。例如，從莖就能判斷層的態射是單射、滿射還是同構，這樣來看層是由莖（局部數據）決定的；相對地，全局截面（整個空間X上的截面）攜帶的全局信息通常就少些，例如對緊複流形X，全純函數層的全局截面就只是，因為任何全純函數

由劉維爾定理都是常值的。

**將預層變為層**
預層數據取出、表示為層總是很有用。事實證明，取預層F再產生新層aF總有最好的方法，稱作層化（sheafification）或取與預層相關聯的層F，如常預層（上詳）的層化稱作常層（constant sheaf）。不過，其截面是局部常值函數。
層可用F的平展空間構造，即作為映射

的截面層。另一種構造是通過預層到預層的函子L，漸進地改進預層的性質：對任意預層F，是分離預層；對任意分離預層F，是層。相關層由給出。
層是對預層F的最佳近似，下列泛性質使其變得更精確：有預層的自然態射，使得對任意層G、任意預層態射，都有唯一的層態射使。其實a是從層範疇到預層範疇的包含函子（或遺忘函子）的左伴隨函子，i是伴隨的單位。這樣，層範疇變為預層的Giraud子範疇。這就是為什麼在構造層態射或層張量積的上核時會出現層化函子，而非在構造核時出現。

**子層、商層**
若K是阿貝爾群的層F的子層，則商層Q是與預層相聯繫的層；即，商層符合阿貝爾群層的正合序列（exact sequence）：

（這也稱作層擴張。）
令為阿貝爾群層。層F到G的態射的集合形成阿貝爾群（由G的阿貝爾群結構決定）。則，F與G的層同態記作

是阿貝爾群層，其中是給出的U上的層（此處不需層化）。F、G的直和是給出的層，F、G的張量積是與預層相關聯的層。
所有運算都可擴張到環層A上的模層；A是常層時，以上是特殊情形。

**基本泛函性**
由於（預）層的數據取決於基空間的開子集，不同拓撲空間上的層彼此無關，即之間沒有態射。不過，給定兩拓撲空間之間的連續映射，則前推和拉回將X上的層和Y上的層聯繫起來，反之亦然。

**直像**
層在X上的前推（也稱作直像）是層

其中V是Y的開子集，因此根據f的連續性，其預像在X中是開的。
這構造恢復了上述摩天層：
 
其中是包含，而S被視作單元集上的層（由）。
對於局部緊空間之間的映射，有緊支撐集的直像是直像的子層。由定義，包含支撐集為V上的緊合映射的。若f自身緊合，則，但一般不一致。

**逆像**
拉回或逆像則相反，在X上從Y上的層產生層。若f是開子集的包含，則逆像只是一個限制，即對開的，由給出。現有某空間X，如對一些開子集，且F的限制對所有開子集為常值，則層F是局部常層。在很多拓撲空間X上，這種層等價於基本群的表示。
對一般映射f而言，的定義更復雜，在逆像函子處很詳細。從自然識別的角度來看，莖是拉回中的基本特例，其中i如上：

更一般地說，莖滿足

**零擴張**
對開子集的包含，U上阿貝爾群層的零擴張的定義是
，若，否則。
對X上的層，這構造在某種意義上是的補充，其中i是U之補的包含：
，否則莖為零；而
，否則等於。
因此，這些函子十分利於將X的層理論問題簡化為分層問題（即將X分解為更小的局部閉子集）。

**補**

**更一般範疇中的層**
上述（預）層的只是集合，很多時候跟蹤界面上的附加結構也很重要。例如，連續函數層的截面自然形成了實向量空間，限制是其間的線性映射。
在任意範疇C中取值的預層是這樣定義的：將X上的開集範疇視作偏序範疇，其對象是X的開集，態射是包含。則，X上的C值預層等同於的反變函子。這函子範疇中的態射（也稱作自然變換）與上面定義的態射相同，由定義自明。
若目標範疇C允許所有極限，則對任意開集U的每個開覆蓋，若下圖是等化子，則C值預層是層：

其中第一個映射是下面的限制映射之積：

那對箭頭是兩組限制集之積：

及

若C是阿貝爾範疇，則這條件也可改寫為要求有正合序列

這層條件的特殊情形是：U是空集，索引集I也是空集。這時層條件要求是C中的終對象。

**賦環空間與模層**
在代數幾何與微分幾何等學科中，空間伴隨著環的自然層，常稱作結構層，記作。這樣的對子稱作賦環空間。很多種空間都可定義為某種賦環空間。通常，結構層的所有莖都是局部環，這時稱作局部賦環空間。

例如，n維流形M是局部賦環空間，其結構層包含M的開子集上的函數。局部賦環空間的性質，意味著x點非零的函數在x的足夠小的開鄰域上也非零。有人將實（或復）流形定義為局部賦環空間，且局部同構於（或）的開子集及（或全純）函數的層組成的對子。相似地，代數幾何的基礎空間概念——概形，是與環的譜局部同構的局部賦環空間。
給定賦環空間，模層是層，使對開集是模；對每個開集的包含，限制映射與限制映射相容：，對fs的限制是f的限制乘以s的限制。
最重要的幾何對象是模的層。例如，向量叢與模的局部自由層間存在一一對應關係。這範式適用於實向量叢、復向量叢和代數幾何中的向量叢（其中分別包含光滑函數、全純函數與正規函數）。微分方程解的層是D模，即微分算子層上的模。在任何拓撲空間上，常層上的模都與上述意義的阿貝爾群層是一樣的。
對環層的模層，有個不尋常的逆像函子，通常記作，與不同。

**模層的有限性條件**
交換環上模的有限性條件也會引起類似的模層的有限性條件：若對每個點，存在x的開鄰域U、自然數n（可能取決於U）及層的滿射，則稱作有限生成；若滿射是（m也是自然數），則稱作有限表示。與凝聚模的概念相似，若是有限類，且對每個開集U、每個層態射（不必是滿射），的核也是有限類，則稱是凝聚層。若作為自身上的模是凝聚的，則也是凝聚的。與模類似，凝聚一般是個嚴格強於有限表示的條件。岡凝聚定理指出，複流形上全純函數層是凝聚的。

**層的平展空間**
上面的例子中可以觀察到，有些層是以截面層的形式自然出現的。實際上，集合的所有層都可表為拓撲空間的截面層，前者即是平展空間。
層論發展的早期，就證明了給定層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固定、層被視為變量的情形中，集合也常表示為
如上所述，這函子並不保留滿態射，層滿態射是具有以下性質的映射：對任意截面，有覆蓋，其中 的開子集，使限制在的像中；但g本身不一定在的像中。這種現象的一個具體例子是全純函數層與非零全純函數間的指數映射

這映射是滿態射，相當於說，任意非零全純函數g（如在某C的開子集上）允許局部的複對數，即將g限制到適當的開子集後，有複對數。不過g不一定有全局對數。
層上同調捕捉到了這一現象：對阿貝爾群層正合序列

（即滿態射，核是），有長正合序列通過序列，第一上同調群是截面之間映射的非滿射性的度量。
有幾種不同方法構造層上同調。1957將其定義為的導出函子，這方法在理論上很令人滿意，但由於基於單射消解，在具體計算中用處不大。Godement消解是另一種通用但實際無法使用的方法。

**計算層上同調**
特別是在流形上的層的背景下，層上同調通常可由軟層、細層和弛層的消解來計算。例如，單位分解表明，流形上的光滑函數層是軟的。更高階上同調群對軟層為零，這就提供了計算其他層的上同調的方法，例如德拉姆復形是任何光滑流形上的常層的消解，於是的層上同調等於其德拉姆上同調。
另一種方法是切赫上同調，是第一個為層發展的上同調論，非常適合具體計算，如計算復射影空間的凝聚層上同調。其將空間開子集上的截面同空間上的上同調類聯繫起來。切赫上同調與導出函子上同調往往能算出相同的上同調群，但對某些病態空間，切赫上同調能給出正確的，而給出錯誤的更高階上同調群。為解決這問題，讓-路易·韋迪耶提出了超覆疊，不僅能給出正確的高階上同調群，還允許用來自另一空間的某些態射替換上述開子集。這種靈活性在部分應用中非常有必要，如皮埃爾·德利涅的混合霍奇結構構造。
很多其他凝聚層上同調群存在於空間X嵌入已知上同調的空間（如或一些加權射影空間）找到的。這樣，這些環境空間上的已知的層上同調群可與層相關聯，給出。例如，計算射影面曲線的凝聚層上同調就很容易。這空間中的一個重要定理是用與層上同調群相關的譜序列找到的霍奇分解，是德利涅證明的。本質上，頁的項是光滑射影簇X的層上同調的退化，即。這給出了上同調群上的正規霍奇結構。後來發現，這些上同調群很容易用格里菲斯留數計算，見雅可比理想。這類定理引出了關於代數簇上同調的最深刻的定理之一——分解定理，為混合霍奇模奠定了基礎。
計算某些上同調群的另一種簡便方法是博雷爾–韋伊–博特定理，將一些標誌流形上的線叢的上同調群與李群的不可約表示聯繫起來。比如說，這定理可用來輕鬆計算射影空間和格拉斯曼流形上所有線叢的上同調群。
很多時候，層有一種對偶理論，推廣了龐加萊對偶性。見凝聚對偶性與韋迪耶對偶性。

**層的導出範疇**
（舉例來說，某空間X上阿貝爾群的）層範疇的導出範疇可記作，是層上同調概念的避風港，因為有以下關係：

是的左伴隨（已經在阿貝爾群層的級別），給出了伴隨
 (for ),
其中是導出函子。後一個函子包含了層上同調的概念，因為 for 
與相似，也可推導出具有緊支撐集的直像。根據下面的同構，參數化了f的纖維的具有緊支撐集的上同調：

這同構是基變換定理的一例。還有伴隨

不同於上述所有函子，扭（或特殊）反像函子一般只定義在派生範疇的層級上，即函子不是阿貝爾範疇間的某函子的導出函子。若，X是n維光滑有向流形，則

這種計算，以及函子與對偶性的相容性（見韋迪耶對偶性）蘊含著對龐加萊對偶性的高深見解。在概形上的準凝聚層中，有類似的對偶性，稱作凝聚對偶性。
錯致層是中的某些對象，即復層（但一般不是真（proper）層），是研究奇點幾何的重要工具。

**凝聚層的導出範疇與格羅滕迪克群**
層導出範疇的另一重要應用是概形X上凝聚層的導出範疇，記作。格羅滕迪克在研究相交理論時使用了導出範疇與K-理論，即子概形的交積在K-理論中表示為其中是凝聚層，由其結構層給出的模定義。

**景與意象（拓撲斯）**
安德烈·韋伊的韋伊猜想認為，有限域上的代數簇有一種上同調論，可給出黎曼猜想的類似理論。複流形的上同調可定義為歐氏拓撲中局部常層的層上同調，這意味著將正示性的韋伊上同調論定義為常層的層上同調。但是，這樣的簇上唯一的經典拓撲是扎里斯基拓撲，其開集非常少，以至於不可約簇上任何扎里斯基常層的上同調都為零。亞歷山大·格羅滕迪克通過引入格羅滕迪克拓撲解決了這問題，其公理化了“覆疊”的概念。格羅滕迪克的獨到見解是，層的定義只取決於拓撲空間的開集，而非單個點。公理化了覆疊的概念，就可以把開集換成其他對象。預層可把每個對象作為數據，而層就是在新覆疊概念下滿足粘合公理的預層。這使得格羅滕迪克能定義平展上同調和ℓ進上同調，最終用於證明韋伊猜想。
具有格羅滕迪克拓撲的範疇叫做景（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年, 117-141頁. 
*1957年格羅滕迪克的Tohoku論文重寫了同調代數；他證明了格羅滕迪克對偶性（也即，對於可能有奇點的代數簇的塞爾對偶性）。
*1958年Godement關於層論的著作出版。大約同一時間佐藤幹夫建議了他的超函數，它具有層論的本質。
*1957年以後：格羅滕迪克按照代數幾何的需要擴展了層論，引入：概形和其上的一般層，局部上同調，導出範疇（derived category，與Verdier的共同工作)，以及格羅滕迪克拓撲。也出現了他極有影響的同調代數的'六操作'的概形思想。
至此，層成為數學的一個主流部分，其應用根本不侷限於代數拓撲。後來層範疇的邏輯被發現是直覺邏輯（該發現現在經常被稱為Kripke-Joyal語義，但可能應該歸功於一系列作者）。這表明層論的某些方面甚至可以追述到萊布尼茲。

**參看**
束 (數學)
*堆 (範疇論)

**腳註**

**參考文獻**
 Citation | last1=Bredon | first1=Glen E. | author1-link = Glen Bredon | title=Sheaf theory | publisher=Springer-Verlag | series=Graduate Texts in Mathematics | isbn=978-0-387-94905-5 | mr=1481706  
volume=170 (oriented towards conventional topological applications)- isbn=2705612521-  doi-access=free -  year=1995 (updated edition of a classic using enough sheaf theory to show its power)- doi=10.1007/978-3-642-82783-9- Citation | last1=Kashiwara | first1=Masaki | author1-link=Masaki Kashiwara | last2=Schapira | first2=Pierre | title=Sheaves on manifolds | publisher=Springer-Verlag | series=Grundlehren der Mathematischen Wissenschaften Fundamental Principles of Mathematical Sciences | isbn=978-3-540-51861-7 | mr=1299726  
volume=292 (advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces)-  year=1994 (category theory and toposes emphasised)- Citation | last1=Martin | first1=William T. | last2=Chern | first2=Shiing-Shen | author2-link=Shiing-Shen Chern | last3=Zariski | first3=Oscar | author3-link=Oscar Zariski | title=Scientific report on the Second Summer Institute, several complex variables | mr=0077995  
journal=Bulletin of the American Mathematical Society | issn=0002-9904 | volume=62 | pages=79–141 | doi=10.1090/S0002-9904-1956-10013-X | issue=2| doi-access=free - doi=10.1090/gsm/065- Citation |author1-link=J. Arthur Seebach |first1=J. Arthur |last1=Seebach |first2=Linda A. |last2=Seebach |author3-link=Lynn A. Steen |first3=Lynn A. |last3=Steen |year=1970 |title=What is a Sheaf |journal=American Mathematical Monthly |volume=77 |issue=7 |pages=681–703  
s2cid=203043621 - Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Faisceaux algébriques cohérents | url=http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | mr=0068874 | year=1955 | journal=Annals of Mathematics | series=Second Series | issn=0003-486X | volume=61 | pages=197–278 | doi=10.2307/1969915 | jstor=1969915 | issue=2 | accessdate=2023-12-16 | archive-date=2011-07-17 | archive-url=https://web.archive.org/web/20110717012046/http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | dead-url=yes - Citation | last1=Swan | first1=Richard G. | author-link=Richard Swan| title=The Theory of Sheaves | publisher=University of Chicago Press| year=1964 |isbn=9780226783291 |series=Chicago lectures in mathematics |edition=3  (concise lecture notes)- Citation | last1=Tennison | first1=Barry R. | title=Sheaf theory | publisher=Cambridge University Press | mr=0404390 | year=1975 | url=https://books.google.com/books?id=JOglpKIw6kIC | isbn=978-0-521-20784-3 | volume=20 | series=London Mathematical Society Lecture Note Series | accessdate=2023-12-16 | archive-date=2023-07-09 | archive-url=https://web.archive.org/web/20230709044525/https://books.google.com/books?id=JOglpKIw6kIC | dead-url=no  (pedagogic treatment)- dead-url=no  (introductory book with open access)