[論文レビュー] Properness of nilprogressions and the persistence of polynomial growth of given degree

Matthew Tointon, Romain Tessera|arXiv (Cornell University)|Dec 15, 2016

Limits and Structures in Graph Theory参考文献 30被引用数 2

ひとこと要約

本稿では、任意のnilprogressionが上三角行列形式の適切なcoset nilprogressionによって有効に近似可能であることを確立し、Freiman型の結果を可解的状況に拡張する。主な貢献は、次数Dの多項式的成長の持続性の証明である：対称生成集合Sが十分大きなスケールnで|Sn| ≤ Mn^Dを満たすならば、すべてのr ≥ nに対して|Sr| ≪M,D r^Dが成り立つ。これはBenjaminiの予想を確認するものである。

ABSTRACT

We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1\in S$ and $|S^n|\le Mn^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|\ll_{M,D}r^D$ for every $r\ge n$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step.

研究の動機と目的

• 一般のnilprogressionが有効に適切なcoset nilprogressionに含まれることを示すことで、Freiman–Bilu定理の可解的類似を確立すること。
• Benjaminiによる多項式的成長の持続性に関する予想を解決すること：|Sn| ≤ Mn^Dが十分大きなスケールnで成り立つならば、すべてのr ≥ nに対して|Sr| ≪M,D r^Dが成り立つことの証明。
• Breuillard–Green–Taoの近似群定理の構造的改良を、近似群がcoset nilprogressionに含まれることを有効にすることによって行うこと。
• すべての近似群が、ある有界ランク・有界ステップのねじれなし可解群の部分集合と、大きな商群上でFreiman同型となるような大きな部分集合を含むことの示唆。
• 今後発表予定の、多項式的成長を示す頂点推移的グラフのスケーリング極限に関する論文のための主要技術的要素を提供すること。

提案手法

• 数体幾何のLie代数的版を用いて、与えられたnilprogressionを近似する適切なcoset nilprogressionを構成する。
• nilprogressionにおける上三角行列形式の概念を導入・分析し、制御された交換関係と座標の振る舞いを保証する。
• m-適切性の概念を用いた改良版の二重化補題を適用し、集合の積における成長を制御する。
• 繰り返しLemma 8.11を適用し、包含関係（例：XHPr ⊂ S_r^n ⊂ XHPO⌈D⌉,m,k(r)）を用いて、スケールを跨ぐ成長の制御を伝搬する。
• nilprogression HPの適切性と上三角行列形式を用いて、Li ≫⌈D⌉nζ(i)という下界を導出し、ランクωの制御を得る。
• HPの適切性と成長条件|Sn| ≤ Mn^Dを組み合わせて、ω ≤ ⌊D⌋を導出し、望ましい多項式的成長の上限を得る。

実験結果

リサーチクエスチョン

• RQ1 任意のnilprogressionは、上三角行列形式の適切なcoset nilprogressionによって有効に近似可能か？
• RQ2 十分大きなスケールnで次数Dの多項式的成長が成立するならば、それ以降のすべてのスケールでも同じ次数の多項式的成長が成立するか？
• RQ3 Breuillard–Green–Taoの構造定理における無効な境界を、可解的状況において有効なものにできるか？
• RQ4 nilprogressionのランクと群における多項式的成長の次数の関係は何か？
• RQ5 すべての近似群は、大きな商群上でFreiman同型となるような、ねじれなし可解群の部分集合と関係づけられるか？

主な発見

• 任意のnilprogressionは、上三角行列形式の適切なcoset nilprogressionによって有効に近似可能であり、これはFreiman–Bilu結果を可解的状況に一般化するものである。
• Benjaminiによる多項式的成長の持続性に関する予想が確認された：|Sn| ≤ Mn^Dが十分大きなスケールnで成り立つならば、すべてのr ≥ nに対して|Sr| ≪M,D r^Dが成り立つ。
• nilprogressionのランクωは、成長条件と適切性からω ≤ ⌊D⌋を満たすことが導かれる。これは正しい次数の多項式的成長を保証する。
• nilprogressionの辺長Liは、Li ≫⌈D⌉nζ(i)を満たす。ここでζ(i)は生成子uiが成長に寄与するかどうかを示す。これにより体積の適切な制御が得られる。
• 証明により|HPr| ≪⌈D⌉r⌊D⌋|HP|が得られ、最終的に|Srn| ≪⌈D⌉r⌊D⌋|Sn|が得られ、次数Dの多項式的成長の持続性が確認される。
• 本手法は、多項式的成長を示す頂点推移的グラフのスケーリング極限に関する今後の結果のための主要技術的要素を提供する。Benjamini, Finucane, Tesseraの研究を拡張する。