[论文解读] Noncommutative Lp modules

Marius Junge, David K. Sherman|ArXiv.org|Jan 6, 2003

Advanced Operator Algebra Research参考文献 18被引用 23

一句话总结

本文通过引入取值于 $L^{p/2}$ 的内积，提出了一类新的非交换 $L^p$ 模，推广了希尔伯特 C*-模理论，并将康奈斯的 $L^2$ 空间理论扩展至 $L^p$。关键结果是：当 $p \neq 2$ 时，$L^p$ 双模几乎平凡：一个 $\mathcal{M}$-$\mathcal{N}$ $L^p$-双模存在的充要条件是 $\mathcal{M}$ 与 $\mathcal{N}$ 是莫里塔等价的，且模结构退化为在阿贝尔核心上的 $p$-直积分的希尔伯特空间族。

ABSTRACT

We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly trivial.

研究动机与目标

• 为非交换 $L^p$ 空间建立超越 $L^2$ 情况的表示理论，类比于希尔伯特空间与希尔伯特 C*-模理论。
• 通过取值于 $L^{p/2}$ 的内积刻画 $L^p$ 模，推广 $L^2$ 与 $L^\infty$ 的情形。
• 研究 $L^p$ 双模的结构，并确定是否存在丰富的 $L^p$ 对应关系类别。
• 为冯诺依曼代数上的 $L^p$ 模建立 $p$-直积分结构，特别是在 $\sigma$-有限情形下。
• 阐明莫里塔等价在 $L^p$ 双模理论中的作用，表明当 $p \neq 2$ 时，它是模存在的唯一障碍。

提出的方法

• 通过广义的取值于 $L^{p/2}$ 的内积，将 $L^p$ 模构造为非交换 $L^p$ 空间的‘列’。
• 应用哈格鲁普对 $L^p(\mathcal{M})$ 的构造，将其视为在交叉积 $\widetilde{\mathcal{M}} = \mathcal{M} \rtimes_\sigma \mathbb{R}$ 中的 $\tau$-可测算子，并通过对偶作用进行 $1/p$-缩放。
• 将康奈斯的 $L^2$ 空间理论翻译至 $L^p$ 设置，利用模理论与广义霍尔德不等式。
• 利用相对张量积 $\otimes_{\mathcal{N},p,q,r}$ 定义 $L^q$-模之间的函子，建立表示范畴的等价性。
• 通过中心分解分析 $L^p$ 双模，表明其阿贝尔部分是希尔伯特空间在测度空间 $(X,\mu)$ 上的 $p$-直积分，而非阿贝尔部分仅在代数莫里塔等价时非平凡。
• 采用广义对偶性 $L^p \otimes_{\mathcal{M}} L^q \simeq L^r$，其中 $1/p + 1/q = 1/r$，并通过 $qC^p(\mathcal{N}) \otimes_{\mathcal{N},p,q,r} R^p(\mathcal{N})q \simeq L^p(\mathcal{M})$ 验证张量积同构。

实验结果

研究问题

• RQ1 能否为非交换 $L^p$ 空间建立一个推广 $L^2$ 与 $L^\infty$ 情形的表示理论？
• RQ2 冯诺依曼代数上的 $L^p$ 模具有何种结构，其与希尔伯特 C*-模之间有何关联？
• RQ3 当 $p \neq 2$ 时，是否存在非平凡的 $L^p$ 双模？若存在，其条件为何？
• RQ4 是否存在一种 $p$-类比的相对张量积，能实现表示范畴的等价？
• RQ5 莫里塔等价在 $L^p$ 双模存在性中扮演何种角色？

主要发现

• 当 $1 < p < \infty$，$p \neq 2$，且代数为 $\sigma$-有限时，一个 $\mathcal{M}$-$\mathcal{N}$ $L^p$-双模存在的充要条件是 $\mathcal{M}$ 与 $\mathcal{N}$ 莫里塔等价。
• $L^p$ 双模在非阿贝尔部分的结构是平凡的：在非阿贝尔中心支撑上，左右作用互为交换子。
• 双模的阿贝尔部分同构于测度空间 $(X,\mu)$ 上希尔伯特空间的 $p$-直积分，且满足 $z\mathcal{M} = z\mathcal{N} \simeq L^\infty(X,\mu)$。
• 相对张量积 $\otimes_{\mathcal{N},p,q,r}$ 定义了从 $\mathcal{N}$ 上的 $L^q$-模到 $\mathcal{M}$ 上的 $L^r$-模的函子等价，其逆由共轭模给出。
• 同构 $\mathfrak{X} \otimes_{\mathcal{N},p,q,r} \bar{\mathfrak{X}} \simeq L^p(\mathcal{M})$ 成立，验证了对偶性与范畴等价性。
• 该构造推广了 $L^2$ 与 $L^\infty$ 的情形：当 $p=2$ 时，它恢复了希尔伯特空间表示；当 $p=\infty$ 时，它恢复了标准的 $\mathcal{M}$-模结构。