[论文解读] A Beurling theorem for noncommutative L^p

David P. Blecher, Louis E. Labuschagne|ArXiv.org|Oct 17, 2005

Advanced Operator Algebra Research参考文献 24被引用 32

一句话总结

本文通过利用 $A$-不变子空间的 $L^p(\mathcal{D})$-模结构，将贝尔林的经典不变子空间定理推广至非交换 $L^p$ 空间，其中 $A$ 是一个极大子对角代数。该研究证明了此类子空间可分解为循环模，并为 $L^p(M)$ 中的元素提供了内-外分解，从而将经典的 $H^p$ 理论推广至非交换设定。

ABSTRACT

We extend Beurling's invariant subspace theorem, by characterizing subspaces $K$ of the noncommutative $L^p$ spaces which are invariant with respect to Arveson's maximal subdiagonal algebras, sometimes known as noncommutative $H^\infty$. It is significant that a certain subspace, and a certain quotient, of $K$ are $L^p({\mathcal D})$-modules in the recent sense of Junge and Sherman, and therefore have a nice decomposition into cyclic submodules. We also give general inner-outer factorization formulae for elements in the noncommutative $L^p$. These facts generalize the classical ones, and should be useful in the future development of noncommutative $H^p$ theory. In addition, these results characterize maximal subdiagonal algebras.

研究动机与目标

• 将贝尔林的不变子空间定理推广至与有限冯诺依曼代数相关的非交换 $L^p$ 空间。
• 通过 $L^p(\mathcal{D})$-模结构，刻画 $L^p(M)$ 中 $A$-不变子空间，其中 $A$ 是一个极大子对角代数。
• 为非交换 $L^p(M)$ 中的元素建立内-外分解公式，推广经典的贝尔林–内瓦林纳分解。
• 证明极大子对角代数可通过其不变子空间的分解性质与模结构来表征。

提出的方法

• 使用与有限冯诺依曼代数及忠实正规迹态 $\tau$ 相关的非交换 $L^p$ 空间 $L^p(M, \tau)$ 框架。
• 应用由尚和谢尔曼定义的 $L^p(\mathcal{D})$-模与 $L^p$-列和概念，以分析不变子空间。
• 为 $L^p(M)$ 的 $A$-不变子空间 $K$ 定义右游荡子空间 $W = K \ominus [KA_0]_p$，并区分类型 1 与类型 2 子空间。
• 利用 $A$-不变性与弱*闭包概念，研究满足 $KA \subset K$ 的子空间 $K$，特别关注由其游荡子空间生成的子空间。
• 使用等距 $\mathcal{D}$-模同构及涉及 $\tau((d^*vd)^{p/2}) = \|ud\|_p^p$ 的迹恒等式，证明算子的酉性与循环结构。
• 通过对偶性与弱*拓扑收敛性，将结果从 $L^2(M)$ 推广至 $L^p(M)$ 与 $L^\infty(M)$，尤其针对 $p = \infty$ 情况。

实验结果

研究问题

• RQ1 贝尔林的不变子空间定理如何可推广至非交换 $L^p$ 空间？
• RQ2 非交换 $L^p(M)$ 中 $A$-不变子空间的结构是什么，特别是其与 $L^p(\mathcal{D})$-模的关系如何？
• RQ3 能否为非交换 $L^p(M)$ 中的元素建立类似经典贝尔林–内瓦林纳分解的内-外分解？
• RQ4 极大子对角代数的性质如何与 $L^p(M)$ 中不变子空间的分解相关联？
• RQ5 基于模理论与分解性质，何种条件可确保一个迹子代数 $A$ 为极大子对角代数？

主要发现

• 任意类型 1 的 $A$-不变子空间 $K \subset L^p(M)$ 满足 $K = \oplus_{i}^{\text{col}} u_i [A]_p$，其中 $u_i$ 是 $M \cap K$ 中的偏等距，其作用区域两两正交，且满足 $u_i^*u_i \in \mathcal{D}$。
• 若 $K$ 为类型 1 且其游荡子空间 $W$ 包含循环与分离向量，则 $K = uH^p$，其中 $u \in M$ 为酉算子，意味着 $f = uh$，且 $h$ 在 $H^p$ 中为外函数。
• $K$ 为类型 2 当且仅当其游荡商空间 $K / [KA_0]_p$ 平凡，即 $K = [KA_0]_p$。
• 对 $f \in L^p(M)$，若 $[fA]_p$ 为类型 1，则 $f = \sum_i u_i h_i$ 以范数收敛，其中 $u_i$ 为满足 $u_i^*u_i \in \mathcal{D}$ 的偏等距，$i \neq j$ 时 $u_j^*u_i = 0$，且 $h_i \in [A]_p$ 满足 $u_i^*u_i h_i = h_i$。
• 结果表明，极大子对角代数可通过其不变子空间分解为 $L^p(\mathcal{D})$-模以及内-外分解的存在性来表征。
• 本文证实，当且仅当 $A$ 满足 $L^2$-稠密性与唯一正规态扩张性质时，$A$ 为极大子对角代数，从而推广了早期的表征结果。