[論文レビュー] Boundaries of systolic groups

Damian Osajda, Piotr Przytycki|ArXiv.org|Aug 17, 2008

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

ひとこと要約

本稿では、Systolic複体における特徴的な測地線の系を用いて境界を定義することで、Systolic群に対する$EZ$-構造を構成する。Systolic複体は粗い$CAT(0)$-類似の性質を示す。主な結果は、捩れのないSystolic群がノヴィコフ予想を満たすことであり、ジャンスツキエヴィチと Świątkowskiが提起した長年の未解決問題を解決する。

ABSTRACT

For all systolic groups we construct boundaries which are EZ--structures. This implies the Novikov conjecture for torsion--free systolic groups. The boundary is constructed via a system of distinguished geodesics in a systolic complex, which we prove to have coarsely similar properties to geodesics in CAT(0) spaces.

研究の動機と目的

• 2004年にジャンスツキエヴィチと Świątkowskiが提起した、任意のSystolic群が$EZ$-構造をもつのかという未解決問題を解消すること。
• Systolic群（$CAT(0)$群および双曲群の一般化）が、$EZ$-構造の応用に適した位相的および力学的性質を有する境界をもつことを確立すること。
• 存在する$EZ$-構造のおかげで、捩れのないSystolic群に対してノヴィコフ予想が成り立つことを示すこと。
• 粗い$CAT(0)$空間の測地線に類似した性質を示す測地線の系を用いて、Systolic複体に標準的な境界を定義すること。

提案手法

• 著者らは、Systolic複体$X$におけるユークリッド測地線から導かれる「よい測地線」と呼ばれる測地線の系を用いて、境界$\bar{X} = X \bigcup \bar{\rho}X$を定義する。この測地線は部分線分について粗く閉じている。
• これらの測地線が粗い$CAT(0)$-類似の性質を満たすことを証明し、望ましい位相的特徴を有するコンパactificationの構成を可能にする。
• 境界がコンパクト化$\bar{X}$において$Z$-集合であることが示され、これは$EZ$-構造の条件を満たす。
• $X$上の群作用が$\bar{X}$に連続的に拡張され、その作用は同相写像によって行われ、$EZ$-構造の公理を満たす。
• Rips複体$R_5(X)$と、Systolic複体における有限群作用の固定点に関する結果を用いて、コンパクト化内に可縮な固定点集合が存在することを保証する。
• 著者らはベストヴィナの補題1.3の変種およびローゼンタールの定理4.1を用いて、$EZ$-構造がノヴィコフ予想を意味することを検証する。

実験結果

リサーチクエスチョン

• RQ1 ジャンスツキエヴィチと Świątkowskiが予想したように、任意のSystolic群は$EZ$-構造をもつのか？
• RQ2 Systolic複体に対して、$CAT(0)$の視覚的境界に類似した振る舞いを示すが、組合せ的に定義された境界を構成できるか？
• RQ3 Systolic複体内の測地線構造は、特に粗い幾何学の観点から、$CAT(0)$空間内のものとどの程度類似しているか？
• RQ4 捩れのないSystolic群に対してノヴィコフ予想は成り立つのか？ そして、$EZ$-構造の手法によってこの事実を確立できるか？
• RQ5 同型な群作用を持つが、異なるSystolic複体上で作用するSystolic群が存在する場合、それらの境界は位相的に同相でない可能性はあるか？

主な発見

• 本稿では、任意のSystolic群に対して$EZ$-構造が構成され、ジャンスツキエヴィチと Świątkowskiの予想が裏付けられた。
• 境界$\bar{X}$はEuclidean再帰的空間（ER）であり、境界$\bar{\rho}X$は$\bar{X}$において$Z$-集合である。これは、$EZ$-構造の位相的条件を満たす。
• 任意のコンパクト集合$K \to X$に対して、$G$による平行移動$(gK)_{g \to G}$は$\bar{X}$において零列をなす。これは群作用の下での適切な振る舞いを保証する。
• $X$上の群作用は$\bar{X}$に同相写像として連続に拡張され、$EZ$-構造が保たれる。
• すべての捩れのないSystolic群に対してノヴィコフ予想が成り立つ。これは、$EZ$-構造の存在のおかげである。
• $CAT(0)$の場合、構成された境界は視覚的境界と位相的に同相であり、この設定における既知の結果と整合性が確認された。