[论文解读] Quasitraces are Traces: A Short Proof of the Finite-Nuclear-Dimension Case

Nathanial P. Brown, Wilhelm Winter|arXiv (Cornell University)|May 12, 2010

Finite Group Theory Research参考文献 5被引用 7

一句话总结

本文提供了关于具有局部有限核维数的 C*-代数上的拟迹为迹的简洁证明，该结论进一步推广至下半连续的扩展拟迹。论证利用了零序映射、有限维商代数上迹的超极限，以及拟迹的 2-次可加性，表明任意拟迹被某个迹从上方控制，因此其自身必为迹。

ABSTRACT

Uffe Haagerup proved that quasitraces on unital exact C* -algebras are traces. We give a short proof under the stronger hypothesis of finite nuclear dimension.

研究动机与目标

• 提供一个简短且自包含的证明，表明在强于 Haagerup 原始结果的假设下，具有局部有限核维数的 C*-代数上的拟迹为迹。
• 将结果推广至具有局部有限核维数的非酉 C*-代数上的下半连续扩展拟迹。
• 在分类理论框架下的 C*-代数中确立迹性质，这些代数已知具有有限或局部有限核维数。
• 通过有限维代数的逼近与超极限技术，证明拟迹条件蕴含迹条件。
• 解决 George Elliott 提出的问题：该结论是否可推广至扩展拟迹？本文肯定地回答了下半连续情形。

提出的方法

• 利用有限维 C*-代数上的拟迹即为迹的事实（引理 1），借助极小投影的 Murray-von Neumann 等价性。
• 应用零序映射将迹从有限维商代数上提升：若 φ: A → B 为零序映射，τ 为 B 上的迹，则 τ∘φ 为 A 上的迹（引理 2）。
• 构造一族完全正映射 ψλ: A → ⊕ᵢ₌₀ⁿ Fᵢ⁽λ⁾ 和 φλ: ⊕ᵢ₌₀ⁿ Fᵢ⁽λ⁾ → A，其中 Fᵢ⁽λ⁾ 为有限维代数，使得 φλ∘ψλ 近似于 A 上的恒等映射。
• 沿自由超滤子 ω 取超极限，构造有限维代数超积上的迹 (τ∘φᵢ⁽λ⁾)ω。
• 应用拟迹的 2-次可加性：对正元 x,y 有 τ(x+y) ≤ 2(τ(x)+τ(y))，并通过归纳法将其推广至有限和。
• 通过超积上迹的有限线性组合有界 τ(a)，即 τ ≤ 2ⁿ∑ᵢ (τ∘φᵢ⁽λ⁾)ω∘ψ̄ᵢ，因此 τ 被某个迹从上方控制，故由引理 3 知 τ 为迹。

实验结果

研究问题

• RQ1 在局部有限核维数假设下，而非精确性假设下，拟迹为迹的结论是否仍成立？
• RQ2 该结果能否推广至非酉 C*-代数上的下半连续扩展拟迹？
• RQ3 在有限核维数情形下，是否存在一个简短、直接的证明，避免使用深层的分类理论工具，以表明拟迹蕴含迹？
• RQ4 是否可通过有限维代数逼近与超极限技术恢复迹性质？
• RQ5 零序映射与超极限在核维数框架下连接拟迹与迹的过程中起何作用？

主要发现

• 任何具有有限核维数的 C*-代数上的拟迹均为迹，其证明通过有限维商代数上迹的超极限构造了控制迹。
• 该结果推广至具有局部有限核维数的 C*-代数上的下半连续扩展拟迹，其中对所有满足有限 τ 值的正元 a,b 有 τ(a+b) = τ(a) + τ(b)。
• 证明依赖于拟迹的 2-次可加性，以及零序映射在复合下保持拟迹/迹性质的特性。
• 对任意具有局部有限核维数的 C*-代数中的正元 a，有 τ((a−ε)₊) → τ(a) 当 ε→0，该性质用于将迹性质扩展至极限情形。
• 关键不等式 τ(x) ≤ 2ⁿ∑ᵢ (τ∘φᵢ⁽λ⁾)ω∘ψ̄ᵢ(x) 表明 τ 被有限个迹从上方控制，因此由引理 3 可知 τ 为迹。
• 即使 τ 取无穷值，只要其下半连续，结论依然成立，迹性质可通过逼近与极限论证恢复。