疊 (數學)

疊（Stack）或2層（2-sheaf）是在範疇而非集合上取值的層。疊用於形式化下降理論的一些主要構造，以及在不存在精細模空間時構造精細模疊。
下降理論關注的是同構、相容幾何對象（如拓撲空間上的向量叢）可在拓撲基的限制之下“粘合在一起”的情形的推廣。在更一般的情景中，限制推廣為拉回；纖維範疇是討論這種粘合的可能性的良好框架。疊的直觀含義是“所有粘合都有效”的纖維範疇。要說明粘合，就要定義能考慮粘合的覆蓋；事實證明，描述覆蓋的通用語言就是格羅滕迪克拓撲。因此，形式化地說，疊是另一個基範疇上的纖維範疇，前者具備格羅滕迪克拓撲，後者滿足的公理確保一部分粘合對格羅滕迪克拓撲的存在性與唯一性。

**概述**
疊是代數疊（也稱作阿廷疊）和德利涅-芒福德疊的基礎結構，推廣了概形與代數空間，十分有助於模空間研究。其包含關係是：概形 ⊆ 代數空間 ⊆ 德利涅–芒福德疊 ⊆ 代數疊（阿廷疊） ⊆ 疊。2003、2001簡要介紹了疊，2001、2007、2005做了更詳細的介紹，2000描述了更高級的理論。

**動機與歷史**
疊概念源於1959對有效下降數據的定義。
格羅滕迪克在1959年給塞爾的一封信中指出，構建良好模空間的一個基本障礙是自同構的存在。若某問題的模空間由於有自同構而不存在，那麼仍有可能構造一個模疊。
在疊有正式定義之前就研究了橢圓曲線的模疊的皮卡第群。第一個疊的定義見於year2=1971，“疊”（stack）由1969引入，取代原法語的champ“場、域”。論文中，他們還引入了德利涅–芒福德疊,，他們稱之為“代數疊”，不過這個術語現在一般指year=1974提出的阿廷疊。
在用群作用定義概形之商時，可以發現概形與商的理想屬性往往不可能共存。例如，若幾個點有非平凡的穩定器，那麼範疇商不會在概形中，而會作為疊存在。
同樣地，曲線、向量叢及其他幾何對象的模空間通常最好定義為疊而非概形。模空間的構造一般是先構造能參數化問題對象的大空間，再用群作用取商，以考慮具有自同構的對象，它們被重複計算了。

**定義**

**抽象疊**
有範疇c及到範疇C的函子，若對C中任意態射、c中任意對象y（在函子下都有像Y）都有y對F的回拉，則函子與範疇c統稱為C上的纖維範疇。這意味著，具有像F的態射使任意像為的態射可通過c中的唯一態射分解為，使函子從h映射到H。元素稱作y沿F的拉回，在規範同構意義上是唯一的。
若範疇c在C上纖維化，且對任意U、C的對象以及c中像為U的對象x、y，從上範疇C/U到集合的函子，取到是層，則範疇c稱作前疊。這一術語與層理論中的並不一致：前疊是分離的前層的類似物，而非前層。有人認為，這是疊而非前疊的性質。
若範疇c是C上的前疊，且每個下降數據（descent datum）都有效，則稱範疇c是範疇C上具有格羅滕迪克拓撲的疊。下降數據大致包括：C中對象V被一族Vi覆蓋，纖維元素xi在Vi上，且xi、xj限制間的態射fji到達，並滿足相容條件。若元素本質上是元素x的拉回，且x的像為V，則稱下降數據有效。
若疊在廣群也纖維化，即其纖維（C的對象的逆像）是廣群，則稱之為廣群疊或 (2,1)層 。有人用“疊”指更具限制性的廣群疊。

**代數疊**
代數疊或阿廷疊是廣群X中、fppf址上的疊，使X的對角映射是可表示的，且存在從某概形（與疊相關聯）到X的光滑滿射。若對從某概形（與疊相關聯）到X的每個態射，纖維積同構於（與疊相關聯的）代數空間，則稱疊的態射是可表示的。疊的纖維積由一般的泛性質定義，並將圖交換的要求改為2交換。
對角可表示性背後的動機是：對角態射是可表示的，當且僅當對代數空間任意一對態射，其纖維積可表示。
德利涅–芒福德疊是代數疊X，使概形到X的平展滿射存在。粗略地說，德利涅-芒福德疊可看作是對象沒有無窮小自同構的代數疊。

