[論文レビュー] Dynamical complexity and controlled operator K-theory

Erik Guentner, Rufus Willett+1 more|arXiv (Cornell University)|Sep 7, 2016

Advanced Operator Algebra Research参考文献 30被引用数 11

ひとこと要約

本稿は、トポロジカルな力学系における有限力学的複雑性を導入し、制御されたK理論的手法を用いて交叉積C*-代数のK理論を計算可能にする新しい性質を提示する。有限力学的複雑性を有する作用に関して、安定構造とホモトピー不変性を用いて障害代数のK理論の消滅を示すことにより、バーム＝コンヌ予想の新たな自己完結的証明を提供する。

ABSTRACT

In this paper, we introduce a property of topological dynamical systems that we call finite dynamical complexity. For systems with this property, one can in principle compute the $K$-theory of the associated crossed product $C^*$-algebra by splitting it up into simpler pieces and using the methods of controlled $K$-theory. The main part of the paper illustrates this idea by giving a new proof of the Baum-Connes conjecture for actions with finite dynamical complexity. We have tried to keep the paper as self-contained as possible: we hope the main part will be accessible to someone with the equivalent of a first course in operator $K$-theory. In particular, we do not assume prior knowledge of controlled $K$-theory, and use a new and concrete model for the Baum-Connes conjecture with coefficients that requires no bivariant $K$-theory to set up.

研究の動機と目的

• 制御された作用素K理論を用いて、群作用に関連するC*-代数のK理論を計算するための新しい枠組みを構築すること。
• 可算離散群がコンパクトハウスドルフ空間に作用する場合の有限力学的複雑性の概念を導入し、形式化すること。
• バーム＝コンヌ予想を、双変K理論に依存せずに、有限力学的複雑性を有する作用について自己完結的に証明すること。
• 有限力学的複雑性のもとで、バーム＝コンヌアセンブリーマップにおける障害代数のK理論が自明であることを示すこと。
• 古典的なMayer-Vietoris手法が失敗する非単純C*-代数におけるK理論の直接的な計算戦略を確立すること。

提案手法

• エタール群体から出発し、本質的に有限な系から始め、局所的分解に関して閉じる形で、有限力学的複雑性をエタール群体を介して定義する。
• 双変K理論を回避し、制御されたK理論手法に依存する、バーム＝コンヌアセンブリーマップの新しい明示的モデルを用いる。
• ホモトピー不変性と安定構造を用いて、特定のトーペリッツ型代数のK理論が自明であることを示す。
• ユニタリ作用素とシフトを用いて*-準同型 $ \mu_n$ と $ \mu$ を構成し、K理論上で同一の写像を誘導することで、キャンセレーションの議論を可能にする。
• 6項完全列と5項補題を用いて、問題を「安定構造を有する代数について $K_*(T_0B)$ の自明性の証明」に還元する。
• シフトホモトピーと等長作用素による共役を用いて、$K_*$ 上の恒等写像が0であることを示し、これによりK理論が自明であることを導く。

実験結果

リサーチクエスチョン

• RQ1 制御されたK理論を用いて、非単純かつ非可換な群作用に対する交叉積C*-代数のK理論を計算することは可能か？
• RQ2 有限力学的複雑性は、$C(X)$ に係数を有する作用についてバーム＝コンヌ予想を意味するか？
• RQ3 安定構造とホモトピー不変性を用いて、バーム＝コンヌアセンブリーマップにおける障害代数のK理論が自明であることを示せるか？
• RQ4 双変K理論やディラック＝双対ディラック法を用いずに、バーム＝コンヌ予想を証明することは可能か？
• RQ5 有限力学的複雑性と、有限分解複雑性や動的漸近次元といった他の力学的有限性条件との関係は何か？

主な発見

• 有限力学的複雑性は、コンパクトハウスドルフ空間に作用する群作用のための新しい不変量であり、より単純な本質的に有限な部分に分解可能である。
• 有限力学的複雑性を有する作用に対して、障害代数 $A(\Gamma\curvearrowright X)$ のK理論は消えるため、バーム＝コンヌ予想が成立する。
• K_*-誘導写像におけるキャンセレーションの議論により、任意の安定構造を有するC^*代数 $B$ に対して $K_*(T_0B) = 0$ が成立することが証明される。
• ユニタリ作用素とシフトによって誘導される写像 $ \mu: T_0B \to T_0B$ は $ \mu_* = \text{id} + \mu_*$ を満たし、これにより $ \text{id}_* = 0$ が導かれる。したがってK理論は自明である。
• 安定構造とシフト準同型を用いた類似の議論により、代数 $D_L^*$ のK理論も自明である。
• 図式(B.7)における上部の垂直写像はK理論上で同型を誘導し、写像 $D_L^*/C_L^* \to TD^*/TC^*$ はC^*代数の同型である。