[논문 리뷰] Generalized homology and Atiyah-Hirzebruch spectral sequence in crystalline symmetry protected topological phenomena

Ken Shiozaki, Charles Zhaoxi Xiong외 1명|arXiv (Cornell University)|2018. 10. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 100인용 수 21

한 줄 요약

이 논문은 결정계 대칭을 가진 대칭 보호 양자 상(SPT)을 분류하기 위해 등변 일반화 호몰로지 이론 $ h^{G}_{n}(X) $ 를 제안한다. 이 이론은 아티야-히르츠브루흐 스펙트럴 시퀀스를 통해 층 구조, 고차원 SPT, 리브-슐츠-매티스 정리 등의 개념을 통합한다. 이 틀은 자유 및 상호작용 시스템 모두에 적용되며, 스펙트럴 시퀀스 계산을 통해 이상성과 표면 상태를 캡처하는 위상적 분류를 제공한다. 결과적으로 기약수 $ N $ 에 대해 $ H^5(K(\bbZ_N,2);\bbZ) \cong \bbZ_N $ 이고, 짝수 $ N $ 에 대해 $ \bbZ_{2N} $ 이다.

ABSTRACT

We propose that symmetry protected topological (SPT) phases with crystalline symmetry are formulated by equivariant generalized homologies $h^G_n(X)$ over a real space manifold $X$ with $G$ a crystalline symmetry group. The Atiyah-Hirzebruch spectral sequence unifies various notions in crystalline SPT phases such as the layer construction, higher-order SPT phases and Lieb-Schultz-Mattis type theorems. Our formulation is applicable to interacting systems with onsite and crystalline symmetries as well as free fermions.

연구 동기 및 목표

• 등변 일반화 호몰로지 이론을 사용하여 결정계 대칭 보호 양자 상(SPT)을 통합된 위상적 틀로 분류하는 것.
• 층 구조, 고차원 SPT, 리브-슐츠-매티스 정리 등 결정계 SPT 이론에서 산재한 개념들을 하나의 수학적 구조 아래 통합하는 것.
• 자유 Fermion을 넘어서 임의의 국소 대칭과 결정계 대칭을 가진 상호작용 시스템까지 분류를 확장하는 것.
• 아티야-히르츠브루흐 스펙트럴 시퀀스가 공간 차원과 표면에 국한된 상태에 기반한 SPT 상의 필터링 구조를 어떻게 캡처하는지 보여주는 것.
• 특히 $ N $ 의 기수성에 따라 달라지는 $ H^5(K(\bbZ_N,2);\bbZ) $ 와 같은 코homology 군의 체계적 계산을 제공하는 것.

제안 방법

• 결정계 대칭군 $ G $ 와 실공간 다양체 $ X $ 에 대해, 결정계 SPT 상의 분류를 등변 일반화 호몰로지 이론 $ h^{G}_{n}(X) $ 로 공식화한다.
• 아티야-히르츠브루흐 스펙트럴 시퀀스 (AHSS) 를 적용하여 일반화된 코homology 군을 계산하며, Eilenberg-MacLane 공간 $ K(\bbZ_N,2) $ 를 포함하는 피브레이션에 대해 레라-세르 스펙트럴 시퀀스를 사용한다.
• 스펙트럴 시퀀스 $ E_2^{p,q} = H^p(BG; h^q(\text{pt})) \Rightarrow h^{p+q}(BG) $ 를 사용하여 $ H^n(K(\bbZ_N,2);\bbZ) $ 를 계산하며, $ d_3 $ 와 $ d_5 $ 와 같은 미분을 추적한다.
• 일반화된 계수 정리와 쿤네트 공식을 활용하여 $ \bbZ $ 계수 코homology 를 $ \bbZ_2 $-코homology 와 연결하며, 특히 짝수 $ N $ 에서 중요한 역할을 한다.
• $ H^*(K(\bbZ_{2^f},2);\bbZ_2) \cong \bbZ_2[w_2,w_3,w_5,w_9,\dots] $ 의 구조를 활용하여 코homology 군의 토르션을 계산한다.
• $ \mathrm{Ext}(\bbZ_2,\bbZ_N) \cong \bbZ_2 $ 를 통해 확장의 분류를 유도하여, 짝수 $ N $ 에서 $ H^5(K(\bbZ_N,2);\bbZ) $ 를 결정한다.

실험 결과

연구 질문

• RQ1 일반화 호몰로지 이론을 통해 결정계 SPT 상을 어떻게 체계적으로 분류할 수 있는가?
• RQ2 아티야-히르츠브루흐 스펙트럴 시퀀스는 층 구조, 고차원 SPT, 리브-슐츠-매티스 정리 등을 어떻게 통합하는가?
• RQ3 등변 일반화 호몰로지 $ h^{G}_{n}(X) $ 는 결정계 대칭을 가진 상호작용 SPT 상의 위상적 불변량을 어떻게 캡처하는가?
• RQ4 AHSS 내의 미분, 예를 들어 $ d_3 $ 와 $ d_5 $ 는 $ H^5(K(\bbZ_N,2);\bbZ) $ 와 같은 코homology 군의 구조를 어떻게 결정하는가?
• RQ5 $ H^5(K(\bbZ_N,2);\bbZ) $ 의 정확한 분류는 무엇이며, 이는 $ N $ 의 기수성에 따라 어떻게 달라지는가?

주요 결과

• 결정계 SPT 상의 분류는 등변 일반화 호몰로지 $ h^{G}_{n}(X) $ 로 주어지며, 이는 하나의 틀 안에서 다양한 위상 현상을 통합한다.
• 아티야-히르츠브루흐 스펙트럴 시퀀스는 필터링 구조 $ 0 \subset F_0 h_n^G \subset \cdots \subset F_d h_n^G = h_n^G(X) $ 를 제공하며, 몫 $ F_p h_n^G / F_{p-1} h_n^G $ 는 $ (d-p+1) $ 차원 고차원 SPT 상을 분류한다.
• 기약수 $ N $ 에 대해 $ H^5(K(\bbZ_N,2);\bbZ) \cong \bbZ_N $ 이고, 짝수 $ N $ 에 대해 $ H^5(K(\bbZ_N,2);\bbZ) \cong \bbZ_{2N} $ 이다. 후자는 $ \mathrm{Ext}(\bbZ_2,\bbZ_N) \cong \bbZ_2 $ 로 분류되는 비자명한 확장을 통해 기인한다.
• 스펙트럴 시퀀스 계산 결과, 기약수 $ N $ 에서는 $ d_3: E_3^{0,4} \to E_3^{3,2} $ 가 동형사상임을 확인할 수 있으며, 이에 따라 $ E_\infty^{5,0} = 0 $ 이다. 반면 짝수 $ N $ 에서는 $ E_5^{0,4} \cong \bbZ_2 $ 를 제거하기 위해 $ d_5 $ 가 전단사여야 한다.
• $ H^6(K(\bbZ_N,2);\bbZ) $ 는 기약수 $ N $ 에서는 0 이지만, 짝수 $ N $ 에서는 $ \bbZ_2 $ 와 동형이 되며, 이는 스펙트럴 시퀀스 내의 토르션 구조를 반영한다.
• 짝수 $ N $ 에서 $ H^5(K(\bbZ_N,2);\bbZ) \cong \bbZ_{2N} $ 라는 결과는 쿤네트 공식과 $ K(\bbZ_{2^f},2) $ 의 $ \bbZ_2 $-코homology 를 기반으로 유도되며, 스펙트럴 시퀀스 내에서 $ w_d $ 생성자들이 수행하는 역할를 확인한다.