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

Gelu Popescu|ArXiv.org|Oct 2, 2008

Holomorphic and Operator Theory参考文献 24被引用数 43

ひとこと要約

本稿は、$B(H)^n$ 内の非可換単位球上の自由正則自己同型の群を完全に特徴づけ、それが古典的複素単位球 $\mathbb{B}_n$ のミöビウス群に同型であることを示している。行収縮の特徴関数および非可換ポアソン変換を用いて、作者は、Cuntz-Toeplitz代数および非可換ディスク代数のユニタリ実装自己同型が、これらの自由自己同型によって完全に決定されることを証明し、非可換関数論と作用素代数の間の深い関係を明らかにしている。

ABSTRACT

The theory of characteristic functions for row contractions is used to determine the group $Aut(B(H)^n_1)$ of all free holomorphic automorphisms of the unit ball of $B(H)^n$. We show that the noncommutative Poisson transform commutes with the action of the automorphism group $Aut(B(H)^n_1)$. This leads to a characterization of the unitarily implemented automorphisms of the Cuntz-Toeplitz algebra $C^*(S_1,..., S_n)$, which leave invariant the noncommutative disc algebra $\cA_n$. This result provides new insight into Voiculescu's group of automorphisms of the Cuntz-Toeplitz algebra and reveals new connections with noncommutative multivariable operator theory, especially, the theory of characteristic functions for row contractions and the noncommutative Poisson transforms. We study the isometric dilations and the characteristic functions of row contractions under the action of the automorphism group $Aut(B(H)^n_1)$. This enables us to obtain some results concerning the behavior of the curvature and the Euler characteristic of a row contraction under $Aut(B(H)^n_1)$. We prove a maximum principle for free holomorphic functions on the noncommutative ball $[B(H)^n]_1$ and provide some extensions of the classical Schwarz lemma to our noncommutative setting.

研究の動機と目的

• 非可換ヒルベルト空間 $B(H)^n$ 内の非可換単位球上での自由正則自己同型の群 $\mathrm{Aut}(B(H)^n_1)$ の構造を特定すること。
• 自由正則自己同型と非可換ディスク代数 $\mathcal{A}_n$ および非可換ハーディー代数 $F_n^\infty$ のユニタリ実装自己同型との間の対応を確立すること。
• 非可換ポアソン変換が自己同型群の作用と可換であることを示し、作用素代数における不変自己同型の特徴づけを可能にすること。
• 自由正則関数の非可換多変数設定への古典的結果（シュワルツの補題および最大値原理）の拡張を、自由正則関数を用いて行うこと。

提案手法

• 行収縮の特徴関数理論を用いて、$\mathrm{Aut}(B(H)^n_1)$ の構造を分析し、$\mathbb{B}_n$ のミöビウス群と関連づける。
• 非可換ポアソン変換が自己同型群作用と可換であることを示し、自由正則関数と作用素代数との間の橋渡しを提供する。
• 自由正則関数の普遍的性質を適用し、任意の自由正則関数は、分離可能な無限次元ヒルベルト空間 $H$ 上でのその表現によって一意に決定されることを保証し、表現間の一貫性を確保する。
• 微分の原点における値を分析し、非可換シュワルツの補題のバージョンを適用することで、恒等微分を持つ自己同型は恒等写像に限ることを示す。
• フォック空間表現および自由べき級数の構造を用いて、自由正則関数の収束性および作用素ノルムの挙動を分析する。
• 自己同型 $\Psi_a$ を用いた因数分解結果を導出し、$F(X) - F(a)$ が自由正則関数の代数における $\psi_1, \dots, \psi_n$ で生成される右イデアルに属することを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換ヒルベルト空間 $B(H)^n$ 内の非可換単位球上での自由正則自己同型の群 $\mathrm{Aut}(B(H)^n_1)$ の構造は何か？
• RQ2 非可換ディスク代数 $\mathcal{A}_n$ および非可換ハーディー代数 $F_n^\infty$ のユニタリ実装自己同型は、$[B(H)^n]_1$ の自由正則自己同型とどのように関係しているか？
• RQ3 非可換ポアソン変換は、自己同型群 $\mathrm{Aut}(B(H)^n_1)$ の作用と可換か？
• RQ4 最大値原理やシュワルツの補題といった古典的結果は、自由正則関数の非可換多変数設定に拡張可能か？
• RQ5 非可換ディスク代数 $A(B(H)^n_1)$ の完全等長自己同型は、すべて $\mathrm{Aut}(B(H)^n_1)$ 内の自己同型による合成によって誘導されるか？

主な発見

• 自由正則自己同型の群 $\mathrm{Aut}(B(H)^n_1)$ は、古典的単位球 $\mathbb{B}_n$ のミöビウス群に同型である。すなわち、$\mathrm{Aut}(B(H)^n_1) \simeq \mathrm{Aut}(\mathbb{B}_n)$ が成り立つ。
• 非可換ポアソン変換は $\mathrm{Aut}(B(H)^n_1)$ の作用と可換であり、これにより、非可換ディスク代数 $\mathcal{A}_n$ を保存するCuntz-Toeplitz代数のユニタリ実装自己同型の特徴づけが可能になる。
• 非可換ディスク代数 $\mathcal{A}_n$ および $F_n^\infty$ のユニタリ実装自己同型は、非可換ポアソン変換を介して自由正則自己同型 $[B(H)^n]_1$ によって完全に決定され、$\mathrm{Aut}(B(H)^n_1) \simeq \mathrm{Aut}_u(\mathcal{A}_n) \simeq \mathrm{Aut}_u(F_n^\infty)$ の同型が得られる。
• 非可換ディスク代数 $A(B(H)^n_1)$ の任意の完全等長自己同型 $\Phi$ は、ある $\Psi \in \mathrm{Aut}(B(H)^n_1)$ を用いて $\Phi(f) = f \circ \Psi$ の形に表され、このような自己同型は自由自己同型による合成によって誘導されることを示している。
• 自己同型群は行収縮の曲率およびオイラー特徴量に作用し、群作用の下でその構造を保存する。
• $[B(H)^n]_1$ 上の自由正則関数に対して最大値原理を証明し、シュワルツの補題の非可換拡張を確立した。$F$ が単位球から自身への写像で $a = F^{-1}(b)$ であるとき、$\|\Psi_b(F(X))\| \leq \|\Psi_a(X)\|$ が成り立つ。