[論文レビュー] Expansion in finite simple groups of Lie type

Emmanuel Breuillard, Ben Green+2 more|arXiv (Cornell University)|Sep 8, 2013

Finite Group Theory Research参考文献 64被引用数 5

ひとこと要約

この論文は、固定されたランクをもつリー型有限単純群のランダムな要素対が、高い確率で拡張子ケーリー図を生成することを証明している。ボルガイン＝ガンバルドの手法とその同行論文[BGGT]の結果を用いて、著者たちはこれらの群におけるスペクトル的拡張性を確立し、体の位数が増大する際、関連するランダムケーリー図が、固定されたランクにおいて群のサイズに一様に依存しない拡張子族を形成することを示している。

ABSTRACT

We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.

研究の動機と目的

• 固定されたランクをもつリー型有限単純群におけるランダムな要素対が、拡張子ケーリー図を生成することを確立すること。
• ボルガイン＝ガンバルドの手法を、ランクが有界なリー型有限単純群の設定に拡張すること。
• 群のサイズが増大する際、関連するランダムケーリー図のスペクトルギャップがゼロから一様に離れていることを証明すること。
• 拡張性が、群のサイズに依存しない正のδに対して1 - O(|G|^{-δ})の確率で成り立つことを示すこと。
• 結果をリー型の準単純群のほぼ直積に一般化すること。

提案手法

• 著者たちは、スペクトル的拡張性の定義に従い、群G上のL²(G)に作用する畳み込み作用素Tの作用素ノルムに注目する。これは、対称的生成集合上の一様測度に関連している。
• ボルガイン＝ガンバルドの手法を適用し、非濃縮性とスペクトルギャップの推定に依存することで、リー型有限群の文脈における拡張性を確立する。
• 同行論文[BGGT]の主要結果を活用し、リー型群におけるスペクトルギャップと準ランダム性に関する重要な推定を提供している。
• 双対性が小さい集合の構造を分析し、拡張性を妨げる可能性のある大きな部分群の存在をピボット法により除外する。
• チーリング不等式に基づくスペクトル的議論により、スペクトルギャップ領域にある固有関数は、指数2部分群の特性関数でなければならないことが示され、生成子がこのような部分群を避ける場合に矛盾が生じる。
• 集合の成長に関する組合せ的推定と有限群上の調和解析を組み合わせることで、非拡張的構成が除外されることを示している。

実験結果

リサーチクエスチョン

• RQ1 固定されたランクをもつリー型有限単純群におけるランダムな要素対は、拡張子ケーリー図を生成するか？
• RQ2 ボルガイン＝ガンバルドの手法を、ランクが有界なリー型有限単純群における拡張性の証明に拡張できるか？
• RQ3 群のサイズが増大する際、これらの群におけるランダムケーリー図のスペクトルギャップは、ゼロから一様に離れているか？
• RQ4 どのような群の構造的性質が拡張性を妨げ、それらはどのように高い確率で除外できるか？
• RQ5 結果は、リー型の準単純群のほぼ直積に拡張できるか？

主な発見

• 群Gのサイズが大きくなるにつれて、確率が1 - C|G|^{-δ}以上である限り、固定されたランクをもつリー型有限単純群におけるランダムな要素対は、ε-拡張集合を生成する。ここでε, C, δはいずれもランクにのみ依存する。
• 群のサイズ|G|が無限大に近づく際、固定されたランクにおいて、関連するランダムケーリー図のスペクトルギャップはゼロから一様に離れている。
• 拡張性はスペクトル的および組合せ的である：任意のA ⊆ Gで|A| ≤ |G|/2を満たす集合について、|S²A| ≥ (1+ε)|A|が成り立つ。
• この結果は、固定されたランクをもつすべてのリー型有限単純群（PSL_r+1(F_q) や PSU_r+1(F_{q²}) などの古典的およびねじれ群を含む）に一様に成立する。
• ピボット法とスペクトル解析を用いて、拡張性を妨げる可能性のある大きな部分群や指数2部分群の存在が除外される。
• 結果は、定理8.3で示されるように、リー型の準単純群のほぼ直積にも拡張可能である。