Hecke Eigenvalues of Ikeda Lifts

技术摘要：伊克达提升的赫克特征值

问题陈述
本文研究了与伊克达提升（Ikeda lifts）相关的赫克特征值 $\lambda_F(T)$，这些提升是从亏格 1 的椭圆模形式构造出的亏格 $2n$ 的西格尔尖点形式。虽然已确立伊克达提升对于算子 $T(p)$ 的赫克特征值 $\lambda_F(p)$ 为正，但更高次幂 $r \ge 1$ 的特征值 $\lambda_F(p^r)$ 的正性仍是一个非平凡的问题。先前的方法依赖于涉及自旋 $L$-函数的狄利克雷级数关系，特别是分析局部因子展开中的分子多项式 $P(x)$。然而，该分子的显式公式仅已知于低亏格情况（$n \le 4$），这限制了将正性结果推广到任意亏格 $n$ 的能力。作者旨在不依赖狄利克雷级数分子的显式形式，确立所有 $n$ 下 $\lambda_F(p^r)$ 的正性。

方法论
作者采用直接的代数方法，通过球面映射 $\Omega$ 计算赫克算子 $T(p^r)$ 的球面像。方法论步骤如下：

1. 球面映射构造：本文利用球面映射 $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$，该映射将局部赫克代数元素映射为韦伊群不变多项式。特征值 $\lambda_F(T)$ 是通过将 $\Omega(T)$ 在形式 $F$ 的萨塔克 $p$-参数处求值获得的。
2. 约化至一般线性群：作者将辛群的球面映射与一般线性群的球面映射联系起来。他们利用一般线性情形下 $T(p^r)$ 球面像的显式公式（源自卷积代数表示和对称函数），来构造辛群公式。
3. 伊克达提升的特化：核心技术创新在于将伊克达提升的特定萨塔克参数代入一般辛群公式中。伊克达提升 $F$ 的萨塔克参数源自其底层椭圆形式 $f$（记为 $a, a^{-1}$）的参数。
4. 消失项：关键步骤涉及分析一般公式中存在的对称群 $S_{2n}$ 上的求和。作者证明，对于伊克达提升，系数 $c(\sigma(a_1, \dots, a_{2n}))$ 对所有 $\sigma \neq \text{id}$ 的排列 $\sigma$ 均为零。这种剧烈的简化将复杂的求和缩减为对应于恒等排列的单项。
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$ 的局限性。该结果将 Breulmann 定理（将特征值的正性与亏格 2 的赛托 - 久罗卡瓦提升联系起来）推广到任意亏格 $2n$ 的更广泛的伊克达提升类。这项工作表明，与亏格 2 的情况类似，伊克达提升的赫克特征值对于大素数为正，为这些提升的算术性质提供了进一步的证据。