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

Luis Santiago|arXiv (Cornell University)|2012. 11. 30.

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

한 줄 요약

이 논문은 $ A \otimes \mathcal{W} $의 안정적 차수는 $ A $가 분리 가능하고 단순형, 분해형, 핵심적인 C*-대수의 넓은 범주에 속할 경우 1임을 확립한다. 이는 $ A \otimes \mathcal{W} $가 1차원 비가환 CW複합체의 귀납적 극한과 동형임을 증명하며, 이는 분해 차수 1을 암시하고, 프로젝션 없는 C*-대수에 대한 트레이스 분류에 관한 로베르의 추측을 지지한다.

ABSTRACT

We show that for a large class of C*-algebras $\mathcal{A}$, containing arbitrary direct limits of separable type I C*-algebras, the following statement holds: If $A\in \mathcal{A}$ and $B$ is a simple projectionless C*-algebra with trivial K-groups that can be written as a direct limit of a system of (nonunital) recursive subhomogeneous algebras with no dimension growth then the stable rank of $A\otimes B$ is one. As a consequence we show that if $A\in \mathcal A$ then the stable rank of $A\otimes\mathcal W$ is one. We also prove the following stronger result: If $A$ is separable C*-algebra that can be written as a direct limit of C*-algebras of the form $\mathrm{C}_0(X)\otimes \mathrm{M}_n$, where $X$ is locally compact and Hausdorff, then $A\otimes \mathcal W$ can be written as a direct limit of a sequence of 1-dimensional noncommutative CW-complexes.

연구 동기 및 목표

• 텐서곱 $ A \otimes \mathcal{W} $의 안정적 차수를 결정하는 것. 여기서 $ \mathcal{W} $는 단순하고 프로젝션 없으며, 핵심적인 C*-대수이며 K-군이 자명하고 유일한 트레이스를 가진다.
• 분리 가능하고 특정 하위균형 대수에 국소적으로 포함된 $ A $에 대해 $ A \otimes \mathcal{W} $가 1차원 비가환 CW複합체의 귀납적 극한과 동형임을 보이는 것.
• 분리 가능하고 핵심적인 C*-대수 $ A $에 대해, $ A \otimes \mathcal{W} \otimes \mathcal{K} $와 $ B \otimes \mathcal{W} \otimes \mathcal{K} $가 서로 동형임을 보장하는 레오넬 로베르의 추측을 지지하는 것. 이는 트레이스의 콘의 동형 $ \mathrm{T}(A) \cong \mathrm{T}(B) $에 기반한다.
• 넓은 범위의 $ A $에 대해 $ A \otimes \mathcal{W} $의 분해 차수와 핵심 차원이 1임을 확립하여, 안정적으로 유한하고 프로젝션 없는 설정에서의 분류 이론을 발전시키는 것.

제안 방법

• $ \mathrm{C}_0(X) $에서 시작하여, 행렬 대수와의 텐서곱, 고유한 부분대수, 아이디얼, 몫, 귀납적 극한을 취하는 데 닫혀 있는 C*-대수의 클래스 $ \mathcal{A} $를 사용한다. 여기서 $ X $는 국소적으로 컴acts한 공간이다.
• 1차원 비가환 CW複합체의 준프로젝티브 성질을 적용하여 근사값을 올리고 귀납적 극한 분해를 구성한다.
• $ \mathcal{W} $가 단순하고 프로젝션 없으며, 핵심적인 C*-대수이며 K-군이 자명하고 유일한 트레이스를 가지며, 차원 성장 없이 재귀적 하위균형 대수의 귀납적 극한임을 활용한다.
• $ \mathrm{C}[0,1]^\mathbb{N} \otimes \mathcal{W} $가 1차원 NCCW-복합체의 귀납적 극한임을 이용하고, 이를 컴팩트 하우스도르프 공간 $ X $에 대해 $ \mathrm{C}(X) \otimes \mathcal{W} $로 몫을 통해 확장한다.
• Robert의 NCCW-복합체에 대해 $ K_1 $-군이 자명한 경우의 분류 결과를 적용하고, 안정성과 준프로젝티브 성질을 통해 빌딩 블록의 $ K_1 $-군이 자명하지 않은 경우에도 이를 적응하여 처리한다.
• Averson의 확장 정리와 귀납적 극한에서 분해 차수의 안정성을 이용하여 $ \mathrm{dr}(A \otimes \mathcal{W}) = 1 $을 도출한다.

실험 결과

연구 질문

• RQ1 분리 가능하고 유형 I C*-대수의 귀납적 극한인 $ A $에 대해 $ A \otimes \mathcal{W} $의 안정적 차수는 무엇인가?
• RQ2 $ A $가 클래스 $ \mathcal{A} $에 속할 경우 $ A \otimes \mathcal{W} $는 1차원 비가환 CW複합체의 귀납적 극한으로 표현될 수 있는가?
• RQ3 $ A $가 $ \mathcal{B} $, 즉 하위균형 대수의 클래스에 국소적으로 포함된 경우, $ A \otimes \mathcal{W} $의 분해 차수는 1인가?
• RQ4 $ A \otimes \mathcal{W} $의 구조는 프로젝션 없는 C*-대수에 대한 트레이스 분류에 관한 로베르의 추측을 어느 정도 지지하는가?
• RQ5 $ \mathcal{W} $의 프로젝션 부재와 자명한 K-이론이 $ A \otimes \mathcal{W} $의 차원 이론에 어떤 영향을 미치는가?

주요 결과

• $ A \in \mathcal{A} $이면 $ A \otimes \mathcal{W} $의 안정적 차수는 1이다.
• 만약 $ A $가 분리 가능하고 $ \mathcal{B} $에 국소적으로 포함된 C*-대수이면, $ A \otimes \mathcal{W} $는 1차원 비가환 CW複합체의 수열의 귀납적 극한과 동형이다.
• $ A \otimes \mathcal{W} $의 분해 차수는 $ \mathcal{B} $에 국소적으로 포함된 모든 분리 가능한 $ A $에 대해 1이며, 이는 빌딩 블록의 $ K_1 $-군이 자명하지 않은 경우에도 성립한다.
• $ A \otimes \mathcal{W} $의 핵심 차원 역시 이 결과에 따라 1이다.
• $ A \otimes \mathcal{W} $가 AF-대수일 수 없다는 점에서, 이 결과는 프로젝션 없고 분해 차수가 1이기 때문이다.
• 증명 과정에서 $ \mathrm{C}(X) \otimes \mathcal{W} $가 모든 컴팩트 하우스도르프 공간 $ X $에 대해 1차원 NCCW-복합체의 귀납적 극한임을 보였으며, 이는 준프로젝티브 성질과 몫 구성에 의해 이루어졌다.