[论文解读] Generic properties of module maps and characterizing inverse limits of C*-algebras of compact operators

Kamran Sharifi|arXiv (Cornell University)|Aug 30, 2011

Advanced Operator Algebra Research参考文献 19被引用 6

一句话总结

本文证明了：一个局部C*-代数是紧算子C*-代数的逆极限，当且仅当其所有有界模映射都具有伴随映射、闭合像、广义逆，或具有极分解。该等价性通过局部C*-代数上希尔伯特模中模映射及其像的结构分析得以证明。

ABSTRACT

We study closedness of the range, adjointability and generalized invertibility of modular operators between Hilbert modules over locally C*-algebras of coefficients. Our investigations and the recent results of M. Frank [Characterizing C*-algebras of compact operators by generic categorical properties of Hilbert C*-modules, {\it J. K-Theory} {\bf 2} (2008), 453-462] reveal a number of equivalence properties of the category of Hilbert modules over locally C*-algebras which characterize precisely the inverse limit of C*-algebras of the C*-algebra of compact operators.

研究动机与目标

• 通过希尔伯特C*-模的通用范畴性质表征紧算子C*-代数的逆极限。
• 研究局部C*-代数上希尔伯特模之间有界模映射的像的闭包性、伴随性及广义可逆性。
• 建立模映射的结构性质与系数代数逆极限结构之间的等价关系。
• 通过模理论不变量将紧算子C*-代数的已知刻画推广至局部C*-代数的设定。

提出的方法

• 利用连续C*-半范数和商C*-代数分析局部C*-代数上希尔伯特模之间的有界模映射。
• 利用商代数 $\mathcal{A}_p = \mathcal{A}/N_p^\mathcal{A}$ 的逆系统结构，将局部C*-代数的性质与模的全局行为联系起来。
• 应用弗兰克等人关于希尔伯特C*-模中正交补与双正交补的结果。
• 证明模映射具有伴随映射当且仅当其图像为正交直和项，推广了C*-代数中的已知结果。
• 证明模映射的广义可逆性等价于其像为闭集，利用正交直和分解。
• 应用模映射在商映射 $\pi_p^\mathcal{A}$ 下的函子行为，将性质从 $\mathcal{A}_p$ 提升至 $\mathcal{A}$。

实验结果

研究问题

• RQ1 在何种模映射性质下，一个局部C*-代数可表征为紧算子C*-代数的逆极限？
• RQ2 在何种条件下，局部C*-代数上希尔伯特模之间的有界模映射具有伴随映射？
• RQ3 在何种条件下，局部C*-代数上希尔伯特模之间的有界模映射具有广义逆？
• RQ4 模映射的极分解与闭合像性质如何与系数代数的代数结构相关联？
• RQ5 子模的正交补在表征紧算子C*-代数的逆极限中起何种作用？

主要发现

• 局部C*-代数上希尔伯特模之间的有界模映射具有伴随映射，当且仅当其图像为正交直和项。
• 局部C*-代数上希尔伯特模之间的有界模映射具有广义逆，当且仅当其像为闭集。
• 局部C*-代数 $\mathcal{A}$ 是紧算子C*-代数的逆极限，当且仅当每个从希尔伯特 $\mathcal{A}$-模到其自身的有界 $\mathcal{A}$-模映射都具有广义逆。
• 该条件等价于每个此类映射都具有极分解，或每个闭合像映射的像为正交直和项。
• 若所有有界模映射的核均为正交直和项，或每个希尔伯特子模都具有拓扑补，则该等价性仍成立。
• 模映射 $T$ 的广义逆满足 $(\pi_p^\mathcal{A})_*(T^\dagger) = (\pi_p^\mathcal{A}(T))^\dagger$ 对所有 $p \in S(\mathcal{A})$ 成立，表明在商映射下结构得以保持。