2025-11-17T12:25:14.128441

Some questions about representations of p-adic groups

Prasad
Some question about representations of $p$-adic groups are discussed.
academic

Some questions about representations of p-adic groups

基本信息

  • 论文ID: 2511.06438
  • 标题: Some questions about representations of p-adic groups
  • 作者: Dipendra Prasad (Indian Institute of Technology Bombay)
  • 分类: math.RT (Representation Theory)
  • 发表时间: November 11, 2025
  • 论文链接: https://arxiv.org/abs/2511.06438
  • 论文性质: 问题集与研究方向综述

摘要

本文讨论了关于p-adic群表示论的若干未解决问题。这些问题源于2025年7月在IISER Bhopal举办的表示论讨论会，作者应参会者请求提出了一些不需要太多背景知识但具有研究价值的可接近问题。

研究背景与动机

问题来源

  1. 学术交流需求：在IISER Bhopal的表示论讨论会上，多位参与者希望获得一些既有研究价值又相对可接近的未解决问题
  2. 领域现状：p-adic群的表示论是数论和自守形式理论的核心工具，许多基础问题仍未完全理解
  3. 理论缺口：尽管存在Langlands纲领等宏大理论框架，但许多具体的技术性问题缺乏明确答案

研究重要性

  1. 基础理论意义：p-adic群表示论是局部Langlands对应的基础，对理解数论中的对称性至关重要
  2. 技术挑战：从有限域上的群到p-adic群的过渡涉及从离散到连续的本质飞跃
  3. 应用价值：这些问题的解决将有助于理解自守形式、L-函数等核心数论对象

论文定位

本文不是传统意义上的研究论文，而是一份研究问题集，旨在：

  • 提出明确的、可攻克的研究问题
  • 为每个问题提供必要的背景知识
  • 阐述问题之间的联系和预期答案
  • 引导年轻研究者进入该领域

核心贡献

本文的主要贡献在于系统地提出了8个具体研究问题，涵盖以下主题：

  1. 包含有限域群表示的p-adic群表示分类（Questions 1-2）
  2. GLn(D)上的退化Whittaker模型（Questions 3-4）
  3. GL2n(Fq)的扭曲Jacquet模（Questions 5-6）
  4. 覆盖群的超尖点表示（Question 7）
  5. Mn(Fq)上的Fourier变换（Question 8）

方法详解

第一部分：包含有限域群表示的p-adic群表示

背景设置

设F为局部域，OF为整数环，Fq为剩余域。对于分裂或无分歧群G：

  • G(OF)是G(F)的极大紧子群
  • 存在满射 G(OF) → G(Fq)
  • 可将G(Fq)的表示通过膨胀视为G(OF)的表示

Question 1：Steinberg表示的提升

问题陈述：分类所有包含G(Fq)的Steinberg表示作为G(OF)-子表示的G(F)不可约表示。

预期答案：

  1. G(F)的Steinberg表示的特征扭曲
  2. 一般的、无分歧的G(F)表示（即不可约球面主序列表示）

理论依据：

  • 这些表示具有最小分歧，特别地有Iwahori子群的不动向量
  • 根据Borel定理，它们作为无分歧主序列的子商出现

Question 2：一般表示πλ的提升

设πλ是与Weyl群的不可约表示λ相关的G(Fq)不可约表示，出现在 IndB(Fq)G(Fq)(C)\text{Ind}_{B(\mathbb{F}_q)}^{G(\mathbb{F}_q)}(\mathbb{C}) 中。

问题：用增强Langlands参数或Zelevinsky分类来刻画包含πλ的G(F)表示。

特殊情形：对于标准抛物子群P，存在不可约表示ΠP。问题简化为：对哪些(P,λ)有 HomGLn(OF)(ΠP,πλ)≠0?\text{Hom}_{GL_n(\mathcal{O}_F)}(\Pi_P, \pi_\lambda) \neq 0?

第二部分：GLn(D)的退化Whittaker模型

定义与背景

设D为除法代数，ϕ: D → ℂ× 为非平凡加性特征。

退化Whittaker模型：表示Π有非零扭曲Jacquet模ΠN,ψ，其中 ψ(1X1∗⋯∗01X2⋱∗⋮⋱⋱⋮00⋯1Xn−100⋯01)=φ(tr(X1+X2+⋯+Xn−1))\psi\begin{pmatrix} 1 & X_1 & * & \cdots & * \\ 0 & 1 & X_2 & \ddots & * \\ \vdots & & \ddots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 & X_{n-1} \\ 0 & 0 & \cdots & 0 & 1 \end{pmatrix} = \varphi(\text{tr}(X_1 + X_2 + \cdots + X_{n-1}))

已知结果：

  • Moeglin-Waldspurger证明了dim ΠN,ψ < ∞
  • 对GLn(F)（D=F），这就是通常的Whittaker模型
  • 超尖点表示总有非零退化Whittaker模型
  • 所有调和表示都有退化Whittaker模型

Question 3：存在性分类

问题：通过Jacquet-Langlands对应或Langlands参数，分类具有非零退化Whittaker模型的GLn(D)不可约表示。

