Maximal Arboreal Galois Images for Polynomials of Twisted Carlitz Type

技術要約：ねじれたカールッツ型の多項式における極大アーボリアル・ガロア像

問題設定
本論文は、関数体 $K = \mathbb{F}_q(t)$（ここで $q = p^e$ は奇素数冪、$d = q-1$）における、多項式 $f_c(x) = cx^d + t$ に関連するアーボリアル・ガロア表現を調査している。これらの多項式は、恒等式 $\rho_c^t(x) = x f_c(x)$ を通じて、ランク1のねじれたカールッツ・モジュールに関連付けられた「ねじれたカールッツ型」である。

中心となる問題は、アーボリアル・ガロア表現の像 $G_n = \text{Gal}(\text{Spl}_K(f_c^{\circ n})/K)$ が、いつ「極大（maximal）」になるかを決定することである。具体的には、著者らは $G_n$ がすべてのレベル $n \geq 1$ において、完全な $n$ 回の反復巡回入れ子積（iterated cyclic wreath product） $C_d \wr C_d \wr \cdots \wr C_d$ と同型になる条件を求めている。このような極大性の結果は、標数0においては高度に発達しているが（多くの場合、有限指数となる）、正標数の場合は、アイソトリビティ（isotriviality）や非分離性の問題によって阻害されてきた。既存の結果は通常、完全な全射には至らず、その手前で止まっている。

手法
著者らは、算術力学、クンマー理論、および関数体算術を組み合わせた手法を用いて極大性を確立している。その手法は、主に以下の3つの要素に基づいている。

1. クンマー独立性判定法（命題 3.1）： 著者らは、極大性の問題を、$(n-1)$ 回目の反復によって生成される拡大体における特定のクンマー類（Kummer classes）の線形独立性の問題へと還元している。もし、ある有限次 $P$ が単一のクンマー類を「孤立」させる（すなわち、$v_P(a_n)=1$ であり、$m<n$ に対して $v_P(a_m)=0$ である）ならば、$G_n$ は、前のレベルが推移的に作用するという条件の下で、完全な入れ子積となることを証明している。
2. 原始的単純因子定理（Primitive Simple Divisor Theorems）： クンマー判定法によって要求される評価条件を満たすために、著者らは臨界軌道 $a_n = f_c^{\circ n}(0)$ における「原始的単純因子」の存在を証明している。これは、$\mathbb{F}_q[t]$ 上の Mason–Stothers 定理（関数体における $abc$ 予想の類似物）を用いて達成される。著者らは、軌道の次数の成長を分析し、特定の族において、軌道の要素の原始的な部分が、乗数1の既約因子を含むことを示している。
3. Capelli の補題と共役性： 第2の多項式の族については、線形共役を用いて $f_c(x) = cx^d + t$ をより単純な形式 $F(x) = x^d + C$ へと変換する。そして、Capelli の補題を用いて、反復の既約性と系の分離性を確立し、ガロア群が期待される入れ子積の中に適切に埋め込まれることを保証する。

主要な貢献と結果

本論文は、正標数において、すべてのレベルで完全な反復巡回入れ子積を達成する、$\mathbb{F}_q(t)$ 上の2つの明示的な多項式族を確立している。これは、正標数における明示的な族としては、これまで達成されていなかった結果である。

• 主要定理 1 (Theorem 4.7): 多項式族 $f_M(x) = t^M x^{q-1} + t$ について、もし $M + d - 1 \not\equiv 0 \pmod p$ であり、かつクンマー類 $[-t^{1-M}]$ の位数が $d$ であるならば、すべての $n \geq 1$ に対して $G_n \cong C_d \wr \cdots \wr C_d$ （$n$ 個の因子）であることを証明している。これは、$f_M$ の臨界軌道に関する原始的単純因子の定理に基づいている。
• 主要定理 2 (Theorem 5.5): $c \in (K^\times)^{d-1}$ かつ $v_t(c)=0$ である多項式族 $f_c(x) = cx^{q-1} + t$ について、反復ガロア群もまた完全な巡回入れ子積となることを示している。これは、共役多項式 $F(x) = x^d + C$ を分析し、その臨界軌道の原始的単純因子を確立することによって証明される。

アーボリアル表現とアデレ的表現の関係
論文の大部分（第6節）では、ねじれたカールッツ・モジュール $\rho_c^t$ のアデレ的ガロア像と、$f_c$ のアーボリアル・ガロア像を比較している。ゲケラー（Gekeler）の欠損公式（defect formula）を用いることで、著者らは以下を明らかにしている。

• 論理的独立性： アーボリアル極大性とアデレ的全射性は、論理的に独立である。
  • アデレ的像は全射であるが、アーボリアル像は（原始的単純因子性の失敗により）極大ではない、という例を構成している（命題 6.1–6.3）。
  • アーボリアル像は極大であるが、アデレ的像は全射ではない（非自明な欠損を持つ）、という第2の例を構成している（命題 6.4）。
• 一方向的な局所的含意（主要定理 3）： 一般的な独立性にもかかわらず、著者らは、場所 $t$ における特定の局所的な含意を証明している。もしアーボリアル表現の第1レベルが極大（すなわち $G_1 \cong C_d$）であれば、ねじれたカールッツ・モジュールの $t$ 進ガロア表現は全射である（欠損は 1 である）。この接続は、場所 $t$ に限定された、厳密に一方向的なものである。

意義
本論文の意義は、正標数において、アーボリアル・ガロア像が単に有限指数であるだけでなく、すべての レベルにおいて完全な反復入れ子積となるような、最初の明示的な族を提供したことにある。これは、関数体上の算術力学における理論の空白を埋めるものである。

さらに、本研究は、多項式の力学とドリンフェルト・モジュールの理論との間の微妙な関係を明確にしている。アーボリアル・タワーの第1レベルは、ねじれたカールッツ・モジュールの捩れ点によって決定されるが、高次のタワーは異なる算術情報を符号化している。本論文は、ドリンフェルト・モジュールの文脈における全射性（アデレ的）は、多項式の文脈における極大性（アーボリアル）を保証せず、その逆もまた、特定の局所的な制約（場所 $t$）を除いては同様であることを示している。

最後に、付録では、任意の係数 $c \in \mathbb{F}_q[t]$ に対する一般化された「最終的原始的単純因子定理（eventual primitive simple divisor theorem）」を提供しており、臨界軌道における原始的な因子の現象が、解析された特定の族に限定されない、頑健なものであることを示唆している。