[論文レビュー] Approximate groups, III: the unitary case

Emmanuel Breuillard, Ben Green|arXiv (Cornell University)|Jun 26, 2010

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

ひとこと要約

本稿では、ユニタリ群 $\mathrm{U}_n(\mathbb{C})$ の任意の $K$-近似部分群が、同時に対角化可能な行列の $K^C$-近似部分群によって $n^{Cn^3}K^{Cn}$-制御可能であることを確立している。この結果は、このような近似部分群がほとんどアーベル的であることを示唆する。本結果は、モデル理論や代数幾何学を避けて、ジョルダンの定理の初等的応用により得られており、従来の定性的な結果とは異なり、明示的かつ有効な評価を与える。

ABSTRACT

By adapting the classical proof of Jordan's theorem on finite subgroups of linear groups, we show that every approximate subgroup of the unitary group U_n(C) is almost abelian.

研究の動機と目的

• 固定された $n$ に対して、ユニタリ群 $\mathrm{U}_n(\mathbb{C})$ 内の $K$-近似部分群の構造を分類すること。
• 超フィルターまたはモデル理論的技法に依存しない、明示的かつ有効な評価を用いて、近似部分群がアーベル的構造によってどのように制御されるかを提供すること。
• このような近似部分群が、連結アーベル部分群に近く、その正規化群をそのアーベル部分群で割った商写像による像が制御可能であることを確立すること。
• 代数幾何学や有限単純群の分類に依存する深い結果に代わる、より単純で初等的な近似群理論の代替手法を提供すること。

提案手法

• 線型群の有限部分群に関する古典的ジョルダンの定理の証明を、$\mathrm{U}_n(\mathbb{C})$ 内の近似部分群の設定に適応する。
• ヒルベルト＝シュミットノルムを用いて $\mathrm{Mat}_n(\mathbb{C})$ 上に距離を定義し、ベシコビッチ被覆性を用いて幾何的制御を可能にする。
• 行列空間上での弱ベシコビッチ定数 $k_{\text{bes}}(X) \leq 3^{2n^2}+1$ を適用し、被覆数を制御し、対称的近傍の大きさを制御する。
• $\mathbb{R}^{2n^2}$ 内の体積パッキング論法を用いて、球内に含まれる行列の数を制御し、近似部分群の被覆を制御する。
• 問題を、$S$ を連結アーベル部分群とするときの商群 $N(S)/S$ における近似部分群の像の制御に還元する。
• プラトノフの代数群に関する結果を用いて、ほとんどアーベルな部分群を有限部分群と連結部分群に分解し、コリンズによるジョルダンの定理の評価を活用する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ群 $\mathrm{U}_n(\mathbb{C})$ 内の $K$-近似部分群の構造は、明示的かつ有効な評価を用いてアーベル部分群によって制御可能か？
• RQ2 モデル理論や代数幾何学に依存せずに、$\mathrm{U}_n(\mathbb{C})$ 内の近似部分群のほとんどアーベル性を示す初等的証明は存在するか？
• RQ3 このような近似部分群の制御パラメータが $K$ および $n$ に対して最良の依存関係は何か？
• RQ4 超フィルターに基づく手法からの評価は、ユニタリの場合に改善可能か、あるいは有効化可能か？
• RQ5 制御パラメータが $n$ に依存せず、$K$ に対して多項式的依存関係を示すことは可能か？

主な発見

• 任意の $K$-近似部分群 $A \subseteq \mathrm{U}_n(\mathbb{C})$ は、同時に対角化可能な行列からなる $K^C$-近似部分群 $B$ によって $n^{Cn^3}K^{Cn}$-制御可能である。
• 連結アーベル部分群 $S$ を用いた商写像 $\pi: N(S) \to N(S)/S$ における $A$ の像のサイズは、$n^{Cn^4}K^{Cn^2}$ 以下である。
• 制御評価は有効的かつ明示的であり、定数 $C$ は絶対的で、計算可能である。これは、超フィルターに依存する従来の結果とは対照的である。
• 代数群論、定量的代数幾何学、またはモデル理論の使用を避け、メトリック幾何学と初等的群論のみに依存している。
• この結果は、$|A^3| \leq K|A|$ を満たす集合 $A$ が、$|A^2| \leq K|A|$ を満たす場合と同様の構造的制御を受けることを示唆するが、後者については、連結アーベル部分群の $n^{Cn^3}K^{Cn}$ 個の陪集合までしか制御できない。
• 行列空間における被覆数を制御するため、$k_{\text{bes}}(\mathbb{R}^{2n^2}) \leq 3^{2n^2}+1$ が用いられ、これが主な構造的結論の導出を可能にしている。