[论文解读] Subconvex bounds for Hecke-Maass forms on compact arithmetic quotients of semisimple Lie groups

Pablo Ramacher, Satoshi Wakatsuki|arXiv (Cornell University)|Mar 20, 2017

Advanced Algebra and Geometry参考文献 13被引用 5

一句话总结

本文在半单李群 G 的紧致算术商 Γ\G 上建立了 Hecke–Maass 形式子凸界，通过椭圆微分算子的谱理论，将已知的球对称形式子凸界推广至任意 K-型。关键结果为：对 L²_σ(Γ\G) 中的特征函数，其子凸界形式为 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ}，适用于共(compact)格点及新一类自守表示（包括权方面中的全纯模形式）。

ABSTRACT

Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, and constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.

研究动机与目标

• 将自守形式的子凸界从球对称形式推广至紧致算术商 Γ\G 上的非球对称 K-型。
• 将已知的 L-函数与特征函数的子凸界扩展至非平凡 K-型及具有混合曲率的紧致流形。
• 利用谱方法，对全纯模形式在权方面建立子凸界。
• 通过椭圆微分算子的谱函数，为 Γ\G 上的 Hecke–Maass 形式提供表示论框架。
• 统一并推广此前在特征值与权方面关于算术商上自守形式子凸性的结果。

提出的方法

• 利用椭圆微分算子的谱函数分析紧致黎曼流形 Γ\G 上的特征函数。
• 应用 Peter–Weyl 分解，将 L²(Γ\G) 分解为 K-等型分量 L²_σ(Γ\G)，其中 σ ∈ K̂。
• 通过自守形式的谱理论及 adelic 群的作用，构造 G 上带有特征的 Hecke 算子。
• 利用微分算子 Dᵘ 在 K 上的范数及表示 σ 的维数 d_σ，推导出 L²_σ(Γ\G) 中特征函数的凸界。
• 通过结合 Hecke 核算子的谱渐近性、K-型的 Weyl 公式及矩阵系数的衰减性，建立子凸界。
• 使用表示论工具（包括 Harish-Chandra 定理与 Casimir 算子），以谱参数控制特征函数的增长。

实验结果

研究问题

• RQ1 能否将 Hecke–Maass 形式的子凸界从球对称形式推广至半单李群 G 的紧致算术商 Γ\G 上的任意 K-型？
• RQ2 在具有正负截面曲率的紧致流形上，特征函数的子凸界的最优性如何？
• RQ3 Γ\G 上自守形式的子凸界如何依赖于 K-型 σ 与谱参数 μ_j？
• RQ4 该方法能否应用于权方面的全纯模形式，从而获得新的子凸界？
• RQ5 代数群 H 及其算术格 Γ 需满足何种条件，才能保证此类子凸界的成立？

主要发现

• 本文为 L²_σ(Γ\G) 中的 Hecke–Maass 形式 φⱼ 建立了子凸界 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ}，其中 μ_j 为 Casimir 特征值，μ_σ 为 dR(Ω_K) 在 σ 上的特征值。
• 该界对所有 K-型 σ ∈ K̂ 成立，包括非球对称情形，将已知结果从球对称形式推广至非球对称自守形式。
• 当 K 为环面时，该界简化为 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ}，其几乎为最优，优于以往的凸界。
• 该方法为权方面中的全纯模形式提供了新的子凸界，尤其在 G = SL(n,R) 且 n ≥ 2 时成立。
• 结果适用于除法代数与数域上的酉群，前提是 H(R) 不含紧致 R-单因式，以确保非紧致算术商的存在。
• 通过椭圆算子的谱函数，推导出与 K-型 σ 无关的统一子凸界，其中 δ > 0 仅依赖于群 G 与格 Γ。