[論文レビュー] Martin boundary covers Floyd boundary

Ilya Gekhtman, Victor Gerasimov+2 more|arXiv (Cornell University)|Aug 7, 2017

Geometric and Algebraic Topology被引用数 10

ひとこと要約

本稿は、有限生成群における有限有効支持のランダムウォークに対して、マーティン境界からフライト境界への連続的かつ等変な全射が確立され、フライト境界の錐状点の逆像が単一の点に一致することを証明する。主な結果は、双曲群におけるアーシュナの不等式を一般化し、カールソンの準地図的推定を無限有効支持測度へ拡張するものであり、確率論的および幾何学的境界理論を統合するための新規なグリーン＝フライト距離比較を用いる。

ABSTRACT

For finitely supported random walks on finitely generated groups $G$ we prove that the identity map on $G$ extends to a continuous equivariant surjection from the Martin boundary to the Floyd boundary, with preimages of conical points being singletons. This yields new results for relatively hyperbolic groups. Our key estimate relates the Green and Floyd metrics, generalizing results of Ancona for random walks on hyperbolic groups and of Karlsson for quasigeodesics. We then apply these techniques to obtain some results concerning the harmonic measure on the limit sets of geometrically finite isometry groups of Gromov hyperbolic spaces. .

研究の動機と目的

• 有限生成群のマーティン境界（確率論的）とフライト境界（幾何学的）の間の位相的および動的関係を確立すること。
• 双曲群におけるアーシュナの不等式を、無限有効支持測度を伴う相対的双曲的および非双曲的設定へ一般化すること。
• グリーン距離とフライト距離の関係を通じて、確率論的調和解析と幾何学的群論を統合すること。
• マーティン境界からフライト境界への連続的かつ等変で全射な写像 π が存在し、錐状点の逆像が単一の点であることを証明すること。

提案手法

• グリーン距離 $d_{\mathcal{G}}$ とフライト距離 $\delta^{f}_{y}(x,z)$ の間に新しい不等式を導出し、減少関数 $A$ を用いて $d_{\mathcal{G}}(x,y)+d_{\mathcal{G}}(y,z) \leq d_{\mathcal{G}}(x,z)+A(\delta^{f}_{y}(x,z))$ を示す。
• 確率論的推定を用いる：任意の $\varepsilon>0$ に対して、$x$ から $y$ へのランダムパスが $z$ の周囲の $R(\delta^{f}_{z}(x,y))$-球に通過する確率は $1-\varepsilon$ を超える。これによりランダムウォークの挙動とフライト幾何学が結びつけられる。
• カールソンの準地図的推定を無限有効支持測度へ一般化し、均一定数に代わる減少関数 $K$ を用いて $d(v,[x,y]) \leq K(\delta^{f}_{v}(x,y))$ を示す。
• グリーン距離とフライト距離の比較および調和測度技術を用いて、マーティン境界からフライト境界への連続的かつ $G$-等変な全射 $\pi: \partial_{\mathcal{M}}G \to \partial_{f}G$ を構成する。
• 写像 $\pi$ による錐状点の逆像が単一の点であることを証明し、すべてのフライト境界点が錐状点であれば写像がホメオモルフィズムであることを示す。
• 相対的双曲群に応用し、マーティン境界からボウチッチ境界への合成写像 $\psi = \phi \circ \pi$ が連続的かつ等変であり、錐状点におけるファイバーが単一の点であることを示す。限界集合上の調和測度への応用も含む。

実験結果

リサーチクエスチョン

• RQ1 有限有効支持のランダムウォークを有する有限生成群に対して、マーティン境界がフライト境界を連続的かつ等変な全射として被覆するか？
• RQ2 元々双曲群と有限測度に対して示されたアーシュナの不等式は、相対的双曲群および無限有効支持測度へ拡張可能か？
• RQ3 非双曲的設定におけるランダムウォークの双曲的類似挙動を捉えるために、グリーン距離とフライト距離の間の一様比較が存在するか？
• RQ4 マーティンからフライト境界への写像における逆像の構造、特に錐状点に関しては？
• RQ5 幾何的に有限な等長群の限界集合上の調和測度は、マーティン境界およびフライト境界とどのように関係するか？

主な発見

• 群 $G$ 上の恒等写像は、連続的かつ $G$-等変な全射 $\pi: \partial_{\mathcal{M}}G \to \partial_{f}G$ に拡張され、マーティン境界がフライト境界を被覆することを証明する。
• フライト境界の錐状点の逆像が $\pi$ に関して単一の点であることを示し、強い位相的対応が存在することを示す。
• 任意の $\varepsilon>0$ に対して、$x$ から $y$ へのランダムパスが $z$ の周囲の半径 $R(\delta^{f}_{z}(x,y))$ の球に進入する確率は $1-\varepsilon$ を超える。これによりランダムウォークの挙動とフライト幾何学が結びつけられる。
• 減少関数 $A$ を用いて不等式 $d_{\mathcal{G}}(x,y)+d_{\mathcal{G}}(y,z) \leq d_{\mathcal{G}}(x,z)+A(\delta^{f}_{y}(x,z))$ が成り立ち、アーシュナの均一バインドを非双曲的設定へ一般化する。
• マーティン境界からボウチッチ境界への写像 $\psi = \phi \circ \pi$ は連続的かつ等変であり、錐状点におけるファイバーは単一の点である。
• 群に放物的要素が存在する場合、写像 $G \to Go \subset X$ は準等長埋め込みにはなり得ないが、導出された距離比較と矛盾しない。これにより境界対応の非自明性が確認される。