[논문 리뷰] Topological Free Entropy Dimensions in Nuclear C$^*$-algebras and in Full Free Products of C$^*$-algebras

Don Hadwin, Qihui Li외 1명|ArXiv.org|2008. 02. 03.

Random Matrices and Applications참고 문헌 14인용 수 4

한 줄 요약

이 논문은 Voiculescu의 위상적 자유 엔트로피 차원을 분석하기 위해 C*-대수의 불변량으로 위상적 궤도 차원을 도입한다. 핵심 C*-대수에서는 이 차원이 1 이하임을 증명하고, 단위 원소를 가진 C*-대수들의 완전한 자유곱에서 이 차원이 가환임을 보인다. 주요 결과로는 $\mathrm{Ext}(C_r^*(F_2)*_{\mathbb{C}}C_r^*(F_2))$가 군이 아니라는 점이며, 이는 이전의 MF 대수와 Ext 군에 관한 결과를 확장한다.

ABSTRACT

In the paper, we introduce a new concept of topological orbit dimension of $n$-tuples of elements in a unital C$^*$ algebra. Using this concept, we conclude that the Voiculescu's topological free entropy dimension of any family of self-adjoint generators of a nuclear C$^*$ algebra is less than or equal to 1. We also show that the topological free entropy dimension is additive in the full free products of unital C$^*$ algebras. In the appendix, we show that unital full free product of Blackadar and Kirchberg's unital MF algebras is also MF algebra.

연구 동기 및 목표

• 위상적 자유 엔트로피 차원을 연구하기 위해 C*-대수에서 새로운 불변량인 위상적 궤도 차원을 개발하는 것.
• 새로운 불변량을 사용하여 핵심 C*-대수에서 위상적 자유 엔트로피 차원의 상한을 확립하는 것.
• 근사 성질을 가진 단위 원소를 가진 C*-대수들의 완전한 자유곱에서 위상적 자유 엔트로피 차원의 가환성을 증명하는 것.
• MF 대수에 관한 결과를 확장하여 $\mathrm{Ext}(C_r^*(F_2)*_{\mathbb{C}}C_r^*(F_2))$가 군이 아니라는 것을 보여주는 것.

제안 방법

• 이전의 개념들을 수정하여 위상적 궤도 차원 $\mathfrak{K}_{\text{top}}^{(2)}$를 도입하고, 자기수반 생성자에 대해 C*-대수 불변량임을 증명한다.
• 부등식 $\delta_{\text{top}}(z_1,\ldots,z_m) \leq \max\{\mathfrak{K}_{\text{top}}^{(2)}(z_1,\ldots,z_m), 1\}$를 확립하여 Voiculescu의 위상적 자유 엔트로피 차원과 연결한다.
• 직교 합에 대해 $\mathfrak{K}_{\text{top}}^{(2)}$가 부분가환적이며, 행렬 대수와의 텐서곱에 대해 비증가함을 증명한다.
• $\mathfrak{K}_{\text{top}}^{(2)} \leq \mathfrak{KK}^{(2)}$ (궤도 차원 용량)를 보이고, 이는 핵심 대수에서의 계산을 가능하게 한다.
• 근사 성질과 MF 대수의 구조를 이용하여 완전한 자유곱에서 위상적 자유 엔트로피 차원의 가환성을 증명한다.
• 결과를 적용하여 $C_r^*(F_2)$의 비준비대각화성에 기반해 $\mathrm{Ext}(C_r^*(F_2)*_{\mathbb{C}}C_r^*(F_2))$가 군이 아니라는 것을 보여준다.

실험 결과

연구 질문

• RQ1 핵심 C*-대수에서 자기수반 생성자 유한 집합의 Voiculescu의 위상적 자유 엔트로피 차원은 얼마인가?
• RQ2 근사 성질을 가진 단위 원소를 가진 C*-대수들의 완전한 자유곱에서 위상적 자유 엔트로피 차원은 가환적인가?
• RQ3 MF 대수들의 단위 원소를 가진 완전한 자유곱은 여전히 MF 대수인가?
• RQ4 위상적 자유 엔트로피 차원을 사용하여 $\mathrm{Ext}(C_r^*(F_2)*_{\mathbb{C}}C_r^*(F_2))$의 군이 아니라는 성질을 증명할 수 있는가?
• RQ5 위상적 궤도 차원은 궤도 차원 용량과 어떻게 관련되어 있으며, 이는 엔트로피 차원에 어떤 함의를 갖는가?

주요 결과

• 단위 핵심 C*-대수에서 자기수반 생성자 유한 집합의 위상적 자유 엔트로피 차원은 1 이하이다.
• 자기수반 생성자에 대해 위상적 궤도 차원 $\mathfrak{K}_{\text{top}}^{(2)}$는 C*-대수 불변량이다.
• 근사 성질을 가진 C*-대수들의 단위 원소를 가진 완전한 자유곱에서 위상적 자유 엔트로피 차원은 가환적이다.
• Blackadar와 Kirchberg의 단위 원소를 가진 MF 대수들의 완전한 자유곱은 다시 MF 대수이다.
• 핵심 C*-대수에서 자기수반 생성자의 위상적 자유 엔트로피 차원은 대수에 근사 성질이 있으면 0이다.
• 결과적으로 $\mathrm{Ext}(C_r^*(F_2)*_{\mathbb{C}}C_r^*(F_2))$는 군이 아니며, 이는 Haagerup과 Thorbjørnsen, Brown의 결과를 확장한다.