[論文レビュー] Free holomorphic functions on the unit ball of B(H)^n

Gelu Popescu|ArXiv.org|May 9, 2006

Holomorphic and Operator Theory被引用数 11

ひとこと要約

この論文は、$B(H)^n$ の単位球上における自由正則関数の理論を提示し、非可換設定への古典的正則関数論の一般化を図る。基礎的な結果として、非可換コーシーおよびポワンソングの変換、自由正則関数の関数計算、自由正則関数代数の普遍的性質を確立し、非可換フォンノイマン不等式およびハーディー空間の同型性に関する重要な貢献を行う。

ABSTRACT

We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff derivations; Cauchy, Liouville, and Schwartz type results for free holomorphic functions; Algebras of free holomorphic functions; Free analytic functional calculus and noncommutative Cauchy transforms; Weierstrass and Montel theorems for free holomorphic functions; Free pluriharmonic functions and noncommutative Poisson transforms; Hardy spaces of free holomorphic functions.

研究の動機と目的

• 複数の非可換変数における正則関数の包括的な理論を構築し、古典的複素解析を非可換作用素設定に拡張すること。
• ヒルベルト空間上の有界作用素の $n$ 重組に基礎を置く、自由正則関数の関数計算を構築すること。非可換べき級数と作用素ノルムに基づく。
• コーシーの推定、リウビルの定理、フォン・ノイマンの不等式といった古典的結果を、自由正則関数を用いて非可換設定に一般化すること。
• 非可換 $H^∞$ および $A$-代数を含む、自由正則関数のバナッハ代数を定義・研究し、自然な作用素空間構造を備えること。
• 非可換ポワンソングおよびコーシー変換を導入・分析し、それらを自由な多複素調和関数および非可換単位球上のハーディー空間と結びつけること。

提案手法

• 非可換不定元 $Z_1, \dots, Z_n$ の形式的べき級数の収束半径を定義し、非可換設定におけるハダマールの公式およびアベルの定理を一般化する。
• 半径収束 $\geq 1$ のべき級数からなる集合として、自由正則関数の代数 $\mathrm{Hol}(B(H)^n_1)$ を定義し、厳密に収縮的表現に対して普遍的性質を備える。
• 非可換多項式から自由正則関数代数全体へと、ハウスドルフ微分 $\partial/\partial Z_i$ を拡張する。
• 非可換コーシー推定および、整関数に対するリウビル型定理を証明する。
• フォック空間上の生成作用素を用いて、非可換ポワンソングおよびコーシー変換を構成し、それらを自由な多複素調和関数およびハーディー空間と結びつける。
• 対称的自由正則関数およびバナッハ空間 $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$ を定義し、その完備性と非可換 $F_n^\infty$ 代数との完全等長同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 複数変数の非可換作用素変数における正則関数論は、どのように非可換設定に一般化できるか？
• RQ2 多変数作用素理論におけるコーシー積分公式およびポワンソング核の適切な非可換類似は何か？
• RQ3 非可換作用素の $n$ 重組が行収縮条件を満たす場合、自由正則関数に基づく関数計算を構築できるか？
• RQ4 リウビルの定理、シュワルツの補題、フォン・ノイマンの不等式といった古典的結果の非可換類似は何か？
• RQ5 非可換単位球上における対称的自由正則関数は、ハーディー空間および作用素代数とどのように関係するか？

主な発見

• 自由正則関数の代数 $\mathrm{Hol}(B(H)^n_1)$ は、収束半径 $\geq 1$ のべき級数から成り、バナッハ代数としてwell-definedであり、普遍的性質を備える。
• 任意の厳密に収縮的表現 $\pi: \mathbb{C}\langle Z_1,\dots,Z_n\rangle \to B(H)$ は、一意に $\mathrm{Hol}(B(H)^n_1)$ 上の連続な準同型へ拡張可能であり、普遍的関数計算を確立する。
• 非可換シュワルツの補題が証明される：$f$ が $[B(H)^n]_1$ 上で自由正則であり、$\|f\|_\infty \leq 1$ かつ $f(0) = 0$ ならば、$\|f(X_1,\dots,X_n)\| \leq \|[X_1,\dots,X_n]\|$ および $\sum_{i=1}^n \left|\frac{\partial f}{\partial X_i}(0)\right|^2 \leq 1$ が成り立つ。
• $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$ の対称的自由正則関数のバナッハ空間は、非可換 $F_n^\infty$ 代数と完全等長同型であり、$r < 1$ に対して $\|f\|_{\mathrm{sym}} = \|f_{\mathrm{sym}}(rS_1,\dots,rS_n)\|_{\infty}$ が成り立つ。
• ジョイントスペクトル半径 $< 1$ である可換 $n$ 重組 $T = (T_1,\dots,T_n)$ に対して、関数計算 $f \mapsto f(T_1,\dots,T_n)$ はwell-definedかつ連続であり、$\|f(T)\| \leq M\|f\|_{\mathrm{sym}}$ が成り立つ。ここで $M = \sum_{k=0}^\infty \left\| \sum_{|\alpha|=k} T_\alpha T_\alpha^* \right|^{1/2}$ である。
• 非可換ポワンソングおよびコーシー変換は、フォック空間上の生成作用素を用いて構成され、自由な多複素調和関数の定義を可能にし、非可換設定におけるハーディー空間理論と結びつける。