[論文レビュー] Inheritance of Isomorphism Conjectures under colimits

Arthur Bartels, Siegfried Echterhoff+1 more|ArXiv.org|Feb 15, 2007

Advanced Topics in Algebra参考文献 36被引用数 25

ひとこと要約

この論文は、群の有向集合上の余極限において、K-理論的Farrell-Jones予想と係数付きBost予想が、構造写像が単射でない場合でさえも保存されることを確立している。これらの予想が、超曲幾何群を超える範囲にまで拡張されるような、余極限として構成された群に対しても成り立つことを示しており、特に係数付き Baum-Connes 予想に反する群に対しても成立することを示している。

ABSTRACT

We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that both the K-theoretic Farrell-Jones Conjecture and the Bost Conjecture with coefficients hold for those groups for which Higson, Lafforgue and Skandalis have disproved the Baum-Connes Conjecture with coefficients.

研究の動機と目的

• 群の有向集合上の余極限において、Farrell-Jones や Bost などの同型予想が安定しているかどうかを調査すること。
• K-理論的 Farrell-Jones 予想と係数付き Bost 予想が、構造写像が単射でない場合でさえも、余極限として構成された群にまで拡張可能かどうかを示すこと。
• 超曲幾何群から余極限を用いて構成された群に対し、これらの予想が成り立つことを示し、それらが係数付き Baum-Connes 予想に反する可能性があること。
• 等変ホモロジー理論とアセンブリーマップを用いて、個々の群に対する予想的同型をその余極限の和集合へと移すための枠組みを提供すること。

提案手法

• 有限核を持つ群の小規模圏の上で定義されたスペクトル値をとる等変ホモロジー理論を用い、交叉積のK理論およびL理論をモデル化する。
• 代数的K理論、ホモトピー的K理論、および群代数およびC*-代数のトポロジカルK理論を表す関手間の自然変換を構成する。
• 有限部分群および準有限的循環部分群の族のための分類空間 $E_{inite}(G)$ と $E_{ ext{VCyc}}(G)$ の理論を用い、アセンブリーマップの出発点を定義する。
• 群の余極限構造を用いて、等変ホモロジーと自然変換の整合性により、個々の群におけるアセンブリーマップの有効性を余極限群へと持ち上げる。
• 特に $l^1$-交叉積設定において、C*-代数係数付きで超曲幾何群に対して予想が既に成立しているという事実に依拠する。
• 群の小規模圏における同型の弱同値と自然変換の整合性が、同型予想の継承を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、Farrell-Jones や Bost などの同型予想が、群の有向集合上の余極限において保存されるか？
• RQ2 超曲幾何群の余極限として構成された群に対し、係数付き K-理論的 Farrell-Jones 予想が、その群が Baum-Connes 予想に反する場合でも拡張可能か？
• RQ3 代数的K理論からトポロジカルK理論へのK理論スペクトル間の自然変換が、アセンブリーマップの文脈において余極限構成とどのように作用するか？
• RQ4 有限部分群および準有限的循環部分群の族のための分類空間が、余極限における予想的同型の継承を保証するために果たす役割は何か？

主な発見

• 有向集合上の群の余極限として得られるすべての群に対して、K-理論的 Farrell-Jones 予想が成り立つ。ただし、個々の群が予想を満たしていることが前提である。
• 係数付き Bost 予想は余極限において継承され、元来知られていた群のクラスを超えてその有効性が拡張される。
• 余極限系における構造写像が単射でない場合でも、これらの予想が保存されることを示しており、適用範囲が広がっている。
• Baum-Connes 予想に反する群、例えば Higson, Lafforgue, Skandalis によって構成された群に対しても、この継承結果が適用可能であり、既知の結果の厳密な拡張を示している。
• 証明は、K理論関手間の自然変換の整合性と、有限核を持つ群の小規模圏における弱同値の保存に依拠している。