[論文レビュー] Freiman's theorem for solvable groups

Terence Tao|arXiv (Cornell University)|Jun 18, 2009

Limits and Structures in Graph Theory参考文献 19被引用数 31

ひとこと要約

この論文は、導出長が有界な可解群へのFreimanの定理の拡張を、『コセットニルプログレッション』を小刻みの構造として導入することで行っている。この構造により、小二重集合の集合が多項式成長を示す集合によって有効に制御されることを示し、Milnor-Wolfの定理を強化する。その結果、多項式成長を示す球が1つあれば十分である。

ABSTRACT

Freiman's theorem asserts, roughly speaking, if that a finite set in a torsion-free abelian group has small doubling, then it can be efficiently contained in (or controlled by) a generalised arithmetic progression. This was generalised by Green and Ruzsa to arbitrary abelian groups, where the controlling object is now a coset progression. We extend these results further to solvable groups of bounded derived length, in which the coset progressions are replaced by the more complicated notion of a ``coset nilprogression''. As one consequence of this result, any subset of such a solvable group of small doubling is is controlled by a set whose iterated products grow polynomially, and which are contained inside a virtually nilpotent group. As another application we establish a strengthening of the Milnor-Wolf theorem that all solvable groups of polynomial growth are virtually nilpotent, in which only one large ball needs to be of polynomial size. This result complements recent work of Breulliard-Green, Fisher-Katz-Peng, and Sanders.

研究の動機と目的

• アーベル群から導出長が有界な可解群へのFreimanの定理の一般化を図ること。
• 非アーベルな状況におけるコセット進歩の適切な置き換えを特定し、コセットニルプログレッションという概念を導入すること。
• このような群における小二重集合が、多項式成長を示す集合によって制御され、その集合がほとんどニルポテンツな部分群に含まれることを確立すること。
• Milnor-Wolfの定理を強化し、可解群が多項式成長を示す場合、球が1つだけ多項式サイズを示せば十分であることを示すこと。

提案手法

• 可解群におけるコセット進歩の一般化として、コセットニルプログレッションの概念を導入すること。
• ノルム群および可解群の理論からの構造的結果を用いて、積集合の成長を制御すること。
• 特に二重定数およびエネルギー推定に関連する道具を用いて、加法的組合せ論の手法を適用すること。
• 有界な導出長の条件を活用し、帰納的に制御するコセットニルプログレッションを構築すること。
• 有効な包含のアイデアを用いて、小二重集合が制御集合において多項式成長を示すことを示すこと。
• 可解群の構造を活用し、有限指数部分群の構成により問題をニルポテンツ部分群に還元すること。

実験結果

リサーチクエスチョン

• RQ1 導出長が有界な可解群へのFreiman型定理を、アーベル群から拡張することは可能か？
• RQ2 非アーベルな可解群におけるコセット進歩の適切な一般化は何か？
• RQ3 可解群における小二重集合が、多項式成長を示す集合によって制御される条件は何か？
• RQ4 Milnor-Wolfの定理は、球が1つだけ多項式サイズを示せば十分であるとすれば、強化可能か？
• RQ5 導出長が有界な可解群におけるすべての小二重集合は、ほとんどニルポテンツな部分群に含まれるか？

主な発見

• 導出長が有界な可解群における小二重集合は、コセットニルプログレッションによって有効に制御される。
• 制御集合は多項式成長を示し、その反復積集合も多項式的に成長する。
• このような集合はほとんどニルポテンツな部分群に含まれる。これは、Green-Ruzsaの枠組みを非アーベル状況に拡張したものである。
• Milnor-Wolfの定理が強化される：可解群が多項式成長を示す場合、球が1つだけ多項式サイズを示せば十分である。
• この結果により、アーベル群におけるFreimanの定理に類似した、可解群における小二重集合の構造的特徴づけが得られる。