[论文解读] On the structure of isometries between noncommutative Lp spaces

David K. Sherman|ArXiv.org|Nov 19, 2003

Advanced Operator Algebra Research参考文献 30被引用 5

一句话总结

该论文证明了当定义域为约化半有限（AS）冯诺依曼代数时，非交换 $L^p$ 空间（$1 \leq p < \infty$，$p \neq 2$）之间的等距同构均为‘典型’形式——即由乔丹 $^*$-单同态、部分等距和正投影唯一确定。关键贡献在于在该条件下对这类等距同构进行了完整参数化，扩展并独立证明了耶顿定理在半有限代数情形之外的结果。

ABSTRACT

We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p &lt; infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite" (defined below). Although neither of these properties is fully understood, we show that they are enjoyed by all semifinite algebras and hyperfinite algebras (with no summand of type I_2), plus others. Thus the classification is stronger than Yeadon's theorem for semifinite algebras (and its recent improvement in [JRS]), and the proof uses independent techniques. Related to this, we examine the modular theory for positive projections from a von Neumann algebra onto a Jordan image of another von Neumann algebra, and use such projections to construct new Lp isometries by interpolation. Some complementary results and questions are also presented.

研究动机与目标

• 在耶顿定理的适用范围之外，对非交换 $L^p$ 空间之间（$1 \leq p < \infty$，$p \neq 2$）的等距同构进行分类。
• 研究所有 $L^p$ 等距同构是否均为‘典型’形式——即能否通过乔丹 $^*$-单同态、部分等距和正投影来表达。
• 确定在何种条件下典型形式始终定义一个等距同构，特别关注扩展性质（EP）和约化半有限性（AS）的作用。
• 探讨模理论、正投影与插值技术之间的相互作用，以构造新的 $L^p$ 等距同构。

提出的方法

• 利用邦斯与赖特定理证明所有 $L^1$ 等距同构均为典型形式，奠定基础步骤。
• 引入 $p$-扩展性质（EP$_p$），作为若望贝原始扩展性质的变体，用于将 $L^1$ 等距同构提升至 $L^p$。
• 将‘约化半有限’（AS）冯诺依曼代数定义为可被半有限子代数网逼近的代数。
• 通过插值方法从数据 $(J, P, w)$ 构造 $L^p$ 等距同构，其中 $J$ 为乔丹 $^*$-单同态，$P$ 为正投影，$w$ 为部分等距。
• 证明若 $P$ 可通过到 $J(\mathcal{M}_1)^{\prime\prime}$ 上的条件期望分解，则映射 $\varphi^{1/p} \mapsto (\varphi \circ J^{-1} \circ P)^{1/p}$ 可线性延拓为一个良定义的 $L^p$ 等距同构。
• 利用强算子拓扑收敛性与谱逼近技术，验证所构造映射的连续性与正规性。

实验结果

研究问题

• RQ1 所有非交换 $L^p$ 空间之间的 $L^p$ 等距同构是否均为包含乔丹 $^*$-单同态、部分等距与正投影的‘典型’形式？
• RQ2 扩展性质 EP$_p$（若望贝性质的变体）是否能确保 $L^p$ 等距同构为典型形式，尤其是在与 EP$_1$ 结合时？
• RQ3 若定义域代数为约化半有限（AS），是否典型形式始终定义一个等距同构，特别是当 $\mathcal{M}_1$ 不含类型 $\mathrm{I}_2$ 直和项时？
• RQ4 在何种条件下，正投影 $P: \mathcal{M}_2 \to J(\mathcal{M}_1)$ 可通过到 $J(\mathcal{M}_1)^{\prime\prime}$ 上的条件期望分解，从而支持通过插值构造 $L^p$ 等距同构？
• RQ5 插值构造的 $L^p$ 等距同构对参考态的依赖关系是否可消除？在何种情况下会发生这种情况？

主要发现

• 所有非交换 $L^p$ 空间之间的 $L^1$ 等距同构均为典型形式，该结论由邦斯与赖特定理确立。
• 若定义域冯诺依曼代数 $\mathcal{M}_1$ 同时满足 EP$_p$ 与 EP$_1$，则 $L^p$ 等距同构为典型形式；对于正等距同构，仅需 EP$_1$ 即可。
• 每个不含类型 $\mathrm{I}_2$ 直和项的约化半有限（AS）冯诺依曼代数，对所有 $p \in [1, \infty)$ 均满足 EP$_p$，从而推广了耶顿的结果。
• AS 代数类包括所有半有限代数、不含类型 $\mathrm{I}_2$ 的超有限代数，以及具有可分预对偶的类型 $\mathrm{III}_0$ 因子。
• 若投影 $P$ 可通过到 $J(\mathcal{M}_1)^{\prime\prime}$ 上的条件期望分解，则映射 $\varphi^{1/p} \mapsto (\varphi \circ J^{-1} \circ P)^{1/p}$ 可线性延拓为一个良定义的 $L^p$ 等距同构。
• 当 $\mathcal{M}_1$ 为 AS 时，插值构造的等距同构对参考态的依赖关系消失，从而确保了可由 $J$、$P$ 与 $w$ 唯一确定的 $L^p$ 等距同构的典范构造。