Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

技術的要約：$\mathbb{P}^1 \setminus \{0, 1, \infty\}$ における多重対数モティビック・シャトーディ・キム法：レゾナント（終結式）による幾何学的ステップ

1. 問題設定
本論文は、有限個の素数の集合 $S$ に対する、三点を除いた射影直線 $X = \mathbb{mathbb{P}}^1 \setminus \{0, 1, \infty\}$ 上の $S$-整数点 $X(\mathbb{Z}_S)$ の明示的な決定を取り扱う。Siegelの定理により、この集合は有限であり、$a, b \in \mathbb{Z}_S^\times$ に関する $S$-単数方程式 $a + b = 1$ の解と等価である。

著者らは、キムの非可換シャトーディ・プログラムの洗練版である多重対数モティビック・シャトーディ・キム法に焦点を当てている。この手法は、$X(\mathbb{Z}_S)$ に収束する入れ子状の集合の列を構成する：
$$X(\mathbb{Z}_p) \supseteq X(\mathbb{Z}_p)^{PL}_{S,1} \supseteq X(\mathbb{Z}_p)^{PL}_{S,2} \supseteq \dots \supseteq X(\mathbb{Z}_S)$$
ここで、$X(\mathbb{Z}_p)^{PL}_{S,d}$ は、特定の $p$ 進単一多重対数関数（single polylogarithms）の零点集合である。

これらの集合の計算は、二つのステップに分けられる：

1. 幾何学的ステップ： 特定のコサイクル写像 $\theta^\#$ の核（kernel）に含まれる非自明な元を見つけること。これらは、非可換な未定微分形式の重み付き環に含まれる、非可換・ド・ラーム多重対数（$\log_u, \text{Li}_n$）と、プロ・ユニポテント混合テイト基本群のシャッフル代数 $\mathcal{O}(U_S)$ の係数からなる多項式である。
2. 算術的ステップ： これらの関数を $p$ 進周期写像の下で評価し、$X(\mathbb{Z}_S)$ を近似する $p$ 進関数を得ること。

幾何学的ステップは $|S|=1$ の場合には深さ $d \le 4$ まで詳細に解決されていたが、$|S| \ge 2$ の場合には従来の手法では計算が困難となる。本論文は特に $|S|=2$ のケースを対象とし、深さ 4 を超える明示的なモティビック・シャトーディ・キム関数の構成を目指している。

2. 手法
著者らは、幾何学的ステップに対する新しいアプローチを提案する。これは、巨大な多項式環上の行列の核を直接計算するという、$|S|=2$ の場合にはスーパーコンピュータを用いても不可能であることが示されている作業を回避するものである。

• 座標モデル： セルマー・スキームは、非標準的な座標を用いてアフィン的にモデル化される。写像 $\theta^\#$ は、以下の次数付き代数の準同型として表現される：
  $$\theta^\#: \mathcal{O}(U_S)[\log_u, \text{Li}_1, \dots, \text{Li}_d] \to \mathcal{O}(U_S)[\Phi]$$
  目標は、特定の次数におけるこの写像の核に含まれる非ゼロの元を見つけることである。

• 上界アルゴリズム： 低次における非存在の結果を確立するために、著者らは、係数環内のランダムな整数点において $\theta^\#$ の行列表現を評価するアルゴリズムを実装した。命題 5.5 によれば、汎用的な評価において核の次元がゼロであれば、多項式環上の核は自明である。これにより、$|S|=2$ のとき、次数 $v < 18$ においてそのような関数の非存在を証明することができる。

• レゾナント（終結式）法： 関数が存在する場合の構成のために、著者らは**レゾナント（終結式）**に基づく手法を導入する。

  1. $|S|=2$ （ここで $\Sigma_{-1} = \{\tau_p, \tau_q\}$）における $\theta^\#$ を定義する方程式を分析する。
  2. 変数 $\Phi_{\sigma_{2n-1}}$ および $\Phi_{\tau_{e_1}}$ を、$\Phi_{\tau_{e_0}}$ および多重対数の像を用いて表すための消去プロセスを実行する。
  3. この簡約により、単一変数 $X = \Phi_{\tau_p}^{e_0}$ に関する二つの多項式 $P_4(X)$ および $P_6(X)$ が得られる。ここで $P_k(X) = \theta^\#(\nu_k(X))$ である。
  4. これらの多項式は共通の根 ($\Phi_{\tau_p}^{e_0}$) を共有するため、そのレゾナント（終結式）は消滅しなければならない：$\text{Res}(P_4, P_6) = 0$。
  5. $\theta^\#$ は準同型であるため、$\text{Res}(\nu_4, \nu_6)$ は $\theta^\#$ の核に含まれる。著者らは、多項式 $\nu_4(X)$ と $\nu_6(X)$ およびそのレゾナントを明示的に計算する。

3. 主な貢献と結果
本論文は、$|S| \ge 2$ かつ深さ $d > 4$ における初の明示的なモティビック・シャトーディ・キム関数の構成を提供している。

• 低次における非存在： 上界アルゴリズムを用いて、著者らは $|S|=2$ の場合、次数 18 未満の非自明なモティビック・シャトーディ・キム関数が存在しないことを証明した。
• 最適な深さと次数： 非自明な関数が存在する最低の深さが深さ 6 であり、最小の次数が 18 であることを証明した。
• 明示的な構成： 著者らは、レゾナント $\text{Res}(\nu_4(X), \nu_6(X))$ から導かれる、特定の非自明な関数 $F^{|2|}_{6,18}$（深さ 6、次数 18）を構成した。
  • この関数は、$(\log_u)^6 (\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1) F^{|2|}_{6,18}$ と因数分解されることが示される。
  • 因数 $(\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1)$ は $|S|=1$ の既知の解に対応しており、$F^{|2|}_{6,18}$ は $|S|=2$ に特有の新しい非自明な成分である。
• 一意性： 著者らは、深さ $<19$ かつ次数 18 の他のあらゆるモティビック・シャトーディ・キム関数は、$\mathcal{O}(U_S)$ の元による $F^{|2|}_{6,18}$ の倍数であることを証明した。
• 驚くべき存在性： 著者らは、$F^{|2|}_{6,18}$ の存在が単純な次元計算（この次数/次数において、ドメインの次元 996 はコドメインの次元 4183 よりも小さい）からは保証されていないことを強調しており、これは $|S|=1$ のケースには見られない新しい現象を示唆している。

4. 意義と主張
本論文は、$|S| \ge 2$ かつ深さ $d > 4$ における明示的なシャトーディ・キムを扱った最初の研究であると主張している。

• アルゴリズムの進歩： それを、（$|S| \ge 2$ では実行不可能な）ブルートフォース的な線形代数の問題から、レゾナントを用いた扱い可能な消去理論の問題へと変貌させた。
• 理論的洞察： この構成は、これらの関数の係数がゴンチャロフの部分環に含まれることが保証されている一方で、個々の項は必ずしもその部分環に含まれない可能性があることを明らかにしており、算術的ステップの構造に関するヒントを与えている。
• 一般化： 著者らは、変数を逐次的に消去するためにレゾナントを繰り返し適用することで、$|S| > 2$ へとレゾナント法を拡張する戦略を概説しているが、一般的なケースにおいて非自明性を検証することが著しく困難になることも述べている。

本研究は、幾何学的ステップがより大きな集合 $S$ やより高い深さに対して効果的になり得ることを示す概念実証として機能しており、これまで到達不可能であった領域における $S$-単数方程式のシャトーディ・キム予想の検証に必要なツールを提供している。