Infinitely many holes in connectedness loci for collinear affine iterated function systems

技術要約：共線的なアフィン反復関数系における連結成分集合内の無限個の穴

問題提起
本論文は、特定の族のアフィン反復関数系（IFS）における連結成分集合（connectedness loci）のトポロジーを調査するものである。これらの系は、複素平面上の等間隔な平行移動を持つ $n$ 個の共線的な写像によって定義される。具体的には、整数 $n \ge 2$ に対して、IFS は $A_n = \{-n+1, -n+3, \dots, n-1\}$ の範囲で変化する $t$ を用いた $f_t(z) = t + z/c$ で与えられる。連結成分集合 $M_n$ は、アトラクター $E(c, n)$ が連結となるパラメータ $c \in \mathbb{C} \setminus \mathbb{D}$（ここで $\mathbb{D}$ は開単位円板）の集合である。

$n=2$（2つの写像）の場合については、Calegari, Koch, および Walker によって既研究されており、彼らは繰返し点（renormalization point）に集積する無限個の「穴」（連結成分集合の補集合の有界連結成分）の存在を証明した。しかし、$n \ge 3$ における $M_n$ の状況は未解決の予想であった。本論文は、すべての $n \ge 2$ に対して、$M_n$ が無限個の穴を含むことを証明することを目的としている。

手法と枠組み
著者らは、算術的根理論と、随伴するプレプリント [4] から派生した幾何学的な「有限捕捉（finite-capture）」技術を組み合わせて用いる。

1. 算術的定式化: 連結成分集合 $M_n$ は、非主要係数が整数区間 $D_n = \{-n+1, \dots, n-1\}$ に属する単項多項式の根の閉包として特徴付けられる。この同値性は、「標識点（marked-point）」基準に依存する。すなわち、$c \in M_n$ であるための必要十分条件は、$2c$ が差アトラクター $E(c, N)$ に属することである（ここで $N = 2n-1$）。
2. 幾何学的トラップと包囲: 証明には、標準的な「トラップ」$C_0(c)$（0を中心とする開平行四辺形）と「閉包」$E_{enc}(c, N)$ が用いられる。
   • 内部認証: パラメータ $c$ が $2c$ の有限な逆軌道を $C_0(c)$ 内に着地させる場合、$c$ は $M_n$ の内部に存在する。
   • 外部認証: 有限な逆ツリーが空になる場合（すなわち、包囲内に残る許容される逆軌道が存在しない場合）、$c \notin M_n$ である。
3. ループ・ウィットネスの構成: 穴の存在を証明するために、著者らは「ループ・ウィットネス」$(\Gamma, c^*)$ を構成する。これは、ジョルダン曲線 $\Gamma \subset M_n$ と、$\Gamma$ の有界成分内にあるウィットネス・パラメータ $c^*$ からなる。このようなペアの存在は、$\Gamma$ の中に穴が存在することを意味する。

主要な貢献と構成
本論文の核心は、$n \ge 3$ における「定常的な穴の族（stationary family of holes）」の構成である。

• ゴースト・パラレログラム（Ghost Parallelograms）: 著者らは、深さ $m$ のゴースト・パラレログラムを、5つの単語の組 $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$ として定義する。ここで、4つの角の単語は許容される（アルファベット $A_N$ に属する）が、中間単語 $w$ は不適格（奇数を含むため $A_N$ に属さない）である。
• 基本構成: 各 $n \ge 3$ に対して、長さ18の特定の4つの許容される単語の集合が構成される。その中間単語 $w_1$ は、10番目の位置に奇数を持つため、ゴースト単語となる。対応する4つのチャートの境界は、ジョルダン曲線 $\Gamma_{n,1}$ を形成する。
• 定常的輸送: 長さ $m$ の単語を長さ $m+3$ の単語へ写す繰返し演算子 $R$ が定義される。この演算子は、中間関係および「ゴースト」特性（最初の奇数がシフトしても依然として奇数であること）を保存する。この演算子を反復することで、著者らは、増加する深さ $m_k = 3k + 15$ を持つ一連のゴースト・パラレログラムを生成する。
• ウィットネス・パラメータ: 各レベル $k$ において、中間単語 $w_k$ は多項式 $W_{w_k}(c)$ を定義する。著者らは、ウィットネス・ボックス $B_n$ 内に、$W_{w_k}$ の一意な根 $c_{n,k}$ が存在することを証明する。
  • ルシェの定理と明示的な代数的境界を用いて、$c_{n,k}$ がレベル $k$ における4つの許容チャートの境界によって形成されるジョルダン曲線 $\Gamma_{n,k}$ の内部にあることを示す。
  • さらに、$c_{n,k}$ の逆ツリーが有限の深さで空になる（具体的には $T_{m_k-1}(c_{n,k}) = \emptyset$）ことから、$c_{n,k} \notin M_n$ であることを証明する。

結果

1. 無限個の穴: すべての $n \ge 2$ に対して、連結成分集合 $M_n$ は無限個の穴を持つ。
   • $n=2$ の場合、パラメータの反転と Calegari–Koch–Walker の既知の知見から従う。
   • $n \ge 3$ の場合、奇数 $k$ に対する一連の互いに素な穴 $(\Gamma_{n,k}, c_{n,k})$ を構成することによって証明される。
2. 代数的集積点: ウィットネス・パラメータの列 $c_{n,k}$ は、$k \to \infty$ のとき一意な極限点 $\xi_n$ に収束する。
   • この極限 $\xi_n$ は、ウィットネス・ボックス $B_n$ 内における、明示的な次数13の多項式 $Q_n(c)$ の一意な零点である。
   • $\xi_n$ は $M_n$ の境界上にあり（$\xi_n \in \partial M_n$）、最大次数13の代数的数である。
   • $\xi_n$ の任意の近傍には、 $M_n$ の無限個の異なる穴が含まれる。

意義と主張
本論文は、より多くの写像を持つ共線的なアフィン IFS の連結成分集合のトポロジーに関する予想を解決したと主張している。

• 一般化: 「無限個の穴」という現象を、2つの写像のケース ($n=2$) から、すべての $n \ge 3$ へと拡張した。
• メカニズム: $n=2$ のケースにおけるメカニズムが特定の2写像の幾何学に関連しているのに対し、本論文は、「ゴースト欠損（不適格な中間単語による中心チャートの欠如）」の輸送に基づく「定常的」なメカニズムを示しており、これは $n \ge 3$ において一様である。
• 認証: 穴を厳密に確立するために、視覚的な検査ではなく、符号チェック、根のカウント、および非交差の検証といった正確な代数的証明に依拠している。
• 極限点: これらの穴が集積する、標準的な代数的境界点 $\xi_n$ を特定することで、これらの系における繰返し挙動の精密な構造的記述を提供している。

本論文は新しい応用や実験的セットアップを提案するものではなく、その貢献は純粋に理論的なものであり、反復関数系におけるパラメータ空間のフラクタル・トポロジーの理解を進展させるものである。