[论文解读] Hilbert modules over locally C*-algebras

Yu. I. Zhuraev, Felix Sharipov|ArXiv.org|Nov 8, 2000

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

一句话总结

该论文证明了在自然的一族C*-半范数下，局部C*-代数上的希尔伯特模的共轭可约自同态集合构成一个局部C*-代数。作者提供了该结果的详细证明，该结果推广了C*-模理论中的一个已知事实，并通过商C*-代数上的谱性质和范数性质验证了其正确性。

ABSTRACT

In the present paper the notion of a Hilbert module over a locally C*-algebra is discussed and some results are obtained on this matter. In particular, we give a detailed proof of the known result that the set of adjointable endomorphisms of such modules is itself a locally C*-algebra.

研究动机与目标

• 将希尔伯特C*-模理论推广至局部C*-代数的框架，后者在相对论量子力学和非交换几何中自然出现。
• 定义并研究局部C*-代数上的希尔伯特模，推广标准的希尔伯特C*-模框架。
• 证明此类模的共轭可约自同态空间本身即为一个局部C*-代数，这是关键的结构性结果。
• 尽管该结果在文献中已有先例，仍提供一份详尽且自包含的证明，以供研究人员参考。

提出的方法

• 使用一族C*-半范数和取值于代数中的相容内积，定义局部C*-代数上的希尔伯特模。
• 对每个半范数 $P_\alpha$，构造商模 $X_\alpha = X / \bar{I}_\alpha$，其中 $I_\alpha$ 是 $P_\alpha$ 的核，从而得到取值于C*-代数 $A_\alpha = A / I\_\alpha$ 的希尔伯特模。
• 在自同态空间 $T \in \text{End}_A^*(X)$ 上定义半范数 $\hat{P}_\alpha(T) = \|T_\alpha\|$，其中 $T_\alpha$ 是 $X_\alpha$ 上的诱导算子。
• 证明 $\hat{P}_\alpha$ 满足C*-恒等式 $\hat{P}_\alpha(T^*T) = \hat{P}_\alpha(T)^2$，从而确认其为C*-半范数。
• 利用伴随网的收敛性，证明 $\text{End}_A^*(X)$ 在 $\{\hat{P}_\alpha\}_{\alpha \in \Delta}$ 诱导的拓扑下是完备的。
• 建立映射 $T \mapsto T_\alpha$ 是从 $\text{End}_A^*(X)$ 到 $\text{End}_{A_\alpha}^*(X_\alpha)$ 的*-同态，保持谱和正性。

实验结果

研究问题

• RQ1 希尔伯特模在局部C*-代数上的共轭可约自同态空间本身是否构成一个局部C*-代数？
• RQ2 一个自同态的谱性质和正性与其在C*-商模上的商映射的谱性质和正性有何关系？
• RQ3 能否从相关C*-商模上的行为恢复局部C*-代数上共轭可约自同态的结构？
• RQ4 模和代数的归纳极限结构在保持有界性和伴随性方面起到什么作用？
• RQ5 非酉局部C*-代数的酉化如何影响其上希尔伯特模的自同态代数？

主要发现

• 希尔伯特模 $X$ 在局部C*-代数 $A$ 上的共轭可约自同态集合 $\text{End}_A^*(X)$ 关于半范数族 $\{\hat{P}_\alpha\}_{\alpha \in \Delta}$ 构成一个局部C*-代数。
• 对每个 $\alpha$，在商模 $X_\alpha$ 上的诱导算子 $T_\alpha$ 有界且共轭可约，且满足 $\|T_\alpha\| = \hat{P}_\alpha(T)$。
• 半范数 $\hat{P}_\alpha$ 满足C*-恒等式：$\hat{P}_\alpha(T^*T) = \hat{P}_\alpha(T)^2$，从而确认其为C*-半范数。
• 空间 $\text{End}_A^*(X)$ 在 $\{\hat{P}_\alpha\}$ 定义的拓扑下是完备的，因此构成一个局部C*-代数。
• 算子 $T \in \text{End}_A^*(X)$ 为正的当且仅当对所有 $\alpha$，$T_\alpha$ 在 $\text{End}_{A_\alpha}^*(X_\alpha)$ 中为正。
• 算子 $T$ 的谱满足 $\text{Sp}(T) = \bigcup_{\alpha \in \Delta} \text{Sp}(T_\alpha)$，将全局谱与商模的谱联系起来。