Superelliptic degree sets over Henselian fields

技術要約：ヘンゼル場上の超楕円度集合

問題設定
本論文は、離散的な値を持つヘンゼル場 $K$ 上の多様体 $V$ に対する度集合 $D(V/K)$ の決定を扱う。度集合は、閉点の剰余体の次数の集まりとして定義される。インデックス $\text{ind}(V/K)$（度集合の最大公約数）は、モデルの特殊ファイバーから計算可能であることが多いが、度集合そのものはより複雑になり得る。具体的には、Creutz と Viray [CV25] は、$p$ 進体上において、曲線の度集合がそのインデックスの無限個の倍数を除外する場合があることを示した。この現象は、有限生成体の上では発生しない。著者らは、この「非余有限（non-cofinite）」な挙動について、素数次数 $q$ の超楕円曲線 $C/K$（曲線 $C \to \mathbb{P}^1$ が次数 $q$ の巡回被覆を許容する曲線）に対して調査を行っている。これらの曲線は、$y^q = F(x)$ の形の代数的な曲線に双有理である。

手法
著者らは、度集合を特徴付けるために、値論、クラスター解析、およびヘンゼル場の性質を組み合わせた手法を用いている。

1. クラスター理論: [DDMM19] に従い、$F(x)$ の根は「クラスター」（開円板に含まれる根の部分集合）を通じて分析される。ガロア群 $\text{Gal}(K^{\text{sep}}/K)$ はこれらのクラスターに作用する。
2. 値の公式: 中心的な道具は、任意の $x_0 \in K$ に対して、最も近いクラスター $s$ を用いて $v(F(x_0))$ を記述する明示的な公式を提供する補題 3.4 である。公式は $v(F(x_0)) = |s| \cdot v(x_0 - \alpha) + c_s$ であり、ここで $|s|$ はクラスターのサイズ、$c_s$ は根から導かれる計算可能な定数である。
3. ガロア不変クラスター: 剰余体が代数的に閉じており、かつ根が緩やかに分岐（tamely ramified）しているという仮定の下で、補題 4.2 は任意のガロア不変クラスター $s$ に対して中心 $\gamma_s \in K$ の存在を確立する。これにより、著者らは値の挙動が一様な領域 $X_s$ を定義することができる。
4. 障害と構成: 証明戦略は二つの方向を含む：
   • 障害 (Lemma 5.1): 値の公式を用いて、特定の次数 $r$（ただし $q \nmid r$）の点が存在し得ないモジュロ演算条件を導出する。特定の条件（$|s|, c_s, v(F(\gamma_s))$ に関するもの）が満たされる場合、次数 $r$ の点は障害される。
   • 存在 (Lemma 5.5): 逆に、障害条件が満たされない場合、著者らはヘンゼルの補題とニュートン多角形の議論を用いて、特定の領域 $X_s$ 内で任意の大きな次数 $r$（ただし $\gcd(r, q)=1$）の点を構成する。

主要な貢献と結果
本論文は、超楕円曲線の度集合がいつ非余有限（すなわち、インデックスの無限個の倍数を欠く）になるかを完全に特徴付けている。

• 定理 1.1: 剰余体が代数的に閉じており、かつ緩やかな分岐を仮定する場合、度集合 $D(C/K)$ が非余有限であるための必要十分条件は、$v(F(0)) \not\equiv 0 \pmod q$ であり、かつ全てのガロア不変クラスター $s$ に対して以下が成り立つことである：

  1. $|s| \equiv 0 \pmod q$ かつ $c_s \not\equiv 0 \pmod q$ であること。
  2. もし中心 $\gamma_s$ が領域 $X_s$ に含まれるならば、$v(F(\gamma_s)) \not\equiv 0 \pmod q$ であること。
     これらの条件が成立するとき、度集合は $q\mathbb{N} \cup \bigcup_{s \text{ がガロア不変でない}} |O(s)|\mathbb{N}$ に含まれる。

• 定理 1.2: 著者らは、これらの度集合の柔軟性を実証している。任意の素数 $q \neq p$ と任意の正整数の有限列 $n_1, \dots, n_\ell$ に対して、 $D(C/K) = q\mathbb{N} \cup n_1\mathbb{N} \cup \dots \cup n_\ell\mathbb{N}$ となるような超楕円曲線 $C/K$ が存在する。系として、任意の奇素数のペア $p$ と $q$ に対して、$D(C/K) = p\mathbb{N} \cup q\mathbb{N}$ となる曲線が存在し、度集合の密度が任意に小さくなり得ることを示している。

• 計算手法: 本論文は、クラスター図形および計算可能な量である $c_s$ と $\gamma_s$ を用いた、度集合を計算するための実践的な方法を提供している（例 6.1）。

意義と主張
著者らは、本研究が、ヘンゼル場上の素数次数の超楕円曲線における非余有限な度集合現象の背後にあるメカニズムを完全に特徴付けていると主張している。

• 理論的洞察: 結果は、度集合の算術が、単に特殊ファイバーの幾何学のみに依存するのではなく、根の組合せ的構造（クラスター）とその値に直接結びついていることを示している。
• 正則モデルからの独立性: 著者らは、先行研究 [CV25] が厳密な正規交差を持つ正則モデルに依存しているのに対し、ここでの手法は曲線が $\Delta_v$-正則でない場合でも度集合を計算できることを指摘している（注釈 6.2）。これは、既存の特殊ファイバーのアルゴリズムが正則モデルを生成できない可能性があるケースである。
• ツールの独立性: 根に最も近いクラスターとの関係を述べる補題 3.4 は、独立した関心の対象となり得るとされている。

本論文は、研究対象となった曲線のクラスにおいて、度集合は定義多項式 $F(x)$ のクラスター・データによって完全に決定されると結論付けており、度集合が余有限であるかどうか、またそうでない場合はインデックスのどの倍数が欠けているのかを判定する具体的なアルゴリズムを提供している。