[논문 리뷰] The structure of crossed products of irrational rotation algebras by finite subgroups of SL_2 (Z)

Siegfried Echterhoff, Wolfgang Lueck외 2명|ArXiv.org|2006. 09. 28.

Advanced Operator Algebra Research참고 문헌 39인용 수 32

한 줄 요약

이 논문은 $ heta$ 가 무리수일 때, $ \mathrm{SL}_2(\mathbb{Z})$ 의 유한부분군인 $ \mathbb{Z}_2$, $ \mathbb{Z}_3$, $ \mathbb{Z}_4$, $ \mathbb{Z}_6$ 에 의한 무리회전 대수 $A_\theta$ 의 교차곱이 AF 대수임을 규명한다. $K$-이론 계산, 보편계수정리, 그리고 흔적 Rokhlin 성질을 이용하여, 이러한 교차곱이 흔적 랭크 0을 가지며, $K_0$-군에 의해 분류됨을 증명함으로써, $ \theta \mapsto \pm\theta \mod \mathbb{Z}$ 까지의 완전한 등형 분류를 확보한다.

ABSTRACT

Let F be a finite subgroup of SL_2 (Z) (necessarily isomorphic to one of Z/2Z, Z/3Z, Z/4Z, or Z/6Z), and let F act on the irrational rotational algebra A_θ via the restriction of the canonical action of SL_2 (Z). Then the crossed product of A_θ by F, and the fixed point algebra for the action of F on A_θ, are AF algebras. The same is true for the crossed product and fixed point algebra of the flip action of Z/2Z on any simple d-dimensional noncommutative torus A_Θ. Along the way, we prove a number of general results which should have useful applications in other situations.

연구 동기 및 목표

• 무리회전 대수에 작용하는 $ \mathrm{SL}_2(\mathbb{Z})$ 의 유한부분군 $F \subset \mathrm{SL}_2(\mathbb{Z})$ 에 대한 교차곱 $A_\theta \rtimes_\alpha F$ 의 구조를 규명하는 것.
• 모든 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 와 무리수 $ \theta$ 에 대해 이러한 교차곱이 AF 대수임을 증명하는 것.
• 그룹의 순서와 $ \theta$ 를 기준으로 이러한 교차곱의 완전한 등형 분류를 수립하는 것.
• 결과를 고차원 비환류 토러스의 플립 작용으로 확장하여, 그 교차곱이 역시 AF임을 증명하는 것.

제안 방법

• 행동에 기반한 명시적 생성자와 관계를 유도함으로써, $F \subset \mathrm{SL}_2(\mathbb{Z})$ 가 $A_\theta$ 에 작용하는 방식을 이용해 교차곱의 $K_0$-군을 계산하는 것.
• 코사이클을 반직접곱으로 확장함으로써, 교차곱이 보편계수정리를 만족함을 검증하는 것.
• 행동가의 흔적 Rokhlin 성질을 증명함으로써, 흔적 랭크 0을 확보하고, 이는 AF 분류의 핵심 조건임.
• Huaxin Lin의 흔적 랭크 0인 $C^*$-대수에 대한 분류 정리를 적용하여 AF 구조를 도출하는 것.
• George Elliott의 AF 대수에 대한 분류 정리를 이용하여 $K_0$-군을 비교하고, $\theta' = \pm\theta \mod \mathbb{Z}$ 일 때 $A_\theta \rtimes_\alpha F$ 와 $A_{\theta'} \rtimes_\alpha F$ 가 서로 동형임을 확립하는 것.
• 플립 작용을 통해 고차원 비환류 토러스로 결과를 확장하여, 비퇴화된 반대칭 $ \Theta$ 에 대해 $A_\Theta \rtimes_\varphi \mathbb{Z}_2$ 가 AF임을 보이는 것.

실험 결과

연구 질문

• RQ1 유한부분군 $F \subset \mathrm{SL}_2(\mathbb{Z})$ 와 무리수 $ \theta$ 에 대해 교차곱 $A_\theta \rtimes_\alpha F$ 는 AF 대수인가?
• RQ2 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 일 때 $A_\theta \rtimes_\alpha F$ 의 $K_0$-군의 구조는 무엇인가?
• RQ3 이러한 두 교차곱이 동형일 조건은 무엇인가?
• RQ4 고정점 대수 $A_\theta^F$ 는 교차곱으로부터 AF 성질을 계승하는가?
• RQ5 결과는 고차원 비환류 토러스의 플립 작용으로 확장될 수 있는가?

주요 결과

• 모든 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 와 무리수 $ \theta$ 에 대해 교차곱 $A_\theta \rtimes_\alpha F$ 는 AF 대수이다.
• $A_\theta \rtimes_\alpha \mathbb{Z}_2$ 의 $K_0$-군은 $\mathbb{Z}^6$ 와 동형이며, 흔적 측도의 상은 $\frac{1}{2}(\mathbb{Z} + \theta\mathbb{Z})$ 이다.
• $A_\theta \rtimes_\alpha \mathbb{Z}_3$ 의 $K_0$-군은 $\mathbb{Z}^8$ 와 동형이며, 상은 $\frac{1}{3}(\mathbb{Z} + \theta\mathbb{Z})$ 이다.
• $A_\theta \rtimes_\alpha \mathbb{Z}_4$ 의 $K_0$-군은 $\mathbb{Z}^9$ 와 동형이며, 상은 $\frac{1}{4}(\mathbb{Z} + \theta\mathbb{Z})$ 이다.
• $A_\theta \rtimes_\alpha \mathbb{Z}_6$ 의 $K_0$-군은 $\mathbb{Z}^{10}$ 와 동형이며, 상은 $\frac{1}{6}(\mathbb{Z} + \theta\mathbb{Z})$ 이다.
• 교차곱 $A_\theta \rtimes_\alpha F$ 는 $A_{\theta'} \rtimes_\alpha F$ 와 동형이 되기 위한 필요충분조건은 $k = l$ 이고 $\theta' \equiv \pm\theta \mod \mathbb{Z}$ 이다.