[论文解读] A functorial equivariant K-theory spectrum and an equivariant Lefschetz formula

Ivo Dell’Ambrogio, Heath Emerson+2 more|arXiv (Cornell University)|Apr 18, 2011

Advanced Operator Algebra Research参考文献 20被引用 8

一句话总结

本论文为紧致群或完备群胚 $G$ 的 $G$-C*-代数构造了一个函子性对称谱，代表了等变 K-理论，从而在 $\mathrm{KK}^G$ 的布丁克类中为强对偶对象的自同态提供了自然的迹映射。其关键贡献是针对霍奇金李群的等变 Lefschetz 迹公式，证明了范畴迹与等变 K-理论上的分次 Hattori–Stallings 迹一致。

ABSTRACT

We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the canonical traces for endomorphisms of strongly dualisable objects in the bootstrap class in equivariant KK, in analogy to previous results for traces in stable homotopy theory. As an application, we prove an equivariant analogue of the Lefschetz trace formula for Hodgkin Lie groups.

研究动机与目标

• 为紧致群或完备群胚构造一个函子性对称谱，代表 $G$-等变 K-理论。
• 在 $\mathrm{KK}^G$ 的布丁克类中，确立强对偶对象的自同态的自然迹的可加性。
• 为霍奇金李群证明一个等变 Lefschetz 迹公式，将范畴迹与等变 K-理论上的 Hattori–Stallings 迹相等化。
• 通过利用对偶性与三角范畴结构，将经典 Lefschetz 不动点定理推广至等变情形。

提出的方法

• 构造一个代表 $G$-等变 K-理论的对称谱，且对等变 $*$-同态具有函子性。
• 利用 $\mathrm{KK}^G$ 的三角范畴与对称张量结构，通过对偶性中的单位与余单位映射定义范畴迹。
• 应用具有兼容对称张量结构的三角范畴中迹的可加性定理，验证相容性公理。
• 通过投影分解与对偶性，将迹计算约化至张量单位 $\mathbb{C}$ 的情形，利用 $\mathbb{Z}[\beta,\beta^{-1}]$ 借助 Bott 周期性简化分次 $\mathrm{R}(G)$-模结构。
• 利用霍奇金李群的性质：由 $\mathbb{C}$ 生成的局部化子范畴等于非等变布丁克类，从而保证存在有限投影分解。
• 通过证明 $\mathrm{KK}^G_0(A,A)$ 中自同态 $f$ 的迹等于 $\mathrm{K}^G_*(A)$ 上的 Hattori–Stallings 迹，建立等变 Lefschetz 公式。

实验结果

研究问题

• RQ1 能否为紧致群或完备群胚构造一个函子性对称谱，以代表 $G$-等变 K-理论？
• RQ2 在布丁克类中，$\mathrm{KK}^G$ 中强对偶对象的自同态的自然迹是否在正合三角形中满足可加性？
• RQ3 是否存在一个等变 Lefschetz 迹公式，能将霍奇金李群情形下范畴迹与等变 K-理论上的 Hattori–Stallings 迹相等化？
• RQ4 在 $\mathrm{KK}^G$ 中的对偶性结构如何与非等变情形下的经典 Lefschetz 不动点定理相关联？

主要发现

• 为紧致群或完备群胚构造了一个函子性对称谱，代表 $G$-等变 K-理论，且对等变 $*$-同态具有函子性。
• 在 $\mathrm{KK}^G$ 的布丁克类中，强对偶对象的自同态的自然迹在正合三角形中具有可加性。
• 对于基本群为无 torsion 的连通紧致李群 $G$（即霍奇金李群），$f \in \mathrm{KK}^G_0(A,A)$ 的范畴迹等于 $\mathrm{K}^G_*(A)$ 上的 Hattori–Stallings 迹。
• 当 $A$ 属于布丁克类且 $\mathrm{K}^G_*(A)$ 作为 $\mathrm{R}(G)$-模是有限生成时，$\mathrm{K}^G_*(A)$ 上的 Hattori–Stallings 迹与范畴迹一致。
• 该结果成立是因为此类 $G$ 的 $\mathrm{R}(G)$ 是正则且诺特的，从而有限生成模存在有限投影分解。
• 证明通过利用对偶性与投影分解，将迹计算约化至张量单位 $\mathbb{C}$ 的情形，借助 Bott 周期性简化了分次 $\mathrm{R}(G)$-模结构。