[논문 리뷰] Cyclic cohomology for graded $C^{*,r}$-algebras and its pairings with van Daele $K$-theory

Johannes Kellendonk|arXiv (Cornell University)|2016. 07. 28.

Topological Materials and Phenomena참고 문헌 20인용 수 10

한 줄 요약

이 논문은 계급화된 $C^{*,r}$-대수에서 순환 코hom올로지 특성과 van Daele K-이론 클래스 간의 토르션 값 쌍형을 도입하여, 실수 위상적 절연체에서 위상적 불변량을 탐지할 수 있는 프레임워크를 제공한다. 이러한 쌍형이 순서 2인 요소—예를 들어 Kane-Mele 및 Fu-Kane-Mele 불변량—에 대해 비자명하다는 것이 입증되며, 이는 비주기적 및 주기적 모델에서 비주기적이고 국소적인 특성 기반의 전반-경계 상응의 형태를 제공한다.

ABSTRACT

We consider cycles for graded $C^{*,r}$-algebras (Real $C^{*}$-algebras) which are compatible with the $*$-structure and the real structure. Their characters are cyclic cocycles. We define a Connes type pairing between such characters and elements of the van Daele $K$-groups of the $C^{*,r}$-algebra and its real subalgebra. This pairing vanishes on elements of finite order. We define a second type of pairing between characters and $K$-group elements which is derived from a unital inclusion of $C^{*}$-algebras. It is potentially non-trivial on elements of order two and torsion valued. Such torsion valued pairings yield topological invariants for insulators. The two-dimensional Kane-Mele and the three-dimensional Fu-Kane-Mele strong invariant are special cases of torsion valued pairings. We compute the pairings for a simple class of periodic models and establish structural results for two dimensional aperiodic models with odd time reversal invariance.

연구 동기 및 목표

• 실수 $C^{*,r}$-대수에서 토르션 K-이론 클래스에 대해 Connes 형 쌍형이 항상 0이 되는 한계를 해결하기 위해.
• 시간역행 대칭을 가진 위상적 절연체에 관련된 순서 2 요소에 대해 비자명한 남아 있는 새로운 종류의 토르션 값 쌍형을 정의하기 위해.
• 단위 포함과 클리포드 대수의 구조를 사용하여 이러한 쌍형에 대한 명시적인 국소 공식을 제공하기 위해.
• 새로운 쌍형 프레임워크를 통해 비주기적 모델로 Kane-Mele 및 Fu-Kane-Mele 불변량을 일반화하기 위해.
• 실수 $C^{*,r}$-대수에서 전반-경계 상응의 특성 기반의 형태를 수립하기 위해.

제안 방법

• 대수의 $*$-구조와 실수 구조를 동시에 만족하는 계급화된 $C^{*,r}$-대수의 사이클을 정의하고, 그 특성이 순환 코사이클이 되도록 하기 위해.
• 그 특성과 van Daele K-이론 클래스 사이에 Connes 형 쌍형을 구축하며, 유한 순서 요소에서 이 쌍형이 0이 되는 것을 보여주기 위해.
• 단위 포함 $B \to \tilde{B}$ 를 통한 두 번째 쌍형을 도입하며, 특히 $B \to B \rtimes \text{Cl}_{1,0}$ 과 $B \to B \rtimes \text{Cl}_{0,1}$ 에 초점을 맞춰 토르션 불변량에 접근하기 위해.
• 클리포드 대수의 표현과 계급화된 텐서곱을 사용하여 토르션 값 쌍형에 대한 명시적인 국소 공식을 유도하기 위해.
• K-이론에 유도된 사상 $\varphi_*$ 의 핵을 분석하여 $K$-클래스가 추가 대칭(스핀 또는 치랄)을 갖는 조건을 파악하기 위해.
• 주기적 모델 $M_{2n}(bC) \otimes C(\bbT^2)$ 와 동형일 경우 쌍형을 계산하여, 이를 2를 모듈로로 한 Kane-Mele 불변량과 일치시킴으로써 일관성을 확인하기 위해.

실험 결과

연구 질문

• RQ1 Connes 형 쌍형이 실수 $C^{*,r}$-대수에서 토르션 K-이론 클래스에 대해 항상 0이 되는 상황에서, 이 쌍형이 위상적 불변량을 탐지할 수 있는가?
• RQ2 단위 포함 $B \to \tilde{B}$ 에 의해 유도된 $\ker \varphi_*$ 의 구조는 무엇이며, 물리적 대칭과 어떤 관련이 있는가?
• RQ3 순환 코hom올로지 특성과 K-이론 요소 간에 토르션 값 쌍형을 어떻게 명시적으로 구성할 수 있는가?
• RQ4 Kane-Mele 및 Fu-Kane-Mele 불변량이 제안된 쌍형 프레임워크의 특수한 경우로 나타나는 정도는 어느 정도인가?
• RQ5 이 쌍형은 특히 시간역행 대칭이 홀수인 두 차원 비주기적 모델로 확장될 수 있는가?

주요 결과

• 순환 코사이클과 van Daele K-이론 클래스 사이의 Connes 형 쌍형은 유한 순서 요소에서 0이 되며, 이는 토르션 불변량을 탐지하는 데 제한을 둔다.
• 순서 2인 $K$-클래스에 대해 토르션 값 쌍형은 비자명하며, 단위 포함 $B \to B \rtimes \text{Cl}_{1,0}$ 을 통해 명시적으로 계산된다.
• Kane-Mele 불변량을 위한 쌍형은 정확히 $\Delta^{j}_{\text{ch}_2 \# \kappa_1}([x_{z_0,z_1}])$ 와 일치하며, 이는 $[\frac{1}{2},1] \times \bbT^2$ 위에서 적분의 차이로 계산되며 2를 모듈로로 한다.
• 주기적 모델의 경우 쌍형은 표준적인 degree 공식과 일치하며, 기존 물리학 이론과의 일致를 확인한다.
• 시간역행 대칭이 홀수인 두 차원 비주기적 모델에서, 해밀토니언이 허수 치랄 대칭을 갖는다 하면 $K$-클래스는 $\ker \varphi_*$ 에 속해 있다.
• 이 프레임워크는 비주기적 시스템으로 Kane-Mele 불변량을 일반화하며, 국소적이고 특성 기반의 위상 불변량을 제공한다.