[論文レビュー] Finite-Dimensionality of Z-Boundaries

Molly A. Moran|arXiv (Cornell University)|Jun 29, 2014

Geometric and Algebraic Topology参考文献 9被引用数 7

ひとこと要約

本稿は、Drainishnikovの一般化された$\mathscr{Z}$-構造フレームワークにおいて定義された群の$Z$-境界が、コンパクト化の有限次元性を仮定しなくても常に有限次元的であることを証明している。この結果は、共通作用の等長的群作用とノルメーション条件から導かれるものであり、Bestvina理論とDranishnikov理論を統合し、境界の有限次元性が仮定ではなく、他の公理の結果であることを示している。

ABSTRACT

In this paper, we refine the notion of Z-boundaries of groups introduced by Bestvina and further developed by Dranishnikov. We then show that the standard assumption of finite-dimensionality can be omitted as the result follows from the other assumptions.

研究の動機と目的

• Dranishnikovの$\mathscr{Z}$-構造における公理のうち、境界の有限次元性が仮定ではなく、他の公理の結果であることを示すこと。
• 共通作用の等長的群作用を有するより広いクラスの距離空間に、CAT(0)空間に関するSwensonの定理を一般化すること。
• コンパクト化の有限次元性を仮定する必要をなくすことで、Bestvina理論とDranishnikov理論の群境界理論を統合すること。
• Dranishnikovの枠組みにおけるコhomological次元の結果が、境界の有限次元性のおかげでLebesgue被覆次元の結果に置き換えられることを示すこと。
• 任意のAR $\mathscr{Z}$-構造を有する群は、Bestvinaが定義する標準的$\mathscr{Z}$-構造をも有することを証明すること。

提案手法

• 共通作用の等長的群作用から生じる、空間$X$上の均一有界な開被覆を、最大の$r$-分離集合を用いて構成する。
• $\mathscr{Z}$-集合ホモトピー$H: \hat{X} \times [0,1] \to \hat{X}$を用い、境界$Z$を$\hat{X}$の内部へ変形し、$t > 0$では$Z$を避ける。
• ノルメーション条件を活用して、有界集合の群作用によるほとんどすべての平行移動像が、コンパクト化において小径の集合内にあることを保証する。
• $H_{t_\epsilon}(Z)$の小さな、有限順序の被覆を引き戻して、$Z$の被覆$\mathscr{W}_\epsilon$を構成し、メッシュが$\epsilon$未満かつ有限順序となるようにする。
• 有限次元的ANRは局所可縮可能であることを利用し、境界交換定理の適用を可能にする。
• Bestvinaの境界交換定理の一般化版を適用し、境界$Z$をARコンパクト化からER空間へ移動させ、標準的$\mathscr{Z}$-構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 Dranishnikovの$\mathscr{Z}$-構造の公理から、$\mathscr{Z}$-境界の有限次元性を事前に仮定せずに導出可能か？
• RQ2 距離$\mathscr{Z}$-構造におけるノルメーション条件は、境界の被覆次元の有限性を意味するか？
• RQ3 コンパクト化がERでなければならないという要件をなくすことで、$\mathscr{Z}$-境界理論を統合可能か？
• RQ4 AR $\mathscr{Z}$-構造を有する任意の群は、Bestvinaの意味で標準的$\mathscr{Z}$-構造を有するか？
• RQ5 境界の被覆次元が有限次元的である場合、Dranishnikovの枠組みにおいてコhomological次元の結果を被覆次元の結果に置き換え可能か？

主な発見

• 任意のproperな距離空間$X$上の距離$\mathscr{Z}$-構造$(\hat{X}, Z)$の境界$Z$は、常に有限次元的である。すなわち、$\dim Z < \infty$である。
• 境界$Z$の有限次元性は、共通作用の等長的群作用とノルメーション条件から導かれるが、$\hat{X}$が有限次元的である必要はない。
• この結果は、CAT(0)空間に関するSwensonの定理を、共通作用の等長的群作用を有するより広いクラスの空間へ一般化する。
• Dranishnikovの枠組みにおいて、境界$Z$に関するすべてのコhomological次元の結果は、$Z$の有限次元性のおかげでLebesgue被覆次元の結果に置き換え可能である。
• 任意のAR $\mathscr{Z}$-構造を有する群は、一般化された境界交換定理を用いて、Bestvinaの意味での標準的$\mathscr{Z}$-構造を有することが示された。
• 証明は、$\mathscr{Z}$-集合ホモトピー下で$H_{t_\epsilon}(Z)$の小さな被覆を引き戻して、$Z$の小さな、有限順序の開被覆を構成することに依存しており、これにより被覆次元が有限となる。