[论文解读] Maximal ideal space of a commutative coefficient algebra

B. K. Kwaśniewski, А. В. Лебедев|ArXiv.org|Nov 24, 2003

Advanced Topics in Algebra参考文献 1被引用 5

一句话总结

本文提供了由交换 $ C^* $-代数 $ \cal A $ 和部分等距算子 $ U $ 生成的系数 $ C^* $-代数 $ \overline{E_*({\cal A})} $ 的最大理想空间的完整拓扑描述，其中端点映射 $ \delta(a) = UaU^* $ 作用于该代数。最大理想空间被证明可分解为可数个局部紧致、既开又闭的集合 $ \widehat{M}_N $ 与一个闭集 $ M_\infty $ 的不交并，其参数化由 $ \cal A $ 的谱上诱导映射 $ \alpha $ 的无限向后轨道决定，并通过柱集定义了相应的拓扑结构。

ABSTRACT

The basic notion of the article is a pair (A,U), where A is a commutative C*-algebra and U is a partial isometry such that mapping U()U* is an endomorphism of A and U*U belongs to A. We give a description of the maximal ideal space of the smallest coefficient C*-algebra of the algebra C*(A,U) generated by the system (A,U).

研究动机与目标

• 描述与一对 $ (\cal A, U) $ 相关的最小系数 $ C^* $-代数 $ \overline{E_*({\cal A})} $ 的最大理想空间，其中 $ \cal A $ 是一个交换 $ C^* $-代数，$ U $ 是生成一个端点映射 $ \delta $ 的部分等距算子。
• 建立 $ M(\overline{E_*({\cal A})}) $ 与由 $ \delta $ 在 $ \widehat{\cal A} $ 上诱导的映射 $ \alpha $ 的有限和无限向后轨道参数化的集合的不交并之间的同胚关系。
• 通过由 $ \cal A $ 中的函数定义的柱集和局部基，提供 $ \overline{E_*({\cal A})} $ 的谱的拓扑刻画。

提出的方法

• 最大理想空间 $ M(\overline{E_*({\cal A})}) $ 被构造为不交并 $ \bigcup_{N=0}^\infty \widehat{M}_N \cup M_\infty $，其中 $ \widehat{M}_N $ 由满足 $ x_n \in \Delta_n $，$ x_N \notin \Delta_{-1} $，且 $ \alpha(x_n) = x_{n-1} $ 的序列 $ \widetilde{x} = (x_0, \dots, x_N, 0, \dots) $ 构成。
• 集合 $ M_\infty $ 由满足对所有 $ n \geq 1 $ 有 $ x_n \in \Delta_n \cap \Delta_{-\infty} $ 且 $ \alpha(x_n) = x_{n-1} $ 的无限序列 $ \widetilde{x} = (x_0, x_1, \dots) $ 构成。
• 定义了一个基域系统：对 $ \widetilde{x} \in \widehat{M}_N $，有 $ O(a_1, \dots, a_k, \varepsilon) = \{ \widetilde{y} \in \widehat{M}_N : |a_i(x_N) - a_i(y_N)| < \varepsilon \} $；对 $ \widetilde{x} \in M_\infty $，有 $ O(a_1, \dots, a_k, n, \varepsilon) = \{ \widetilde{y} \in \bigcup_{N=n}^\infty \widehat{M}_N \cup M_\infty : |a_i(x_n) - a_i(y_n)| < \varepsilon \} $。
• 该构造依赖于通过 Gelfand 变换将 $ \cal A $ 识别为 $ C(M) $，并利用端点映射 $ \delta $ 在最大理想空间 $ M = \widehat{\cal A} $ 上诱导出一个部分映射 $ \alpha: \Delta \to M $，满足若 $ x \in \Delta $ 则 $ \delta(f)(x) = f(\alpha(x)) $，否则为 0。
• 证明利用了 $ \widetilde{x}(U^{*N}U^N) = 1 $ 且 $ \widetilde{x}(U^{*N+1}U^{N+1}) = 0 $ 当且仅当 $ \widetilde{x} \in \widehat{M}_N $ 的事实，从而将集合 $ \widehat{M}_N $ 特征化为既开又闭的集合。
• 当 $ U^*U \notin \cal A $ 时，通过考虑 $ C^* $-代数 $ \cal A_1 = \langle \cal A, U^*U \rangle $ 将结果推广，证明 $ \overline{E_*({\cal A}_1)} = \overline{E_*({\cal A})} $，因此谱保持不变。

实验结果

研究问题

• RQ1 系数代数 $ \overline{E_*({\cal A})} $ 的最大理想空间如何与原始交换 $ C^* $-代数 $ \cal A $ 的谱以及端点映射 $ \delta $ 相关联？
• RQ2 在由 $ \delta $ 诱导的映射 $ \alpha $ 下，$ M(\overline{E_*({\cal A})}) $ 的拓扑结构是什么？它如何通过 $ \alpha $ 的向后轨道进行分解？
• RQ3 在何种条件下，谱 $ M(\overline{E_*({\cal A})}) $ 会退化为仅包含无限向后轨道集合 $ M_\infty $？
• RQ4 如何定义 $ M(\overline{E_*({\cal A})}) $ 上的拓扑结构？点 $ \widehat{M}_N $ 和 $ M_\infty $ 的基域系统由什么构成？

主要发现

• 最大理想空间 $ M(\overline{E_*({\cal A})}) $ 同胚于不交并 $ \bigcup_{N=0}^\infty \widehat{M}_N \cup M_\infty $，其中 $ \widehat{M}_N $ 和 $ M_\infty $ 均为局部紧致、既开又闭的子集。
• 每个 $ \widehat{M}_N $ 中的点对应一个有限向后轨道 $ (x_0, \dots, x_N) $，满足 $ \alpha(x_n) = x_{n-1} $，$ x_N \notin \Delta_{-1} $，且 $ x_n \in \Delta_n $；而 $ M_\infty $ 由满足 $ x_n \in \Delta_n \cap \Delta_{-\infty} $ 的无限向后轨道构成。
• $ \widehat{M}_N $ 在 $ M(\overline{E_*({\cal A})}) $ 中既是开集也是闭集，其与 $ M_\infty $ 的不交并构成一个局部紧致的 Hausdorff 空间。
• 对 $ \widetilde{x} \in \widehat{M}_N $，其基域系统为 $ O(a_1, \dots, a_k, \varepsilon) = \{ \widetilde{y} \in \widehat{M}_N : |a_i(x_N) - a_i(y_N)| < \varepsilon \} $；对 $ \widetilde{x} \in M_\infty $，其基域系统为 $ O(a_1, \dots, a_k, n, \varepsilon) = \{ \widetilde{y} \in \bigcup_{N=n}^\infty \widehat{M}_N \cup M_\infty : |a_i(x_n) - a_i(y_n)| < \varepsilon \} $。
• 当 $ U $ 为等距算子（即 $ U^*U = 1 $）时，映射 $ \alpha $ 是满射，因此对所有 $ N \geq 0 $ 有 $ \widehat{M}_N = \emptyset $，且 $ M(\overline{E_*({\cal A})}) = M_\infty $，即所有无限向后轨道的集合。
• 当 $ U^*U \notin \cal A $ 时，该构造具有鲁棒性，因为 $ \overline{E_*({\cal A})} $ 的谱在通过 $ \cal A_1 = \langle \cal A, U^*U \rangle $ 扩展时保持不变，从而可将一般结果普遍适用。