[论文解读] Bosonic Topological Insulators and Paramagnets: a view from cobordisms

Anton Kapustin|arXiv (Cornell University)|Apr 26, 2014

Topological Materials and Phenomena参考文献 12被引用 59

一句话总结

该论文采用基于cobordism的框架，对 D ≤ 4 个空间维度中的自旋统计为玻色子的拓扑绝缘体和参磁体进行分类，该方法超越了标准的群上同调理论。研究识别出一种独特的‘超越群上同调’的相态，存在于4D中，仅由引力异常保护，其特征为具有 Z₂ 拓扑序、费米任何任何任何子和费米子涡旋弦的能隙表面。该结果与早期通过拓扑场论及示性类（如Stiefel-Whitney类和Steenrod平方）提出的猜想一致。

ABSTRACT

We classify Bosonic Topological Insulators and Paramagnets in D<=4 spatial dimensions using the cobordism approach. For D<4 we confirm that the only such phase which does not fit into the group cohomology classification is the 3D Bosonic Topological Insulator protected by time-reversal symmetry whose surface admits an all-fermion topologically ordered state. For D=4 there is a unique "beyond group cohomology" phase. It is protected by gravitational anomalies of the boundary theory and is stable without any additional symmetry.

研究动机与目标

• 解决群上同调在分类具有连续 U(1) 和时间反演对称性的玻色子对称保护拓扑（SPT）相态时的局限性。
• 将此前仅适用于离散对称性的cobordism方法扩展至连续群，如 U(1) × ZT₂ 和 U(1) ⋊ ZT₂。
• 识别并表征群上同调无法捕捉的SPT相态，特别是由引力异常保护的相态。
• 构建显式的拓扑场论作用量，并验证其在cobordism和对称性变换下的不变性。
• 系统性地分类 D ≤ 4 中的玻色子SPT相态，包括一种无内在对称性保护的新4D相态。

提出的方法

• 通过将 U(1) gauge 场视为实值单纯1-上链，并利用上边界条件 δA ∈ Z 强制其平坦性，将cobordism分类框架适配于连续对称群。
• 利用示性类——Stiefel-Whitney类 w₁, w₂ 和 Steenrod平方——分析有效作用量中的全局异常和引力异常。
• 利用上积和Bockstein同调映射（β₂）构造拓扑不变量，特别分析模2下 β₂(F) = w₁ ∪ F 对于平坦 U(1) 连接的情形。
• 应用Wu公式和Cartan关系，在维度 D ≤ 5 的闭流形上推导示性类之间的代数约束。
• 通过恒等式如 Sq₁(F) = w₁ ∪ F 和 w₁²F = 0 在4-流形上验证候选作用量（S₂, S₃, S₄, S₅）的平凡性，确保与异常抵消的一致性。
• 使用扭曲的上边界算子 δ_w 来建模时间反演对称性，其中 w 是取值于 Z₂ 的1-上循环，通过 δ_w ˜A ∈ ZT 定义平坦性。

实验结果

研究问题

• RQ1 在 D ≤ 4 中，哪些具有 U(1) × ZT₂ 和 U(1) ⋊ ZT₂ 对称性的SPT相态未被群上同调所捕捉？
• RQ2 在缺乏全局对称性保护的情况下，引力异常如何保护SPT相态？
• RQ3 示性类——尤其是Stiefel-Whitney类和Steenrod平方——在具有时间反演对称性的SPT相态分类中起什么作用？
• RQ4 如何将cobordism方法推广至连续对称群，如 U(1)？
• RQ5 4D '超越群上同调'相态的表面拓扑序具有何种结构？

主要发现

• 在 D = 4 时，存在一种独特的SPT相态，其无法被群上同调所捕捉，且仅由引力异常保护，无需额外的全局对称性。
• 该4D相态可实现一种具有 Z₂ 拓扑序、费米子电任何子和费米子涡旋弦的能隙表面态，与自旋-1/2 表面任何子模型一致。
• Steenrod平方恒等式如 Sq₁(F) = w₁ ∪ F 和 w₁²F = 0 在4-流形上确保了某些候选作用量的平凡性，从而验证了分类的一致性。
• 对于 U(1) ⋊ ZT₂ 相态，4D中的作用量 S₄ 和5D中的 S₂ 因恒等式如 w₃F = 0 和 w₁w₂F = 0 而消失，这些恒等式源自Bockstein与Steenrod平方的关系。
• 群上同调无法分类具有全费米子表面态的3D时间反演对称性玻色子拓扑绝缘体，而该相态可被cobordism方法成功捕捉。
• cobordism框架在 D ≤ 3 中成功分类了所有已知的具有 U(1) × ZT₂ 和 U(1) ⋊ ZT₂ 对称性的玻色子SPT相态，未发现表中以外的额外相态。