[论文解读] Index pairings for pullbacks of C*-algebras

Ludwik Dąbrowski, Tom Hadfield+3 more|arXiv (Cornell University)|Jan 31, 2007

Advanced Operator Algebra Research参考文献 19被引用 4

一句话总结

本文提出了一种通用方法，通过利用Mayer-Vietoris正合序列和K-理论连接同态，将有限生成投影模（非交换向量丛）在拉回C*-代数上的指标配对计算，简化为在构成代数上的计算，并保持与Kasparov积的相容性。关键成果是简化了量子3-球面及其悬垂上的非交换瞬子丛的指标配对计算，通过归约为K-理论连接同态，实现了对任意绕数的瞬子荷的显式确定。

ABSTRACT

In this overview, we study how to reduce the index pairing for a fibre-product C*-algebra to the index pairing for the C*-algebra over which the fibre product is taken. As an example we analyze the case of suspensions and apply it to noncommutative instanton bundles of arbitrary charges over the suspension of quantum deformations of the 3-sphere.

研究动机与目标

• 开发一种在非交换几何中利用拉回C*-代数计算指标配对的通用框架。
• 通过K-理论正合序列，将C*-代数非约悬垂的指标配对计算归约为基代数上的计算。
• 将该方法应用于3-球面的量子形变，特别是$C(SU_q(2))$和$C(S^3_\theta)$，以计算瞬子荷。
• 建立从量子4-球面到其赤道量子3-球面的几何约化，以简化指标配对计算。
• 通过$K_1$-类中的酉矩阵，推广构造任意荷的非交换瞬子投影。

提出的方法

• 利用C*-代数拉回结构中一个满同态时的K-理论与K-同调的Mayer-Vietoris六项正合序列。
• 应用指标配对与Mayer-Vietoris序列中连接同态的相容性，借助Kasparov积的结合性。
• 通过奇到偶的连接同态$\partial_{01}$，将非约悬垂上的指标配对计算归约为原始C*-代数上的计算。
• 通过显式构造$K_1$-群中的酉代表元（如$C(S^3_\theta)$中的$\mathrm{u}_\theta$），生成瞬子幂等元。
• 利用K-理论的同伦不变性，通过形变将酉矩阵简化为标准形式。
• 应用Serre-Swan定理，将非交换代数上的有限生成投影模解释为非交换向量丛。

实验结果

研究问题

• RQ1 如何将拉回C*-代数上非交换向量丛的指标配对计算，归约为构成代数上的计算？
• RQ2 Mayer-Vietoris连接同态在非交换几何中简化指标配对计算时起什么作用？
• RQ3 如何通过赤道约化至量子3-球面，计算量子4-球面上非交换丛的瞬子荷？
• RQ4 能否为$S^3$的量子形变上的非交换瞬子丛构造任意荷的幂等元？
• RQ5 生成$C(S^3_\theta)$上瞬子丛的酉矩阵的$K_1$-类的显式形式是什么？

主要发现

• 非约悬垂C*-代数的指标配对可通过Mayer-Vietoris连接同态归约为原始C*-代数上的指标配对。
• 连接同态$\partial_{01}$将酉矩阵的$K_1$-类映射到赤道量子3-球面代数的$K_1$-类，从而实现荷的计算。
• 对于$C(S^3_\theta)$，酉矩阵$\mathrm{u}_\theta = \begin{bmatrix} \alpha & -\bar{\lambda}\beta^* \\ \beta & \alpha^* \end{bmatrix}$生成$K_1(C(S^3_\theta))$，并通过$\mathrm{u}_\theta^n$产生荷为$n$的瞬子幂等元。
• $K_1$-类的瞬子投影被证明为$[SS^* \otimes 1 + (1 - SS^*) \otimes V^*]$，位于$K_1(C(S^3_q))$中，通过同伦等价确认了荷。
• 该方法避免了局部指标定理所需的数百项直接计算，转而使用拓扑约化与K-理论工具。
• 该构造可推广至任意绕数，从而在量子3-球面上生成任意荷的非交换瞬子丛。