[논문 리뷰] The tracial Rokhlin property for actions of finite groups on C*-algebras

N. Christopher Phillips|ArXiv.org|2006. 09. 28.

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

한 줄 요약

이 논문은 C*-대수에서 유한군 작용에 대해 추적적(Rokhlin) 성질, 근사적 표현 가능성, 근사적 내부성의 추적적 일반화를 도입한다. 단순한 유일한 C*-대수에서 추적적 차수 0인 경우에 유한군 작용이 추적적 Rokhlin 성질을 만족할 경우 그 교차곱은 다시 추적적 차수 0을 가지며, 이와 관련된 이중성, 추적적 근사적 표현 가능성, 추적적 근사적 내부성 간의 특성화를 제공한다. 특히 유한 아벨군과 순환군에 대해 다룬다.

ABSTRACT

We define "tracial" analogs of the Rokhlin property for actions of finite groups, approximate representability of actions of finite abelian groups, and of approximate innerness. We prove four analogs of related "nontracial" results. First, the crossed product of an infinite dimensional simple separable unital C*-algebra with tracial rank zero by an action of a finite group with the tracial Rokhlin property again has tracial rank zero. Second, an outer action of a finite abelian group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property if and only if its dual is tracially approximately representable, and is tracially approximately representable if and only if its dual has the tracial Rokhlin property. Third, if a strongly tracially approximately inner action of a finite cyclic group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property, then it is tracially approximately representable. Fourth, an automorphism of an infinite dimensional simple separable unital C*-algebra A with tracial rank zero is tracially approximately inner if and only if it is the identity on K_0 (A) mod infinitesimals.

연구 동기 및 목표

• 추적적 차수 0인 C*-대수에 적합한 '추적적' 버전의 Rokhlin 성질을 확장하기 위해.
• 엄격한 Rokhlin 성질 작용의 부족을 보완하기 위해 더 약하고 더 민첩한 추적적 변형을 도입하기 위해.
• 유한 아벨군에 대해 추적적 근사적 표현 가능성과 추적적 Rokhlin 성질 간의 이중성 결과를 수립하기 위해.
• K₀에 대한 무한소 모듈로 작용을 통해 추적적으로 근사적 내부 자동형사를 특성화하기 위해.
• 추적적 Rokhlin 성질을 갖는 강력한 추적적 근사적 내부 작용은 추적적으로 근사적 표현 가능하다는 것을 증명하기 위해.

제안 방법

• 추적적 중심성과 작은 추적을 갖는 프로젝션을 사용하여 C*-대수에서 유한군 작용에 대한 추적적 Rokhlin 성질을 정의한다.
• 추적적 근사 프레임워크를 활용하여 등변성 및 거의 불변 조건을 만족하는 프로젝션과 유니터리를 구성한다.
• 행렬 대수의 구조와 행렬 단위의 존재를 활용하여 추적 행동을 통제할 수 있는 유한차원 근사 구조를 구축한다.
• K-이론과 추적 상태의 결과를 적용하여 대수의 K₀에 대한 작용과 추적적 구조 간의 관계를 규명한다.
• 안정적 차수 1과 실수 차수 0의 가정을 통해 프로젝션의 Murray-von Neumann 동치성과 유니터리 동치성을 보장한다.
• 푸리에 변환을 통해 작용과 그 이중 작용 간의 이중성을 수립하고, 추적적 Rokhlin 성질과 추적적 근사적 표현 가능성 간의 동치성을 보여준다.

실험 결과

연구 질문

• RQ1 추적적 차수 0인 C*-대수에 대해 유한군 작용이 추적적 Rokhlin 성질을 만족할 경우 그 교차곱은 다시 추적적 차수 0을 가지는가?
• RQ2 유한 아벨군의 외부 작용에 대해 추적적 Rokhlin 성질은 이중 작용이 추적적으로 근사적 표현 가능할 것과 동치인가?
• RQ3 유한 순환군의 강력한 추적적 근사적 내부 작용이 추적적 Rokhlin 성질을 갖는다면, 반드시 추적적으로 근사적 표현 가능할 것인가?
• RQ4 단순한 유일한 C*-대수에서 추적적 차수 0인 자동형사는 언제 추적적으로 근사적 내부가 되는가?
• RQ5 강력한 추적적 근사 내부성의 특성화에서 유한 순서 조건을 약화시킬 수 있는가?

주요 결과

• 단순하고 유일하며 분리 가능한 C*-대수에서 추적적 차수 0인 경우에 대해, 유한군 작용이 추적적 Rokhlin 성질을 만족할 경우 그 교차곱 역시 다시 추적적 차수 0을 가진다.
• 단순하고 유일한 C*-대수에서 유한 아벨군의 외부 작용이 추적적 Rokhlin 성질을 갖는 것은 그 이중 작용이 추적적으로 근사적 표현 가능할 것과 동치이다.
• 유한 순환군의 강력한 추적적 근사적 내부 작용이 추적적 Rokhlin 성질을 갖는다면, 그 작용은 추적적으로 근사적 표현 가능하다.
• 단순하고 유일한 C*-대수에서 추적적 차수 0인 자동형사는 K₀에 대한 무한소 모듈로 작용이 항등사상으로서 작용할 경우에만 추적적으로 근사적 내부가 된다.
• 유한 순서 자동형사에 대해, 주어진 K-이론 조건 하에서 추적적 근사 내부성은 강력한 추적적 근사 내부성을 함의한다.
• 추적적 Rokhlin 성질은 엄격한 Rokhlin 성질보다 엄격하지 않으며, 비가환 토러스와 무리수 각도 회전 대수와 같은 주요 예시들에서도 성립한다.