Traces of Hecke operators on Drinfeld modular forms for $\mathrm{GL}_2(\mathbb{F}_q[T])$

この論文「Traces of Hecke operators on Drinfeld modular forms for GL2(Fq[T])」（著者：Sjoerd de Vries、付録は Jonas Bergström と共同）は、関数体上のモジュラー形式、特に $A = \mathbb{F}_q[T]$ に対するレベル 1 のドリントル・モジュラー形式におけるヘッケ作用素のトレースを研究したものです。古典的な楕円モジュラー形式との類似性と相違点を踏まえ、幾何学的なトレース公式を用いて具体的な計算式やアルゴリズムを導出しています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

• ドリントル・モジュラー形式: 関数体上の楕円曲線に相当する「ランク 2 のドリントル・モジュール」のモジュライ空間上で定義される関数です。古典的なモジュラー形式と多くの類似点（重み、有限次元性など）を持ちますが、正標数であるためペーターソン内積が存在せず、古形式・新形式への分解やヘッケ作用素の対角化可能性などの点で本質的な違いがあります。
• ヘッケ作用素のトレース: 各素イデアル $\mathfrak{p}$ に対して定義されるヘッケ作用素 $T_{\mathfrak{p}}$ のトレースを計算することは、固有値の分布やモジュラー形式の構造を理解する上で中心的な課題です。
• 既存の課題: トレース公式は存在しますが、具体的な閉形式（closed-form expression）を得ることは難しく、特に次数 2 以上の素イデアルや奇数標数における計算は複雑でした。また、Bandini と Valentino による「レベル $\Gamma_0(\mathfrak{p})$ における古形式・新形式への分解」に関する予想の検証には、ヘッケ作用素の固有値の重複度に関する情報が不可欠でした。

2. 手法とアプローチ

• 幾何学的トレース公式の活用: 著者は [Vri25a] で証明されたトレース公式を基盤としています。この公式は、ヘッケ作用素のトレースを、有限体上のドリントル・モジュールの同型類の和として表現するものです。
  $$\text{Tr}(T_{\mathfrak{p}}^n | S_{k+2, l}) = \sum_{[\phi]/\mathbb{F}_{p^n}} h_k(\pi_\phi, \bar{\pi}_\phi) \cdot \left( \frac{\pi_\phi \bar{\pi}_\phi}{\wp^n} \right)^{l-k-1}$$
• 同型類の数の精密化: トレースを具体的に計算するために、与えられた同型類におけるドリントル・モジュールの同型類の数（$\# \text{Iso}_{\mathfrak{p}^n}(a, b)$）を、Hurwitz 類数（Hurwitz class numbers）を用いて完全に記述しました（付録 A）。これは Yu や Gekeler の既存結果を拡張し、標数 2 の場合を含む包括的な記述となっています。
• 二項係数と対称性の利用: トレース公式に含まれる二項係数の性質（Lucas の定理など）や、重み $k = p^m + 1$ における対称性を解析することで、トレースの構造を単純化し、閉形式を導出しました。
• 計算機代数システム (Magma) の実装: 高次数の素イデアルに対するトレースを計算するためのアルゴリズムを実装し、具体的な数値計算を通じて予想を検証しました。

3. 主要な貢献と結果

A. トレースの閉形式とアルゴリズム

• 次数 1 の素イデアル: 任意の重み $k$ とタイプ $l$ に対して、ヘッケ作用素 $T_{\mathfrak{p}}$（$\deg(\mathfrak{p})=1$）のトレースの閉形式式を導出しました（定理 1.1）。
  $$\text{Tr}(T_{\mathfrak{p}} | S_{k+2, l}) = \sum_{0 \le j < k/2, \, j \equiv l-1} (-1)^j \binom{k-j}{j} \wp^j$$
• 標数 2 の場合の一般化: 標数 2（$2 \mid q$）の場合、次数 1 の素イデアルに対する結果が任意の素イデアルおよび任意の冪 $n$ に対して成り立つことを示しました（定理 1.2）。これにより、標数 2 におけるヘッケ作用素のトレースは非常に単純な構造を持つことが明らかになりました。
• 高次数の素イデアル: 奇数標数かつ次数 2 以上の素イデアルについては、明示的な閉形式は複雑ですが、効率的に計算できるアルゴリズム（アルゴリズム 3.38）を提案しました。

B. ラマヌジャン境界の改善

• 強いラマヌジャン境界 (Strong Ramanujan Bound): 従来のラマヌジャン境界（トレースの次数の上限）はレベル 1 では厳密でないことを示し、より強い境界を提案しました（予想 4.3）。
  $$\deg \text{Tr}(T_{\mathfrak{p}}^n | S_{k, l}) \le \frac{n \deg(\mathfrak{p})(k - (q+1))}{2}$$
• この境界は、次数が小さい場合や標数 2 の場合に証明されました（定理 4.9）。また、この境界の改善は、ヘッケ作用素の固有値の分布（スロープ）に関する重要な制約を与えます。

C. 固有値と古形式・新形式への分解

• 固有値の重複度: 標数 2 の場合、ヘッケ作用素の固有値が重複する（代数重複度が $p$ の倍数になる）ケースが無限に存在することを示しました（定理 5.13）。これはトレースから固有値を完全に復元できないことを意味しますが、奇数重複度で現れる固有値は特定可能であることを示しました（定理 5.9）。
• 古形式・新形式分解: Bandini–Valentino の予想に基づき、レベル $\Gamma_0(\mathfrak{p})$ における空間の分解 $S_{k,l}(\Gamma_0(\mathfrak{p})) = S^{\text{new}} \oplus S^{\text{old}}$ について議論しました。
  • 定理 1.5: もし $\dim S_{k,l} < p$ ならば、この分解は常に成り立ちます。これは、ヘッケ作用素の固有値が $p$ 回以上重複しないという条件の下で、古形式と新形式が直和分解することを保証するものです。

D. A-展開と固有形式

• A-展開の逆命題の反例: ヘッケ作用素の固有値が $T_{\mathfrak{p}} f = \wp^{n-1} f$ という「冪固有系 (power eigensystem)」を持つ場合、その形式 $f$ が必ずしも A-展開を持つとは限らないことを示しました（定理 1.6）。具体的には、$q=3$ の場合、$S_{12,0}$ の元 $g_2 h_2$ が冪固有系を持つが A-展開を持たないことを証明しました。

4. 意義と今後の展望

• 理論的進展: 関数体上のモジュラー形式の理論において、ヘッケ作用素のトレースを具体的に計算可能な形に落とし込んだ点は画期的です。特に、標数 2 における完全な記述は、これまでにない深い洞察を提供しています。
• 計算可能性: 提案されたアルゴリズムと Magma による実装により、低重みや特定の条件における具体的な数値実験が可能になり、数値的証拠に基づいた新しい予想（スロープに関するものなど）が生まれました。
• 古典理論との対比: 古典的な楕円モジュラー形式との類似点（ラマヌジャン予想など）と相違点（固有値の重複、内積の欠如など）を明確にすることで、関数体上の数論幾何の独自性を浮き彫りにしています。
• 応用: 得られた結果は、Drinfeld モジュールの同型類の分類や、関数体上のガロア表現の理解にも寄与する可能性があります。

総じて、この論文はドリントル・モジュラー形式のヘッケ作用素の解析において、理論的な閉形式の導出から計算アルゴリズムの実装、そして深い構造（分解や境界）の解明までを網羅的に扱った重要な研究です。