[論文レビュー] Coarse Alexander duality and duality groups

Michael Kapovich, Bruce Kleiner|ArXiv.org|Nov 2, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 8

ひとこと要約

本稿は、群の作用に関する粗いアレクサンドル双対性を、粗いポアンカレ双対性空間上の群作用に対して確立する。特に、(n−1)次元の双対性群 G が粗い PD(n) 空間上に自由な単体的作用をすると、(G; F₁,…,Fₖ) が n 次元のポアンカレ双対性対構造をなすことを示す。ここで Fᵢ は周辺部分群である。主な結果として、単連結な粗い PD(3) 空間上で自由に作用する 2 次元の 1 端点を持つ FP₂ 群は、曲面部分群を含む必要がある。これはスコット＝シャレンのコンパクトコア定理の一部を一般化する。

ABSTRACT

We study discrete group actions on coarse Poincare duality spaces, e.g. acyclic simplicial complexes which admit free cocompact group actions by Poincare duality groups. When G is an (n-1) dimensional duality group and X is a coarse Poincare duality space of formal dimension n, then a free simplicial action of G on X determines a collection of ``peripheral'' subgroups F_1,...,F_k in G so that the group pair (G;F_1,...,F_k) is an n-dimensional Poincare duality pair. In particular, if G is a 2-dimensional 1-ended group of type FP_2, and X is a coarse PD(3) space, then G contains surface subgroups; if in addition X is simply connected, then we obtain a partial generalization of the Scott/Shalen compact core theorem to the setting of coarse PD(3) spaces.

研究の動機と目的

• 古典的なアレクサンドル双対性を、群作用を伴う粗い幾何的設定に拡張すること。
• 特に群が双対性群である場合に、粗い PD(n) 空間上の群作用の代数的・幾何的構造を理解すること。
• 群論的および位相的双対性原理を用いて、粗い PD(3) 空間の文脈においてスコット＝シャレンのコンパクトコア定理を一般化すること。
• 粗い PD(n) 空間上での自由群作用から生じる周辺部分群を特徴付け、それらがポアンカレ双対性対を導くことを示すこと。
• 2 次元の 1 端点を持つ FP₂ 群が単連結な粗い PD(3) 空間上で自由に作用する場合に、それが曲面部分群を含む必要がある条件を確立すること。

提案手法

• 粗い幾何学および粗いポアンカレ双対性空間の理論を用いて、群作用を分析する。
• 双対性群 G が粗い PD(n) 空間 X 上に作用する際の周辺部分群の概念を適用する。
• 群対 (G; F₁,…,Fₖ) の構造を用いて、これが n 次元のポアンカレ双対性対をなすことを示す。
• X の形式的次元および双対性性質を活用して、G に対する群論的帰結を導出する。
• X が単連結であることを利用して、双対性対の結論を強化し、3 次元多様体トポロジーと関連付ける。
• 幾何的群論および双対性群の結果を応用して、2 次元の FP₂ 群に曲面部分群が存在することを導く。

実験結果

リサーチクエスチョン

• RQ1 双対性群 G が粗い PD(n) 空間 X 上に自由な単体的作用をすると、(G; F₁,…,Fₖ) がポアンカレ双対性対構造をなすための条件は何か？
• RQ2 群作用を通じて、スコット＝シャレンのコンパクトコア定理を粗い PD(3) 空間に一般化できるか？
• RQ3 2 次元の 1 端点を持つ FP₂ 群が単連結な粗い PD(3) 空間上で自由に作用する場合に、生じる代数的および幾何的制約は何か？
• RQ4 G 内の周辺部分群 Fᵢ は、群 G が作用する空間 X の粗いトポロジーとどのように関係するか？
• RQ5 このような群 G が曲面部分群を含むことを保証する条件は何か？

主な発見

• n 次元の粗い PD(n) 空間 X 上に自由な単体的作用をもつ (n−1) 次元の双対性群 G は、群対 (G; F₁,…,Fₖ) が n 次元のポアンカレ双対性対をなすことを示す。
• G が 2 次元の 1 端点を持つ FP₂ 群であり、単連結な粗い PD(3) 空間上で自由に作用するならば、G は曲面部分群を含む。
• 周辺部分群 Fᵢ は作用の固定点群に正確に一致し、その構造は空間 X の粗いトポロジーを反映する。
• 群対 (G; F₁,…,Fₖ) の双対性対構造は、周囲空間 X の粗い双対性によって保存される。
• 本結果は、粗い PD(3) 空間の文脈においてスコット＝シャレンのコンパクトコア定理の部分的な一般化を提供する。
• このような群に曲面部分群が存在することは、粗い双対性および X の単連結性の結果である。