[論文レビュー] 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の予想を証明した：任意の作用素空間は、その境界表現によって完全にノルム化可能であり、長年の未解決問題が解決された。
• 作用素空間の三重包が、境界表現を用いて標準的に構成された。
• コンパクトな長方形行列凸集合と作用素空間との間の1対1対応が確立され、コンパクト凸集合とC*-代数の双対性を一般化した。
• この理論は、境界表現が古典的凸解析における極値点と類似した役割を果たすように、作用素空間の理解に新たな枠組みを提供する。