[论文解读] On the noncommutative spectral flow

Charlotte Wahl|ArXiv.org|Feb 7, 2006

Advanced Operator Algebra Research参考文献 25被引用 13

一句话总结

本文通过公理化方法与酉变换方法，为希尔伯特 $C^*$-模上的正则自伴弗雷德霍姆算子路径引入了一般的非交换谱流。通过函子性公理建立了谱流的唯一性，并将其应用于定义非交换 Maslov 指标，该理论在 $KK$-理论与高阶指标理论中有应用。

ABSTRACT

We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the definition of a noncommutative Maslov index for paths of Lagrangians which appears in a splitting formula for the spectral flow. Analogously we study the spectral flow for odd operators on a graded module.

研究动机与目标

• 将经典谱流推广至希尔伯特 $C^*$-模上正则自伴弗雷德霍姆算子的路径，超越紧致预解算子的限制。
• 利用谱流为拉格朗日子路径定义非交换 Maslov 指标，受分裂公式与几何应用的启发。
• 通过引入相差紧算子的投影之间的相对指标，统一两种现有方法——谱截面与 Bott 陈化。
• 将谱流确立为 $K_0$-理论中的函子性不变量，与 $KK$-理论及 $C^*$-代数结构相容。
• 证明谱流由一组自然公理唯一确定，包括酉共轭下的不变性与有界变换的相容性。

提出的方法

• 通过酉变换与 Bott 陈化定义谱流，适用于端点可逆且具有正则弗雷德霍姆性质的路径。
• 为希尔伯特 $C^*$-模上相差紧算子的投影对引入相对指标，推广谱截面差的定义。
• 使用有界变换 $D \mapsto D(1+D^2)^{-1/2}$ 关联无界与有界算子路径，保持谱流的不变性。
• 通过 $KK$-理论中的 Kasparov 积与标准同构构造非交换谱流，特别在 $KK_0(\mathbb{C}, C_0((0,1), \mathcal{A}))$ 中。
• 将理论应用于非紧流形上的椭圆算子路径及 $C^*$-代数上的族，关联到高阶示性类与横截指标。
• 证明当两种定义均适用时，公理化定义与基于酉变换的定义等价，确保方法间的一致性。

实验结果

研究问题

• RQ1 如何将谱流推广至希尔伯特 $C^*$-模上正则自伴弗雷德霍姆算子的路径，超越紧致预解算子的情形？
• RQ2 在 $C^*$-代数与希尔伯特模的语境下，哪些公理性质能唯一刻画非交换谱流？
• RQ3 非交换 Maslov 指标与谱流之间有何关系，它在分裂公式中起什么作用？
• RQ4 即使广义谱截面不存在，是否仍能通过 Bott 陈化与酉变换定义谱流？
• RQ5 谱流与 $KK$-理论之间有何关系，特别是在奇 $K$-理论与 $KK$-理论配对的语境下？

主要发现

• 非交换谱流由一组公理唯一确定，这些公理包括在 $C^*$-代数 $\mathcal{A}$ 中的函子性、酉共轭下的不变性，以及与有界变换的相容性。
• 相差紧算子的投影的相对指标由少数公理唯一定义，并推广了 $C^*$-模设定下谱截面差元的定义。
• 在 $\mathbb{Z}/2$-分次希尔伯特 $C^*$-模上奇算子的谱流取值于 $K_1(\mathcal{A})$，将理论扩展至奇情形。
• 当两种定义均适用时，谱流与通过谱截面定义的族谱流一致，确保不同方法间的一致性。
• 谱流与 $KK$-理论中的 Kasparov 积及标准同构相关联，其中 $[F_t]$ 在 $KK_0(\mathbb{C}, C_0((0,1), \mathcal{A}))$ 中可表示为同构 $f: \mathbb{C} \to C_1^1 \otimes C_1^2$ 下的乘积像。
• 该构造为高阶指标理论中的应用提供了框架，包括高阶示性类与叶状丛的横截示性类。