[論文レビュー] Pure Semigroups of Isometries on Hilbert C*-Modules

B. V. Rajarama Bhat, Michael Skeide|arXiv (Cornell University)|Aug 12, 2014

Holomorphic and Operator Theory参考文献 4被引用数 5

ひとこと要約

この論文は、ヒルベルト C*-加群上の純粋で強く連続な自己準同型等長作用素の半群が、$ L^2(\bbR_+, K) $ 上の標準的右シフトとユニタリ同値であることを確立している。これはヒルベルト空間におけるコープの古典的結果の一般化である。反例により、一般の等長作用素の半群において、ユニタリ部分と純粋部分への分解が常に成立するわけではないことが示されている。

ABSTRACT

We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by Sz.-Nagy, cannot be improved further to understand arbitrary isometry semigroups of isometries in the classical way.

研究の動機と目的

• ヒルベルト空間における等長作用素の半群に関するコープの古典的定理を、ヒルベルト C*-加群の設定に一般化すること。
• ヒルベルト C*-加群の文脈において、半群を最大ユニタリ部分と純粋部分に分解できるかどうかを調査すること。
• ヒルベルト C*-加群上での純粋な有界自己準同型等長作用素の半群が、標準的右シフトとユニタリ同値であるかどうかを特定すること。
• 古典的分解結果がヒルベルト空間の設定から外れたヒルベルト C*-加群の文脈で失敗する例を構成すること。

提案手法

• 強収束により、$ t \to \infty $ のときの随伴作用素がゼロに収束するという条件により、有界自己準同型等長作用素の純粋半群を定義する。
• 区間上での半群の構造を捉えるために、部分加群 $ E_{a,b} $ に射影する射影 $ q_{a,b} $ を加群上に構成する。
• 強連続性と等長作用素の性質を用いて、例えば $ q_{a,b}x = \frac{1}{b-a}\int_0^{b-a} \mathscr{S}_t p_{a,b-t}x + p_{a,a+t}\mathscr{S}_{b-a-t}^*x \, dt $ のような積分表現を導出する。
• 射影 $ M $ を示性関数上で定義された写像を用いて、半群の $ E_{0,1} $ への制限と $ L^2([0,1), F) $ のユニタリ同値性を確立する。
• 半群が $ L^2([0,1), F) $ 上で周期的シフトとして作用することを証明し、$ M^* \mathscr{S}_t^{0,1} = \pi_t M^* $ を得ることで、シフト構造を確認する。
• 分解 $ E = \bigoplus_{k=0}^\infty \mathscr{S}_k E_{0,1} $ とユニタリ同値性を用いて、主要結果を結論づける。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト C*-加群上での純粋で強く連続な有界自己準同型等長作用素の半群は、常に標準的右シフトとユニタリ同値であるか？
• RQ2 等長作用素の半群をユニタリ部分と完全非ユニタリ部分に分解する古典的結果を、ヒルベルト C*-加群へどの程度まで一般化できるか？
• RQ3 ヒルベルト C*-加群上での有界自己準同型等長作用素の強い連続半群は、常に最大ユニタリ部分と純粋部分に分解可能か？
• RQ4 ユニタリ部分と純粋部分への分解を許さない、ヒルベルト C*-加群上での強い連続等長作用素の半群の例は存在するか？
• RQ5 モジュールおよび半群のどの構造的性質が、ヒルベルト空間における分解定理の直接的な一般化を妨げているか？

主な発見

• ヒルベルト C*-加群上での純粋で強く連続な有界自己準同型等長作用素の半群は、$ K $ を多重度ヒルベルト空間とするとき、$ L^2(\bbR_+, K) $ 上の標準的右シフトとユニタリ同値である。
• ヒルベルト C*-加群上での有界自己準同型等長作用素の半群に対して、最大ユニタリ部分と純粋部分への分解が常に存在するとは限らない。
• ユニタリ部分と純粋部分への分解を許さない、強い連続な有界自己準同型等長作用素の半群の反例が構成された。
• 非有界自己準同型等長作用素の強い連続半群が構成され、このことから分解結果において有界自己準同型性の条件が本質的であることが示された。
• 加群上の射影 $ q_{a,b} $ は $ \mathscr{S}_r q_{a,b} = q_{a+r,b+r} \mathscr{S}_r $ を満たし、半群が部分加群 $ q_{a,b}E $ 上でシフトとして作用することを示している。
• 写像 $ M: L^2([0,1), F) \to E_{0,1} $ で、$ M(\mathbf{1}_{[c,d)}z) = p_{c,d}z $ により定義されるものについて、これはユニタリ作用素に拡張され、標準的右シフトとのユニタリ同値性を確立する。