[论文解读] Dilation Theory for Rank 2 Graph Algebras

Kenneth R. Davidson, S. C. Power+1 more|ArXiv.org|May 31, 2007

Algebraic structures and combinatorial models被引用 16

一句话总结

本文为与酉交换关系相关的秩2图C*-代数发展了扩张理论，证明了每个无缺陷的行有界表示均可唯一地扩张为一个*-表示。本文提供了Solel行等距扩张定理的新且简化的证明，并将泛代数$\mathcal{A}_u$的C*-包络识别为与乘积系统$X_u$相关的广义Cuntz代数$\mathcal{O}_{X_u}$，同时表明有界表示不一定是完全有界的，且泛张量代数$\mathcal{T}_+(X_u)$并不总是等距同构于$\mathcal{A}_u$。这些结果为高秩图C*-代数及其非自伴对应代数奠定了基础结构。

ABSTRACT

An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_θ$ and $\A_u$ which are associated with the commutation relation permutation $θ$ of a 2 graph and, more generally, with commutation relations determined by a unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free row contractive representation has a unique minimal dilation to a $*$-representation and we provide a new simpler proof of Solel's row isometric dilation of two $u$-commuting row contractions. Furthermore it is shown that the C*-envelope of $\A_u$ is the generalised Cuntz algebra $Ø_{X_u}$ for the product system $X_u$ of $u$; that for $m\geq 2 $ and $n \geq 2 $ contractive representations of $\Ath$ need not be completely contractive; and that the universal tensor algebra $\T_+(X_u)$ need not be isometrically isomorphic to $\A_u$.

研究动机与目标

• 为与秩2单顶点图相关的非自伴代数$\mathcal{A}_\theta$和$\mathcal{A}_u$发展扩张理论。
• 建立无缺陷行有界表示的最小*-扩张的存在性与唯一性。
• 将与酉交换矩阵$u$相关的泛代数$\mathcal{A}_u$的C*-包络识别为与乘积系统$X_u$相关的广义Cuntz代数$\mathcal{O}_{X_u}$。
• 澄清泛张量代数$\mathcal{T}_+(X_u)$与图代数$\mathcal{A}_u$之间的关系，表明二者并不总是等距同构。
• 为$u$-交换行有界算子的Solel行等距扩张定理提供一种新且更简化的证明方法。

提出的方法

• 以Frahzo-Bunce-Popescu行有界算子扩张理论作为基础方法。
• 应用最小扩张的唯一性，证明无缺陷表示的*-扩张的唯一性。
• 采用原子*-表示——即生成元作用为置换或酉标量倍数下的标准正交基的偏等距算子——作为结构分析的关键工具。
• 通过在自由半群$\mathbb{F}_u^+$中使用度数匹配的词，将表示扩展到循环共不变子空间，从而构造最小*-扩张。
• 利用相同度数下不同词的像空间之间的正交性，以在扩张映射下保持内积。
• 应用Kumjian-Pask非周期性条件与半群结构，刻画C*-代数$\mathrm{C}^*(\mathbb{F}_\theta^+)$。

实验结果

研究问题

• RQ1 每个$\mathcal{A}_u$的无缺陷行有界表示是否都可唯一地扩张为$\mathrm{C}^*(\mathbb{F}_u^+)$上的*-表示？
• RQ2 与酉交换矩阵$u$相关的泛代数$\mathcal{A}_u$的C*-包络是什么？
• RQ3 当$m, n \geq 2$时，$\mathcal{A}_\theta$的所有有界表示是否都必然是完全有界的？
• RQ4 $\mathcal{T}_+(X_u)$是否总是与图代数$\mathcal{A}_u$等距同构？
• RQ5 是否能通过更简单直接的方法重新证明Solel关于$u$-交换行有界算子的行等距扩张定理？

主要发现

• 每个$\mathcal{A}_u$的无缺陷行有界表示均可唯一地扩张为$\mathrm{C}^*(\mathbb{F}_u^+)$上的*-表示。
• $\mathcal{A}_u$的C*-包络被识别为广义Cuntz代数$\mathcal{O}_{X_u}$，其中$X_u$是与酉矩阵$u$相关的乘积系统。
• 当$m \geq 2$且$n \geq 2$时，存在$\mathcal{A}_\theta$的有界表示不是完全有界的。
• 一般情况下，泛张量代数$\mathcal{T}_+(X_u)$并不与$\mathcal{A}_u$等距同构。
• 本文利用最小扩张的唯一性与Frahzo-Bunce-Popescu理论，为Solel的行等距扩张定理提供了新且简化的证明。
• 原子无缺陷表示的最小*-扩张仍保持原子性，从而保留了原始表示的结构特性。