[论文解读] Z_2 invariants of topological insulators as geometric obstructions

Domenico Fiorenza, Domenico Monaco+1 more|arXiv (Cornell University)|Aug 5, 2014

Topological Materials and Phenomena参考文献 31被引用 10

一句话总结

该论文证明，在具有费米子时间反演对称性的二维和三维拓扑绝缘体中，存在周期性和时间反演对称的布洛赫丛框架的障碍，其根源在于Z₂不变量，这些不变量被精确地证明对应于Fu-Kane和Fu-Kane-Mele指标。作者提供了一种构造性算法，用于在无障碍时构建此类框架，适用于离散和连续系统。

ABSTRACT

We consider a gapped periodic quantum system with time-reversal symmetry of fermionic (or odd) type, i.e. the time-reversal operator squares to -1. We investigate the existence of periodic and time-reversal invariant Bloch frames in dimensions 2 and 3. In 2d, the obstruction to the existence of such a frame is shown to be encoded in a $\mathbb{Z}_2$-valued topological invariant, which can be computed by a simple algorithm. We prove that the latter agrees with the Fu-Kane index. In 3d, instead, four $\mathbb{Z}_2$ invariants emerge from the construction, again related to the Fu-Kane-Mele indices. When no topological obstruction is present, we provide a constructive algorithm yielding explicitly a periodic and time-reversal invariant Bloch frame. The result is formulated in an abstract setting, so that it applies both to discrete models and to continuous ones.

研究动机与目标

• 理解在具有费米子时间反演对称性的能隙量子系统中，阻碍周期性和时间反演对称布洛赫丛框架存在的拓扑障碍。
• 识别在二维和三维空间中导致此类障碍的精确拓扑不变量。
• 证明这些不变量分别与二维和三维中广为人知的Fu-Kane和Fu-Kane-Mele指标完全一致。
• 在无拓扑障碍时，提供一种构造性算法以构建此类框架。
• 将结果以抽象形式表述，适用于离散和连续模型。

提出的方法

• 作者分析了具有费米子型时间反演对称性（即时间反演算符的平方为-1）的系统中布洛赫丛的几何结构。
• 他们将周期性和时间反演对称的布洛赫丛框架定义为布里渊区上布洛赫丛的光滑、全局定义的基。
• 利用纤维丛理论和特征类，推导出此类框架存在性的拓扑障碍。
• 在二维情况下，他们证明障碍由一个Z₂不变量捕获，可通过简单算法计算。
• 在三维情况下，他们识别出源于布洛赫丛结构的四个Z₂不变量，对应于Fu-Kane-Mele指标。
• 他们构建了一个显式算法，当Z₂不变量为零时，通过与时间反演对称性兼容的规范固定程序来构造不变的布洛赫丛框架。

实验结果

研究问题

• RQ1 在具有费米子时间反演对称性的二维系统中，哪些拓扑不变量阻碍了周期性和时间反演对称布洛赫丛框架的存在？
• RQ2 这些障碍如何与二维拓扑绝缘体中的Fu-Kane指标相关联？
• RQ3 在三维空间中，相应的拓扑不变量是什么？它们如何与Fu-Kane-Mele指标对应？
• RQ4 在何种条件下可以显式构造出周期性和时间反演对称的布洛赫丛框架？
• RQ5 该框架能否推广至离散和连续量子系统？

主要发现

• 在二维情况下，构造周期性和时间反演对称布洛赫丛框架的障碍完全由一个可经简单算法计算的Z₂不变量捕获。
• 该二维Z₂不变量被证明等价于Fu-Kane指标，证实了其物理意义。
• 在三维情况下，四个Z₂不变量作为障碍出现，恰好对应于四个Fu-Kane-Mele指标。
• 当所有Z₂不变量为零时，本文提供了一种构造性算法，可显式构建周期性和时间反演对称的布洛赫丛框架。
• 结果以抽象数学框架表述，确保其适用于离散晶格模型和连续系统。
• 该框架统一了时间反演对称拓扑绝缘体在不同维度下的几何与拓扑理解。