[논문 리뷰] Notes on twisted equivariant $\mathrm{K}$-theory for $\mathrm{C}^*$-algebras

Yosuke Kubota|arXiv (Cornell University)|2015. 11. 17.

Advanced Operator Algebra Research참고 문헌 28인용 수 3

한 줄 요약

이 논문은 허프만 연산자와 외부 표현을 갖는 힐버트 모듈러스 위에서 Z₂-등급 C*-대수에 대해 일반화된 비틀린 등변 K-이론을 도입하며, 등급이 자명한 대수의 경우 간단한 표현을 제공한다. 이는 반-다엘의 K-이론과 연결되며, CT-형 대칭을 갖는 위상 절연체의 밀도-모서리 상응성에 이론을 적용한다.

ABSTRACT

In this paper, we study a generalization of twisted (groupoid) equivariant $\mathrm{K}$-theory in the sense of Freed-Moore for $\mathbb{Z}_2$-graded $\mathrm{C}^*$-algebras. It is defined by using Fredholm operators on Hilbert modules with twisted representations. We compare it with another description using odd symmetries, which is a generalization of van Daele's $\mathrm{K}$-theory for $\mathbb{Z}_2$-graded Banach algebras. In particular, we obtain a simple presentation of the twisted equivariant $\mathrm{K}$-group when the $\mathrm{C}^*$-algebra is trivially graded. It is applied for the bulk-edge correspondence of topological insulators with CT-type symmetries.

연구 동기 및 목표

• 프레드홀름 연산자와 비틀린 표현을 갖는 힐버트 모듈러스를 사용하여 Z₂-등급 C*-대수에 대한 프리드-무어의 비틀린 등변 K-이론을 일반화한다.
• 이 서술 방식을 Z₂-등급 반바나흐 대수에 대한 반-다엘의 K-이론과 비교하여 통합된 프레임워크를 제공한다.
• C*-대수가 자명하게 등급이 부여된 경우 비틀린 등변 K-군의 간소화된 표현을 제공한다.
• 이론을 CT-형 대칭을 갖는 위상 절연체의 밀도-모서리 상응성에 적용한다.
• 토플리츠 정확수열의 경계 사상과 양자 시스템에서의 밀도-모서리 상응성 간의 연결 고리를 설정한다.

제안 방법

• ϕ-비틀린 G-C*-대수 위에서의 이중함수자리로 정의된 비틀린 등변 KK-이론 군 $^\phi\mathrm{KK}^{\mathcal{G}}_{c,\tau}(A,B)$를 정의한다.
• 비틀린 등변 K-이론 군을 $^\phi\mathrm{K}^{\mathcal{G}}_{c,\tau}(A) = {}^\phi\mathrm{KK}^{\mathcal{G}}_{c,\tau}(\mathbb{R}, A)$로 구성하여 아티야의 프레드홀름 연산자 서술을 일반화한다.
• 카루비 삼중항을 통해 비틀린 등변 K-군과 반-다엘 형 K-군 간의 동형을 확립한다.
• 지수 사상을 사용하여 장점 정렬 수열의 경계 사상을 기술함으로써 그 표현을 단순화한다.
• 토플리츠 확장을 적용하여 위상 절연체에서의 밀도-모서리 상응성을 유도한다.
• CT-형 대칭에 대해 $^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A)$와 $\mathrm{KF}_n^{\mathcal{G}_0}(A)$ 사이의 동형을 활용한다.

실험 결과

연구 질문

• RQ1 비틀린 표현을 갖는 프레드홀름 연산자를 사용하여 Z₂-등급 C*-대수에 대한 비틀린 등변 K-이론을 어떻게 일반화할 수 있는가?
• RQ2 비틀린 표현 기반의 프레드홀름 연산자 K-이론과 Z₂-등급 반바나흐 대수에 대한 반-다엘의 K-이론 간의 관계는 무엇인가?
• RQ3 등급이 자명한 C*-대수의 경우 비틀린 등변 K-군에 대해 간소화된 표현을 얻을 수 있는가?
• RQ4 장점 정렬 수열의 경계 사상은 위상 절연체에서의 밀도-모서리 상응성과 어떻게 관련되는가?
• RQ5 이 프레임워크는 페르미온 양자 시스템에서 CT-형 대칭을 갖는 간극이 있는 해밀토니언을 얼마나 잘 분류하는가?

주요 결과

• A = C₀(X)일 때, 비틀린 등변 K-군 $^\phi\mathrm{K}^{\mathcal{G}}_{c,\tau}(A)$는 X 위의 비틀린 G-등변 프레드홀름 연산자 가중족의 호모토피 클래스 군과 동형이다.
• 비틀린 등변 KK-이론 프레임워크에 대해 그린-줄 정리의 일반화가 확립되었다.
• 등급이 자명한 C*-대수의 경우, 카루비 삼중항을 통한 카루비의 K-이론과 유사한 표현을 갖는다.
• CT-형 대칭과 비틀림 (ϕ, 0, τ)에 대해 군 $^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A)$는 $\mathrm{KF}_n^{\mathcal{G}_0}(A)$와 동형이며, 이는 이론이 키타예프의 주기표와 연결됨을 보여준다.
• 토플리츠 정확수열의 경계 사상 ∂는 ∂[s] = [-\exp(\pi i \tilde{s})]로 주어지며, 이는 밀도-모서리 상응성의 수학적 실현을 제공한다.
• 토플리츠 확장에서 경계 사상 $\partial: {}^\phi\mathscr{K}_{0,c,\tau}^{\mathcal{G}}(A/I) \to {}^\phi\mathscr{K}_{-1,c,\tau}^{\mathcal{G}}(I)$는 0 ⊕ id_{KF_{n-1}(A)}로 표현되며, 이는 모서리 상태의 분류를 확인한다.