[논문 리뷰] The Rohlin property for automorphisms on simple C*-algebras

Huaxin Lin|arXiv (Cornell University)|2006. 02. 23.

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

한 줄 요약

이 논문은 단위를 가진 분리 가능한 단순 C*-대수 A에서, 트레이스 랭크가 0인 자가동형 α가 트레이스 Rokhlin 성질을 만족하고, K₀(A) 위에서 유도된 작용이 밀도가 있는 부분군을 고정하는 경우, 교차곱 A ⋊ₐℤ 역시 트레이스 랭크가 0임을 증명한다. 이 결과는 느린 차원 성장과 실수 랭크가 0인 AH-대수에 대한 Kishimoto의 추측의 일반화된 형태를 해결한다.

ABSTRACT

We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ be a unital separable simple C*-algebra with tracial rank zero and let $α$ be an automorphism. Under the assumption that $α$ has certain Rokhlin property, we present a proof that $A times_α\Z$ has tracial rank zero. We also show that if the induced map $α_{*0}$ on $K_0(A)$ fixes a "dense" subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.

연구 동기 및 목표

• 단순 C*-대수에서 자가동형에 의한 교차곱에 의한 트레이스 랭크 0의 유지 여부를 조사한다.
• 실수 랭크가 0인 A𝕋-대수에 대한 교차곱에 관한 Kishimoto의 추측의 일반화된 형태를 다룬다.
• A가 트레이스 랭크가 0일 때 교차곱 A ⋊ₐℤ가 트레이스 랭크 0을 유지하는 조건을 확립한다.
• α의 K₀(A) 위에서의 작용을 포함하는 충분한 조건을 제시하여 트레이스 순환 Rokhlin 성질을 보장한다.
• K-이론과 트레이스 Rokhlin 조건을 이용해 약한 내재적 경우의 결과를 더 넓은 자가동형의 클래스로 확장한다.

제안 방법

• C*-대수 자가동형에 대한 고전적 Rokhlin 타워의 일반화로서 트레이스 Rokhlin 성질을 사용한다.
• 점근적 준동형과 중심 시퀀스의 프로젝션을 통한 정의에 기반한 트레이스 순환 Rokhlin 성질을 적용한다.
• αʳ*₀가 K₀(A)의 부분군 G ⊂ 에서 밀도가 있는 이미지를 갖는다는 조건을 이용하여 더 강력한 Rokhlin 유형의 행동을 유도한다.
• 분류 이론적 성질을 확보하기 위해 Universal Coefficient Theorem (UCT) 과 애매성(amenability)을 활용한다.
• α의 역학을 모델링하고 점근적 행동을 제어하기 위해 중심 시퀀스의 프로젝션과 부분 등온을 구성한다.
• 순차적 점근적 준동형과 근사 기법을 사용하여 교차곱에서의 트레이스와 K-이론을 제어한다.

실험 결과

연구 질문

• RQ1 트레이스 랭크가 0인 단위를 가진 분리 가능한 단순 C*-대수 A에 대해, A ⋊ₐℤ가 트레이스 랭크 0을 갖는 조건은 무엇인가?
• RQ2 αʳ*₀가 K₀(A)의 밀도가 있는 부분군을 고정할 경우, 트레이스 Rokhlin 성질이 트레이스 순환 Rokhlin 성질로 강화될 수 있는가?
• RQ3 αʳ가 KL(A,A)에서 항등사상과 호모토피적일 경우, A ⋊ₐℤ가 트레이스 랭크 0을 갖는가?
• RQ4 α가 K₀(A) 위에서 작용할 때 교차곱 대수의 구조적 성질에 어떤 영향을 미치는가?
• RQ5 Kishimoto의 추측은 약한 내재적 경우를 초월해 어느 정도 일반화될 수 있는가?

주요 결과

• α가 트레이스 Rokhlin 성질을 가지며, αʳ*₀가 K₀(A)의 부분군 G ⊂ 에서 ρ_A(G)가 Aff(T(A))에 밀도가 있을 경우, α는 트레이스 순환 Rokhlin 성질을 만족한다.
• 이 조건 하에서 교차곱 A ⋊ₐℤ는 트레이스 랭크가 0이며, 즉 TR(A ⋊ₐℤ) = 0이다.
• 이 결과는 UCT를 만족하고 트레이스 랭크가 0인 단위를 가진 분리 가능한 단순 애매한 C*-대수에 적용된다.
• 느린 차원 성장과 실수 랭크가 0인 AH-대수에 대해, α가 트레이스 Rokhlin 성질을 가지며 [αʳ] = [id_A] 이며 KL(A,A)에서 성립할 경우, A ⋊ₐℤ는 다시 한 번 느린 차원 성장과 실수 랭크가 0인 AH-대수이다.
• 증명은 α의 역학을 모델링하고 점근적 가환성과 트레이스 제어를 만족하는 중심 시퀀스의 프로젝션과 부분 등온을 구성하는 데 기반한다.
• 핵심 기술적 단계는 [22]의 보조정리 6.1을 새로운 증명으로 대체하는 것으로, ρ_A(G)가 Aff(T(A))에서의 밀도를 이용하여 K-이론과 트레이스 행동이 통제된 프로젝션을 생성하는 데 있다.