**代數疊的局部結構**
自代數疊誕生以來，人們就期望它們是形式為的局部商疊，其中是線性約化代數群。最近證明了這一點給定在代數閉域k上有限類的擬分離的局部代數疊，其穩定子為仿射，且是光滑閉點，有線性約化穩定子群，其中存在GIT商的平展覆蓋，當中，使得圖是笛卡爾的，並存在平展態射在、處引起穩定子群的同構。

**例子**

**基本例子**
從具有格羅滕迪克拓撲的範疇C出發的每個層可規範地轉變為疊。對於對象，而非集合，有以的元素為對象的廣群，箭頭為恆等態射。
*更具體地說，令為反變函子

則它決定了下面的範疇
# 對象是一對，包含概形與元素
# 態射包含態射使得。
通過遺忘函子，範疇H是上的纖維範疇。例如。若X是中的概形，則它就決定了反變函子，對應的纖維範疇就是與X相關的疊。疊（或前疊）可視為這種構造的變體的結果。事實上，任何具有準緊對角的概形都是與概形X相關聯的代數疊。

**對象的疊**
群疊。
*向量叢的模疊：向量叢的範疇是拓撲空間範疇S上的疊。到的態射包含、的連續映射（在纖維上線性），這樣有明顯的平方交換。之所以說這是纖維範疇，是因為可在拓撲空間的連續映射上取向量叢的回拉；而之所以說下降數據是有效的，是因為可通過粘合開覆蓋的元素上的向量叢，以構造空間上的向量叢。
*概形上準相干層的疊（關於fpqc拓撲和更弱的拓撲）
*基概形上仿射概形的疊（同樣關於fpqc拓撲和更弱的拓撲）

**疊構造**

**疊商**
若是概形、G是作用於X的光滑仿射群概形，則有商代數疊，將概形帶到S-概形Y上的G扭子的廣群，當中G等變映射到X。明確地說，給定具有G作用的空間X，就形成疊，（直觀地說）其將空間Y送到回拉圖的廣群，其中是空間的G等變態射，是主G叢。此範疇中的態射只是圖的態射，右側箭頭相等，左側箭頭為主G叢的態射。

**分類疊**
X為點是特殊情形給出了光滑仿射群概形G的分類疊BG：這樣命名是因為範疇（Y上的纖維）正是Y上主G叢的範疇。
注意本身可視作疊，即Y上主G叢的模疊。
這個構造的一個重要子例是，其是主叢的模疊。由於主叢的數據等同於n秩向量叢的數據，這與n秩向量叢的模疊同構。

**= 線叢的模疊 =**
線叢的模疊是，因為每個線叢都與一個主叢規範同構。事實上，給定概形S上的線叢L，相對的spec給出了一個幾何線叢。去掉零段的像，就得到了主叢。反過來，可以從表示重建相關聯的線叢。

**束（Gerbe）**
束（Gerbe）是廣群中的疊，總有非空範疇。例如對群G，給每個概形分配概形上主G叢的廣群的平凡束。

**相對spec & proj**
若A是概形S上的代數疊X中的準相干代數層，則有疊Spec(A)，其推廣了交換環A的譜Spec(A)的構造。Spec(A)的對象由S概形T、的對象x、從到T的座標環的代數層的態射給出。
若A是概形S上的代數疊X中的分次代數的準相干層，則有疊Proj(A)，其推廣了分次環A的射影概形Proj(A)的構造。

**模疊**

