[논문 리뷰] Nuclear dimension for an inclusion of unital C*-algebras

Hiroyuki Osaka, Tamotsu Teruya|arXiv (Cornell University)|2011. 11. 08.

Advanced Operator Algebra Research참고 문헌 32인용 수 3

한 줄 요약

이 논문은 단위를 가진 C*-대수 A가 분해 차수 ≤ n 또는 핵심 차원 ≤ n인 대수들의 클래스에 국소적으로 속해 있다면, 전체적으로도 그 클래스에 속한다는 것을 증명한다. 주요 기여는 유한한 Watatani 지수와 Rokhlin 성질을 가진 포함 구조에서 유한한 분해 차수와 핵심 차원이 안정적임을 증명한 것으로, Winter와 Zacharias(2010)의 문제 9.4를 확인하고, 교차곱과 기본 구성으로의 결과를 확장한다.

ABSTRACT

Let $P \subset A$ be an inclusion of separable unital C*-algebras with finite Watatani index. Suppose that $E \colon A ightarrow P$ has the Rokhlin property, that is, there is a projection $e \in A' \cap A^\infty$ such that $E^\infty(e) = ({ m Index}E)^{-1}1$. We show that if $A$ has nuclear dimension $n$, then $P$ has nuclear dimension less than or equal to $n$. In particular, if an action $α$ of a finite group $G$ on $A$ has the Rokhlin property, then the nuclear dimension of the crossed product algebra $A times_αG$ is less than or equal to that of $A$.

연구 동기 및 목표

• 분해 차수 ≤ n 또는 핵심 차원 ≤ n인 대수들의 국소적 C*-대수가 전체적으로 그 클래스에 속한다는 것을 확립하는 것.
• Rokhlin 유형의 포함에서 유한한 핵심 차원이 유지됨을 보여, Winter와 Zacharias(2010)의 문제 9.4를 해결하는 것.
• Rokhlin 성질을 가진 경우 교차곱과 기본 구성으로의 안정성 결과를 확장하는 것.
• Rokhlin 조건 기대 하에서 순수성(엄밀한 비교와 거의 나누어떨어지는 Cuntz 준군)의 유전성에 대한 조사.
• 유한 지수 유형 포함에서 추적 클래스와 순서 구조 간의 관계를 명확히 하는 것.

제안 방법

• C_n (또는 C_nuc_n) 클래스에 국소적으로 속하는 C*-대수의 개념을 도입하며, 이는 C_n (또는 C_nuc_n)에 속하는 부분대수에 의한 근사화를 통해 이루어진다.
• 조건 기대 E: A → P에 대한 Rokhlin 성질을 정의하며, 이는 A' ∩ A^∞ 내의 프로젝션 e가 존재하여 E^∞(e) = (Index E)^{-1}1를 만족함으로써 정의된다.
• Osaka와 Phillips(2011)의 C_n 및 C_nuc_n 클래스의 유한 포화성 결과를 응용하여 전역 소속을 도출한다.
• Cuntz 준군 W(A)와 그 거의 나누어떨어짐 성질을 활용하여 순수성과 포함에서의 안정성을 특성화한다.
• 차원 낙하 대수 Z_{k,k+1}의 약한 반사성(weak semiprojectivity)을 이용하여 A에서 P와 기본 구성으로의 준동형 사상의 올림을 수행한다.
• Winter의 순수성 특성화(엄밀한 비교와 W(A)의 거의 나누어떨어짐)를 적용하며, A가 정확하고 안정적 차수 1을 가질 경우 엄밀한 비교가 추적에 의해 결정되는 순서와 동치임을 이용한다.

실험 결과

연구 질문

• RQ1 분해 차수 ≤ n인 대수들의 국소적 C*-대수가 반드시 그 클래스에 속하는가?
• RQ2 유한한 Watatani 지수와 Rokhlin 성질을 가진 단위 C*-대수의 포함에서 핵심 차원이 유지되는가?
• RQ3 군 작용에 대해 Rokhlin 성질을 가진 경우 고정점 대수와 교차곱에서 분해 차수와 핵심 차수는 유한한가?
• RQ4 유한군 작용에 대해 Rokhlin 성질을 가진 순수 C*-대수의 고정점 대수 P는 어떤 조건에서 순수한가?
• RQ5 유한 지수 유형 포함에서 Rokhlin 성질을 가진 경우, 추적과 프로젝션의 순서는 어떻게 관련되어 있는가?

주요 결과

• A가 국소 C_n (또는 C_nuc_n) C*-대수이면, A ∈ C_n (또는 C_nuc_n)이다. 이는 이러한 클래스가 국소 근사화에 대해 닫혀 있음을 확인한다.
• 유한한 Watatani 지수를 가진 포함 P ⊂ A와 조건 기대 E가 Rokhlin 성질을 가진다 하자. 만약 dr(A) ≤ n (또는 dim_nuc(A) ≤ n)이면, dr(P) ≤ n (또는 dim_nuc(P) ≤ n)이다.
• A가 정확하고 순수하며 안정적 차수 1을 가진다 하자. E: A → P가 Rokhlin 성질을 가진다면, P는 순수하다.
• 유한군 작용 α가 Rokhlin 성질을 가진다 하자. 만약 dr(A) ≤ n 이면, dr(A^α) ≤ n 이고 dr(A ⋊_α G) ≤ n 이다.
• 만약 dim_nuc(A) ≤ n 이고 α가 Rokhlin 성질을 가진다면, dim_nuc(A^α) ≤ n 이고 dim_nuc(A ⋊_α G) ≤ n 이다.
• A가 분리 가능하고 단위를 가지며, 정확하고 순수하며 안정적 차수 1을 가지며, α가 Rokhlin 성질을 가진다면, A^α와 A ⋊_α G 모두 순수하다.