[論文レビュー] A finitary version of Gromov's polynomial growth theorem

Yehuda Shalom, Terence Tao|arXiv (Cornell University)|Oct 21, 2009

Geometric and Algebraic Topology参考文献 18被引用数 5

ひとこと要約

この論文は、有限生成群におけるグロモフの多項式成長定理の、有限的で定量的なバージョンを確立し、ある十分に大きなスケール $ R_0 \geq \exp(\exp(Cd^C)) $ で多項式成長を示せば、その群はステップが $ C^d $ 以下である有限指数の冪零部分群を持つことが示されている。結果として、冪零クラスと指数について明示的な制御が可能であり、量化子除去を用いることで有効な境界が得られるが、その境界はアッカーマン型の成長を示す。

ABSTRACT

We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a Cayley graph of $G$ is bounded by $R_0^d$, then $G$ has a finite index subgroup which is nilpotent (of step $

研究の動機と目的

• 群の多項式成長に関するグロモフの定理の、漸近的条件を1つのスケールでの要件に置き換えた、有限的で有効なバージョンを提供すること。
• 成長次数 $ d $ とスケール $ R_0 $ を用いて、 virtually 冪零部分群の冪零クラスと有限指数を定量的に定量化すること。
• 1つの大きなスケール $ R_0 \geq \exp(\exp(Cd^C)) $ での多項式成長が、冪零ステップと部分群指数について有効な制御が可能な仮想冪零性を示すこと。
• 『冪零』を『多可解』に置き換えることで、有限群への応用を可能にするために、有限指数について有効な境界を提供すること。

提案手法

• 1つのスケール $ R_0 $ でのみ、$ |B_S(R_0)| \leq R_0^d $ を満たすような、$(R_0, d)$-成長群という新しい概念を導入する。
• $(K, R)$-部分群を定義し、生成元の幾何的配置と指数の両方を捉えることで、有限指数の定量的定義を導入する。
• グロモフの定理のクレインナーの証明を基盤とし、局所的成長条件から有効な境界を抽出するように精緻化する。
• ランク削減の議論を用いて、アーベル群および冪零群において $ M $- torsion-free 部分群を構成し、ねじれが成長推定に干渉しないようにする。
• コンパクト性の非有効な議論を排除するための量化子除去技術を用い、有効な境界を得るが、その境界はアッカーマン型の成長を示す。
• ねじれなし構成の反復的適用により階層的な境界を構築し、最終的にステップと指数が制御された有限指数の冪零部分群を導出する。

実験結果

リサーチクエスチョン

• RQ1 グロモフの定理（多項式成長群は仮想的に冪零）を、1つの大きなスケール $ R_0 $ での多項式成長を要件とする、より強い有限的条件に拡張できるか。
• RQ2 1つのスケールでの成長条件のもとで、仮想的に冪零な部分群の冪零クラスと有限指数について、どのような明示的境界を確立できるか。
• RQ3 『仮想的に冪零』という定性的な概念を、成長次数 $ d $ とスケール $ R_0 $ に関して定量的に定式化し、部分群パラメータについて有効な制御を可能にするにはどうすればよいか。
• RQ4 『冪零』を『多可解』に置き換えた場合、有限群に対して有効な境界を得られるか。
• RQ5 有限指数と冪零クラスが成長次数 $ d $ とスケール $ R_0 $ に対してどのように依存するかの最適な依存関係は何か。また、量化子除去を用いてこれを明示的に表現できるか。

主な発見

• 有限生成群が $ R_0 \geq \exp(\exp(Cd^C)) $ に対して $ |B_S(R_0)| \leq R_0^d $ を満たすならば、ある $ K(R_0,d) $ が存在し、その群は $ (K(R_0,d), K(R_0,d), C^d, C^d) $-仮想冪零である。ここで $ K(R_0,d) $ は $ R_0 $ と $ d $ のみに依存する。
• 有限指数部分群の冪零クラスは $ C^d $ で上界が与えられる。ここで $ C $ は絶対定数である。
• コンパクト性の議論を排除するための量化子除去を用いることで、有限指数についての有効な境界が得られるが、その境界は $ d $ と $ R_0 $ に関してアッカーマン型の成長を示す。
• 『冪零』を『多可解』に置き換えた場合、有限群に対して非自明な有効な境界が得られ、有限群論への応用が可能になる。
• $ M $-ねじれなし部分群のランク削減による構成により、ねじれが成長推定に干渉しないため、定量的調和解析手法の適用が可能になる。
• 最終的な $ K(R_0,d) $ の境界は、$ R_0 $ と $ O(1)^d $ のアッカーマン関数にほぼ等しくなる。ここで関数 $ F(M) $ は、証明内でのベクトルノルムを支配する十分な速さで増加するように選ばれる。