[论文解读] Existence of cuspidal representations of p-adic reductive groups

Arno Kret|arXiv (Cornell University)|May 12, 2012

Advanced Algebra and Geometry参考文献 1被引用 3

一句话总结

本文利用 Deligne-Lusztig 理论，将问题约化为在椭圆极大环面中寻找处于一般位置的特征标，从而证明了任意在非阿赋米德局部域上的约化群均存在尖形式复表示，该结果长期被视为常识性猜想但缺乏已发表证明。关键成果通过有限李型群的几何与群论方法构造了此类表示，证实了一个长期存在的 folklore 猜想。

ABSTRACT

We prove that any reductive group G over a non-Archimedean local field has a cuspidal complex representation.

研究动机与目标

• 建立任意在非阿赋米德局部域上的约化群均存在尖形式复表示的结果，该结果长期被视为常识性猜想但缺乏已发表证明。
• 通过分析极大仿紧子群的约化商群，将问题约化为有限李型群。
• 验证在所有经典与例外根系上，有限域上的椭圆极大环面中均存在一般位置的特征标。
• 通过确认分裂与非分裂经典群（包括类型 $^2A_n$、$^2D_n$ 与 $^3D_4$）中此类特征标的存在性，完成证明。
• 通过显式构造处于一般位置的合适特征标，解决小剩余域中大 Weyl 群可能带来的障碍。

提出的方法

• 应用 Deligne-Lusztig 理论，将有限李型群中环面 $T$ 上的有理特征标 $\theta$ 关联到虚拟特征标 $R_T^\theta$。
• 使用如下判别准则：若 $\theta$ 处于一般位置（即 Weyl 群自由作用于 $\theta$），则 $(-1)^{\sigma(G)-\sigma(T)}R_T^\theta$ 提升为不可约表示 $\pi_T^\theta$。
• 证明：若 $T$ 为椭圆环面且 $\theta$ 处于一般位置，则 $\pi_T^\theta$ 为尖形式。
• 将问题约化为验证在有限李型群的椭圆极大环面上存在此类特征标 $\theta$。
• 通过 Frobenius 作用与 Weyl 群 $W_0$ 的作用分析有理 Weyl 群 $W_T(k)$，利用映射 $\varphi: W_0 \to \mathfrak{S}_n$ 确定不动点。
• 通过证明 $2e_n$ 模 $(w\Phi - 1)\Lambda$ 处于一般位置，即 $2e_n \pm 2e_r$ 不在 $w\Phi - 1$ 的像中，确保特征标处于一般位置。

实验结果

研究问题

• RQ1 每个在非阿赋米德局部域上的约化群是否都存在尖形式复表示？
• RQ2 此类表示的存在性是否可约化为有限李型群中椭圆极大环面上特征标处于一般位置的存在性？
• RQ3 在小剩余域中，经典群的椭圆环面上是否总存在一般位置的特征标？
• RQ4 有理 Weyl 群作用如何影响非分裂群（如 $^2D_n$）中一般位置特征标的存在性？
• RQ5 是否可通过显式构造此类特征标，克服小剩余域与大 Weyl 群带来的障碍？

主要发现

• 本文证明了每个在非阿赋米德局部域 $F$ 上的约化群 $G$ 均存在尖形式复表示，确认了长期被视为常识性结果的结论。
• 对于有限李型群，尖形式表示的存在性等价于椭圆极大环面上存在一般位置的特征标。
• 在所有例外根系（$E_6$、$E_7$、$E_8$、$F_4$、$G_2$ 等）中，Carter 的特征标表显示存在正数量的尖形式幺幂特征标，从而确认了其存在性。
• 对于分裂经典群（$A_n$、$B_n$、$C_n$、$D_n$），通过分析有理 Weyl 群与 Frobenius 作用，确立了一般位置特征标的存在性。
• 对于非分裂群（$^2A_n$、$^2D_n$），通过证明 $2e_n$ 不在 $w\Phi - 1$ 的像中，确认了此类特征标的存在性，从而确保其处于一般位置。
• 通过验证对所有 $r$ 均有 $2e_n \pm 2e_r \notin (w\Phi - 1)\Lambda$，完成证明，表明即使在剩余域较小而 Weyl 群较大的情况下，该特征标仍处于一般位置。