[論文レビュー] Purely atomic representations of higher-rank graph C*-algebras

Carla Farsi, Elizabeth Gillaspy+3 more|arXiv (Cornell University)|Jun 10, 2018

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

ひとこと要約

本稿は、行有限かつソースフリーな高ランクグラフの $C^*$-代数における純粋原子的および並べ替え的表現の理論を展開する。純粋原子的表現のユニタリ同値性の基準を確立し、射影値測度を用いた既約性の特徴づけを行い、非周期的軌道に台を持つ純粋原子的表現が、単射符号化写像をもつ並べ替え的表現の直和に分解されることを証明する——これはクンツ代数の結果を高ランク設定へと拡張するものである。

ABSTRACT

We study purely atomic representations of C*-algebras associated to row-finite and source-free higher-rank graphs. We describe when purely atomic representations are unitarily equivalent and we give necessary and sufficient conditions for a purely atomic representation to be irreducible in terms of the associated projection valued measure. We also investigate the relationship between purely atomic representations, monic representations and permutative representations, and we describe when a purely atomic representation admits a decomposition consisting of permutative representations.

研究の動機と目的

• 行有限かつソースフリーな高ランクグラフの $C^*$-代数における純粋原子的表現の包括的な理論を構築すること。
• 二つの純粋原子的表現がいつユニタリ同値であるかを特定すること。
• 関連する射影値測度を用いて、純粋原子的表現が既約であるための必要十分条件を同定すること。
• 高ランクグラフの文脈において、純粋原子的、モノイド的、並べ替え的表現の関係を明確化すること。
• 純粋原子的表現が直和として並べ替え的表現に分解されるための条件を確立すること。

提案手法

• 本稿では、$C^*(\Lambda)$ の各表現 $\pi$ に関連する無限路空間 $\Lambda^\infty$ 上の射影値測度 $P$ を用い、表現のスペクトル構造を符号化する。
• 純粋原子的表現は、射影値測度 $P$ の台を用いて特徴づけられ、特に可算個の無限路の集合に台を持つ表現に注目する。
• 著者らは、無限路へのシフト写像 $\sigma^j$ の作用を用いて、並べ替え的表現の構造を解析し、パスとそのシフトをインデックスとする正規直交基底を構成する。
• 正規直交基底から無限路への符号化写像 $E: I \to \Lambda^\infty$ を定義し、$E$ が部分空間上で単射であることから並べ替え的構造が導かれる。
• 表現の分解は、非周期的路の軌道に沿って $P$ の台を分解することにより達成され、$k$-グラフにおける因数分解の一意性を活用する。
• 分解の証明は、各循環部分空間 $\mathcal{H}_\ell$（$\ell \in \mathcal{J}$）に対して正規直交基底 $\{e_{\gamma,\ell}\}$ を構成し、$\mathcal{H} = \bigoplus_{\ell \in \mathcal{J}} \mathcal{H}_\ell$ が成り立つことを示すことにより行われる。

実験結果

リサーチクエスチョン

• RQ1 高ランクグラフ $C^*$-代数の二つの純粋原子的表現がいつユニタリ同値であるか？
• RQ2 射影値測度がどのような条件下で純粋原子的表現を既約にするか？
• RQ3 高ランクグラフの文脈において、純粋原子的表現はモノイド的および並べ替え的表現とどのように関係するか？
• RQ4 純粋原子的表現が直和として並べ替え的表現に分解されるための条件は何か？
• RQ5 非周期的路の単一の軌道に台を持つ純粋原子的表現が、単射符号化写像をもつ並べ替え的表現となるのはいつか？

主な発見

• 二つの $C^*(\Lambda)$ の純粋原子的表現がユニタリ同値であるための必要十分条件は、それらが $\Lambda^\infty$ 上で同値な射影値測度を持つことである。
• 純粋原子的表現が既約であるための必要十分条件は、その射影値測度が非周期的路の単一の軌道に台を持つことである。
• 非周期的路の単一の軌道に台を持つすべての純粋原子的表現は、並べ替え的であり、単射符号化写像をもつ並べ替え的表現の直和に分解可能である。
• 純粋原子的表現の並べ替え的成分への分解は、非周期的路 $\omega$ の軌道構造およびシフト作用 $\sigma^j(\omega)$ を用いて正規直交基底をインデックス化することにより達成される。
• 符号化写像 $E: I \to \Lambda^\infty$ は、各循環部分空間 $\mathcal{H}_\ell$ に制限すると単射であり、これが表現の並べ替え的構造を保証する。
• $t_a t^*_{\omega(0,j)} e_{\omega,\ell}$ を用いた正規直交基底 $\{e_{\gamma,\ell}\}$ の構成により、表現が単射符号化写像をもつ並べ替え的表現とユニタリ同値であることが確認される。