[論文レビュー] Proper homotopy types and Z-boundaries of spaces admitting geometric group actions

Craig R. Guilbault, Molly A. Moran|arXiv (Cornell University)|Jul 24, 2017

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、有限次元性、CAT(0)構造、自由群作用を仮定しない一般の局所コンパクトな距離空間（AR）に対して、幾何的群論における主要な定理を一般化する。群がこのような空間に幾何的に作用する場合、擬似等長な群は正しくホモトピー同値な空間を持ち、Z境界は形状同値であることが示され、双曲群やCAT(0)群の結果が、ねじれを含む群やより広範な位相的設定へと拡張される。

ABSTRACT

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in the literature, but a significant aim is expository. Toward that end, brief but reasonably comprehensive introductions to the theories of ANRs (absolute neighborhood retracts) and Z-sets are included, as well as a much shorter short introduction to shape theory. Here is a sampling of the theorems proved here. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., then X is proper homotopy equivalent to Y. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., and Y can be compactified to a Z-structure for H, then the same boundary can be added to X to obtain a Z-structure for G. THEOREM. If quasi-isometric groups G and H admit Z-structures (X^, Z_1) and (Y^, Z_2) resp., then Z_1 and Z_2 are shape equivalent.

研究の動機と目的

• CW複体、多様体、またはCAT(0)空間に限定されていた古典的な幾何的群論の定理を、より広いクラスの局所コンパクトな距離空間（AR）へと拡張すること。
• 群作用の自由性の仮定を排除することで、ねじれを含む群への応用を可能にすること。
• ANR理論と形状理論を用いて、多様な空間にわたるZ構造およびZ境界理論を統一的かつ一般化すること。
• ANR、Z集合、形状理論について、これらの道具に不慣れな研究者向けに自己完結的でアクセス可能な導入を提供すること。

提案手法

• CW構造に依存しない、コンパクトなANRの逆系列に基づく一般化された「点をつなぐ」戦略を用いて、正しくホモトピー同値を確立する。
• 定理2.11を介してヒルベルト立方体多様体論を応用し、無限遠点の任意に小さな閉じたANR近傍を構成することで、一般の場合における境界の入れ替えを可能にする。
• 境界の入れ替え技術を用いて、擬似等長な群作用をもつ空間間でZコンパクト化を移動させる。
• 特にZ境界の形状型を定義・比較するために、逆系列のプロホモトピー同値を用いる。
• 被覆空間論およびANR理論（例：定理2.10）を適応し、幾何的群作用をもつ空間のホモトピー同値性を証明する。
• 逆系列間のホモトピー可換写像のラダー図を構築することで、Z境界の形状同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 CW構造や有限次元性を仮定しない場合、幾何的群作用をもつ空間間の正しくホモトピー同値性を確立できるか？
• RQ2 Z構造の境界の入れ替え現象は、非自由な群作用および一般のARに対しても拡張可能か？
• RQ3 有限次元性やねじれ自由性を仮定しない状況下で、擬似等長な群のZ境界が形状同値であることを示せるか？
• RQ4 形状理論をARのコンパクト化に応用することで、Z境界を比較するにはどうすればよいか？
• RQ5 ヒルベルト立方体多様体は、無限遠点の小さなANR近傍を構成する技術的障害をどのように解消するか？

主な発見

• 擬似等長な群が局所コンパクトな距離空間（AR）に幾何的に作用する場合、有界にホモトープな逆写像を持つ連続的な粗同値写像によって、正しくホモトピー同値な空間が得られる。
• 局所コンパクトな距離空間（AR）に幾何的に作用する群のZ境界は、ねじれを含む群であっても、形状同値を除いて一意に定まる。
• 擬似等長な群のZ境界は形状同値であり、これはベストヴィナおよびドランイシュニコフの結果を、非自由作用および無限次元ARへと一般化する。
• ある空間にZ構造が存在するならば、その擬似等長類内の任意の他の空間に対しても、同じ境界をもつZ構造が存在する。
• $X \times [0,1]^\infty$ の使用により、任意のARをヒルベルト立方体多様体に置き換えることができ、無限遠点の任意に小さなANR近傍の構成が可能になる。
• コンパクトなANRの逆系列による境界の入れ替えは、有限次元性や有限CW複体構造を仮定しない状況でも、Z境界を比較する強固な手法を提供する。