[論文レビュー] Free Analysis Questions II: The Grassmannian Completion and The Series Expansions at the Origin

Dan-Virgil Voiculescu|ArXiv.org|Jun 2, 2008

Random Matrices and Applications参考文献 11被引用数 12

ひとこと要約

この論文は、単位的バナッハ代数上の行列代数のグラスマン多様体的完成への自由解析を拡張し、無限遠点における振る舞いを含めた、正則関数および自由差分商の一般化を実現する。完全行列的解析関数が、コデリバーションを備えた位相的無限小バイアリューブ代数をなすことを確立し、原点における級数展開を特徴づける。これにより、非対称化された $ R $-変換が得られ、非自己随伴的部分代数における $ N \to \infty $ の極限が可能になる。

ABSTRACT

The fully matricial generalization in part I, of the difference quotient derivation on holomorphic functions, in which ${\mathbb C}$ is replaced by a Banach algebra $B$, is extended from the affine case to a Grassmannian completion. The infinitesimal bialgebra duality, the duality transform generalizing the Stieltjes transform and the spectral theory with non-commuting scalars all extend to this completion. The series expansions of fully matricial analytic functions are characterized, providing a new way to generate fully matricial functions.

研究の動機と目的

• アフィンの場合からグラスマン多様体的完成への完全行列的正則関数フレームワークの拡張、無限遠点における振る舞いを含む。
• グラスマン多様体的構造を通じて、非可換スカラーへの双対変換およびスペクトル理論の一般化。
• 原点における完全行列的解析関数の級数展開を特徴づけ、それら関数の新たな構成を可能にする。
• 非自己随伴的部分代数における自由群 $ II_1 $-因子の $ R $-変換の $ N \to \infty $ 極限の存在を確立する。
• 完全行列的 $ R $-変換が級数展開および形式的類似性により、非対称化 $ R $-変換と一致することを示す。

提案手法

• 行列代数 $ \mathfrak{M}_n(B) $ のグラスマン多様体を用いてアフィン空間を完成化し、行列的解析関数の定義域を無限遠点を含むように拡張する。
• 自由差分商を介して、コムルチプライケーション・デリバーション $ \widetilde{\partial} $ を導入し、バナッハ代数への複素差分商の一般化を実現する。
• 逆関数定理を適用して $ G_a $-変換の局所的逆 $ L_a $ を構成し、$ R_a(b) = (1 + \Phi(H_a(L_a(b)))L_a(b))^{-1}\Phi(H_a(L_a(b))) $ を通じて $ R $-変換を導出する。
• $ R_{a \otimes I_n} $ が原点の近傍で、$ n $ に依存しない一様な定数を有する、完全有界かつ安定な行列的正則関数であることを確立する。
• $ R_a $ の級数展開を用いて、それが非対称化 $ R $-変換と一致することを示し、先行研究からの形式的類似性を活用する。
• 双対変換を作用素値レゾルベントに適用し、自己随伴およびユニタリ作用素の普遍的構成を用いて、非可換スカラーへのスペクトル理論の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 アフィン直線からグラスマン多様体的完成によるリーマン球面への完全行列的解析関数フレームワークの拡張はどのように実現可能か？
• RQ2 グラスマン多様体上での完全行列的解析関数の空間の構造は何か？ そして、位相的無限小バイアリューブ代数を支える仕組みは？
• RQ3 原点における級数展開は、これらの行列的関数の解析的構造をどのように特徴づけるか？
• RQ4 非自己随伴的 $ C^* $-代数の文脈における $ R $-変換の $ N \to \infty $ 極限は何か？
• RQ5 完全行列的 $ R $-変換は非対称化 $ R $-変換および自由コムルタンとどのように関係するか？

主な発見

• グラスマン多様体的領域 $ \Omega $ 上での完全行列的解析関数の空間は、乗法 $ \mu $、コムルチプライケーション・デリバーション $ \widetilde{\partial} $、およびコデリバーション $ \Lambda $ を備えた位相的無限小バイアリューブ代数をなす。ここで $ \Lambda - \mathrm{id} $ はデリバーションである。
• 任意の $ B $-値非可換確率変数 $ a $ に対して、$ \|a\| $ のみに依存する $ \varepsilon > 0 $ が存在し、$ (R_{a \otimes I_n})_{n \in \mathbb{N}} $ が $ \varepsilon \mathcal{D}_0(B) $ 上で完全有界かつ安定な行列的正則関数をなす。
• $ R $-変換は、アフィン定義域を超えて解析接続可能であるため、グラスマン多様体的完成 $ \widetilde{\varepsilon \mathcal{D}_0(B)} $ への完全行列的拡張が可能である。
• 完全行列的 $ R $-変換の級数展開は、非対称化 $ R $-変換と一致する。これは [5] で形式的に定式化され、[10] で自由コムルタンと関連づけられている。
• $ R $-変換の $ N \to \infty $ 極限は、自由群 $ II_1 $-因子の非自己随伴的部分代数に存在する。特に $ B = \mathfrak{M}_k $ のとき、$ \mathfrak{M}_k^*_{\mathbb{C}} C(\mathbb{T}) $ に存在する。
• 自由独立性における $ R $-変換の加法性は、級数展開においても保持され、$ \mathcal{R}_{(a_1+a_2)\otimes I_n} = \mathcal{R}_{a_1\otimes I_n} + \mathcal{R}_{a_2\otimes I_n} $ が成り立つ。これはアフィンの場合と整合的であることを確認する。