[論文レビュー] Metric characterizations of isometries and of unital operator spaces and systems

David P. Blecher, Matthew Neal|ArXiv.org|May 14, 2008

Advanced Operator Algebra Research参考文献 16被引用数 4

ひとこと要約

本稿は、写像や汎関数に依存せずに、ベクトル空間構造と行列ノルム構造のみを用いて、単位的作用素空間、作用素系、C*-代数、および関連構造の新しい内在的、行列ノルムに基づく特徴づけを提供する。主な貢献は、ブロック行列のノルムを含むメトリック条件であり、これは作用素空間における単位的性およびユニタリ要素の特徴づけを可能にする。

ABSTRACT

We give some new characterizations of unitaries, isometries, unital operator spaces, unital function spaces, operator systems, C*-algebras, and related objects. These characterizations only employ the vector space and operator space structure.

研究の動機と目的

• 単位的作用素空間および作用素系の抽象的で内在的な特徴づけを、行列ノルムとベクトル空間構造のみを用いて行う。
• 写像や汎関数に依存しない基準を提示することで、長年の単位的作用素空間の抽象的特徴づけのギャップを解消する。
• これらの特徴づけを、特に可換C*-代数の文脈において、単位的関数空間および関数系へと拡張する。
• 作用素空間内でのユニタリ、等長写像、C*-代数構造を特定するための新しい純粋なメトリック条件を提供する。
• これらのメトリック的特徴づけと、既存理論（例えば、作用素系の順序単位によるChoi-Effrosの特徴づけ）との関係を確立する。

提案手法

• 作用素空間のRuanの行列ノルム公理を出発点とし、ブロック行列のノルム条件を用いてユニタリ要素を含むように拡張する。
• 任意の $ x \in M_n(X) $ に対して $ \|x\| = 1 $ であるとき、$ \left[ \begin{smallmatrix} u_n & x \end{smallmatrix} \right] $ のノルムが $ \sqrt{2} $ に等しいという条件により、単位的作用素空間を定義する。ここで $ u_n $ は対角成分に $ u $ を持つ対角行列である。
• すべての実数 $ t $ および $ x, y \in \text{Ball}(X) $ に対して $ \left\| \begin{smallmatrix} t u & x \\ y & t u \end{smallmatrix} \right\| \leq \sqrt{t^2 + 1} $ を満たすような対称的行列ノルム条件を用いて、作用素系を特徴づける。
• 単位的作用素空間がC*-代数であるための必要十分条件として、その空間がユニタリで張られており、すべての $ t \in \mathbb{R} $、$ y, z \in \text{Ball}(X) $、およびユニタリ $ v $ に対して $ \left\| \begin{smallmatrix} t 1 & y \\ z & t v \end{smallmatrix} \right\| \leq \sqrt{t^2 + 1} $ を満たす行列ノルム条件を提示する。
• 三重包とTRO（三重作用素環）理論を用いて、作用素空間の構造を解析し、メトリック不変量を導出する。
• M-イデアルとM-射影の理論を応用し、これらのクラスが標準的な作用素空間の構成（直接和、M-イデアルによる商、超積など）に関して閉じていることを示す。

実験結果

リサーチクエスチョン

• RQ1 写像や汎関数を用いずに、行列ノルムとベクトル空間構造のみを用いて単位的作用素空間を特徴づけることは可能か？
• RQ2 作用素空間内でのユニタリ要素を一意に特定する行列ノルム条件は何か？
• RQ3 作用素系やC*-代数を、行列ノルムとユニタリの存在のみを用いて抽象的に特徴づける方法は何か？
• RQ4 単位的関数空間のメトリック的特徴づけは何か？ これは作用素空間の場合とどのように関係するか？
• RQ5 これらの新しいメトリック的特徴づけは、順序単位による作用素系のChoi-Effrosの特徴づけといった古典的結果とどのように関係するか？

主な発見

• 単位的作用素空間 $ (X, u) $ は、すべての $ n \in \mathbb{N} $ およびすべての $ x \in M_n(X) $ に対して $ \|x\| = 1 $ であるとき、$ \left\| \begin{smallmatrix} u_n & x \end{smallmatrix} \right\| = \sqrt{2} $ を満たすという条件で特徴づけられる。ここで $ u_n $ は対角成分に $ u $ を持つ対角行列である。
• 単位的作用素空間 $ (X, u) $ が作用素系であるための必要十分条件は、すべての $ x \in \text{Ball}(X) $ に対して、ある $ y \in \text{Ball}(X) $ が存在して、すべての $ t \in \mathbb{R} $ に対して $ \left\| \begin{smallmatrix} t u & x \\ y & t u \end{smallmatrix} \right\| \leq \sqrt{t^2 + 1} $ を満たすことである。
• 単位的作用素空間 $ (X, 1) $ がユニタリな完全等長写像によってC*-代数に同型であるための必要十分条件は、$ X $ がユニタリで張られており、すべての $ t \in \mathbb{R} $、$ y \in \text{Ball}(X) $、およびユニタリ $ v \in X $ に対して $ \inf_{z \in \text{Ball}(X)} \left\| \begin{smallmatrix} t 1 & y \\ z & t v \end{smallmatrix} \right\| \leq \sqrt{t^2 + 1} $ を満たすことである。
• 自己随伴関数空間 $ X $ が関数系であるための必要十分条件は、すべての $ f \in X $ に対して $ \|f\| = 1 $ であるとき、$ \sup \{ \|s f + t g\| : |s|^2 + |t|^2 = 1 \} = \sqrt{2} $ が成り立つことである。ここで $ g $ は定数関数1である。
• 自己随伴関数空間の三重包は可換であり、その空間内に自己随伴ユニタリ $ v $ が存在するならば、$ (X, v) $ は同じ随伴写像を備えた関数系である。
• 単位的作用素空間および作用素系のクラスは、直接和、M-イデアルによる商、および超積といった標準的構成に関して閉じており、新しいメトリック基準とTRO理論的手法によって示された。