查看“︁叠 (数学)”︁的源代码

'''叠'''（Stack）或'''2层'''（2-sheaf）是在范畴而非集合上取值的[[层 (数学)|层]]。叠用于形式化[[下降理论]]的一些主要构造，以及在不存在精细[[模空间]]时构造精细模叠。

下降理论关注的是[[同构]]、相容几何对象（如[[拓扑空间]]上的[[向量丛]]）可在拓扑基的限制之下“粘合在一起”的情形的推广。在更一般的情景中，限制推广为[[拉回 (范畴论)|拉回]]；[[纤维范畴]]是讨论这种粘合的可能性的良好框架。叠的直观含义是“所有粘合都有效”的纤维范畴。要说明粘合，就要定义能考虑粘合的覆盖；事实证明，描述覆盖的通用语言就是[[格罗滕迪克拓扑]]。因此，形式化地说，叠是另一个基范畴上的纤维范畴，前者具备格罗滕迪克拓扑，后者满足的公理确保一部分粘合对格罗滕迪克拓扑的存在性与唯一性。

==概述==
叠是代数叠（也称作阿廷叠）和德利涅-芒福德叠的基础结构，推广了[[概形]]与[[代数空间]]，十分有助于[[模空间]]研究。其包含关系是：<blockquote>概形 ⊆ 代数空间 ⊆ 德利涅–芒福德叠 ⊆ 代数叠（阿廷叠） ⊆ 叠。</blockquote>{{harvtxt|Edidin|2003}}、{{harvtxt|Fantechi|2001}}简要介绍了叠，{{harvtxt|Gómez|2001}}、{{harvtxt|Olsson|2007}}、{{harvtxt|Vistoli|2005}}做了更详细的介绍，{{harvtxt|Laumon|Moret-Bailly|2000}}描述了更高级的理论。

==动机与历史==
{{quotebox|width=30%|
quote=La conclusion pratique à laquelle je suis arrivé dès maintenant, c'est que chaque fois que en vertu de mes critères, une variété de modules (ou plutôt, un schéma de modules) pour la classification des variations (globales, ou infinitésimales) de certaines structures (variétés complètes non singulières, fibrés vectoriels, etc.) ne peut exister, malgré de bonnes hypothèses de platitude, propreté, et non singularité éventuellement, la raison en est seulement l'existence d'automorphismes de la structure qui empêche la technique de descente de marcher.
|source=格罗滕迪克给塞尔的信，1959年11月5日。}}
叠概念源于{{harvtxt|Grothendieck|1959}}对有效下降数据的定义。
格罗滕迪克在1959年给塞尔的一封信中指出，构建良好模空间的一个基本障碍是自同构的存在。若某问题的模空间由于有自同构而不存在，那么仍有可能构造一个模叠。

{{harvtxt|Mumford|1965}}在叠有正式定义之前就研究了椭圆曲线的模叠的皮卡第群。第一个叠的定义见于{{harvs|txt|last=Giraud|year1=1966|year2=1971}}，“叠”（stack）由{{harvtxt|Deligne|Mumford|1969}}引入，取代原法语的champ“场、域”。论文中，他们还引入了'''德利涅–芒福德叠''',，他们称之为“代数叠”，不过这个术语现在一般指{{harvs|txt|author-link=Michael Artin|last=Artin|year=1974}}提出的'''阿廷叠'''。

在用群作用定义概形之商时，可以发现概形与商的理想属性往往不可能共存。例如，若几个点有非平凡的稳定器，那么[[范畴商]]不会在概形中，而会作为叠存在。

同样地，曲线、向量丛及其他几何对象的[[模空间]]通常最好定义为叠而非概形。模空间的构造一般是先构造能参数化问题对象的大空间，再用群作用取商，以考虑具有自同构的对象，它们被重复计算了。

==定义==

