[論文レビュー] Growth in solvable subgroups of GL_r(Z/pZ)

Nick Gill, H. A. Helfgott|arXiv (Cornell University)|Aug 31, 2010

Finite Group Theory Research参考文献 26被引用数 25

ひとこと要約

本稿は、$operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の部分集合 $A$ に対して、構造的二分法を確立する：$A$ は強い多項式的成長を示す（つまり、$|A_3| \geq C|A|$）、あるいは可解部分群 $S$ の少数の陪集合に含まれる。主な貢献は、$\operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の可解部分群における成長を、$r$ のみに依存する定量的評価を得て、ノルム的（nilpotent）な状況に還元することであり、これはピーバーおよびツァーボとの共同研究により、すべての部分集合へと拡張されている。

ABSTRACT

Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+δ}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that $$ is solvable.

研究の動機と目的

• 生成された群 $\langle A \rangle$ が可解であるとき、$A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の部分集合の成長挙動を理解すること。
• 二分法を確立する：$A$ は急速に成長する（つまり、$|A_3| \geq C|A|$）、あるいは構造的可解部分群 $S$ の少数の陪集合に含まれる。
• ユニポテン部分群 $U_R$ と可解群 $S$ を用いて、可解部分群における成長の研究をノルム的状況に還元すること。
• ピーバーおよびツァーボの研究を組み合わせることで、可解性の仮定を外し、$\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の任意の部分集合に対しても同様の二分法が成り立つことを示すこと。
• 構造的結果を $C$-近似部分群に応用し、多項式的ランクと指数的制御を持つ陪集合ノルムプログレッションによって制御されることを示すこと。

提案手法

• 群作用に関するタイプの和積結果の精密化（Prop. 2.11）を用いて、トーラス作用とユニポテン部分群の相互作用を分析する。
• 可解群を最大トーラス（作用する）とユニポテン正規部分群（作用を受ける）に分解し、$\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の構造を活用する。
• トリプリング補題および被覆補題（例：Lemma 9.3）を適用して、陪集合構造を用いて集合の成長を制御する。
• 正規部分群 $U_R$ と可解群 $S$ を構成することで、問題をノルム的状況に還元する。ここで $S/U_R$ はノルム的であり、$A_k$ が $U_R$ を含む。
• ピーバーおよびツァーボの結果を用いて、$\langle A \rangle$ が可解であるという仮定を外したバージョン（定理2）を導出し、これにより可解性の仮定を必要としない。
• トイントンの近似部分群に関する結果を適用し、$C$-近似部分群がランク $C^{O_r(1)}$ で指数的制御を持つ陪集合ノルムプログレッションによって $\exp(C^{O_r(1)})$-制御されることを示す。

実験結果

リサーチクエスチョン

• RQ1 生成群 $\langle A \rangle$ が可解である部分集合 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ に対して、$|A_3| \geq C|A|$ となるような強い成長が発生する条件は何か？
• RQ2 急速に成長しない場合に、$A$ の構造は、ノルム的商を持つ可解部分群の少数の陪集合への包含という形で特徴付けられるか？
• RQ3 生成群 $\langle A \rangle$ の可解性の仮定をどの程度外すことができるか？ すべての $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ の部分集合に対して一様な構造的二分法を得られるか？
• RQ4 $C$-近似部分群の構造は、ノルムプログレッションを用いてどのように定量的に記述できるか？
• RQ5 構造的制御の定量的依存関係は、ランク $r$ および近似定数 $C$ に対してどの程度か？

主な発見

• 任意の $C \geq 1$ に対して、$|A_3| \geq C|A|$ が成り立つ（強い成長を示す）、あるいは $A$ はノルム的商 $S/U_R$ を持つ可解部分群 $S$ の $C^{O_r(1)}$ 個の陪集合に含まれる。
• $k \ll_r 1$ が存在し、$A_k$ がユニポテン正規部分群 $U_R \lhd \langle A \rangle$ を含み、$|A_k \cap S| \geq C^{-O_r(1)}|A|$ が成り立つ。定数はすべて $r$ のみに依存する。
• ピーバーおよびツァーボとの共同研究により、$\langle A \rangle$ が可解であるという仮定を外した状況でも、結果はすべての部分集合 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ に拡張可能であり、$H_1 \lhd H_2 \lhd \langle A \rangle$ となる部分群が存在し、$H_2/H_1$ はノルム的であり、$A_k$ が $H_1$ を含む。
• $C$-近似部分群に対しては、$A$ はランク $C^{O_r(1)}$、ステップ数が $r$ 以下の陪集合ノルムプログレッションによって $\exp(C^{O_r(1)})$-制御され、$A^{C^{O_r(1)}}$ に含まれる。制御の強さは $r$ と $C$ のみに依存する。
• 構造的結果から、$A$ が急速に成長しない場合、$A$ は構造的可解群の少数の陪集合に含まれる。その数は $C^{O_r(1)}$ で抑えられ、$C < |A|^{\delta_r}$ かつ $\delta_r > 0$ の場合に意味を持つ。
• 証明は、ユニポテン群における部分群系列の長さ（$< r^2$）の評価に依存し、有限体上のボレル部分群およびシローフ部分群に関する結果を用いて、有界クラスのノルム的部品を抽出する。