[論文レビュー] Operator valued frames on C*-modules

Victor Kaftal, David R. Larson+1 more|ArXiv.org|Jul 23, 2007

Mathematical Analysis and Transform Methods参考文献 12被引用数 4

ひとこと要約

本稿は、σ-単位をもつC*-代数上のヒルベルトC*-加群における作用素値フレームを導入し、ベクトルフレームおよびヒルベルト空間上の作用素値フレームを一般化する。フレーム変換とフレーム射影が厳密位相の収束によってマルチプライヤー代数に属することを確立し、フレームの右同値性が同一のフレーム射影と同値であることを証明し、フレームのための新規な合成操作を導入することで、ミュラー＝フォンノイマン同値類の類とフレームの右同値類との間の一対一対応を明らかにする。

ABSTRACT

Frames on Hilbert C*-modules have been defined for unital C*-algebras by Frank and Larson and operator valued frames on a Hilbert space have been studied in arXiv.0707.3272v1.[math.FA]. Goal of the present paper is to introduce operator valued frames on a Hilbert C*-module for a sigma-unital C*-algebra. Theorem 1.4 reformulates the definition given by Frank and Larson in terms of a series of rank-one operators converging in the strict topology. Theorem 2.2. shows that the frame transform and the frame projection of an operator valued frame are limits in the strict topology of a series of elements in the multiplier algebra and hence belong to it. Theorem 3.3 shows that two operator valued frames are right similar if and only if they share the same frame projection. Theorem 3.4 establishes a one to one correspondence between Murray-von Neumann equivalence classes of projections in the multiplier algebra and right similarity equivalence classes of operator valued frames and provides a parametrization of all Parseval operator-valued frames on a given Hilbert C*-module. Left similarity is then defined and Proposition 3.9 establishes when two left unitarily equivalent frames are also right unitarily equivalent.

研究の動機と目的

• ヒルベルト空間上の作用素値フレーム理論を、σ-単位をもつC*-代数上のヒルベルトC*-加群へ拡張すること。
• マルチプライヤー代数における厳密位相収束を用いて、ベクトルフレームを作用素値フレームの観点から再定式化すること。
• フレームの右同値性をそのフレーム射影によって特徴づけ、ミュラー＝フォンノイマン同値類の類とフレームの右同値類との間の一対一対応を確立すること。
• 作用素値フレームの合成を新規に導入し、その性質を分析すること。これはベクトルフレームには類似しない操作である。
• 左同値性と右同値性を検討し、左ユニタリ同値性が右ユニタリ同値性に一致する条件を同定すること。

提案手法

• 標準的ヒルベルトC*-加群 ℓ²(𝒜) 上の作用素値フレームを、M(𝒜⊗𝒦) の中で定義し、aI ≤ ∑ⱼ Aⱼ* Aⱼ ≤ bI かつ M(𝒜⊗𝒦) の厳密位相において収束するような {Aⱼ} の集合として定義する。
• フレーム変換 θ_A とフレーム射影 P_A が M(𝒜⊗𝒦) 内の級数の極限として得られることを示し、したがってマルチプライヤー代数に属することを示す。
• 厳密位相収束を用いて、フレーム変換とフレーム射影が M(𝒜⊗𝒦) の適切な元としてwell-definedであることを証明し、代数的および位相的解析を可能にする。
• フレームの左同値性と右同値性を導入し、2つのフレーム {A_j} と {B_i} に対して C_{i,j} = B_i A_j と定義する合成操作を導入し、新たなフレーム {C_{i,j}} を得る。
• M(𝒜⊗𝒦) 内の射影のミュラー＝フォンノイマン同値類と、作用素値フレームの右同値類との間の一対一対応を確立する。
• フレーム変換とフレーム作用素 D_A を用いて、2つのフレームが右同値であるための必要十分条件として、それらが同一のフレーム射影を持つことであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 σ-単位をもつC*-代数上のヒルベルトC*-加群における作用素値フレームは、ヒルベルト空間の場合を一般化してどのように定義できるか？
• RQ2 フレーム変換とフレーム射影がマルチプライヤー代数に属することを保証するための厳密位相の役割は何か？
• RQ3 フレームの左同値性と右同値性の関係は何か？ また、左ユニタリ同値性が右ユニタリ同値性に一致するのはどのような場合か？
• RQ4 作用素値フレームの合成操作の意義は何か？ また、これはどのようにベクトルフレームの分解とは異なるか？
• RQ5 すべてのパーセバル作用素値フレームは、マルチプライヤー代数内の射影のミュラー＝フォンノイマン同値類によってパラメータ化可能か？

主な発見

• 作用素値フレームのフレーム変換 θ_A とフレーム射影 P_A は、マルチプライヤー代数 M(𝒜⊗𝒦) 内の級数の極限として得られるため、厳密位相収束のおかげで、それらは M(𝒜⊗𝒦) に属する。
• 2つの作用素値フレームが右同値であるための必要十分条件は、それらが同一のフレーム射影を持つことである。これにより、右同値性の完全な特徴づけが得られる。
• M(𝒜⊗𝒦) 内の射影のミュラー＝フォンノイマン同値類の類と、作用素値フレームの右同値類の類との間には一対一対応が存在する。
• 2つの作用素値フレーム {A_j} と {B_i} の合成により得られる新たなフレーム {C_{i,j} = B_i A_j} は、ベクトルフレーム理論には類似しない新規な操作である。
• 2つのフレームがユニタリSによって左ユニタリ同値である場合、それらが右ユニタリ同値であるための必要十分条件は、すべての i,j に対して S が A_j D_A^{-1} A_i^* と可換であることである。
• パーセバル作用素値フレームは、M(𝒜⊗𝒦) 内の射影のミュラー＝フォンノイマン同値類によってパラメータ化可能であり、これにより完全な分類が得られる。