[论文解读] 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^*$-代数的纯原子表示与换位表示的理论。它确立了纯原子表示的酉等价准则，通过投影值测度刻画了不可约性，并证明了在非周期轨道上支持的纯原子表示可分解为具有单射编码映射的换位表示的直和——将 Cuntz 代数中的结果推广到了高阶情形。

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^*$-代数建立纯原子表示的完整理论。
• 刻画两个纯原子表示何时酉等价。
• 利用其关联的投影值测度，确定纯原子表示不可约的必要与充分条件。
• 阐明在 $k$-图背景下，纯原子表示、单射表示与换位表示之间的关系。
• 确立纯原子表示可分解为换位表示直和的条件。

提出的方法

• 本文使用与 $C^*(\Lambda)$ 的每个表示 $\pi$ 相关的无限路径空间 $\Lambda^\infty$ 上的投影值测度 $P$，以编码表示的谱结构。
• 通过投影值测度 $P$ 的支集刻画纯原子表示，重点关注在无限路径的可数集上支持的表示。
• 通过构造以路径及其移位为指标的正交基，分析换位表示的结构，利用移位映射 $\sigma^j$ 在无限路径上的作用。
• 定义从正交基到无限路径的编码映射 $E: I \to \Lambda^\infty$，并证明当 $E$ 在子空间上单射时，表示具有换位结构。
• 通过将 $P$ 的支集分解为非周期路径的轨道，实现表示的分解，利用 $k$-图中因子分解的唯一性。
• 分解的证明依赖于为每个循环子空间 $\mathcal{H}_\ell$ 构造正交基 $\{e_{\gamma,\ell}\}$，其中 $\ell \in \mathcal{J}$，并证明 $\mathcal{H} = \bigoplus_{\ell \in \mathcal{J}} \mathcal{H}_\ell$。

实验结果

研究问题

• RQ1 何时两个高阶图 $C^*$-代数的纯原子表示是酉等价的？
• RQ2 投影值测度的何种条件可确保纯原子表示不可约？
• RQ3 在 $k$-图设定下，纯原子表示如何与单射表示和换位表示相关联？
• 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}\}$，证实该表示酉等价于具有单射编码的换位表示。