[論文レビュー] Uniform Exponential Growth of Polycyclic Groups

Roger C. Alperin|ArXiv.org|Oct 28, 2000

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

ひとこと要約

この論文は、多項式的可解群が、すべての有限生成集合に対して1から離れた成長率の底を有するという一様指数的成長を示す。線形代数的技法と群の拡大における自由半群構成を用いて、任意の可解群は多項式的成長または一様指数的成長を示すことが示され、可解群の均一成長予想の重要なケースが解決される。

ABSTRACT

We prove that polycyclic groups are of polynomial growth or of uniform exponential growth.

研究の動機と目的

• 指数的成長を示す多項式的可解群が、生成集合に依存しない一様指数的成長を示すこと。
• すべての有限生成群が指数的成長を示す場合に一様指数的成長が成り立つというより広範な予想の中心的ケースを解決すること。
• 多項式的可解群における一様性を示すことで、可解群の成長行動の理解を拡張すること。
• 固有値解析と部分群構造に基づく方法を提示し、他の群のクラスへ一般化可能であることを示すこと。

提案手法

• 自由半群が2つの生成元を持つことを利用して、一様指数的成長の十分条件を示し、命題2.1を活用する。
• Lie-Kolchin-Mal’cev定理を適用して、可解群を単位的交換子部分群をもつ行列群として実現する。
• 群の冪零長さに関する帰納法を用い、アーベル商の作用を生成する自己同型の固有値を分析する。
• 補題2.4を適用して、自己同型が|λ| ≥ 2を満たす固有値を持つ場合、半直積が自由半群を含むことを示す。
• 有限指数部分群を用いて、アーベル商上の作用が絶対値が2以上の固有値を持つ場合に還元する。
• 命題2.2を適用して、群全体の成長率と有限指数部分群の成長率との関係を示し、一様性を保つ。

実験結果

リサーチクエスチョン

• RQ1 すべての指数的成長を示す多項式的可解群は、有限生成集合の選択に依存しない一様指数的成長率を持つのか？
• RQ2 群の構造に自由半群が存在することは、一様指数的成長を保証するのか？
• RQ3 アーベル群が冪零群に作用する条件として、半直積が一様指数的成長を示すのはどのような場合か？
• RQ4 ランダムウォークのスペクトル半径は、多項式的可解群における一様成長率とどのように関係するか？
• RQ5 一様成長性は多項式的可解群からより広いクラスの可解群へ拡張可能か？

主な発見

• 多項式的可解群は、多項式的成長または一様指数的成長を示し、中間の振る舞いは存在しない。
• 成長率の底β(Γ)は、すべての有限生成集合に対して1から離れており、β(Γ) > 1を満たす。
• 多項式的可解群に、巡回加群上で|λ| ≥ 2を満たす固有値を持つ自己同型が存在する場合、半直積は自由半群を含む。
• このような自由半群の存在により、ある生成集合に依存するLについてβ(S,Γ) ≥ 2^{1/L}という不等式により一様指数的成長が保証される。
• 多項式的可解群の有限指数部分群は、一様成長性を継承し、帰納法により簡単なケースに還元可能である。
• この結果により、非冪零的可解群を含む有限指数の多項式的可解群をもつ任意の有限生成可解群は一様指数的成長を示すことが示される。