[論文レビュー] 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*-代数、コンパクト作用素、および商の役割との関係を明確にすること。
• 関連するテンソル代数の超剛性のための基準を確立し、境界表現を同定すること。
• 具体的な条件と反例を提供することで、既存の構成における曖昧さを解消すること。
• トポロジカルグラフを避ける代替的証明を用いて、可換および行可換収縮に関する力学系へ理論を拡張すること。

提案手法

• フォック表現およびその圧縮を用いて、テンソル代数の構造とその表現を分析する。
• 部分的に定義された力学系、すなわち単項イデアルの量子化された力学系を導入し、関連する部分シフトにおける許容される語のモデル化を行う。
• C*-対応の理論を適用して、直和およびトポロジカルグラフの構成を用いて関連するC*-代数を構成・分析する。
• テンソル代数間の等長的および有界同型を用いて、局所的同型および局所的同型関係（ピecewise conjugacy）を定義する。
• トポロジカルグラフを回避する形で、フォック表現の圧縮を用いてダヴィッドソン＝カツォリスの結果（局所的同型の系）を再考・再証明する。
• 部分積系のテンソル代数が、等長的（それぞれ）同型（局所的同型）または有界同型（変数の置換による等価性）に関して完全不変量であることが示され、局所的同型または変数の置換による等価性を用いた分類が達成される。

実験結果

リサーチクエスチョン

• RQ1 境界C*-代数が、コンパクト作用素による商として生じる条件は何か？
• RQ2 2つのテンソル代数が単項イデアルに関連して等長的同型であるための条件は何か？ また、それらを分類する不変量は何か？
• RQ3 単項イデアルから生じるテンソル代数のC*-包絡と超剛性との正確な関係は何か？
• RQ4 部分積系とC*-対応の構成は、これらの作用素代数を分類する上でどのように比較されるか？
• RQ5 局所的同型の理論は、可換または行可換収縮に関する力学系へ拡張可能か？

主な発見

• 単項イデアルに関連するテンソル代数の境界C*-代数は、常にコンパクト作用素による商であるとは限らず、イデアルの構造に基づく二分法が確立される。
• 部分積系のテンソル代数は、等長的（それぞれ）同型（局所的同型）または有界同型（変数の置換による等価性）に関して、同型（それぞれ）または類似の系の完全不変量である。分類は局所的同型または変数の置換による等価性を用いて達成される。
• テンソル代数のC*-包絡は、単項イデアルのデータに基づいて完全に特徴づけられ、超剛性はイデアルの特定の構造的条件によって決定される。
• フォック表現の圧縮を用いた代替的証明により、ダヴィッドソン＝カツォリスの定理（局所的同型の系）が再証明され、トポロジカルグラフを回避し、一般化が可能になる。
• 可換または行可換収縮に関する力学系において、関連する普遍作用素代数の代数的同型は、自動的に局所的同型を意味する。すべての場合で連続性が保証される。
• 特性空間の最大解析的集合は、半交差積構成において多円板である。これにより、同型不変量を力学系へ移すことが可能になる。