[論文レビュー] Ping-pong in Hadamard manifolds

Subhadip Dey, Michael Kapovich+1 more|arXiv (Cornell University)|Jun 19, 2018

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

ひとこと要約

この論文は、負にピンチされたハダマード多様体における離散等距変換群について、ティーツの代数的代替の定量的版を確立する。任意の非自明な離散部分群で、2つの非楕円的等距変換によって生成されるものは、単語長が一様に有界な2ランクの自由部分群を含む。証明は、移動長に基づく2つのケースに分けられ、マーガリス領域、凸包、双曲幾何学を用いて、単語長とべき乗Nの明示的上限を伴うこのような自由部分群を構成するピングポーン論法を用いる。

ABSTRACT

In this paper, we prove a quantitative version of the Tits alternative for negatively pinched manifolds X. Precisely, we prove that a nonelementary discrete isometry subgroup of Isom(X) generated by two non-elliptic isometries g, f contains a free subgroup of rank 2 generated by isometries fN, h of uniformly bounded word length. Furthermore, we show that this free subgroup is convex-cocompact when f is hyperbolic.

研究の動機と目的

• n次元の負にピンチされたハダマード多様体における離散等距変換群のティーツ代替の定量的版を確立すること。
• 2つの非楕円的等距変換によって生成される群において、単語長が一様に有界な2ランクの自由部分群を生成する2つの等距変換の存在を証明すること。
• 生成する等距変換が双曲的であるとき、得られる自由部分群が凸コンパクト的であることを示すこと。
• 次元nと曲率ピンチ定数κの関数として、単語長とべき乗Nの明示的上限を導出すること。
• 2017年オーバーフォルハウゼンワークショップで提起された、この幾何的設定における定量的ティーツ代替に関する疑問を解決すること。

提案手法

• 移動長τ(g) = infₓ d(x, g(x)) に基づいて等距変換を双曲的、楕円的、放物的タイプに分類する。
• 証明を2つのケースに分割する：(1) τ(f) ≥ ε/10 および (2) τ(f) ≤ ε/10、ここでε = ε(n, κ) はマーガリス定数である。
• ケース1（大きな移動長）では、δとεの関数で有界なNに対してf^Nのべき乗を用い、hとピングポーンペアを構成する。
• ケース2（小さな移動長）では、fのべき乗によるgの共軛を用いて、互いに分離したマーガリス領域を持つ等距変換の族を生成し、局所から大域への原理を適用して、十分に分離された凸包を持つペアを特定する。
• 凸包の分離を用いて、折れ線的測地線路を介した局所から大域への原理を介してピングポーン論法を適用する。
• 星型集合はδ-特徴的であり、特徴的集合の凸包は一様に有界な近傍内にあるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 負にピンチされたハダマード多様体における離散等距変換群について、ティーツ代替の定量的版を確立できるか？
• RQ2 このような群において、2ランクの自由部分群を生成するための最小の単語長の上限は何か？
• RQ3 マーガリス領域と凸包の幾何学的性質は、ピングポーン論法による自由部分群の構成にどのように影響するか？
• RQ4 どのような条件下で、この方法によって得られる自由部分群が凸コンパクト的になるか？
• RQ5 次元nと曲率ピンチ定数κの関数として、単語長とべき乗Nの明示的上限を導出できるか？

主な発見

• 任意の非自明な離散部分群で、2つの非楕円的等距変換f, gによって生成される群は、f^Nとhによって生成される2ランクの自由部分群を含み、ここでhの単語長はL(n, κ)以下であり、N ≤ Lであるような関数L(n, κ)が存在する。
• fが双曲的である場合、自由部分群⟨f^N, h⟩は、極限集合の補集合上での作用についてコンパクトな基本領域を構成することで、凸コンパクト的であることが示される。
• τ(f) ≤ ε/10の場合、共軛g′ = h^i g h^{-i} が構成され、fとg′のε-マーガリス領域の凸包が距離 > L(ε/10) で分離される。これによりピングポーン論法が可能になる。
• L(n, κ)の上限は、双曲空間における体積比較を用いて明示的に構成され、ε/3-球の体積と半径R2 = nδ + L/2 + q + r(ε) + ε/3の球の体積を含む。
• 構成における定数k(L(ε/10), ε)は、V(κR2, n)/κ^n / V(ε/3, n) + 1で有界であり、適切なピングポーンペアを見つけるためにチェックすべき共軛の数が有限であることを保証する。
• 自由部分群の生成元hの単語長は、2k(L(ε/10), ε) + 1以下であり、これはnとκに関して一様に有界である。