[論文レビュー] All finitely presented groups are QSF

Valentin Poénaru|arXiv (Cornell University)|Sep 25, 2014

Geometric and Algebraic Topology参考文献 13被引用数 3

ひとこと要約

本稿は、幾何群論における基本的性質である、すべての有限生成群が準幾何的単連結性（QSF）を満たすことを証明している。3次元特異ハンドル体の構成と、$S_u$関手による高次元の太さ付けを用いて、任意の有限生成群の普遍被覆が幾何的単連結構造を備えることを示し、すべてのこのような群に対してQSF性質が成立することを確認した。

ABSTRACT

This is the third and last of three papers containing the complete proof that all finitely presented groups are QSF.

研究の動機と目的

• すべての有限生成群がQSF（準単体埋め込み）性質を満たすことを確立すること。これは幾何群論における中心的予想である。
• 任意の有限生成群に対して、幾何的単連結（GSC）である普遍被覆モデルを構成すること。これによりQSFが導かれる。
• 高次元セル複体における局所的有限性の障害を、補償用の2セルハンドルを導入することで解消し、群作用と位相を保ったまま有限性を回復すること。
• 3次元特異提示から構成された$S_u\widetilde{M}(\Gamma)$複体が幾何的単連結であることを示し、これにより$\Gamma$のQSF性質が導かれる。
• QSF性質が、基本群が$\Gamma$である滑らかな閉多様体$M$が存在し、その普遍被覆がGSCであることに同値であることの証明。

提案手法

• 3次元提示を用いて、$\pi_1(M(\Gamma)) = \Gamma$を満たす3次元特異ハンドル体$M(\Gamma)$を構成し、普遍被覆における無限大集積を回避する。
• $S_u$関手を適用して、普遍被覆$\widetilde{M}(\Gamma)$を次元$N+4$の高次元セル複体$S_u\widetilde{M}(\Gamma)$に太らせる。これにより$\Gamma$作用とGSC構造が保たれる。
• $N+4$次元複体に補償用の2セルハンドルの体系を導入し、局所的有限性を回復させる。その結果、滑らかな多様体ではなく特異セル複体が得られる。
• 適切なホワイトヘッド拡張と無限大のハンドル加法を含む$\Gamma$--equivariantなプロセスにより、$\Theta^3(fX^2)$の部分複体$\Theta^3(\text{co-compact}) \subset \Theta^3(fX^2)$を生成する。
• コンパネーションの構成を用いて、埋め込み写像を単体写像に置き換え、非埋め込みでも単連結な元複体を保ちながら、基本群の制御を可能にする。
• 繰り返しの摺り分けとコンパネーションに基づく分割を用いて、複体$K$を特異集合$\pi^{-1}A_i$および$\pi^{-1}B_j$の逆像から分離し、最終的に$K \cap \Theta_0^3 = S_0 \cap k$というクリーンな埋め込みを達成する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限生成群$\Gamma$はQSF性質を満たすか？
• RQ2 任意の有限生成群に対して、幾何的単連結（GSC）な普遍被覆を構成できるか？
• RQ3 $S_u\widetilde{M}(\Gamma)$複体（3次元特異提示から構成）は幾何的単連結か？
• RQ4 GSC性質を失うことなく、普遍被覆の高次元太らせにおいて局所的有限性を回復できるか？
• RQ5 QSF性質は、基本群が$\Gamma$である滑らかな閉多様体$M$が存在し、その普遍被覆がGSCであることに同値か？

主な発見

• すべての有限生成群$\Gamma$はQSF性質を満たす。これは幾何群論における長年の予想を確認した。
• $S_u\widetilde{M}(\Gamma)$複体は幾何的単連結（GSC）である。これは前回の論文の定理B[39]で確立されており、本証明の中心的役割を果たす。
• $S_u\widetilde{M}(\Gamma)$の構成は、補償用の2セルハンドルを備えた4次元複体$\Theta^4(\Theta^3(fX^2), \mathcal{R})$の太らせとして行われ、局所的有限性を保ちつつGSC構造を維持する。
• $\Gamma$作用は$\Theta^3(fX^2)$上でコアーマクトではないが、適切な拡張とハンドル加法により、$\Gamma$-不変なコアーマクト部分複体$\Theta^3(\text{co-compact})$が存在する。
• 最終的な複体$K$は、すべての特異集合$\pi^{-1}A_i$および$\pi^{-1}B_j$から分離されており、$K \cap \Theta_0^3 = S_0 \cap k$を満たす。これは必要な図式(4.2)を満たす。
• QSF性質は、基本群が$\Gamma$である滑らかな閉多様体$M$が存在し、その普遍被覆がGSCであることに同値である。これはフナールとオテラの結果により示された。