[論文レビュー] On the growth of iterated monodromy groups

Kai‐Uwe Bux, Perez, Rodrigo|ArXiv.org|May 24, 2004

Mathematical Dynamics and Fractals参考文献 8被引用数 14

ひとこと要約

この論文は、二次多項式 $ z^2 + i $ の反復モノドロミー群の指数的成長より小さい成長を証明し、ネクラシェヴィチの予想である『後期臨界的有限な二次多項式は中間的成長を示す群をもたらす』という予想に対する最初の非自明な証拠を提供する。証明は無限の2進木上の語構造の再帰的解析に依拠し、ブロック分解と群生成子における長さ短縮パターンを活用して、交互語における良い文字と悪い文字の組み合わせ的制約により成長率を制御する。

ABSTRACT

Nekrashevych conjectured that the iterated monodromy groups of quadratic polynomials with preperiodic critical orbit have intermediate growth. We illustrate some of the difficulties that arise in attacking this conjecture and prove subexponential growth for the iterated monodromy group of $z^2+i$. This is the first non-trivial example supporting the conjecture.

研究の動機と目的

• 後期臨界的有限な二次多項式の反復モノドロミー群が中間的成長を示すというネクラシェヴィチの予想を支持する最初の非自明な例を提供すること。
• 反復モノドロミー群 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ の成長挙動を分析し、その部分指数的成長に焦点を当てる。
• 交互語の構造とそのブロックへの分解を分析することで、群の成長率が部分指数的であることを示すこと。
• グリゴルチュク群の技術にインspiredされた再帰的分割と語部品の組み合わせ的制約を用いたフレームワークを確立し、成長を制御すること。

提案手法

• 論文は、2進木上の作用の3段階目の分割に起因する、$ \mathcal{I}_3 $ から8重積 $ \mathcal{I} \times \cdots \times \mathcal{I} $ への準同型を用いる。
• 特定のパターン（1）〜（4）に基づき、交互語における「良いブロック」を定義し、群作用の3重分割によって長さ短縮が生じることを示す。
• 語は、非-σ文字が位置によって悪いか良いかに分類され、Lemma 24により、そのような成分の数は全体で定数 M で有界である。
• ε-悪い語（高々 εn 個の良い文字を持つ語）の数は、二項係数、15の累乗（非-σ文字用）、および成分集合の全般的な有界値 M を用いて有界化される。
• 背理法により、Proposition 10 を適用して部分指数的成長を証明する。指数的成長を仮定し、良い文字が常に十分な長さ短縮をもたらすことで成長仮定に矛盾を生じることを示す。
• 生成子 $ \alpha, \alpha_2, \beta_2, \beta_3, \alpha_8 $（$ \alpha_8 $ は長さ32）の構造に依拠し、長さ r の語における非-σ文字の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 反復モノドロミー群 $ \operatorname{IMG}(z^2 + i) $ は部分指数的成長を示すか。これはネクラシェヴィチの予想を支持する。
• RQ2 無限の2進木上の群作用の再帰的構造を、ブロック分解と長さ短縮を用いて成長を制御するために利用できるか。
• RQ3 非-σ文字が悪いか、位置的に良い配置に制限された場合、群内の交互語にどのような制約が生じるか。
• RQ4 良いブロックを含まず、すべての非-σ文字が悪い交互語の数に全般的な有界値が存在するか。これは成長制御に不可欠である。
• RQ5 3回の分割後に良い文字の頻度とその語長への影響を分析することで、$ \mathcal{I}_3 $ の成長率が部分指数的であることを示せるか。

主な発見

• 反復モノドロミー群 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ は部分指数的成長を示し、ネクラシェヴィチの予想を支持する最初の非自明な例を確立する。
• すべての長さに対して、良いブロックを含まず、すべての非-σ文字が悪い交互語の数は、ある定数 M で一様に有界であるという全般的な有界値 $ M $ が存在する。
• $ \mathcal{I}_3 $ 内の ε-悪い語の数は、$ n \leq (r + 32)/35 $ の和で表され、各項には二項係数、15の累乗、および M が含まれる。
• 証明は、良い文字（性質上または位置的に）が3重分割後に一貫した長さ短縮をもたらすことを示し、Proposition 10 の適用により指数的成長が排除されることを可能にする。
• $ \mathcal{I}_3 $ の成長率は部分指数的である。なぜなら、ε-悪い要素の数が、任意の $ \lambda > 1 $ に対する指数関数 $ \lambda^r $ よりも遅く増加するからである。
• この結果により、$ \mathcal{I} $ は指数的成長ではないことが確認され、かつ有限でも、またはほとんどアーベル的でないため、中間的成長の候補である。