[論文レビュー] Controlled KK-theory, and a Milnor exact sequence

Rufus Willett, Guoliang Yu|arXiv (Cornell University)|Nov 22, 2020

Advanced Operator Algebra Research参考文献 24被引用数 5

ひとこと要約

本稿は、分離可能なC*-代数AとBに対して、与えられた誤差εまでに有限部分集合Aに近似的に可換する乗法的代数内の射影の道成分として定義される制御付きKK理論群を導入する。主な結果として、これらの制御付き群とカスパロフのKK理論を結ぶミルナー完全列が確立され、ローダムのKL群が制御付きKK理論群の逆極限として特定される。これにより、UCTおよび核となるC*-代数への応用が今後の研究で期待される。

ABSTRACT

We introduce controlled $KK$-theory groups associated to a pair $(A,B)$ of separable $C^*$-algebras. Roughly, these consist of elements of the usual $K$-theory group $K_0(B)$ that approximately commute with elements of $A$. Our main results show that these groups are related to Kasparov's $KK$-groups by a Milnor exact sequence, in such a way that Rørdam's $KL$-group is identified with an inverse limit of our controlled $KK$-groups. In the case that the $C^*$-algebras involved satisfy the UCT, our Milnor exact sequence agrees with the Milnor sequence associated to a $KK$-filtration in the sense of Schochet, although our results are independent of the UCT. Applications to the UCT will be pursued in subsequent work.

研究の動機と目的

• 演算子の可換性に対する制御を組み込んだ新しいKK理論の枠組みを構築し、C*-代数論におけるより柔軟な計算を可能にする。
• 制御付きKK理論群と標準KK理論を結ぶミルナー型完全列を確立し、UCTに依存せずに既知の結果を一般化する。
• ローダムのKL群を制御付きKK理論群の逆極限として特定し、この不変量の新たな解釈を提供する。
• 制御付きK理論的技法を用いたUCTおよび核となるC*-代数の分類への今後の応用の基盤を築く。
• ユニタリに吸収する表現とインターウェーブィングの議論を通じて、制御付きKK理論構成の表現に依存しない性質を保証する。

提案手法

• 有限部分集合$X \subset A$に対して、$M_2(M(B\otimes\mathcal{K}))$内の射影で、$\epsilon$-可換となるものの道成分として、制御付きKK理論群$KK_\epsilon(X,B)$を定義する。
• 減少する誤差パラメータ$(\epsilon_n) \to 0$と入れ子になった有限部分集合の列$(X_n)$を用い、逆極限$\varprojlim KK_{\epsilon_n}(X_n,B)$および$\varprojlim^1 KK_{\epsilon_n}(X_n,SB)$を構成する。
• ミルナー完全列を構成する：$0 \to \varprojlim^1 KK_{\epsilon_n}(X_n,SB) \to KK(A,B) \to \varprojlim KK_{\epsilon_n}(X_n,B) \to 0$。
• ユニタリに吸収する表現を用いて、$KL(A,B)$と制御付きKK理論群の逆極限との同型を確立する。
• 補題A.15に現れるユニタリインターウェーブィング技術を用いて、制御付きKK理論構成の表現に依存しない性質を証明する。
• 共等射空間の道連結性とユニタリホモトピーを用い、制御付きKK理論におけるあるクラスが標準的射影に同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 カスパロフのKK理論は、演算子の可換性に対する制御を用いてどのように洗練され、より柔軟な計算が可能になるか？
• RQ2 ミルナー型完全列を通じて、制御付きKK理論群と古典的KK理論群の正確な関係は何か？
• RQ3 制御付きKK理論群の逆極限とローダムのKL群の関係は何か？ そして、これによりKL群の新たな特徴づけが可能か？
• RQ4 制御付きKK理論フレームワークは、特にユニタリに吸収する表現の選択に依存しないようにできるか？
• RQ5 ミルナー列における$\varprojlim^1$群の役割は何か？ また、$KK(A,B)$におけるゼロの閉包$\overline{\{0\}}$とどのように関係するか？

主な発見

• 制御付きKK理論群$KK_\epsilon(X,B)$は、有限部分集合$X \subset A$と$\epsilon$-可換となる$K_0(B)$の部分に同型である。
• ミルナー完全列$0 \to \varprojlim^1 KK_{\epsilon_n}(X_n,SB) \to KK(A,B) \to \varprojlim KK_{\epsilon_n}(X_n,B) \to 0$は、ユニタリ核となる$A$に対して成り立ち、制御付きKK理論と標準KK理論を結ぶ。
• ローダムの$KL$群は、自然同型で逆極限$\varprojlim KK_{\epsilon_n}(X_n,B)$に同型であり、この不変量の新たな解釈を提供する。
• ミルナー列における$\varprojlim^1$群は、$KK(A,B)$におけるゼロの閉包$\overline{\{0\}}$に同型である。
• 補題A.15のユニタリインターウェーブィングにより、制御付きKK理論構成がユニタリに吸収する表現の選択に依存しないことが示された。
• ユニタリ核となる$A$に対して、同型$KL(A,B) \cong \varprojlim KK_{\epsilon_n}(X_n,B)$が成り立ち、ミルナー列はUCTの場合にショヘッチの$KK$-フィルトレーションと一致するが、結果はUCTに依存しない。