数学堆栈2-sheaf是的,大致说来,一个捆以价值范畴而不是集。栈是用来形式化的一些主要结构血统论,并构建精细模栈时精细的模空间不存在。

血统理论关注的是普遍的情况下,几何对象(如向量丛打开(放)拓扑空间)可以被“粘在一起”时,同构(在一个兼容的方式)时,限制在一个空间的一个开覆盖集的十字路口。在更一般的设置的限制与一般的回调所取代,并纤维类形成正确的框架来讨论这种粘合的可能性。一堆的直观的意义就在于它是一个纤维范畴,“所有可能的扣工作”。对扣的规范需要定义一个覆盖方面,可以考虑扣。原来,描述这些覆盖物的通用语言是一个Grothendieck拓扑。因此,堆栈是正式作为纤维类的另一个基地类,在基地有一个Grothendieck拓扑和纤维类满足一些公理,确保相对于Grothendieck拓扑和某些扣的存在唯一性。

栈是代数栈的底层结构(也被称为阿廷栈)和涅–芒福德堆栈,从而推广方案和代数空间这是特别有用的研究模空间。有包裹体:方案⊆代数空间⊆涅–芒福德栈⊆代数栈⊆栈。

(2003)Edidin和(2001)fantechi简要介绍账户栈,Góó(2001),奥尔森(2007)和(2005)vistoli给出更详细的介绍,并洛蒙和莫雷贝利(2000)介绍了更先进的理论。

 

 

 

动机和历史

洛杉矶结论检疫àlaquelle Je suis到达éDè的维护,这是阙chaque FOIS阙恩的Vertu德MES的暴击èRES,一变éTéde模块(或译ôT,联合国学校é马德模块)倒拉分类DES的变化(GLOBALES,欧无穷ésimales)德有结构(变éTé的并发症èTES非按每一个èRES,纤维é的vectoriels,等)的对立malgr东北peut,éde女佣假说èSES的陈词滥调,propreté,等非singularitééventuellement,LA存在EN EST seulement l'existence d'automorphismes de la结构魁EMPê车拉技术德迪桑特de行军。

Grothendieck的信塞尔,11月5日1959。

栈的概念起源于定义有效数据在下降(1959)群。在1959封信塞尔,Grothendieck指出,构建良好的模空间的根本障碍是自同构的存在。栈的主要动机是,如果对一些问题的模空间不存在由于自同构的存在,它可能仍然可以构建一个弹性模量堆栈。

芒福德(1965)研究了Picard群椭圆曲线模栈在栈,定义了。栈是最初由吉罗 (一千九百六十六,一千九百七十一),和“堆”的介绍德利涅&芒福德(1969)对原法国“冠军”意义的“场”。本文还介绍了涅–芒福德栈,他们称之为代数栈,虽然“代数栈”现在通常指的是更一般的阿廷栈介绍了艺术 (一千九百七十四)。

当定义商方案组的行动,为商是一个仍然满足理想的商性能的方案通常是不可能的。例如,如果一个点有非平凡的稳定剂,然后范畴的商将不存在的计划。

以同样的方式,模空间曲线,向量丛,或其他几何对象往往是最好的定义为替代方案栈。模空间的结构常常是首先构造一个更大的空间参数化对象的问题,然后quotienting的一组动作占已在数目上超过自同构的对象。

定义

一类C与一个函子范畴C被称为纤维类C如果任何态射FXY进入C与任何对象YC图像Y,有一个回调FXYYF。这意味着任何态射GZY图像G=FH可以分解为G=FH一个独特的态射HZX图像H。元素X=F*Y被称为回调Y沿F和是唯一典型的同构。

类别C被称为叠前在一个范畴CGrothendieck拓扑如果是纤维在C对于任何对象UC和对象XYC图像U从对象上,函子U集以FvU坎(F*XF*Y)是一个层。这个术语是不一致的:prestacks滑轮的术语是分离而不是presheaves presheaves类似物。

类别C被称为堆栈在范畴C与Grothendieck拓扑如果是叠前结束C任何下降的数据是有效的。一下降的数据大概包括覆盖对象vC一个家庭vI,元素XI在纤维上vI,和态射F之间的限制XIXJvij=vI×UvJ满足相容性条件F王下=FKJF。下降的数据称为有效如果元素XI基本上是一个元素的回调X图像U

一堆被称为堆栈在胚(2,1)-层如果是纤维在胚,这意味着它的纤维(逆图像对象C)是胚。一些作者使用“栈”是指在群堆的更严格的概念。

一个代数栈阿廷栈在群栈X在层如图的对角线X是表示和存在光滑满射从(相关的堆栈)一个X射方案Y栈 X栈是可表示的如果,每射S 栈 X从(相关的堆栈)方案的X,纤维制品 Y ×X S是同构的(相关的堆栈)代数空间。这个纤维制品栈是使用通常的定义通用性,和改变图去要求他们2-commute要求。

涅–芒福德栈是一个代数栈X这样就从一个方案的é故事满射X。大致说来,–涅芒福德栈可以被认为是代数栈的对象没有无穷小的自同构。

