Computing L-functions of $λ$-adic representations of global function fields

技術要約：大域関数体上の $\lambda$ 進表現の $L$ 関数の計算

問題提起
大域関数体 $K = \mathbb{F}_q(C)$ 上の対象の算術は、理論的には極めてよく理解されている。具体的には、それらに付随する $L$ 関数は $q^{-s}$ の有理関数であり、既知の関数等式とリーマン仮説を満たす。しかし、これらの対象に関する計算のエコシステムは著しく限定されている。数体に対して利用可能な広範なインフラストラクチャ（LMFDBや、Dokchitser、Booker、Rubinsteinによるアルゴリズムなど）とは対照的に、PARIやSageMathといった主要な計算代数システムは、関数体上の明示的な計算に対してほとんどサポートを提供していない。Magmaは特定のケース（非定数楕円曲線など）については機能を提供するが、任意の $\lambda$ 進表現に対する $L$ 関数の係数およびルート数（$\epsilon$ 因子）を計算するための、一般的かつ体系的なフレームワークは存在しない。このギャップは、関数体におけるLMFDBの類似物の作成を妨げ、この設定における予想の明示的な検証を制限している。

手法
本論文は、大域関数体 $K$ のほとんど至る所で不分岐な $\lambda$ 進表現 $\rho_\lambda$ に対する形式的 $L$ 関数 $L(\rho_\lambda, T)$ およびその符号 $\epsilon(\rho_\lambda)$ を計算するための体系的なフレームワークを確立する。このアプローチは、$L(\rho_\lambda, T)$ の有理性とその関数等式に基づいている。

1. 理論的基礎： 本論文では、$\rho_\lambda$ の不変量（アルティン導手 $f(\rho_\lambda)$、重み $w(\rho_\lambda)$、および符号 $c(\rho_\lambda) \in \{\text{id}, \text{cc}\}$）を検討する。$L(\rho_\lambda, T)$ が有理関数 $N(\rho_\lambda, T)/D(\rho_\lambda, T)$ であり、次数差 $n(\rho_\lambda) - d(\rho_\lambda)$ が導手と曲線 $C$ の種数によって決定されることを確立する。
2. 層化と有理性： 著者らは局所オイラー因子 $L_v(\rho_\lambda, T)$ の「層化」を定義する。彼らは、次数 $n(\rho_\lambda)$ までの係数を決定するために、十分多くの素点 $v$ における局所因子を乗算することで分子多項式 $N(\rho_\lambda, T)$ を計算するアルゴリズム 3.4 を提案する。
3. 関数等式による最適化： $\rho_\lambda$ が自己双対である場合、関数等式は $N(\rho_\lambda, T)$ の高次における係数と低次における係数を関連付ける。
   • アルゴリズム 3.6 は、この関係を利用して $N(\rho_\lambda, T)$ の最初の $\lfloor n/2 \rfloor$ 個の係数を計算し、$\epsilon(\rho_\lambda)$ が既知であれば残りの係数を同時に導出する。
   • アルゴリズム 3.9 はこれらのステップを組み合わせ、$\epsilon(\rho_\lambda)$ が既知の場合に $N(\rho_\lambda, T)$ の全多項式を出力し、計算量を $n$ の指数時間から、およそ $\lfloor n/2 \rfloor$ の指数時間へと削減する。
4. 符号の計算： $\epsilon(\rho_\lambda)$ が未知の場合、アルゴリズム 3.11 は関数等式を用いてこれを計算する。これは、部分的な係数を計算し、関係式 $N_k = \epsilon M_{n-k}$ から導かれる非ゼロの係数を用いて $\epsilon(\rho_\lambda)$ を解く。

主な貢献と結果
本論文は、定理 1.1 にまとめられている 3 つの主要なアルゴリズム的結果を提示している：

1. 一般計算： $L(\rho_\lambda, T)$ を、次数 $n(\rho_\lambda)$ の指数時間程度で計算するアルゴリズム（アルゴリズム 3.4）。
2. 最適化計算： $\epsilon(\rho_\lambda)$ が既知の場合、$L(\rho_\lambda, T)$ を、およそ $\lfloor n(\rho_\lambda)/2 \rfloor$ の指数時間で計算するアルゴリズム（アルゴリズム 3.9）。
3. 符号計算： $\epsilon(\rho_\lambda)$ を、通常は $\lfloor n(\rho_\lambda)/2 \rfloor$ の指数時間で、最悪の場合でも $n(\rho_\lambda)$ の指数時間で計算するアルゴリズム（アルゴリズム 3.11）。

著者らはこれらのアルゴリズムを Magma に実装し、楕円曲線およびねじれ $L$ 関数に対する既存の実装と比較検証した。論文では、以下の具体的な手計算例を示している：

• 自明な表現： ハイパー楕円曲線のデデキント $\zeta$ 関数の計算。
• 楕円曲線： $\mathbb{F}_7(t)$ 上の非定数楕円曲線の $L$ 関数の計算。
• ディリクレ文字： $\mathbb{F}_3(t)$ 上の原始的な文字に対する $L$ 関数と $\epsilon$ 因子の計算。

すべての例において、分子多項式の計算された根はリーマン仮説（モジュラス $q^{-(w+1)/2}$）を満たしており、実装の妥当性の確認（sanity check）となっている。

意義
本論文は、数体上のモチーフ的 $L$ 関数に対する T. Dokchitser のアルゴリズムを、大域関数体に特化させて適応させた、最初で最も一般的な体系的な類似物を提供すると主張している。関数体上の $\lambda$ 進表現に対する計算ツールの欠落を埋めることにより、本研究は、これまで可能であったものよりも広いクラスの対象（アルティン表現、ヤコビアン、および保型形式を含む）の $L$ 関数データの明示的な計算を可能にする。これにより、関数体における LMFDB の類似物の作成を促進し、関数体設定におけるねじれ BSD 型の公式のような、明示的な算術的予想の策定を支援する。本研究の範囲は、アルゴリズム的枠組みとその特定の例への検証に焦点を当てた控えめなものであるが、より複雑な自己準同型 $c(\rho_\lambda)$ やテンソル積への拡張が今後の課題であることも述べている。