[论文解读] Coarse Alexander duality and duality groups

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

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

一句话总结

本论文建立了群作用于粗Poincaré对偶空间时的粗Alexander对偶性，表明一个(n−1)维对偶群G在粗PD(n)空间上的自由单纯作用，会在(G; F₁,…,Fₖ)上诱导出一个n维Poincaré对偶对结构，其中Fᵢ为周边子群。一个关键结果是：若一个2维1-连通FP₂群自由作用于一个单连通的粗PD(3)空间，则该群必包含曲面子群，推广了Scott-Shalen紧致核心定理的部分内容。

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.

研究动机与目标

• 将经典的Alexander对偶性推广至涉及群作用于粗Poincaré对偶空间的粗几何设定中。
• 理解对偶群作用于粗PD(n)空间时的代数与几何结构，特别是当群为对偶群时的情形。
• 通过群论与拓扑对偶性原理，将Scott-Shalen紧致核心定理推广至粗PD(3)空间的设定。
• 刻画自由群作用于粗PD(n)空间时产生的周边子群，并证明其构成Poincaré对偶对。
• 确立在2维FP₂群自由作用于单连通粗PD(3)空间时，该群必包含曲面子群的条件。

提出的方法

• 利用粗几何与粗Poincaré对偶空间理论分析群作用。
• 应用对偶群G作用于粗PD(n)空间X时产生的周边子群概念。
• 利用群对(G; F₁,…,Fₖ)的结构，证明其构成一个n维Poincaré对偶对。
• 利用X的形式维数与对偶性质，推导出关于G的群论结论。
• 利用X是单连通的性质，强化对偶对结论，并将其与3-流形拓扑联系起来。
• 应用几何群论与对偶群的结果，推断2维FP₂群中曲面子群的存在性。

实验结果

研究问题

• RQ1 在何种条件下，对偶群G在粗PD(n)空间上的自由单纯作用会在(G; F₁,…,Fₖ)上诱导出Poincaré对偶对结构？
• RQ2 能否通过群作用将Scott-Shalen紧致核心定理推广至粗PD(3)空间？
• RQ3 一个2维1-连通FP₂群自由作用于单连通粗PD(3)空间时，会产生何种代数与几何约束？
• RQ4 G中的周边子群Fᵢ如何与群G所作用的空间X的粗拓扑相关联？
• RQ5 在何种条件下，此类群G必包含曲面子群？

主要发现

• 一个(n−1)维对偶群G在粗PD(n)空间X上的自由单纯作用，会在群对(G; F₁,…,Fₖ)上诱导出一个n维Poincaré对偶对结构。
• 若G是一个2维1-连通FP₂群，且自由作用于一个单连通的粗PD(3)空间，则G必包含曲面子群。
• 周边子群Fᵢ正是该作用的稳定化子，其结构反映了空间X的粗拓扑性质。
• 对偶对结构(G; F₁,…,Fₖ)在环境空间X的粗对偶性下保持不变。
• 该结果为Scott-Shalen紧致核心定理在粗PD(3)空间设定下的部分推广。
• 此类群中曲面子群的存在性，是粗对偶性与X的单连通性的结果。