[论文解读] Remarks on Theta-stratifications and derived categories

Daniel Halpern-Leistner|arXiv (Cornell University)|Feb 10, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 9

一句话总结

本文在导出代数几何中建立了一个派生的 $Θ$-分层框架，以推广全局商叠的导出范畴的半正交分解，消除了经典几何不变量理论（GIT）中的技术性假设。它证明了 K-理论中的虚拟非交换局部化定理，表明在叠上的欧拉示性数可通过显式虚拟层在不动点子簇上的贡献进行分解，即使在叠为奇异或非光滑的情况下也成立。

ABSTRACT

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in cohomology.

研究动机与目标

• 将几何不变量理论中导出范畴的半正交分解推广至导出代数几何，且假设条件最少。
• 通过使用商叠的派生增强，解决先前结果在技术条件（L+）和（A）下失效的问题。
• 建立一个适用于奇异或非光滑叠的 K-理论虚拟非交换局部化公式。
• 证明一个导出商叠上完美复形的欧拉示性数可分解为通过虚拟层贡献的不动点子簇之和。
• 提供一个框架，用于通过一参数子群定义的分层计算等变 K-理论积分。

提出的方法

• 在特征 0 的导出全局商叠 $\mathcal{X} = X/G$ 中引入派生 $Θ$-分层的概念。
• 应用上同调与紧支集，为单个派生 $Θ$-分层推导出 $D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 的半正交分解。
• 使用李代数上同调及涉及 $\bigwedge^\ast(\mathfrak{u}^\vee)$ 的显式复形，计算分层中 $U$-主丛上的上推。
• 将虚拟层 $E_i$ 构造为负权部分法丛对称幂的无限直和，其对欧拉示性数的贡献是有限的。
• 对计算 $\pi_*F$ 的复形应用过滤论证，表明仅有有限多项对欧拉示性数有贡献。
• 结合导出代数几何与等变 K-理论的结果，证明 $\chi(\mathcal{X}, F) = \chi(\mathcal{X}^{ss}, F) + \sum \chi(\mathcal{Z}_i, E_i \otimes \sigma^*F)$。

实验结果

研究问题

• RQ1 能否在不依赖（L+）和（A）等技术假设的前提下，将 GIT 商叠的导出范畴半正交分解推广至导出代数几何？
• RQ2 如何为奇异或非光滑的导出商叠构造并证明 K-理论中的虚拟非交换局部化公式？
• RQ3 一参数子群与不动点子簇在定义 K-理论局部化公式中出现的虚拟层 $E_i$ 的作用是什么？
• RQ4 当半稳定子簇为空时，能否通过不动点子簇的贡献来计算导出商叠上完美复形的欧拉示性数？
• RQ5 在存在奇点或非光滑性时，派生 $Θ$-分层如何细化导出范畴的结构？

主要发现

• 派生 $Θ$-分层使得在无任何技术假设下，对导出商叠 $\mathcal{X} = X/G$ 实现了 $D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 的半正交分解。
• 对于障碍类为零的拟光滑导出商叠，定理 3.1 建立了 $D^b\!\mathop{\rm Coh}\nolimits(\mathcal{X})$ 的半正交分解。
• 当分层的包含映射为正则嵌入时，定理 2.1 得到 $\!\mathop{\rm Perf}\nolimits(\mathcal{X})$ 的半正交分解。
• 虚拟非交换局部化定理（定理 5.1）将 $\chi(\mathcal{X}, F)$ 表示为不动点子簇 $\mathcal{Z}_i$ 的和，其中贡献来自虚拟层 $E_i$，这些层为无限和但仅有有限项对欧拉示性数有贡献。
• 虚拟层 $E_i$ 同时依赖于一参数子群 $\lambda_i$ 与不动点子簇的法丛，使得公式对分层选择敏感。
• 证明依赖于上推复形的有下界的过滤，其分次复形同构于余法丛负权部分的对称幂，从而确保欧拉示性数中仅有有限多项非零。