[論文レビュー] A universal property for the Jiang-Su algebra

Marius Dădărlat, Andrew S. Toms|ArXiv.org|Jul 27, 2007

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

ひとこと要約

本稿では、任意の単位的完備なC*-代数の無限テンソル積が、キャラクターを持たない単位的部分同型的C*-代数を含む場合にかつその場合に限り、江＝蘇代数 𝒵 をテンソル積的に吸収するという、𝒵 に対する普遍的性質を確立する。この特徴づけは、広いC*-代数のカテゴリーにおいて 𝒵 に普遍的な性質をもたらし、強い自己吸収的ASH代数が 𝒵-安定的であること、したがってK理論とトレーシング単体によって一意に分類可能であることを示し、特徴づけが完成する。

ABSTRACT

We prove that the infinite tensor power of a unital separable C*-algebra absorbs the Jiang-Su algebra Z tensorially if and only if it contains, unitally, a subhomogeneous algebra without characters. This yields a succinct universal property for Z in a category so large that there are no unital separable C*-algebras without characters known to lie outside it. This category moreover contains the vast majority of our stock-in-trade separable amenable C*-algebras, and is closed under passage to separable superalgebras and quotients, and hence to unital tensor products, unital direct limits, and crossed products by countable discrete groups. One consequence of our main result is that strongly self-absorbing ASH algebras are Z-stable, and therefore satisfy the hypotheses of a recent classification theorem of W. Winter. One concludes that Z is the only projectionless strongly self-absorbing ASH algebra, completing the classification of strongly self-absorbing ASH algebras.

研究の動機と目的

• 単位的完備なC*-代数の広いカテゴリーにおいて、江＝蘇代数 𝒵 に対する普遍的性質を確立すること。
• 長年の未解決問題であった、𝒵 の構造的特徴づけの欠如を解消し、無限テンソル積が 𝒵 を吸収する条件を同定すること。
• 強い自己吸収的ASH代数が 𝒵-安定的であることを示し、ウィンターの最近の定理により分類可能であることを可能にすること。
• 普遍的性質を満たすC*-代数のクラスが、テンソル積、直和極限、商、および交叉積に関して閉じていることを示すこと。
• 遅い次元成長を示すRSH代数の帰納的極限における 𝒵-安定性を示すフレームワークを提供すること。

提案手法

• 𝒜^⊗∞ がキャラクターを持たない単位的部分同型的C*-代数を含む場合に、𝒜^⊗∞ ⊗ 𝒵 ≅ 𝒜^⊗∞ であることを証明すること。
• 素数次元ドロップ代数 𝒫_{p,q} から連続関数上の行列代数への単位的*-準同型写像の空間のフィルトレーションを用いること。
• トムの横断的定理を用いて、写像をフィルトレーションの滑らかな層に摂動し、準同型写像空間の路連結性を保証すること。
• 半連続的フィールドの表現に対する連続的選択の議論を用いて、近似的に中心化する列を構成すること。
• カスパロフのKK理論を用いて表現空間のホモトピー群を解析し、低次元で消失することを確立すること。
• 得られた路連結性を用いて、𝒫_{p,q} から 𝒜^⊗∞ への単位的*-準同型写像を構成し、𝒫_{p,q} の帰納的極限として 𝒵 が特徴づけられることから、𝒵-安定性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 単位的完備なC*-代数 𝒜 の無限テンソル積 𝒜^⊗∞ が、キャラクターを持たない単位的部分同型的C*-代数を含む場合にかつその場合に限り、江＝蘇代数 𝒵 をテンソル積的に吸収するか？
• RQ2 多くの既知の可解的完備C*-代数を含む十分広いカテゴリーにおいて、江＝蘇代数 𝒵 は普遍的性質によって特徴づけられるか？
• RQ3 すべての強い自己吸収的ASH代数は 𝒵-安定的か？ もしそうならば、そのことは射影子のない場合の一意性を示唆するか？
• RQ4 普遍的性質を用いて、遅い次元成長を示すRSH代数の帰納的極限における 𝒵-安定性を示せるか？
• RQ5 素数次元ドロップ代数 𝒫_{p,q} は、準同型写像空間を通じた 𝒵-安定性の特徴づけにおいて果たす役割は何か？

主な発見

• 単位的完備なC*-代数 𝒜 の無限テンソル積 𝒜^⊗∞ が、キャラクターを持たない単位的部分同型的C*-代数を含む場合にかつその場合に限り、江＝蘇代数 𝒵 をテンソル積的に吸収する。
• 江＝蘇代数 𝒵 は、その無限テンソル積がキャラクターを持たない部分同型的代数を含むすべての単位的完備C*-代数のカテゴリーにおいて普遍的性質を満たす。
• すべての強い自己吸収的ASH代数は 𝒵-安定的であり、したがってK理論とトレーシング単体によって完全に分類可能であり、𝒵 はそのような射影子のない代数において一意に存在する。
• 普遍的性質を満たすC*-代数のクラスは、完備な超代数、商、単位的テンソル積、単位的直和極限、および可算離散群による交叉積に関して閉じている。
• k が dim(X) に対して十分に大きいとき、素数次元ドロップ代数 𝒫_{p,q} から M_k(C(X)) への単位的*-準同型写像の空間は路連結である。これは、主定理を可能にする重要な技術的結果である。
• この結果により、遅い次元成長を示すRSH代数の帰納的極限が、すべての互いに素な p,q > 1 に対して 𝒫_{p,q} から単位的*-準同型写像を含む場合、𝒵-安定的であることが示される。