[论文解读] Quasitraces on exact C*-algebras are traces

Uffe Haagerup|arXiv (Cornell University)|Mar 29, 2014

Advanced Operator Algebra Research被引用 43

一句话总结

本文证明了在酉恒等C*-代数上，每个2-拟迹都是迹，从而部分解决了Kaplansky关于AW*-因子的猜想中的关键部分。通过Voiculescu的半圆系、迹在AW*-完备化下的延拓，以及C*-代数的精确性性质，作者证明了在精确代数上的拟迹是线性的，从而得出在稳定有限的精确C*-代数中存在迹态，且由精确C*-子代数生成的AW*-因子必为冯诺依曼代数。

ABSTRACT

It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an AW*-algebra) by an exact C*-subalgebra, then it is a von Neumann II_1-factor. This is a partial solution to a well known problem of Kaplansky. The present result was used by Blackadar, Kumjian and Rørdam to prove that RR(A)=0 for every simple non-commutative torus of any dimension.

研究动机与目标

• 解决C*-代数理论中一个长期存在的问题：在精确C*-代数上，拟迹是否必为迹？
• 为Kaplansky关于II₁型AW*-因子是否为冯诺依曼代数的猜想提供部分解答。
• 证明每个稳定有限的酉恒等精确C*-代数都存在迹态。
• 证明由精确C*-子代数生成的II₁型AW*-因子必为冯诺依曼II₁因子。

提出的方法

• 利用Voiculescu的半圆系，通过算子范数不等式刻画无迹态的C*-代数。
• 应用GNS构造与AW*-完备化，将拟迹延拓为AW*-因子上的正规拟迹。
• 在精确C*-代数上使用最小张量范数，特别是利用$ C_r^*(\mathbb{F}_\infty) $，分析张量积嵌入。
• 利用C*-代数中精确性与性质$ C' $的等价性，控制张量积中的范数行为。
• 使用Krein-Milman定理，将极端拟迹的线性性延拓至状态空间中的所有拟迹。
• 利用II₁型AW*-因子中维数函数的唯一性，通过非酉等距算子推导出非线性拟迹将导致矛盾。

实验结果

研究问题

• RQ1 在酉恒等精确C*-代数上，每个2-拟迹是否必为迹？
• RQ2 在稳定有限的酉恒等精确C*-代数上，若存在归一化的拟迹，是否意味着存在迹态？
• RQ3 若一个II₁型AW*-因子由一个精确C*-子代数生成，它是否必为冯诺依曼代数？
• RQ4 在II₁型AW*-因子上，若拟迹的线性性失败，是否可通过与$ C_r^*(\mathbb{F}_\infty) $的张量积中的非酉等距算子检测到？
• RQ5 C*-代数的精确性是否意味着其拟迹可延拓为在AW*-完备化上的线性泛函？

主要发现

• 在酉恒等精确C*-代数上，每个2-拟迹都是迹，确立了该类代数中拟迹的线性性。
• 每个稳定有限的酉恒等精确C*-代数都存在迹态，这是主结论的直接推论。
• 若一个II₁型AW*-因子由一个精确的酉恒等C*-子代数生成，则其必为冯诺依曼II₁因子。
• 在与$ C_r^*(\mathbb{F}_\infty) $张量积后，具有忠实拟迹的酉恒等精确C*-代数的AW*-完备化可嵌入有限AW*-代数中。
• C*-代数中无迹态的特征可由存在一个有限元组满足$ \|\sum a_i^*a_i\| = 1 $且$ \|\sum a_i a_i^*\| < 1 $来刻画。
• 在精确C*-代数上，最小张量范数确保$ \|\sum a_i b_i\| = \|\sum a_i \otimes b_i\|_{\min} $，这对嵌入论证至关重要。