[论文解读] Secondary Traces

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

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

一句话总结

本文引入了二级迹，作为对称单幕高阶范畴中2-对偶化对象上两个交换自同态的不变量。通过在带标记的2-环面上使用Morse理论论证和cobordism理论，建立了将二级迹识别为迭代迹的公式，通过SL₂(ℤ)的生成元S和T链接两种表述，并推导出模不变性以及对光滑完备堆栈上的凝聚层和D-模的广义Atiyah-Bott-Lefschetz公式。

ABSTRACT

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this invariant, identifying different realizations as an iterated trace. The proof consists of elementary Morse-theoretic arguments (with many accompanying pictures included) and may be seen as a concrete realization of the cobordism hypothesis with singularities on a marked 2-torus. From this perspective, our main result identifies the secondary trace with two alternative presentations coming from the standard generators S and T of the mapping class group SL_2(Z). We include two immediate consequences of the established invariance. The first is a modular invariance property for the 2-class function on a group arising as the 2-character of a categorical representation. The second is a generalization (for coherent sheaves or D-modules) of the Atiyah-Bott-Lefschetz formula conjectured by Frenkel-Ng\^o in the case of a self-map of a smooth and proper stack over a general base.

研究动机与目标

• 在对称单幕高阶范畴中，为2-对偶化对象上两个交换自同态定义并研究二级迹作为不变量。
• 通过几何与拓扑手段，建立一个将二级迹识别为迭代迹的公式。
• 通过在2-环面上使用带奇异性的cobordism假设，将二级迹解释为与映射类群SL₂(ℤ)的联系。
• 推导出范畴群表示的2-特征的模不变性。
• 将Atiyah-Bott-Lefschetz公式推广至光滑完备堆栈上的凝聚层和D-模。

提出的方法

• 使用基本的Morse理论论证并辅以图示，分析二级迹的结构。
• 应用带奇异性的cobordism假设，在带标记的2-环面上对二级迹进行建模。
• 将二级迹与SL₂(ℤ)的标准生成元S和T对应的两种实现方式相联系。
• 运用对称单幕高阶范畴的形式体系，处理对偶性和迹结构。
• 将映射类群作用下的不变性作为关键技术工具进行推导。
• 将该框架应用于范畴表示和D-模，以获得广义的Lefschetz型定理。

实验结果

研究问题

• RQ1 如何在对称单幕高阶范畴中，为2-对偶化对象上两个交换自同态定义二级迹？
• RQ2 二级迹的对称性背后存在何种几何或拓扑结构？
• RQ3 二级迹如何与映射类群SL₂(ℤ)在2-环面上的作用相关联？
• RQ4 范畴表示的2-特征中会涌现出何种模不变性性质？
• RQ5 Atiyah-Bott-Lefschetz公式在何种程度上可推广至一般基上光滑完备堆栈上的凝聚层和D-模？

主要发现

• 二级迹在映射类群SL₂(ℤ)的作用下保持不变，其两种不同实现分别对应于生成元S和T。
• 通过在带标记的2-环面上的几何实现，二级迹被自然地识别为迭代迹。
• 该构造为范畴群表示的2-特征提供了模不变性性质。
• 为一般基上光滑完备堆栈的自同态建立了广义的Atiyah-Bott-Lefschetz公式，扩展了Frenkel-Ngô的猜想。
• 证明依赖于Morse理论技术与视觉化推理，为带奇异性的cobordism假设提供了具体的实现。
• 二级迹的构造是完全函子性的，且在对称单幕高阶范畴中保持对偶性和迹结构。