[論文レビュー] Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory

Daniel A. Ramras, Romain Tessera+1 more|arXiv (Cornell University)|Nov 30, 2011

Advanced Operator Algebra Research参考文献 16被引用数 9

ひとこと要約

本稿は、有限分解複雑性（FDC）を有する群および有限CW類分類空間を有する群に対して、高次代数的K理論における積分ノヴィコフ予想を確立する。連続的に制御されたK理論における消去定理を用いて、線形群や幾何的に有限群に関する先行結果を一般化する。

ABSTRACT

Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proof of the integral K-theoretic Novikov conjecture, regarding split injectivity of the K-theoretic assembly map, for groups with finite decomposition complexity and finite CW models for their classifying spaces. By work of Guentner, Tessera, and Yu, this includes all (geometrically finite) linear groups.

研究の動機と目的

• 有限分解複雑性（FDC）を有する群および有限CW類分類空間を有する群に対して、積分K理論的ノヴィコフ予想を確立すること。
• 有限漸近次元を有する群に関するノヴィコフ予想の先行結果を、FDC群のより広いクラスへと拡張すること。
• FDCを有する有界幾何の距離空間における連続的に制御されたK理論の消去結果を証明し、主な単射性結果を可能にする。
• FDC距離空間に対する高次代数的K理論における安定ボレル予想および有界ボレル予想を一般化すること。
• カルソン＝ペデルセンの積定理に依拠して、L理論的類似について、以前の証明におけるギャップを補い、修正され完全な証明を提供すること。

提案手法

• 有界幾何および有限分解複雑性を有する距離空間に対して、連続的に制御されたK理論を導入し、それを用いる。
• 消去定理の証明：$\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$ がすべての $*\in\mathbb{Z}$ に対して成り立つ。ここで $X$ は有界幾何およびFDCを有する。
• Rips複体上の制御カテゴリの列挙の関手的同型を、個々の成分上の列挙の積と結びつける。
• カルソンの定理（K理論が無限積と可換である）を適用して、問題を個々の成分に還元する。
• FDCの帰納的構造を用いて、伝搬が制御された部分に空間を分解し、射の帰納的制御を可能にする。
• 制御カテゴリ内の射とスケーリング関手 $\eta_{s,s'}$ によるその像との間の対応を確立し、関手的および可逆性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限分解複雑性および有限CW類分類空間を有する群に対して、K理論的アセンブリーマップは依然として分解可能単射のままであるか？
• RQ2 有限分解複雑性を有する有界幾何の距離空間に対して、連続的に制御されたK理論の消去が確立可能か？
• RQ3 制御されたK理論枠組みはL理論へどの程度拡張可能か？また、積の可換性に必要な仮定は何か？
• RQ4 $*<<0$ に対して $K_*(\mathcal{A})=0$ を仮定しないで、FDC距離空間に対する高次代数的K理論の有界ボレル予想を確立できるか？
• RQ5 ノヴィコフ予想の文脈において、FDC条件は有限漸近次元条件をどの程度一般化するか？

主な発見

• 群 $\Gamma$ が有限分解複雑性を有し、$B\Gamma$ が有限CW複体であるとき、すべての $*\in\mathbb{Z}$ に対してK理論的アセンブリーマップ $H_*(B\Gamma;\mathbb{K}(R)) \to K_*(R[\Gamma])$ は分解可能単射である。
• 任意の有界幾何の距離空間 $X$ が有限分解複雑性を有するとき、$\operatorname*{colim}_{s}K^{c}_{*}(P_{s}X)=0$ が成り立つ。
• $*<<0$ に対して $K_*(\mathcal{A})=0$ を仮定する下で、L理論的設定へも結果が拡張可能であり、カルソンとペデルセンの積定理に依拠する。
• 特にL理論的文脈において、論文の第7.9条の主張に関する以前のバージョンにおける誤りを修正した。
• 制御されたK理論枠組みは、有限漸近次元を有する群に関する先行結果を、FDC群のより広いクラスへと成功裏に一般化した。
• 積の可換性に基づき、同型 $\prod_r \operatorname*{colim}_{\mathbf{s}} K_*(\mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha))) \cong \operatorname*{colim}_{\mathbf{s}} K_*(\prod_r \mathcal{A}_c(P_{s_r}(\{Z^r_\alpha\}_\alpha)))$ が確立された。