[论文解读] Boundary Representations of Operator Spaces, and Compact Rectangular Matrix Convex Sets

Adam H. Fuller, Michael Hartz+1 more|arXiv (Cornell University)|Jan 1, 2016

Advanced Operator Algebra Research参考文献 11被引用 22

一句话总结

本文引入了紧致矩形矩阵凸集作为研究算子空间中矩阵凸性的框架，建立了Krein-Milman定理与对偶性定理的类比，并证明了Arveson猜想：每个算子空间均可由其边界表示完全赋范，从而实现三重包络的典范构造。

ABSTRACT

We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We deduce a canonical correspondence between compact rectangular matrix convex sets and operator spaces. We also introduce the notion of boundary representation for an operator space, and prove the natural analog of Arveson's conjecture: every operator space is completely normed by its boundary representations. This yields a canonical construction of the triple envelope of an operator space.

研究动机与目标

• 开发一种专为算子空间设计的矩阵凸性理论，将经典凸性扩展至非自伴设置。
• 定义并表征紧致矩形矩阵凸集，作为矩阵空间中紧致凸集的自然推广。
• 在算子空间的矩阵凸设置中建立基础定理——Krein-Milman定理与对偶性定理。
• 引入算子空间的边界表示概念，并证明其在完全赋范空间中的作用。
• 通过其边界表示，提供算子空间三重包络的典范构造。

提出的方法

• 将紧致矩形矩阵凸集定义为在直和与*-同态像下封闭的有界闭集，且为矩阵凸集。
• 证明矩阵凸性版本的Krein-Milman定理：每个紧致矩形矩阵凸集均为其极值点的矩阵凸包。
• 建立矩阵对偶性定理，表明一个集合是紧致矩形矩阵凸集，当且仅当它是其有界矩阵凸子集的对偶集。
• 将边界表示定义为完全赋范算子空间的不可约表示。
• 利用矩阵凸集与算子空间之间的对偶性，证明每个算子空间均可由其边界表示完全赋范。
• 通过已建立的典范对偶性，构造三重包络为由其边界表示生成的算子空间。

实验结果

研究问题

• RQ1 经典凸性定理（如Krein-Milman定理）如何推广至算子空间的矩阵凸性设置？
• RQ2 在非自伴算子空间的矩阵凸性背景下，紧致凸集的适当推广是什么？
• RQ3 如Arveson所猜想，算子空间的边界表示是否完全确定其范数？
• RQ4 能否从其边界表示中典范重构算子空间的三重包络？
• RQ5 紧致矩形矩阵凸集与算子空间之间是否存在典范对应关系？

主要发现

• 本文证明了每个紧致矩形矩阵凸集均为其极值点的矩阵凸包，将Krein-Milman定理推广至矩阵设置。
• 证明了矩阵对偶性定理，表明一个集合是紧致矩形矩阵凸集，当且仅当它是其有界矩阵凸子集的对偶集。
• 作者证明了Arveson猜想：每个算子空间均可由其边界表示完全赋范，确认了一个长期悬而未决的开放问题。
• 通过其边界表示，实现了算子空间三重包络的典范构造。
• 建立了紧致矩形矩阵凸集与算子空间之间的一一对应关系，推广了紧致凸集与C*-代数之间的对偶性。
• 该理论为通过矩阵凸几何理解算子空间提供了新框架，其中边界表示的作用类似于经典凸分析中极值点的角色。