[论文解读] Nonlinear Traces

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|May 30, 2013

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

一句话总结

本文通过导出代数几何与高阶范畴理论，统一了代数几何中的经典不动点公式与特征公式，引入了对应范畴中的非线性迹形式化，无需光滑性或横截性假设，推广了格罗滕迪克-黎曼-罗赫定理、阿蒂亚-波特定理与弗罗贝尼乌斯-外尔定理。通过层理论恢复线性结果，并将其扩展至群作用于范畴等非线性情境。

ABSTRACT

We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the context of higher algebra provides a unifying framework for classical notions such as Euler characteristics, Chern characters, and characters of group representations. Moreover, the simple functoriality properties of dimensions clarify celebrated identities and extend them to new contexts. We observe that it is advantageous to calculate dimensions, traces and their functoriality directly in the nonlinear geometric setting of correspondence categories, where they are directly identified with (derived versions of) loop spaces, fixed point loci and loop maps, respectively. This results in universal nonlinear versions of Grothendieck-Riemann-Roch theorems, Atiyah-Bott-Lefschetz trace formulas, and Frobenius-Weyl character formulas. On the one hand, we can then linearize by applying sheaf theories, such as the theories of coherent sheaves and D-modules, developed by Gaitsgory and Rozenblyum, as functors out of correspondence categories (in the spirit of topological field theory). This recovers the familiar classical identities, in families and without any smoothness or transversality assumptions. On the other hand, the formalism also applies to higher categorical settings not captured within a linear framework, such as characters of group actions on categories.

研究动机与目标

• 通过高阶范畴与同伦方法统一代数几何中的经典迹公式与特征公式。
• 通过在非线性几何范畴中工作，将这些公式扩展至非光滑或非横截的设定之外。
• 在导出对应范畴中为维数、迹与函子性提供一个普遍框架。
• 通过应用于对应范畴的层理论（如凝聚层、D-模），恢复线性结果。
• 将特征理论推广至非线性设定，例如群作用于范畴的情形。

提出的方法

• 通过高阶代数中对偶对象的霍赫希尔德同调形式化维数与迹。
• 在对应范畴的非线性几何设定中工作，其中迹对应于导出环路空间与不动点子簇。
• 利用维数的函子性来统一并澄清经典恒等式，提供统一的框架。
• 将层理论（如凝聚层、D-模）作为从对应范畴出发的函子来应用，受拓扑场论启发。
• 在此设定中推导格罗滕迪克-黎曼-罗赫、阿蒂亚-波斯-莱夫谢茨与弗罗贝尼乌斯-外尔定理的普遍版本。
• 将形式化扩展至线性框架无法捕捉的高阶范畴情境，如群在范畴上的表示。

实验结果

研究问题

• RQ1 在代数几何中，经典不动点与特征公式如何在非光滑或非横截设定下被推广？
• RQ2 导出环路空间与不动点子簇在非线性迹形式化中扮演何种角色？
• RQ3 维数的函子性如何澄清并统一表示论与代数几何中的恒等式？
• RQ4 是否可在对应范畴框架中推导格罗滕迪克-黎曼-罗赫与李特尔伍德迹定理的普遍版本？
• RQ5 如何利用非线性几何方法将特征理论扩展至群作用于范畴的情形？

主要发现

• 本文建立了无需光滑性或横截性假设的格罗滕迪克-黎曼-罗赫定理的普遍非线性版本。
• 该形式化将迹解释为对应范畴中环路映射与不动点子簇的导出几何对象。
• 形式化恢复了经典特征公式（包括弗罗贝尼乌斯-外尔公式），适用于族与高阶范畴设定。
• 维数的函子性澄清并扩展了表示论与代数拓扑中著名恒等式。
• 该框架适用于非线性情境，如群作用于范畴，将特征理论推广至线性表示之外。
• 如凝聚层与D-模等层理论作为从对应范畴出发的函子被恢复，从而在普遍设定中得出线性结果。