[論文レビュー] A Note on Approximately Divisible C$^*$-algebras

Weihua Li, Junhao Shen|ArXiv.org|Apr 3, 2008

Advanced Operator Algebra Research参考文献 17被引用数 4

ひとこと要約

本稿では、分離可能で単位的かつ近似的に可除なC$^*$-代数が、2つの自己随伴元によって単一生成可能であり、任意の有限生成集合に対して位相的自由エントロピー次元が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$^*$-代数に任意の次数の行列代数を含む場合のテンソル積に関するF. ポップの結果を一般化する。

提案手法

• 近似的に可除なC$^*$-代数を、大きな部分ランクを持つ有限次元C$^*$-部分代数の増大列として表現する構造を用いる。
• ボイクルスキーの位相的自由エントロピー次元理論を適用し、近似および行列単位構成を用いて次元の上限を計算する。
• 完全有界ノルムとユニタリ共役を用いた類似度の概念を用い、ホモモルフィズムのノルム増大を制御する。
• 補題5.1を用い、行列代数における作用素ノルムを、∗-同型の下で関連する行列のノルムに結びつける。
• ピジエおよびポップによる完全有界ホモモルフィズムと核性に関する結果を応用し、類似度の上限を求める。
• 反復的ノルム制御とユニタリ共役を用いて、$\|\pi|_{\cup_m \mathcal{A}_m}\|_{cb} \leq C^2\|\pi\|^5$ という重要な不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意の分離可能で単位的かつ近似的に可除なC$^*$-代数は、2つの自己随伴元によって生成可能か？
• RQ2 任意の有限生成集合について、単位的分離可能かつ近似的に可除なC$^*$-代数における位相的自由エントロピー次元は何か？
• RQ3 近似的に可除なC$^*$-代数の類似度は有限のままであり、カジソンの類似度問題が肯定的に解決されるか？
• RQ4 核性および部分ランクの条件を満たす場合、任意の単位的C$^*$-代数とのテンソル積に対しても類似度の上限を拡張できるか？

主な発見

• 任意の分離可能で単位的かつ近似的に可除なC$^*$-代数は、2つの自己随伴元によって単一生成可能である。
• 任意の自己随伴生成元の有限族の位相的自由エントロピー次元は、1以下である。
• 任意の分離可能で単位的かつ近似的に可除なC$^*$-代数の類似度は、5以下である。
• これは、すべての近似的に可除なC$^*$-代数に対してカジソンの類似度問題が肯定的に解決されることを示唆する。
• F. ポップの定理を一般化し、任意に大きな有限次元部分代数を含む核となる$\mathcal{A}$と任意の単位的$\mathcal{B}$に対して、$d(\mathcal{A} \otimes \mathcal{B}) \leq 5$ が成り立つことを示す。
• 証明は、ホモモルフィズムを有限次元部分代数上で∗-同型に還元するユニタリ共役の構成に依拠しており、完全有界ノルムを用いたノルム制御を可能にする。