[논문 리뷰] A Note on Approximately Divisible C$^*$-algebras

Weihua Li, Junhao Shen|ArXiv.org|2008. 04. 03.

Advanced Operator Algebra Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수에서 두 개의 자기수반 원소로 단일 생성자가 존재하며, 임의의 유한 생성 집합에 대해 위상적 자유 엔트로피 차원이 1 이하이며, 유사도 정도가 ≤ 5임을 증명함으로써 이 클래스에 대해 캐디슨의 유사도 문제를 긍정적으로 해결한다. 이러한 결과는 구조적 및 근사 기법을 사용하여 C$^*$-대수에서 생성자 문제와 자유 엔트로피 차원에 관한 이전 연구를 확장한다.

ABSTRACT

Let $\mathcal A$ be a separable, unital, approximately divisible C$^*$-algebra. We show that $\mathcal A$ is generated by two self-adjoint elements and the topological free entropy dimension of any finite generating set of $\mathcal A$ is less than or equal to 1. In addition, we show that the similarity degree of $\mathcal A$ is at most 5. Thus an approximately divisible C$^*$-algebra has an affirmative answer to Kadison's similarity problem.

연구 동기 및 목표

• 거의 나누어 떨어지는 C$^*$-대수의 생성자 문제를 조사하여 올슨과 자메의 UHF 대수와의 텐서곱에 관한 결과를 확장한다.
• 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수에서 자기수반 생성자 유한 집합의 위상적 자유 엔트로피 차원을 계산한다.
• 거의 나누어 떨어지는 C$^*$-대수의 유사도 정도를 규명하고 이 클래스에 대해 캐디슨의 유사도 문제를 해결한다.
• 핵심 C$^*$-대수에 행렬 대수를 포함하는 핵심성을 가진 C$^*$-대수와의 텐서곱에 관한 F. 포프의 결과를 일반화한다.

제안 방법

• 거의 나누어 떨어지는 C$^*$-대수의 구조를 유한 차원 C$^*$-부분대수의 증가하는 합집합으로서, 큰 부분랭크를 갖는 것으로 활용한다.
• 보이쿨루스쿠의 위상적 자유 엔트로피 차원 이론을 적용하여 근사 및 행렬 단위 구성 방법을 통해 차원의 상한을 계산한다.
• 완전히 유계된 노름과 유니터리 코남을 통해 유사도 정도 개념을 활용하여 호모모르피즘의 노름 성장을 통제한다.
• 레마 5.1을 사용하여 행렬 대수에서의 연산자 노름을 ∗-동형사상에 의해 관련된 행렬의 노름과 연결한다.
• 피지에르와 포프의 완전히 유계된 호모모르피즘과 핵심성에 관한 결과를 적용하여 유사도 정도의 상한을 구한다.
• 반복적인 노름 통제와 유니터리 코남을 통해 핵심 부등식 $\|\pi|_{\cup_m \mathcal{A}_m}\|_{cb} \leq C^2\|\pi\|^5$ 를 수립한다.

실험 결과

연구 질문

• RQ1 모든 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수는 두 개의 자기수반 원소로 생성될 수 있는가?
• RQ2 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수에서 임의의 유한 생성 집합의 위상적 자유 엔트로피 차원은 얼마인가?
• RQ3 거의 나누어 떨어지는 C$^*$-대수의 유사도 정도는 유한하게 유지되는가? 이는 캐디슨의 유사도 문제를 확인하는 데 기여한다.
• RQ4 일부 핵심성과 부분랭크 조건 하에서, 임의의 단위를 가지는 C$^*$-대수와의 텐서곱으로도 유사도 정도의 상한을 확장할 수 있는가?

주요 결과

• 모든 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수는 두 개의 자기수반 원소로 단일 생성자가 존재한다.
• 임의의 유한한 자기수반 생성자 집합에 대해 위상적 자유 엔트로피 차원은 1 이하이다.
• 모든 분리 가능하고 단위를 가지며 거의 나누어 떨어지는 C$^*$-대수의 유사도 정도는 5 이하이다.
• 이는 거의 나누어 떨어지는 모든 C$^*$-대수에 대해 캐디슨의 유사도 문제에 대한 긍정적인 답변을 암시한다.
• 이 결과는 F. 포프의 정리의 일반화로서, 임의로 큰 유한 차원 부분대수를 포함하는 핵심 C$^*$-대수 $\mathcal{A}$와 임의의 단위를 가지는 $\mathcal{B}$에 대해 $d(\mathcal{A} \otimes \mathcal{B}) \leq 5$ 를 보여준다.
• 증명은 유니터리 코남을 통해 호모모르피즘을 유한 차원 부분대수에서 ∗-동형사상으로 줄이는 데 기반하며, 이는 완전히 유계진 노름을 통한 노름 통제를 가능하게 한다.