[論文レビュー] 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

ひとこと要約

本稿では、Satake球面写像と対称多項式を用いて、$\ mathrm{Sp}_3$ のシンプレクティックHecke系列の分子を計算する新規な手法を提示する。生成関数の明示的公式が得られ、Shimuraの予想が新たな計算的手法により確認される。主な貢献は、Hecke作用素の像を符号化する6次多項式$P(x_0,x_1,x_2,x_3,v)$であり、その係数は対称多項式と$p$の累乗で表される。

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が予想した$\ mathrm{Sp}_3$ のシンプレクティックHecke系列の分子を、代替的で体系的な方法で計算すること。
• $\mathrm{Sp}_3$ におけるHecke作用素の生成関数の明示的公式を、Satake球面写像を用いて導出すること。
• 球面写像下でのHecke作用素の像を、対称多項式と$p$進係数で表現すること。
• 対称関数論を用いた多項式の直接計算により、$\ mathrm{Sp}_3$ におけるShimuraの予想を検証すること。

提案手法

• 著者らは、$\ mathrm{Sp}_3$ におけるHecke作用素を対称多項式$x_1,x_2,x_3$ に写像するSatake球面写像$\Omega$ を用いる。
• 対称群$S_3$ による軌道和を用いて、係数が1になるように正規化された対称多項式$\mathrm{sym}_{i_1,i_2,i_3}$ を定義する。
• 生成関数の分子は、$\mathrm{sym}_{i_1,i_2,i_3}$ と$p$の累乗を含む係数を持つ6次多項式$P(x_0,x_1,x_2,x_3,v)$ として構成される。
• 球面写像と$\mathbb{F}_p$ 上の対称行列の個数を用いて、$\omega(t(1,p^\lambda_2,p^{\lambda_3}))$ を$\lambda_2,\lambda_3$ のさまざまな値について計算し、$p$に関する有理関数として結果を表現する。
• $\mathrm{sm}_p(r,a)$ を用いて、$\Omega(\mathbf{T}(p))$、$\Omega(\mathbf{T}_1(p^2))$、$\Omega(\mathbf{T}_2(p^2))$ の明示的公式を導出する。ここで$\mathrm{sm}_p(r,a)$ は、$\mathbb{F}_p$ 上のランク$r$ の対称行列の個数を表す。
• 具体的なSatakeパラメータ$x_0=1, x_1=p, x_2=p^2, x_3=p^3$ を代入することで、$P_\nu(v)$ の因数分解形が得られ、既知の$L$関数の因子と一致することが確認される。

実験結果

リサーチクエスチョン

• RQ1 Satake球面写像と対称多項式を用いて、$\ mathrm{Sp}_3$ のシンプレクティックHecke系列の分子をどのように計算できるか。
• RQ2 対称多項式と$p$進係数で表したとき、$\ mathrm{Sp}_3$ におけるHecke作用素の生成関数の明示的形は何か。
• RQ3 球面写像下での$\mathbf{T}(p)$、$\mathbf{T}_1(p^2)$、$\mathbf{T}_2(p^2)$ の像は、対称多項式と$p$進の個数にどのように関係するか。
• RQ4 多項式の分子を直接計算することで、$\ mathrm{Sp}_3$ におけるShimuraの予想を検証できるか。
• RQ5 $\lambda_2, \lambda_3$ のさまざまな値について、$\omega(t(1,p^{\lambda_2},p^{\lambda_3}))$ の構造は何か。また、対称多項式の項にどのように分解されるか。

主な発見

• Hecke-Shimura生成関数の分子は、方程式 (1) に示すように、対称多項式$\mathrm{sym}_{i_1,i_2,i_3}$ と$p$の累乗を係数に持つ6次多項式$P(x_0,x_1,x_2,x_3,v)$ で与えられる。
• $\mathbf{T}(p)$ の球面写像下での像は、$x_0(\mathrm{sym}_{1,1,0} + \mathrm{sym}_{1,0,0} + \mathrm{sym}_{1,1,1} + 1)$ であり、標準的なSatakeパrameterizationを確認する。
• $\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$関数の因子と整合することが確認される。
• 本稿では、$\lambda_2,\lambda_3$ が0から6までの各値について、$\omega(t(1,p^{\lambda_2},p^{\lambda_3}))$ の明示的有理関数表現が提供され、$p$依存分母を持つ対称多項式の項に分解される。たとえば、$\omega(t(1,p^5,p^6))$ に対しては$\frac{(p^3-p^2)\mathrm{sym}_{6,5,0}}{p^{18}}$ のような形が得られる。