Hecke Eigenvalues of Ikeda Lifts

技術的概要：イクダリフトのヘッケ固有値

問題提起
本論文は、楕円モジュラー形式（種数 1）から構成される種数 $2n$ のシエゲル尖点形式であるイクダリフトに関連するヘッケ固有値 $\lambda_F(T)$ を調査する。イクダリフトにおける演算子 $T(p)$ に対するヘッケ固有値 $\lambda_F(p)$ が正であることは確立されているが、より高次の冪 $r \ge 1$ に対する固有値 $\lambda_F(p^r)$ の正性は、非自明な課題として残されている。従来のアプローチは、スピンの $L$ 関数に関わるディリクレ級数の関係、特に局所因子展開における分子多項式 $P(x)$ の分析に依存していた。しかし、この分子に関する明示的な公式は低種数（$n \le 4$）の場合にのみ知られており、任意の種数 $n$ に対する正性の結果を一般化する能力を制限していた。著者らは、ディリクレ級数の分子の明示的な形式に依存することなく、すべての $n$ に対して $\lambda_F(p^r)$ の正性を確立することを目的としている。

手法
著者らは、ヘッケ作用素 $T(p^r)$ の球面像を球面写像 $\Omega$ によって計算することにより、直接的な代数的アプローチを採用する。手法は以下の通り進行する。

1. 球面写像の構成: 論文は、局所ヘッケ代数の要素をワイル群不変多項式に写す球面写像 $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$ を利用する。固有値 $\lambda_F(T)$ は、形式 $F$ のサタケ $p$ パラメータにおいて $\Omega(T)$ を評価することで得られる。
2. 一般線形群への還元: 著者らは、対称群の球面写像を一般線形群のそれに関連付ける。一般線形の場合における $T(p^r)$ の球面像の明示的な公式（畳み込み代数の表現と対称関数から導出されたもの）を利用して、対称群の公式を構成する。
3. イクダリフトへの特殊化: 核心的な技術的革新は、イクダリフトの特定のサタケパラメータを一般的な対称群の公式に代入することにある。イクダリフト $F$ のサタケパラメータは、基底となる楕円形式 $f$（$a, a^{-1}$ と表記）のサタケパラメータから導かれる。
4. 消滅する項: 重要なステップとして、一般の公式に存在する対称群 $S_{2n}$ 上の和を分析する。著者らは、イクダリフトの場合、すべての置換 $\sigma \neq \text{id}$ に対して係数 $c(\sigma(a_1, \dots, a_{2n}))$ が消滅することを証明する。この劇的な簡略化により、複雑な和は単位置換に対応する単一の項に還元される。
5. 多項式解析: $\lambda_F(p^r)$ に関する得られた明示的な公式は、$p^{\pm 1/2}$ の多項式として表される。著者らはこの多項式の係数を分析し、その大きさの上限を確立するとともに、主要項を特定する。

主要な貢献と結果

• 明示的な公式: 論文は、生成する楕円形式 $f$ のサタケパラメータ $a, a^{-1}$ を用いて、イクダリフト $F \in S_{k+n}(\Gamma_{2n})$ のヘッケ固有値 $\lambda_F(p^r)$ に対する閉じた形式の式を導出する。
  $$\lambda_F(p^r) = p^{r(nk - \frac{n}{2})} \sum_{0 \le \delta_1 \le \dots \le \delta_{2n} \le r} a^{-nr + \sum \delta_i} p^{\sum (-n-\frac{1}{2}+i)\delta_i} \frac{\phi_{2n}(p^{-1})}{\phi_{k_1}(p^{-1})\dots\phi_{k_t}(p^{-1})}$$
  ここで、$\phi_m$ はヘッケ代数の構造に関連する特定的多項式である。

• 大素数における正性: 多項式構造を分析することにより、著者らは $\lambda_F(p^r)$ が $\mathbb{Z}[a, a^{-1}]$ 内の整数係数を持つ $p^{1/2}$ の多項式として記述できることを証明する。主要係数が 1 であり、残りの係数が有界であることを示す。その結果、任意の固定された $r \ge 1$ に対して、固有値 $\lambda_F(p^r)$ は十分に大きなすべての素数 $p$ に対して厳密に正となる。

• 明示的な下限: 論文は、正性を保証する素数 $p$ に対する具体的な下限を提供する。具体的には、以下のすべての $p$ に対して $\lambda_F(p^r) > 0$ となる。
  $$p > \left( 4n \left( 2rn^2 + 2n(2n-1) \right) \right)^2$$
  この下限は、命題 3 で得られた多項式係数の精密な評価から導出される。

意義
本論文は、スピンの $L$ 関数のディリクレ級数における分子多項式の明示的な知識に依存することなく、任意の種数におけるイクダリフトのヘッケ固有値の正性を決定する方法を提供することで、その意義を主張する。これは、種数 $n \le 4$ に制限されていた従来の結果の限界を回避するものである。この結果は、種数 2 における固有値の正性を斎藤・黒川リフトと関連付けたブリューマンの定理を、任意の種数 $2n$ に対するイクダリフトのより広いクラスへと一般化するものである。この研究は、種数 2 の場合と同様に、イクダリフトのヘッケ固有値が大きな素数に対して正であることを確立し、これらのリフトの算術的性質に関するさらなる証拠を提供する。