[论文解读] Comparaison des paramètres de Langlands et des exposants à l'intérieur d'un paquet d'Arthur

Colette Mœglin|ArXiv.org|Oct 21, 2008

Advanced Algebra and Geometry参考文献 8被引用 14

一句话总结

本文通过证明：对于任意属于Arthur包Π(ψ)的表示π，其Langlands参数（通过限制到第一个SL(2,C)因子）所关联的幂零轨道包含于ψ限制到第二个SL(2,C)因子所定义的幂零轨道的闭包中，建立了p进经典群上Langlands参数与Arthur包之间的精确关系。关键结果是在Langlands–Shahidi理论中进行局部指数比较，证明了任意π ∈ Π(ψ)的指数之和有上界(b−1)/2，其中b为第二个SL(2,C)分量的大小，且仅在特殊情况下取等。

ABSTRACT

In this paper, one proves an idea expressed by Clozel: inside an Arthur's packet, one has the representations in the Langlands' packet inside the Arthur's packet and more tempered representations than these representations

研究动机与目标

• 澄清Clozel的哲学观点：即Arthur包包含Langlands包以及更多较温和的表示。
• 提供关于表示π ∈ Π(ψ)的Langlands参数如何与ψ的第二个SL(2,C)因子所定义的幂零轨道相关联的精确、局部刻画。
• 利用相关幂零轨道的结构，建立Arthur包中表示指数之和的定量上界。
• 证明：若Π(ψ)中存在非温和的、非分歧表示，则ψ在第一个SL(2,C)因子上的限制必为平凡。
• 将Arthur包中表示的局部指数结构与L函数的全局结构及内播转移统一起来。

提出的方法

• 本文使用通过Arthur参数对离散系列表示进行分类的方法，将ψ: WF × SL(2,C) × SL(2,C) → LG限制到第一个和第二个SL(2,C)因子，以在GL(m*G, C)中定义幂零轨道。
• 应用Langlands–Shahidi方法，将任意不可约表示π ∈ Π(ψ)分解为标准模与一个温和表示的子商，其中使用集合Lπ中的三元组(ρ, a, x)编码 cuspidal 数据。
• 指数通过标准模的极端权的负半和计算得出，该和由诱导表示相关的参数(a_j)导出。
• 关键不等式通过分析a_j的排序a1 ≥ a2 ≥ ... ≥ av推导得出，利用边界条件a1 < a+b−1和av > a−b+1，证明指数之和≤ (b−1)/2。
• 证明依赖于这样一个事实：第二个SL(2,C)因子所定义的幂零轨道构成了该包中‘最幂零’的部分，且π的所有Langlands参数的轨道必须位于其闭包内。
• 本文利用Arthur内播理论及离散系列分类的结果，确保任意π ∈ Π(ψ)的Langlands参数φπ定义良好，并与全局L-包结构相容。

实验结果

研究问题

• RQ1 Arthur参数ψ所定义的幂零轨道与Arthur包中表示的Langlands参数之间有何关系？
• RQ2 Arthur包Π(ψ)中表示的指数之和的最大可能值是多少？该上界在何种情况下被达到？
• RQ3 在何种条件下Arthur包Π(ψ)包含一个非分歧表示？这与ψ限制到第一个SL(2,C)因子的性质有何关联？
• RQ4 是否可以基于ψ的第二个SL(2,C)因子，对Π(ψ)中表示的指数结构进行统一有界的估计？
• RQ5 是否存在一个局部的、表示论的判别准则，可用来区分Langlands包Π(ψ_L)中的表示与更大的Arthur包Π(ψ)中的表示？

主要发现

• 对于任意不可约表示π ∈ Π(ψ)，其Langlands参数φπ（通过限制到第一个SL(2,C)因子）所关联的幂零轨道O^L_π，包含于ψ限制到第二个SL(2,C)因子所定义的幂零轨道的闭包中。
• 任意π ∈ Π(ψ)的指数之和有上界(b−1)/2，其中b为ψ中第二个SL(2,C)分量的大小，且当且仅当诱导表示具有特定对称形式时取等。
• Arthur包Π(ψ)包含一个非分歧表示，当且仅当ψ在第一个SL(2,C)因子上的限制为平凡；此时，该包中恰好包含一个此类表示。
• 若π ∈ Π(ψ_L)，则其Langlands轨道O^L_π与ψ的第二个SL(2,C)因子所定义的幂零轨道一致，表明Langlands包正是那些Langlands参数与ψ的‘最幂零’部分完全匹配的表示的集合。
• 当诱导标准模在约束条件a1 < a+b−1与av > a−b+1下尽可能大时，π的指数之和达到最大值，该最大值为(b−1)/2。
• 指数之和的上界是精确的，且在奇数和偶数v的情况下均可达到，如通过标准模分解中极端权的半和的显式计算所示。