[论文解读] The kernel of the determinant map on pure C*-algebras

Ping Wong Ng, Leonel Robert|arXiv (Cornell University)|Aug 19, 2014

Advanced Operator Algebra Research参考文献 23被引用 9

一句话总结

该论文证明，在具有稳定秩一且迹唯一2-拟迹态的可分、简单、纯C*-代数中，若某个单位元属于恒同连通分支且de la Harpe–Skandalis行列式为零，则其可表示为恰好7k + 29个换位子的有限乘积，其中k为其指数分解中的指数个数。该结果将此前对AF、AH及Z-稳定C*-代数的研究推广至更广泛的类，包括非核例子（如无穷个生成元的自由群的约化C*-代数）。

ABSTRACT

In a simple C*-algebra with suitable regularity properties, any unitary or invertible element with de la Harpe--Skandalis determinant zero is a finite product of commutators.

研究动机与目标

• 将单位元行列式为零时可表示为有限个换位子乘积的结果，从核C*-代数推广至更广泛的类，包括非核例子。
• 基于其指数分解，建立表达此类单位元所需换位子数的统一上界。
• 将结果从单位元推广至一般线性群恒同连通分支中的可逆元。
• 应用近期的分类理论技术——特别是涉及核维数和Cuntz半群性质的技术——于缺乏丰富投影的C*-代数。
• 为在稳定秩一的代数中，通过逼近与扰动技术，建立将行列式映射核中的元素表示为换位子的框架。

提出的方法

• 利用NCCW系统中的分类结果，将一维NCCW C*-代数B嵌入满足假设条件的给定C*-代数A中。
• 通过B的核维数至多为1的事实，将U⁰(A) ∩ ker Δ_Tr中单位元的逼近问题约化为B中的单位元。
• 应用Fack方法的修改版本，适用于缺乏丰富投影的情形，通过迹正交性及换位子逼近实现。
• 通过涉及正交投影与单位元的递归构造，将每个指数e^{ih_j}表示为11个换位子的乘积，从而将单位元u = ∏_{j=1}^k e^{ih_j}分解为7k + 29个换位子。
• 对GL⁰(A)中的可逆元使用极分解x = u|x|，其中Δ_Tr(u) = Δ_Tr(|x|) = 0，从而将可逆元情形约化为单位元情形。
• 通过依赖于纯性（几乎无穿孔且几乎可除的Cuntz半群）与稳定秩一的性质，将de la Harpe–Skandalis与Thomsen的证明策略适配于非核C*-代数。

实验结果

研究问题

• RQ1 该结果是否可从核C*-代数推广至非核、纯C*-代数，即单位元行列式为零时是否为有限个换位子的乘积？
• RQ2 给定单位元u ∈ U⁰(A)满足Δ_Tr(u) = 0且其分解为k个指数的乘积时，表达该单位元所需换位子数的统一上界是多少？
• RQ3 在稳定秩一的纯C*-代数中，GL⁰(A)上de la Harpe–Skandalis行列式映射的核是否与GL⁰(A)中的换位子群一致？
• RQ4 Fack方法在AF代数中的应用如何适配于缺乏丰富投影的C*-代数（如C*r(F∞)）？
• RQ5 纯C*-代数的正则性质——如核维数≤1与稳定秩一——在多大程度上可实现ker Δ_Tr中元素的换位子逼近？

主要发现

• 对于具有稳定秩一且迹唯一2-拟迹态的可分、简单、纯C*-代数A，任意满足Δ_Tr(u) = 0且可分解为u = ∏_{j=1}^k e^{ih_j}的单位元u ∈ U⁰(A)，均可表示为恰好7k + 29个换位子的乘积。
• U⁰(A)中行列式映射的核与U⁰(A)中的换位子群一致，即ker Δ_Tr ∩ U⁰(A) = DU⁰(A) = DU(A)。
• 对于单射、Z-稳定、有理数TAI的C*-代数，指数秩为1+ε，因此ker Δ_Tr ∩ U⁰(A)中元素的统一换位子数上界为43。
• 该结果可推广至一般线性群：若x ∈ GL⁰(A)且Δ_Tr(x) = 0，则x为GL⁰(A)中有限个乘法换位子的乘积。
• 证明依赖于将A嵌入核维数至多为1的C*-代数B中，将问题约化至B，并通过扰动构造将指数表示为11个换位子的乘积。
• 该构造利用迹正交性与酉共轭，即使在缺乏丰富投影的情形下，也能将自伴元的指数分解为有限个换位子的乘积。