**曲線的模**
1965研究了橢圓曲線的模疊M1,1，並證明其皮卡第群是12階循環群。對複數上的橢圓曲線，對應的疊相似於上半平面對模群作用的商。
*代數曲線的模空間定義為給定虧格g的光滑曲線的普遍族，並不作為代數簇出現，因為有些曲線允許非平凡自同構。但有模疊，可以很好代替不存在的光滑虧格g曲線的精細模空間。更一般地說，有n個標記點的虧格‘’g曲線的模疊。一般來說它是代數疊，對或或（即當曲線的自同構群為有限群時）是德利涅-芒福德疊。這一模疊有一個完備化，包含穩定曲線（給定g、n）的模疊，其在Spec Z上是正規（proper）的。例如，是射影一般線性群的分類疊（定義時必須用代數空間而非概形來構造） 。

**孔採維奇模空間**
另一類得到廣泛研究的模空間是孔採維奇模空間，其參數化了虧格固定的曲線與像反映固定上同調類的空間X之間的固定映射的空間。這些模空間表示為並可能有不受控制的行為，如成為分量的維數不相等的可約疊。例如，模疊有由開子集參數化的光滑曲線。在模空間邊界上，曲線可能退化為可約曲線，存在參數化可約曲線的子疊，其0虧格分量和1虧格分量交於一點，映射將1虧格曲線送到一點。由於所有這樣的1虧格曲線都由U參數化，且曲線在1虧格曲線的何處相交又有1維選擇，因此邊界分量的維度為10。

**其他模疊**
 皮卡德疊推廣了皮卡德簇。- 形式化群法則的模疊分類了形式化群法則。- 諸如有限射影空間、形式概形之類的ind概形是疊。- F-層的模疊用於幾何朗蘭茲綱領。

**幾何疊**

**加權射影疊**
構建加權射影空間要取某對作用的商簇。特別地，作用將元組而此作用的商給出加權射影空間。由於這可看做是疊商，加權射影疊30是取線叢中加權多項式的趨零軌道，可得疊加權射影簇。

**疊曲線**
疊曲線或軌線（orbicurve）可通過取曲線態射對一般點上的覆蓋的單值群的疊商來構造。例如，取（通常是平展的）射影態射域對的疊商給出帶疊點的，其在表的第5個單位根處具有穩定群。這是因為這些點是覆蓋的分歧點。date=June 2017

**非仿射疊**
非仿射疊的例子如有兩個疊原點的半線。其可構造為的兩個包含的上極限。

**代數疊上的準相干層**
在代數疊上可構造一個準相干層範疇，類似於概形上的準相干層範疇。
準相干層大致是指局部看起來像環上的模層。第一個問題是明確“局部”：這涉及格羅滕迪克拓撲的選擇，有許多選擇，都有不能讓人完全滿意的問題。格羅滕迪克拓撲應足夠強大，使疊在其中局部仿射：概形在扎里斯基拓撲中局部仿射，因此它對概形來說是好選擇。塞爾發現代數空間和德利涅-芒福德疊在平展拓撲中是局部仿射的，因此通常用平展拓撲來處理它們，而代數疊在光滑拓撲中是局部仿射的，因此這時可用光滑拓撲。對於普通的代數疊，平展拓撲沒有足夠的開集：如若G是光滑連通群，則分類疊BG的唯一平展覆蓋就是各份BG的聯合，不足以給出正確的準相干層理論。
一般不把光滑拓撲用於代數疊，而是用其修正，即光滑平展拓撲（Lis-Et拓撲），具有與光滑拓撲相同的開集，但開覆蓋由平展給出，而非光滑映射。這通常似乎會導致一個等價的準相干層範疇，但更易使用：例如，它更容易與代數空間上的平展拓撲相比較。光滑平展拓撲有個微妙的技術問題：疊之間的態射一般不會給出對應拓撲斯之間的態射。（問題在於，雖然可據拓撲斯的幾何態射的需要，構造一對伴隨函子f*, f*，但f*在一般情況下並不精確。這個問題在論文和書籍中造成了很多錯誤。）這意味著，在疊態射下構造準相干層的拉回需要額外努力。
用更精細的拓撲也是可能的。大多數合理的“足夠大”的格羅滕迪克拓撲似乎都能引出等價的準相干層範疇，但拓撲越大就越難處理，所以只要有夠多的開集，人們會更傾向於用較小的拓撲。例如，大fppf拓撲與光滑平展拓撲引出的準相干層範疇基本相同，但有個微妙的問題：拓撲中，準相干層到模的自然嵌入並不精確（一般不保核）。

