[论文解读] Riesz and Szegö type factorizations for noncommutative Hardy spaces

Turdebek N. Bekjan, Quanhua Xu|arXiv (Cornell University)|May 14, 2007

Advanced Operator Algebra Research参考文献 17被引用 39

一句话总结

本文为所有正指数 $p > 0$ 建立了与有限子对角代数相关的非交换 Hardy 空间上的 Riesz 和 Szeg€œ 型分解，扩展了以往仅限于 $p \geq 1$ 的结果。关键贡献在于证明了当 $p < 1$ 时，条件期望在 $H^p(\mathsf{A})$ 上的压缩性，从而使得外部分解和 Fuglede-Kadison 衍生式公式可推广至所有 $p > 0$，并消除了有限维对角线假设。

ABSTRACT

Let $\A$ be a finite subdiagonal algebra in Arveson's sense. Let $H^p(\A)$ be the associated noncommutative Hardy spaces, $0

研究动机与目标

• 将非交换 Hardy 空间中的 Riesz 和 Szeg€œ 型分解扩展至所有正指数 $p > 0$，超越此前已知的 $p \geq 1$ 情况。
• 解决将外算子理论与 Fuglede-Kadison 衍生式公式扩展至 $p < 1$ 的开放问题。
• 在非交换 Szeg€œ 衍生式公式中消除有限维对角线假设，该假设在 Blecher 和 Labuschagne 的工作中曾被需要。
• 建立 $H^p(\mathsf{A})$ 上条件期望在 $p < 1$ 时的压缩性，这是实现分解结果扩展的关键技术工具。

提出的方法

• 引入并证明当 $p < 1$ 时，条件期望 $\Phi$ 在 $H^p(\mathsf{A})$ 上的压缩性，从而克服了以往方法对对偶性的依赖。
• 利用 Arveson 的分解定理，将元素表示为单位元与解析元的乘积，从而实现对范数和行列式的控制。
• 应用 Jensen 公式及 Fuglede-Kadison 行列式的性质，将 $\Delta(|a|^p)$ 与 $\Delta(\Phi(a))$ 关联起来，其中 $a \in \mathsf{A}$。
• 通过使用满足 $\omega_s(e_i) = 0$ 的投影 $e_i$ 构造逼近序列，以处理泛函 $\omega$ 的奇异部分，确保下确界不受奇异分量影响。
• 证明在限制到可逆元 $a \in \mathsf{A}^{-1}$ 且 $\Delta(\Phi(a)) \geq 1$ 时，行列式公式中的下确界保持不变，从而简化了表征。
• 利用恒等式 $\Delta(w) = \inf \{ \omega(|x|^p) : \Delta(x) \geq 1, x \in \mathsf{M}_+^{-1} \}$ 推导出所有 $p > 0$ 的主要行列式公式。

实验结果

研究问题

• RQ1 当 $1/p = 1/q + 1/r$ 时，Riesz 分解 $H^p(\mathsf{A}) = H^q(\mathsf{A}) \cdot H^r(\mathsf{A})$ 是否可推广至所有 $p > 0$？
• RQ2 当 $\Delta(x) > 0$ 时，外算子分解 $|x| = |h|$ 是否对所有 $p > 0$ 成立，其中 $h$ 在 $H^p(\mathsf{A})$ 中为外算子？
• RQ3 非交换 Szeg€œ 行列式公式 $\Delta(w) = \inf \{ \omega(|a|^p) : \Delta(\Phi(a)) \geq 1 \}$ 是否可推广至所有 $p > 0$，且无需要求 $\dim \mathsf{D} < \infty$？
• RQ4 条件期望 $\Phi$ 是否在 $H^p(\mathsf{A})$ 上对 $p < 1$ 是压缩的，从而实现无需对偶性的证明？

主要发现

• 条件期望 $\Phi$ 在所有 $p < 1$ 时于 $H^p(\mathsf{A})$ 上是压缩的，这是实现分解定理扩展的关键技术结果。
• Riesz 分解 $H^p(\mathsf{A}) = H^q(\mathsf{A}) \cdot H^r(\mathsf{A})$ 对所有满足 $1/p = 1/q + 1/r$ 且所有 $p > 0$ 成立，将先前结果推广至整个正指数范围。
• 外部分解结果——即对任意 $x \in L^p(\mathsf{M})$ 满足 $\Delta(x) > 0$，存在 $h \in H^p(\mathsf{A})$ 使得 $|x| = |h|$ 且 $h$ 为外算子——被推广至所有 $p > 0$。
• 非交换 Szeg€œ 行列式公式 $\Delta(w) = \inf \{ \omega(|a|^p) : \Delta(\Phi(a)) \geq 1 \}$ 对所有 $p > 0$ 成立，且无需有限维对角线假设。
• 在限制到可逆元 $a \in \mathsf{A}^{-1}$ 时，行列式公式中的下确界保持不变，从而提供了更简洁的表征。
• 泛函 $\omega$ 的奇异部分不影响行列式公式中的下确界，因此 $\delta(\omega) = \delta(\omega_n)$，使得可仅关注其正规部分。