[논문 리뷰] On the C*-algebraic approach to topological phases for insulators

Johannes Kellendonk|arXiv (Cornell University)|2015. 09. 21.

Advanced Operator Algebra Research참고 문헌 21인용 수 12

한 줄 요약

이 논문은 관측가의 대칭성으로 표현된 대칭성을 갖는 절연체의 위상상태를 분류하기 위해 C*-대수의 관측가 대수를 호모토피 분류를 위한 위상공간으로 간주하는 C*-대수적 프레임워크를 제안한다. 반 데일의 K-이론 설정을 사용하여, 이는 강한 위상불변량을 도출하며, 키타에프 주기표와 일치하고, 불순물 및 페르리오딕 시스템으로 일반화된다.

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.

연구 동기 및 목표

• 관측가 대수를 기초 위상공간으로 삼아 절연체의 위상상태를 통합적으로 분류하는 프레임워크를 수립하기 위해.
• 기존의 접근(예: 벡터 번들의 분류 또는 노름/약한/콤���트 오픈 위상)의 한계를 극복하기 위해, K-이론과 지표이론적 구조를 유지하는 C*-위상을 사용하기 위해.
• 시간역전, 입자-홀, 케이랄 대칭성 등의 대칭성을 관측가 대수 위에서 자기동형사상 또는 반선형 사상으로 표현하여 위상상태의 함자적 분류를 가능하게 하기 위해.
• 기존 운동량공간의 피브레이션 구조가 붕괴하는 불순물 및 페르리오딕 시스템으로의 일반화를 위해 관측가의 대수적 구조에 기반하여 분류를 확장하기 위해.
• 반복된 교차곱셈과 K-이론 함자를 통한 강한 불변량의 체계적 계산을 통해 키타에프 주기표를 복원하기 위해.

제안 방법

• 절연체를 C*-대수 $ A $ 내의 자기수반이고 가역적인 원소로 정의하며, 스펙트럼 간극은 0으로 고정되어, 집합 $ A^{s.a.}_{inv} $ 를 형성한다.
• 경로연결성 성분 $ \pi_0(A^{s.a.}_{inv}) $ 를 통해 위상상태를 분류하고, 반 데일의 K-이론 설정을 사용하여 이들을 $ A $ 의 $ K_0 $-군으로 매핑한다.
• 대칭성을 계급화된 실수 구조를 통해 구현: 두 차수의 복소선형 자기동형사상(예: 케이랄 대칭성)과 반선형 사상(예: 시간역전, 입자-홀 대칭성).
• 교차곱셈 구조 $ A = C(X) \rtimes_\alpha \mathbb{Z}^d $ 를 사용하며, $ X $ 는 국소 복잡도가 유한한 페르리오딕 결정 또는 불순물 구성공간의 힐이다.
• 반복적인 $ d $-중 교차곱셈에 대해 K-이론의 6항 정확열을 적용하여 강한 불변량을 $ I_\alpha C(X, K_{i-d}(\mathbb{F})) $ 의 원소로 계산하며, $ \mathbb{F} = \mathbb{C} $ 또는 $ \mathbb{R} $ 이다.
• 최종 강한 불변량을 $ \tilde{\delta}[h] \in KO_{i-d}(\mathbb{R}) $ 를 통해 키타에프 주기표와 연결하며, Bott 사상이 K-군을 재구성하기 위한 오른쪽 역함수를 제공한다.

실험 결과

연구 질문

• RQ1 운동량공간의 피브레이션 구조가 붕괴하는 불순물 시스템에서, 위상상태를 어떻게 분류할 수 있는가?
• RQ2 위상 절연체의 맥락에서 시간역전, 입자-홀, 케이랄 대칭성 등의 대칭성에 대한 올바른 C*-대수적 설정은 무엇인가?
• RQ3 반 데일의 K-이론 설정은 벡터 번들의 그림을 넘어서 위상상태를 분류하는 데 어떻게 자연스러운 프레임워크를 제공하는가?
• RQ4 반복된 교차곱셈을 통해 계산된 강한 불변량과 키타에프 주기표 사이의 정확한 관계는 무엇인가?
• RQ5 표준 주기표는 연속 모델을 사용하여 $ C_0(\mathbb{R}^d, M_n(\mathbb{C})) $ 와 실수 구조를 갖는 경우에 복원될 수 있는가?

주요 결과

• 절연체의 위상상태는 반 데일의 K-이론 설정을 사용하여 $ \pi_0(A^{s.a.}_{inv}) $ 와 $ A $ 의 $ K_0 $-군 간의 동형사상으로 분류되며, 이는 동치이다.
• 힐 $ X $ 에서 조밀한 궤도를 갖는 시스템의 경우, 강한 불변량의 군은 $ I = I\_\alpha C(X, K_{i-d}(\mathbb{F})) \cong KO_{i-d}(\mathbb{R}) $ 로 주어지며, 이는 키타에프 주기표와 일치한다.
• 케인-멜레 모델(2차원, 홀수 시간역전 대칭성, 입자-홀 대칭성 없음)에서 강한 불변량 군은 $ KO_2(\mathbb{R}) \cong \mathbb{Z}_2 $ 이며, 이는 $ S^2 $ 위의 Bott 투사에 해당한다.
• 주기적 밴드 모델의 경우, 교차곱셈 $ C(\hat{\mathbb{Z}}^d) \rtimes \mathbb{Z}^d $ 의 K-이론은 $ d $-구의 K-군을 복원하며, 이는 키타에프의 $ \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}) $ 를 유도하며, 이는 연속극한에서 주기표를 확인한다.
• 6항 정확열의 몫 사상 $ \tilde{\delta} $ 는 Bott 사상에 의해 오른쪽 역함수를 갖으며, 이는 강한 불변량으로부터 전체 K-군을 재구성할 수 있게 한다.