[论文解读] Sur les paquets d'Arthur aux places réelles, translation

Colette Mœglin, David Renard|arXiv (Cornell University)|Apr 17, 2017

Advanced Algebra and Geometry被引用 4

一句话总结

本文证明了实数域上经典群的Arthur包的重数一性，即与Langlands参数$ \psi$相关的表示$\pi^A(\psi)$是$G(\mathbb{R}) \times A(\psi)$的互异不可约表示的直和，其系数由$A(\psi)$的一维表示给出。该结果通过上同调诱导和哈里什-钱德拉模技术，将一般情形约化至高度正则情形而获得，基于此前对拟分裂群的结果，并将其推广至非拟分裂情形。

ABSTRACT

This article is part of a project which aims to describe as explicitly as possible the Arthur packets of classical real groups and to prove a multiplicity one result for them. Let $G$ be a symplectic or special orthogonal real group, and $ψ: W_{\mathbb R} imes \mathbf{SL}_2(\mathbb C) ightarrow {}^LG$ be an Arthur parameter for $G$. Let $A(ψ)$ the component group of the centralizer of $ψ$ in $\hat G$. Attached to $ψ$ is a finite length unitary representation $π^A(ψ)$ of $G imes A(ψ)$, which is characterized by the endoscopic identities (ordinary and twisted) it satisfies. In [arXiv:1703.07226] we gave a description of the irreducible components of $π^A(ψ)$ when the parameter $ψ$ is "very regular, with good parity". In the present paper, we use translation of infinitesimal character to describe $π^A(ψ)$ in the general good parity case from the representation $π^A(ψ_+)$ attached to a very regular, with good parity, parameter $ψ_+$ obtained from $ψ$ by a simple shift.

研究动机与目标

• 证明实数域上经典群的Arthur包$\pi^A(\psi)$是重数一的，即作为$G(\mathbb{R}) \times A(\psi)$的表示，其为互异不可约表示的直和，且系数为$A(\psi)$的一维表示。
• 将已知的拟分裂情形下的重数一性结果推广至非拟分裂实数域上经典群，完成局部Langlands对应中的关键步骤。
• 通过上同调诱导与模滤子，证明表示$\pi^A(\psi)$是$G(\mathbb{R}) \times A(\psi)$的有限长度半单表示，其系数为$A(\psi)$的特征标。
• 通过端李与扭曲端李相容性条件，将$\pi^A(\psi)$的构造从拟分裂情形推广至更一般情形。

提出的方法

• 通过上同调诱导与$A_\mathfrak{q}$-函子理论，将一般情形约化至高度正则情形。
• 应用$A_\mathfrak{q}$-函子，从抛物子代数诱导表示，利用具有不可约商模的哈里什-钱德拉模滤子。
• 分析无穷小特征及其范数，通过内积估计证明：在投影到给定无穷小特征$\nu$时，仅平凡的$\mu$-分量有贡献。
• 利用分解$\psi = \bigoplus_{i} \rho_i \otimes R[a_i]$，其中$\rho_i$为$W_{\mathbb{R}}$的自对偶表示，并借助良好奇偶性与极正则参数的概念简化结构。
• 将$G$的有限维表示限制到抛物子代数$\mathfrak{q}$，并将其滤子化为被$\mathfrak{u}$作用为零的不可约$L$-模，以分析诱导表示的结构。
• 比较无穷小特征范数：$|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$，除非$\mu_1 = 0$，这表明在投影中仅$\mu=0$分量存活。

实验结果

研究问题

• RQ1 实数域上经典群的Arthur包$\pi^A(\psi)$作为$G(\mathbb{R}) \times A(\psi)$的表示是否为重数一？
• RQ2 表示$\pi^A(\psi)$是否可分解为$G(\mathbb{R}) \times A(\psi)$的不可约表示的直和，且其系数为$A(\psi)$的一维表示？
• RQ3 能否通过上同调诱导与模滤子，将非拟分裂实数域上经典群的一般情形约化至高度正则情形？
• RQ4 无穷小特征范数在决定诱导表示中哪些分量在投影到给定$\nu$时存活方面起何作用？
• RQ5 结构$A_\mathfrak{q}(\lambda \times \sigma) \otimes E_{\lambda_+}$，其滤子为$A_\mathfrak{q}((\lambda \times \sigma) \otimes E_\mu)$，如何约束最终表示中$\nu$的重数？

主要发现

• 表示$\pi^A(\psi)$是重数一的：它是$G(\mathbb{R}) \times A(\psi)$的互异不可约表示的直和，每个不可约分量的重数恰好为一。
• 在$\pi^A(\psi)$的分解中，系数为$A(\psi)$的一维表示，意味着在对$G(\mathbb{R})$分解时，重数由$A(\psi)$的特征标给出。
• 在投影到给定无穷小特征$\nu$时，仅$\mu = 0$分量有贡献，因为当$\mu_1 \neq 0$时，$\nu$的范数严格更大，这表明其余所有分量在投影中消失。
• 范数不等式$|\lambda + \mu_1 + \delta_{L_1}|^2 > |\lambda + \delta_{L_1}|^2$严格成立，除非$\mu_1 = 0$，这是消除非平凡$\mu$-分量的关键分析工具。
• 通过$A_{\mathfrak{q}}(\lambda \times \sigma) \otimes E_{\lambda_+}$的滤子$A_{\mathfrak{q}}((\lambda \times \sigma) \otimes E_\mu)$，确保仅$\mu = 0$项对投影到$\nu$有贡献，从而完成重数一性的证明。
• 该结果通过上同调诱导与模论技术，将Arthur包的重数一性从拟分裂情形推广至所有实数域上的经典群，包括非拟分裂形式。