[論文レビュー] Generic Phenomena in Groups -- Some Answers and Many Questions

Igor Rivin|arXiv (Cornell University)|Nov 28, 2012

Geometric and Algebraic Topology参考文献 73被引用数 6

ひとこと要約

この論文は、写像類群、格子、線形群におけるランダムな要素に注目し、幾何群論における一般化された現象を概説する。確率論的・幾何的・力学的アプローチを統合し、双曲的3次元多様体構造の鍵をなす擬等長要素—特に、擬等長要素が多くの設定において一般的であることを示す。クェイジモーフィズムとランダムウォークを用いて、非擬等長要素の確率の多項式より速い減衰率を証明するが、定数は非効果的のまま残る。

ABSTRACT

We give a survey of some known results and of the many open questions in the study of generic phenomena in geometrically interesting groups.

研究の動機と目的

• 3次元多様体における双曲的構造の広がりを、写像類群における擬等長要素の一般性を通じて理解すること。
• SL(n,Z) や Sp(2n,Z) などの算術群におけるランダム要素の分布を、確率論的および幾何的技法を用いて調査すること。
• クェイジモーフィズムとランダムウォークが、写像類群の非自明部分群における一般的挙動を検出する役割を明らかにすること。
• トレイリーグループおよび高次写像類群における要素の一般性に関する未解決問題を特定すること。
• 格子および対称空間における一般性の観点から、幾何群論、確率論、数論を統合すること。

提案手法

• 表面のホメオモーフィズムのターフォン分類を用い、要素を周期的、可約、または擬等長に分類する。
• 非擬等長要素を検出するためにクェイジモーフィズムを適用し、非擬等長要素上で消える線形独立なクェイジモーフィズムに関するベストヴィナ＝フジワラの定理を活用する。
• クェイジモーフィズムの中心極限定理（ビョörクルント＝ハルトニッケ）を用いて、ランダムウォークにおける非擬等長要素の確率の減衰推定を導出する。
• ランダム行列積と幾何群論を組み合わせ、SL(2,Z) および高ランク格子における一般性を研究する。
• 被覆空間理論とトレイリーホモモーフィズムを用いて部分群を上に持ち上げ、有限指数被覆における一般性を分析する。
• 群ウォークにおける畳み込み推定を適用し、非擬等長要素の確率を Ck^(-d/2) で上から抑えることで、多項式より速い減衰を示す。

実験結果

リサーチクエスチョン

• RQ1 表面の写像類群において、擬等長要素は一般的か？ また、ランダムウォークにおける非擬等長要素の確率の減衰速度はどの程度か？
• RQ2 写像類群の非自明部分群は、すべて、トレイリーホモモーフィズムの像が非可解となる被覆に持ち上げ可能か？ その被覆次数は有効か？
• RQ3 SL(n,Z) および Sp(2n,Z) におけるランダム要素の漸近的分布は何か？ これにより関連する3次元多様体における双曲的性質はどのように関連するか？
• RQ4 クェイジモーフィズムは、高ランク格子および対称空間における一般的挙動をどの程度検出できるか？
• RQ5 現在の手法は、非一般的要素における指数的減衰を示すためにどの程度有効か？ また、現在の境界の限界は何か？

主な発見

• 非自明な写像類群部分群におけるランダムウォークが非擬等長要素を生成する確率は、任意の多項式より速く減少し、ある定数 C と d に対して Ck^(-d/2) で上から抑えられる。
• 非退化クェイジモーフィズムと中心極限定理の適用により、非擬等長要素は多項式より速い減衰を示すが、定数は非効果的である。
• トレイリーグループにおいて、一般の要素は擬等長であり、これは、トレイリーホモモーフィズムの像が非可解である被覆が存在することに起因する。
• SL(2,Z) の場合、双曲的要素（＝擬等長）はランダムウォークにおいて一般的であり、その固定点は実直線上の二次無理数である。
• すべての非自明な部分群が、非可解なトレイリーホモモーフィズム像を持つ被覆に持ち上げられるという予想は未解決であり、現在の被覆次数の境界は語呂長さの二重指数的である。
• 曲線複体およびクェイジモーフィズムを通じた幾何的アプローチにより、写像類群における一般性はスペクトル的および確率的技法で検出可能であるが、有効性は失われる。