[论文解读] Fixed point theory and trace for bicategories

Kate Ponto|arXiv (Cornell University)|Jul 9, 2008

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

一句话总结

本文将对称单幕范畴中的迹推广至带有阴影的双范畴，为不动点不变量（如Lefschetz数、Nielsen数和Reidemeister迹）提供统一的范畴框架。它证明了这些不变量在此设定下均源于迹，并通过迹的函子性，无需依赖单纯方法，即证明了Lefschetz不动点定理的逆定理所需的关键识别关系。

ABSTRACT

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are refinements of the Lefschetz number and the fixed point index that give a converse to the Lefschetz fixed point theorem. An important part of this theorem is the identification of these different invariants. We define a generalization of the trace in symmetric monoidal categories to a trace in bicategories with shadows. We show the invariants used in the converse of the Lefschetz fixed point theorem are examples of this trace and that the functoriality of the trace provides some of the necessary identifications. The methods used here do not use simplicial techniques and so generalize readily to other contexts.

研究动机与目标

• 将对称单幕范畴中的经典迹推广至带有阴影的双范畴，以建立更广泛的范畴框架，用于不动点理论。
• 证明不动点理论中的关键不变量（如Reidemeister迹和Nielsen数）是此广义迹的实例。
• 利用迹的函子性，提供一种新的、非单纯化的逆Lefschetz不动点定理的证明。
• 通过带有双模的双范畴和阴影结构，为参数化与纤维化不动点不变量建立范畴基础。

提出的方法

• 在配备阴影结构的双范畴中引入迹，推广对称单幕范畴中的经典迹。
• 定义双范畴中的阴影与对偶性，特别针对参数化幺半群上的模与双模范畴。
• 构造基于增强幺半群的双模双范畴，并证明在此语境下阴影可通过等化子定义。
• 利用双范畴之间的 lax 函子来提升迹结构，并保持阴影相容性。
• 将迹应用于拓扑与参数化设定，包括纤维映射及具有群或路径幺半群作用的空间。
• 证明Reidemeister迹及相关不变量在此框架下自然地表现为迹，从而实现函子性识别。

实验结果

研究问题

• RQ1 如何将对称单幕范畴中的经典迹推广至带有阴影的双范畴，以统一不动点不变量？
• RQ2 在该广义框架中，Reidemeister迹与Nielsen数以何种方式作为迹出现？
• RQ3 能否通过迹的函子性而非单纯方法，证明Lefschetz不动点定理的逆定理？
• RQ4 在双模双范畴中，阴影与对偶性结构如何支持参数化与纤维化设定下不动点不变量的构造？
• RQ5 几何、同伦与代数Reidemeister迹之间在广义迹范畴下存在何种范畴关系？

主要发现

• 在带有阴影的双范畴中的广义迹，将Lefschetz数、不动点指标与Reidemeister迹统一为单一范畴构造的实例。
• 迹的函子性提供了证明Lefschetz不动点定理逆定理的关键识别：即Reidemeister迹当且仅当映射同伦于无不动点的映射时为零。
• 该构造避免了单纯方法，可自然推广至参数化与纤维化不动点理论。
• 在参数化幺半群上的双模双范畴中，阴影通过等化子定义，从而在增强与拓扑设定下支持迹构造。
• 几何与同伦Reidemeister迹被识别为参数化双模双范畴中的迹，且迹结构与Ranicki对偶性相容。
• Klein-Williams不变量被证明可在无基点双模设定下表示为迹，从而将框架扩展至非单连通空间。