[論文レビュー] C*-Algebras over Topological Spaces: The Bootstrap Class

Ralf Meyer, Ryszard Nest|arXiv (Cornell University)|Dec 10, 2007

Advanced Operator Algebra Research参考文献 14被引用数 50

ひとこと要約

この論文は、有限位相空間上のC*-代数のためのブートストラップクラスを導入し、KK理論における古典的ブートストラップクラスの一般化を研究している。核となるC*-代数が有限空間上に存在するとき、その各点におけるファイバーが古典的ブートストラップクラスに属するならば、そのC*-代数がブートストラップクラスに属することを確立しており、純粋に無限大で安定かつ核となるC*-代数の分類を用いて、KK(X;A,B)の計算におけるユニバーサル係数定理の確立を可能にしている。

ABSTRACT

We carefully define and study C*-algebras over topological spaces, possibly non-Hausdorff, and review some relevant results from point-set topology along the way. We explain the triangulated category structure on the bivariant Kasparov theory over a topological space. We introduce and describe an analogue of the bootstrap class for C*-algebras over a finite topological space.

研究の動機と目的

• 一般の位相空間（ハウスドルフ的でないものや有限のものも含む）上のC*-代数を、原始的理想空間と連続写像を用いて定義し、研究すること。
• 双変Kasparov理論を位相空間上のC*-代数へと拡張し、三角化された圏構造を確立すること。
• 有限位相空間の文脈において、X-等変ブートストラップクラスを定義し、C*-代数の古典的ブートストラップクラスの一般化を行うこと。
• 有限空間上のC*-代数がブートストラップクラスに属するための基準を提示すること、特に核的かつ純粋に無限大の代数について。
• 等変KK理論におけるユニバーサル係数定理の基礎を築くことにより、分類プログラムを支援すること。

提案手法

• 位相空間X上のC*-代数を、C*-代数Aと連続写像ψ: Prim(A) → Xのペア(A, ψ)として定義する。
• 開集合の族O(X)とO(Prim(A))を用いて連続写像を特徴づけ、特にスオーブ空間およびアレクサンドロフ空間の文脈で考察する。
• スuspension、cone、拡張を用いて、Kasparov圏KK(X)における三角化された圏構造を構成する。
• X-等変ブートストラップクラスB(X)を、x ∈ Xに対し基本的対象(C, x)が生成する局所化部分圏として定義する。
• B(X)への属するための必要十分条件として、B(X)内に属する対象が、すべてのファイバーが古典的ブートストラップクラスに属する、タイトで分離可能かつ核的で、純粋に無限大かつC*-安定なX上C*-代数とKK(X)-同値であることを確立する。
• Kirchbergの分類結果を用いて、このような代表元がX-等変*-同型を除いて一意的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 位相空間X上のC*-代数のためのブートストラップクラスの正しい一般化は何か、特にXが有限のときには？
• RQ2 X上のブートストラップクラスは、C*-代数の古典的ブートストラップクラスとどのように関係しているか？
• RQ3 有限位相空間上のC*-代数が、KK(X)-同値である条件は何か、特に純粋に無限大で安定かつ核的なC*-代数に？
• RQ4 有限位相空間上のC*-代数の文脈で、ユニバーサル係数定理を確立できるか？
• RQ5 X上のC*-代数のファイバーは、そのブートストラップクラスへの属する条件とどのように関係しているか？

主な発見

• 分離可能なC*-代数(A, ψ)が有限位相空間X上に存在するとき、B(X)に属するための必要十分条件は、その各ファイバーAxが古典的ブートストラップクラスBに属することである。
• 核的なC*-代数がX上に存在するとき、B(X)に属するための必要十分条件は、すべてのファイバーAxが核的C*-代数とKK同値であることである。
• B(X)の任意の対象は、KK(X)-同値である、タイトで分離可能かつ核的で、純粋に無限大かつC*-安定なX上C*-代数に同値である。
• Kirchbergの分類定理により、このような代表元はX-等変*-同型を除いて一意的である。
• ブートストラップクラスB(X)が、X上での可換C*-代数のKK(X)-圏と同値であるための必要十分条件は、B(X)のすべての対象がX-等変C*-安定で、型IのC*-代数とKK(X)-同値であることである。
• 有限Xに対して、KK(X;A,B)におけるユニバーサル係数定理は、ブートストラップクラスB(X)上でのみ成立すると期待される。この定理は、フィルトレートK理論による分類への応用を支援する。