[論文レビュー] Fiberwise KK-equivalence of continuous fields of C*-algebras

Marius Dădărlat|ArXiv.org|Nov 14, 2006

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

ひとこと要約

本稿は、有限次元のコンpaktoメトリクス空間上の連続的 $C^*$-代数のフィルターにわたる $KK$-同値性のファイバーごとの基準を確立する。空間 $X$ が有限次元でコンパクトかつメトリクスであるとき、パrametrized Kasparov群 $\mathrm{KK}_X(A,B)$ の元が可逆であるための必要十分条件は、すべてのファイバー成分が可逆であることである。この結果により、ホモロジー的技法による $K$-理論の計算が可能となり、核となる連続的 $C(X)$-代数におけるUCTの永続性結果が拡張される。

ABSTRACT

Let A and B be separable nuclear continuous C(X)-algebras over a finite dimensional compact metrizable space X. It is shown that an element $σ$ of the parametrized Kasparov group KK_X(A,B) is invertible if and only if all its fiberwise components $σ_x\in KK(A(x),B(x))$ are invertible. This criterion does not extend to infinite dimensional spaces since there exist nontrivial unital separable continuous fields over the Hilbert cube with all fibers isomorphic to the Cuntz algebra O_2. Several applications to continuous fields of Kirchberg algebras are given. It is also shown that if each fiber of a separable nuclear continuous C(X)-algebra A over a finite dimensional locally compact space X satisfies the UCT, then A satisfies the UCT.

研究の動機と目的

• 有限次元のコンパクトメトリクス空間上での分離的核となる $C(X)$-代数が $KK_X$-同値である条件を特定すること。
• パrametrized Kasparov群 $\mathrm{KK}_X(A,B)$ の可逆元を、成分のファイバーごとの可逆性によって特徴付けること。
• 有限次元の局所コンパクト空間上での、UCT-ファイバード代数を持つ連続的 $C(X)$-代数への、Universal Coefficient Theorem (UCT) の永続性性質の拡張。
• 連続的キルヒバーグ代数場の自動的自明性の必要十分条件を、$K$-理論の有限生成性仮定を除いて確立すること。
• UCTを満たすユニタリキルヒバーグ代数の分類を解決し、$\mathcal{O}_2$、$\mathcal{O}_\infty$、および $\mathcal{O}_\infty \otimes U$ が唯一のこのような代数であることを同定すること。

提案手法

• パrametrized Kasparov理論（$\mathrm{KK}_X$）を用いて、$C(X)$-代数の準同型とその可逆性を分析すること。
• ファイバー成分写像 $\sigma \mapsto \sigma_x$ を応用し、$KK_X$-可逆性をファイバーごとの $KK$-可逆性に還元すること。
• $KK_X$-理論におけるMayer-Vietoris型完全列を用いて、拡張および帰納的極限を分析すること。
• $KK$-理論における $\varprojlim^1$-系列を用いて、構造的性質が向上した $KK$-同値な $C(X)$-代数 $A^\sharp$ を構成すること。
• キルヒバーグ代数のホモトピー不変性および $KK$-半射影性を活用し、UCTを満たす部分代数の列を構成し、それらが exhaustive であることを示すこと。
• 摂動技法および帰納的極限構成を用いて、$A^\sharp$ がUCTを満たすことを示し、したがって $A$ も同様にUCTを満たすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 分離的核となる連続的 $C(X)$-代数が、有限次元のコンパクトメトリクス空間 $X$ 上に存在するとき、$\sigma \in \mathrm{KK}_X(A,B)$ が可逆である条件は何か？
• RQ2 すべてのファイバーがUCTを満たす場合、連続的 $C(X)$-代数の拡張においてUCTが保存されるか？
• RQ3 どのユニタリキルヒバーグ代数 $D$ が自動的自明性を持つ（すなわち、すべての連続的 $C(X)$-場でファイバーが $D$ であるとき、$C(X) \otimes D$ に同型である）か？
• RQ4 ファイバーごとの $KK$-可逆性基準において、$X$ の有限次元性は必須か？
• RQ5 連続的キルヒバーグ代数場の自動的自明性を特徴付ける際、$K$-理論の有限生成性条件を除くことは可能か？

主な発見

• 空間 $X$ が有限次元でコンパクトかつメトリクスであるとき、$\sigma \in \mathrm{KK}_X(A,B)$ が可逆であるための必要十分条件は、すべてのファイバー成分 $\sigma_x \in KK(A(x),B(x))$ が可逆であることである。
• すべてのファイバーがUCTを満たす場合、有限次元の局所コンパクト空間上での分離的核となる連続的 $C(X)$-代数において、UCTが保存される。
• ユニタリキルヒバーグ代数 $D$ がUCTを満たすとき、自動的自明性を持つための必要十分条件は、$D \cong \mathcal{O}_2$、$\mathcal{O}_\infty$、または $\mathcal{O}_\infty \otimes U$（$U$ を無限大型のユニタリ一様超ヒルベルト代数とする）であることである。
• 空間 $X$ の有限次元性は本質的である。ヒルベルト立方体 $Z$ 上では、すべてのファイバーが $\mathcal{O}_2$ である非自明な連続的 $C(Z)$-代数が存在する反例が存在する。
• UCTおよび有限次元性の仮定のもとで、すべてのファイバーマップ $K_*(A(x)) \to K_*(B(x))$ が全単射であれば、$A$ の $K_*$-群は $B$ の $K_*$-群と同型である。
• UCTの永続性の証明は、関手的 $KK$-同値性を用いて $KK$-同値な $C(X)$-代数 $A^\sharp$ を構成し、その後弱い半射影性を持つUCTを満たす代数を用いた帰納的極限の議論に依存する。