[论文解读] Operator algebras associated with unitary commutation relations

S. C. Power, Baruch Solel|ArXiv.org|Apr 2, 2007

Advanced Operator Algebra Research参考文献 10被引用 8

一句话总结

本文引入并分类了由满足由 $ nm \times nm $ 单位矩阵 $ u $ 定义的酉交换关系的创生算子生成的非自伴算子代数。研究证明，代数 $ \mathcal{A}_u $ 和 $ \mathcal{L}_u $ 的同构类型完全由酉矩阵 $ u $ 决定，其等距同构分类取决于乘积酉等价性或其变体（当 $ n = m $ 时），揭示了 $ 2 \times 2 $ 酉矩阵存在不可数无穷多个同构类。

ABSTRACT

We define nonselfadjoint operator algebras with generators $L_{e_1},..., L_{e_n}, L_{f_1},...,L_{f_m}$ subject to the unitary commutation relations of the form \[ L_{e_i}L_{f_j} = \sum_{k,l} u_{i,j,k,l} L_{f_l}L_{e_k}\] where $u= (u_{i,j,k,l})$ is an $nm imes nm$ unitary matrix. These algebras, which generalise the analytic Toeplitz algebras of rank 2 graphs with a single vertex, are classified up to isometric isomorphism in terms of the matrix $u$.

研究动机与目标

• 定义并研究由满足酉交换关系的创生算子生成的非自伴算子代数 $ \mathcal{A}_u $ 和 $ \mathcal{L}_u $。
• 根据底层酉矩阵 $ u $，对这些算子代数在等距同构意义下进行分类。
• 将解析托普利茨代数和自由半群代数的理论推广至一类具有结构化交换关系的更广泛的非交换算子代数。
• 通过酉等价性，建立这些代数与 $ C^* $-对应上的张量代数 $ \mathcal{T}_+(X) $ 之间的联系。

提出的方法

• 将代数 $ \mathcal{A}_u $ 和 $ \mathcal{L}_u $ 定义为在 $ \mathbb{Z}_+^2 $-分次福克空间上由左创生算子生成的算子代数，其关系由 $ M_{nm}(\mathbb{C}) $ 中的酉矩阵 $ u $ 编码，其中 $ \mathcal{A}_u $ 为范数闭包，$ \mathcal{L}_u $ 为弱算子拓扑闭包。
• 刻画 $ \mathcal{A}_u $ 的特征空间 $ M(\mathcal{A}_u) $ 以及 $ \mathcal{L}_u $ 上的 w*-连续特征，将其识别为 $ \overline{\mathbb{B}}_n \times \overline{\mathbb{B}}_m $ 中的一个代数簇 $ V_u $。
• 引入核心 $ \Omega_u^0 $，即特征空间中最小的自同构不变子集，并利用它证明一般同构必为分次同构。
• 利用 Voiculescu 对 Cuntz 代数 $ \mathcal{O}_n $ 上的 $ U(1,n) $ 作用，构造显式的酉自同构 $ \Theta_\alpha $，使其在特征空间内部作用传递。
• 通过酉算子 $ w $ 和 $ v_k $ 实现自同构的酉实现，证明 $ \mathcal{A}_u $ 与张量代数 $ \mathcal{T}_+(X) $ 的子代数酉同构。
• 证明 $ \mathcal{A}_u $ 嵌入于 $ \mathcal{T}_+(X) $，且 $ \mathcal{A}_u $ 的自同构可延拓为 $ \mathcal{T}_+(X) $ 上的自同构，尤其在 $ n \neq m $ 时成立。

实验结果

研究问题

• RQ1 当两个算子代数 $ \mathcal{A}_u $ 和 $ \mathcal{A}_v $ 分别由酉矩阵 $ u $ 和 $ v $ 生成时，它们在何时是等距同构的？
• RQ2 酉矩阵 $ u $ 的结构如何决定代数 $ \mathcal{A}_u $ 的同构类？
• RQ3 能否将 $ \mathcal{A}_u $ 的自同构延拓为包含它的更大张量代数 $ \mathcal{T}_+(X) $ 上的自同构？
• RQ4 核心 $ \Omega_u^0 $ 在刻画同构与分次不变性中起什么作用？
• RQ5 当 $ n = m $ 与 $ n \neq m $ 时，分类结果有何不同？

主要发现

• 代数 $ \mathcal{A}_u $ 和 $ \mathcal{L}_u $ 在等距同构意义下由酉矩阵 $ u $ 完全分类，当 $ n \neq m $ 时，同构类型由乘积酉等价性 $ u \sim A \otimes B \cdot v \cdot (A \otimes B)^* $ 决定。
• 当 $ n = m $ 时，通过转置共轭关系 $ \tilde{v}_{i,j,k,l} = \overline{v}_{l,k,j,i} $ 产生额外的同构类，允许生成元互换的同构。
• 对于 $ 2 \times 2 $ 酉矩阵，$ \mathcal{A}_u $ 存在不可数无穷多个同构类，其参数化由九维实参数空间给出，与排列矩阵情况下的有限 9 个类形成鲜明对比。
• 核心 $ \Omega_u^0 $ 是一个最小的自同构不变子集，其上自同构作用传递，从而支持证明一般同构必为分次同构。
• 代数 $ \mathcal{A}_u $ 与张量代数 $ \mathcal{T}_+(X) $ 的一个范数闭子代数酉同构，其中 $ X $ 是 $ \mathcal{E}_n $ 上的 $ C^* $-对应。
• 如 $ \Theta_\alpha $ 和 $ \Psi_{A,B} $ 所诱导的 $ \mathcal{A}_u $ 的自同构可通过酉算子实现，并可延拓为 $ \mathcal{T}_+(X) $ 上的自同构，尤其在 $ n \neq m $ 时成立。