Periodicity of traces of Hecke operators modulo prime powers

この論文「Periodicity of traces of Hecke operators modulo prime powers（素数べき法における Hecke 演算子の跡の周期性）」は、Jonas Bergström と Sjoerd de Vries によって書かれた数論的な研究です。以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて日本語で詳述します。

1. 問題設定 (Problem)

楕円モジュラー形式（古典的な数体上のモジュラー形式）およびドリントルモジュラー形式（関数体上のモジュラー形式）の空間における、Hecke 演算子の跡（trace）の性質が主題です。

• 背景: モジュラー形式のフーリエ係数や固有値間の合同式（congruences）は、数論において中心的な役割を果たしています。特に、異なる重み（weight）を持つ空間における Hecke 演算子の跡の間の合同式は、Gouvêa–Mazur 予想などの文脈で重要です。
• 既存の成果: Serre は、素数 $p$ 法における重みに関する跡の合同式（周期性）を証明しました。
• 未解決の課題: 素数法だけでなく、素数べき（prime powers） 法における、より一般の合同部分群（congruence subgroups）に対する重みごとの跡の周期性を確立すること。また、この結果を正標数（関数体）のドリントルモジュラー形式の文脈へ拡張すること。

2. 手法 (Methodology)

著者らは、Deligne の基礎的な仕事 [Del71] に基づく**跡公式（Trace Formula）**を主要な道具として用いています。

• 跡公式の適用:
  • 楕円の場合: 楕円曲線 $E$ とレベル構造 $\phi$ の対 $(E, \phi)$ に対する Frobenius 作用素 $F_q$ の作用を、モジュラー曲線 $X_H$ のコホモロジー群を通じて記述します。具体的には、$S[H, k+2]$ 上の Frobenius の跡は、楕円曲線の点の集合（$Y_H(\mathbb{F}_q)$）と尖点（cusps）への和として表現されます。
  • ドリントルの場合: 関数体上の Drinfeld 加群のモジュライ空間を用いた同様の跡公式を適用します。
• 合同式の導出:
  • 跡公式の右辺に現れる項（二項係数や $a_1(E)$ のべき乗など）を、$\ell^s$ 法（$\ell$ は素数、$s \ge 1$）で評価します。
  • Lucas の定理の素数べき版（Lemma 3.4）や、生成関数の周期性（Lemma 3.8, 3.10）を用いて、重み $k$ が増加したときの項の挙動を解析します。
  • 特に、$a_1(E)$（Frobenius の跡）が $\ell$ で割り切れる場合と割り切れない場合に分け、それぞれの部分和が特定の周期 $n$ ごとに $\ell^s$ 法で一致することを示します。
• 非可表現的なレベル構造への対応: レベル構造が「可表現的（representable）」でない場合（自己同型群が自明でない場合）、その自己同型群の位数の $\ell$ 進付値を考慮し、周期の定義を修正することで一般性を保っています。

3. 主要な貢献と結果 (Key Contributions and Results)

論文の核心は、以下の 2 つの主要定理です。

定理 1.1（楕円モジュラー形式の場合）

$N \ge 1$、$H \subset GL_2(\mathbb{Z}/N\mathbb{Z})$、素数 $\ell$、素数べき $q=p^a$（$\gcd(q, N)=1$）とする。
重み $k$ が十分大きいとき（$k \ge k_0$）、Hecke 演算子 $F_q$ の跡は、重み $k$ に対して周期的に振る舞います。具体的には、ある周期 $n$ に対して次が成り立ちます：
$$\text{Tr}(F_q | S[H, k + 2]) + \epsilon_k \equiv_{\ell^s} \text{Tr}(F_q | S[H, k + 2 + n])$$
ここで、$\epsilon_k$ は尖点からの補正項であり、周期 $n$ は $\ell, s, q$ の Legendre 記号などの条件によって以下のように定義されます：

