[논문 리뷰] The tracial Rokhlin property is generic

N. Christopher Phillips|arXiv (Cornell University)|2012. 09. 18.

Advanced Operator Algebra Research참고 문헌 15인용 수 12

한 줄 요약

이 논문은 특정 C*-대수, 특히 자코브-수 대수 Z 또는 쿤츠 대수 𝒪∞, 또는 유형이 무한한 UHF 대수와의 텐서곱에 대해 안정적인 대수들에서, 트레이스 Rokhlin 성질을 가진 자기동형사상들이 일반적임을 입증한다—즉, 조밀한 Gδ 부분집합을 이룬다. 결과는 유한군 작용으로까지 확장되며, Baire 범주론적 추론과, 투영원소가 없는 상황에서 투영원소 대신 양의 원소를 사용한 Rokhlin 유사 구성 기법을 통해 이루어진다.

ABSTRACT

We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among all automorphisms (or actions), or in a suitable class of automorphisms. That is, the ones with the version of the Rokhlin property contain a dense $G_δ$-subset of the set of all such automorphisms (or actions). Specifically, we prove the following. If $A$ is stable under tensoring with the Jiang-Su algebra $Z,$ and has tracial rank zero, then automorphisms with the tracial Rokhlin property are generic. If $A$ has tracial rank zero, or, more generally, $A$ is tracially approximately divisible together with a technical condition, then automorphisms with the tracial Rokhlin property are generic among the approximately inner automorphisms. If $A$ is stable under tensoring with the Cuntz algebra ${\mathcal{O}}_{\infty}$ or with a UHF algebra of infinite type, then actions of ${\mathbb{Z}}^d$ on $A$ with the Rokhlin property are generic among all actions of ${\mathbb{Z}}^d.$ We further give a related but more restricted result for actions of finite groups.

연구 동기 및 목표

• 특정 클래스의 C*-대수에서 트레이스 Rokhlin 성질을 가진 자기동형사상들이 일반적임을 보이는 것.
• 트레이스 Rokhlin 성질의 개념을 투영원소가 없는 대수, 예를 들어 장강-수 대수 Z에 대해 양의 원소를 사용하여 일반화하는 것.
• Z^d 또는 유한군 작용이 안정적인 C*-대수에서 Rokhlin 성질을 가진다는 점을 Baire 범주론적 방법으로 보여주는 것.
• 많은 구성된 C*-대수들이 실수 계수 0과 유일한 트레이스 측도를 가진 이유를 위상적 설명으로 제공하는 것.

제안 방법

• Aut(A)에서의 점별 노름 수렴 위상과 작용들에 대한 곱 위상(완비 거리형 공간임)을 사용하는 것.
• 양의 원소 또는 투영원소를 사용한 근사 Rokhlin 조건을 만족하는 자기동형사상 또는 작용들의 열린 집합 W(F,ε)를 정의하는 것.
• Baire 범주 정리를 적용하여, 조밀한 열린 집합들의 교집합이 Rokhlin 유사 자기동형사상의 조밀한 Gδ 집합을 이룬다는 것을 보이는 것.
• 행렬 대수에서 순환 이동을 사용하여 Rokhlin 타워를 구성하는 것.
• 자기동형사상 군으로의 Rokhlin 성질의 상향 전이를 위해 안정성 조건(예: Z⊗A ≅ A, 𝒪∞⊗A ≅ A, D⊗A ≅ A)을 활용하는 것.
• 유한군의 왼쪽 정규 표현과 행렬 단위를 사용하여 행렬 대수 위의 군 작용을 정의하고, 이를 C*-대수로 상향시키는 것.

실험 결과

연구 질문

• RQ1 Z-안정적인 실수 계수 0을 가진 단순 분해 가능 단위 C*-대수에서, 트레이스 Rokhlin 성질을 가진 자기동형사상들은 전체 자기동형사상 공간에서 일반적인가?
• RQ2 트레이스 Rokhlin 성질은 투영원소가 없는 C*-대수, 예를 들어 장강-수 대수에서 양의 원소를 사용하여 일반화될 수 있는가?
• RQ3 𝒪∞ 또는 UHF-안정적인 C*-대수에서 ℤ^d의 작용 중 Rokhlin 성질을 가진 작용들의 집합은 전체 작용 공간에서 조밀하고 Gδ인가?
• RQ4 D^∞-안정적인 C*-대수에서 유한군 작용 중 Rokhlin 성질을 가진 작용들의 집합은 전체 작용 공간에서 조밀하고 Gδ인가?
• RQ5 완비 거리형 공간인 자기동형사상 및 작용의 공간에서 Baire 범주론적 추론을 통해 Rokhlin 성질의 일반성은 입증될 수 있는가?

주요 결과

• 모든 단순 분해 가능 단위 C*-대수 A에 대해, 트레이스 실수 계수 0을 가지며 Z⊗A ≅ A를 만족하는 경우, 트레이스 Rokhlin 성질을 가진 자기동형사상들의 집합은 Aut(A)의 조밀한 Gδ 부분집합이다.
• A가 트레이스적으로 근사적으로 나누어지며 추가 기술적 조건(예: 트레이스 실수 계수 0)을 만족하는 경우, 트레이스 Rokhlin 성질을 가진 근사 내부 자기동형사상들의 집합은 Inn(A)의 폐포에서 조밀한 Gδ 부분집합이다.
• 모든 분해 가능 단위 C*-대수 A에 대해, 𝒪∞⊗A ≅ A 또는 유형이 무한한 UHF 대수 D에 대해 D⊗A ≅ A를 만족하는 경우, Rokhlin 성질을 가진 자기동형사상들의 집합은 Aut(A)의 조밀한 Gδ 부분집합이다.
• 결과는 ℤ^d 작용으로까지 확장된다: 이러한 A에 대해, Rokhlin 성질을 가진 작용들의 집합은 A 위의 ℤ^d 전체 작용 공간에서 조밀한 Gδ 부분집합이다.
• D^∞-안정적인 C*-대수에서 유한군 작용에 대해, Rokhlin 성질을 가진 작용들의 집합은 전체 작용 공간에서 조밀한 Gδ 부분집합이다.
• 증명은 행렬 대수에서 Rokhlin 타워를 구성하고, 텐서곱 동형사상의 근사 유니터리 동치를 사용하여 Rokhlin 성질을 C*-대수 수준으로 상향시키는 데 의존한다.