Algorithms for determination of t-module structures on some extension groups

技術要約：いくつかの拡大群における $t$-加群構造の決定のためのアルゴリズム

問題提起
本論文は、多項式環 $A = \mathbb{F}_q[t]$ 上のアンデルソン $t$-加群（Anderson $t$-modules）である $\Phi$ および $\Psi$ に対する拡大群 $\text{Ext}^1_\tau(\Phi, \Psi)$ 上の $t$-加群構造を決定する問題に取り組んでいる。$t$-加群の圏は加法的であるが、この圏内における拡大群の構造は複雑である。著者らおよび他の研究者（具体的には Papanikolas、Ramachandran、および著者らの先行文献 [11, 17]）は、特定の種類の $t$-加群（例えば、ドリンフェルト・加群やカーリッツ・加群のテンソル積）に対してこれらの構造を計算する手法を確立してきたが、これらは $\deg_\tau \Phi > \deg_\tau \Psi$ という条件に依存することが多かった。しかし、既存のアプローチは特定のケースに限定されており、より広範なクラスの $t$-加群に適用可能な統一的かつ一般的なアルゴリズムを欠いていた。さらに、$\deg_\tau \Phi > \deg_\tau \Psi$ という条件だけでは、計算に必要な簡約ステップを実行可能にするには不十分であることが特定された。

手法
著者らは、「二重導関数（biderivation）」のアプローチを一般化している。これは、拡大群 $\text{Ext}^1_\tau(\Phi, \Psi)$ を、二重導関数の空間 $\text{Der}(\Phi, \Psi)$ を内的な二重導関数の部分空間 $\text{Der}_{\text{in}}(\Phi, \Psi)$ で割った商として表すものである。核となる手法は、**$t$-簡約アルゴリズム（$t$-reduction algorithm）**の開発である。

1. 表現： $\text{Ext}^1_\tau(\Phi, \Psi)$ の元は、行列 $\text{Mat}_{e \times d}(K\{\tau\})$（ここで $K$ は基礎体）におけるクラスとして識別される。
2. 基底の構成： アルゴリズムは、任意の二重導関数を特定の部分空間 $\text{Mat}_{e \times d}(K\{\tau\})_{<N}$（ここで $N$ は次数境界の行列）へと簡約するための、内的な二重導関数の基底を探索する。
3. 簡約プロセス： アルゴリズムは、適切な内的な二重導関数を減算することによって、二重導関数の行列表現における $\tau$-多項式の次数を反復的に減少させる。このプロセスは、$\Phi$ の最高 $\tau$-次数の係数行列の可逆性に依存している。
4. 構造の決定： 空間が簡約された後、簡約された空間の生成元に対する $t$ 倍による作用（$t$-加群構造）が計算される。その結果、$\text{Ext}^1_\tau(\Phi, \Psi)$ 上の $t$-加群構造を定義する行列 $\Pi_t$ が得られる。

また、本論文は $t$-加群の**$\tau$-組成列（$\tau$-composition series）**という概念を導入している。これにより、著者らは、必ずしも単純ではないが、特定の次数および準同型条件を満たす一連の $\tau$-単純な商（具体的にはドリンフェルト・加群）へと分解可能な $t$-加群に対しても、アルゴリズムを拡張することができる。

主要な貢献と結果

• 一般化された $t$-簡約アルゴリズム： 本論文は、$\deg_\tau \Phi > \deg_\tau \Psi$ という条件下で $\text{Ext}^1_\tau(\Phi, \Psi)$ 上の $t$-加群構造を計算するための完全なアルゴリズム（アルゴリズム 1–4）を提示している。
• 実行可能性のための十分条件： 著者らは、次数条件だけでは不十分であることを示している。$\Phi_t$ における最高次 $\tau$ の冪における行列 $A_n$ が可逆であれば、アルゴリズムは実行可能であり、得られる構造は有効な $t$-加群となることを証明した（定理 4.1）。
• 組成列による拡張： $\tau$-単純性と $\tau$-組成列を定義することにより、$\Phi$ と $\Psi$ が特定の次数制約（$\deg_\tau \sigma_i > \deg_\tau \bar{\sigma}_j$）および消滅条件（vanishing Hom-conditions）を満たすドリンフェルト・加群の商を持つ組成列を有する場合、$t$-簡約アルゴリズムが引き続き実行可能であることを示す（定理 5.2、系 5.3）。これは、計算可能な $t$-加群のクラスを大幅に拡大するものである。
• 厳密な公式： 2つのドリンフェルト・加群 $\phi$ と $\psi$（$\deg_\tau \phi > \deg_\tau \psi$）の特定のケースについて、著者らは行列 $\Pi_t$ に関する明示的な（ただし複雑な）公式を導出している（セクション 6）。これらの公式により、反復的な簡約ステップを実行することなく、係数を直接計算することが可能となる。
• 整数係数と次数： これらの厳密な公式を用いて、得られる $t$-加群が整数係数を持つための条件を導出し（命題 6.1）、$\phi$ と $\psi$ の次数に基づいた拡大群 $\text{Ext}^1_\tau(\phi, \psi)$ の正確な次数を計算した（命題 6.2）。
• 実装： 論文にはアルゴリズムの擬似コードが含まれており、Mathematica 13.2 による実装と計算例が記載されている（付録）。

意義と主張
本論文は、従来の文献で扱われてきた特定のケースを超え、拡大群上の $t$-加群構造を決定するための体系的かつ一般化可能な枠組みを提供することを主張している。$t$-簡約アルゴリズムと $\tau$-組成列の概念の導入により、以前は不可能であった、より広いクラスの $t$-加群に対してこれらの構造を効果的に計算することが可能となった。著者らは、一般的なケースの厳密な公式はしばしば煩雑すぎる場合があるものの、彼らのアルゴリズム的アプローチは実用的な計算手法を提供すると強調している。本研究は、$t$-加群の加法的圏における技術的な進歩であり、ドリンフェルト・加群や $t$-加群の広範な理論において極めて重要となる拡大群のような基本構造を調査するためのツールを提供するものである。論文の最後には、元のテキストに対する特定の技術的な修正を扱う正誤表（Corrigendum）が付されている。