=== 抽象叠 ===
有范畴''c''及到范畴''C''的函子，若对''C''中任意态射<math>F:X\to Y</math>、''c''中任意对象''y''（在函子下都有像''Y''）都有''y''对''F''的回拉<math>f:x\to y</math>，则函子与范畴''c''统称为''C''上的[[纤维范畴]]。这意味着，具有像''F''的态射使任意像为<math>G=F\circ H</math>的态射<math>g:z\to y</math>可通过''c''中的唯一态射<math>h:z\to x</math>分解为<math>g=f\circ h</math>，使函子从''h''映射到''H''。元素<math>x = F^*y</math>称作''y''沿''F''的'''拉回'''，在规范同构意义上是唯一的。

若范畴''c''在''C''上纤维化，且对任意''U''、''C''的对象以及''c''中像为''U''的对象''x''、''y''，从上范畴C/U到集合的函子，取<math>F:\ V\to U</math>到<math>{\rm Hom}(F*x,\ F*y)</math>是层，则范畴''c''称作'''[[前叠]]'''。这一术语与层理论中的并不一致：前叠是分离的前层的类似物，而非前层。有人认为，这是叠而非前叠的性质。
若范畴''c''是''C''上的前叠，且每个下降数据（descent datum）都有效，则称范畴''c''是范畴''C''上具有格罗滕迪克拓扑的'''叠'''。'''下降数据'''大致包括：''C''中对象''V''被一族''V<sub>i</sub>''覆盖，纤维元素''x<sub>i</sub>''在''V<sub>i</sub>''上，且''x<sub>i</sub>''、''x<sub>j</sub>''限制间的态射''f<sub>ji</sub>''到达<math>V_{ij}=V_i\times_VV_j</math>，并满足相容条件<math>f_{ki}=f_{kj}f_{ji}</math>。若元素<math>x_i</math>本质上是元素''x''的拉回，且''x''的像为''V''，则称下降数据'''有效'''。
若叠在广群也纤维化，即其纤维（''C''的对象的逆像）是广群，则称之为'''广群叠'''或 '''(2,1)层''' 。有人用“叠”指更具限制性的广群叠。
=== 代数叠 ===
{{Main|代数叠}}
'''代数叠'''或'''阿廷叠'''是广群''X''中、fppf址上的叠，使''X''的对角映射是可表示的，且存在从某概形（与叠相关联）到X的光滑满射。若对从某概形（与叠相关联）到X的每个态射<math>S\rightarrow X</math>，[[纤维积]]<math>Y\times _XS</math>同构于（与叠相关联的）[[代数空间]]，则称叠的态射<math>Y\rightarrow X</math>是'''可表示的'''。叠的'''纤维积'''由一般的[[泛性质]]定义，并将图交换的要求改为2交换。
对角可表示性背后的动机是：对角态射<math>\Delta:\mathfrak{X} \to \mathfrak{X}\times\mathfrak{X}</math>是可表示的，当且仅当对代数空间任意一对态射<math>X,Y \to \mathfrak{X}</math>，其纤维积<math>X\times_{\mathfrak{X}}Y</math>可表示。

'''[[德利涅–芒福德叠]]'''是代数叠''X''，使概形到''X''的平展满射存在。粗略地说，德利涅-芒福德叠可看作是对象没有无穷小自同构的代数叠。

