[论文解读] Riemann-Roch for Deligne-Mumford stacks

Dan Edidin|arXiv (Cornell University)|May 21, 2012

Algebraic Geometry and Number Theory参考文献 16被引用 17

一句话总结

本文通过等变K理论与局部化定理，提供了一种简化版的德利涅-穆尔代克堆栈的黎曼-罗赫定理证明，避免了复杂的上同调工具。核心贡献是通过等变方法，直接且直观地推导出光滑、完备德利涅-穆尔代克堆栈的希策布鲁赫-黎曼-罗赫公式，适用于商堆栈和加权射影空间。

ABSTRACT

We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.

研究动机与目标

• 与现有的指标理论或上同调方法相比，提供一种更易理解且技术性更弱的德利涅-穆尔代克堆栈黎曼-罗赫定理的证明。
• 证明等变方法，特别是等变黎曼-罗赫定理与等变K理论中的局部化，能够干净利落地推导出光滑、完备德利涅-穆尔代克堆栈的希策布鲁赫-黎曼-罗赫公式。
• 利用等变技术，将格罗滕迪克-黎曼-罗赫定理推广至光滑德利涅-穆尔代克堆栈之间的可表示态射。
• 通过显式计算说明定理的实用性，包括加权射影空间的Todd类。

提出的方法

• 以等变K理论中关于概形的等变黎曼-罗赫定理作为基础工具。
• 应用等变K理论中的局部化定理，将问题约化为在群$G$为对角化时的商堆栈$[X/G]$上的不动点数据。
• 利用先前合作研究中得到的非交换局部化定理，将结果推广至任意具有有限稳定子群的光滑德利涅-穆尔代克堆栈。
• 在等变K理论与查沃理论中使用示性类与Todd类，将欧拉示性数表示为堆栈上的积分。
• 利用解析性质与光滑$G$-概形上$K_0(G,X)$与$G_0(G,X)$的识别，确保与堆栈理论K理论的一致性。
• 通过使用表示$V$与$G$自由作用的开子集$U$的Borel构造定义等变查沃群，以保证其良好定义性与函子性。

实验结果

研究问题

• RQ1 德利涅-穆尔代克堆栈的黎曼-罗赫定理能否在不依赖复杂指标理论或高级上同调工具的前提下证明？
• RQ2 等变黎曼-罗赫定理与等变K理论中的局部化，在多大程度上可用于推导光滑、完备德利涅-穆尔代克堆栈的希策布鲁赫-黎曼-罗赫公式？
• RQ3 如何利用等变方法将格罗滕迪克-黎曼-罗赫定理推广至光滑德利涅-穆尔代克堆栈之间的可表示态射？
• RQ4 加权射影空间的Todd类的显式形式是什么？如何利用黎曼-罗赫定理计算它？

主要发现

• 通过等变黎曼-罗赫定理与等变K理论中的局部化定理，建立了光滑、完备德利涅-穆尔代克堆栈的黎曼-罗赫定理的直接证明。
• 对于$G$为对角化群的商堆栈$[X/G]$，通过结合等变黎曼-罗赫定理与等变K理论中的经典局部化定理，推导出希策布鲁赫-黎曼-罗赫公式。
• 先前工作中得到的非交换局部化定理使结果得以推广至具有有限稳定子群的任意光滑德利涅-穆尔代克堆栈。
• 利用格罗滕迪克-黎曼-罗赫定理，显式计算出加权射影空间的Todd类，展示了该定理的计算实用性。
• 光滑、完备德利涅-穆尔代克堆栈上向量丛的欧拉示性数由该丛的示性类与堆栈的Todd类的积分给出，类似于经典公式。
• 该证明建立了光滑$G$-概形上格罗滕迪克群$K_0(G,X)$与$G_0(G,X)$之间的自然同构，使得等变K理论工具可在堆栈设定中使用。