[論文レビュー] Frames in Hilbert C*-modules and C*-algebras

Michael Frank, David R. Larson|ArXiv.org|Oct 19, 2000

Advanced Operator Algebra Research参考文献 46被引用数 181

ひとこと要約

この論文は、幾何的拡大と作用素論的技法を用いて、ヒルベルト空間フレームの概念を一般化することで、ヒルベルト C*-加群と C*-代数の包括的なフレーム理論を確立する。可算生成なヒルベルト C*-加群は、常に最強のタイプのフレームを有し、フレーム表現、分解定理、再構成公式を備えることが示され、非直交構造にもかかわらず、古典的結果を拡張しつつ、主要な性質を保つ。

ABSTRACT

We present a general approach to a modular frame theory in C*-algebras and Hilbert C*-modules. The investigations rely on the idea of geometric dilation to standard Hilbert C*-modules over unital C*-algebras that possess orthonormal Hilbert bases, and of reconstruction of the frames by projections and by other bounded modular operators with suitable ranges. We obtain frame representations and decomposition theorems, as well as similarity and equivalence results for frames. Hilbert space frames and quasi-bases for conditional expectations of finite index on C*-algebras appear as special cases. Using a canonical categorical equivalence of Hilbert C*-modules over commutative C*-algebras and (F)Hilbert bundles the results find a reintepretation for frames in vector and (F)Hilbert bundles. Fields of applications are investigations on Cuntz-Krieger-Pimsner algebras, on conditional expectations of finite index, on various ranks of C*-algebras, on classical frame theory of Hilbert spaces (wavelet and Gabor frames), and others. 2001: In the introduction we refer to related publications in detail.

研究の動機と目的

• ヒルベルト空間におけるフレーム理論に類似した、ヒルベルト C*-加群と C*-代数のための体系的なフレーム理論の構築を目的とする。
• ヒルベルト C*-加群に正規直交基底が存在しないという欠如を補うために、幾何的拡大を用いてフレームを強固な代替手段として導入することを目的とする。
• C*-代数とヒルベルト加群の文脈において、フレーム表現、分解、再構成定理を確立することを目的とする。
• 可換 C*-代数とのカテゴリカル同値性を用いて、結果をベクトル束および (F) ヒルベルト束の観点から再解釈することを目的とする。
• 非自明なフレームのフレーム変換とターゲット空間を、非ユニタルまたは非自己双対な設定において定義するという課題に取り組むこと。

提案手法

• 作用素値内積を用いて、ヒルベルト空間フレーム不等式をヒルベルト C*-加群へ一般化する：$ C\cdot\langle x,x\rangle \leq \sum_i \langle x,x_i\rangle\langle x_i,x\rangle \leq D\cdot\langle x,x\rangle $。
• ヒルベルト C*-加群を、正規直交基底を持つユニタル C*-代数上の標準的ヒルベルト C*-加群へ埋め込むために、幾何的拡大を用いる。
• 射影および有界加群作用素技術を用いて、フレームの再構成とその像の分析を行う。
• 非自己双対または非ユニタルな状況に対応するため、$ A^{**} $-加群拡張 $ \mathcal{M}^\# $ を導入し、フレームの境界を保ちながら弱い再構成を可能にする。
• リンク C*-代数技術と作用素加群論を用いて、フレーム変換とその双対空間における像を分析する。
• 可換 C*-代数上のヒルベルト C*-加群と (F) ヒルベルト束との間のカテゴリカル同値性を用いて、結果を幾何的文脈に再解釈する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間におけるフレームの概念を、ヒルベルト C*-加群と C*-代数へ一般化することは可能か。その際、主要な構造的および作用素論的性質が保たれるか。
• RQ2 ユニタル C*-代数上の可算生成ヒルベルト C*-加群は、正規直交基底が存在しない場合でも、常に最強のタイプのフレームを有するか。
• RQ3 非標準的または非自己双対なヒルベルト C*-加群において、フレーム変換はどのように定義され、再構成可能か。
• RQ4 二重双対 $ A^{**} $ と拡張加群 $ \mathcal{M}^\# $ は、一般の C*-代数におけるフレーム理論を可能にする上で果たす役割は何か。
• RQ5 フレーム理論は、非可換幾何学、特にベクトル束および (F) ヒルベルト束の文脈に応用可能か。

主な発見

• ユニタル C*-代数上の可算生成ヒルベルト C*-加群は、常に最強のタイプのフレームを有し、フレーム境界とノルム収束が保証される。
• フレーム変換 $ \theta: \mathcal{H} \to l_2(A) $ はアドジョイント可能であり、その像は $ l_2(A) $ において直交的に比較可能である。これは加群設定において非自明な結果である。
• ヒルベルト C*-加群におけるタイトフレームは、弱い再構成公式を有し、それを元の加群に制限することで、拡張の痕跡を残さずにフレーム性質を保つことができる。
• ヒルベルト $ A $-加群の canonical 拡張 $ \mathcal{M}^\# $ は、フレーム境界を保ち、非自己双対または非ユニタルな設定へフレーム理論を拡張可能にする。
• ヒルベルト空間フレームと、C*-代数における有限指数の条件付き期待値のための準基底は、一般化されたフレーム理論の特別な場合であることが示された。
• 理論は、カテゴリカル同値性を用いて (F) ヒルベルト束の観点に再解釈され、フレーム理論が非可換幾何学およびベクトル束論と結びつけられる。