[論文レビュー] Approximate subgroups of linear groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|May 11, 2010

Finite Group Theory Research参考文献 31被引用数 20

ひとこと要約

この論文は、有限体上の線型群における近似部分群——例えば SLₙ(𝔽ₚ) ——が非常に小さいか、ほぼ全体の群であるかのいずれかであることを確立している。これは、n=2,3 の場合の Helfgott の結果を一般化したものである。代数幾何学、モデル理論、および和積現象の道具を用いて、SLₙ(𝔽ₚ) を生成する K-近似部分群は、非常に小さい場合を除き、|SLₙ(𝔽ₚ)|^{1−o(1)} 以上のサイズを持つ必要があることが示され、線型代数的群における近似部分群の強い構造定理が得られる。

ABSTRACT

We establish various results on the structure of approximate subgroups in linear groups such as SL_n(k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we show that any approximate subgroup of SL_n(F_q) which generates the group must be either very small or else nearly all of SL_n(F_q). The argument generalises to other absolutely almost simple connected (and non-commutative) algebraic groups G over a finite field k. In a subsequent paper, we will give applications of this result to the expansion properties of Cayley graphs.

研究の動機と目的

• 有限体上の線型代数的群における近似部分群を分類すること。SL₂ および SL₃ の Helfgott の結果を、より高いランクの群へと拡張すること。
• 二分法の確立：SLₙ(𝔽ₚ) を生成する任意の近似部分群は、非常に小さいか、ほぼ全体の群である。
• 代数幾何学、モデル理論、および和積現象の道具を用いて、近似部分群の構造を分析すること。
• 今後の研究における、ケイリーグラフの拡張性に関する応用の基盤を提供すること。

提案手法

• 代数群における積集合の成長を制御するための Larsen-Pink 不等式を近似部分群に適用する。
• 超フィルター法と定量的代数幾何学を用いて、近似部分群のザリスキ閉包を分析する。
• 有限体上の和積定理を用いて、特定の構成における中間的成長を除外する。
• Malcev–Platonov の補題を用いて、GLₙ(ℂ) 内の類可解部分群を制御し、近似部分群の分類を支援する。
• 部分群からの脱出の議論を適応し、非自明な近似部分群が大きな集合を生成しなければならないことを示す。
• 代数的多様体のノエター性を用いて最小の正規部分群を抽出し、脱出しない場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 SLₙ(𝔽ₚ) の近似部分群が、群全体を生成するか、非常に小さい状態に留まるのはどのような条件下か？
• RQ2 高ランクの線型代数的群における近似部分群の構造は、SL₂ および SL₃ と同様に分類可能か？
• RQ3 和積推定と代数幾何学は、有限体における積集合の成長をどのように制御するか？
• RQ4 群のほとんど単純性が、近似部分群が非常に小さいか、非常に大きなものであるように強制する役割を果たすか？
• RQ5 部分群からの脱出性質を用いて、近似部分群のサイズに関する二分法を導けるか？

主な発見

• SLₙ(𝔽ₚ) の K-近似部分群が群を生成する場合、p→∞ のとき、非常に小さい場合を除き、|SLₙ(𝔽ₚ)|^{1−o(1)} 以上のサイズを持つ必要がある。
• 二分法は、SLₙ に限らず、有限体上の絶対的ほとんど単純代数群に対しても成り立つ。
• 近似部分群に対する Larsen-Pink 不等式が確立され、積集合の次元を制御するために用いられている。
• 本論文は一般構造定理を証明している：線型群における近似部分群は、非常に小さいか、ほぼ全体の群である。
• この手法は、部分群からの脱出性質と、代数幾何学を用いて中間次元の部分多様体を除外することに依存している。
• この結果は、有限単純群のケイリーグラフにおける拡張性を示すために、今後の研究で重要な要素を提供する。