[论文解读] On the numerator of the symplectic Hecke series of degree three

Alexei Panchishkin, Kirill Vankov|ArXiv.org|Apr 27, 2006

Advanced Algebra and Geometry被引用 4

一句话总结

本文提出一种新方法，用于计算 $Γ_3$ 的辛 Hecke 系列的分子，利用 Satake 球面映射与对称多项式，推导出生成系列的显式公式。关键贡献是一个编码 Hecke 算子像的六次多项式 $P(x_0,x_1,x_2,x_3,v)$，其系数以对称多项式和 $p$ 的幂表示，通过一种新的计算方法验证了 Shimura 的猜想。

ABSTRACT

We find a different method to compute the generating series in Shimura's conjecture for Sp3, proved by Andrianov in 1967. Formulas for the Satake spherical map for Sp3 are used.

研究动机与目标

• 为 Shimura 所提出的 $Γ_3$ 的辛 Hecke 系列分子提供一种替代的、系统化计算方法。
• 利用 Satake 球面映射，推导出 $Γ_3$ 上 Hecke 算子生成系列的显式公式。
• 以对称多项式和 $p$-进系数表示球面映射下 Hecke 算子像的表达式。
• 通过直接计算分子多项式并结合对称函数理论，验证 Shimura 对 $Γ_3$ 的猜想。

提出的方法

• 作者使用 Satake 球面映射 $\Omega$ 将 $Γ_3$ 上的 Hecke 算子转化为变量 $x_1,x_2,x_3$ 上的对称多项式。
• 通过对称群 $S_3$ 的轨道和定义对称多项式 $\mathrm{sym}_{i_1,i_2,i_3}$，并归一化使其系数为 1。
• 生成系列的分子被构造为一个六次多项式 $P(x_0,x_1,x_2,x_3,v)$，其系数包含 $\mathrm{sym}_{i_1,i_2,i_3}$ 和 $p$ 的幂。
• 通过球面映射和 $Γ_p$ 上对称矩阵的计数，计算 $\omega(t(1,p^\lambda_2,p^{\lambda_3}))$ 在不同 $\lambda_2,\lambda_3$ 下的值，结果表示为 $p$ 的有理函数。
• 利用 $\mathrm{sm}_p(r,a)$（即 $Γ_p$ 上秩为 $r$ 的对称矩阵的数量），推导出 $\Omega(\mathbf{T}(p))$、$\Omega(\mathbf{T}_1(p^2))$ 和 $\Omega(\mathbf{T}_2(p^2))$ 的显式公式。
• 通过代入特定的 Satake 参数 $x_0=1, x_1=p, x_2=p^2, x_3=p^3$ 对计算进行验证，得到 $P_\nu(v)$ 的因式分解形式，与已知的 $L$-函数因子一致。

实验结果

研究问题

• RQ1 如何利用 Satake 球面映射与对称多项式计算 $Γ_3$ 的辛 Hecke 系列分子？
• RQ2 Hecke 算子在 $Γ_3$ 上的生成系列的显式形式如何用对称多项式和 $p$-进系数表示？
• RQ3 在球面映射下，$\mathbf{T}(p)$、$\mathbf{T}_1(p^2)$ 和 $\mathbf{T}_2(p^2)$ 的像如何与对称多项式及 $p$-进计数关联？
• RQ4 能否通过直接计算分子多项式验证 Shimura 对 $Γ_3$ 的猜想？
• RQ5 $\omega(t(1,p^{\lambda_2},p^{\lambda_3}))$ 在不同 $\lambda_2, \lambda_3$ 下的结构是什么？其如何分解为对称多项式项？

主要发现

• $Γ_3$ 的 Hecke-Shimura 生成系列的分子由一个六次多项式 $P(x_0,x_1,x_2,x_3,v)$ 给出，其系数包含对称多项式 $\mathrm{sym}_{i_1,i_2,i_3}$ 和 $p$ 的幂，如公式 (1) 所示。
• $\mathbf{T}(p)$ 在球面映射下的像是 $x_0(\mathrm{sym}_{1,1,0} + \mathrm{sym}_{1,0,0} + \mathrm{sym}_{1,1,1} + 1)$，确认了标准的 Satake 参数化。
• $\mathbf{T}_1(p^2)$ 的像是一个包含 $x_0^2$ 和具有 $p$-相关系数的对称多项式的和，例如 $\frac{(p^2-1)\mathrm{sym}_{2,1,1}}{p^3}$。
• $\mathbf{T}_2(p^2)$ 的像是 $x_0^2\omega(t(1,p,p)) + p^4x_0^2\omega(t(p,p,p^2)) + \mathrm{sm}_p(1,3)x_0^2\omega(t(p,p,p))$，其中 $\mathrm{sm}_p(1,3)$ 的值为 $\frac{\phi_3(p)}{\phi_1(p)\phi_2(p)}$。
• 当特殊取值 $x_0=1, x_1=p, x_2=p^2, x_3=p^3$ 时，多项式 $P_\nu(v)$ 因式分解为 $(1-p v)(1-p^2 v)(1-p^3 v)(1-p^4 v)(1+p v + p^2 v + p^3 v + p^4 v + p^5 v^2)$，与已知的 $L$-函数因子一致。
• 本文提供了 $\omega(t(1,p^{\lambda_2},p^{\lambda_3}))$ 在 $\lambda_2,\lambda_3$ 从 0 到 6 的显式有理表达式，每项均分解为具有 $p$-相关分母的对称多项式项，例如 $\omega(t(1,p^5,p^6))$ 的表达式为 $\frac{(p^3-p^2)\mathrm{sym}_{6,5,0}}{p^{18}}$。