The unramified computation of a Shimura integral for $\mathrm{SL}(2)\times \mathrm{GL}(2)$

技术摘要：$SL(2) \times GL(2)$ 型 Shimura 积分的无分歧计算

问题陈述
本文解决了由 Ginzburg, Rallis, 和 Soudry [4] 最初构造的特定 Shimura 型 Rankin-Selberg 积分的局部无分歧计算问题。该积分代表了一对不可约自守尖点生成表示的局部张量积 $L$-函数：其中一个属于 $SL_2$，另一个属于 $GL_2$。具体而言，作者关注的是辛秩 $n=1$ 且一般线性秩 $k=2$ 的低秩情形。经过展开后的全局积分归约为一个局部积分，该积分涉及 $SL_2$ 的 Whittaker 函数、与 Weil 表示相关的 Theta 系列，以及 $Sp_4$ 的元叠层双覆盖上的 Siegel Eisen斯坦级数。本文的目标是证明该局部积分等于以下 $L$-函数的比值：
$$\frac{L(\pi_\nu \times \tau_\nu, s + 1/2)}{L(\tau_\nu, \text{Sym}^2, 2s + 1)}$$
其中 $\pi_\nu$ 是 $SL_2(F)$ 的一个无分歧表示，$\tau_\nu$ 是 $GL_2(F)$ 的一个无分歧表示。

方法论
本文为该无分歧计算提供了一个直接且“内在”的证明，这与原著 [4] 中的方法不同。

• 避免使用泛函方程： 与 [4] 中依赖于 $GL_n \times GL_k$ 局部泛函方程 [9] 的证明不同，本文完全避开了此类工具。
• 依赖 Casselman-Shalika 公式： 该方法的核心利用了 $SL_2$ 和 $GL_2$ 上无分歧 Whittaker 函数的 Casselman-Shalika 公式（引理 3.2）。
• 显式展开与积分： 作者通过以下步骤对局部积分进行显式计算：
  1. 利用 $SL_2(F)$ 的 Iwasawa 分解。
  2. 将半直积 $\widetilde{SL_2} \ltimes H$（其中 $H$ 是 Heisenberg 群）的 Weil 表示 $\omega_\psi$ 应用于 Schwartz 函数。
  3. 将 Heisenberg 群变量上的积分区域分解为无分歧部分（$OF$）和分歧部分（$F \setminus OF$）。
  4. 利用 Weil 因子 $\gamma_\psi$ 的性质和特征和来评估所得积分，特别是证明了某些高阶项为零（引理 3.5）。
• 级数求和： 最终结果通过对生成的几何级数进行求和获得，这些级数被识别为完全齐次对称多项式的生成函数，从而恢复了 $L$-函数的显式形式。

主要贡献与结果

• 定理 3.1： 本文确立了对于无分歧数据且 $\text{Re}(s) \gg 0$ 时，局部积分 $I(W^0_\pi, \Phi^0, \tilde{f}^0_{W(\tau, \psi_2), s})$ 绝对收敛，且等于比值 $\frac{L(\pi \times \tau, s + 1/2)}{L(\tau, \text{Sym}^2, 2s + 1)}$。
• 同构修正： 作者指出，与 [4] 相比，单纯群 $N_Q$ 与 Heisenberg 群 $H$ 之间的同构存在差异。这种差异导致在展开积分中出现了截面 $\tilde{f}_{W(\tau, \psi_2), s}$（涉及特征 $\psi_2(x) = \psi(2x)$），而非 $\tilde{f}_{W(\tau, \psi), s}$。
• 直接计算： 证明表明，对于 $n = k-1$（此处为 $1 = 2-1$）的情形，通常在一般 $n < k$ 情况中使计算复杂化的单纯群积分是不存在的。这使得直接计算能够模仿偶秩情形的技术，而无需使用一般线性群沉重的泛函方程工具。

意义与主张
本文声称为这一特定 Shimura 积分的无分歧计算提供了一个“不同且更内在”的证明。通过绕过一般线性群的局部泛函方程，作者旨在提供一种仅依赖于相关群的表示论性质（特别是 Casselman-Shalika 公式）的计算。

作者谦逊地指出，虽然他们仅处理了低秩情况 $n=1, k=2$，但希望这一计算能为更一般设置下的直接无分歧计算技术“提供启发”。他们承认 Kaplan [10, 11] 已在正交群上实现了类似的直接计算，但强调他们的工作避开了 Ginzburg, Rallis, 和 Soudry 在原 $SL_2 \times GL_2$ 证明中所使用的泛函方程。本文并未提出超出此特定计算证明范围的新应用或未来扩展。