[論文レビュー] Growth in linear groups

Endre Szabó, László Pyber|arXiv (Cornell University)|Aug 13, 2012

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

ひとこと要約

この論文は、一般線型群における成長に関する多項式逆定理を確立し、任意の対称的部分集合 $ S $ が三重化定数 $ |S^3| \leq K|S| $ を満たす場合、$ S $ が $ K^{c(n)} $ 個の陪集合に含まれることを示している。ここで $ c(n) $ は $ n $ に依存する関数であり、$ S $ によって正規化される可解的有限部分群の陪集合である。この結果は、任意の体上の一般線型群への積の定理の拡張であり、中心化子構造と有限群の分解を用いて、有限群と代数群の構造的結果を統一する。

ABSTRACT

We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups.

研究の動機と目的

• 有限単純リー型群の積の定理を任意の体上の一般線型群へ拡張すること。
• 非成長部分集合の構造的制約を示し、それが可解的有限部分群の少数の陪集合に含まれることを特徴づけること。
• 中心化子構造とマリチェフの埋め込み定理を用いて、有限群論と代数群論を成長の文脈で統一すること。
• このような部分集合を覆うために必要な陪集合の数に対する多項式的バウンドを、体のサイズに依存しない形で提供すること。
• 正標数の体上の線型群に適用可能な、ハルショフスキーの定理の有限群版を確立すること。

提案手法

• 有限単純リー型群の積の定理を基底ケースとして用いる。
• CCC部分群（連結部分群の連結中心化子）を、代数群における最大トーラスの一般化として導入する。
• 部分集合 $ S $ が $ |S^3| \leq K|S| $ を満たす場合、一般化されたトーラスに類似した構造を用いて、$ S $ の大きなべきが $ S $ によって正規化される部分群 $ H $ に集中することを証明する。
• 帰納法と有限群の分解定理（例えばワイズフェーラーの結果）を用い、有限線型群を $ O_p(G) $ とリー型の準単純群の中心積に分解する。
• マリチェフの定理を用いて、有限体からの結果を任意の体へと拡張し、無限線型群への応用を可能にする。
• 有限群の結果と代数群の構造を組み合わせ、ハルショフスキー型の定理を有限の場合に多項式的バウンドへと高める。その後、一般の体へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 対称的部分集合 $ S \subset \mathrm{GL}(n,\mathbb{F}) $ が三重化が小さい、すなわち $ |S^3| \leq K|S| $ を満たす場合、どのような構造的制約が生じるか？
• RQ2 有限単純リー型群の積の定理を、任意の体上のすべての線型群へ拡張することは可能か？
• RQ3 非単純的または非再帰的状況において、代数群における最大トーラスの概念をどのように一般化できるか？
• RQ4 元のタプルの中心化子は、線型群の部分集合における構造的集中を検出するために果たす役割は何か？
• RQ5 有限線型群における成長に関する結果を、マリチェフの埋め込み定理を用いて無限線型群へと持ち上げることは可能か？

主な発見

• 任意の対称的部分集合 $ S \subset \mathrm{GL}(n,\mathbb{F}) $ で $ |S^3| \leq K|S| $ を満たすものについて、$ S $ は $ K^{c(n)} $ 個の陪集合に含まれる。ここで $ c(n) $ は $ n $ に依存する関数であり、$ S $ によって正規化される可解的有限部分群 $ \Gamma $ の陪集合である。
• 部分群 $ \Gamma $ は正規可解部分群 $ H $ を含み、$ \Gamma \subset S^6 H $ が成り立つ。これは強い構造的制御を示している。
• 有限線型群に対して、群 $ G \leq \mathrm{GL}(n,\mathbb{F}) $ は、指数が高々 $ f(n) $ である正規部分群 $ H $ を持ち、$ H/O_p(G) $ は標数 $ p $ のリー型の準単純群の中心積である。
• この結果は、標数 0 の体上の線型群に対してハルショフスキーの定理の多項式的バージョンを示しており、ブロイアード、グリーン、タオの結果と一致する。
• 証明では、最大トーラスの一般化としてのCCC部分群が用いられ、その一般化されたタプルの中心化子が元の部分群を回復できることにより、帰納的集中議論が可能になる。
• この定理は、任意の標数の体に対して一様に成り立ち、バウンド $ K^{c(n)} $ は $ n $ のみに依存し、体や群のサイズには依存しない。