子问题：

  • 是否存在"标准模猜想"的类似物？
  • 能否用伴随γ-函数确定退化Whittaker模型空间的维数（类似Hiraga-Ichino-Ikeda猜想）？

Question 4：唯一性

问题：分类具有唯一退化Whittaker模型的GLn(D)不可约表示，特别是哪些尖点表示具有此性质？

猜测：可能只有深度零的尖点表示具有一维退化Whittaker模型空间（基于有限域上Whittaker模型的唯一性）。

第三部分：GL2n(Fq)的扭曲Jacquet模

理论框架

对GL2n(Fq)的尖点表示π，主序列π × π有正合列： 0→St2(π)→π×π→Sp2(π)→00 \to \text{St}_2(\pi) \to \pi \times \pi \to \text{Sp}_2(\pi) \to 0

其中：

  • St2(π)：广义Steinberg表示（一般成分）
  • Sp2(π)：广义平凡表示
  • dim St2(π) = qⁿ dim Sp2(π)

扭曲Jacquet模的计算

设ψ: N = M(n,Fq) → ℂ× 为特征 x ↦ ϕ(tr(X))。

对Deligne-Lusztig表示 R(T,θ)（T = 𝔽×q2n），有： R(T,θ)=St2(π)−Sp2(π)R(T,\theta) = \text{St}_2(\pi) - \text{Sp}_2(\pi)

文献Pr中的结果给出： IndFqn∗GLn(Fq)θ2=St2(π)N,ψ−Sp2(π)N,ψ\text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2 = \text{St}_2(\pi)_{N,\psi} - \text{Sp}_2(\pi)_{N,\psi}

结合 (π×π)N,ψ=St2(π)N,ψ+Sp2(π)N,ψ(\pi \times \pi)_{N,\psi} = \text{St}_2(\pi)_{N,\psi} + \text{Sp}_2(\pi)_{N,\psi}，得到： Sp2(π)N,ψ=12((π×π)N,ψ−IndFqn∗GLn(Fq)θ2)\text{Sp}_2(\pi)_{N,\psi} = \frac{1}{2}\left((\pi \times \pi)_{N,\psi} - \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2\right)

Question 5：显式计算

问题：对GLn(Fq)的尖点表示π，计算：

  1. 主序列(π × π)N,ψ的扭曲Jacquet模
  2. "广义平凡"表示Sp2(π)N,ψ的扭曲Jacquet模

已知特例：n=2时，Sp2(π)N,ψ是GL2(Fq)的一维表示ωπ。

Question 6：p-adic类比

对GL2n(Fq)的尖点表示π = R(T,θ)，有： πN,ψ=IndFqn∗GLn(Fq)(θ∣Fqn∗)(1)\pi_{N,\psi} = \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} (\theta|_{F^*_{q^n}}) \quad (1)

问题：对p-adic域F上的GL2n(F)，等式(1)的类似物是什么？

挑战：

  • 有限域情形的证明依赖特征理论
  • πN,ψ中不可约成分数是q的多项式（次数>0），无法用特征理论证明p-adic情形
  • 需要"几何"证明而非特征理论证明

可能的表述：两边有有限过滤，其连续商相同或相关。

第四部分：覆盖群

设置

设 G̃ → G 为p-adic群的有限覆盖，中心扩张，核Z为循环群，ϵ: Z → ℂ× 为固定的忠实特征。设K为模中心紧子群，覆盖在其上分裂。

Question 7：超尖点表示的提升

设Π = IndᴳK(ρ)为G的不可约超尖点表示，ρ为K的不可约表示。定义：

  • ρ̃为K̃ = Z·s(K)的表示：在s(K)上为ρ，在Z上为ϵ
  • Π̃ = IndG̃K̃(ρ̃)

要证明：

  1. Π̃是不可约超尖点表示
  2. 若覆盖在所有模中心极大紧子群上分裂，则G̃的所有中心特征为ϵ的超尖点表示都具有此形式
  3. Π̃是一般的当且仅当Π是一般的
  4. dim HomN(Π̃,ψ) = dim HomN(Π,ψ)，特别地这些覆盖群表示满足Whittaker模型的重数一性质

意义：与主序列表示的高重数GGK形成对比。

第五部分：Mn(Fq)上的Fourier变换

背景

Mn(F)上有丰富的Fourier变换理论，在GLn(F)表示论中起基础作用（Howe的开创性工作）。但有限域情形似乎缺乏类似研究。

Question 8：具体计算

给定Mn(Fq)上的函数f，其Fourier变换f̂也是Mn(Fq)上的函数。

要计算：

  1. 幂零轨道特征函数的Fourier变换
  2. 半单轨道特征函数的Fourier变换
  3. 幂零锥特征函数的Fourier变换
  4. 将上述结果与GLn(Fq)的特征理论联系
  5. 对更一般的半单Lie代数g（定义在Fq上）做同样的事

技术创新点

问题设计的特点

  1. 可接近性：问题明确具体，不需要过多背景知识
  2. 连贯性：问题之间有内在联系，体现表示论的统一性
  3. 层次性：从有限域到p-adic域，从特殊情形到一般情形

