[논문 리뷰] Crossed products by finite cyclic group actions with the tracial Rokhlin property

N. Christopher Phillips|ArXiv.org|2003. 06. 28.

Advanced Operator Algebra Research참고 문헌 38인용 수 33

한 줄 요약

이 논문은 안정적으로 유한한 단순 단위 C*-대수에서 유한 순환군 작용에 대해 트레이스 Rokhlin 성질을 도입하며, 이러한 작용 하에서 트레이스 순위가 0인 대수의 교차곱이 여전히 트레이스 순위 0을 유지함을 증명한다. 주요 기여는 모든 단순 고차원 비가환 토러스가 AT 대수임을 귀납적으로 증명한 것으로, 이는 이전의 무리수 회전 대수와 고차원 유사체에 대한 결과를 확장한다. 추가로, 무리수 회전 대수의 교차곱과 비가환 토러스에서의 $\mathbb{Z}_2$ 플립 작용이 실수 순위 0을 가진 AF 또는 AH 대수임을 밝혀낸다.

ABSTRACT

We define the tracial Rokhlin property for actions of finite cyclic groups on stably finite simple unital C*-algebras. We prove that when the algebra is in addition simple and has tracial rank zero, then the crossed product again has tracial rank zero. Under a kind of weak approximate innerness assumption and one other technical condition, we prove that if the action has the the tracial Rokhlin property and the crossed product has tracial rank zero, then the original algebra has tracial rank zero. We give examples showing how the tracial Rokhlin property differs from the Rokhlin property of Izumi. We use these results, together with work of Elliott-Evans and Kishimoto, to give an inductive proof that every simple higher dimensional noncommutative torus is an AT algebra. We further prove that the crossed product of every simple higher dimensional noncommutative torus by the flip is an AF algebra, and that the crossed products of irrational rotation algebras by the standard actions of the cyclic groups of orders 3, 4, and 6 are simple AH algebras with real rank zero.

연구 동기 및 목표

• 안정적으로 유한하고 단순하며 단위를 가지며 트레이스 순위 0인 C*-대수에 대해 Izumi의 엄격한 Rokhlin 성질의 더 약한 대체 정의를 유한 순환군 작용에 대해 정의한다.
• 이러한 대수의 교차곱이 트레이스 순위 0을 유지하는 조건을 확립하여 귀납적 분류 추론을 가능하게 한다.
• 모든 단순 고차원 비가환 토러스가 AT 대수임을 증명함으로써, 이전의 무리수 회전 대수 및 고차원 유사체 결과를 확장한다.
• $\mathbb{Z}_3$, $\mathbb{Z}_4$, $\mathbb{Z}_6$의 표준적 작용과 고차원 비가환 토러스에서의 $\mathbb{Z}_2$ 플립 작용을 분석하여, 그 교차곱이 실수 순위 0을 가진 AH 대수임을 보인다.
• 트레이스 Rokhlin 성질의 한계를 탐색하고, 비단순, 순수 무한성 또는 프로젝션 수가 적은 C*-대수에 대한 일반화를 제안한다.

제안 방법

• Lin의 트레이스적으로 AF 대수의 일반화 방식과 유사하게, 군 작용과 거의 교환되는 프로젝션과 추적 조건을 사용하여 트레이스 Rokhlin 성질을 정의한다.
• 만일 단위 C*-대수가 트레이스 순위 0을 가지며, 트레이스 Rokhlin 성질을 가진 작용을 갖는다면, 그 교차곱 역시 트레이스 순위 0을 가짐을 증명한다.
• H. Lin의 트레이스 순위 0인 단순 C*-대수의 분류 정리를 활용하여 비가환 토러스에 대한 귀납적 구조 정리를 확립한다.
• 정리 8.2를 적용하여 추적과 K-이론 분석을 통해 무리수 회전 대수에서의 표준 작용과 비가환 토러스에서의 플립 작용에 대해 트레이스 Rokhlin 성질을 검증한다.
• 교차곱의 K-이론을 계산하여 $C^*(\mathbb{Z}_4, A_\theta)$ 가 무리수 $\theta$ 에 대해 조밀한 $G_\delta$-집합에서 AF 대수임을 보이고, 실수 순위 0과 안정적 순위 1 결과를 활용하여 이를 모든 무리수 $\theta$ 에까지 확장한다.
• 이중성과 고정점 대수 기법을 사용하여 쌍대 작용을 분석하고, 특정 케이스에서 트레이스 Rokhlin 조건을 검증한다.

실험 결과

연구 질문

• RQ1 유한 순환군 작용에 대해 C*-대수에서 트레이스 Rokhlin 성질이 교차곱이 트레이스 순위 0을 유지함을 의미하는가?
• RQ2 원래 C*-대수와 그 교차곱이 모두 트레이스 순위 0을 가지며, 작용과 그 쌍대 작용이 트레이스적으로 근사적으로 내부일 경우, 작용이 반드시 트레이스 Rokhlin 성질을 가져야 하는가?
• RQ3 비안정적으로 유한하거나 비단순, 또는 순수 무한성인 C*-대수로 트레이스 Rokhlin 성질을 일반화할 수 있는가, 특히 프로젝션 수가 적은 대수에 대해서는?
• RQ4 트레이스 순위 0이지만 하나 이상의 추적 측도를 가지는 단순 단위 C*-대수에 대해 트레이스 Rokhlin 성질의 변종이 존재하는가?
• RQ5 특히 $K_0$가 무한소 부분군 모odulo에서 자명하게 작용할 경우, 자명한 작용이 트레이스적으로 근사적으로 내부일 조건은 무엇인가?

주요 결과

• 안정적으로 유한하고 단순하며 단위를 가지며 트레이스 순위 0인 C*-대수에서 트레이스 Rokhlin 성질을 가지는 작용을 갖는 교차곱 역시 트레이스 순위 0을 가진다.
• 모든 단순 고차원 비가환 토러스는 트레이스 Rokhlin 성질을 사용한 귀납적 추론을 통해 AT 대수임을 증명할 수 있다.
• 무리수 회전 대수에서 $\mathbb{Z}_4$ 작용의 교차곱은 무리수 회전 수에 대해 조밀한 $G_\delta$-집합에서 AF 대수이며, 실수 순위 0과 안정적 순위 1 결과를 활용하여 모든 무리수 $\theta$ 에 대해 AF 대수임을 보였다.
• 무리수 회전 대수에서 $\mathbb{Z}_3$ 또는 $\mathbb{Z}_6$ 작용의 교차곱은 실수 순위 0을 가지는 단순 AH 대수이다.
• 단순 고차원 비가환 토러스에서 플립 자명형 작용의 교차곱은 AF 대수이다.
• $\mathbb{Z}_4$ 작용에 대해 무리수 회전 대수의 교차곱은 모든 무리수 $\theta$ 에 대해 실수 순위 0과 안정적 순위 1을 가지며, Walters의 $G_\delta$-집합 결과를 초월하여 확장된다.