[论文解读] A Representation Theorem for Completely Contractive Dual Banach Algebras

Faruk Uygul|ArXiv.org|Feb 7, 2007

Advanced Operator Algebra Research参考文献 9被引用 6

一句话总结

本文通过证明完全有界双 Banach 代数可完全等距嵌入为某个反射性算子空间上完全有界算子空间的 $w^*$-闭子代数，建立了其表示定理。证明方法将 Daws 对双 Banach 代数的表示定理推广至算子空间范畴，利用算子空间的复插值理论，从而在反射性 $E$ 的情况下，为这类代数提供了一个自然的算子空间子代数实现形式 $\mathcal{CB}(E)$。主要贡献在于在算子空间范畴中实现了完全等距表示，扩展了已知的 von Neumann 代数与测度代数的结果。

ABSTRACT

In this paper, we prove that every completely contractive dual Banach algebra is completely isometric to a $w^\ast$-closed subalgebra the operator space of completely bounded linear operators on some reflexive operator space.

研究动机与目标

• 将 Daws 对双 Banach 代数的表示定理推广至算子空间范畴。
• 建立完全有界双 Banach 代数作为 $\mathcal{CB}(E)$ 的 $w^*$-闭子代数的完全等距表示，其中 $E$ 为某个反射性算子空间。
• 将 Daws 的技巧适配至算子空间框架，需对算子空间的复插值理论进行创新性应用。
• 阐明已知表示（如 $M(G)$ 或 $B(G)$）与新一般框架之间的关系，表明这些结果既不被本结果蕴含，也不蕴含本结果。

提出的方法

• 对每个 $\phi$ 属于指标集 $\mathfrak{I}$，构造一族 $w^*$-连续的完全有界映射 $T_\phi: \mathfrak{A} \to \mathcal{CB}(E_\phi)$，其中每个 $E_\phi$ 均为反射性算子空间。
• 定义直和 $\dot{E} = l^2(\mathfrak{I}, E_\phi)$，并赋予其由 $M_n(E_\phi)$-范数的 $\ell^2$-和诱导的算子空间结构。
• 通过 $\langle S(a), (x_\phi) \rangle = (\langle T_\phi(a), x_\phi \rangle)$ 构造映射 $S: \mathfrak{A} \to B(\dot{E})$，并利用 Daws 的结果证明其为等距映射。
• 定义一个新的算子空间 $E = l^2(\mathfrak{I}, E_\phi)$ 及映射 $T: \mathfrak{A} \to \mathcal{CB}(E)$，定义为 $\langle T(a), (x_\phi) \rangle = (\langle T_\phi(a), x_\phi \rangle)$，并证明 $T$ 为完全有界映射。
• 利用复插值理论（Pisier 和 Xu）将 $E$ 实现为插值空间 $E = (l^\infty(\mathfrak{I}, M_n(E_\phi)), l^1(\mathfrak{I}, M_n(E_\phi)))_{1/2}$，以确保其反射性。
• 通过对偶性及利用 $\phi \in M_n(\mathfrak{A}_*)$ 的泛函逼近，证明 $T$ 为完全等距映射，即 $\|T^{(n)}(a)\|_{\mathrm{cb}} = \|a\|_n$。

实验结果

研究问题

• RQ1 每个完全有界双 Banach 代数是否都能完全等距嵌入到某个反射性算子空间 $E$ 的 $\mathcal{CB}(E)$ 中？
• RQ2 完全有界双 Banach 代数的算子空间结构是否允许一个类似于 Daws 对双 Banach 代数定理的表示，但处于算子空间范畴中？
• RQ3 如何利用算子空间的复插值理论构造一个反射性算子空间 $E$，使得 $\mathfrak{A}$ 完全等距嵌入到 $\mathcal{CB}(E)$ 中？
• RQ4 将 $\mathfrak{A}$ 表示为某个反射性 $E$ 的 $\mathcal{CB}(E)$ 的 $w^*$-闭子代数，是否严格强于已有表示（如 $M(G)$ 或 $B(G)$）？
• RQ5 能否在不依赖 $L^2(G)$ 反射性（对一般 $G$ 不成立）的前提下，将证明 Daws 定理的技术适配至算子空间范畴？

主要发现

• 每个完全有界双 Banach 代数 $\mathfrak{A}$ 均可完全等距嵌入到某个反射性算子空间 $E$ 的 $\mathcal{CB}(E)$ 中，且其像为 $w^*$-闭子代数。
• 该表示通过反射性算子空间 $E_\phi$ 的直和 $\dot{E} = l^2(\mathfrak{I}, E_\phi)$ 构造，其中每个映射 $T_\phi: \mathfrak{A} \to \mathcal{CB}(E_\phi)$ 均为 $w^*$-连续的完全有界映射。
• 由此得到的映射 $T: \mathfrak{A} \to \mathcal{CB}(E)$ 为完全等距映射，即对所有 $n \geq 1$ 和 $a \in M_n(\mathfrak{A})$，有 $\|T^{(n)}(a)\|_{\mathrm{cb}} = \|a\|_n$，从而确立了完全等距同构。
• 该构造依赖于算子空间的复插值理论（Pisier 和 Xu），使得 $E$ 可被实现为插值空间 $E = (l^\infty(\mathfrak{I}, M_n(E_\phi)), l^1(\mathfrak{I}, M_n(E_\phi)))_{1/2}$，从而保证其反射性。
• 该结果并非由 $M(G)$ 或 $B(G)$ 的早期结果所蕴含，也非等价，因为即使 $\mathcal{B}(L^2(G))$ 是双算子空间，其本身并非反射性空间。
• 该证明以非平凡方式将 Daws 的技巧适配至算子空间范畴，需对算子空间范数及通过 $\phi \in M_n(\mathfrak{A}_*)$ 的对偶性进行精细控制。