理论洞察

  1. 有限-无限对应：多个问题探讨有限域与p-adic域之间的对应关系
  2. 几何化思想：强调需要"几何"证明而非特征理论证明
  3. 统一框架：通过Langlands纲领统一不同问题

相关工作

引用的关键文献

  1. Bo Borel (1976)：Iwahori不动向量的可容许表示理论
  2. Li Jian-Shu Li (1992)：无分歧主序列的结果
  3. MW Moeglin-Waldspurger (1987)：退化Whittaker模型的有限维性
  4. HII Hiraga-Ichino-Ikeda (2008)：形式次数与伴随γ-因子
  5. Ho Howe (1974)：Fourier变换与特征的芽
  6. Pr Prasad (2000)：有限域上一般线性群的退化Whittaker模型空间
  7. NS Nadimpalli-Sheth (2025)：扭曲Jacquet模
  8. GGK Gao-Gurevich-Karasiewicz (2024)：覆盖群的Gelfand-Graev表示

研究脉络

  • Langlands纲领：提供整体理论框架
  • Deligne-Lusztig理论：有限群表示的几何构造
  • Jacquet-Langlands对应：GLn(D)与GLmn(F)之间的对应
  • Bernstein-Zelevinsky理论：导数理论和分类

结论与讨论

主要结论

  1. 研究方向明确：提出了8个具体可研究的问题
  2. 理论意义重大：这些问题触及表示论的核心技术
  3. 方法论启示：强调从有限到无限、从特殊到一般的研究路径

开放性问题的价值

  1. 引导研究：为年轻研究者提供具体研究课题
  2. 促进交流：明确表述促进学术讨论
  3. 推动进展：即使部分解决也有重要价值

未来方向

  1. 有限域理论：完善有限域上的基础理论（如Question 8）
  2. p-adic推广：将有限域结果推广到p-adic情形
  3. 几何化：寻找更多问题的几何解释
  4. 统一理论：通过Langlands对应统一不同现象

深度评价

优点

  1. 问题质量高
    • 每个问题都有明确的数学表述
    • 问题具有研究价值且相对可接近
    • 提供了预期答案和研究思路
  2. 背景材料充分
    • 为每个问题提供必要的定义和已知结果
    • 引用相关文献恰当
    • 说明问题之间的联系
  3. 写作清晰
    • 数学表述准确
    • 逻辑结构清晰
    • 注记(Remarks)提供额外洞察
  4. 学术价值
    • 填补了领域中的问题集空白
    • 促进不同研究方向的交叉
    • 有助于培养年轻研究者

不足

  1. 文献综述有限
    • 对每个问题的现有工作回顾较简略
    • 可以更详细说明已有部分结果
  2. 技术细节
    • 某些问题的困难所在可以更明确
    • 可以提供更多攻克问题的技术路线
  3. 范围局限
    • 作者承认从"非常狭窄的视角"选择问题
    • 主要集中在GLn和相关群
  4. 缺乏实例
    • 对某些抽象问题，具体例子会有帮助
    • 如GL2或GL3的显式计算

影响力

  1. 对领域的贡献
    • 为表示论研究提供明确方向
    • 连接有限域与p-adic域的理论
    • 推动覆盖群表示论的发展
  2. 实用价值
    • 适合作为研究生课题
    • 可用于组织研讨班
    • 促进国际合作
  3. 可复现性
    • 问题表述明确，易于理解
    • 提供了足够的起点文献
    • 部分问题可通过计算机辅助研究

适用场景

  1. 研究者
    • 寻找博士论文课题的研究生
    • 希望进入新方向的研究人员
    • 组织研讨班的教师
  2. 研究主题
    • p-adic群表示论
    • 有限群表示论
    • Langlands纲领
    • 自守形式理论
  3. 技术背景
    • 需要基本的群表示论知识
    • 了解p-adic域的基本性质
    • 熟悉诱导表示和Jacquet模

参考文献

本文引用的关键文献涵盖：

  1. 基础理论：Borel关于Iwahori不动向量的工作
  2. 分类理论：Bernstein-Zelevinsky分类，Lusztig有限群表示分类
  3. 函数方程：Hiraga-Ichino-Ikeda关于形式次数的工作
  4. Fourier分析：Howe关于Fourier变换的经典论文
  5. 最新进展：Nadimpalli-Sheth (2025)，Gao-Gurevich-Karasiewicz (2024)

总结

这是一篇高质量的问题集论文，为p-adic群表示论提供了8个明确的、有研究价值的未解决问题。论文的主要价值在于：

  1. 明确性：每个问题都有清晰的数学表述和预期答案
  2. 可接近性：问题不需要过多背景，适合年轻研究者
  3. 连贯性：问题之间有内在联系，体现理论的统一性
  4. 启发性：提供了研究思路和方法论指导

虽然这不是传统的研究论文（没有新定理或证明），但在学术界有独特价值：它系统地整理了领域中的重要开放问题，为未来研究指明方向。对于希望进入p-adic群表示论或寻找研究课题的研究者，这是一份极有价值的参考文献。