[論文レビュー] On subgroup growth of iterated wreath products in product action

Matteo Vannacci|arXiv (Cornell University)|Feb 25, 2026

Advanced Topology and Set Theory被引用数 0

ひとこと要約

この論文は反復シ wreath プロダクトを積層的に直積で構成した後継子群の有限群の下位成長タイプを広範に実現できることを示す、遺伝的に無限に正則で有限群のプロ有限群を構成する研究であり、f(n) が緩やかに成長する場合には n^{f(n)} を含む幅広い下位成長タイプを実現できることを証明する。

ABSTRACT

We show that there are hereditarily just infinite groups of any subgroup growth type between $n$ and $n^{\log n}$. This is obtained calculating the subgroup growth type of a family of hereditarily just infinite profinite groups obtained via iterated wreath products of finite permutation groups with respect to product actions.

研究の動機と目的

• プロ有限群内の下位成長タイプの研究の動機づけと、成長率の広いスペクトルを実現する探求の促進。
• 積層的ワースロット積を直積作用で無限に反復することを、遺伝的に正しい無限群の例の源として紹介。
• これらの群が緩やかに成長する関数 f に対して n^{f(n)} の下位成長を達成できることを確立。
• これらのプロ有限群の下位成長を具体的に構成し、成長公式を提示。

提案手法

• 制御された階数、最小指標、および成長特性を持つ良好な有限群列を定義・使用。
• 良好な列 S から構築される W^{pa}(S) の無限反復ワースロット積に対する下位成長 s_n(G) を分析。
• べき乗補題と準正規系列の議論を組み合わせて s_n(W^{pa}(S)) の上界と下界を導出。
• 数論的な素数列構成を用いて下位成長に望ましい成長率 f(n) を実現。
• 特定の緩やかに成長する f を実現するよう選ばれた素数列 p_k が存在することを証明し、s_n(W^{pa}(igP)) の成長型で示す。

実験結果

リサーチクエスチョン

• RQ1 任意の緩やかに成長する関数 f が、遺伝的に正確な無限プロ有限群のある下位成長タイプとして実現できるか？
• RQ2 良好な有限群列から構成される product action での無限反復ワースロット積の下位成長タイプは何か？
• RQ3 選択した f に合わせて s_n を上界・下界で n^{f(n)} に一致させることができるか？
• RQ4 素数列の選択が W^{pa}(igP) における実現成長率にどのように影響するか？

主な発見

• 任意の緩やかに成長する f に対して下位成長タイプ n^{f(n)} を持つ遺伝的に正確な無限プロ有限群が存在する。
• 2生成の遺伝的に正確な無限プロ有限群が、上記の構成のもとで下位成長タイプ n^{f(n)} を実現できる。
• 構造化された素数列に沿って s_n(W^{pa}(igS)) の精密な成長を示す、上界と下界を得る。
• 成長タイプが基礎となる良好な有限群列の構造と関連 Omega-hat 成長に明示的にリンクしている。
• 非緩やかな成長関数への拡張として2つの変形があり、達成可能な成長タイプの範囲を広げる。
• 結果は Subgroup Growth Gap Problem に寄与し、自然な群のクラス内で幅広い成長率の実現を提供する。