[논문 리뷰] Furstenberg transformations on irrational rotation algebras

Hiroyuki Osaka, N. Christopher Phillips|ArXiv.org|2004. 09. 09.

Advanced Operator Algebra Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 무리 회전 C*-대수에서 비가환 푸르스텐베르크 변환을 도입하고, 1, θ, γ 가 ℚ 위에서 일차독립일 때 이러한 자동형사상이 추적 Rokhlin 성질을 가짐을 증명한다. 이는 해당 교차곱이 안정적 차수 1, 실수 차수 0, 그리고 추적에 의해 결정되는 프로젝션 순서를 가짐을 의미하며, 이는 이러한 대수에 대해 블랙더의 두 번째 기본 비교 질문을 해결한다. 결과는 다섯 차원의 비아벨 리 군의离散 부분군의 C*-대수의 일부 단순 몫으로까지 확장되며, 이들 역시 동일한 구조적 성질을 가짐을 보여준다.

ABSTRACT

We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by traces (Blackadar's Second Fundamental Comparability Question). We also prove that several classes of simple quotients of the C*-algebras of discrete subgroups of five dimensional nilpotent Lie groups, considered by Milnes and Walters, are crossed products of simple C*-algebras (C*-algebras of minimal ordinary Furstenberg transformations) by automorphisms which have the tracial Rokhlin property. It follows that these algebras also have stable rank one, real rank zero, and order on projections determined by traces.

연구 동기 및 목표

• 무리 회전 대수 A_θ 위에서 비가환 푸르스텐베르크 변환을 정의하고 연구한다.
• 이 자동형사상이 강한 외부성의 형태인 추적 Rokhlin 성질을 가지는 조건을 확립한다.
• 이러한 자동형사상에 의한 교차곱이 안정적 차수 1, 실수 차수 0, 그리고 추적에 의해 결정되는 프로젝션 순서를 가짐을 증명한다.
• 이러한 결과를 다섯 차원의 비아벨 리 군의 이산 부분군의 C*-대수의 단순 몫으로까지 확장한다.
• 추적 Rokhlin 성질을 통해 블랙더의 두 번째 기본 비교 질문을 넓은 범위의 C*-대수에 대해 해결한다.

제안 방법

• 생성자 u와 v에 대해 스케일링과 토글링을 수행하는 자동형사상 α_θ,γ,d,f를 통해 무리 회전 대수 A_θ 위에서 푸르스텐베르크 변환을 정의한다.
• 1, θ, γ 가 ℚ 위에서 일차독립일 때, GNS 구성과 유도된 자동형사상이 타입 II₁ 인라인에서의 비주기성에 기반한 기준을 사용하여 α_θ,γ,d,f 가 추적 Rokhlin 성질을 가짐을 증명한다.
• 추적 Rokhlin 성질을 이용하여 교차곱 C*(ℤ, A_θ, α) 가 안정적 차수 1, 실수 차수 0, 그리고 추적이 프로젝션 순서를 결정함을 유도한다.
• Milnes와 Walters의 C*-대수 A_θ^5,3, A_θ^5,6, A_θ^5,3(α,β,γ,δ,ε) 를 분석하여, 이들이 최소 푸르스텐베르크 변환의 단순 C*-대수와 추적 Rokhlin 성질을 가진 자동형사상에 의한 교차곱임을 보인다.
• GNS 표현에서의 외부성 확인을 위해 추적 Rokhlin 성질 기준을 적용하여 관련 자동형사상이 외부임을 확인한다.
• 추적 차수 0과 추적 Rokhlin 성질을 가진 C*-대수에 대한 알려진 결과를 활용하여 안정적 차수 1, 실수 차수 0 등의 구조적 성질을 도출한다.

실험 결과

연구 질문

• RQ1 무리 회전 대수에서 비가환 푸르스텐베르크 변환이 추적 Rokhlin 성질을 가지는 조건은 무엇인가?
• RQ2 추적 Rokhlin 성질이 성립할 경우, 이러한 자동형사상에 의한 교차곱이 어떤 구조적 성질을 갖는가?
• RQ3 다섯 차원의 비아벨 리 군에서 유래한 C*-대수 A_θ^5,3 와 A_θ^5,6 는 추적 Rokhlin 성질을 가진 교차곱으로 표현될 수 있는가?
• RQ4 다섯 차원의 비아벨 리 군의 이산 부분군의 C*-대수의 단순 몫은 안정적 차수 1과 실수 차수 0을 갖는가?
• RQ5 블랙더의 두 번째 기본 비교 질문에서 제기된 바와 같이, 이러한 C*-대수의 프로젝션 순서는 추적으로 결정되는가?

주요 결과

• 1, θ, γ 가 ℚ 위에서 일차독립일 때, A_θ 위의 자동형사상 α_θ,γ,d,f 는 추적 Rokhlin 성질을 가진다.
• 교차곱 C*(ℤ, A_θ, α_θ,γ,d,f) 는 안정적 차수 1과 실수 차수 0을 가진다.
• C*(ℤ, A_θ, α_θ,γ,d,f) 에서 프로젝션의 순서는 추적으로 완전히 결정된다.
• C*-대수 A_θ^5,3(α,β,γ,δ,ε) 는 최소 푸르스텐베르크 변환의 단순 C*-대수와 추적 Rokhlin 성질을 가진 자동형사상에 의한 교차곱과 동형이다.
• C*-대수 A_θ^5,6 는 최소 푸르스텐베르크 변환의 단순 C*-대수와 추적 Rokhlin 성질을 가진 자동형사상에 의한 교차곱과 동형이다.
• 이러한 모든 대수—A_θ^5,3, A_θ^5,6, A_θ^5,3(α,β,γ,δ,ε)—는 안정적 차수 1, 실수 차수 0, 유일한 추적 상태를 가지며, 추적이 프로젝션 순서를 결정한다.