[論文レビュー] On Sushchansky p-groups

Ievgen Bondarenko, Dmytro Savchuk|ArXiv.org|Dec 7, 2006

semigroups and automata theory参考文献 10被引用数 11

ひとこと要約

本稿は、表形式を用いて構築された有限生成無限 $p$-群であるSushchansky $p$-群が中間成長を示すことを確立した。幾何的群論における重要な結果である。著者らは、その作用を自己相似群に翻訳し、自己相似的閉包を分析することで、これらの群が中間成長を示す $Γ$-群と同型であることを証明し、成長関数および周期成長関数に対する明確な上界を得た。

ABSTRACT

We study Sushchansky p-groups. We recall the original definition and translate it into the language of automata groups. The original actions of Sushchansky groups on p-ary tree are not level-transitive and we describe their orbit trees. This allows us to simplify the definition and prove that these groups admit faithful level-transitive actions on the same tree. Certain branch structures in their self-similar closures are established. We provide the connection with, so-called, G groups that shows that all Sushchansky groups have intermediate growth and allows to obtain an upper bound on their period growth functions.

研究の動機と目的

• Sushchansky $p$-群が中間成長を示すことを確立し、群論における長年の未解決問題を解決すること。
• Sushchansky群の元々の表形式による定義を、より良い構造的解析が可能な自己相似群の言語に翻訳すること。
• これらの群が $p$-分枝木上に忠実なレベル推移的作用をもつことを証明し、現代の成長理論の適用を可能にすること。
• Sushchansky群と中間成長を示す $\mathsf{G}$-群を結びつけることで、成長関数および周期成長関数に対する明確な上界を導出すること。

提案手法

• Sushchansky群を、その表形式表現から導かれる有限初期自己相似機械を用いて表現する。
• 元のレベル推移的でない作用の軌道木を分析し、同じ $p$-分枝木上に忠実なレベル推移的作用を構成する。
• Sushchansky群の自己相似的閉包を研究し、その分枝構造を特定する。
• Sushchansky群の成長関数と等価な中間成長を示す $\mathsf{G}$-群 $H$ を、第二レベルへの制限から生成する。
• $\mathsf{G}$-群理論を用いて成長関数および周期成長関数に対する上界を導出する。
• 正則分枝群および核理論の結果を応用し、Sushchansky群の成長を第二レベル制限の成長と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Sushchansky $p$-群は、以前の研究で予想されていたように中間成長を示すか？
• RQ2 Sushchansky群の元々の非レベル推移的作用を、自己相似群を用いて忠実なレベル推移的作用に置き換えられるか？
• RQ3 Sushchansky $p$-群の成長関数の正確な漸近的挙動は何か？
• RQ4 Sushchansky $p$-群の周期成長関数はどのように振る舞い、上界をもつのか？
• RQ5 Sushchansky群と中間成長を示す $\mathsf{G}$-群との間に、成長関数の比較が可能な関係があるか？

主な発見

• すべてのSushchansky $p$-群は中間成長を示し、これは以前に概略のみで示された結果を確認したものである。
• 任意のSushchansky $p$-群 $G_\lambda$ の成長関数 $\gamma_{G_\lambda}(n)$ は、$e^{n^\alpha} \precsim \gamma_{G_\lambda}(n) \precsim e^{n^\beta}$ を満たす。ここで $\alpha = \frac{\log p}{\log p + \log 2}$ かつ $\beta = \frac{\log p}{\log p - \log \eta_r}$ であり、$r = p^2$ である。
• 群 $G_\lambda$ の成長関数は、第二レベルへの制限から生成される $\mathsf{G}$-群 $H$ の成長関数と等価である。すなわち $\gamma_{G_\lambda}(n) \thicksim \gamma_H(n)$ である。
• ねんみん成長関数 $\pi_{G_\lambda}(n)$ は、ある定数 $C > 0$ を用いて $C n^{\log_{1/\eta_r}(p)}$ で上から抑えられる。ここで $\eta_r$ は $x^r + x^{r-1} + x^{r-2} - 2 = 0$ の正の解である。
• $G_\lambda$ は中間成長を示す $\mathsf{G}$-群と同型であり、その成長タイプは関連する自己相似機械の核によって決定される。
• 群 $G_\lambda$ の自己相似的閉包は、有限指数部分群を基にした正則分枝構造を示しており、その豊かな分枝構造が裏付けられた。