[論文レビュー] The polar decomposition for adjointable operators on Hilbert $C^*$-modules and centered operators

Na Liu‎, Wei Luo+1 more|arXiv (Cornell University)|Jul 3, 2018

Holomorphic and Operator Theory被引用数 4

ひとこと要約

本稿は、ヒルベルト $C^*$-加群上の有界作用素に対する極分解の新しい特徴付けを確立し、$T = U(T^*T)^{1/2}$ かつ $\mathcal{R}(U^*) = \overline{\mathcal{R}(T^*)}$ を示した。この特徴付けを用いて、$C^*$-加群の文脈における中心的作用素の理論を一般化し、絶対値とユニタリ部の交換子を用いた中心的であるための複数の同値条件を証明した。

ABSTRACT

Let $T$ be an adjointable operator between two Hilbert $C^*$-modules and $T^*$ be the adjoint operator of $T$. The polar decomposition of $T$ is characterized as $T=U(T^*T)^\frac12$ and $\mathcal{R}(U^*)=\overline{\mathcal{R}(T^*)}$, where $U$ is a partial isometry, $\mathcal{R}(U^*)$ and $\overline{\mathcal{R}(T^*)}$ denote the range of $U^*$ and the norm closure of the range of $T^*$, respectively. Based on this new characterization of the polar decomposition, an application to the study of centered operators is carried out.

研究の動機と目的

• ヒルベルト $C^*$-加群上の有界作用素に対する極分解の新しい特徴付けを提供すること。これは、標準的なヒルベルト空間の定式化が一般の設定では成立しないという問題に対処する。
• 古典的な極分解特徴付け $T = U|T|$ かつ $\mathcal{N}(T) = \mathcal{N}(U)$ がヒルベルト $C^*$-加群において一般には成立しないという問題を解決すること。
• 新しい極分解枠組みを用いて、ヒルベルト空間における中心的作用素の概念をヒルベルト $C^*$-加群の文脈に一般化すること。
• 中心的であるための複数の同値条件を、絶対値とユニタリ部の交換子を用いて確立すること。

提案手法

• 標準的なヒルベルト空間の条件 $\mathcal{N}(T) = \mathcal{N}(U)$ を置き換える、$T = U(T^*T)^{1/2}$ かつ $\mathcal{R}(U^*) = \overline{\mathcal{R}(T^*)}$ という修正された極分解特徴付けを提案する。
• この新しい特徴付けが5つの他の等式と同値であることを証明し、ヒルベルト空間の場合に一般化される2つの核心的条件に簡略化することを示す。
• 新しい特徴付けを用いて、ヒルベルト $C^*$-加群における中心的作用素を定義・研究し、ヒルベルト空間からの概念の拡張を行う。
• 作用素 $T$ が中心的であるための10の異なる条件の同値性を、$|T^n|$, $|(T^m)^*|$, $U^n|T|(U^n)^*$, および $|T^*|$ の交換子を含むものとして確立する。
• $C^*$-代数理論の技術を用い、交換子の恒等式およびヒルベルト $C^*$-加群における射影と像の性質を応用する。
• 数学的帰納法と作用素式の代数的変形を用いて、集合 $\Omega = \{|T|, U|T|U^*, U^*|T|U, \dots\}$ に属する作用素が、新しい条件下で互いに可換であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的な極分解特徴付け $T = U|T|$ かつ $\mathcal{N}(T) = \mathcal{N}(U)$ は、ヒルベルト $C^*$-加群上の有界作用素に一般化可能か？
• RQ2 標準的なヒルベルト空間の定式化が失敗するヒルベルト $C^*$-加群の文脈において、極分解の有効で同値な特徴付けは何か？
• RQ3 中心的作用素の概念は、ヒルベルト空間からより一般的なヒルベルト $C^*$-加群の文脈にどのように拡張可能か？
• RQ4 ヒルベルト $C^*$-加群の文脈において、作用素が中心的であるための同値条件は何か？また、それらは絶対値とユニタリ部の交換子とどのように関係するか？
• RQ5 集合 $\Omega = \{|T|, U|T|U^*, U^*|T|U, U^2|T|(U^2)^*, \dots\}$ に属する作用素が、いつ互いに可換になるか？

主な発見

• ヒルベルト $C^*$-加群上の有界作用素 $T$ の極分解は、$T = U(T^*T)^{1/2}$ かつ $\mathcal{R}(U^*) = \overline{\mathcal{R}(T^*)}$ によって特徴付けられ、これはヒルベルト空間の場合を一般化する。
• 古典的な特徴付け $T = U|T|$ かつ $\mathcal{N}(T) = \mathcal{N}(U)$ は、ヒルベルト $C^*$-加群の文脈では一般には成立せず、例 3.15 で示された。
• 新しい極分解特徴付けが5つの等式と同値であることが証明され、それらは $T = U(T^*T)^{1/2}$ および $\mathcal{R}(U^*) = \overline{\mathcal{R}(T^*)}$ という2つの条件に簡略化される。
• 定理 4.6 は、作用素 $T$ が中心的であるための10の条件の同値性を確立し、$|T^n|$, $|(T^m)^*|$, $U^n|T|(U^n)^*$, および $|T^*|$ を含む交換子条件を含む。
• 集合 $\Omega = \{|T|, U|T|U^*, U^*|T|U, U^2|T|(U^2)^*, (U^2)^*|T|U^2, \dots\}$ に属する作用素が互いに可換であるための必要十分条件は、$T$ が中心的であることである。これは、場合分けと交換子恒等式を用いて示された。
• 条件 (iii) と (vii) の同値性は、制限された列の使用と、$T$ が列に沿って可換であるための必要十分条件が対応する交換子条件であることから確立された。