[논문 리뷰] The nuclear dimension of C*-algebras

Wilhelm Winter, Joachim Zacharias|ArXiv.org|2009. 03. 27.

Advanced Operator Algebra Research참고 문헌 14인용 수 31

한 줄 요약

이 논문은 C*-대수에 대한 비가환적 코팅 차원의 일반화로 핵심 차원을 도입하며, 더 유연한 분할 단위를 允許하는 분해 차원의 일반화이다. 모든 UCT 카르키버그 대수에 대해 유한한 핵심 차원을 확립하고, 유한한 핵심 차원이 중요한 분류 성질을 암시함을 보여주며, 안정적으로 유한한 경우의 Z-안정성과 순수하게 무한한 경우의 O∞-안정성을 통합적으로 다루어, 둘 다의 설정에서 분류 접근법을 통합한다.

ABSTRACT

We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive limits, tensor products, hereditary subalgebras (hence ideals), quotients, and even extensions. It can be computed for many examples; in particular, it is finite for all UCT Kirchberg algebras. In fact, all classes of nuclear C*-algebras which have so far been successfully classified consist of examples with finite nuclear dimension, and it turns out that finite nuclear dimension implies many properties relevant for the classification program. Surprisingly, the concept is also linked to coarse geometry, since for a discrete metric space of bounded geometry the nuclear dimension of the associated uniform Roe algebra is dominated by the asymptotic dimension of the underlying space.

연구 동기 및 목표

• 유한한 분해 차원을 일반화하고 더 넓은 범위의 C*-대수에 적용 가능한 비가환적 코팅 차원 개념을 개발한다.
• 유한한 안정적으로 유한한 경우와 순수하게 무한한 경우 모두에서 유효한 차원 이론을 도입함으로써, 핵심 C*-대수의 분류 프로그램을 통합한다.
• 유도한 극한, 텐서곱, 아이디얼, 몫, 그리고 부분대수와 같은 표준적인 C*-대수의 구성에서 핵심 차원의 유지 성질을 확립한다.
• 균일 로 대수를 통해 이산 메트릭 공간의 점점 커지는 차원과 연결함으로써 핵심 차원을 군집 기하학과 연결한다.
• 간단하고 핵심적인 C*-대수에서 유한한 핵심 차원이 Z-안정성 또는 стрict 비교와 같은 정규성 성질을 암시하는지 조사한다.

제안 방법

• 분해 차원의 수정으로 핵심 차원을 정의하며, 완전히 양성적인 근사에서 더 유연한 분할 단위를 사용한다.
• 완전히 양성적인 수축과 프로젝션을 통해 근사를 구성하고, 균일 로 대수에서 유한한 폭을 가진 원소들에서의 균일 수렴을 보장한다.
• 절단 함수와의 교환자의 점점 커지는 행동을 사용하여, 사상의 합성 작용이 노름에서 항등원을 근사함을 보인다.
• UCT 카르키버그 대수에 이 이론을 적용하여, 그들의 분류와 구조를 통해 유한한 핵심 차원을 보여준다.
• 분할 단위 기법을 사용하여, 이산 메트릭 공간의 균일 로 대수의 핵심 차원을 그 기저 메트릭 공간의 점점 커지는 차원과 연결한다.
• 카르키버그의 결과를 사용하여, 간단하고 추적 없는 C*-대수에서 유한한 핵심 차원이 O∞-안정성을 암시함을 유도한다.

실험 결과

연구 질문

• RQ1 유한한 핵심 차원은 분리 가능하고, 단순하고, 단위원을 가지며, 핵심적인 C*-대수에서 Z-안정성을 암시하는가?
• RQ2 카르키버그 대수의 핵심 차원은 K-군의 대수적 불변량, 예를 들어 토르션과 같은 것으로 결정되는가?
• RQ3 유한한 기하학적 성질을 가진 이산 메트릭 공간의 점점 커지는 차원은 그 균일 로 대수의 핵심 차원으로 복원될 수 있는가?
• RQ4 유한한 핵심 차원은 단순하고 핵심적인 C*-대수에서 양성 원소의 엄밀한 비교를 암시하는가?
• RQ5 핵심 차원은 콘네의 스펙트럴 트리플에서 딜라크 연산자의 합산 가능성 성질과 관련이 있는가?

주요 결과

• 모든 UCT 카르키버그 대수에서 유한한 핵심 차원이 성립하여, 분류 이론의 적용 범위를 순수하게 무한한 C*-대수로 확장한다.
• 유한한 핵심 차원은 비자명한 추적을 가지지 않는 분리 가능하고 단순하며 핵심적인 C*-대수에서 O∞-안정성을 암시한다.
• 유한한 기하학적 성질을 가진 이산 메트릭 공간의 균일 로 대수의 핵심 차원은 그 공간의 점점 커지는 차원에 의해 상한으로 제한된다.
• 핵심 차원은 유도한 극한, 텐서곱, 아이디얼, 몫, 그리고 유도된 부분대수에서 유지되며, 강력한 유지 성질을 입증한다.
• 분해 차원은 핵심 차원을 지배하지만, 순수하게 무한한 경우에서 두 차원은 다름을 보이며, 이는 핵심 차원이 더 일반적인 불변량임을 시사한다.
• 토플리츠 대수와 쿤츠 대수 O∞의 핵심 차원은 아직 알려져 있지 않으며, 정확한 값 계산에서 열린 문제를 드러낸다.