[論文レビュー] Geometric properties of noncommutative symmetric spaces of measurable operators and unitary matrix ideals

Małgorzata Czerwiñska, Anna Kamińska|arXiv (Cornell University)|Apr 6, 2017

Advanced Operator Algebra Research参考文献 58被引用数 4

ひとこと要約

本稿は、可測作用素の非可換対称空間 $E(\mathcal{M},\tau)$ 及びそのユニタリ行列類似物 $C_E$ の幾何的性質を調査し、それらの基礎となる対称空間 $E$ の性質と対応する作用素空間の性質との間の関係を確立する。主な貢献は、$C_E$ のクレヴィン＝モーリー安定性が $E$ の安定性に依存することを特徴づけることであり、$E$ が安定であるための必要十分条件が $C_E$ が安定であることであることを証明する。これは、$L_p$ 空間に関する先行研究を拡張し、列空間と作用素空間幾何学との間の基盤的つながりを提供する。

ABSTRACT

This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value function, submajorization in the sense of Hardy, Littlewood and Pólya, Köthe duality, the spaces $L_p(\mathcal{M},τ)$, $1\le p

研究の動機と目的

• 可測作用素の非可換対称空間 $E(\mathcal{M},\tau)$ およびユニタリ行列イデアル $C_E$ の幾何的性質を分析する包括的な枠組みを確立すること。
• 対称空間 $E$ の幾何的・構造的性質と、それらが誘導する $E(\mathcal{M},\tau)$ および $C_E$ の性質との関係を明確化すること。
• 非可換設定における安定性、カデック＝クリー性、およびラドン＝ニコディム性に関する未解決問題を解消すること。
• $L_p$ および $\ell_p$ 空間からの古典的結果を一般対称空間およびその非可換類似物へと拡張すること。

提案手法

• ハリー、リトルウッド、ポlyaの意味における特徴値関数および劣大支配の理論を用いて、$E(\mathcal{M},\tau)$ および $C_E$ の構造を定義・分析する。
• コーテー双対性および $C_E$ を一般化された非可換 $L_p$ 型空間 $G(B(H),\mathrm{tr})$ と同一視することにより、関数空間から作用素空間への性質の移行を実現する。
• トレースを保存する $*$-同型写像および非原子性の仮定の除去を用いて、任意の半有限フォン・ノイマン代数へと結果を一般化する。
• 超フィルターに基づく定義およびクレヴィン＝モーリー安定性の基準、特に条件 $\inf_{n>m}\|x_n + x_m\| \leq \sup_{n<m}\|x_n + x_m\|$ を用いて、$C_E$ における安定性を特徴づける。
• アラジーとレイノーの $C_E$ における基本列に関する結果を活用し、任意の基本列が $\ell_2 \oplus E$ の中に同型な部分列を含むことを示し、複雑な性質を列空間レベルに還元可能であることを可能にする。
• 双対性、単調性、および局所的均等凸性の技法を用いて、$E(\mathcal{M},\tau)$ および $C_E$ における複雑な凸性、滑らかさ、および露出点構造の解析を行う。

実験結果

リサーチクエスチョン

• RQ1 対称空間 $E$ がどのような条件下に、ユニタリ行列イデアル $C_E$ がクレヴィン＝モーリーの意味で安定になるか。
• RQ2 厳密凸性、一様凸性、およびカデック＝クリー性といった幾何的性質が、$E$ から $C_E$ へどのように伝播するか。
• RQ3 非可換対称空間 $E(\mathcal{M},\tau)$ におけるラドン＝ニコディム性と安定性の関係は何か。
• RQ4 $E(\mathcal{M},\tau)$ が $E$ からバンハック＝サックス性を引き継ぐのはいつか。
• RQ5 $\mathcal{M}$ が型 I のとき、$E$ の安定性は $E(\mathcal{M},\tau)$ の安定性を十分に保証するか。

主な発見

• ユニタリ行列イデアル $C_E$ がクレヴィン＝モーリーの意味で安定であるための必要十分条件は、対称列空間 $E$ が安定であることである。これは、列空間の安定性とそのユニタリ行列イデアルの安定性との間の根本的な同値性を確立する。
• もし $E$ が安定であれば、$C_E$ は $c_0$ に同型な部分空間を含まず、そのシェル分解は有界完備である。
• $E$ が RNP を持つならば、$E(\mathcal{M},\tau)$ は $E$ からラドン＝ニコディム性を引き継ぎ、この性質は $L_p$ 型構成においても保存される。
• $\mathcal{M}$ が型 I であるとき、すべての $1 \leq p < \infty$ に対して $L_p(\mathcal{M},\tau)$ は安定であり、この安定性は $\mathcal{M}$ が型 I であることと同値である。
• $C_E$ にバンハック＝サックス性が成り立つための必要十分条件は、$E$ に成り立つことであり、これは $E$ がある $p > 1$ に対して $p$-凸であることと同値である。
• $E(\mathcal{M},\tau)$ が一様カデック＝クリー性を満たすための必要十分条件は、$E$ が同様の性質を満たすことである。これは $E$ の局所的均等凸性と関連している。