[论文解读] On operator algebras associated with monomial ideals in noncommuting variables

Evgenios T. A. Kakariadis, Orr Moshe Shalit|arXiv (Cornell University)|Jan 26, 2015

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

一句话总结

本文通过C*-对应关系与子积系统，对非交换变量中单项式理想的算子代数进行了完整的分类。它引入了量化动力系统框架，证明了张量代数在局部共轭（对于等距同构）或变量置换模等价（对于代数同构）意义下是完备不变量，并解决了该领域长期存在的关于C*-包络与超刚性的问题。

ABSTRACT

We study operator algebras arising from monomial ideals in the ring of polynomials in noncommuting variables, through the apparatus of subproduct systems and C*-correspondences. We provide a full comparison amongst the related operator algebras. For our analysis we isolate a partially defined dynamical system, to which we refer as the {\em quantised dynamics} of the monomial ideal. In addition we revisit several previously considered constructions. These include Matsumoto's subshift C*-algebras, as well as the tensor and the Pimsner algebras associated with dynamical systems or graphs. We sort out the various relations by giving concrete conditions and counterexamples that orientate the operator algebras of our context. It appears that the boundary C*-algebras do not arise as the quotient with the compact operators unconditionally. We establish a dichotomy to this effect by examining the resulting tensor algebras. We identify their boundary representations, we analyse their C*-envelopes, and we give criteria for hyperrigidity. Moreover we completely classify them in terms of the data provided by the monomial ideals. For tensor algebras of C*-correspondences and bounded isomorphisms this is achieved up to the level of local conjugacy (in the sense of Davidson and Roydor) for the quantised dynamics. For tensor algebras of subproduct systems and algebraic isomorphisms this is achieved up to the level of equality of monomial ideals modulo permutations of the variables. In the process we accomplish more in different directions. Most notably we show that tensor algebras form a complete invariant for isomorphic (resp. similar) subproduct systems of homogeneous ideals up to isometric (resp. bounded) isomorphisms. The results on local conjugacy are obtained via an alternative proof of the breakthrough result of Davidson and Katsoulis on piecewise conjugate systems. For our purposes we use appropriate compressions of the Fock representation. We then apply this alternative proof locally for the partially defined quantised dynamics. In this way we avoid the topological graphs machinery and pave the way for further applications. These include operator algebras of dynamical systems over commuting contractions or over row commuting contractions.

研究动机与目标

• 通过C*-对应关系与子积系统，对非交换变量中单项式理想生成的算子代数进行分类。
• 厘清边界C*-代数、紧算子与商映射在此上下文中的关系。
• 建立超刚性的判别准则，并识别相关张量代数的边界表示。
• 通过具体条件与反例，澄清现有构造中的模糊之处。
• 通过避免拓扑图的替代证明，将理论扩展至可交换与行可交换压缩的动力系统。

提出的方法

• 利用Fock表示及其压缩来分析张量代数及其表示的结构。
• 引入一种部分定义的动力系统，称为单项式理想的量化动力系统，以建模相关子移位中允许的字串。
• 应用C*-对应理论，通过直和与拓扑图构造来构建并分析相关C*-代数。
• 利用张量代数之间的等距同构与有界同构，定义局部共轭与分段共轭关系。
• 重新审视并重新证明Davidson-Katsoulis关于分段共轭系统的结论，通过Fock表示压缩实现，避免使用拓扑图。
• 确立子积系统张量代数在等距（相应地，有界）同构意义下为完备不变量，对应于局部共轭（相应地，变量置换模等价）。

实验结果

研究问题

• RQ1 在何种条件下，张量代数的边界C*-代数是其关于紧算子的商？
• RQ2 何时两个与单项式理想相关的张量代数是等距同构的？哪些不变量对它们进行分类？
• RQ3 张量代数的C*-包络与超刚性之间的确切关系为何？
• RQ4 子积系统与C*-对应构造在分类这些算子代数时如何比较？
• RQ5 局部共轭理论能否推广至可交换或行可交换压缩的动力系统？

主要发现

• 与单项式理想相关的张量代数的边界C*-代数不总是紧算子的商，且基于理想结构建立了二分法。
• 子积系统张量代数在等距（相应地，有界）同构意义下是完备不变量，对应于系统之间的局部共轭（相应地，变量置换模等价），分类通过局部共轭或模变量置换等价实现。
• 张量代数的C*-包络完全由单项式理想的参数表征，而超刚性由理想上的特定结构条件决定。
• 通过Fock表示压缩，获得了Davidson-Katsoulis定理关于分段共轭系统的替代证明，避免使用拓扑图，并支持理论推广。
• 对于可交换或行可交换压缩的动力系统，其关联的泛算子代数的代数同构蕴含分段共轭，且所有情况下均自动满足连续性。
• 特征空间的最大解析集在半交叉积构造中为多圆盘，从而可将同构不变量传递至动力系统。