[論文レビュー] Stinespring's theorem for maps on Hilbert C*-modules

B. V. Rajarama Bhat, G. Ramesh+1 more|arXiv (Cornell University)|Jan 21, 2010

Advanced Operator Algebra Research参考文献 9被引用数 30

ひとこと要約

この論文は、アサディの以前の結果に含まれるユニタリ性および技術的全射性の仮定を除去することで、ヒルベルト C*-加群上の完全正値写像に対するスティンブリントンの定理を強化する。この研究では、このような写像に対する最小のスティンブリントン表現を確立し、古典的スティンブリントン定理における一意性と類似した最小表現のユニタリ同値性を証明する。構成は、GNSおよびスティンブリントンの定理を、完全な構造的一意性を備えたヒルベルト C*-加群の設定に一般化する。

ABSTRACT

We strengthen Mohammad B. Asadi's analogue of Stinespring's theorem for certain maps on Hilbert C*-modules. We also show that any two minimal Stinespring representations are unitarily equivalent. We illustrate the main theorem with an example.

研究の動機と目的

• ヒルベルト C*-加群上の写像へのスティンブリントンの表現定理を一般化し、ヒルベルト空間を超えた古典的結果を拡張すること。
• アサディの以前の定式化に見られる、ユニタリ性およびノルム1の像を持つ循環的ベクトルの存在という制限付き仮定を除去すること。
• 最小のスティンブリントン表現がユニタリ同値性に関して一意的であることを確立すること。これは表現理論における重要な構造的性質である。
• アサディの定理の誤り（セミ線形形式の正定値性に関する誤った議論）を是正し、より一般で正しいバージョンを提供すること。
• シュール積と行列代数を用いた具体的な例を通じて、定理の構成を実際の状況で示すこと。

提案手法

• ヒルベルト C*-加群 $E$ を $\mathcal{A}$ 上に持ち、$\phi: \mathcal{A} \to \mathcal{B}(H_1)$ および $\phi$-写像 $\Phi: E \to \mathcal{B}(H_1, H_2)$ を持つ完全正値写像に対して、スティンブリントン型の表現を構成する。
• 内積 $\langle x \otimes h, y \otimes k \rangle = \phi(\langle x, y \rangle) \langle h, k \rangle$ を用いて、$E \otimes H_1$ に前ヒルベルト $\mathcal{B}(H_1)$-加群構造を定義し、それを完備化してヒルベルト空間 $K_1$ を得る。
• $K_2$ を $E \otimes H_2$ の類似の内積構造による完備化とし、$\rho$-準同型 $\Psi: E \to \mathcal{B}(K_1, K_2)$ を構成する。
• 固定された $x_0 \in E$ を用いて、$Vh = x_0 \otimes h$ で定義される等長写像 $V: H_1 \to K_1$ と、$Wh = x_0 \otimes h$ で定義される $W: H_2 \to K_2$ を定義し、表現と整合性を保つ。
• $\Phi(x) = W^* \Psi(x) V$ および $\phi(a) = V^* \rho(a) V$ をすべての $x \in E$、$a \in \mathcal{A}$ に対して証明し、表現が成立することを示す。
• 最小性条件 $[\Psi(E)VH_1] = K_2$ を用いて、$K_2$ から $K_2'$ へのユニタリ写像 $U_2: K_2 \to K_2'$ を構成し、$U_2 W = W'$ および $U_2 \Psi(x) = \Psi'(x) U_1$ を部分空間上で満たすことで、最小表現のユニタリ同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ性やノルム1の像を持つ循環的ベクトルの存在を仮定しない限り、スティンブリントンの定理をヒルベルト C*-加群上の完全正値写像へ拡張することは可能か？
• RQ2 ヒルベルト C*-加群上の $\phi$-写像に対する最小のスティンブリントン表現は、古典的ケースと同様にユニタリ同値性に関して一意的か？
• RQ3 技術的条件 $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$ が除去された場合、正しいスティンブリントン表現の構成はどのように行うか？
• RQ4 アサディの元の証明における誤った正定値性の議論をどのように是正し、有効で最小の表現を得られるか？
• RQ5 アサディの元の結果の仮定を満たさないが、一般化された定理を満たす具体的な例を構成できるか？

主な発見

• 論文は、$\phi$ のユニタリ性および $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$ の条件を除去した。これらはアサディの元の定式化において不必要かつ制限的であった。
• 任意の完全正値写像 $\phi$ およびヒルベルト C*-加群上の $\phi$-写像 $\Phi$ に対して、$\phi$ がユニタリでないか、$\Phi$ が等長的でない場合を含め、最小のスティンブリントン表現が存在する。
• 最小のスティンブリントン表現はユニタリ同値性に関して一意的である：2つの最小表現が存在する場合、それらの環境ヒルベルト空間の間には、表現を交換するユニタリ変換が存在する。
• アサディの証明の誤りを是正するため、$E \otimes H_2$ 上のセミ線形形式を再定義し、正定値性を保証することで、誤ったインデックスの入れ替えを回避した。
• 2.6節の例は、非ユニタリかつ非等長的設定でも定理の有効性を示している：$\phi$ は正の行列とのシュール積であり、$\Phi$ は $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$ を満たすような $x_0$ を持たない $\phi$-写像であるが、表現は依然として成立する。
• 証明により、最小の場合に $W$ がコ等長写像であることが示され、$\phi$ がユニタリであれば $V$ が等長写像であることが分かっている。これは古典的期待と整合する。