[論文レビュー] Dynamics of Aut(Fn) Actions on Group Presentations and Representations

Alexander Lubotzky|arXiv (Cornell University)|Sep 1, 2011

Geometric and Algebraic Topology参考文献 46被引用数 13

ひとこと要約

本調査は、幾何的群論、計算群論、位相幾何学の視点を統合し、Hom(Fₙ, G) および Epi(Fₙ, G) を通じた Aut(Fₙ) の作用による群の表示および表現のダイナミクスを調査する。主な結果として、十分大きな genus g に対して、有限単純群 G に対する epimorphism Π₉ → G の核上での写像類群 M₉ の作用が推移的であり、その軌道は H₂(G, ℤ)/Out(G) に一対一対応することを示しており、M₉ が線型でない可能性を示唆する。

ABSTRACT

Several different areas of group theory, topology and geometry have led to the study of the action of Aut(Fn) | the automorphism group of the free group on n generators | on Hom(Fn;G) when G is either finite,compact or simple Lie group. In this survey, we describe these topics and results, with special emphasis on some similarities and with an effort to give a somewhat uniform treatment. This perspective sometimes suggests new questions, conjectures and methods borrowed from one area to another.

研究の動機と目的

• 群の表示、製品交換アルゴリズム、および曲面群の表現といった多様な数学的文脈を、Hom(Fₙ, G) 上の Aut(Fₙ) の作用という共通の枠組みで統合すること。
• 自由群から有限群、コンパクト群、リー群への epimorphism における Aut(Fₙ) のダイナミクス、特に軌道構造と連結性を調査すること。
• これらのダイナミクスが Wiegold の予想や写像類群の非線型性といった主要な予想に与える影響を検討すること。
• ランダムウォークによる表示グラフ上の構成を通じて、3次元多様体のヘーガード分解などの位相的構成と群論的作用を結びつけること。
• Gashütz の補題とエルゴディシティの結果を用いて、有限群から準有限群やリー群への洞察を拡張し、なぜ準有限表示がより予測可能に働くかを説明すること。

提案手法

• 本稿は、Aut(Fₙ) が Hom(Fₙ, G) および Epi(Fₙ, G) に作用することを用い、Aut(G) による商をとることで、Out(Fₙ) が作用する商空間 Ḣₙ(G) および Ēₙ(G) を定義する。
• 製品交換アルゴリズムを、生成する n-組を頂点とする PRA グラフ上のランダムウォークとして分析し、その連結成分が T-システムに一致することを明らかにする。
• 有限群の場合、PRA グラフの連結性が、ランダムウォークによる有限群の生成確率と関連し、Dunfield と Thurston のランダム 3-多様体モデルに応用される。
• Gashütz の補題を適用することで、準有限表示が離散の場合よりも安定しており、準有限設定における軌道構造がより良好に振る舞うことが示される。
• コンパクトリー群の場合、測度論的道具を用いて、Gⁿ = Hom(Fₙ, G) 上における Aut(Fₙ) のエルゴディシティを研究する。
• 曲面群のケースでは、写像類群 M₉ が Hom(Π₉, G) に作用する仕組みをテイコフ理論と結びつけ、Livingston の安定化結果を用いて、H₂(G, ℤ)/Out(G) を通じた軌道の分類を行う。

実験結果

リサーチクエスチョン

• RQ1 有限群 G に対して、特に有限単純群の場合、Aut(Fₙ) が Epi(Fₙ, G) に作用するとき、どのような条件下で推移的となるか。
• RQ2 PRA グラフの連結成分は、群の表示の同値類やハンドル体作用とどのように関係するか。
• RQ3 写像類群 M₉ が epimorphism Π₉ → G に作用するとき、その核が H₂(G, ℤ)/Out(G) を通じてどのように分類されるか。
• RQ4 コンパクトまたは非コンパクトリー群に対して、Aut(Fₙ) が Hom(Fₙ, G) に作用する軌道構造は、エルゴディック理論や測度論的手法を用いてどのように記述できるか。
• RQ5 Livingston の安定化結果は、M₉ がすべての H₂-不変量が等しい Π₉ → G の核に一様に作用することを示唆するか。このことは、非線型性の証明を支えるものか。

主な発見

• 十分大きな genus g に対して、写像類群 M₉ は、有限非アーベル単純群 G に対する epimorphism Π₉ → G の各軌道に推移的に作用し、その軌道は H₂(G, ℤ)/Out(G) に一対一対応する。
• M₉ が各軌道に作用する際、その作用は完全な交代群によって与えられ、各クラス内での高い対称性と推移性を示している。
• 有限単純群の PRA グラフは、接続性が予想されている（Wiegold の予想）が、この接続性が保証されれば、製品交換アルゴリズムがすべての生成 n-組を一様に生成することを意味する。
• 準有限完備化では、Gashütz の補題により、任意の有限商が準有限表示に引き上げられることから、離散の場合よりも軌道構造がより予測可能になる。
• コンパクトな半単純リー群の場合、Aut(Fₙ) が Gⁿ に作用する際、その作用はエルゴディックであり、測度論的意味で軌道が稠密である。
• 非コンパクトな単純リー群（例：PSL₂(ℝ) や PSL₂(ℂ)）では、ダイナミクスはまだほとんど明らかでないが、軌道構造に関する基本的な問いが提起されている。