[論文レビュー] Weak coherence of groups and finite decomposition complexity

Boris Goldfarb|arXiv (Cornell University)|Jul 19, 2013

Advanced Operator Algebra Research参考文献 16被引用数 7

ひとこと要約

この論文は、有限 $K(\gamma,1)$ と有限分解型複雑性 (FDC) を持つ群が弱正則一貫的であることを確立し、これはすべての次元における整数係数 $K$-理論的アセンブリーマップが同型であることを意味する。主な結果として、このような群に対してホワイトヘッド群 $\operatorname{Wh}(\Gamma)$ が消えることが示され、これは従来の有限漸近次元の群に限らないより広いクラスの群へと結果を拡張する。

ABSTRACT

The weak regular coherence is a coarse property of a finitely generated group $Γ$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the integral K-theoretic assembly map. A new class of metric spaces (sFDC) was introduced recently by A. Dranishnikov and M. Zarichnyi. This class includes most notably the spaces with finite decomposition complexity (FDC) studied by E. Guentner, D. Ramras, R. Tessera, and G. Yu. The main theorem of this paper shows that a group that has finite $K(Γ,1)$ and sFDC is weakly regular coherent. As a consequence, the integral K-theoretic assembly maps are isomorphisms in all dimensions for any group that has finite $K(Γ,1)$ and FDC. In particular, the Whitehead group $Wh (Γ)$ is trivial for such groups.

研究の動機と目的

• 有限漸近次元を越えてホワイトヘッド群の消滅および $K$-理論的アセンブリーマップの同型性を拡張すること。
• 有限分解型複雑性 (FDC) と有限 $K(\Gamma,1)$ を持つ群に対する弱正則一貫性を確立すること。
• 従来の有限漸近次元をもつ群に関する結果を、より広いクラスの FDC 群へ一般化すること。
• より弱い幾何的仮定の下で代数的 $K$-理論におけるカルタン同型の成立条件を確認すること。
• 粗い幾何学 (FDC) と代数的 $K$-理論を弱正則一貫性を通じて結びつけ、ボレル予想およびノヴィコフ予想を支援すること。

提案手法

• FDC の一般化である sFDC (強い有限分解型複雑性) のクラスを導入し、Kropholler のクラス $\mathrm{LH}\mathcal{F}$ に属する sFDC を持つ群が弱正則一貫的であることを証明する。
• リーント・インスラール $\Gamma$-加群およびその $\mathbb{Z}[\Gamma]$ 上の射影的分解の理論を適用し、sFDC および有限 $K(\Gamma,1)$ の下で有限射影的次元を示す。
• クイレンの分解定理を用いて、群環の $K$-理論と $K$-理論スペクトルを係数とする $\Gamma$ のホモロジーを関連付ける。
• Ramras–Tessera–Yu が示したように、FDC は粗いアセンブリーマップが弱同値であることを示す事実に依拠する。
• 弱正則一貫性の結果と既知の粗いアセンブリーマップの性質を組み合わせ、カルタン同型および $K$-理論的同型を導出する。
• 主定理を適用して、有限グローバル次元をもつネーター環 $R$ に対して、$K$-理論的アセンブリーマップが弱ホモトピー同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限分解型複雑性 (FDC) は、有限 $K(\Gamma,1)$ を持つ群に対して弱正則一貫性をもたらすか？
• RQ2 有限漸近次元を超えて、ホワイトヘッド群の消滅は FDC を持つ群へ拡張可能か？
• RQ3 FDC および有限 $K(\Gamma,1)$ を持つ群に対して、整数係数 $K$-理論的アセンブリーマップは同型か？
• RQ4 sFDC は、$\mathbb{Z}[\Gamma]$ 上のリーント・インスラール $\Gamma$-加群に対して有限射影的次元をもたらすか？
• RQ5 有限漸近次元の代わりに sFDC の弱い条件下でも、代数的 $K$-理論におけるカルタン同型を確立できるか？

主な発見

• 有限 $K(\Gamma,1)$ と sFDC を持つ群 $\Gamma$ は弱正則一貫的である。
• 任意の有限グローバル次元をもつネーター環 $R$ に対して、整数係数 $K$-理論的アセンブリーマップ $A(\Gamma,R)$ は弱ホモトピー同値である。
• 任意の有限 $K(\Gamma,1)$ と FDC を持つ群 $\Gamma$ に対して、ホワイトヘッド群 $\operatorname{Wh}(\Gamma)$ は自明である。
• 環 $R$ が有限グローバル次元をもち、群 $\Gamma$ が FDC および有限 $K(\Gamma,1)$ をもつとき、$K_n$-アセンブリーマップ $A_n: H_n(\Gamma, K(R)) \to K_n(R[\Gamma])$ はすべての $n$ に対して同型である。
• FDC を持つ群のクラスには、$\mathbb{Z} \wr \mathbb{Z}$ のような無限漸近次元の群や、体 $k$ に関する $GL_n(k)$ のすべての有限生成部分群が含まれ、従来の結果の範囲を拡張する。
• 結果は、FDC および有限 $K(\Gamma,1)$ をもち、弱正則一貫性を満たすねじれのない群に対して $K$-理論的アセンブリーマップが同値であるという予想を、弱正則一貫性の条件下で裏付けた。