[论文解读] 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$ 与相应算子空间之间性质的联系。主要贡献在于以 $E$ 的稳定性为条件，刻画了 $C_E$ 的 Krivine-Maurey 稳定性，证明了 $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$ 的性质之间的关系。
• 解决非交换设定下关于稳定性、Kadec-Klee 性质以及 Radon-Nikodým 性质的开放问题。
• 将经典 $L_p$ 与 $\ell_p$ 空间的结果推广至一般对称空间及其非交换类比。

提出的方法

• 利用 Hardy、Littlewood 与 Pólya 意义下的奇异值函数与次序关系理论，定义并分析 $E(\mathcal{M},\tau)$ 与 $C_E$ 的结构。
• 应用 Köthe 对偶性，并将 $C_E$ 识别为广义非交换 $L_p$-型空间 $G(B(H),\mathrm{tr})$，以实现从函数空间到算子空间的性质传递。
• 采用保持迹的 $*$-同构，并去除非原子性假设，将结果推广至任意半有限 von Neumann 代数。
• 应用基于超滤子的定义与 Krivine-Maurey 稳定性的判据，特别是使用条件 $\inf_{n>m}\|x_n + x_m\| \leq \sup_{n<m}\|x_n + x_m\|$，以刻画 $C_E$ 中的稳定性。
• 利用 Arazy 与 Raynaud 关于 $C_E$ 中基序列的结果，表明每个基序列都有一个子列等价于 $\ell_2 \oplus E$ 中的序列，从而可将复杂性质约化至序列空间层面。
• 运用对偶性、单调性以及局部一致凸性技术，分析 $E(\mathcal{M},\tau)$ 与 $C_E$ 中复与实凸性、光滑性及暴露点结构。

实验结果

研究问题

• RQ1 在对称空间 $E$ 满足何种条件时，酉矩阵理想 $C_E$ 在 Krivine-Maurey 意义下是稳定的？
• RQ2 严格凸性、一致凸性以及 Kadec-Klee 性质等几何性质如何从 $E$ 传递到 $C_E$？
• RQ3 非交换对称空间 $E(\mathcal{M},\tau)$ 中的 Radon-Nikodým 性质与稳定性之间存在何种关系？
• RQ4 在何种条件下 $E(\mathcal{M},\tau)$ 会继承来自 $E$ 的 Banach-Saks 性质？
• RQ5 当 $\mathcal{M}$ 为类型 I 时，$E$ 的稳定性是否足以保证 $E(\mathcal{M},\tau)$ 的稳定性？

主要发现

• 酉矩阵理想 $C_E$ 在 Krivine-Maurey 意义下稳定，当且仅当对称序列空间 $E$ 稳定，建立了序列空间与其酉矩阵理想之间稳定性的一个基本等价关系。
• 若 $E$ 稳定，则 $C_E$ 不包含同构于 $c_0$ 的子空间，且其壳分解有界完备。
• 若 $E$ 具有 RNP（Radon-Nikodým 性质），则 $E(\mathcal{M},\tau)$ 也继承该性质，且该性质在 $L_p$-型构造下保持不变。
• 当 $\mathcal{M}$ 为类型 I 时，对所有 $1 \leq p < \infty$，有 $L_p(\mathcal{M},\tau)$ 稳定，且该稳定性等价于 $\mathcal{M}$ 为类型 I。
• $C_E$ 满足 Banach-Saks 性质当且仅当 $E$ 满足该性质，且这等价于 $E$ 为某 $p > 1$ 的 $p$-凸空间。
• $E(\mathcal{M},\tau)$ 满足一致 Kadec-Klee 性质当且仅当 $E$ 满足相同性质，且该性质与 $E$ 的局部一致凸性相关。