[論文レビュー] All CAT(0) Boundaries of a Group of the Form HxK are CE Equivalent

Christopher Park Mooney|ArXiv.org|Jul 29, 2007

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

この論文は、両方の $H$ と $K$ が無限大であるような群 $G = H \times K$ のすべての CAT(0)境界が、有限次元コンパクト空間を通じてセル類似であることを証明する。形状論における新しい結果—形状同値なコンパクト空間の直和はセル類似である—を用いて、$H$-空間および $K$-空間の境界の直和として分解される CAT(0) $G$-空間の視覚的境界が、因子境界の形状同値性および空間の有限次元性により、セル類似であることが示される。

ABSTRACT

M. Bestvina has shown that for any given torsion-free CAT(0) group G, all of its boundaries are shape equivalent. He then posed the question of whether they satisfy the stronger condition of being cell-like equivalent. In this article we prove that the answer is "Yes" in the situation where the group in question splits as a direct product with infinite factors. We accomplish this by proving an interesting theorem in shape theory.

研究の動機と目的

• 捩れのない群のすべての CAT(0)境界がセル類似であるかどうかを問うベストヴィナの予想を、直積群に焦点を当てて解決すること。
• 無限大直積群の場合に、境界の形状同値性を、より強いセル類似性に拡張すること。
• 形状論における新しい定理を確立する：形状同値なコンパクト空間の直和は、セル類似である。特に、有限次元設定において。
• 群 $G = H \times K$ で $H$ と $K$ がともに無限大であるとき、すべての CAT(0)境界がセル類似であることを示すこと、群が非剛性であっても成立する。
• 形状同値性とセル類似性を用いた一般枠組みを提供し、積構造を有する CAT(0) 群における境界の剛性を統一的に理解すること。

提案手法

• Hosakaの定理を活用する。この定理は、CAT(0) $G$-空間 $X$ に対して $G = H \times K$ であるとき、境界 $\partial X$ が $H$ および $K$ のための CAT(0) 空間 $Y$ と $Z$ の境界の直和 $\partial Y \ast \partial Z$ と位相同相であると述べている。
• Ontanedaの結果を適用する。この結果により、与えられた群のすべての CAT(0)境界は形状同値である。つまり、任意の二つの $G$-空間に対して $\partial Y \stackrel{\text{SH}}{\simeq} \partial Y'$ および $\partial Z \stackrel{\text{SH}}{\simeq} \partial Z'$ が成り立つ。
• 形状論的結果を新たに証明する：$X \stackrel{\text{SH}}{\simeq} X'$ かつ $Y \stackrel{\text{SH}}{\simeq} Y'$ ならば、$X \ast Y \stackrel{\text{CE}}{\simeq} X' \ast Y'$ が成り立ち、この同値性は有限次元コンパクト空間を通じて実現可能である。
• CAT(0)境界の有限次元性（既知の性質）を用いて、直和同値性を有限次元カテゴリーに制限する。
• 新しい直和的同値性と境界の直和分解を用いて、境界 $\partial X$ と $\partial X'$ 間のセル類似写像のジグザグを構成する。
• チャップマンの $Z$-集合埋め込み定義においてヒルベルト立方体を有限次元立方体に置き換えることで、セル類似同値性が有限次元的であることを保証する。チャップマンおよびヴェネマの有限次元類似物を用いる。

実験結果

リサーチクエスチョン

• RQ1 群 $G = H \times K$ で $H$ と $K$ がともに無限大であるとき、すべての CAT(0)境界がセル類似であるか？
• RQ2 因子が形状同値である場合、直和演算はセル類似同値性を保つか？
• RQ3 群が非剛性であっても、積 CAT(0) 群の境界に対して、より強いセル類似同値性を確立できるか？
• RQ4 形状同値な因子に基づいて、直和のセル類似同値性を保証する一般的な形状論的原理が存在するか？
• RQ5 CAT(0)境界の有限次元性は、この文脈におけるセル類似同値性の有限次元的実現を可能にするか？

主な発見

• 群 $G = H \times K$ で $H$ と $K$ がともに無限大であるとき、すべての CAT(0)境界が有限次元コンパクト空間を通じてセル類似である。
• 形状同値なコンパクト空間の直和は、それらの形状同値な対応物の直和とセル類似である。これは形状論における新しい基礎的結果を確立する。
• この結果は、CAT(0)境界が常に有限次元コンパクト空間であることから、有限次元カテゴリーでも成立する。
• 証明は、境界を直和として分解する Hosaka の結果と、境界の形状同値性を保証する Ontaneda の結果、および新しい直和的同値性を組み合わせることに依存する。
• セル類似同値性は、境界間のセル類似写像のジグザグを介して実現され、同値性が強固で位相的に意味を持つことを保証する。
• 両方の $H$ と $K$ が無限大であるという条件は本質的であり、有限因子では幾何的作用が同じ空間上に生じるため、非剛性の文脈が崩れる。