[論文レビュー] A note on approximate subgroups of GL_n(C) and uniformly nonamenable groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|Jan 13, 2011

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

ひとこと要約

本稿は、一様ティーツ代数的選択肢と加法的組合せ論を用いて、任意の $K$-近似部分群が $\mathrm{GL}_n(\mathbb{C})$ において $\exp(K^{O(\log K)})$-制御される、新たな有効な証明を提供する。この手法は一様非アーベル群に対しても拡張可能であり、一様非アーベル性パラメータ $\kappa$ に依存する類似の制御境界をもたらす。結果は原則として有効であるが、$K$ と $n$ に明示的な依存関係をもつが、定数の計算は非自明である。

ABSTRACT

The aim of this brief note is to offer another proof of a theorem of Hrushovski that approximate subgroups of GL_n(C) are almost nilpotent. This approach generalizes to uniformly non amenable groups.

研究の動機と目的

• Hrushovskiの定理における $\mathrm{GL}_n(\mathbb{C})$ 内の近似部分群について、モデル理論を用いない有効な証明を提供すること。
• 近似部分群がノルム部分群によって制御される際の、明示的な多項式的および指数的境界を確立すること。
• 結果を一様非アーベル群に一般化し、線形群にとどまらない制御枠組みを拡張すること。
• 制御境界における $O_{K,n}(1)$ 項が、加法的組合せ論と一様代替法を用いて $K$ と $n$ に明示的な依存関係を持つように有効化できることを示すこと。
• 定性的なモデル理論的結果と、近似部分群論における定量的・計算可能な境界との間のギャップを埋めること。

提案手法

• 命題 2.1（一様ティーツ代数的選択肢）を適用し、$\mathrm{GL}_n(\mathbb{C})$ 内の任意の有限対称集合が、ある仮想的に可解な群を生成するか、または自由群を含むことを示す。
• サンダースおよびクロウト–シサスクの結果（命題 2.2）を用い、$|A'B^m| \leq (1+\varepsilon)|A'|$ を満たすような大きな部分集合 $A'$ と集合 $B$ を見つける。このことは $B^m$ が自由群を生成できないことを示唆する。
• 命題 2.3 を適用し、$|A'B^m| \leq (1+\varepsilon)|A'|$ ならば、$B^m$ は非アーベル自由群を生成する二つの元を含まないことを導く。
• 一様ティーツ代数的選択肢を用いて、$B$ が仮想的に可解な群 $G$ を生成することを結論づけ、マリチェフ–プラトノフの定理（命題 2.4）を適用し、$[G:H] = O_n(1)$ となるような可解部分群 $H \leq G$ を見つける。
• 鳩の巣原理を用い、$B$ と大きく重なる $H$ の陪集合 $Hx$ を見つける。これにより $|A^4 \cap Hx| \gg_{n,K} |A|$ が得られ、命題 2.6 を用いたルツァ型被覆の適用が可能になる。
• 命題 2.6 を用い、$A^2 \cap H$ が $2K^3$-近似可解群であり、$O_{K,n}(1)$-制御する $A$ を示す。その後、命題 2.5 を適用し、これをノルム $K^{O(1)}$-近似部分群に高める。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{GL}_n(\mathbb{C})$ 内の近似部分群がノルム部分群によって制御されることを、モデル理論を用いずに、明示的な境界を伴って証明できるか？
• RQ2 近似部分群の文脈において、制御項 $O_{K,n}(1)$ が $K$ と $n$ にどのように定量的に依存するか？
• RQ3 一様ティーツ代数的選択肢は、近似部分群の分類においてどのように有効な境界を可能にするか？
• RQ4 アーベル的近似部分群による制御枠組みを、一様非アーベル群に拡張できるか？
• RQ5 双曲的群における制御の最良境界は何か？そして、本稿で得られた一般境界と比較するとどうなるか？

主な発見

• 本稿は、任意の $K$-近似部分群 $A \subseteq \mathrm{GL}_n(\mathbb{C})$ が、指数が $\exp(K^{O(\log K)})$ のノルム $K^{O(1)}$-近似部分群によって制御されることを確立した。この指数は一様ティーツ代数的選択肢定数 $m(n)$ に依存する。
• $O_{K,n}(1)$ の制御項は原則として有効であり、サンダースおよびクロウト–シサスクの結果から $K$ と $n$ に明示的な依存関係が導かれる。
• 証明は超フィルターおよびモデル理論を回避しており、Hrushovskiの元々の結果に対する定量的代替案を提供する。
• この手法は $\kappa$-一様非アーベル群に対しても一般化可能であり、$A$ がアーベル的 $K^{O(1)}$-近似部分群によって $\exp(K^{O(\log K / \kappa)})$-制御されることを示す。
• $\delta$-双曲的群では、結果として循環部分群による制御が得られるが、Safinの研究と同様に $O_\varepsilon(K^{2+\varepsilon})$ に改善可能である可能性がある。
• 証明は、加法的組合せ論（ルツァ被覆、積集合推定）と構造的群論（仮想的に可解な部分群、マリチェフ–プラトノフの定理）の組み合わせに依拠している。