[論文レビュー] Dynamic asymptotic dimension and controlled operator K-theory

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

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

ひとこと要約

本稿は、有限の動的漸近次元をもつ位相的力学系から生じる C*-代数に対する Baum-Connes 猜想のための新しい計算的アプローチを確立する。制御された K-理論の新規で自己完結的なモデルを用い、従来の双変 K-理論フレームワークを回避する。主な結果は、交差積の K-理論を直接計算することにより、群胚に基づく手法とは独立した、同 conjecture の別証明を提供することにある。

ABSTRACT

In earlier work the authors introduced dynamic asymptotic dimension, a notion of dimension for topological dynamical systems that is finite for many interesting examples. In this paper, we use finiteness of dynamic asymptotic dimension of an action to get information on the K-theory of the associated crossed product C*-algebra: specifically, we give a new proof of the Baum-Connes conjecture for such actions. The key tool is controlled K-theory, as developed by Oyono-Oyono and the third author. Our main result is not new: it follows from work of Tu on amenable groupoids. The proof, however, is very different: it amounts to a computation of the K-theory of a crossed product which is quite independent of the topological formula posited by the Baum-Connes machinery. We have tried to keep the paper as self-contained as possible: we hope the main part of the paper 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.

研究の動機と目的

• 有限の動的漸近次元をもつ作用について、Baum-Connes 猜想の新しい自己完結的証明を提供すること。
• 双変 K-理論に依存しない、係数付き Baum-Conjecture の明示的モデルを構築すること。
• 制御された K-理論が、交差積 C*-代数の明示的 K-理論計算を可能にすることを示すこと。
• 動的漸近次元と C*-代数の K-理論的ファイニットネス性の間の直接的な関係を確立すること。
• 初等的な演算子 K-理論の知識のみを前提として、核心的な手法を読者に容易に理解可能にするようにすること。

提案手法

• 双変 K-理論を必要としない、係数付き Baum-Conjecture の新しい明示的定式化を導入すること。
• Oyono-Oyono および第3著者により開発された制御された K-理論技法を用い、交差積 C*-代数の K-理論を分析すること。
• 動的漸近次元の有限性を活用して作用の幾何を制御し、K-理論計算を容易にする。
• 制御された代数的技法を用いて、交差積の K-理論の明示的近似を構成すること。
• 制御された K-理論の枠組みが、Baum-Connes 猜想の位相的道具に依存しない直接的な K-理論計算をもたらすことを示すこと。
• 全フレームワークが自己完結的であり、演算子 K-理論の初等的知識を持つ読者にも容易にアクセス可能であることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 群胚的手法に依存しない方法で、有限の動的漸近次元をもつ作用について、Baum-Connes 猜想を証明することは可能か？
• RQ2 制御された K-理論を、明示的かつアクセス可能な方法で、交差積 C*-代数の K-理論を計算するためにどのように応用できるか？
• RQ3 双変 K-理論に依存せずに、係数付き Baum-Conjecture を定式化することは可能か？
• RQ4 動的漸近次元は、関連する C*-代数の K-理論にどのように寄与するか？
• RQ5 有限の動的漸近次元をもつ作用について、交差積の K-理論に対する自己完結的で初等的なアプローチを構築することは可能か？

主な発見

• 本稿は、Tu の群胚に基づくアプローチとは異なる、有限の動的漸近次元をもつ作用についての Baum-Conjecture の新しい証明を提供する。
• 双変 K-理論の必要性を回避する形で、制御された K-理論が交差積 C*-代数の K-理論計算に成功して用いられている。
• 基本的な演算子 K-理論のみを前提として、自己完結的かつ明示的な係数付き Baum-Conjecture のモデルが構築された。
• 本手法により、動的漸近次元と C*-代数の K-理論的ファイニットネス性との間の直接的な計算的関係が確立された。
• フレームワークは、制御された K-理論の知識がなくても、演算子 K-理論の初等的コースの知識を持つ研究者にも容易にアクセス可能である。
• 結果として、制御された K-理論が、力学系から生じる交差積に対して独立的かつ明示的な K-理論計算を可能にすることが示された。