[论文解读] Coherence results for algebraic stacks

Jack Hall|arXiv (Cornell University)|Jun 19, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 1

一句话总结

本文建立了代数几何中Ext-函子的一致性，使代数堆栈上的上同调与基变换定理得以证明，并表明Hom-空间由阿贝尔锥表示。该工作通过证明一个广泛类别的Ext-函子在M. Auslander意义下一致，推广了Brochard、Grothendieck等人的先前结果，统一了模理论与堆栈上同调中的基础工具。

ABSTRACT

We prove that cohomology and base change holds for algebraic stacks, generalizing work of Brochard in the tame case. We also show that Hom-spaces on algebraic stacks are represented by abelian cones, generalizing results of Grothendieck, Brochard, Olsson, Lieblich, and Roth--Starr. To accomplish all of this, we prove that a wide class of Ext-functors in algebraic geometry are coherent (in the sense of M. Auslander).

研究动机与目标

• 将上同调与基变换定理推广至非驯化的代数堆栈情形。
• 系统化地推广代数堆栈上Hom-空间作为阿贝尔锥的表示。
• 在M. Auslander的意义下，确立一大类Ext-函子的一致性。
• 在代数堆栈的背景下，统一并扩展Grothendieck、Brochard、Olsson、Lieblich与Roth–Starr的奠基性结果。

提出的方法

• 利用导出代数几何技术，证明代数堆栈上的Ext-函子在Auslander意义下一致。
• 应用一致性的结果，推导代数堆栈上的上同调与基变换定理。
• 利用Ext-函子的一致性，证明Hom-空间由阿贝尔锥表示。
• 借助一致函子与导出范畴的理论，处理非驯化与非分离的堆栈。
• 利用堆栈与层上同调的形式化语言，将经典结果推广至代数堆栈情形。
• 建立一个框架，使得Ext-函子的一致性能统一地推出表示性与基变换定理。

实验结果

研究问题

• RQ1 在何种条件下，上同调与基变换定理在非驯化代数堆栈上成立？
• RQ2 代数堆栈上的Hom-空间如何系统地表示，其具有何种结构？
• RQ3 代数几何时哪些Ext-函子在Auslander意义下一致？这种一致性对几何应用有何影响？
• RQ4 经典表示性与基变换定理在何种程度上可推广至非驯化或非Deligne–Mumford的代数堆栈情形？
• RQ5 能否为Ext-函子建立一个统一框架，以确保其一致性并支持几何结论？

主要发现

• 上同调与基变换定理在非驯化代数堆栈上成立，推广了Brochard的结果。
• 代数堆栈上的Hom-空间由阿贝尔锥表示，扩展了Grothendieck、Brochard、Olsson、Lieblich与Roth–Starr的结果。
• 代数几何时一大类Ext-函子在M. Auslander意义下一致，为堆栈上同调提供了基础工具。
• Ext-函子的一致性使对代数堆栈上形变理论与模理论构造的系统控制成为可能。
• 结果提供了一个统一框架，推广并强化了代数堆栈及其上同调理论中先前的定理。
• 所发展的形式化确保了关键几何性质（如表示性与基变换）可超越驯化或Deligne–Mumford情形而成立。