[论文解读] Distance to normal elements in $C^*$-algebras of real rank zero

Ilya Kachkovskiy, Yuri Safarov|arXiv (Cornell University)|Mar 9, 2014

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

一句话总结

本文通过自交换子 $[A,A^*]$ 的范数和到可逆元的距离，建立了在实秩为零的 $C^*$-代数中，有界算子到正规元集合的距离的阶尖锐估计。关键结果提供了定量界 $\mathrm{dist}(A, \mathrm{N}_f(\mathcal{A})) \leq C(\|[A,A^*]\|^{1/2} + d_1(A))$，改进了林定理，并证实了戴维森与萨雷克关于 $t^{1/2}$ 衰减率的猜想。

ABSTRACT

We obtain an order sharp estimate for the distance from a given bounded operator $A$ on a Hilbert space to the set of normal operators in terms of $\|[A,A^*]\|$ and the distance to the set of invertible operators. A slightly modified estimate holds in a general $C^*$-algebra of real rank zero.

研究动机与目标

• 为实秩为零的 $C^*$-代数中，有界算子到正规元集合的距离，提供一个与维数无关的定量估计。
• 解决长期悬而未决的公开问题：是否存在一个连续函数 $F$ 满足 $F(0)=0$，使得 $\mathrm{dist}(A, \text{正规}) \leq F(\|[A,A^*]\|)$ 对所有有界算子 $A$ 成立，且与维数无关。
• 扩展并改进现有结果，包括林定理、布朗-道格拉斯-菲利普定理以及伯格-戴维森的定量版本，尤其针对非紧自交换子的情形。
• 建立距离的精确下界，证明其至少为 $\max\{(5\|A\|)^{-1}\|[A,A^*]\|, d_1(A)\}$。

提出的方法

• 证明利用了实秩为零的 $C^*$-代数中的谱理论与函数演算，借助自伴元被有限谱元逼近的性质。
• 关键技巧在于通过谱投影和光滑截断函数 $\rho$ 构造一个具有有限谱的正规算子，以局部化算子并减少非交换性。
• 该方法引入了修正的距离函数 $d_1'(A)$，定义为 $\lambda \in \mathbb{C}$ 上 $\mathrm{dist}(A - \lambda I, \mathrm{GL}_0(\mathcal{A}))$ 的上确界，以控制可逆性性质。
• 作者将算子 $A$ 分解为实部与虚部，并通过分块对角化构造交换逼近元。
• 通过估计 $\|[X,Y]\|$ 和 $\|X - X'\|$（其中 $X'$ 是 $X$ 的离散化版本），推导出用有限谱正规元逼近 $A$ 的误差界。
• 结合定理 3.1 与 5.1 的估计，控制了对 $d_1'(A)$ 的依赖性，从而得到一个与代数和算子无关的绝对常数 $C$。

实验结果

研究问题

• RQ1 能否构造一个与维数无关的连续函数 $F$，满足 $F(0)=0$，使得对所有实秩为零的 $C^*$-代数中的有界算子 $A$，都有 $\mathrm{dist}(A, \text{正规}) \leq F(\|[A,A^*]\|)$？
• RQ2 戴维森与萨雷克的猜想——距离以 $C \|[A,A^*]\|^{1/2}$ 的速率衰减——在有限维情形是否成立，并可否推广到无限维实秩为零的 $C^*$-代数？
• RQ3 能否为非紧自交换子的算子建立布朗-道格拉斯-菲利普定理的定量版本？
• RQ4 在这些代数中，算子到具有有限谱的正规元集合的距离的精确下界是什么？

主要发现

• 本文建立了上界 $\mathrm{dist}(A, \mathrm{N}_f(\mathcal{A})) \leq C(\|[A,A^*]\|^{1/2} + d_1(A))$，其中 $C$ 是与 $\mathcal{A}$ 和 $A$ 无关的绝对常数，证实了该估计的阶尖锐性。
• 证明了下界 $\mathrm{dist}(A, \mathrm{N}_f(\mathcal{A})) \geq \max\{(5\|A\|)^{-1}\|[A,A^*]\|, d_1(A)\}$，表明该估计是阶尖锐的。
• 戴维森与萨雷克的猜想——$F(t) = C t^{1/2}$ 对有限矩阵已足够——作为主结果的特例得到证实。
• 该结果意味着即使自交换子非紧，布朗-道格拉斯-菲利普定理也存在一个定量版本，其中 $F_\Omega(\varepsilon) = C\varepsilon$，且 $C$ 与谱集 $\Omega$ 无关。
• 本文为在实秩为零的 $C^*$-代数中，用具有有限谱的正规元逼近算子，提供了构造性框架。
• 该估计在缩放下保持稳定，并可推广到本质范数情形，得到 $\|A - A_\varepsilon\|_{\mathrm{ess}} \leq 2F(\|[A,A^*]\|_{\mathrm{ess}})$，并给出了显式依赖于 $F$ 的完整算子范数界。