[论文解读] Notes on twisted equivariant $\mathrm{K}$-theory for $\mathrm{C}^*$-algebras

Yosuke Kubota|arXiv (Cornell University)|Nov 17, 2015

Advanced Operator Algebra Research参考文献 28被引用 3

一句话总结

本文通过在具有扭曲表示的希尔伯特模上的弗雷德霍姆算子，为Z₂-分次C*-代数引入了一种广义的扭曲等变K-理论，为平凡分次代数提供了简洁的表述。该理论建立了与van Daele K-理论的联系，并将其应用于具有CT型对称性的拓扑绝缘体的体-边对应关系。

ABSTRACT

In this paper, we study a generalization of twisted (groupoid) equivariant $\mathrm{K}$-theory in the sense of Freed-Moore for $\mathbb{Z}_2$-graded $\mathrm{C}^*$-algebras. It is defined by using Fredholm operators on Hilbert modules with twisted representations. We compare it with another description using odd symmetries, which is a generalization of van Daele's $\mathrm{K}$-theory for $\mathbb{Z}_2$-graded Banach algebras. In particular, we obtain a simple presentation of the twisted equivariant $\mathrm{K}$-group when the $\mathrm{C}^*$-algebra is trivially graded. It is applied for the bulk-edge correspondence of topological insulators with CT-type symmetries.

研究动机与目标

• 通过在具有扭曲表示的希尔伯特模上使用弗雷德霍姆算子，推广Freed-Moore的Z₂-分次C*-代数的扭曲等变K-理论。
• 将该形式化与Z₂-分次巴拿赫代数的van Daele K-理论进行比较，提供一个统一的框架。
• 为平凡分次C*-代数提供扭曲等变K-群的简化表述。
• 将该理论应用于具有CT型对称性的拓扑绝缘体的体-边对应关系。
• 建立托普利茨精确序列中的边界映射与量子系统中体-边对应关系之间的联系。

提出的方法

• 将扭曲等变KK-理论群 $^\phi\mathrm{KK}^{\mathcal{G}}_{c,\tau}(A,B)$ 定义为 $\phi$-扭曲 $\mathcal{G}$-C*-代数上的双函子。
• 通过 $^\phi\mathrm{K}^{\mathcal{G}}_{c,\tau}(A) = {}^\phi\mathrm{KK}^{\mathcal{G}}_{c,\tau}(\mathbb{R}, A)$ 构造扭曲等变K-理论群，推广Atiyah的弗雷德霍姆算子公式。
• 通过Karoubi三元组建立扭曲等变K-群与van Daele型K-群之间的同构。
• 使用指数映射描述长正合序列中的边界映射，简化其表述。
• 将该框架应用于托普利茨扩张，推导出具有CT对称性的拓扑绝缘体的体-边对应关系。
• 利用 $^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A)$ 与 $\mathrm{KF}_n^{\mathcal{G}_0}(A)$ 在CT型对称性下的同构关系。

实验结果

研究问题

• RQ1 如何通过具有扭曲表示的弗雷德霍姆算子，将扭曲等变K-理论推广至Z₂-分次C*-代数？
• RQ2 基于弗雷德霍姆算子的扭曲K-理论与Z₂-分次巴拿赫代数的van Daele K-理论之间存在何种关系？
• RQ3 能否为平凡分次C*-代数获得扭曲等变K-群的简化表述？
• RQ4 长正合序列中的边界映射如何与拓扑绝缘体中的体-边对应关系相关联？
• RQ5 该框架在多大程度上能够对具有CT型对称性的费米子量子系统中的能隙哈密顿量进行分类？

主要发现

• 当 $A = C_0(X)$ 时，扭曲等变K-群 $^\phi\mathrm{K}^{\mathcal{G}}_{c,\tau}(A)$ 同构于 $X$ 上扭曲 $\mathcal{G}$-等变弗雷德霍姆算子族的同伦类群。
• 为扭曲等变KK-理论框架建立了格林-朱尔定理的推广。
• 对于平凡分次C*-代数，扭曲等变K-群可通过Karoubi三元组获得类似于Karoubi K-理论的表述。
• 对于具有扭曲 $(\phi, 0, \tau)$ 的CT型对称性，群 $^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A)$ 同构于 $\mathrm{KF}_n^{\mathcal{G}_0}(A)$，将该框架与Kitaev的周期表联系起来。
• 托普利茨精确序列中的边界映射 $\partial$ 由 $\partial[s] = [-\exp(\pi i \tilde{s})]$ 给出，为体-边对应关系提供了数学实现。
• 在托普利茨扩张中，边界映射 $\partial: {}^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A/I) \to {}^\phi\mathscr{K}_{-1,c,\tau}^{\mathcal{G}}(I)$ 被实现为 $0 \oplus \mathrm{id}_{\mathrm{KF}_{n-1}(A)}$，确认了边缘态的分类。