[論文レビュー] On frames in Hilbert modules over pro-C*-algebras

Maria Joiţa|ArXiv.org|Sep 6, 2007

Advanced Operator Algebra Research参考文献 6被引用数 4

ひとこと要約

本稿では、pro-C*-代数上のヒルベルトモジュールにおける乗数のフレームを導入し、ヒルベルトC*-モジュールにおける基礎的結果を拡張する。任意の可算生成ヒルベルトモジュールが乗数の標準正規化フレームを備え、再構成公式およびフレーム変換の存在を示し、双対フレームを必要十分条件で特徴づける。これは、C*-代数的枠組みにおける既知の結果を、より広いpro-C*-代数の枠組みへ一般化する。

ABSTRACT

We introduce the concept of frame of multipliers in Hilbert modules over pro-C*-algebras and show that many properties of frames in Hilbert C*-modules are valid for frames of multipliers in Hilbert modules over pro-C*-algebras.

研究の動機と目的

• ヒルベルトC*-モジュールにおけるフレーム理論を、より一般なpro-C*-代数上のヒルベルトモジュールの設定へ拡張すること。
• 乗数モジュールにおける可算生成ヒルベルトモジュールが標準正規化フレームを有することを確立すること。
• 再構成公式およびフレーム変換が、この一般化された文脈においても有効であることを証明すること。
• ヒルベルトモジュールにおける乗数の双対フレームを定義し、特徴づけること。
• 標準フレームの自然な二重双対フレームが元のフレームと一致することを示し、自然な構成における自己双対性を保証すること。

提案手法

• 乗数モジュール構造を用いて、pro-C*-代数上のヒルベルトモジュールにおける乗数のフレームの概念を導入する。
• pro-C*-代数におけるカスパロフ安定化定理を適用し、乗数モジュールにおける可算生成ヒルベルトモジュールが標準正規化フレームを有することを示す。
• 有向族のC*-セミノルムによって定義される位相を用いて、モジュールにおける収束性と有界性を定義し、完備性を保証する。
• フレーム変換を、$\theta: E \to \ell^2(A)$ で定義される写像 $\theta(\xi) = (\langle h_n, \xi \rangle)_{n}$ を用いて確立する。ここで $\{h_n\}$ は乗数のフレームである。
• 収束性をpro-C*-代数の位相を用いて示し、双対フレーム $\{h_n\}$ と $\{t_n\}$ に対して再構成公式 $\xi = \sum_n h_n \cdot \langle t_n, \xi \rangle_{M(E)}$ を証明する。
• 双対フレームを、$\theta^* \circ \theta' = \text{id}_E$ という条件によって特徴づける。ここで $\theta$ と $\theta'$ は双対フレームのフレーム変換である。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルトC*-モジュールにおけるフレームの概念を、pro-C*-代数上のヒルベルトモジュールへ一般化できるか？
• RQ2 任意の可算生成ヒルベルトモジュールが、pro-C*-代数上に標準正規化フレームの乗数を備えているか？
• RQ3 ヒルベルトモジュールにおける乗数のフレームに対して再構成公式が有効か？
• RQ4 二つの乗数のフレームが互いに双対であるための必要十分条件は何か？
• RQ5 標準フレームの自然な二重双対フレームが元のフレームと一致するか？

主な発見

• 乗数モジュールにおいて可算生成である任意のpro-C*-代数上のヒルベルトモジュールは、乗数の標準正規化フレームを備える。
• 双対フレーム $\{h_n\}$ と $\{t_n\}$ に対して再構成公式 $\xi = \sum_n h_n \cdot \langle t_n, \xi \rangle_{M(E)}$ が、pro-C*-代数上のヒルベルトモジュールで成り立つ。
• フレーム変換 $\theta(\xi) = (\langle h_n, \xi \rangle)_{n}$ は、pro-C*-代数の位相において適切に定義され、連続である。
• 二つの乗数のフレームが双対であるための必要十分条件は、それらに対応するフレーム変換が $\theta^* \circ \theta' = \text{id}_E$ を満たすことである。
• 標準フレームの自然な二重双対フレームは、元のフレームそのものである。これは、自然な構成における自己双対性を確認する。
• ヒルベルトモジュール $E$ がpro-C*-代数 $A$ 上にあり、その有界部 $b(E)$ が乗数モジュールにおいて可算生成であり、標準フレームの乗数を備えているならば、$E$ 自身もこのようなフレームを備える。