[论文解读] Multiplicity preservation for orthogonal-symplectic and unitary dual pair correspondences

Jian-Shu Li, Binyong Sun+1 more|ArXiv.org|Mar 8, 2009

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

一句话总结

本文证明了在特征为零的非阿基米德局部域上，正交-辛对偶对与酉对偶对的θ对应保持重数不变性。通过几何不变量理论与Gelfand-Kazhdan分布准则，作者证明了在 $\pi \otimes \pi'$ 上 $\omega_{\psi}$-不变泛函空间的维数至多为一，从而确认了这些对偶对对应关系的重数一性质。

ABSTRACT

Over a non-archimedean local field of characteristic zero, we prove the multiplicity preservation for orthogonal-symplectic dual pair correspondences and unitary dual pair correspondences.

研究动机与目标

• 在特征为零的非阿基米德局部域上，建立正交-辛对偶对与酉对偶对θ对应的重数一性质。
• 将Waldspurger的结果（适用于奇剩余特征）与Howe的阿基米德情形结果推广至一般的非阿基米德情形。
• 证明对于任意真实的不可约光滑适定表示 $\pi$ 与 $\pi'$，在 $\pi \otimes \pi'$ 上 $\omega_{\psi}$-不变泛函空间的维数至多为一。

提出的方法

• 构造了通过谐振器表示作用在海森堡群上的辛群的施瓦茨覆盖 $\omega_{\psi}$。
• 引入扩展群 $\bar{G}$、$\bar{G}'$ 与 $\bar{Sp}(\mathbf{E})$，以处理 $-1$ 的作用并稳定群作用下的轨道。
• 利用在完全不连通群上分布的Gelfand-Kazhdan准则，将重数问题约化为广义函数在更大群作用下的不变性。
• 应用一个几何结果，表明 $G$-轨道在 $\mathbf{E}'$ 上关于 $\breve{G}$ 稳定，从而推出双 $\mathbf{G}$-不变广义函数在 $\{\pm 1\} \ltimes (\breve{\mathbf{G}} \times \breve{\mathbf{G}})$ 作用下不变。
• 利用谐振器表示的对偶同构于其自身的对偶这一事实，通过同态空间的对称性得出上界。
• 将Gelfand-Kazhdan准则应用于群 $\mathbf{J} = \mathbf{G} \ltimes \mathbf{H}$，以证明对不可约表示 $\Pi$ 有 $\dim \mathrm{Hom}_{\mathbf{G}}(\Pi, \mathbb{C}) \cdot \dim \mathrm{Hom}_{\mathbf{G}}(\Pi^\vee, \mathbb{C}) \leq 1$。

实验结果

研究问题

• RQ1 在特征为零的非阿基米德局部域上，正交-辛对偶对与酉对偶对的θ对应是否保持重数一性质？
• RQ2 重数一性质是否能在对偶对设定下的所有经典群中统一建立？
• RQ3 扩展群 $\breve{G}$ 的作用如何影响对偶对构造中轨道的稳定性？

主要发现

• 对于任意真实的不可约光滑适定表示 $\pi$ 与 $\pi'$，在 $\omega_{\psi} \otimes \pi \otimes \pi'$ 上 $\widetilde{G} \times \widetilde{G}'$-不变泛函空间的维数至多为一。
• 该结果确认了在特征为零的非阿基米德设定下，正交-辛对偶对与酉对偶对对应关系的重数一猜想。
• 证明依赖于双 $\mathbf{G}$-不变广义函数在 $\{\pm 1\} \ltimes (\breve{\mathbf{G}} \times \breve{\mathbf{G}})$ 作用下的不变性，该性质通过几何轨道稳定性建立。
• 轨道稳定性结果源于 $\breve{G} \setminus G$ 中存在一个元素，能将给定的 $x \in \tilde{\mathfrak{g}}$ 取负并保持旗 $F$，从而推出 $\breve{G}$-稳定性。
• 将Gelfand-Kazhdan准则应用于群 $\mathbf{J} = \mathbf{G} \ltimes \mathbf{H}$，以将同态空间维数的乘积上界至多为一。
• 最终结论 $\dim \mathrm{Hom}_{\widetilde{G} \times \widetilde{G}'}(\omega_{\psi}, \pi \otimes \pi') \leq 1$ 通过对称性与对偶性得出，利用了 $\omega_{\psi}^\vee \cong \omega_{\psi}$ 以及 $\dim \mathrm{Hom}_{\mathbf{G}}(\omega_{\psi} \otimes \pi^\vee \otimes \pi^{\prime\vee}, \mathbb{C}) = \dim \mathrm{Hom}_{\mathbf{G}}(\omega_{\psi}^\vee \otimes \pi \otimes \pi^{\prime}, \mathbb{C})$ 的事实。