[論文レビュー] On closed subalgebras of CB(X)

Majid Farhadi, M. R. Koushesh|arXiv (Cornell University)|Dec 31, 2017

Advanced Topics in Algebra参考文献 7被引用数 3

ひとこと要約

本稿は、$ X $ が完全正則空間であるとき、$ C_B(X) $ の零でない自己随伴な閉部分代数 $ H $ のゲルファンドスペクトルの新しい表現を確立する。$ \mathfrak{sp}(H) $ を $ H $ によって生成されるコンパクト化 $ \alpha_HX $ の開部分空間として構成する。主な結果は、$ \mathfrak{sp}(H) $ が可分で距離化可能なことと、$ H $ が可算に生成されることとは同値である。

ABSTRACT

For a completely regular space $X$ and a non-vanishing self-adjoint closed subalgebra $H$ of $C_B(X)$ which separates points from closed sets in $X$ we construct the Gelfand spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the compactification of $X$ generated by $H$. The simple construction of $\mathfrak{sp}(H)$ enables easier examination of its properties. We illustrate this by an example showing that the space $\mathfrak{sp}(H)$ is separable metrizable if and only if $H$ is countably generated.

研究の動機と目的

• 先行研究における局所単位の恣意的仮定を、標準的な位相的条件である「閉集合から点を分離する」ものに置き換えること。
• $ H $-生成コンパクト化 $ \alpha_HX $ の開部分空間として、ゲルファンドスペクトル $ \mathfrak{sp}(H) $ の標準的構成を提供すること。
• より自然で構造的なコンパクト化を用いることで、スペクトル性質の解析を容易にすること。
• スペクトルが可分で距離化可能であるときの明確な特徴づけを確立すること。
• 定理の適用に必要な条件を満たす空間と代数の具体的な例を提供すること。

提案手法

• 評価写像 $ e: X \to \prod_{h \in H} \overline{h(X)} $ の閉包として $ \alpha_HX $ を定義し、$ X $ のコンパクト化を得る。
• $ h \in H $ をすべて $ h_\alpha \in C(\alpha_HX) $ に連続に拡張し、$ h_\alpha|_X = h $ となるようにする。
• すべての $ h_\alpha $ が非ゼロである点の集合として、ゲルファンドスペクトル $ \mathfrak{sp}(H) $ を $ \alpha_HX $ の開部分集合として構成する。
• $ \alpha_HX $ がコンパクト集合の積の部分空間であることを使い、$ H $ が可算に生成されるとき、$ \alpha_HX $ は可分で距離化可能であることを示す。
• 標準的なゲルファンド–ナイマーク双対性を適用して、$ \mathfrak{sp}(H) $ が $ H $ のスペクトルであり、$ H \cong C_0(\mathfrak{sp}(H)) $ であることを同定する。
• 可算部分代数の稠密性を活用し、$ H $ が可算に生成されるならば $ \alpha_HX $ は可分で距離化可能であり、したがって $ \mathfrak{sp}(H) $ もこれらの性質を引き継ぐことを示す。

実験結果

リサーチクエスチョン

• RQ1 閉部分代数 $ H \subset C_B(X) $ のゲルファンドスペクトルが、$ X $ のコンパクト化に自然に埋め込まれる条件は何か？
• RQ2 スペクトル $ \mathfrak{sp}(H) $ の位相的構造は、$ H $ の代数的生成にどのように関係するか？
• RQ3 以前の表現における「局所単位」の仮定は、より標準的な位相的条件に置き換え可能か？
• RQ4 スペクトル $ \mathfrak{sp}(H) $ が可分で距離化可能であるのはいつか？
• RQ5 どのような空間と代数のクラスが、この構成に必要な「点を閉集合から分離する」条件を満たすか？

主な発見

• 零でない自己随伴な閉部分代数 $ H \subset C_B(X) $ で、点を閉集合から分離するものについて、そのゲルファンドスペクトル $ \mathfrak{sp}(H) $ は、$ H $-生成コンパクト化 $ \alpha_HX $ の自然な開部分空間として実現される。
• $ \mathfrak{sp}(H) $ が可分で距離化可能であることと、$ H $ が可算に生成されることとは同値である。
• $ \alpha_HX $ の構成は評価写像の閉包として行われ、これにより $ H $ のすべての元が $ \alpha_HX $ に連続に拡張され、$ \mathfrak{sp}(H) $ は $ \alpha_HX $ の点のうち、どの $ h_\alpha $ もゼロでない点の集合である。
• $ H $ が可算に生成されるとき、代数 $ H $ は可算な稠密部分代数 $ Q $ を含み、$ \alpha_QX $ は可分で距離化可能な空間であるため、$ \mathfrak{sp}(H) $ もこの構造を引き継ぐ。
• $ \mathfrak{sp}(H) $ は $ H $ の構造空間に位相的に同相であり、$ H \cong C_0(\mathfrak{sp}(H)) $ であるため、双対性が確認される。
• このような代数の例として、$ H = \{ f \in C_B(X) : |f|^{-1}([\epsilon,\infty)) \text{ が性質 } \mathscr{P} \text{ を持つ} \} $ がある。ここで $ \mathscr{P} $ は閉性を保ち、可算和を保存する位相的性質であり、$ X $ は局所 $ \mathscr{P} $ である。