Duality for t- modules: The Difficult Cases

技術要約：t-加群の双対性：困難なケース

問題提起
本論文は、アンデルソン（Anderson）$t$-加群の双対理論、特に$t$-加群 $\Upsilon$ とその二重双対 $\Upsilon^{\vee\vee}$ の間の同型性に焦点を当てて取り組むものである。カルト・ニシ（Cartier–Nishi）の定理およびヴェイル–バルソッティ（Weil–Barsotti）の公式は、ランクが2以上のドリンフェルト（Drinfeld）加群や、特定のクラスの$t$-加群（厳密に純粋な加群や低次次数（LD）二重微分を許容するものなど）については確立されているが、一般的な$t$-加群に対してはこれらの結果は成立しない。著者らによる先行研究（[KK26], [KK25]）では、三角型$t$-加群において、冪零性が存在する場合や、二重微分がLDクラスを超える場合には、同型 $\Upsilon \cong \Upsilon^{\vee\vee}$ が保証されないことが特定されている。

ここで対処される具体的な課題は、第1の部分商 $\psi_1$ のランクが第2の部分商 $\psi_2$ のランクを上回る場合（$rk\psi_1 > rk\psi_2$）、かつ二重微分 $\delta$ が条件 $rk\psi_1 > \deg_\tau \delta \ge rk\psi_2$ を満たすような、二次元の三角型$t$-加群における「困難なケース」である。この領域では、同型 $\Upsilon \cong \Upsilon^{\vee\vee}$ は定数行列によって実現されるのではなく、歪多項式（skew polynomials）を必要とする。この変化は「大幅な係数の膨張（coefficient swell）」を導入し、手動での検証を不可能にし、理論的な証明を複雑化させる深刻な計算上の障害を生じさせる。

手法
著者らは、代数的理論と広範なコンピュータ支援による記号計算を組み合わせたハイブリッド・アプローチを採用している。

1. 実験数学： 著者らは、歪多項式環 $K\{\tau\}$ 上の記号計算を行うために Wolfram Mathematica 13.1 を利用した。彼らは、三角型$t$-加群の双対モジュール（$\Upsilon^\vee$）および二重双対二重微分（$\delta^{\vee\vee}$）を計算するためのアルゴリズムを実装した。
2. アルゴリズムの開発：
   • 双対計算： 三角型$t$-加群の双対を計算するために、$t$-簡約アルゴリズム（[GKK24]より）を特殊化し、特に微分が消失する二重微分を扱った。
   • 二重双対計算： 双対モジュールが上三角形式をとる場合に、二重双対二重微分 $\delta^{\vee\vee}$ を計算するために、$t$-簡約アルゴリズムを拡張した。これには、高次項を簡約するための特定の内部二重微分（inner biderivations）の族の構成が含まれる。
   • 同型の検出： $\delta_1 - \delta_2 = \delta(u(\tau))_{\psi_2, \psi_1}$ となる歪多項式 $u(\tau)$ を決定し、同型 $\Upsilon_1 \cong \Upsilon_2$ を確立するためのアルゴリズムを開発した。
3. 複雑性解析： 著者らは、リーフ数（leaf counts）および記号式のメモリ・フットプリントを測定することで、「式の膨張（expression swell）」を定量化した。双対の $\tau$-次数は理論的に限定されているものの、係数のサイズは指数関数的に増大し、中程度のパラメータであってもコンピュータによる支援が必要であることを示した。
4. 戦略的簡略化： 複雑さを管理するために、著者らは2つの主要な簡約を利用した。
   • 係数の有理式を避けるため、単項（monic）$t$-加群に注意を限定すること（有限体の拡大によって達成可能）。
   • 双対写像の $\mathbb{F}_q$-線形性に起因して、$d\tau^h$ の形の二重微分に焦点を当てること。

主な貢献と結果

1. ALD-二重微分の定義： 著者らは「ほぼ低次次数（Almost Low Degree: ALD）」二重微分の概念を導入した。三角型$t$-加群は、その簡約された二重微分 $\delta_{red}$ の次数が $\deg_\tau \delta_{red} \le 3(rk\psi_2 - 1)$ を満たす場合に、ALD-二重微分を許容する。
2. 双対の明示的な公式： 本論文は、二次元三角型$t$-加群に対する双対二重微分 $\delta^\vee$ の明示的な再帰的記述（定理7.2）を提供している。これには、成分 $\Delta_{k,l}$ への分解と、係数 $\xi_{k,l}$ の再帰的定義が含まれる。
3. 主定理（ALDに対するカルト・ニシ）： 中心的な結果（定理6.3）は、冪零性を持たない二次元三角型$t$-加群 $\Upsilon$ （ただし $rk\psi_1 > rk\psi_2 > 1$）において、$\Upsilon$ がALD-二重微分を許容する場合、カルト・ニシの定理が成立する（すなわち $\Upsilon \cong \Upsilon^{\vee\vee}$ である）ことを証明している。
4. 同型における構造的パターン： 計算実験を通じて、著者らは同型を誘導する多項式 $u(\tau)$ が、$h \le 3(rk\psi_2 - 1)$ において再帰的なパターンを示すことを観察した。具体的には、この範囲の $h$ において、多項式は予測可能な形で先行するケースに依存するが、$h > 3(rk\psi_2 - 1)$ では、その構造は不規則かつ著しく複雑になる。
5. 証明メカニズム： 証明は、二重双対二重微分 $\delta^{\vee\vee}$ を内部二重微分で割ること（modulo inner biderivations）に基づいている。成分 $\Delta_{k,l}^\vee$ の代表元を分析することにより、これらの代表元の和が、内部二重微分に関して元の二重微分 $\delta$ を復元することを示し、それによって同型を確立している。

意義と主張

本論文は、カルト・ニシの定理およびヴェイル–バルソッティの公式の妥当性を、これまで知られていたよりも大幅に広いクラスの$t$-加務へと拡張することを主張している。具体的には、制限的な「低次次数（Low Degree: LD）」条件を超えて、「ほぼ低次次数（Almost Low Degree: ALD）」条件へと移行している。

著者らは、本研究がグローバル関数体上の関数体算術における最初の実験的アプローチの一つであることを強調しており、係数の膨張が発生する「困難なケース」を扱う上で、コンピュータ支援の手法が不可欠であることを示している。

論文は、一般的なケースに関しては控えめな姿勢を保っている。トリプル $(r_1, r_2, h)$ において $h > 3(r_2 - 1) + 1$ である場合、現在の分解戦略は失敗し、同型にはALDの場合には存在しない有限体の拡大（$q$ 乗根の抽出）が必要になる可能性があることを認めている。著者らは双対性がより広く成立するという予想を立てているが、ALD領域に見られる特定の構造的規則性がなければ、数式が実用的に扱えないほど複雑になるため、一般的なケースの証明には現在の手法の修正が必要になるであろうと述べている。