[论文解读] A Deligne-Riemann-Roch isomorphism I: Preliminaries on virtual categories

Dennis Eriksson|ArXiv.org|Apr 26, 2009

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

一句话总结

本文通过引入并分析一个精确范畴的虚拟范畴，利用同伦理论方法，为函子性、度量化的格罗滕迪克-黎曼-罗赫定理奠定了基础工具。它在该范畴上构造了艾德姆斯（Adams）与λ-运算，证明了从K₀-运算提升的刚性结果，并将该框架与陈类交集函子及有理数查沃（Chow）范畴联系起来。

ABSTRACT

This is the first article in an upcoming series of papers. They have arisen through an attempt to answer open questions of Deligne proposed in "Le determinant de la cohomologie", Contemp. Mathematics 67 (1987). It amounts to functorial and metrized versions of the Grothendieck-Riemann-Roch theorem, as well as a Lefschetz-Riemann-Roch formula in the sense of Thomason, cf. "Lefschetz-Riemann-Roch theorem and coherent trace formula" Ann. Sci. Ec. Norm. Sup. 18 (1985), Theorem 3.5. In this article we treat various preliminary results on virtual categories which are the categories where the Deligne-Riemann-Roch theorem is originally formulated. Finally we compare our constructions to constructions of Franke on Chern intersection functors and Chow categories.

研究动机与目标

• 开发一个函子性、度量化的格罗滕迪克-黎曼-罗赫定理的范畴框架，灵感来自德利涅（Deligne）提出的问题。
• 定义并研究虚拟范畴V(C)，作为K-理论的同伦理论截断，以捕捉K₀与K₁的信息。
• 在虚拟范畴上构造艾德姆斯（Adams）与λ-运算，并证明其刚性，从而实现从K₀到V(C)的运算提升。
• 通过循环理论构造，将虚拟范畴与现有理论（尤其是弗兰克（Franke）的陈类函子与有理数查沃范畴）进行比较。
• 为未来函子性黎曼-罗赫定理的整数版本奠定基础，扩展德利涅对光滑曲线的研究。

提出的方法

• 将虚拟范畴V(C)定义为ΩBQ(C)的基本群族，其中BQ(C)是小精确范畴C的奎伦Q-构造。
• 使用单纯层模型与A¹-同伦理论分析V(C)的同伦结构，特别是其自同构群同构于K₁(C)。
• 通过普遍性质与分裂原理构造V(C)上的艾德姆斯运算ψᵏ与λ-运算，证明其存在性并验证其与K₀的相容性。
• 利用同伦代数与模型结构，证明刚性定理（定理4.5），表明在对整数进行局部化后，任何与λ-运算可交换的K₀-运算均可提升至V(C)。
• 通过循环理论构造，将虚拟范畴与有理数查沃范畴及陈类交集函子进行比较。
• 应用A¹-同伦理论与代数堆栈的结果，为在正则基上的概形奠定基础语言与工具。

实验结果

研究问题

• RQ1 如何系统地将虚拟范畴V(C)构造为精确范畴K-理论的同伦理论精化？
• RQ2 艾德姆斯与λ-运算在虚拟范畴中扮演何种角色？能否以自然方式从K₀实现提升？
• RQ3 刚性结果在多大程度上确保K₀-运算可扩展至虚拟范畴，特别是在对整数进行局部化之后？
• RQ4 虚拟范畴与代数K-理论中现有构造（如弗兰克的陈类函子或有理数查沃范畴）有何关联？
• RQ5 该框架能否扩展为德利涅所寻求的函子性黎曼-罗赫定理的整数版本？

主要发现

• 虚拟范畴V(C)是一个群胚，其同构类与K₀(C)之间存在自然双射，其自同构群同构于K₁(C)。
• 艾德姆斯运算ψᵏ与λ-运算在V(C)上被构造，并通过命题3.8与3.10证明其与K₀层运算相容。
• 刚性结果（定理4.5）表明，任何与λ-运算可交换的K₀(C)上的运算，在对整数进行局部化后，均可提升至V(C)。
• 虚拟范畴的构造被证明与有理数查沃范畴及陈类交集类相容，详见第5节。
• 该框架为黎曼-罗赫理论中的二级不变量（特别是与上同调行列式相关者）提供了自然的设定。
• 通过虚拟范畴的方法被证明非常适合捕捉函子性与度量化的黎曼-罗赫数据，尤其在行列式函子的语境下。