[論文レビュー] The structure of approximate groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|Oct 22, 2011

Geometric and Algebraic Topology参考文献 44被引用数 10

ひとこと要約

本稿では、群における小倍数を持つ有限対称集合としてのK-近似群—これは非アーベル群へのFreiman-Ruzsa定理の一般化である—が本質的に有限部屋の冪零群であることを確立する。局所コンパクト群との対応原理を用い、Gleason型解析を適用することで、近似群がLie群によってよく近似されることを示し、HelfgottとLindenstraussの予想を解決するとともに、Gromovの定理および一般化されたMargulisの補題の有限版を得る。

ABSTRACT

Let K >= 1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A^2 is covered by K left translates of A. The main result of this paper is a qualitative description of approximate groups as being essentially finite-by-nilpotent, answering a conjecture of H. Helfgott and E. Lindenstrauss. This may be viewed as a generalisation of the Freiman-Ruzsa theorem on sets of small doubling in the integers to arbitrary groups. We begin by establishing a correspondence principle between approximate groups and locally compact (local) groups that allows us to recover many results recently established in a fundamental paper of Hrushovski. In particular we establish that approximate groups can be approximately modeled by Lie groups. To prove our main theorem we apply some additional arguments essentially due to Gleason. These arose in the solution of Hilbert's fifth problem in the 1950s. Applications of our main theorem include a finitary refinement of Gromov's theorem, as well as a generalized Margulis lemma conjectured by Gromov and a result on the virtual nilpotence of the fundamental group of Ricci almost nonnegatively curved manifolds.

研究の動機と目的

• 任意の群におけるK-近似群の構造を同定することにより、アーベルな状況を超えてFreiman-Ruzsa定理を拡張すること。
• HelfgottとLindenstraussが提起した予想、すなわち近似群が本質的に有限部屋の冪零群であることの解決。
• 近似群と局所コンパクト群との間の対応関係を確立し、モデル理論的および幾何的技法の適用を可能とすること。
• ヒルベルトの第5問題におけるGleason型の議論を近似群の文脈に適応し、構造的結果を導出すること。
• Gromovの多項式成長群に関する定理および一般化されたMargulisの補題のような幾何的定理の有限版を提供すること。

提案手法

• K-近似群と局所コンパクト（局所的）群との間の対応原理を導入し、位相的およびモデル理論的道具の使用を可能とする。
• HrushovskiのLieモデル定理を適用して、近似群がLie群によって近似的にモデル化されることを示す。
• 逃げノルムを定義し、それを使ってGleason型の補題を構成する。ヒルベルトの第5問題の解決手法を適応する。
• コセット冪零進化列を、交換関係と正規形の制御が可能な主な構造的モデルとして用いる。
• Lieモデルの次元に上限を示し、Lieランクが倍数定数Kによって制御されることを示す。
• 構造定理を適用して、幾何的結果の有限版を導出し、特にリッチ曲率がほぼ非負の多様体の基本群の仮想冪零性を示す。

実験結果

リサーチクエスチョン

• RQ1 任意の群におけるK-近似群の構造は、アーベル群におけるFreiman-Ruzsa定理と類似した形で分類可能だろうか？
• RQ2 HelfgottとLindenstraussが予想したように、すべてのK-近似群は本質的に有限部屋の冪零群だろうか？
• RQ3 近似群はLie群によって近似的にモデル化可能だろうか？また、倍数定数KとLieランクの関係は何か？
• RQ4 ヒルベルトの第5問題の解決手法を近似群の文脈にどの程度適応できるだろうか？
• RQ5 構造定理からどのような有限版の幾何的帰結が得られるだろうか？特にGromovの定理およびリッチ曲率の文脈において。

主な発見

• すべてのK-近似群は、有限正規部分群を除いて冪零群である。言い換えれば、本質的に有限部屋の冪零群である。
• HrushovskiのLieモデル定理により、近似群はLie群によって一様に近似可能であり、LieランクはKの関数として有界である。
• Gromovの多項式成長群に関する定理の有限版が確立され、その群における成長が明示的な次数の上限を伴って多項式的であることが示された。
• リッチ曲率がほぼ非負の多様体の基本群は仮想冪零群である。これはGromovの予想を確認する。
• 一般化されたMargulisの補題が証明され、近似群の文脈において、小さな等長変換の構造が冪零部分群によって制御されることを示した。
• コセット冪零進化列の多項式的成長が確立された：|P^m| ≪_{C,r} m^{O_{C,r}(1)} |P| であり、定量的な構造的境界が得られた。