[论文解读] Classification of crystalline topological insulators through K-theory

Luuk Stehouwer, Jan de Boer+2 more|arXiv (Cornell University)|Nov 6, 2018

Topological and Geometric Data Analysis被引用 5

一句话总结

本文提出一种系统方法，利用扭曲等变K-理论对晶体拓扑绝缘体进行分类，通过阿蒂yah-赫兹布鲁赫谱序列，从布里渊区对称子流形的分解中计算K-理论群。该方法通过分析稳定子群和扭曲表示环，显式计算拓扑不变量，提供了一个计算框架，阐明了对称性增强的拓扑相中局部与全局不变量的物理起源。

ABSTRACT

Topological phases for free fermions in systems with crystal symmetry are classified by the topology of the valence band viewed as a vector bundle over the Brillouin zone. Additional symmetries, such as crystal symmetries which act non-trivially on the Brillouin zone, or time-reversal symmetry, endow the vector bundle with extra structure. These vector bundles are classified by a suitable version of K-theory. While relatively easy to define, these K-theory groups are notoriously hard to compute in explicit examples. In this paper we describe in detail how one can compute these K-theory groups starting with a decomposition of the Brillouin zone in terms of simple submanifolds on which the symmetries act nicely. The main mathematical tool is the Atiyah-Hirzebruch spectral sequence associated to such a decomposition, which will not only yield the explicit result for several crystal symmetries, but also sheds light on the origin of the topological invariants. This extends results that have appeared in the literature so far. We also describe examples in which this approach fails to directly yield a conclusive answer, and discuss various open problems and directions for future research.

研究动机与目标

• 为具有晶格对称性的自由费米子系统中的拓扑相提供一个计算上可行的分类框架。
• 解决长期以来难以直接计算扭曲等变K-理论群的挑战，这些群素以计算困难著称。
• 阐明在动量空间高对称点处定义的局部不变量以及在圆或曲面上的全局不变量在拓扑绝缘体中的物理起源。
• 通过在统一的K-理论框架中整合非平凡的晶格对称性和时间反演对称性，扩展现有分类。
• 识别该方法的局限性，并指出在非平移对称系统中具有非恒定扭曲数据时的开放问题。

提出的方法

• 本文将阿蒂yah-赫兹布鲁赫谱序列应用于布里渊区的CW分解，其中晶体对称性作用平滑。
• 使用以稳定子群的扭曲表示环为系数的布雷东上同调，计算谱序列第二页。
• 该方法将K-理论群映射到取值于扭曲表示环的链形式，微分编码了固定点子空间之间的粘合条件。
• 谱序列收敛于扭曲等变K-理论，其伴随的分次项对应于最终的K-理论群。
• 通过将丛限制到陪集上的纤维并利用限制与共轭映射分析群作用，显式计算不变量。
• 该方法可推广至包含时间反演对称性和旋转对称性的场景，展示了高对称点处对称性增强如何约束不变量。

实验结果

研究问题

• RQ1 如何系统计算具有非平凡空间群对称性的晶体拓扑绝缘体的扭曲等变K-理论？
• RQ2 在动量空间高对称点处定义的局部不变量的物理与拓扑起源是什么？
• RQ3 全局不变量（如在圆或曲面上的不变量）如何从K-理论分类中涌现，并与能带拓扑相关联？
• RQ4 为何标准K-理论工具在具有非恒定扭曲数据的非平移对称系统中失效？是否存在替代方法？
• RQ5 当K-理论中的扭曲在布里渊区上变化时，完整分类的障碍是什么？

主要发现

• 阿蒂yah-赫兹布鲁赫谱序列通过将布里渊区分解为对称胞腔，为扭曲等变K-理论提供了实用的计算路径。
• 局部不变量源于高对称点处稳定子群的扭曲表示环，受群限制与共轭作用的约束。
• 全局不变量由谱序列收敛至完整K-理论群所捕获，其伴随的分次项反映了布里渊区上拓扑结构的分布。
• 该方法成功计算了具有时间反演对称性和二重旋转对称性的系统的K-理论群，得出明确的不变量。
• 该框架揭示了固定点子空间（如点、线、面）之间的粘合条件对于一致分类至关重要。
• 该方法在具有非恒定扭曲的非平移对称晶体中失效，凸显了将该方法扩展至所有晶系的关键开放问题。