[论文解读] On the C*-algebraic approach to topological phases for insulators

Johannes Kellendonk|arXiv (Cornell University)|Sep 21, 2015

Advanced Operator Algebra Research参考文献 21被引用 12

一句话总结

本文提出了一种C*-代数框架，通过将可观测量代数视为同伦分类的拓扑空间，对绝缘体中的拓扑相进行分类。它采用van Daele的K-理论公式化方法，对由分级实结构编码的对称性下的相进行分类，得到强不变量，这些不变量与Kitaev周期表一致，并可推广至无序和准周期系统。

ABSTRACT

The notion of a topological phase of an insulator is based on the concept of homotopy between Hamiltonians. It therefore depends on the choice of a topological space to which the Hamiltonians belong. We advocate that this space should be the $C^*$-algebra of observables. We relate the symmetries of insulators to graded real structures on the observable algebra and classify the topological phases using van Daele's formulation of $K$-theory. This is related but not identical to Thiang's recent approach to classify topological phases by $K$-groups in Karoubi's formulation.

研究动机与目标

• 建立一个统一框架，利用可观测量代数的C*-代数作为基础拓扑空间，对绝缘体中的拓扑相进行分类。
• 通过使用保留K-理论和指标理论结构的C*-拓扑，克服传统方法（如向量丛分类或范数/弱/紧开拓扑）的局限性。
• 将对称性（如时间反演、粒子--hole对称性、手征对称性）作为C*-代数上的自同构或反线性映射来实现，从而实现拓扑相的函子化分类。
• 通过可观测量的代数结构，将分类推广至标准动量空间纤维化失效的无序和准周期系统。
• 通过迭代交叉积和K-理论函子的系统性计算，恢复Kitaev周期表中的强不变量。

提出的方法

• 将绝缘体定义为C*-代数 $ A $ 中的一个自伴可逆元，谱隙固定在零，形成集合 $ A^{s.a.}_{inv} $。
• 通过路径连通分支 $ \pi_0(A^{s.a.}_{inv}) $ 对拓扑相进行分类，利用van Daele的K-理论公式化方法将其映射到 $ A $ 的 $ K_0 $-群。
• 通过分级实结构实现对称性：二阶复线性自同构（如手征对称性）和反线性映射（如时间反演、粒子- hole对称性）。
• 使用交叉积构造 $ A = C(X) \rtimes_\alpha \mathbb{Z}^d $，其中 $ X $ 是具有有限局部复杂度的准晶或无序构型空间的包络。
• 对 $ d $ 重交叉积迭代应用K-理论的六项精确序列，将强不变量计算为 $ I_\alpha C(X, K_{i-d}(\mathbb{F})) $ 中的元素，其中 $ \mathbb{F} = \mathbb{C} $ 或 $ \mathbb{R} $。
• 通过 $ \tilde{\delta}[h] \in KO_{i-d}(\mathbb{R}) $ 将最终的强不变量与Kitaev周期表关联，其中Bott映射提供右逆，从而重建K-群。

实验结果

研究问题

• RQ1 在无序系统中，动量空间纤维化失效时，如何对绝缘体的拓扑相进行分类，使其仍保持有效？
• RQ2 在拓扑绝缘体的背景下，对称性（如时间反演、粒子- hole对称性、手征对称性）的正确C*-代数表述是什么？
• RQ3 van Daele的K-理论公式化如何为超越向量丛图景的拓扑相分类提供自然框架？
• RQ4 通过迭代交叉积计算出的强不变量与Kitaev周期表之间的精确关系是什么？
• RQ5 能否从连续模型 $ C_0(\mathbb{R}^d, M_n(\mathbb{C})) $ 出发，通过引入实结构，恢复标准的拓扑绝缘体周期表？

主要发现

• 绝缘体的拓扑相由 $ \pi_0(A^{s.a.}_{inv}) $ 分类，该集合通过van Daele的K-理论公式化与C*-代数 $ A $ 的 $ K_0 $-群同构。
• 对于在包络 $ X $ 中具有稠密轨道的系统，强不变量群为 $ I = I\_\alpha C(X, K_{i-d}(\mathbb{F})) \cong KO_{i-d}(\mathbb{R}) $，与Kitaev周期表一致。
• 在Kane-Mele模型中（2D，奇数时间反演对称性，无粒子- hole对称性），强不变量群为 $ KO_2(\mathbb{R}) \cong \mathbb{Z}_2 $，其生成元对应于 $ S^2 $ 上的Bott投影。
• 对于周期性能带模型，交叉积 $ C(\hat{\mathbb{Z}}^d) \rtimes \mathbb{Z}^d $ 的K-理论恢复了 $ d $-球面的K-群，与Kitaev的 $ \pi_0(R_{i-d}) $ 不变量一致。
• 连续模型 $ A = M_n(\mathbb{C}) \rtimes_{\mathrm{id}} \mathbb{R}^d $ 在引入实结构后，得到 $ KO_i(A^\mathfrak{f}) \cong KO_{i-d}(\mathbb{R}) $，在连续极限下确认了周期表。
• 六项精确序列中的商映射 $ \tilde{\delta} $ 具有由Bott映射给出的右逆，从而可从强不变量重建完整的K-群。