[論文レビュー] On the Farrell-Jones Conjecture for higher algebraic K-theory

Arthur Bartels, Holger Reich|ArXiv.org|Aug 5, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 11

ひとこと要約

本稿は、群 $Γ$ が正の曲率をもつ閉リーマン多様体の基本群である場合に、高次代数的 K-理論におけるFarrell-Jones予想を証明する。幾何的制御として測地線フローを用い、foliated control定理を適用することで、群環 $R\Gamma$ の代数的 K-理論と分類空間 $B\Gamma$ の $\Gamma$--equivariant homology の間の同型を確立する。これはBass-Heller-Swanの公式を一般化し、正則係数環に対して予想を確認する。

ABSTRACT

We prove the Farrell-Jones Isomorphism Conjecture about the algebraic K-theory of a group ring RG in the case where the group G is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The coefficient ring R is an arbitrary associative ring with unit and the result applies to all dimensions.

研究の動機と目的

• 閉リーマン多様体の基本群である場合の高次代数的 K-理論におけるFarrell-Jones予想を確立すること。
• このような群 $\Gamma$ と任意の係数環 $R$ に対して、Bass-Heller-Swanの公式を一般化すること。
• 測地線フローと制御トポロジーに基づく幾何的証明戦略を提供すること。
• 係数環 $R$ が正則である場合、すなわち $\mathrm{NK}_n(R) = 0$ の場合に予想を拡張すること。

提案手法

• 負の曲率をもつ多様体の普遍被覆上の測地線フローを用いて、チェーン複体に対する幾何的制御を獲得する。
• 多様体と $[1,\infty)$ の積に、フローから得られる減衰速度を用いたfoliated control構造を構成する。
• 普遍被覆から、無限遠におけるgermに類似した制御を持つ制御カテゴリへの転送ファンクターを適用する。
• $\mathbb{B}$-方向におけるデロープイングと離散化を用いて、ユークリッドに類似したモデルに問題を還元する。
• 制御された $K$-理論におけるMayer-Vietorisおよびファイブレーション系列を用いて、アセンブリーマップの構造を分析する。
• $\widetilde{\mathrm{K}}$-理論構成とスワン群作用を用いて、制御された複体と代数的 $K$-理論を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 群 $\Gamma$ が閉リーマン多様体の基本群である場合、高次代数的 $K$-理論におけるFarrell-Jones予想は成立するか？
• RQ2 このような群 $\Gamma$ に対して、任意の係数環 $R$ についてBass-Heller-Swanの公式を一般化できるか？
• RQ3 測地線フローは、制御された $K$-理論における制御を獲得するためのメカニズムとして、どの程度有効か？
• RQ4 最大巡回部分群の存在は、$K_n(R\Gamma)$ の分解にどのように影響するか？
• RQ5 $R$ が正則環で $\Gamma$ が負の曲率をもつ多様体の基本群である場合、アセンブリーマップは同型か？

主な発見

• 群 $\Gamma$ が正の曲率をもつ閉リーマン多様体の基本群であり、$R$ が任意の単位元をもつ結合的環である場合、$K_n(R\Gamma)$ に対してFarrell-Jones予想が成立する。
• 代数的 $K$-理論 $K_n(R\Gamma)$ は、$H_n(B\Gamma; \mathbb{K}^{-\infty}(R)) \oplus \bigoplus_I \mathrm{NK}_n(R) \oplus \mathrm{NK}_n(R)$ に分解され、ここで $I$ は最大巡回部分群の共役類の集合である。
• 正則係数環 $R$ に対しては $\mathrm{NK}_n(R) = 0$ であるため、$K_n(R\Gamma) \cong H_n(B\Gamma; \mathbb{K}^{-\infty}(R))$ が成り立ち、この場合に予想が確認される。
• 本証明は、普遍被覆から制御カテゴリへの制御の転送を可能にするfoliated control定理に依存している。
• 制御カテゴリにおける「無限遠におけるgerm」の使用により、Mayer-Vietoris型の分解が可能となり、セルの階層における帰納法が容易になる。
• 測地線フローを用いて定義される減衰速度 $\mathcal{S}$ の構成により、射の制御が $\Gamma$-作用および多様体の位相と整合する形で保証される。