[論文レビュー] The Operator System Generated by Cuntz Isometries

Da Wei Zheng|arXiv (Cornell University)|Oct 25, 2014

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

ひとこと要約

この論文は、$n$ 個のCuntz等長作用素によって生成される作用素系 $\mathcal{S}_n$ が、特定の作用素部分系 $\mathcal{E}_n \subseteq M_{n+1}$ の商と完全順序同型であることを確立し、$M_p(\mathcal{S}_n)$ 内の正の元をブロック行列条件を用いて明確に特徴づける。この結果は、Cuntz等長作用素の普遍的性質と作用素系理論における商構造を活用している。

ABSTRACT

In this paper we consider the operator system $\cl{S}_n$ generated by $n$ Cuntz isometries, i.e. the span of the generators of the Cuntz algebra $\cl{O}_n$ together with their adjoints and the identity. We define an operator subsystem $\cl{E}_n\subseteq M_{n+1}$ and then prove that $\cl{S}_n$ is completely order isomorphic to a quotient of $\cl{E}_n$. This result implies a characterization of positive elements in $M_p(\cl{S}_n)$.

研究の動機と目的

• Cuntz等長作用素 $n$ 個が満たす特定の関係を満たす普遍的等長作用素としての作用素系 $\mathcal{S}_n$ を調査すること。
• Toeplitz-Cuntz等長作用素によって生成される作用素系と同型であることを示すことによって、$\mathcal{S}_n$ に対する普遍的性質を確立すること。
• $\mathcal{E}_n \subseteq M_{n+1}$ を定義し、$\mathcal{E}_n$ から $\mathcal{S}_n$ へのユニタリ完全正値写像を構成すること。
• $\mathcal{S}_n$ が $\mathcal{E}_n$ の商と完全順序同型であることを証明し、$M_p(\mathcal{S}_n)$ 内の正の元の特徴づけを達成すること。
• Cuntz代数 $\mathcal{O}_n$ をその関連作用素系 $\mathcal{S}_n$ を通じて新たな枠組みで研究する方法を提供し、$C^*$-代数のクラスの新たな特徴づけを可能にする可能性がある。

提案手法

• $\mathcal{S}_n$ をCuntz代数 $\mathcal{O}_n$ 内の $n$ 個のCuntz等長作用素とその随伴作用素のユニタリ $*$-閉線形包として定義する。
• $\mathcal{E}_n \subseteq M_{n+1}$ を、特定の行列単位と単位元によって生成される具体的な作用素部分系とし、Cuntz関係の代数的構造を捉える。
• $\mathcal{E}_n$ の生成子を $\mathcal{S}_n$ 内の対応するCuntz等長作用素に写像することで、$\mathcal{E}_n$ から $\mathcal{S}_n$ へのユニタリ完全正値写像 $\phi$ を構成する。
• $\mathcal{S}_n$ が $\mathcal{E}_n / J$（ある核 $J$ による商）と完全順序同型であることを、$\mathcal{S}_n$ の普遍的性質と行収縮の構造を用いて証明する。
• Choi-Effrosの定理と行列代数における正値性基準を用い、$M_p(\mathcal{S}_n)$ 内の正値性を $M_{n+1}(M_p)$ 内のブロック行列条件によって特徴づける。
• ノルム $\|T\| \leq 1$ であることと、ブロック行列 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix} \geq 0$ が正であることの同値性を活用し、商系における正値性の分析を行う。

実験結果

リサーチクエスチョン

• RQ1 $n$ 個のCuntz等長作用素によって生成される作用素系 $\mathcal{S}_n$ は、有限次元行列代数に完全順序同型に埋め込めるか。
• RQ2 有限次元作用素系 $\mathcal{E}_n \subseteq M_{n+1}$ が存在し、$\mathcal{S}_n$ が $\mathcal{E}_n$ の商と完全順序同型であるか。
• RQ3 $M_p(\mathcal{S}_n)$ 内の正の元の正確な特徴づけは、行列ブロック構造を用いてどのように記述できるか。
• RQ4 Cuntz等長作用素の普遍的性質は、Cuntz代数 $\mathcal{O}_n$ の一意性の新たな証明を可能にするか。
• RQ5 $\mathcal{S}_n$ の構造は、弱期待値性質（WEP）を有するような重要な $C^*$-代数クラスの新たな特徴づけを可能にするか。

主な発見

• Cuntz等長作用素 $n$ 個によって生成される作用素系 $\mathcal{S}_n$ は、$M_{n+1}$ 内の作用素部分系 $\mathcal{E}_n$ の商と完全順序同型であり、$\mathcal{S}_n$ の有限次元モデルを確立する。
• ユニタリ完全正値写像 $\mathcal{E}_n \to \mathcal{S}_n$ が存在し、この写像により $\mathcal{E}_n / J$ から $\mathcal{S}_n$ への完全順序同型が誘導される（$J$ はある核）。
• $M_p(\mathcal{S}_n)$ 内の正の元は、ある $B \in M_p$ に対して、ブロック行列 $$\begin{pmatrix} A_0 & 2A_1^* & \cdots & 2A_n^* \\ 2A_1 & A_0 & & \\ \vdots & & \ddots & \\ 2A_n & & & A_0 \end{pmatrix} + \begin{pmatrix} B & & \\ & -B & \\ & & \ddots & \\ & & & -B \end{pmatrix}$$ が $M_{n+1}(M_p)$ 内で正であるという条件によって特徴づけられる。
• この結果は、$\mathcal{S}_n$ がCuntz等長作用素の普遍的性質を引き継ぎ、任意の2つの同様の系がユニタリ完全順序同型であることを示唆する。これは、Cuntz代数 $\mathcal{O}_n$ の一意性の新たな証明に繋がる可能性がある。
• この構成は、$\mathcal{O}_n$ をその作用素系 $\mathcal{S}_n$ を通じて研究するための新たな枠組みを提供し、弱期待値性質を有する $C^*$-代数クラスの新たな特徴づけを可能にする可能性がある。
• 証明は、$\|T\| \leq 1$ であることと、ブロック行列 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix}$ が正であることの同値性に依拠しており、この性質を用いて $\mathcal{E}_n$ の $\mathcal{S}_n$ への写像像が行収縮を形成することを確認している。