[논문 리뷰] The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

Joan Bosa, James Gabe외 2명|arXiv (Cornell University)|2019. 06. 05.

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

한 줄 요약

이 논문은 모든 분리 가능하고, 핵심적이며, $\mathcal{O}_\infty$-안정인 $C^*$-대수의 핵심 차원이 정확히 1임을 증명하며, 오랫동안 남아있던 열린 문제를 해결한다. 또한 이러한 대수에서 유한한 분해 차수를 쿼시다이아갈성과 원시 이데알 구조를 통해 특성화하고, 전체적이고 $\mathcal{O}_2$-안정인 $*$-준동형사상의 핵심 차원이 0임과 동시에 도메인 대수가 쿼시다이아갈성임과 동치임을 보인다.

ABSTRACT

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

연구 동기 및 목표

• 분리 가능하고 핵심적이며, $\mathcal{O}_\infty$-안정인 $C^*$-대수의 핵심 차원을 결정하는 것.
• $\mathcal{O}_\infty$-안정인 $C^*$-대수가 유한한 분해 차수를 갖는 조건을 특성화하는 것.
• 쿼시다이아갈성과 핵심성에 기반하여 전체적이고 $\mathcal{O}_2$-안정인 $*$-준동형사상의 핵심 차원을 분류하는 것.
• $\mathcal{O}_\infty$-안정인 $C^*$-대수에서 핵심 차원에 관한 열린 문제를 해결하는 것. 특히 Szabó(2017)가 이전에 제시한 상한 3 이후의 문제를 다룬다.

제안 방법

• $\mathcal{O}_\infty$-안정성의 구조를 이용하여, 텐서 곱 흠숭을 통한 핵심 차원 감소를 위한 근사화를 구성한다.
• Kirchberg의 임bedding 정리와 근사적 유니터리 동치를 적용하여 $\mathcal{O}_2$-안정 사상을 비교한다.
• 쿼시다이아갈성과 Cuntz 비교 기법을 활용하여 이데알 구조를 분석하고 전체적 프로젝션을 생성한다.
• 특히 유한한 분해 차수는 쿼시다이아갈성을 암시한다는 사실을 활용하여, 분해 차수와 핵심 차원의 계층을 이용한다.
• 적절히 무한한 원소와 Cuntz 관계를 이용하여 동일한 이데알을 생성하는 프로젝션을 구성한다.
• Matui와 Sato의 UCT 없는 분류 및 핵심 차원 계산 결과를 활용하여, UCT가 없는 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 분리 가능하고 핵심적이며 $\mathcal{O}_\infty$-안정인 $C^*$-대수의 정확한 핵심 차원은 무엇인가?
• RQ2 $\mathcal{O}_\infty$-안정인 $C^*$-대수가 유한한 분해 차수를 갖는 조건은 무엇인가?
• RQ3 전체적이고 $\mathcal{O}_2$-안정인 $*$-준동형사상이 핵심 차원 0을 갖는 조건은 무엇인가?
• RQ4 쿼시다이아갈성은 $\mathcal{O}_\infty$-안정인 $C^*$-대수에서 핵심 차원과 어떻게 상호작용하는가?
• RQ5 쿼시다이아갈성과 이데알 구조에 기반하여, $\mathcal{O}_2$-안정 사상의 핵심 차원 0를 순수하게 특성화할 수 있는가?

주요 결과

• 모든 분리 가능하고 핵심적이며 $\mathcal{O}_\infty$-안정인 $C^*$-대수의 핵심 차원은 정확히 1이다.
• $\mathcal{O}_\infty$-안정인 $C^*$-대수가 유한한 분해 차수를 갖는 것은, 쿼시다이아갈성이고, 쿼시다이아갈성과 호환되는 원시 이데알 구조를 갖는 것과 동치이다.
• 전체적이고 $\mathcal{O}_2$-안정인 $*$-준동형사상이 핵심 차원 0을 갖는 것은, 도메인 $C^*$-대수가 쿼시다이아갈성임과 동치이다.
• 만약 $\mathcal{O}_2$-안정인 $*$-준동형사상이 핵심적이지 않다면, 그 핵심 차원은 무한대이다.
• 핵심 차원 0는 $\mathcal{O}_2$-안정 사상에서 분해 차수 0을 암시하며, 따라서 도메인의 쿼시다이아갈성을 암시한다.
• 증명은 $\theta \oplus 0$과 $\iota \circ \phi \oplus 0$ 간의 근사적 유니터리 동치를 이용하여, $\phi$에서 $\theta$로 핵심 차원 성질을 이전하는 데 의존한다.