[論文レビュー] Full residual finiteness growths of nilpotent groups

Khalid Bou-Rabee, Daniel Studenmund|arXiv (Cornell University)|Jun 14, 2014

Geometric and Algebraic Topology参考文献 6被引用数 4

ひとこと要約

本稿は、有限生成ニロポテンツ群における完全残留有限性成長の全貌を確立し、中心に下部中央系列の最終項が含まれる場合、その成長が次数 $ c ⋅ \dim(G) $ の多項式であることを示している。一般のニロポテンツ群に対しては、成長次数を評価するための「段段フィルトレーション」を導入し、それが語の成長と一致する条件を同定している——これは、ほとんどアーベル群の場合に限る。

ABSTRACT

Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilpotency class and dimension of $G$. In the general case, we give a method for finding an upper bound of the form $n^b$ where $b$ is a natural number determined by what we call a terraced filtration of $G$. Finally, we characterize nilpotent groups for which the word growth and full residual finiteness growth coincide.

研究の動機と目的

• 有限生成ニロポテンツ群における完全残留有限性成長の漸近的挙動を理解すること。
• その成長が多項式的である条件を特定し、正確な次数を計算すること。
• 一般のニロポテンツ群における成長次数を評価するフィルトレーションに基づく手法を開発すること。
• 完全残留有限性成長が語の成長と一致するニロポテンツ群を同定すること。
• 異なる素数 $p$ における $p$-群商が著しく異なるため、グローバルな解析が困難になるという課題に対処すること。

提案手法

• 『段段フィルトレーション』——正規部分群の鎖 $1 = H_0 \leq \cdots \leq H_{c-1} \leq G$ で、各 $H_i$ が $H_i \cap \gamma_{i+1}(G) = 1$ を満たすもの——の概念を導入する。
• オシンおよびピットェットの歪み結果を用いて、商における語長を制御し、有限商における球の検出を確立する。
• 各層 $H_i/H_{i-1}$ の基底の引き戻しから得られる生成集合 $Y$ を構成し、ケイリー図における成長を分析する。
• 商が良好に振る舞い、検出可能であるように保証するため、捩れのないべき乗構成 $G^{fM}$ を適用する。
• 各層 $H_k/H_{k-1}$ の次元を用いて、$G$ 内の正規部分群 $N(Dn)$ の指数を評価し、多項式的上界を得る。
• 等価関係 $f \approx g$ を用いて、生成集合に依存しない成長クラスを定義し、主な結果の不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 中心 $[Z(G) : \gamma_c(G)] < \infty$ を満たすニロポテンツ群に対して、完全残留有限性成長の正確な多項式次数は何か？
• RQ2 一般の有限生成ニロポテンツ群の完全残留有限性成長を一様に上界で評価する方法は何か？
• RQ3 段段フィルトレーションの選択が、成長次数の上界に影響を与えるか？
• RQ4 どのニロポテンツ群に対して、完全残留有限性成長が語の成長と一致するか？
• RQ5 完全残留有限性成長は、ケイリー図の漸近的データのみで特徴付けられるか？

主な発見

• 中心 $[Z(G) : \gamma_c(G)] < \infty$ の場合、$G$ の完全残留有限性成長は $\Phi_G(n) \approx n^{c \cdot \dim(G)}$ である。ここで $c$ はニロポテンツクラスである。
• 一般のニロポテンツ群に対しては、段段フィルトレーション $H_0 \leq \cdots \leq H_{c-1}$ を用いて、成長が $n^{c \cdot \dim(G) - \sum_{i=1}^{c-1} \dim(H_i)}$ で上界づけられる。
• 上界は段段フィルトレーションの選択に依存する。例として、$G = U_3 \times U_4 \times U_5 / Z$ は、$\dim(\pi(U_3)) = 3$ と $\dim(\pi(U_4)) = 6$ のため、2つの異なるフィルトレーションが異なる上界を与える。
• 完全残留有限性成長 $\Phi_G$ が語の成長 $w_G$ と一致するのは、$G$ がほとんどアーベル群である場合に限る。
• 生成集合の選択に依存しないことが、等価関係 $f \approx g$ を用いて確立された。
• $G/N(Dn)$ の構成により、球 $B_Y(n)$ が検出され、その位数は次数 $c \cdot \dim(G) - \sum_{i=1}^{c-1} \dim(H_i)$ の多項式で上界づけられる。これにより上界の成立が証明される。