[論文レビュー] The Martin boundary of relatively hyperbolic groups with virtually abelian parabolic subgroups

Matthieu Dussaule, Ilya Gekhtman+2 more|arXiv (Cornell University)|Nov 30, 2017

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

ひとこと要約

本稿は、ほぼアーベルなパラボリック部分群をもつ相対的双曲的群における有限有効なランダムウォークのマーティン境界について、完全な位相的特徴付けを提供する。相対的アングナ不等式と、サブ・マルコフ連鎖に関するネイとスピッツァーの結果の一般化を組み合わせることで、著者らはマーティン境界が、コーン・オフ空間のグロモフ境界とパラボリック部分群のビジュアル境界の和集合として定義されるZ境界と位相的に同相であることを示している。特に、H³における非一様格子に対しては、マーティン境界はシエルピンスキー・カーペットと位相的に同型である。

ABSTRACT

Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.

研究の動機と目的

• 有限有効なランダムウォークが相対的双曲的群に作用する場合のマーティン境界について、完全な位相的記述を提供すること。
• 相対的アングナ不等式とサブ・マルコフ連鎖理論を統合することで、従来の双曲的および自由積の設定におけるマーティン境界に関する結果を統合・拡張すること。
• マーティン境界が、ボウチッチ境界とパラボリック部分群のビジュアル境界を組み合わせたZ境界構成と一致することを確立すること。
• マーティン境界のすべての点が最小であることを証明し、境界の幾何学的・確率的構造の明確な対応を保証すること。
• 非一様格子がHⁿに作用する場合、n = 3のときマーティン境界がシエルピンスキー・カーペットと位相的に同型であることを示すこと。

提案手法

• 相対的アングナ不等式（定理4.3）を用いて、ボウチッチ境界における錐状点に収束する点列に沿ったマーティン核の収束を分析する。
• Zᵏ × {1,…,N} 上のサブ・マルコフ連鎖に対するネイとスピッツァーの結果の一般化（命題4.6）を適用し、パラボリック部分群付近でのマーティン境界の構造を記述する。
• Γのコンパクト化として、コーン・オフ空間 ˆΓ のグロモフ境界とパラボリック部分群のコセットのビジュアル境界を併合することによってZ境界を構成する。
• 大きなパラボリック部分群Pの近傍における誘導されたランダムウォークが、大きな指数的モーメントを持つことを証明し、一般化されたネイ＝スピッツァー結果の適用を可能にする。
• フライト距離とケーリー図の幾何的性質を用いて、マーティン境界と切断されたCAT(0)空間のビジュアル境界との関係を確立する。
• Z境界からボウチッチ境界へのG-不変で連続的かつ全射な写像を構築し、マーティン境界がZ境界であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ほぼアーベルなパラボリック部分群をもつ相対的双曲的群のマーティン境界は、どのように位相的に特徴付けられるか？
• RQ2 マーティン境界が、ホロボールを切断して得られるCAT(0)空間のビジュアル境界と一致する条件は何か？
• RQ3 特に、ランダムウォークがP上で有限有効でない場合に、パラボリック部分群付近でのマーティン境界の構造はどのようなものか？
• RQ4 パラボリック部分群がほぼアーベル的でランクkであるとき、ボウチッチ境界におけるパラボリック点のマーティン境界写像による逆像は、次元k−1の球面と同相になるか？
• RQ5 マーティン境界のすべての点が最小であるか？ これは境界の幾何学的構造とどのように関係するか？

主な発見

• ほぼアーベルなパラボリック部分群をもつ相対的双曲的群のマーティン境界は、コーン・オフ空間のグロモフ境界とパラボリック部分群のコセットのビジュアル境界の和集合として定義されるZ境界と位相的に同型である。
• H³における非一様格子に対しては、マーティン境界は切断されたCAT(0)空間のビジュアル境界と一致するため、シエルピンスキー・カーペットと位相的に同型である。
• ボウチッチ境界におけるパラボリック点のマーティン境界写像による逆像は、ほぼアーベル的パラボリック部分群のランクkに対し、次元k−1の球面と同相である。
• マーティン境界はZ境界である。これは、Γ内の点列が境界点に収束するための必要十分条件が、ボウチッチ境界における錐状点に収束するか、またはパラボリック部分群のコセットへの最近接点の射影がその部分群のビジュアル境界上で収束することであることを意味する。
• マーティン境界のすべての点が最小である。これは、ある点が他の境界点の列の極限として現れないことを意味し、滑らかな位相的構造を保証する。
• マーティン境界は、ダーマンのZ境界構成および切断されたCAT(0)空間のビジュアル境界と、G-不変かつ同相である。これにより、標準的な幾何的モデルが確立される。