[論文レビュー] K- and L-theory of group rings

Wolfgang Lueck|arXiv (Cornell University)|Mar 25, 2010

Advanced Topics in Algebra参考文献 26被引用数 9

ひとこと要約

この論文は、群の環におけるK理論およびL理論におけるファーロール＝ジョーンズ予想について包括的なサーベイを提供し、特に、無限大の部分群に対する分類空間における等長的ホモロジーを通じて、代数的K理論およびL理論群の特徴づけにおけるその中心的役割を確立している。主な貢献は、トポロジー、幾何学、代数学の深い予想（例えばボレル予想およびノヴィコフ予想）を、この枠組みの下で統一し、特異的多様体および構造的剛性への応用を含むものである。

ABSTRACT

This article will explore the K- and L-theory of group rings and their applications to algebra, geometry and topology. The Farrell-Jones Conjecture characterizes K- and L-theory groups. It has many implications, including the Borel and Novikov Conjectures for topological rigidity. Its current status, and many of its consequences are surveyed.

研究の動機と目的

• 群の環のK理論およびL理論の計算を統合的枠組みとしてのファーロール＝ジョーンズ予想をサーベイすること。
• 予想がトポロジーにおける主要な未解決問題（ボレル予想およびノヴィコフ予想）をどのように含意するかを説明すること。
• 無限大群に対する計算を簡素化するための等長的ホモロジー理論の役割を明確化すること。
• 予想を新しい群のクラスに拡張する際の未解決問題および幾何的障害を特定すること。
• 特に非特異的多様体に関して、予想の多様体分類への影響を探索すること。

提案手法

• ファーロール＝ジョーンズ予想を用いて、Gの無限大部分群族に対する分類空間上で評価された等長的ホモロジー理論に、K_n(RG)およびL_n(RG)を関連付ける。
• ねじれのない場合に予想を適用し、K理論およびL理論群をGの分類空間BG上の通常のホモロジーに還元する。
• 特に制御されたトポロジーおよびフローフェースを用いて、非正曲率設定における測地線フローをモデル化するための幾何群論的道具を活用する。
• 双曲群の直積の部分群や有向列挙の性質といった継承的性質を活用し、予想を満たす群のクラスを拡張する。
• ドッグ・アンド・ソーセージの原理を、多様体上の力学系を模倣するフローフェースを構築するためのヒューリスティックとして用いる。
• 代数的トポロジーおよび幾何群論の技術を用いて、群作用の力学的性質とそれらがK理論およびL理論に与える影響を分析する。

実験結果

リサーチクエスチョン

• RQ1 ファーロール＝ジョーンズ予想は、無限大群の群の環におけるK理論およびL理論の計算をどのように統合的かつ簡素化するか？
• RQ2 予想は、特異的多様体の位相的剛性に関するボレル予想およびノヴィコフ予想を、どのような方法で含意するか？
• RQ3 CAT(0)、双曲的、または可解的などの群の幾何的および力学的性質（例：CAT(0)、双曲的、可解的）は、予想の妥当性にどのように影響を与えるか？
• RQ4 制御されたトポロジーおよびフローフェースからの新しい手法が、これまでに取り扱いが困難であった群の予想の証明に用いられる可能性はあるか？
• RQ5 予想は、特に非特異的多様体の分類に関して、手術理論にどのような影響を与えるか？

主な発見

• ファーロール＝ジョーンズ予想は、K_n(RG)およびL_n(RG)を、無限大部分群族に対する分類空間上の等長的ホモロジー群として特徴づけ、標準的手法による計算を可能にする。
• 予想はボレル予想を含意しており、これは閉じた特異的多様体が位相的剛性を持つ、すなわちホモトピー同値な多様体は同相である、という主張である。
• ねじれのない群の場合、K理論およびL理論群はBGのホモロジーと同型であり、計算が著しく簡素化される。
• 予想は双曲群およびCAT(0)群において成立し、その証明は幾何的制御およびフローフェースの構成に依存する。
• 予想を満たす群のクラスは、双曲群の直積の部分群および有向列挙に関して閉じており、エキゾチックな群（例：エクスパンダを含む群）への適用範囲を拡大する。
• 広範な進展にもかかわらず、可解群、写像類群、Out(F_n)、トンプソン群、SL_n(Z)は未解決の例であり、幾何的および力学的課題が残っていることを示している。