[论文解读] Analytic newvectors for $\mathrm{GL}_n(\mathbb{R})$

Subhajit Jana, Paul D. Nelson|arXiv (Cornell University)|Nov 5, 2019

Advanced Algebra and Geometry参考文献 27被引用 4

一句话总结

本文为 GLₙ(ℝ) 建立了经典新向量理论的阿基米德类比，将一个一般不可约表示 π 的解析导子数与某些与 K₀(X,τ) 和 K₁(X,τ) 相关的子群上近似不变的向量联系起来。关键结果表明，对于解析导子数 C(π) < X 的尖形式自守表示，谱投影算子 F_X 满足 π(F_X)W(1) ≫ 1，从而实现了在迹公式中对按解析导子数排序的自守形式之和的控制。

ABSTRACT

We relate the analytic conductor of a generic irreducible representation of $\mathrm{GL}_n(\mathbb{R})$ to the invariance properties of vectors in that representation. The relationship is an analytic archimedean analogue of some aspects of the classical non-archimedean newvector theory of Casselman and Jacquet--Piatetski-Shapiro--Shalika. We illustrate how this relationship may be applied in trace formulas to majorize sums over automorphic forms on $\mathrm{PGL}_n(\mathbb{Z}) \backslash \mathrm{PGL}_n(\mathbb{R})$ ordered by analytic conductor.

研究动机与目标

• 为 GLₙ(ℝ) 发展 Casselman 的非阿基米德新向量理论的分析类比。
• 将一般不可约表示 π 的解析导子数 C(π) 与 π 中向量在某些子群下的不变性性质联系起来。
• 构造测试函数 F_X，使其近似投影到 PGLₙ(ℤ)\PGLₙ(ℝ) 上按解析导子数排序的自守形式族。
• 使迹公式能够应用于对按解析导子数排序的自守形式之和进行控制，模仿非阿基米德情形的技术。

提出的方法

• 引入一族测试函数 F_X，其为通过矩阵元素有界于 1/X 的条件定义的子群 K₀(X,τ) 和 K₁(X,τ) 的归一化控制函数。
• 利用归一化控制函数的卷积，保持在群乘法下控制性质的不变性，确保与谱投影的相容性。
• 应用自守核 ∑γ∈PGLₙ(ℤ) F_X(x₁⁻¹γx₂) 的谱分解，将迹公式与贝塞尔分布 J_π(F_X) 联系起来。
• 依赖 Whittaker 模型理论与 Plancherel 测度，将谱侧表示为 Whittaker 函数 W_φ 及其 L² 范数的形式。
• 运用 Schur 引理将向量 φ 的 L² 范数与 Whittaker 函数的范数联系起来，对尖形式 π 有因子 ℓ(π) ≍ L(1,π,Ad)。
• 利用贝塞尔分布 J_π(F_X) = ∑|π(f_X)W(1)|² 检测解析导子数较小的表示，表明当 C(π) < X 时有 J_π(F_X) ≫ 1。

实验结果

研究问题

• RQ1 能否通过向量在某些子群下的近似不变性来表征 GLₙ(ℝ) 上一般不可约表示 π 的解析导子数，类似于非阿基米德情形的新向量理论？
• RQ2 如何构造测试函数，使其近似投影到 PGLₙ(ℤ)\PGLₙ(ℝ) 上按解析导子数排序的自守形式族？
• RQ3 对于满足 C(π) < X 的表示，贝塞尔分布 J_π(F_X) 的谱行为如何？其与 π(f_X)W(1) 的大小有何关系？
• RQ4 归一化控制函数的卷积在群运算下在多大程度上能保持所需的不变性与衰减性质？

主要发现

• 对任意解析导子数 C(π) < X 的尖形式自守表示 π，谱投影算子 F_X 满足 π(F_X)W(1) ≫ 1，其中 W 为 Whittaker 新向量。
• 对所有满足 C(π) < X 的尖形式 π，贝塞尔分布满足 J_π(F_X) ≫ 1，提供了一种谱检测机制。
• 子群 K₀(X,τ) 的体积满足 Vol(K₀(X,τ)) ≍ X^{n−1}，控制了 Whittaker 积分的大小：∫_N F_X(x)ψ̅(x)dx ≪ X^{n−1}。
• 两个归一化控制函数 F_X¹ 与 F_X² 的卷积仍为某个 τ₁ > 0 的 K_*(X,τ₁) 的归一化控制函数，保持了谱投影所需的性质。
• 迹公式的谱侧分解为 ∫ J_π(F_X)ℓ(π)⁻¹ dμ_aut(π)，其被 X^{n−1} 控制，从而实现了对自守形式之和的有效界。
• 该构造提供了非阿基米德投影算子的直接阿基米德类比，使得迹公式可应用于按解析导子数排序的族。