• $\ell \ge 3$ かつ $\ell \nmid q$ の場合: $\ell^{s-1}(\ell^2-1)$ またはその半分（$q$ が平方剰余か否かによる）。
• $\ell = 2$ の場合: $\ell^s(\ell^2-1)$ など、$q$ が平方剰余か否か、および $H$ の性質に依存。
• $\ell = p$ の場合: $\ell^{s-1}(\ell-1)$。

この結果は、Serre の素数法における結果を素数べき法へ一般化し、Gouvêa–Mazur 予想の精神に則した結果を提供します。

定理 1.4（ドリントルモジュラー形式の場合）

関数体 $A$ 上のコンパクト開部分群 $K$ と素数 $\mathfrak{l}$ に対して、同様の周期性が成り立ちます。
重み $k$ が十分大きければ、
$$\text{Tr}(T_{\mathfrak{p}}^n | S_{k+2, \mathfrak{l}}(K)) \equiv_{\mathfrak{l}^s} \text{Tr}(T_{\mathfrak{p}}^n | S_{k+2+m, \mathfrak{l}}(K))$$
が成立します。ここで周期 $m$ は、$\mathfrak{l}$ と $\mathfrak{p}$ の関係や、$\mathfrak{p}$ が主イデアルであることなどに基づいて定義されます。

• $\mathfrak{l} \neq \mathfrak{p}$ の場合: 周期は $p^{\tilde{s}}(|\mathfrak{l}|^2 - 1)$ などの形をとります（$\tilde{s} = \lceil \log_p s \rceil$）。
• $\mathfrak{l} = \mathfrak{p}$ の場合: 周期は $p^{\tilde{s}}(|\mathfrak{l}| - 1)$ となります。

4. 具体的な結果と例 (Examples and Applications)

• レベル 1 の楕円モジュラー形式: 具体的な計算例として、$\Gamma(1)$ における重み 28 などの跡を、$\ell=2, 3, 5$ 法で多項式として明示しています。これにより、有限個の重みでの計算から、すべての重みにおける跡の多項式表現が得られることが示されました。
• 関数体上の合同式: $A = \mathbb{F}_q[T]$ の場合、周期が最適であることを示す例（Example 5.3）を挙げています。
• Hecke 多項式の周期性: 可表現的なレベル構造において、Hecke 演算子 $T(p)$ の特性多項式 $f_k(x)$ が、$k \ge 3$ に対して $f_k(x) \equiv_p f_{k+p-1}(x)$ を満たすことを示しました（Proposition 5.5, 5.7）。これにより、$p$-adic 傾き（slope）が 0 である固有値の次元が周期的であることが導かれます（Corollary 5.8）。これは Hida の結果や Gouvêa–Mazur 予想の傾き 0 のケースを回復するものです。

5. 意義 (Significance)

1. 一般化と精密化: Serre の結果を素数法から素数べき法へ拡張し、より高い精度（$\ell^s$ 法）での周期性を確立しました。また、レベル構造が可表現的でない場合（自己同型群が非自明な場合）にも対応する一般論を提供しています。
2. 数体と関数体の統一: 古典的な楕円モジュラー形式と、正標数におけるドリントルモジュラー形式に対して、同じような手法と結果が得られることを示し、両者の理論的な類似性を浮き彫りにしました。
3. Gouvêa–Mazur 予想への貢献: 重み空間における跡の周期性は、$p$-adic モジュラー形式の理論や、Gouvêa–Mazur 予想（$p$-adic 固有値の分布に関する予想）の理解に深く関連しています。特に、傾き 0 の部分空間の次元周期性を証明することで、この分野の重要な知見を提供しています。
4. 計算可能性: 定理により、無限個の重みにおける跡の計算が、有限個の重みにおける計算に帰着されることが示されました。これは、数値的な検証や具体的な合同式の導出を可能にする実用的な結果です。

総じて、この論文は Hecke 演算子の跡の合同式理論において、素数べき法という新しい視点から強力な周期性定理を確立し、数論的モジュラー形式の構造理解を深める重要な貢献をしたと言えます。