实例

  • 如果一个栈的纤维集(意义范畴的态射的身份映射)然后堆基本上是相同的一套。这表明一个堆栈是一种泛化的一捆,以价值观而不是任意类别设置。
  • 准紧对角的任何方案都是一个代数堆栈(或者更准确地说是一个)。
  • 类别向量丛V→是叠加在拓扑空间范畴。从V→态射T由对W的连续映射TV从对以W(线性纤维)这样明显的广场上。这是一个纤维范畴的条件是因为人可以把向量丛的回调在拓扑空间的连续映射,这一下降的数据是有效的条件是因为我们可以构造一个向量丛的一个空间上的向量丛的粘在一起的一个开放的封面元素。
  • 拟凝聚层方案堆栈(相对于fpqc拓扑弱拓扑)
  • 在基础方案的仿射方案堆栈(再次对fpqc拓扑或微弱)
  • 芒福德(1965)研究了模栈M1,1椭圆曲线,发现其Picard群是循环12阶。椭圆曲线上的复数相应的栈是一个类似的商上半平面由的行动模块组
  • 这个代数曲线模空间MG定义为一个泛家族的光滑曲线的属 G不存在一个代数簇,尤其是有曲线承认非平凡自同构。但是有一个模栈MG这是一个很好的为不存在的精细模空间的光滑属替代G曲线。通常有一个模栈MG,NG曲线N标记点。总的来说这是一个代数叠加,是–涅芒福德栈G≥2或G= 1,N> 0G= 0,N≥3(换句话说,当曲线的自同构群是有限的)。这种弹性模量堆栈组成的稳定曲线模栈完成(对于给定的GN以上规格是正确的)Z。例如,M是bpgl分类堆栈(2)的一般射影线性群。(有一个微妙的定义M,作为一个使用代数空间而不是方案施工。)
  • 任何GERBE在群栈;例如琐碎gerbe,分配给每个方案的主G在方案捆绑,一些组G
  • 如果Y是一个方案G是一个光滑组方案的作用Y,然后有一个商代数栈 Y/G一个方案,以T这群胚G-旋量超过TG等变映射Y。一个特殊的情况下,这个时候Y是一个点给出分类堆栈BG对一个光滑组方案G
  • 如果一个是拟凝聚层代数在代数栈X在一个方案,然后有一堆的规格()推广建设的频谱规范()一交换环。一个对象的规格()由下式给出方案对象的TXXT),和一个态射的成捆的代数X *()的坐标环OT)的T
  • 如果一个是拟凝聚层分级代数的代数叠加X在一个方案,然后有一堆项目()推广建设工程投影方案()一次环
  • 这个主束模量堆栈在代数曲线X还原组的行动G,通常以栈
  • 这个形式群法则模栈分类正式的法律
  • Picard栈推广皮卡德品种

拟凝聚层代数栈

在一个代数栈可以构造一类拟凝聚层类似于准相干一方案的范畴。

拟凝聚层大致是一个看起来像一个模块的局部环上的束。第一个问题是决定什么人所说的“局部”:这涉及一个Grothendieck拓扑结构的选择,还有很多可能的选择,其中有一些问题,没有一个完全令人满意的。Grothendieck拓扑应该强大到足以使栈的局部仿射本拓扑方案局部仿射Zariski拓扑,这是一个好的选择方案三发现,代数空间和涅–芒福德栈是局部仿射在层拓扑所以通常采用层拓扑这些,而代数栈是局部仿射在光滑的拓扑结构,因此可以在这种情况下使用光滑拓扑。对于一般的代数栈层拓扑没有足够的开集:例如,如果G是一个光滑的连接组则只有层覆盖分类堆BG是份BG的工会,这是不足以给quasicoherent滑轮的权利理论。

而不是使用光滑拓扑代数栈一个经常使用它的变形称为LIS等拓扑(对于利瑟层:短利瑟是光滑的法语术语),具有相同的开集为光滑拓扑但开覆盖了层而不是光滑映射。这通常是导致拟凝聚层的一个等价类,但更容易使用:例如,它是更容易与代数空间层拓扑比较。LIS等拓扑结构有一个微妙的技术问题:栈之间的态射一般不给相应的论题之间的态射。(问题是,当一个人可以构造一对伴随函子F*F*,作为论题的几何性需要,函子F*一般是不能离开具体。这个问题是由于在发表的论文和书籍臭名昭著的一些错误。【一])这意味着射栈下构建一个quasicoherent捆回调需要一些额外的努力。

也可以使用更精细的拓扑结构。最合理的“足够大”Grothendieck拓扑似乎导致拟凝聚层等价类,但更大的一个拓扑结构是很难处理,所以一般都喜欢用小的拓扑结构,只要他们有足够的开集。例如,大FPPF拓扑结构导致实质上的拟凝聚层的同一类别的LIS等拓扑结构,但有一个微妙的问题:自然嵌入拟凝聚层为OX在这种拓扑结构中的模块是不准确的(不保存内核一般)。

其他类型的栈

微堆拓扑叠加在一个类似于代数栈的定义,除了仿射方案基本范畴是由光滑流形拓扑空间范畴取代。

通常可以定义的概念,一个n -层或N–1栈,这大约是一种捆值在n–1类。这样做有几个不同的方式。1-sheaves如滑轮一样,和2-sheaves是堆叠相同。

集理论问题

有与栈的理论通常一些小集基础理论问题,因为堆栈通常被定义为一定的仿函数类的集合,因此没有设置。有几种办法来处理这个问题:

  • 一个能与Grothendieck宇宙工作:堆栈则是一些固定的Grothendieck宇宙类之间的函子,所以这些类和堆叠在一个较大的Grothendieck宇宙集。这种方法的缺点是,一个有足够的Grothendieck宇宙的存在,它本质上是一个大基数公理。
  • 一个可以定义堆仿函数的足够大的秩集集,并认真的记下各设置一个队伍使用。这里的问题是,它涉及到一些额外的相当累人的记账。
  • 可以使用反射原理从集合论认为人可以找到的任何有限的片段的ZFC公理的模型表明,一个可以自动找到设置足够接近的所有集合的宇宙近似。
  • 一个可以忽略的问题。这是许多作者所采取的方法。

参见