[論文レビュー] Lebesgue decomposition of functionals and unique preduals for commutants modulo normed ideals

Dan-Virgil Voiculescu|arXiv (Cornell University)|Aug 25, 2016

Advanced Banach Space Theory参考文献 12被引用数 3

ひとこと要約

本稿では、n 個の自己共役作用素の n-重に対する、反射的ノルム付きイデアルに関する可換子の連続的汎関数に対するルベーグ分解を、擬中心的近似単位の条件下で確立する。さらに、この可換子代数の前対象が等長的同型を除いて一意に定まることを証明し、従来の前対象の一意性に関する古典的結果を、非可換摂動の設定へと拡張する。

ABSTRACT

We prove an analogue of the Lebesgue decomposition for continuous functionals on the commutant modulo a reflexive normed ideal of an n-tuple of hermitian operators for which there are quasicentral approximate units relative to the normed ideal. Using results of Godefroy-Talagrand and Pfitzner we derive from this strong uniqueness of the predual of such a commutant modulo a normed ideal.

研究の動機と目的

• 反射的ノルム付きイデアルに関するn 個の自己共役作用素の n-重の可換子上の連続的汎関数に対するルベーグ型分解を確立すること。
• このような可換子代数の前対象の構造を調査し、特にその一意性を検討すること。
• 従来、フォン・ノイマン代数に対して知られていた前対象の一意性に関する古典的結果を、ノルム付きイデアルによる摂動から生じるこのより広い作用素代数のクラスへと拡張すること。
• 双対性理論および幾何的バナッハ空間の性質（例えば、L-埋め込み空間）を用いて、前対象の一意性を強く示すこと。

提案手法

• バナッハ代数上の汎関数に対するルベーグ分解定理を、ノルム付きイデアルに関する可換子に適応する。
• ノルム付きイデアルに関する擬中心的近似単位の理論を適用し、適切な有限ランク射影による近似の存在を保証する。
• トレースペアリングを介した前対象と可換子代数の双対性を用い、$\mathcal{G}_\Phi^{(0)}$ の双対ノルム関数 $\Phi^*$ を用いる。
• 汎関数の超弱連続部分と特異部分が双対ノルムにおいて直交することを確立し、分解を可能にする。
• 前対象空間の $L$-埋め込み性を用いて、Godefroy–Talagrand および Pfitzner の結果を適用し、強い前対象の一意性を導く。
• ノルム $\||\cdot\||_M$ を用い、$\||\cdot\||$ と同値であることで、分離可能性および双対構造との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 反射的ノルム付きイデアルに関するn 個の自己共役作用素の n-重の可換子上の連続的汎関数に対して、ルベーグ分解を確立できるか？
• RQ2 どのような条件下で、このような可換子代数の前対象が等長的同型を除いて一意に定まるか？
• RQ3 カルキン代数および $\mathcal{B}(\mathcal{H})$ の前対象の構造的性質は、ノルム付きイデアルに関する可換子へどの程度まで拡張可能か？
• RQ4 この非可換設定における前対象の一意性と関連して、前対象の $L$-埋め込み構造はどのような役割を果たすか？
• RQ5 モノノーミングノルム関数 $\Phi$ および $\Phi^*$ は、結果に必要な反射的および双対性の性質を保証するために果たす役割は何か？

主な発見

• 連続的汎関数 $\varphi$ に対して、$\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ 上にルベーグ分解が存在し、各汎関数を超弱連続部分 $\varphi_a$ と特異部分 $\varphi_s$ に分解できる。
• 分解は $\|\varphi\|_M = \|\varphi_a\|_M + \|\varphi_s\|_M$ を満たし、超弱連続部分 $\varphi_a$ は前対象 $\mathcal{E}_*(\tau;\Phi)$ に属する。
• 仮定として $k_\Phi(\tau) = 0$ かつ $\Phi, \Phi^*$ がモノノーミングであるとき、前対象 $\mathcal{E}_*(\tau;\Phi)$ は $L$-埋め込みかつ分離可能である。
• ノルム $\||\cdot\||$ および $\||\cdot\||_M$ に関して、双対代数 $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ の前対象 $\mathcal{E}_*(\tau;\Phi)$ は等長的同型を除いて一意である。
• Pfitzner の定理により、$L$-埋め込み構造から、$\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ の任意の他の前対象は $\mathcal{E}_*(\tau;\Phi)$ と等長的同型であることが示され、強い一意性が確立される。
• 可換子 $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ 上の特異汎関数は、ちょうど $C^*$-代数 $\mathcal{E}/{\mathcal{K}}(\tau;\mathcal{G}_\Phi^{(0)})$ を通じて因数分解できるものであり、そのノルムは商代数のノルムと一致する。