Inducing Whittaker Functions from Higher Ranks

技术摘要：从更高秩诱导 Whittaker 函数

问题陈述
Whittaker 函数是自守形式与 $L$-函数理论中的基本组成部分，具体充当 $GL(n, \mathbb{A})$ 的酉尖点自守表示的阿基米德分量。尽管这些函数从低秩到高秩（或相邻秩之间）的传播已得到广泛研究——最 notably 由 Ishii 和 Stade 完成，他们推导出了将 $GL(n, \mathbb{R})$ 上的 Whittaker 函数与 $GL(n-1, \mathbb{R})$ 及 $GL(n-2, \mathbb{R})$ 上的函数联系起来的公式——但此前缺乏一种直接构造，允许在单步中从任意更高秩 $n$ “反向传播”至较低秩 $m$（其中 $2 \le m < n$）。本文解决的核心问题是：$SL(n, \mathbb{Z})$ 的 Whittaker 函数在限制到 $SL(m, \mathbb{Z})$ 的块对角嵌入时，是否仍保留低秩群 Whittaker 函数的结构性质；如果是，Langlands 参数需满足何种条件。

方法论
本文采用基于广义上半平面块对角嵌入的直接限制方法。令 $h_n = GL(n, \mathbb{R}) / (O(n, \mathbb{R}) \cdot \mathbb{R}^\times)$ 表示广义上半平面。作者通过以下映射定义嵌入 $h_m \hookrightarrow h_n$：
$$xy \mapsto \begin{pmatrix} xy & 0 \\ 0 & I_{n-m} \end{pmatrix}$$
其中 $xy \in h_m$，$I_{n-m}$ 为 $n-m$ 阶单位矩阵。

给定具有 Langlands 参数 $\alpha = (\alpha_1, \dots, \alpha_n)$ 和特征标组 $N = (N_1, \dots, N_{n-1})$ 的 $SL(n, \mathbb{Z})$ 的 Jacquet Whittaker 函数 $W^{(n)}_{\alpha, N}$，作者通过将 $W^{(n)}_{\alpha, N}$ 限制于该嵌入子空间，构造候选函数 $V^{(m)}_{\alpha, N}: h_m \to \mathbb{C}$：
$$V^{(m)}_{\alpha, N}(xy) := W^{(n)}_{\alpha, N}\left( \begin{pmatrix} xy & 0 \\ 0 & I_{n-m} \end{pmatrix} \right)$$

为证明 $V^{(m)}_{\alpha, N}$ 是 $SL(m, \mathbb{Z})$ 的有效 Whittaker 函数，本文验证了定义 2.7 中概述的三个定义条件：

1. 等变性：该函数在幂幺根 $U(m, \mathbb{R})$ 下必须按特定酉特征标变换。
2. 特征函数性质：该函数必须是 $GL(m, \mathbb{R})$ 的 Casimir 算子（不变微分算子）的同时特征函数。
3. 适度增长/平方可积性：该函数必须满足增长条件，以确保在 Siegel 集上平方可积。

主要贡献与结果
主要结果定理 1.2（亦表述为定理 3.1）确立了：只要原始函数的 Langlands 参数满足特定线性条件，限制函数 $V^{(m)}_{\alpha, N}$ 确实是 $SL(m, \mathbb{Z})$ 的 Whittaker 函数。

• 条件：参数 $\alpha = (\alpha_1, \dots, \alpha_n)$ 必须满足：
  $$\sum_{i=1}^m \alpha_i = \frac{m(m-n)}{2}$$
  该条件确保诱导函数的移位参数 $\beta_i = \alpha_i + \frac{n-m}{2}$（其中 $1 \le i \le m$）满足 $GL(m, \mathbb{R})$ 上有效 Langlands 参数所必需的归一化要求 $\sum_{i=1}^m \beta_i = 0$。

• 诱导参数：在上述条件下，诱导函数 $V^{(m)}_{\alpha, N}$ 具有：

  • Langlands 参数：$\left( \alpha_i + \frac{n-m}{2} \right)_{1 \le i \le m}$。
  • 特征标组：$(N_1, \dots, N_{m-1})$，对应于将原始特征标组 $N$ 截断为其前 $m-1$ 项。

• 证明机制：

  • 等变性（引理 4.1）：直接源于块对角结构，因为 $U(m, \mathbb{R})$ 的幂幺元素自然地嵌入到 $U(n, \mathbb{R})$ 中，且不影响单位块。
  • 特征函数性质（引理 4.2）：$GL(m, \mathbb{R})$ 的 Casimir 算子 $D^{(m)}_\ell$ 作用于限制函数的方式，与对应算子 $D^{(n)}_\ell$ 作用于原始函数（限制于块上）的方式完全相同。参数的移位源于 $\mathfrak{gl}(n, \mathbb{R})$ 与 $\mathfrak{gl}(m, \mathbb{R})$ 之间 $\rho$-移位的差异。
  • 平方可积性（引理 4.3）：证明依赖于 Goldfeld、Muthuvel 和 Wang [GMW21] 为 $SL(n, \mathbb{Z})$-Whittaker 函数建立的非平凡界，表明高阶函数的衰减性质足以保证在低秩 Siegel 集上的可积性。

意义
本文声称提供了 Ishii 和 Stade 传播公式的“互补结果”。以往的工作侧重于将秩逐次降低 1 或 2 的递归步骤，而此构造允许从 $GL(n, \mathbb{R})$ 到任意 $m < n$ 的 $GL(m, \mathbb{R})$ 进行直接的“反向传播”，且仅需单步。该结果被描述为“自然”，因为它依赖于标准的块对角嵌入以及规范 Jacquet Whittaker 函数的限制。

本文强调，Langlands 参数上的线性条件并非仅仅是技术性的产物，而是具有表示论的解释：它是为低秩群归一化诱导参数所必需的精确条件。该工作置于 $GL(n, \mathbb{R})$ 上自守形式的经典框架内，并未提出新的实验应用或超出这些诱导函数理论构造之外的未来影响。