**其他種類的疊**
微分疊與拓撲疊的定義與代數疊類似，只是仿射概形的底層範疇換成了光滑流形或拓撲空間。
更一般地，可定義n層或n-1疊，大致是一種在n-1個範疇上取值的疊。有幾種不等價的方法可以做到這一點。1層與層相同，2層與疊相同，稱作高階疊。
一個非常相似的推廣是在非離散對象（即空間實際上是代數拓撲中的譜）上發展的疊理論，得到的類疊對象被稱為派生疊（或譜疊）。雅各·盧里正在撰寫的《譜代數幾何》研究了一種推廣，他稱之為譜德利涅–芒福德疊，根據定義是成環∞拓撲斯，在環的平展譜上是局部平展的（這概念包含了派生概形的概念，至少在特徵為0時如此）。

**集合論問題**
疊理論的通常基礎存在一些小的集合論問題，因為疊常被定義為集合範疇的某些函子，因此不是集合。有幾種方法可以解決這個問題：
*使用格羅滕迪克全集：疊是某固定格羅滕迪克全集的類之間的函子，於是類與疊是更大的格羅滕迪克全集中的集合。這種方法的缺點是，必須假設存在足夠多的格羅滕迪克全集，這本質上是個大基數公理。
*將疊定義為秩足夠大的集合間的函子，並仔細記錄所用集合的秩。它的問題是，涉及一些額外的、令人厭煩的標記。
*利用集合論的反射原理，即可以找到ZFC公理的任何有限片段的集合模型，以證明能自動找到與所有集合的全集足夠接近的集合。
*也可以完全忽略這個問題。這是許多學者採用的做法。

**另見**
代數疊
*德利涅–芒福德疊

**腳註**

**參考文獻**

**教學**
archive-date=2008-05-05
*year=1999 is an expository article describing the basics of stacks with examples.
*dead-url=no

**文獻綜述**
 https://maths-people.anu.edu.au/~alperj/papers/stacks-guide.pdf date=20230203171153 - http://stacks.math.columbia.edu/tag/03B0 date=20230106162002 

**參考文獻**
Citation | last1=Artin | first1=Michael | author1-link=Michael Artin | title=Versal deformations and algebraic stacks | doi=10.1007/BF01390174 | mr=0399094  
journal=Inventiones Mathematicae | issn=0020-9910 | volume=27 | issue=3 | pages=165–189| bibcode=1974InMat..27..165A | s2cid=122887093 
*Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | last2=Mumford | first2=David | author2-link=David Mumford | title=The irreducibility of the space of curves of given genus | url=http://www.numdam.org/item?id=PMIHES_1969__36__75_0 | mr=0262240 | year=1969 | journal=Publications Mathématiques de l'IHÉS | volume=36 | issn=1618-1913 | issue=36 | pages=75–109 | doi=10.1007/BF02684599 | citeseerx=10.1.1.589.288 | s2cid=16482150 | accessdate=2023-11-27 | archive-date=2023-08-11 | archive-url=https://web.archive.org/web/20230811120516/http://www.numdam.org/item/?id=PMIHES_1969__36__75_0 | dead-url=no 
*dead-url=no- dead-url=no - s2cid=373638 
*Citation | last1=Laumon | first1=Gérard | last2=Moret-Bailly | first2=Laurent | title=Champs algébriques | publisher=Springer-Verlag | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics | isbn=978-3-540-65761-3 | mr=1771927 | year=2000 | volume=39 Unfortunately this book uses the incorrect assertion  that morphisms of algebraic stacks induce morphisms of lisse-étale topoi. Some of these errors were fixed by 2007.- s2cid=371801 
*dead-url=yes
*dead-url=no
*isbn=978-1470427986- bibcode=2004math.....12512V 

**閱讀更多**

**外部鏈接**
 id=stack- id=descent- dead-url=no- dead-url=no- dead-url=no-  "Good introductory references on algebraic stacks?"