[论文解读] K-theory and cohomology of algebraic stacks: Riemann-Roch theorems, D-modules and GAGA theorems

Bertrand Toën|ArXiv.org|Aug 18, 1999

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

一句话总结

本论文在代数叠的K-理论与上同调方面建立了基础性结果，证明了D-模上的格罗滕迪克-黎曼-罗赫定理以及代数叠与解析叠之间的GAGA型定理。通过同伦代数与谱方法，将经典的上同调工具——如黎曼-罗赫公式、D-模K-理论与霍奇理论——推广至代数叠，特别是德拉姆-芒福德叠的框架下。

ABSTRACT

This is the integral text of my thesis. The first part is an expanded version of "Riemann-Roch theorems for Deligne-Mumford stacks", where I deal with Artin stacks over general bases. In the second part, I prove some Riemann-Roch statment for D-modules on Deligne-Mumford stacks, and I also consider the problem of algebraization of analytic stacks.

研究动机与目标

• 为代数叠发展一个全面的上同调与K-理论框架，将经典从概形推广至叠的结果。
• 将格罗滕迪克-黎曼-罗赫定理推广至代数叠上的D-模，特别是正则D-模的情形。
• 建立比较代数叠与解析叠的GAGA型定理，尤其针对复代数叠。
• 将霍奇理论适配至代数叠，证明霍奇-德拉姆谱序列的退化性与示性数公式。
• 通过单纯预层、谱方法与下降技术，系统地处理叠的K-理论。

提出的方法

• 使用单纯预层与谱来建模叠的广义上同调与K-理论，支持导出与同伦构造。
• 应用G-理论与K-理论的下降理论，包括协变与逆变下降，以确立在叠论运算下的不变性。
• 在德拉姆-芒福德叠与半单丛的背景下，应用分解技术处理G-理论。
• 利用卡施瓦拉引理与构造性函数分析正则D-模及其K-理论。
• 通过解析几何与GAGA原理比较代数与解析上同调，尤其通过恰当与有限态射。
• 通过将霍奇-德拉姆谱序列与调和形式提升至叠的设定，适配德尔涅的霍奇理论论证。

实验结果

研究问题

• RQ1 格罗滕迪克-黎曼-罗赫定理如何推广至代数叠，尤其在D-模的背景下？
• RQ2 经典GAGA定理在多大程度上可从概形推广至代数叠，特别是在复解析设定中？
• RQ3 霍奇理论能否推广至代数叠？对于具有投影粗模空间的光滑复代数叠，霍奇-德拉姆谱序列是否退化？
• RQ4 K-理论与系数为特征标或有理表示的上同调在叠的研究中起什么作用？
• RQ5 下降与分解技术如何应用于叠的G-理论与K-理论，特别是在德拉姆-芒福德叠与丛的情形？

主要发现

• 在适当的有理化条件下，建立了惯性叠上取值于有理化K-理论的上同调与惯性叠的有理化K-理论之间的自然同构：$ H^{-*}(I_F^t, Π K ⊗ Λ) ≅ ℚ K_*(I_F^t) ⊗ Λ(S) $。
• 对于具有投影粗模空间的光滑复代数叠，霍奇-德拉姆谱序列退化，推广了霍奇与德尔涅的结果。
• 签名公式 $ σ(F) = \sum_{p,q} (-1)^p h^{p,q} $ 对于具有投影粗模空间的光滑复代数叠成立，其中 $ h^{p,q} = \dim_{\mathbb{C}} H^p(F, \Omega^q_F) $。
• 光滑复代数叠 $ F $ 的上同调满足 $ H^n(F^{an}, \mathbb{C}) \simeq \bigoplus_{p+q=n} H^p(F, \Omega^q_F) $，确认了霍奇分解。
• 对于光滑叠上的正则D-模，格罗滕迪克-黎曼-罗赫定理在 $ \mathbf{K}^D $-理论与 $ \mathbf{K}^h $-上同调中均成立，推广了经典结果。
• 在恰当性与有限性假设下，光滑复代数叠的解析上同调与代数上同调通过GAGA同构，推广了塞尔的GAGA定理。