[論文レビュー] Geometric simple connectivity and finitely presented groups

Valentin Poénaru|arXiv (Cornell University)|Apr 16, 2014

Geometric and Algebraic Topology参考文献 19被引用数 6

ひとこと要約

本稿は、有限生成群に対して2次元表現定理を確立し、すべてのsuch群が、$\widetilde{M}(\rho)$-不変で、本質的に全射的かつ非退化な単体的写像を備えた幾何学的に単連結（GSC）2複体をもつことを証明する。主な貢献は、一様に有界なジッピングプロセスの構成であり、これはGSC定理を示し、特異3次元多様体と無限遠における制御された位相的構造を用いた幾何学的・群論的アプローチにより、すべての有限生成群に対するQSF性質の証明を完了する。

ABSTRACT

This is the second of a Series of three papers, the first one published in Geom Dedicata 167 p. 91-121 (2013), proving that all finitely presented groups are QSF.

研究の動機と目的

• 任意の有限生成群 $\Gamma$ に対して2次元表現定理を確立し、以前の3次元結果を拡張する。
• 普遍被覆 $\widetilde{M}(\Gamma)$ が幾何学的に単連結（GSC）であることを証明し、QSF性質の証明への重要な一歩を踏み出す。
• $X^2 \to \widetilde{M}(\Gamma)$ における $\Gamma$-不変で、本質的に全射的かつ非退化な単体的写像 $f$ を構成し、離散的で死滅的な特異点を持つこと。
• 特異二重点集合のジッピング長が一様に有界であることを保証し、無限遠における制御を可能にする。
• 特異3次元多様体における幾何学的および位相的手法を用いて、有限生成群に対するQSF予想の証明を完了する。

提案手法

• 先行研究から得られる3次元表現空間のスケルトンとして、局所有限で幾何学的に単連結（GSC）な2次元、局所有限な幾何学的単連結な単体的複体 $X^2$ を構成する。
• $f: X^2 \to \widetilde{M}(\Gamma)$ を非退化な単体的写像として定義し、$f$ が $\Gamma$-不変かつ本質的に全射的であることを保証する。
• $X^2$ 上の同値関係 $\Psi(f) \subset \Phi(f)$ を定義し、$\Psi(f)$ を最小の関係として $X^2/\Psi(f) \to \widetilde{M}(\Gamma)$ が浸漬的となるようにする。
• 死滅的特異点を除去するためのジッピングプロセスを用い、制御されたホモトピーとコンパクト化された多様体の境界における特異ディスクに依存する。
• コンパクト集合 $K \subset \partial S'_u(M(\Gamma)-H)_{\rm II}$ を避けるために、対数ホモトピー法を適用し、$K$ を避ける埋め込まれたディスクの存在を保証する。
• 補題において $\pi_1$-単射性を活用し、カットローカス内に特異ディスクを構成することで、一様に有界なジッピング経路の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の有限生成群 $\Gamma$ に対して、$X^2$ が局所有限で、$\widetilde{M}(\Gamma)$ への $\Gamma$-不変で、本質的に全射的かつ非退化な単体的写像 $f$ を持ち、特異点が離散的である2次元表現が可能か？
• RQ2 このような2次元表現の存在が、$\widetilde{M}(\Gamma)$ が幾何学的に単連結（GSC）であることを示唆するか？
• RQ3 二重点のジッピングプロセスの長さは、群の元に依存せずに一様に有界にできるか？
• RQ4 無限遠における普遍被覆の境界が、コンパクトな障害と交差しないように、ホモトピー的に自明な曲線を埋め込むことができるよう制御可能か？
• RQ5 コンパクト化された境界に $\pi_1^\infty$-障害がないことは、$\widetilde{M}(\Gamma)$ に対してGSC性質を示唆するか？

主な発見

• 任意の有限生成群 $\Gamma$ に対して、$X^2$ が局所有限で、$\operatorname{Sing}(f)$ が離散的である2次元表現 $f: X^2 \to \widetilde{M}(\Gamma)$ が存在する。
• $f$ は $X^2$ 上で自由に $\Gamma$-不変な作用をもつため、群が元の複体に幾何学的に作用することが保証される。
• すべての二重点集合のジッピング長に一様な上限 $M < \infty$ が存在し、無限遠における位相的制御が可能である。
• 主補題（6.5）は、$\partial S'_u(M(\Gamma)-H)_{\rm II}$ 内のホモトピー的に自明な曲線 $\Lambda_{j_n}$ が、対数ホモトピーと $\pi_1$-単射性を用いてコンパクト集合 $K$ を避ける特異ディスクを境界とする、と示している。
• コンパクト性補題（4.7）が証明され、これによりGSC定理（2.3）が成立する：$S_u\widetilde{M}(\Gamma)_{\rm II} \in \text{GSC}$。
• 証明により、$\widetilde{M}(\Gamma)$ のGSC性質が $\Gamma$ のQSF性質を示すことが確認され、QSF予想に関する論文シリーズの完成が達成された。