[論文レビュー] Linear Approximate Groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|Jan 26, 2010

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

ひとこと要約

本稿では、$\ mathrm{SL}_n(\mathbb{F}_q)$ や Chevalley 群などの線形群における近似部分群が、非常に小さいか、ほぼ全体の群であることを示した。これは Helfgott の $\ mathrm{SL}_2$ に関する結果を一般化するものであり、次元降下、代数群の構造、および冪零近似部分群による制御を用いた証明であり、拡張グラフや有限単純群の直径に関する応用をもたらす。

ABSTRACT

This is an informal announcement of results to be described and proved in detail in a paper to appear. We give various results on the structure of approximate subgroups in linear groups such as $\SL_n(k)$. 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 is valid for all Chevalley groups $G(\F_q)$.

研究の動機と目的

• 線形群、たとえば $\\mathrm{SL}_n(\mathbb{F}_q)$ や Chevalley 群 $G(\mathbb{F}_q)$ における近似部分群の分類を、$\ mathrm{SL}_2$ を超えて Helfgott の結果を拡張すること。
• 群を生成する $\ mathrm{SL}_n(\mathbb{F}_q)$ の $K$-近似部分群が、$K^{C}$ で有界なサイズであるか、ほぼ全体の群 $\ mathrm{SL}_n(\mathbb{F}_q)$ であることを示すこと。
• 近似部分群が $\ mathrm{GL}_n(\mathbb{C})$ に存在する場合、代数群の構造と可解根基を用いて、冪零近似部分群によって制御されることを確立すること。
• 分類を応用して、有限単純線形群のカイリー・グラフの対数的直径境界を証明すること。
• Bourgain-Gamburd の拡張グラフに関する結果を、すべての Chevalley 群 $G(\mathbb{F}_p)$ に拡張し、$G(\mathbb{Z})$ の商が拡張ファミリーを生成することを示すこと。

提案手法

• 次元降下の議論を用いて、$\ mathrm{GL}_n(\mathbb{C})$ の $K$-近似部分群 $A \subseteq$ が、有界な複雑性の代数部分群 $G$ において ザリスキ・DNA であることを示す。
• Larsen-Pink の不等式を適用して、$A$ のサイズをその部分群との交差に依存して制御する。
• 群 $G$ が $A$ で生成される代数群であるとき、$G/\mathrm{Rad}(G)$ への射影により問題を単純な部分群のケースに還元する。
• 単純な群の分類と、単純な場合に $|A| \leq K^C$ が成り立つことを利用して、半単純な場合の $A$ のサイズを有界化する。
• 可解根基 $\mathrm{Rad}(G)$ における像を、$K^{C'}$-近似部分群によって制御し、[2] の結果を用いて、それが自身が冪零 $K^{C'}$-近似部分群によって制御されることを示す。
• 強い近似定理と Tits の代替定理を用いて、ランダムなカイリー・グラフの周囲の長さの対数的境界を確立し、拡張性の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$\ mathrm{SL}_n(\mathbb{F}_q)$ の近似部分群が非常に小さいか、ほぼ全体の群であるかになるか？
• RQ2 Helfgott の $\ mathrm{SL}_2(\mathbb{F}_p)$ に関する分類結果は、高ランクの Chevalley 群 $G(\mathbb{F}_q)$ に拡張可能か？
• RQ3 近似部分群が $\ mathrm{GL}_n(\mathbb{C})$ に存在する場合、どのようにして冪零構造によって制御できるか？ そしてこれはその成長にどのような意味を持つのか？
• RQ4 この分類の結果が、有限線形群のカイリー・グラフの直径に与える影響は何か？
• RQ5 Bourgain-Gamburd の方法で $\ mathrm{SL}_2(\mathbb{F}_p)$ を含むカイリー・グラフの拡張性を証明する方法を、すべての Chevalley 群に一般化可能か？

主な発見

• 群を生成する $\ mathrm{SL}_n(\mathbb{F}_q)$ の $K$-近似部分群は、$K^C$ で有界なサイズか、ほぼ全体の群 $\ mathrm{SL}_n(\mathbb{F}_q)$ である。これは Helfgott の $\ mathrm{SL}_2$ 結果を一般化する。
• 同様の結論は、すべての Chevalley 群 $G(\mathbb{F}_q)$ に対しても成り立ち、有界値は $K$ と $G$ のランクにのみ依存する。
• $\ mathrm{GL}_n(\mathbb{C})$ における近似部分群は、$K^C$-制御された冪零 $K^{C'}$-近似部分群によって制御され、構造的階層が確立される。
• 任意の $G(\mathbb{F}_p)$ のカイリー・グラフの直径は、$C \log^C p$ 以下であり、ここで $C = C(G)$ は群 $G$ に依存する。
• $S \subseteq G(\mathbb{Z})$ がザリスキ・DNA をなす場合、カイリー・グラフ $\mathcal{G}(G(\mathbb{F}_p), S_p)$ は $p \to \infty$ のとき拡張ファミリーを形成する。
• これらの結果により、Varjú の非濃度化に関する研究との接続を通じて、アフィン・スクリーブ法をより広範な文脈に適用可能にする。