[论文解读] Completeness of $n$--tuple of projections in $C^*$--algebras

Shanwen Hu, Yifeng Xue|arXiv (Cornell University)|Oct 17, 2012

Advanced Operator Algebra Research参考文献 8被引用 3

一句话总结

本文建立了在酉 $C^*$-代数中，$n$-元投影的完备性之必要与充分条件，即代数可分解为闭子空间 $P_i\mathcal{A}$ 的直和。通过某些算子组合的可逆性刻画完备性，证明了在小非对角范数扰动下的稳定性，并展示了在关键代数（如Calkin代数）中，完备 $n$-元投影集合的路径连通性。

ABSTRACT

Let $(P_1,...,P_n)$ be an $n$--tuple of projections in a unital $C^*$--algebra $å$. We say $\pn$ is complete in $å$ if $å$ is the linear direct sum of the closed subspaces $P_1å,...,P_nå$. In this paper, we give some necessary and sufficient conditions for the completeness of $\pn$ and discuss the perturbation problem and topology of the set of all complete $n$--tuple of projections in $å$. Some interesting and significant results are obtained in this paper.

研究动机与目标

• 刻画酉 $C^*$-代数中 $n$-元投影的完备性，即当代数为闭子空间 $P_i\mathcal{A}$ 的线性直和时的条件。
• 将已知的 $n=2$ 结果推广至 $n \geq 3$，其中和为单位元的投影结构尚不清晰。
• 研究完备 $n$-元投影在小扰动下的稳定性，特别是投影之间非对角项 $\|P_i A^{-1} P_j\|$ 较小时的情形。
• 分析完备 $n$-元投影集合的拓扑结构，包括在特定 $C^*$-代数中路径连通性与同伦等价类。

提出的方法

• 通过算子组合的可逆性建立完备性的等价条件：对所有 $\lambda \in [1-n, 0)$，有 $\lambda \sum_{j \neq i} P_j + P_i \in GL(\mathcal{A})$。
• 使用变换 $Q_i = A^{-1/2} P_i A^{-1/2}$，其中 $A = \sum P_i$，将问题约化为相互正交投影的情形。
• 引入同伦等价关系 $\sim_h$，通过酉共轭与代数中的路径连通性对完备 $n$-元投影进行分类。
• 应用 Calkin 代数构造，证明当 $\mathcal{A} = B(H)/\mathcal{K}(H)$ 时，$\mathbf{PC}_n(\mathcal{A})$ 是路径连通的。
• 利用连续路径的酉算子 $U_i(t)$ 构造同伦，将任意完备 $n$-元投影同伦于一组正交投影。
• 导出一个紧确的扰动界：若对所有 $i \neq j$，有 $\|P_i A^{-1} P_j\| < \left[(n-1)\|A^{-1}\|\|A\|^2\right]^{-1}$，则 $P_i A^{-1} P_j = 0$，意味着在变换后的代数中投影正交。

实验结果

研究问题

• RQ1 在酉 $C^*$-代数 $\mathcal{A}$ 中，$n$-元投影 $(P_1, \dots, P_n)$ 的完备性（即 $\mathcal{A} = \bigoplus_{i=1}^n P_i\mathcal{A}$）的必要与充分条件是什么？
• RQ2 当非对角项 $\|P_i A^{-1} P_j\|$ 较小时，$n$-元投影的完备性在小扰动下如何表现？
• RQ3 在 $\mathcal{A}$ 中，完备 $n$-元投影集合 $\mathbf{PC}_n(\mathcal{A})$ 的拓扑结构是什么，特别是在 Calkin 代数中？
• RQ4 何时两个完备 $n$-元投影同伦等价？其连通分支由何种不变量分类？

主要发现

• 在 $\mathcal{A}$ 中，$n$-元组 $(P_1, \dots, P_n)$ 完备当且仅当对所有 $i$ 和 $\lambda \in [1-n, 0)$，有 $\lambda \sum_{j \neq i} P_j + P_i \in GL(\mathcal{A})$。
• 若 $A = \sum_{i=1}^n P_i$ 可逆，且对所有 $i \neq j$，有 $\|P_i A^{-1} P_j\| < \left[(n-1)\|A^{-1}\|\|A\|^2\right]^{-1}$，则 $P_i A^{-1} P_j = 0$，意味着在变换后的代数中投影正交。
• 对任意 $\epsilon \in (0,1)$，若对所有 $i \neq j$，有 $\|P_i P_j\| < \epsilon$，则存在一组相互正交的投影 $(P'_1, \dots, P'_n)$，使得 $\|P_i - P'_i\| < 2(n-1)\epsilon$，改进了先前的估计。
• 在 Calkin 代数 $\mathcal{A} = B(H)/\mathcal{K}(H)$ 中，集合 $\mathbf{PC}_n(\mathcal{A})$ 是路径连通的，意味着所有完备 $n$-元投影同伦等价。
• 当 $\mathcal{A} = M_k(\mathbb{C})$ 时，集合 $\mathbf{PC}_n(\mathcal{A})$ 连通当且仅当 $n = k$，当 $2 \leq n \leq k-1$ 时则不连通，其连通分支由迹元组 $(\mathrm{Tr}(P_1), \dots, \mathrm{Tr}(P_{n-1}))$ 分类。
• 完备 $n$-元投影的同伦等价类由其酉共轭类决定，且 $\sim_h$-等价性保持完备性与迹不变量。