[論文レビュー] 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 $ の性質、特にバナッハ・カテゴリおよびストーン・チェホフコンパクト化の構造を用いて完全な特徴付けを提供する。

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*-反射的性質に関する先行研究を一般化・精緻化すること。
• カスパロフの安定化定理を用いて、可算生成ヒルベルト C*-加群に対して適用可能な基準を提供すること。

提案手法

• C*-代数上のヒルベルト C*-加群に対して、双対加群および二重双対加群の構成を用い、標準的包含 $ M \subset M'' \subset M' $ を導出する。
• カスパロフの安定化定理を適用し、問題を標準加群 $ H_A = l_2(A) $ に還元する。
• 列 $ (a_k) \in \prod_k I_k $ に対して $ \|a_k\| = 1 $ を満たすものについて、汎関数 $ F \in H_A'' $ を $ F(f) = \sum_k a_k^* f_k $ で定義する。
• C(X) のスペクトル $ X $ の位相的解析を実施し、互いに素な開集合 $ U_k $ 及びそれらに対応する $ C_0(U_k) $ イデアルに注目する。
• バナッハ・カテゴリ定理およびストーン・チェホフコンパクト化 $ \beta Y $ の性質を用いて、有界連続関数の拡張を分析する。
• 背理法による証明：$ \prod_k C_0(U_k) \subset C(X) $ を仮定すると、ヒグソンコンパクト化 $ \nu\mathbb{N} $ における $ \lim |a_{n+1} - a_n| = 0 $ の条件を満たさない列が得られ、矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 可換 $ C^* $-代数 $ C(X) $ が、それ上のすべての可算生成ヒルベルト $ C^* $-加群に対して C*-反射的であるのはいつか？
• RQ2 スペクトル $ X $ にどのような位相的条件を課すと、直交するイデアル $ I_k $ に対して $ \prod_k I_k \not\subset C(X) $ が成り立つか？
• RQ3 $ X $ がバナッハ空間の性質を満たすとき、$ H_{C(X)} = l_2(C(X)) $ の反射的性質はどのように関係するか？
• RQ4 条件 $ \prod_k I_k \not\subset C(X) $ は、非可換の場合の C*-反射的性質の必要十分条件として成立するか？
• RQ5 ストーン・チェホフコンパクト化は、$ C(X) $ が C*-反射的であるかどうかを決定するために果たす役割は何か？

主な発見

• 可換 $ C^* $-代数 $ A $ は、任意の互いに直交する非ゼロの $ C^* $-部分代数の列 $ \{I_k\} $ に対して、包含 $ \bigoplus_k I_k \subset A $ が $ \prod_k I_k \subset A $ に拡張されないとき、かつそのときに限り C*-反射的である。
• 標準ヒルベルト $ C^* $-加群 $ H_{C(X)} = l_2(C(X)) $ は、$ X $ に互いに素な開集合の列 $ \{U_k\} $ が存在して $ \prod_k C_0(U_k) \subset C(X) $ が成り立つとき、かつそのときに限り C*-反射的でない。
• $ C^* $-代数 $ A = C(\nu\mathbb{N}) $ は、$ \lim |a_{n+1} - a_n| = 0 $ を満たす列からなるものであり、背理法により C*-反射的であることが示された。
• ヒグソンコンパクト化 $ \nu\mathbb{N} $ は、以前の研究で得られた十分条件が必ずしも必要ではない反例を提供する。なぜなら $ \beta\mathbb{N} \subset \nu\mathbb{N} $ ではあるが、$ \prod_k C_0(U_k) \not\subset C(\nu\mathbb{N}) $ であるから。
• カスパロフの安定化定理により、問題が $ H_{C(X)} $ に還元されるため、この基準は $ C(X) $ 上のすべての可算生成ヒルベルト $ C^* $-加群に適用可能である。
• この結果により、$ C(X) $ がコンパクトな距離空間 $ X $ に対して C*-反射的であることが確認され、ミシュチェンコおよびトロフィモフによる先行結果が拡張された。