[论文解读] Traces in symmetric monoidal categories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|Jul 29, 2011

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

一句话总结

本文对范畴论中的对称单峰迹（symmetric monoidal trace）提供了全面的阐述，将经典矩阵迹推广至对称单峰范畴中的可对偶对象。它将迹确立为在拓扑学、代数和逻辑中检测不动点的强大不变量，关键成果包括其自然性、函子性，以及在Lefschetz不动点定理和高阶欧拉示性数中的应用。

ABSTRACT

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things, this note is intended as background for the generalizations to the context of bicategories and indexed monoidal categories.

研究动机与目标

• 将迹的概念从矩阵形式扩展至对称单峰范畴中可对偶对象的自同态，实现形式化与推广。
• 阐明迹与不动点之间的深层联系，特别是在无法全局定义不动点算子的语境中。
• 在单一范畴框架下统一来自代数、拓扑学、逻辑和域理论的多样实例。
• 建立迹构造的根基性质，如循环性、自然性与函子性。
• 为后续研究中在双范畴与索引单峰范畴中的高级推广奠定基础。

提出的方法

• 使用弦图演算（string diagram calculus）来可视化和推理对称单峰范畴中态射与迹的性质。
• 通过对偶性定义迹：对于可对偶对象 $X$，态射 $f: X \to X$ 的迹通过共评估与评估映射构造。
• 通过扭同构 $\tau: X \to X$ 引入扭曲迹（twisted traces），将标准迹推广至参数化或纤维化设置。
• 将迹应用于各类范畴：$\mathbf{Set}$、$\mathbf{Ab}$、$\mathbf{Sup}$、$\mathbf{Top}$、$\mathbf{Rel}$ 以及 $\mathbf{Sp}$（稳定同伦），展示其在形变下的不变性。
• 利用自由阿贝尔群与自由上层（free suplattice）函子，将迹提升至加法或序理论设置，实现对不动点的计数或求和。
• 通过证明迹构造与单峰函子可交换，展示其函子性，从而在不同范畴间保持结构。

实验结果

研究问题

• RQ1 如何将矩阵的经典迹范畴化推广至对称单峰范畴中可对偶对象的自同态？
• RQ2 对称单峰迹在何种方式下编码了不动点信息，特别是在无法定义全局不动点算子的语境中？
• RQ3 迹的相干性与自然性性质是什么？它们如何支持Lefschetz不动点定理等应用？
• RQ4 扭曲迹如何推广标准迹？它们在哪些语境中自然出现？
• RQ5 迹与更高阶不变量（如欧拉示性数或拓扑中的稳定同伦类）之间存在何种关系？

主要发现

• 在对称单峰范畴中，若对象 $X$ 可对偶，则自同态 $f: X \to X$ 的迹是良定义的态射 $I \to I$，推广了矩阵迹。
• 在 $\mathbf{Set}$ 中，自由上层函子 $\mathcal{P}$ 下 $\mathcal{P}(f)$ 的迹是 $f$ 的不动点集合，现作为 $\mathcal{P}(M)$ 中的元素。
• 在 $\mathbf{Ab}$ 中，$\mathbb{Z}[f]: \mathbb{Z}[Q] \otimes \mathbb{Z}[M] \to \mathbb{Z}[M]$ 的迹将每个 $q \in Q$ 映射为 $f(q, -)$ 的不动点数量。
• 在 $\mathbf{Rel}$ 中，$\Gamma_f$ 的迹是关系 $\{q \in Q \mid f(q, -) \text{ 有不动点}\}$，捕捉不动点的存在性。
• 在稳定同伦理论中，若连续映射 $f: Q \times M \to M$ 满足 $\Sigma_+^\infty M$ 可对偶，则其迹为一个稳定映射 $Q \to S^0$，当不存在不动点时该映射平凡。
• 对于Alexandrov空间，$\mathbf{Sup}$ 中 $f^{-1} \circ \cap$ 的迹对应集合 $\{a \in A \mid a \leq f(a)\}$ 的闭包，将序理论与拓扑不动点联系起来。