[论文解读] A Note on Approximately Divisible C$^*$-algebras

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

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$^*$-代数的相似度，并解决该类代数的凯迪森相似问题。
• 推广F. 波普关于与含任意阶矩阵代数的核C$^*$-代数张量积的结果。

提出的方法

• 利用约化可除C$^*$-代数作为具有大子秩的有限维C$^*$-子代数递增并集的结构。
• 应用冯诺依曼的拓扑自由熵维数理论，通过逼近与矩阵单位构造计算维数上界。
• 通过完全有界范数与酉共轭的概念控制同态的范数增长，引入相似度概念。
• 使用引理5.1，将矩阵代数中算子范数与在∗-同构下关联矩阵的范数联系起来。
• 应用Pisier与波普关于完全有界同态与核性的结果，以界定相似度。
• 通过迭代范数控制与酉共轭，建立关键不等式 $\|\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. 波普的定理，表明当核代数$\mathcal{A}$包含任意阶有限维子代数时，有 $d(\mathcal{A} \otimes \mathcal{B}) \leq 5$，对任意单位元$\mathcal{B}$成立。
• 证明依赖于构造一个酉共轭，将同态限制在有限维子代数上转化为∗-同构，从而通过完全有界范数实现范数控制。