[论文解读] Grothendieck Duality for Projective Deligne-Mumford Stacks

Fabio Nironi|arXiv (Cornell University)|Nov 12, 2008

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

一句话总结

本文通过为从投影堆栈到概形的态射以及代数堆栈的恰当可表示态射构造对偶复形，建立了投影 Deligne-Mumford 堆栈的 Grothendieck 对偶性。证明了在光滑投影堆栈上 Serre 对偶性以标准形式成立，并根据 Cohen-Macaulay 和 Gorenstein 条件刻画了对偶层，显式计算了局部完整交堆栈的对偶可逆层。

ABSTRACT

Abstract. We develop Grothendieck duality for projective Deligne-Mumford stacks, in particular we prove the existence of a dualizing complex for a morphism from a projective stack to a scheme and for a proper representable morphism of algebraic stacks. In the first case we explicitly compute the dualizing complex and prove that Serre duality holds for smooth projective stacks in its usual form. We prove also that a projective stack has dualizing sheaf if and only if it is Cohen-Macaulay, it has a dualizing sheaf that is an invertible sheaf if and only if it is Gorenstein and for local complete intersections we explicitly compute the invertible sheaf. As an application of this general machinery we compute the

研究动机与目标

• 为投影 Deligne-Mumford 堆栈发展一个完整的 Grothendieck 对偶性理论。
• 为从投影堆栈到概形的态射以及代数堆栈的恰当可表示态射建立对偶复形的存在性。
• 证明 Serre 对偶性在光滑投影 Deligne-Mumford 堆栈上以标准形式成立。
• 根据 Cohen-Macaulay 和 Gorenstein 条件，刻画投影堆栈何时存在对偶层，以及该对偶层何时为可逆层。
• 显式计算局部完整交堆栈的对偶可逆层。

提出的方法

• 通过在凝聚层的导出范畴中对结构层进行化解来构造对偶复形。
• 利用紧支集上同调理论和 Grothendieck 的局部对偶性来建立对偶同构。
• 应用基变换定理和堆栈的恰当基变换，以确保在形变和特殊化下的相容性。
• 利用投影表示的存在性，将问题约化为概形上的已知结果，并将其推广至堆栈。
• 利用等变层理论和商堆栈理论来处理构造中的堆栈结构。
• 利用局部完整交的典范丛公式，显式计算对偶可逆层。

实验结果

研究问题

• RQ1 Grothendieck 对偶性是否可推广至投影 Deligne-Mumford 堆栈？若是，对偶复形如何构造？
• RQ2 在何种条件下投影堆栈存在对偶层？何时该对偶层为可逆层？
• RQ3 Serre 对偶性是否在光滑投影 Deligne-Mumford 堆栈上以经典形式成立？
• RQ4 如何显式计算局部完整交堆栈的对偶可逆层？
• RQ5 在 Deligne-Mumford 堆栈的背景下，对偶复形与典范丛之间有何关系？

主要发现

• 任意从投影 Deligne-Mumford 堆栈到概形的态射均存在对偶复形。
• Serre 对偶性在光滑投影 Deligne-Mumford 堆栈上以标准形式成立。
• 投影堆栈存在对偶层当且仅当其为 Cohen-Macaulay。
• 投影堆栈存在可逆对偶层当且仅当其为 Gorenstein。
• 对于局部完整交堆栈，对偶可逆层可显式计算，且与堆栈的典范丛一致。
• 对偶复形的构造与基变换相容，并通过等变技术保持对堆栈结构的尊重。