[论文解读] A proof of the Howe duality conjecture

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|Jul 8, 2014

Advanced Algebra and Geometry参考文献 19被引用 7

一句话总结

本文為非阿基米德局部域（任意剩余特征标）上的辛-正交对与酉对的局部θ对应中的Howe对偶猜想提供了完整证明。通过双倍对称杠杆论证法与对Jacquet模及滤子结构的精细分析，作者证明了θ提升$\theta(\pi)$始终为不可约或零，且不同不可约表示的提升结果互不相同，从而在一般情形下完全确认了该猜想。

ABSTRACT

We give a proof of the Howe duality conjecture in local theta correspondence for symplectic-orthogonal or unitary dual pairs in arbitrary residual characteristic.

研究动机与目标

• 解决局部θ对应理论中关于辛-正交对与酉对的长期悬而未决的Howe对偶猜想。
• 证明对于任意不可约光滑表示$\pi$，其θ提升$\theta(\pi)$为不可约或零，且若$\theta(\pi) \cong \theta(\pi')$，则必有$\pi \cong \pi'$。
• 提供一种适用于任意剩余特征标的统一证明，超越此前已知情形（如$p \neq 2$或超临界表示）的限制。
• 将先前技术——特别是双倍对称杠杆法与Kudla滤子法——整合为一个统一框架，适用于一般对偶对。
• 完成Howe发起的40年研究计划，消除其原始启发式论证中的‘几乎’成分，实现该猜想在完全一般性下的证明。

提出的方法

• 利用双倍对称杠杆构造，通过Weil表示$\omega_\psi$将对偶环的表示联系起来，借助Frobenius互反律与Jacquet函子。
• 使用Tadić的$\mathrm{GL}_r(E)$几何引理分析诱导表示$\sigma_{\rho,a} = \rho^{\times a} \rtimes \sigma$的正规化Jacquet模，特别关注形如$({}^c\rho^\vee)^{\times a} \otimes \sigma'$的子商。
• 利用${}^c\rho^\vee \neq \rho$的条件与非嵌入假设$\sigma \not\subseteq \rho \rtimes \sigma_0$，排除Jacquet模中不希望出现的子商，确保多重性为一的结构。
• 通过Weyl元素$w$的共轭，关联Jacquet模$R_{\overline{Q}(X_{ra})}\sigma_{\rho,a}$与$R_{Q(X_{ra})}\sigma_{\rho,a}$，从而建立多重性为一性质的对称性。
• 通过反证法证明$\sigma_{\rho,a}$的不可约子模唯一性：若存在多个子模，则Jacquet模将包含$\rho^{\times a} \otimes \sigma$且其重数$\geq 2$，与多重性为一的结果矛盾。
• 通过Minguez启发的精细滤子技术，将论证扩展至超临界表示与温迪表示之外的情形，使证明在完全一般性下成立。

实验结果

研究问题

• RQ1 对于$G(W)$的任意不可约光滑表示$\pi$，其θ提升$\theta(\pi)$是否在任意剩余特征标下始终为不可约或零？
• RQ2 θ对应是否为多重性为一？即若$\theta(\pi) \cong \theta(\pi')$，是否必有$\pi \cong \pi'$？
• RQ3 双倍对称杠杆法能否扩展至证明超临界或$p \neq 2$情形之外的完整Howe对偶猜想？
• RQ4 诱导表示的Jacquet模具有何种结构约束，可保证$\theta(\pi)$为不可约？
• RQ5 如何将Kudla与Minguez的滤子技术相结合，以在完全一般性下（包括四元数情形）证明该猜想？

主要发现

• Howe对偶猜想在完全一般性下成立：$\dim \operatorname{Hom}_{H(V)}(\theta(\pi), \theta(\pi')) \leq \delta_{\pi,\pi'}$，即$\theta(\pi)$为不可约或零，且对应在不可约表示上为单射。
• 对于$G(W)$的任意不可约表示$\pi$，其θ提升$\theta(\pi)$为不可约或零，确认了猜想的第一部分。
• 诱导表示$\sigma_{\rho,a} = \rho^{\times a} \rtimes \sigma$具有唯一不可约子模，通过反证法结合$R_{Q(X_{ra})}\sigma_{\rho,a}$的多重性为一性质得以证明。
• 在给定假设下，Jacquet模$R_{\overline{Q}(X_{ra})}\sigma_{\rho,a}$中包含$({}^c\rho^\vee)^{\times a} \otimes \sigma$且重数为一，且不包含其他形如$({}^c\rho^\vee)^{\times a} \otimes \sigma'$的子商。
• Jacquet模的结构确保$R_{Q(X_{ra})}\sigma_{\rho,a}$中包含$\rho^{\times a} \otimes \sigma$且重数为一，且不包含其他此类子商。
• 通过将$\lambda_{a-k}$参数调整为$s_{m,n} + a - k$，将论证推广至四元数情形，确认该论证在所有情形（包括分裂与非分裂情形）下均成立。