[论文解读] A reflexivity criterion for Hilbert C*-modules over commutative C*-algebras

Michael Frank, Vladimir Manuilov+1 more|arXiv (Cornell University)|Aug 10, 2009

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

一句话总结

本文建立了关于交换C*-代数上希尔伯特C*-模的C*-反射性的拓扑准则，表明一个交换C*-代数 $ C(X) $ 是C*-反射性的，当且仅当对于任意一组两两正交且非零的C*-子代数 $ I_k $，典范包含 $ \bigoplus_k I_k \subset C(X) $ 无法延拓至 $ \prod_k I_k \subset C(X) $。该结果通过底层拓扑空间 $ X $ 的性质（特别是其Baire范畴与Stone-Čech紧化结构）提供了完整的刻画。

ABSTRACT

A C*-algebra $A$ is C*-reflexive if any countably generated Hilbert C*-module $M$ over $A$ is C*-reflexive, i.e. the second dual module $M''$ coincides with $M$. We show that a commutative C*-algebra $A$ is C*-reflexive if and only if for any sequence $I_k$ of disjoint non-zero C*-subalgebras, the canonical inclusion $\oplus_k I_k\subset A$ doesn't extend to an inclusion of $\prod_k I_k$.

研究动机与目标

• 使用拓扑与代数条件表征交换C*-代数上C*-反射性希尔伯特C*-模。
• 建立 $ C(X) $ 为C*-反射性的充要条件，该条件以理想无限积无法嵌入 $ C(X) $ 的形式表达。
• 通过将C*-反射性与Baire空间性质及Stone-Čech紧化联系起来，推广并细化先前关于C*-反射性的结果。
• 通过稳定化定理，为可数生成的希尔伯特C*-模提供一个适用的判别准则。

提出的方法

• 使用希尔伯特C*-模在 $ C^* $-代数上的对偶与二阶对偶模构造，包含典范包含 $ M \subset M'' \subset M' $。
• 应用Kasparov稳定化定理，将问题约化至标准模 $ H_A = l_2(A) $。
• 通过 $ F(f) = \sum_k a_k^* f_k $ 构造一个泛函 $ F \in H_A'' $，其中 $ (a_k) \in \prod_k I_k $ 且 $ \|a_k\| = 1 $。
• 对 $ C(X) $ 的谱 $ X $ 进行拓扑分析，重点关注不相交开集 $ U_k $ 及其对应的 $ C_0(U_k) $ 理想。
• 利用Baire范畴定理及Stone-Čech紧化 $ \beta Y $ 的性质，分析有界连续函数的延拓性。
• 反证法：假设 $ \prod_k C_0(U_k) \subset C(X) $，将导出在Higson紧化 $ \nu\mathbb{N} $ 中违反 $ \lim |a_{n+1} - a_n| = 0 $ 的序列。

实验结果

研究问题

• RQ1 何时对于所有可数生成的希尔伯特C*-模，交换C*-代数 $ C(X) $ 是C*-反射性的？
• RQ2 谱 $ X $ 的何种拓扑条件可确保对正交理想 $ I_k $ 有 $ \prod_k I_k \not\subset C(X) $？
• RQ3 X的Baire性质如何与 $ H_{C(X)} = l_2(C(X)) $ 的反射性相关？
• RQ4 条件 $ \prod_k I_k \not\subset C(X) $ 是否可作为非交换情形下C*-反射性的充要条件？
• RQ5 Stone-Čech紧化在判断 $ C(X) $ 是否为C*-反射性中起何种作用？

主要发现

• 交换C*-代数 $ A $ 是C*-反射性的，当且仅当对任意一组两两正交且非零的C*-子代数 $ \{I_k\} $，包含 $ \bigoplus_k I_k \subset A $ 无法延拓至 $ \prod_k I_k \subset A $。
• 标准希尔伯特C*-模 $ H_{C(X)} = l_2(C(X)) $ 不是C*-反射性的，当且仅当存在 $ X $ 中一组两两不相交的开集 $ \{U_k\} $，使得 $ \prod_k C_0(U_k) \subset C(X) $。
• $ C^* $-代数 $ A = C(\nu\mathbb{N}) $，即满足 $ \lim |a_{n+1} - a_n| = 0 $ 的序列构成的代数，是C*-反射性的，通过假设此类积包含存在而导出矛盾予以证明。
• Higson紧化 $ \nu\mathbb{N} $ 提供了一个反例：先前工作的充分条件并非必要，因为 $ \beta\mathbb{N} \subset \nu\mathbb{N} $，但 $ \prod_k C_0(U_k) \not\subset C(\nu\mathbb{N}) $。
• 由于Kasparov稳定化定理将问题约化至 $ H_{C(X)} $，该准则对所有可数生成的希尔伯特C*-模在 $ C(X) $ 上均成立。
• 该结果确认了对于紧致度量空间 $ X $，$ C(X) $ 是C*-反射性的，从而推广了Mishchenko与Trofimov的早期结果。