==== 代数叠的局部结构 ====
自代数叠诞生以来，人们就期望它们是形式为<math>[\text{Spec}(A)/G]</math>的局部商叠，其中<math>G</math>是[[约化群|线性约化代数群]]。最近证明了这一点<ref>{{Cite journal|last1=Alper|first1=Jarod|last2=Hall|first2=Jack|last3=Rydh|first3=David|date=2020|title=A Luna étale slice theorem for algebraic stacks|jstor=10.4007/annals.2020.191.3.1|journal=Annals of Mathematics|volume=191|issue=3|pages=675–738|doi=10.4007/annals.2020.191.3.1|issn=0003-486X|hdl=10150/641331|s2cid=3225788|hdl-access=free}}</ref>给定在代数闭域''k''上有限类的拟分离的局部代数叠<math>\mathfrak{X}</math>，其稳定子为仿射，且<math>x \in \mathfrak{X}(k)</math>是光滑闭点，有线性约化稳定子群<math>G_x</math>，其中存在[[GIT商]]<math>(U,u) \to (N_x//G_x, 0)</math>的平展覆盖，当中<math>N_x = (J_x/J_x^2)^\vee</math>，使得图<blockquote><math>\begin{matrix}
([W/G_x],w) & \to & ([N_x/G_x],0) \\
\downarrow & & \downarrow  \\
(U,u) & \to & (N_x//G_x,0)
\end{matrix}</math></blockquote>是笛卡尔的，并存在平展态射<blockquote><math>f:([W/G_x], w) \to (\mathfrak{X},x)</math></blockquote>在<math>w</math>、<math>x</math>处引起稳定子群的同构。

==例子==
=== 基本例子 ===
*从具有格罗滕迪克拓扑的范畴''C''出发的每个层<math>\mathcal{F}:C^{op} \to Sets</math>可规范地转变为叠。对于对象<math>X \in \text{Ob}(C)</math>，而非集合<math>\mathcal{F}(X)</math>，有以<math>\mathcal{F}(X)</math>的元素为对象的广群，箭头为恒等态射。
*更具体地说，令<math>h</math>为反变函子
:<blockquote><math>h: (Sch/S)^{op} \to Sets</math></blockquote>
:则它决定了下面的范畴<math>H</math>
:# 对象是一对<math>(X\to S, x)</math>，包含概形<math>X\in (Sch/S)^{op}</math>与元素<math>x \in h(X)</math>
:# 态射<math>(X\to S, x) \to (Y\to S,y)</math>包含态射<math>\phi:X \to Y

\in (Sch/S)</math>使得<math>h(\phi)(y) = x</math>。

:通过遗忘函子<math>p:H \to (Sch/S)</math>，范畴''H''是<math>(Sch/S)</math>上的[[纤维范畴]]。例如。若''X''是<math>(Sch/S)</math>中的概形，则它就决定了反变函子<math>h = \operatorname{Hom}(-, X)</math>，对应的纤维范畴就是与''X''相关的叠。叠（或前叠）可视为这种构造的变体的结果。事实上，任何具有[[准紧态射|准紧对角]]的概形<math>X</math>都是与概形''X''相关联的代数叠。

=== 对象的叠 ===
*[[群叠]]。
*向量丛的模叠：向量丛<math>V\to S</math>的范畴是拓扑空间范畴''S''上的叠。<math>V\to S</math>到<math>W\to T</math>的态射包含<math>S\to T</math>、<math>V\to W</math>的连续映射（在纤维上线性），这样有明显的平方交换。之所以说这是纤维范畴，是因为可在拓扑空间的连续映射上取向量丛的回拉；而之所以说下降数据是有效的，是因为可通过粘合开覆盖的元素上的向量丛，以构造空间上的向量丛。
*概形上准相干层的叠（关于fpqc拓扑和更弱的拓扑）
*基概形上仿射概形的叠（同样关于fpqc拓扑和更弱的拓扑）

=== 叠构造 ===
==== 叠商 ====
若<math>X</math>是概形<math>(Sch/S)</math>、''G''是作用于''X''的光滑仿射群概形，则有[[商叠|商代数叠]]<math>[X/G]</math>，<ref>{{Citation |last=Heinloth |first=Jochen |title=Lectures on the Moduli Stack of Vector Bundles on a Curve |date=2009-01-29 |work=Affine Flag Manifolds and Principal Bundles |pages=123–153 |place=Basel |publisher=Springer Basel |doi=10.1007/978-3-0346-0288-4_4 |isbn=978-3-0346-0287-7}}</ref>将概形<math>Y \to S</math>带到''S''-概形''Y''上的''G''扭子的广群，当中''G''等变映射到''X''。明确地说，给定具有''G''作用的空间''X''，就形成叠<math>[X/G]</math>，（直观地说）其将空间''Y''送到回拉图<blockquote><math>[X/G](Y) = \begin{Bmatrix}
Z & \xrightarrow{\Phi} & X \\
\downarrow & & \downarrow \\
Y & \xrightarrow{\phi} & [X/G]
\end{Bmatrix}</math></blockquote>的广群，其中<math>\Phi</math>是空间的''G''等变态射，<math>Z \to Y</math>是主''G''丛。此范畴中的态射只是图的态射，右侧箭头相等，左侧箭头为主''G''丛的态射。

==== 分类叠 ====
''X''为点是特殊情形给出了光滑仿射群概形''G''的分类叠''BG''：<math>\textbf{B}G := [pt/G].</math>这样命名是因为范畴<math>\mathbf{B}G(Y)</math>（''Y''上的纤维）正是''Y''上主''G''丛的范畴<math>\operatorname{Bun}_G(Y)</math>。

注意<math>\operatorname{Bun}_G(Y)</math>本身可视作叠，即''Y''上主''G''丛的模叠。
这个构造的一个重要子例是<math>\mathbf{B}GL_n</math>，其是主<math>GL_n</math>丛的模叠。由于主<math>GL_n</math>丛的数据等同于''n''秩向量丛的数据，这与''n''秩向量丛<math>Vect_n</math>的模叠同构。

===== 线丛的模叠 =====
线丛的模叠是<math>B\mathbb{G}_m</math>，因为每个线丛都与一个主<math>\mathbb{G}_m</math>丛规范同构。事实上，给定概形''S''上的线丛''L''，相对的spec<blockquote><math>\underline{\text{Spec}}_S(\text{Sym}_S(L^\vee)) \to S</math></blockquote>给出了一个几何线丛。去掉零段的像，就得到了主<math>\mathbb{G}_m</math>丛。反过来，可以从表示<math>id:\mathbb{G}_m \to \text{Aut}(\mathbb{A}^1)</math>重建相关联的线丛。

==== 束（Gerbe） ====
[[束 (数学)|束]]（Gerbe）是广群中的叠，总有非空范畴。例如对群''G''，给每个概形分配概形上主''G''丛的广群的平凡束<math>BG</math>。

==== 相对spec & proj ====
若''A''是概形''S''上的代数叠''X''中的准相干代数层，则有叠Spec(''A'')，其推广了交换环''A''的谱Spec(''A'')的构造。Spec(''A'')的对象由''S''概形''T''、<math>X(T)</math>的对象''x''、从<math>x^*(A)</math>到''T''的坐标环<math>O(T)</math>的代数层的态射给出。

若''A''是概形''S''上的代数叠''X''中的分次代数的准相干层，则有叠Proj(''A'')，其推广了分次环''A''的射影概形Proj(''A'')的构造。

=== 模叠 ===

==== 曲线的模 ====
*{{harvtxt|Mumford|1965}}研究了椭圆曲线的模叠M<sub>1,1</sub>，并证明其皮卡第群是12阶循环群。对[[复数 (数学)|复数]]上的椭圆曲线，对应的叠相似于[[上半平面]]对[[模群]]作用的商。
*代数曲线的模空间<math>\mathcal{M}_g</math>定义为给定[[亏格]]''g''的光滑曲线的普遍族，并不作为代数簇出现，因为有些曲线允许非平凡自同构。但有模叠<math>\mathcal{M}_g</math>，可以很好代替不存在的光滑亏格''g''曲线的精细模空间。更一般地说，有''n''个标记点的亏格‘’g''曲线的模叠<math>\mathcal{M}_{g,n}</math>。一般来说它是代数叠，对<math>g \geq 2</math>或<math>g = 1, n \geq 1</math>或<math>g = 0, n \geq 3</math>（即当曲线的自同构群为有限群时）是德利涅-芒福德叠。这一模叠有一个完备化，包含稳定曲线（给定''g''、''n''）的模叠，其在Spec '''Z'''上是正规（proper）的。例如，<math>\mathcal{M}_0</math>是射影[[一般线性群]]的分类叠<math>B\text{PGL}(2)</math>（定义<math>\mathcal{M}_1</math>时必须用代数空间而非概形来构造） 。

==== 孔采维奇模空间 ====
另一类得到广泛研究的模空间是孔采维奇模空间，其参数化了亏格固定的曲线与像反映固定上同调类的空间''X''之间的固定映射的空间。这些模空间表示为<ref name=":0">{{Cite web|last=Massarenti|first=Alez|title=Moduli of Stable Maps, Gromov-Witten Invariants, and Quantum Cohomology|url=http://w3.impa.br/~massaren/files/smgwqc.pdf|url-status=live|archive-url=https://web.archive.org/web/20180123190525/http://w3.impa.br/~massaren/files/smgwqc.pdf|archive-date=2018-01-23|pages=1–4}}</ref><blockquote><math>\overline{\mathcal{M}}_{g,n}(X,\beta)</math></blockquote>并可能有不受控制的行为，如成为分量的维数不相等的可约叠。例如，<ref name=":0" />模叠<blockquote><math>\overline{\mathcal{M}}_{1,0}(\mathbb{P}^2,3[H])</math></blockquote>有由开子集<math>U \subset \mathbb{P}^9 = \mathbb{P}(\Gamma(\mathbb{P}^2,\mathcal{O}(3)))</math>参数化的光滑曲线。在模空间边界上，曲线可能退化为可约曲线，存在参数化可约曲线的子叠，其0亏格分量和1亏格分量交于一点，映射将1亏格曲线送到一点。由于所有这样的1亏格曲线都由''U''参数化，且曲线在1亏格曲线的何处相交又有1维选择，因此边界分量的维度为10。
==== 其他模叠 ====
* 皮卡德叠推广了[[皮卡德群|皮卡德簇]]。
* 形式化群法则的模叠分类了[[形式化群法则]]。
* 诸如有限射影空间、形式概形之类的ind概形是叠。
* [[德林费尔德模|F-层]]的模叠用于[[几何朗兰兹纲领]]。

=== 几何叠 ===
==== 加权射影叠 ====
构建[[加权射影空间]]要取某<math>\mathbb{A}^{n+1} - \{0\}</math>对<math>\mathbb{G}_m</math>作用的[[GIT商|商簇]]。特别地，作用将元组<blockquote><math>g \cdot(x_0,\ldots, x_n) \mapsto (g^{a_0}x_0,\ldots,g^{a_n}x_n)</math></blockquote>而此作用的商给出加权射影空间<math>\mathbb{WP}(a_0,\ldots, a_n)</math>。由于这可看做是叠商，加权射影叠<ref>{{cite arXiv|last1=Fantechi|first1=Barbara|last2=Mann|first2=Etienne|last3=Nironi|first3=Fabio|date=2009-09-22|title=Smooth toric DM stacks|class=math.AG|eprint=0708.1254}}</ref>{{rp|30}}是<blockquote><math>\textbf{WP}(a_0,\ldots, a_n) := [\mathbb {A}^{n}-\{0\} / \mathbb{G}_m]</math></blockquote>取线丛<math>f \in \Gamma(\textbf{WP}(a_0,\ldots, a_n),\mathcal{O}(a))</math>中加权多项式的趋零轨道，可得叠加权射影簇。

==== 叠曲线 ====
[[叠曲线]]或轨线（orbicurve）可通过取曲线态射对一般点上的覆盖的单值群的叠商来构造。例如，取（通常是[[平展态射|平展]]的）射影态射<blockquote><math>\text{Proj}(\mathbb{C}[x,y,z]/(x^5 + y^5 + z^5)) \to \text{Proj}(\mathbb{C}[x,y])</math></blockquote>域对<math>\mu_5</math>的叠商给出带叠点的<math>\mathbb{P}^1</math>，其在<math>x/y</math>表的第5个单位根处具有稳定群<math>\mathbb{Z}/5</math>。这是因为这些点是覆盖的分歧点。{{citation needed|date=June 2017}}

==== 非仿射叠 ====
非仿射叠的例子如有两个叠原点的半线。其可构造为<math> [\mathbb{G}_m/ (\mathbb{Z}/2)] \to [\mathbb{A}^1/(\mathbb{Z}/2)]</math>的两个包含的上极限。

==代数叠上的准相干层==
在代数叠上可构造一个准相干层范畴，类似于概形上的准相干层范畴。

准相干层大致是指局部看起来像环上的模层。第一个问题是明确“局部”：这涉及格罗滕迪克拓扑的选择，有许多选择，都有不能让人完全满意的问题。格罗滕迪克拓扑应足够强大，使叠在其中局部仿射：概形在扎里斯基拓扑中局部仿射，因此它对概形来说是好选择。塞尔发现代数空间和德利涅-芒福德叠在平展拓扑中是局部仿射的，因此通常用平展拓扑来处理它们，而代数叠在光滑拓扑中是局部仿射的，因此这时可用光滑拓扑。对于普通的代数叠，平展拓扑没有足够的开集：如若G是光滑连通群，则分类叠BG的唯一平展覆盖就是各份BG的联合，不足以给出正确的准相干层理论。

一般不把光滑拓扑用于代数叠，而是用其修正，即[[光滑拓扑|光滑平展拓扑]]（Lis-Et拓扑），具有与光滑拓扑相同的开集，但开覆盖由平展给出，而非光滑映射。这通常似乎会导致一个等价的准相干层范畴，但更易使用：例如，它更容易与代数空间上的平展拓扑相比较。光滑平展拓扑有个微妙的技术问题：叠之间的态射一般不会给出对应拓扑斯之间的态射。（问题在于，虽然可据拓扑斯的几何态射的需要，构造一对伴随函子''f''<sub>*</sub>, ''f''*，但''f''*在一般情况下并不精确。这个问题在论文和书籍中造成了很多错误。<ref>See, for example, {{cite journal |ref=none |last1=Olsson |first1=Martin |year=2007 |title=Sheaves on Artin stacks |doi=10.1515/CRELLE.2007.012 |mr=2312554 |journal=[[Journal für die reine und angewandte Mathematik]] |volume=2007 |issue=603 |pages=55–112| s2cid=15445962}}</ref>）这意味着，在叠态射下构造准相干层的拉回需要额外努力。

用更精细的拓扑也是可能的。大多数合理的“足够大”的格罗滕迪克拓扑似乎都能引出等价的准相干层范畴，但拓扑越大就越难处理，所以只要有够多的开集，人们会更倾向于用较小的拓扑。例如，大fppf拓扑与光滑平展拓扑引出的准相干层范畴基本相同，但有个微妙的问题：拓扑中，准相干层到<math>O_X</math>模的自然嵌入并不精确（一般不保核）。

==其他种类的叠==
'''[[微分叠]]'''与'''拓扑叠'''的定义与代数叠类似，只是仿射概形的底层范畴换成了光滑流形或拓扑空间。

更一般地，可定义''n''层或''n''-1叠，大致是一种在''n''-1个范畴上取值的叠。有几种不等价的方法可以做到这一点。1层与层相同，2层与叠相同，称作高阶叠。

一个非常相似的推广是在非离散对象（即空间实际上是代数拓扑中的[[谱 (拓扑学)|谱]]）上发展的叠理论，得到的类叠对象被称为[[派生叠]]（或谱叠）。[[雅各·卢里]]正在撰写的《谱代数几何》研究了一种推广，他称之为[[谱德利涅–芒福德叠]]，根据定义是成环[[∞拓扑斯]]，在<math>\mathbb{E}_{\infty}</math>环的平展谱上是局部平展的（这概念包含了[[派生概形]]的概念，至少在特征为0时如此）。

==集合论问题==
叠理论的通常基础存在一些小的集合论问题，因为叠常被定义为集合范畴的某些函子，因此不是集合。有几种方法可以解决这个问题：

*使用格罗滕迪克全集：叠是某固定格罗滕迪克全集的类之间的函子，于是类与叠是更大的格罗滕迪克全集中的集合。这种方法的缺点是，必须假设存在足够多的格罗滕迪克全集，这本质上是个[[大基数]]公理。
*将叠定义为秩足够大的集合间的函子，并仔细记录所用集合的秩。它的问题是，涉及一些额外的、令人厌烦的标记。
*利用集合论的反射原理，即可以找到ZFC公理的任何有限片段的集合模型，以证明能自动找到与所有集合的全集足够接近的集合。
*也可以完全忽略这个问题。这是许多学者采用的做法。

==另见==
*[[代数叠]]
*[[德利涅–芒福德叠]]

==脚注==
{{reflist}}

==参考文献==
===教学===
*{{citation|url=http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1|first1=Kai|last1=Behrend|first2=Brian|last2=Conrad|first3=Dan|last3=Edidin|first4=William|last4=Fulton|first5=Barbara|last5=Fantechi|first6=Lothar|last6=Göttsche|first7=Andrew|last7=Kresch|year=2006|title=Algebraic stacks|url-status=dead|archive-url=https://web.archive.org/web/20080505043444/http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1|archive-date=2008-05-05}}
*{{citation|arxiv=math/9911199|first=Tomás|last=Goméz|title=Algebraic stacks|bibcode=1999math.....11199G|year=1999}} is an expository article describing the basics of stacks with examples.
*{{citation|url=http://www.ams.org/notices/200304/what-is.pdf|title=What is... a Stack?|last=Edidin|first=Dan|journal=Notices of the AMS|volume=50|issue=4|pages=458–459|year=2003|accessdate=2023-11-27|archive-date=2023-01-29|archive-url=https://web.archive.org/web/20230129041714/http://www.ams.org/notices/200304/what-is.pdf|dead-url=no}}

===文献综述===
* https://maths-people.anu.edu.au/~alperj/papers/stacks-guide.pdf {{Wayback|url=https://maths-people.anu.edu.au/~alperj/papers/stacks-guide.pdf |date=20230203171153 }}
* http://stacks.math.columbia.edu/tag/03B0 {{Wayback|url=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  | year=1974 | 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 }}
*{{citation|mr=1905329|last=Fantechi|first=Barbara|chapter=Stacks for everybody|title=European Congress of Mathematics Volume I|volume=201|pages=349–359|series=Progr. Math.|publisher=Birkhäuser|place=Basel|year=2001|chapter-url=http://www.mathematik.uni-bielefeld.de/~rehmann/ECM/cdrom/3ecm/pdfs/pant3/fantechi.pdf|isbn=3-7643-6417-3|title-link=European Congress of Mathematics|accessdate=2023-11-27|archive-date=2006-01-17|archive-url=https://web.archive.org/web/20060117052957/http://www.mathematik.uni-bielefeld.de/~rehmann/ECM/cdrom/3ecm/pdfs/pant3/fantechi.pdf|dead-url=no}}
*{{Citation | last1=Giraud | first1=Jean | author-link=Jean Giraud (mathematician) | title=Méthode de la descente | url=http://www.numdam.org/item?id=MSMF_1964__2__R3_0 | mr=0190142 | year=1964 | journal=Société Mathématique de France. Bulletin. Supplément. Mémoire | volume=2 | pages=viii+150 | accessdate=2023-11-27 | archive-date=2022-12-03 | archive-url=https://web.archive.org/web/20221203092244/http://www.numdam.org/item/?id=MSMF_1964__2__R3_0 | dead-url=no }}
*{{citation
  | last = Giraud
  | first = Jean
  | title = Cohomologie non abélienne de degré 2
  | series=thesis
  |place=Paris
  | year = 1966
 }}
*{{citation
  | last = Giraud
  | first = Jean
  | title = Cohomologie non abélienne
  | publisher = [[Springer Science+Business Media|Springer]]
  | year = 1971
  | isbn = 3-540-05307-7
 }}
*{{Citation | last1=Gómez | first1=Tomás L. | title=Algebraic stacks | arxiv=math/9911199 | doi=10.1007/BF02829538 | mr=1818418 | year=2001 | journal= Proceedings - Mathematical Sciences| volume=111 | issue=1 | pages=1–31| s2cid=373638 }}
*{{cite journal
  | last = Grothendieck
  | first = Alexander
  | title = Technique de descente et théorèmes d'existence en géométrie algébrique. I. Généralités. Descente par morphismes fidèlement plats
  | url = http://www.numdam.org/item?id=SB_1958-1960__5__299_0
  | journal = Séminaire Bourbaki
  | volume = 5
  | issue = Exposé 190
  | year = 1959
  | access-date = 2023-11-27
  | archive-date = 2022-11-30
  | archive-url = https://web.archive.org/web/20221130050005/http://www.numdam.org/item/?id=SB_1958-1960__5__299_0
  | dead-url = no
  }}
*{{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 {{harvtxt|Olsson|2007}}.
*{{Citation | last1=Laszlo | first1=Yves | last2=Olsson | first2=Martin | title=The six operations for sheaves on Artin stacks. I. Finite coefficients | doi=10.1007/s10240-008-0011-6 | mr=2434692 | year=2008 | journal=Institut des Hautes Études Scientifiques. Publications Mathématiques | volume=107   | issue=1 | pages=109–168| arxiv=math/0512097 | s2cid=371801 }}
*{{citation|mr=0201443|last=Mumford|first=David|chapter=Picard groups of moduli problems|year=1965|title=Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963)|pages=33–81|publisher=Harper & Row|place=New York|editor-first=O. F. G.|editor-last=Schilling|chapter-url=http://www.mathcs.emory.edu/~brussel/mumford.html|accessdate=2023-11-27|archive-date=2016-03-04|archive-url=https://web.archive.org/web/20160304053603/http://www.mathcs.emory.edu/~brussel/mumford.html|dead-url=yes}}
*{{citation|last=Olsson|first=Martin Christian|year=2007|title=Course notes for Math 274: Stacks|editor-first=Anton|editor-last=Geraschenko|url=http://stacky.net/files/written/Stacks/Stacks.pdf|accessdate=2023-11-27|archive-date=2022-03-13|archive-url=https://web.archive.org/web/20220313065238/https://stacky.net/files/written/Stacks/Stacks.pdf|dead-url=no}}
*{{Citation | last1=Olsson | first1=Martin | title=Algebraic spaces and stacks |year=2016|publisher=American Mathematical Society|series=Colloquium Publications|volume=62|isbn=978-1470427986}}
*{{Citation | last1=Vistoli | first1=Angelo | title=Fundamental algebraic geometry | arxiv=math/0412512 | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Math. Surveys Monogr. | mr=2223406 | year=2005 | volume=123 | chapter=Grothendieck topologies, fibered categories and descent theory | pages=1–104| bibcode=2004math.....12512V }}

==阅读更多==
*{{cite arXiv |last=Morava |first=Jack |author-link=Jack Morava |eprint=1202.0684 |title=Theories of anything |year=2012|class=math.CT }}

==外部链接==
* {{nlab|id=stack}}
* {{nlab|id=descent}}
* {{citation|url=http://stacks.math.columbia.edu/|title=Stacks Project|first=Aise Johan|last=de Jong|accessdate=2023-11-27|archive-date=2023-07-13|archive-url=https://web.archive.org/web/20230713123015/https://stacks.math.columbia.edu/|dead-url=no}}
* {{citation|url=http://www.msri.org/publications/ln/msri/2002/introstacks/fulton/1/index.html|title=What is a stack?|series=MSRI video lecture and notes|first=William|last=Fulton|accessdate=2023-11-27|archive-date=2010-08-28|archive-url=https://web.archive.org/web/20100828141953/http://www.msri.org/publications/ln/msri/2002/introstacks/fulton/1/index.html|dead-url=no}}
* {{citation|url=http://ens.math.univ-montp2.fr/~toen/m2.html|title=Cours de Master 2 : Champs algébriques (2006-2007)|year=2007|first=Bertrand|last=Toën|accessdate=2023-11-27|archive-date=2012-10-06|archive-url=https://web.archive.org/web/20121006044119/http://ens.math.univ-montp2.fr/~toen/m2.html|dead-url=no}}
* [https://mathoverflow.net/q/2124 "Good introductory references on algebraic stacks?"]

[[Category:代数几何]]
[[Category:范畴论]]