[論文レビュー] On the Farrell-Jones Conjecture and its applications

Arthur Bartels, Wolfgang Lueck+1 more|ArXiv.org|Mar 19, 2007

Geometric and Algebraic Topology参考文献 36被引用数 5

ひとこと要約

この論文は、任意の係数環に対して代数的K理論におけるファーロール＝ジョーンズ予想を前進させ、語の双曲的およびほぼノルム的群が任意の環Rに対してファイバリングされたファーロール＝ジョーンズ予想を満たすことを確立する。群の積、有向列、部分群に関する保存性を証明し、K理論における消滅結果、バース予想およびカプランスキー予想、およびモーディーの誘導定理の一般化を、顕著に拡張された群のクラスに対して証明するために予想を応用する。

ABSTRACT

We present the status of the Farrell-Jones Conjecture for algebraic K-theory for a group G and arbitrary coefficient rings R. We add new groups for which the conjecture is known to be true and study inheritance properties. We discuss new applications, focussing on the Bass Conjecture, the Kaplansky Conjecture and conjectures generalizing Moody's Induction Theorem. Thus we extend the class of groups for which these conjectures are known considerably.

研究の動機と目的

• 代数的K理論におけるファーロール＝ジョーンズ予想が成り立つ群のクラスを拡張すること、特に任意の係数環Rに対して。
• 積、有向列、部分群などの群の演算に関して、ファイバリングされたファーロール＝ジョーンズ予想の保存性を確立すること。
• 予想を用いてK理論における消滅結果を証明し、バース、カプランスキー、およびモーディーの誘導定理といった主要な予想を検証または一般化すること。
• 2を逆数にした後のL理論版の予想の状態を調査し、群の族に対するその意味を明らかにすること。

提案手法

• 著者たちは、元の予想を含み、より良い保存性を有する強いバージョンであるファイバリングされたファーロール＝ジョーンズ予想を用いる。
• 等変ホモロジー理論の強い連続性と転送原理を適用し、有向列における閉包性を導出する。
• 特に語の双曲的およびほぼノルム的群に対して、幾何的群論および制御トポロジーの結果を活用する。
• K理論の構造をアセンブリーマップおよびK₀とK₁を含む写像の核を通じて分析し、Whitehead群Whᴿ(G)を定義する。
• L理論に関しては、UNil群が2- torsion であることに着目し、2を逆数にした後に転送原理を適用する。
• ほぼ巡回群に対するL理論の予想を、ほぼ巡回群からℤまたはℤ/2∗ℤ/2への全射を用いて、有限族の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 どの群が任意の係数環Rに対して代数的K理論におけるファイバリングされたファーロール＝ジョーンズ予想を満たすか？
• RQ2 ファイバリングされたファーロール＝ジョーンズ予想を満たす群のクラスは、積、部分群、有向列に関して閉じているか？
• RQ3 バース、カプランスキー、およびモーディーの誘導定理の予想は、ファーロール＝ジョーンズ予想を満たす群に対してどの程度成り立つか？
• RQ4 2を逆数にした後、L理論版のファーロール＝ジョーンズ予想の状態は何か？また、有限族とはどのように関係しているか？
• RQ5 任意の自己同型αに対して、半直積G ⋊ ℤ に対して予想を拡張できるか？

主な発見

• 語の双曲的およびほぼノルム的群は、任意の係数環Rに対して代数的K理論におけるファイバリングされたファーロール＝ジョーンズ予想を満たす。
• ファイバリングされたファーロール＝ジョーンズ予想を満たす群のクラスは、積、部分群、有向列に関して閉じている。
• ねじれのない群および正則環Rに対して、予想はKₙ(RG) = 0（n ≤ -1）、K₀(RG) ≅ K₀(R）、およびWhitehead群Whᴿ(G)が自明であることを示唆する。
• 2を逆数にした後、ほぼ巡回群の族に対するL理論のファーロール＝ジョーンズ予想は、有限群の族に対する予想と同値である。
• すべての初等的可解群は、R = ℤおよびR = ℚに対して2を逆数にした後、L理論の予想を満たす。
• 予想はWhitehead群Whᴿ(G)の自明性および正則環とねじれのない群に対する下位K理論の消滅を示唆する。