[論文レビュー] Isomorphism Conjecture for homotopy K-theory and groups acting on trees

Arthur Bartels, Wolfgang Lueck|ArXiv.org|Jul 28, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 6

ひとこと要約

本稿は、ホモトピー代数的K理論（KH理論）に対するFibered Isomorphism Conjectureを提示し、その証明として、群Gが同型群が同 conjecture を満たすような木に作用するならば、G自身も同 conjecture を満たすことを示している。主な結果として、有限群によって生成され、自由積および有向極限に関して閉じたクラス 𝒞₀ に属するすべての群が、KH同型群予想を満たすことが示され、代数的K理論におけるFarrell-Jones型アセンブリーマップの有理的単射性に関する結果が得られる。

ABSTRACT

We discuss an analogon to the Farrell-Jones Conjecture for homotopy algebraic K-theory. In particular, we prove that if a group G acts on a tree and all isotropy groups satisfy this conjecture, then G satisfies this conjecture. This result can be used to get rational injectivity results for the assembly map in the Farrell-Jones Conjecture in algebraic K-theory.

研究の動機と目的

• ホモトピー的不変であり、Nil群の寄与を排除するホモトピー代数的K理論（KH理論）に対するFibered Isomorphism Conjectureを定式化・検討すること。
• KH同型群予想が木への群作用、有向極限、部分群に関してどのように継承されるかを確立すること。
• 予想を適用して、クラス 𝒞₀ に属する群に対して、代数的K理論におけるFarrell-Jonesアセンブリーマップの有理的単射性を導出すること。
• KH同型群予想を満たす群のクラスが、𝒞₀ を厳密に超えること、特に負に曲がった多様体の基本群を含むことの証明。

提案手法

• KH同型群予想を、Nil群の寄与を排除するホモトピー的不変K理論に焦点を当てたFarrell-Jones予想の類似物として定義する。
• クラス 𝒞₀ を、有限群、同型群が 𝒞₀ に属するような木への作用、および有向極限に関して閉じた最小のクラスとして定義する。
• G-等変ホモロジー理論 H*^G(−;KH_R) が連続的であり、木の性質を満たすことを証明し、群の木への作用に関する帰納的議論を可能にする。
• K理論実現のホモトピーカルテイリー性と、KH理論の極限との整合性を用いて、群の拡大およびHNN/結合積に対して予想を検証する。
• 正則な木の性質とKH理論の連続性を活用し、群の拡大および極限における継承性を証明する。
• 結果を応用して、R = ℤ のとき群 G ∈ 𝒞₀ に対してアセンブリーマップ H_n^G(E_FIN(G); K_R) → K_n(RG) が有理的単射であることを示し、R が正則で ℚ ⊆ R であるときには単射であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての同型群が予想を満たすならば、木に作用する群Gに対してKH同型群予想は成立するか？
• RQ2 有限群と自由積に加え、木への作用および極限に関して閉じることで、KH同型群予想を満たす群のクラスを、有限群と自由積を越えて拡張できるか？
• RQ3 KH同型群予想が、代数的K理論におけるFarrell-Jonesアセンブリーマップの単射性に与える影響は何か？
• RQ4 KH理論の予想は、古典的Farrell-Jones予想とどのように関係しているか、特にNil群の寄与を排除する点でどう異なるか？
• RQ5 𝒞₀ の外にある群で、KH同型群予想を満たすものは存在するか？また、それらが持つ構造的性質は何か？

主な発見

• Fibered KH同型群予想を満たす群のクラスは、有限群、同型群がそのクラスに属するような木への作用、有向極限、および部分群に関して閉じている。
• 有限群によって生成され、木への作用および有向極限に関して閉じたクラス 𝒞₀ に属するすべての群が、Fibered KH同型群予想を満たす。
• 任意の群 G ∈ 𝒞₀ および正則な環 R に対して、ℚ ⊆ R ならば、Farrell-Jonesアセンブリーマップ H_n^G(E_FIN(G); K_R) → K_n(RG) は単射である。
• G ∈ 𝒞₀ かつ R = ℤ のとき、アセンブリーマップ H_n^G(E_FIN(G); K_ℤ) → K_n(ℤG) は有理的単射である。
• KH同型群予想を満たす群のクラスは、𝒞₀ を厳密に超えており、閉じた負に曲がった多様体の基本群を含む。
• KH理論ホモロジー理論は連続性および正則な木の性質を満たしており、これらは群の拡大および極限における継承性を証明するために不可欠である。