[論文レビュー] Algebraic K-theory of Geometric Groups

Gunnar Carlsson, Boris Goldfarb|arXiv (Cornell University)|May 15, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 44被引用数 7

ひとこと要約

この論文は、正則なネーター環で有限なホモロジー次元を持つ環上における、有限な漸近次元を持つ幾何的に有限な群の代数的K理論における同型予想を証明し、整数係数K理論的アセンブリーマップが弱同値であることを確立している。証明は、制御されたK理論とG理論の手法を組み合わせており、標準的な代数的手法の制限を克服するために、有界な制御と粗い作用を活用している。

ABSTRACT

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically finite group. Our result is that there are two requirements which need to hold. The first is that the assembly map for the group regarded as a metric space is an equivalence. This is a non-equivariant condition and depends only on the coarse type of the word metric on the group. The second is that the group ring satisfies an algebraic coherence condition, which currently can be verified for all known groups for which the split injectivity statement for the assembly holds. The two conditions extend very broadly. In particular, both conditions hold for groups of finite asymptotic dimension. To state the main theorem precisely, given a regular Noetherian ring $A$ of finite global dimension and a group $Γ$ with finite $K(Γ,1)$ and finite asymptotic dimension, we prove that the $K$-theoretic assembly map is an equivalence. Therefore, in all dimensions the $K$-theory of $A[Γ]$ is the group homology of $Γ$ with coefficients in the $K$-theory spectrum of $A$. One of the many geometric consequences of this theorem is vanishing of the Whitehead group of $Γ$.

研究の動機と目的

• 広範なクラスの群環に対して代数的K理論における同型予想を検証すること。
• 組合せ的構成ではなく、幾何的群の性質を用いてワルドハウゼンのアンサンブル積およびHNN拡大に関する結果を拡張すること。
• Γが幾何的に有限で有限な漸近次元をもつとき、群環R[Γ]のK理論的アセンブリーマップの同値性を確立すること。
• 標準的な制御代数的手法の失敗を、制御されたG理論と粗い有界作用の導入によって解決すること。
• Rが有限なホモロジー次元をもつ条件下で、K理論からG理論へのカルタン写像が弱同値であることを示すこと。

提案手法

• すべての次数において同時にK理論を扱うために非連結スペクトルの使用。
• 有界制御と粗い幾何学を用いて、可縮空間上の群作用をモデル化すること。
• 標準K理論で失われた切断性の性質を回復するために、制御されたG理論とスペクトルCの導入。
• 有限な漸近次元のもとで、有界K理論における等変アセンブリーマップが分解可能であることを証明し、その結果、同様の条件下でG理論的アセンブリーマップが同値であることを示すこと。
• クイレンの分解定理を用いて、Rが有限なホモロジー次元をもつとき、カルタン写像が弱同値であることを示すこと。
• ホモロジースペクトルとK⁻∞(R[Γ])、G⁻∞(R[Γ])を結ぶ可換図式の構成により、主要結果を導出すること。

実験結果

リサーチクエスチョン

• RQ1 Γが幾何的に有限で有限な漸近次元をもつとき、R[Γ]のK理論的アセンブリーマップは弱同値になるか？
• RQ2 群の幾何的および距離的性質を用いて、同型予想を組合せ的群表示ではなく証明できるか？
• RQ3 なぜ標準的な制御代数的手法は、この文脈における切断性と局所化の証明に失敗するのか？
• RQ4 制御されたG理論は、K理論に欠落している必要なホモトピー的性質をどの程度回復するのか？
• RQ5 Rが有限なホモロジー次元をもつとき、K⁻∞(R[Γ])とG⁻∞(R[Γ])間のカルタン写像が弱同値である条件は何か？

主な発見

• 幾何的に有限で有限な漸近次元をもつ群Γと、有限なホモロジー次元をもつ正則ネーター環Rに対して、整数係数K理論的アセンブリーマップa(Γ,R)は弱同値である。
• 有界K理論における等変アセンブリーマップは分解可能であり、その結果、同じ条件下でG理論的アセンブリーマップが同値であることが示される。
• 制御されたG理論は、粗い有界作用とグロテンディーク部分カテゴリを組み込むことで、標準K理論における切断性の失敗を是正する。
• Rが有限なホモロジー次元をもち、Γが弱く正則ネーター的であるとき、カルタン写像κ: K⁻∞(R[Γ]) → G⁻∞(R[Γ])は弱同値である。
• この結果により、K₀(R[Γ]) ≅ K₀(R)が成り立ち、したがってこのような群に対しては、縮約されたK₀群˜K₀(ℤ[Γ])は消える。
• アセンブリーマップが弱同値であるとき、高次ホワイトヘッド群を含む長完全系列により、古典的ホワイトヘッド群Wh(Γ)が消えることが示される。