[论文解读] Explicit formulas for Hecke operators and Rankin's lemma in higher genus

Alexei Panchishkin, Kirill Vankov|ArXiv.org|Oct 12, 2006

Spectral Theory in Mathematical Physics被引用 5

一句话总结

本论文利用球坐标系推导出在 genus 2 情形下 Hecke 算子的显式公式，使得局部 Hecke 代数及其张量积上的生成级数得以求和。论文证明了 genus 2 情形下的 Rankin 引理，并将结果应用于通过 Ikeda-Miyawaki 构造从 $GSp_2 \times GSp_2$ 到 $GSp_4$ 的全纯提升。

ABSTRACT

We develop explicit formulas for Hecke operators of higher genus in terms of spherical coordinates. Applications are given to summation of various generating series with coefficients in local Hecke algebra and in a tensor product of such algebras. In particular, we formulate and prove Rankin's lemma in genus two. An application to a lifting from (GSp2 imes GSp2) to GSp4 is given using Ikeda-Miyawaki constructions.

研究动机与目标

• 通过符号计算与球坐标系，将 Rankin 引理推广至更高亏格，特别是 genus 2。
• 以球坐标变量 $x_0, x_1, x_2$ 表示 genus 2 中 Hecke 算子 $\mathbf{T}(p^\delta)$ 的显式公式。
• 计算局部 Hecke 代数及其张量积系数的 Hecke 算子生成级数。
• 通过 Ikeda-Miyawaki 构造将结果应用于从 $GSp_2 \times GSp_2$ 到 $GSp_4$ 的全纯提升。
• 分析相关多项式 $R(X)$ 与 $S(X)$ 的 Newton 多边形，证明其斜率为整数。

提出的方法

• 利用 Satake 的球坐标映射 $\Omega$ 将 Hecke 算子表示为球坐标形式。
• 应用 Andrianov 在 genus 2 情形下的生成级数，推导出 $\sum_{\delta=0}^\infty \Omega^{(2)}_x(\mathbf{T}(p^\delta)) X^\delta$ 的闭式表达。
• 采用符号计算，推导出 $\Omega^{(2)}_x(\mathbf{T}(p^\delta))$ 关于 $x_0, x_1, x_2$ 的有理函数显式表达式。
• 通过函数方程确定多项式 $R(X)$ 与 $S(X)$ 的系数 $s_i$，利用对称性 $s_{16-i} = (p^6[\mathbf{p}]\otimes[\mathbf{p}])^{8-i} s_i$。
• 针对 $p$ 与 $X$ 构造 $R(X)$ 与 $S(X)$ 的 Newton 多边形，揭示其斜率为整数。
• 利用 Ikeda-Miyawaki 构造，通过计算得到的 Hecke 级数实现从 $GSp_2 \times GSp_2$ 到 $GSp_4$ 的全纯提升。

实验结果

研究问题

• RQ1 能否通过 Hecke 算子的显式公式将 Rankin 引理由 genus 1 推广至 genus 2？
• RQ2 在球坐标系下，genus 2 中总 Hecke 算子 $\mathbf{T}(p^\delta)$ 的闭式表达为何？
• RQ3 如何显式求和具有张量积局部 Hecke 代数系数的 Hecke 算子生成级数？
• RQ4 $R(X)$ 与 $S(X)$ 的 Newton 多边形具有何种几何或算术意义，特别是其整数斜率意味着什么？
• RQ5 能否通过计算得到的 Hecke 级数，显式实现 Ikeda-Miyawaki 构造以完成从 $GSp_2 \times GSp_2$ 到 $GSp_4$ 的全纯提升？

主要发现

• 论文推导出 $\Omega^{(2)}_x(\mathbf{T}(p^\delta))$ 关于球坐标 $x_0, x_1, x_2$ 的显式有理函数表达式，对所有 $\delta \geq 0$ 成立。
• 证明了在局部 Hecke 代数张量积系数的生成级数下，genus 2 情形的 Rankin 引理。
• $R(X)$ 与 $S(X)$ 的系数 $s_0, \dots, s_{16}$ 被显式计算，利用函数方程 $s_{16-i} = (p^6[\mathbf{p}]\otimes[\mathbf{p}])^{8-i} s_i$ 可基于对称性确定。
• $R(X)$ 与 $S(X)$ 的 Newton 多边形被计算，显示所有斜率为整数，暗示其可能与 $p$-进几何或动机理论存在联系。
• 通过 Ikeda-Miyawaki 构造，利用 Hecke 级数提供了必要的生成数据，成功实现了从 $GSp_2 \times GSp_2$ 到 $GSp_4$ 的全纯提升。
• $D_{p,m}(X) = \sum_{\delta=0}^\infty \Omega^{(2)}_x(\mathbf{T}(p^{m\delta})) X^\delta$ 被定义并可计算，其中 $m=2,3,\dots$，基于推导出的公式。