[論文レビュー] Generic thinness in finitely generated subgroups of $ extrm{SL}_n(\mathbb Z)$

Elena Fuchs, Igor Rivin|arXiv (Cornell University)|Jun 4, 2015

Geometric and Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本稿では、$\ mathrm{SL}_n(\mathbb{Z})$ の対称化ユークリッド球モデルにおいて、半径 $X \to \infty$ のとき、2つのランダムに選ばれた要素が、適切な空間上でピンポンペアを形成することを示すことにより、それらが確率1に近い確率で薄い自由部分群を生成することを示している。この結果により、このモデルにおける一般の薄さが確立され、算術群のランダム部分群の研究における重要な問いが解決された。

ABSTRACT

We show that for any $n\geq 2$, two elements selected uniformly at random from a \emph{symmetrized} Euclidean ball of radius $X$ in $ extrm{SL}_n(\mathbb Z)$ will generate a thin free group with probability tending to $1$ as $X ightarrow \infty.$ This is done by showing that the two elements will form a ping-pong pair, when acting on a suitable space, with probability tending to $1$. On the other hand, we give an upper bound less than $1$ for the probability that two such elements will form a ping-pong pair in the usual Euclidean ball model in the case where $n>2$.

研究の動機と目的

• 自然なユークリッドモデルのランダム性の下で、$\ mathrm{SL}_n(\mathbb{Z})$ の一般の有限生成部分群が薄いかどうかを特定すること。
• 薄い群の文脈における、組み合わせ的モデルとユークリッドモデルのランダム性の不一致を解消すること。
• 対称化されたランダム要素が、$\ mathrm{SL}_n(\mathbb{Z})$ でピンポンペアをなす確率が非常に高いことを確立し、一般の薄さの証明を可能にすること。
• 組み合わせ的高さモデルを超えて、算術群におけるランダム部分群の理解を拡張すること。

提案手法

• 対称化されたユークリッド球モデル $B_X'(G) = \{g \in \mathrm{SL}_n(\mathbb{Z}) \mid \|g\|, \|g^{-1}\| \leq X\}$ を用いて、生成子のペアに対する確率測度 $\mu_X'$ を定義する。
• ブロイアード＝ゲランダーによる、$\ mathrm{SL}_n(\mathbb{R})$ が射影空間上で作用するピンポンペアの特徴付けを用いて、ランダム行列のダイナミクスを分析する。
• 特異値分解と測度の集中を活用し、ランダム行列が大きな特異値ギャップと一様に分布する主要特異ベクトルを、高い確率で持つことを示す。
• ランダム行列積によるリャプノフ指数の推定を用いて、軌道の指数的発散を示し、ピンポン機構を支援する。
• 特異ベクトルの一様分布とギャップ推定を組み合わせ、ピンポンペアを形成する確率が $X \to \infty$ のとき1に近づくことを証明する。
• ピンポンの議論を用いて、生成された群が自由であり、$\ mathrm{SL}_n(\mathbb{Z})$ において無限索引である、つまり薄いことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 半径 $X$ の対称化ユークリッド球から一様に選ばれた2生成子で生成される $\ mathrm{SL}_n(\mathbb{Z})$ の部分群は、$X \to \infty$ のとき薄くなるのか？
• RQ2 標準的なユークリッド球モデルでは $n > 2$ のとき失敗するにもかかわらず、ユークリッドモデルにおいてピンポン機構を用いて一般の薄さを証明できるか？
• RQ3 対称化された球モデルは、ピンポンダイナミクスによる自由群の生成確率にどのように影響するか？
• RQ4 ランダム行列の特異値ギャップとベクトルの整合性は、$\ mathrm{SL}_n(\mathbb{Z})$ 内のピンポン条件を満たすために果たす役割は何か？

主な発見

• $n \geq 2$ のとき、対称化ユークリッド球 $B_X'(G)$ から一様にランダムに選ばれた2要素は、$X \to \infty$ のときピンポンペアをなす確率が1に近づく。
• 標準的なユークリッド球モデルでは $n > 2$ のとき、2要素がピンポンペアをなす確率は1未満であるため、対称化が不可欠であることが示された。
• 対称化モデルにおける2つのランダム要素が生成する群のリャプノフ指数は、$X$ と共に高確率で無限大に近づく。
• $B_X'(G)$ 内のランダム行列の特異値は、$X \to \infty$ のとき、1番目と2番目の特異値のギャップが拡大する。
• $B_X'(G)$ 内のランダム行列の主要特異ベクトルは、直交群において一様に分布し、高確率で0に近い内積を持つ。
• その結果、生成された群は自由であり、$\ mathrm{SL}_n(\mathbb{Z})$ において無限索引であるため、確率1に近い確率で薄い。