[论文解读] On Theta and Eta Correspondences for Finite Symplectic/Orthogonal Dual Pairs

Shu-Yen Pan|arXiv (Cornell University)|Jun 11, 2020

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

一句话总结

本文引入了有限奇特征标有限域上的有限辛-正交对偶对的 Howe theta 对应的两个极大一对一子关系 $\underline{\theta}$ 和 $\overline{\theta}$。这些推广扩展了 Gurevich-Howe 的稳定范围 $\eta$-对应，并被证明具有对称性、持久性，且在所有一对一 theta-关系中为极大。

ABSTRACT

In this paper, we propose two maximal one-to-one sub-relations $\underlineθ, \overlineθ$ of the Howe correspondence $Θ$ for a finite reductive dual pair consisting of a symplectic group and an orthogonal group. Moreover, we show that both the correspondences $\underlineθ$ and $\overlineθ$ are extensions beyond the stable range of the $η$-correspondence defined by Gurevich-Howe.

研究动机与目标

• 将此前仅在稳定范围内定义的有限辛群与正交群的 $\eta$-对应扩展至一般对偶对。
• 构造全 theta 对应的、保持对称性和持久性等关键性质的一对一子关系。
• 确立这些新对应关系在所有一对一 theta-关系中为极大，即无法在保持双射性的同时进一步扩展。
• 证明与 Lusztig 对应的一致性，并验证这些新关系确实包含于全 theta 对应之中。

提出的方法

• 基于 $\beta$-集与转置符号的符号理论构造，定义在单值特征标上的两个子关系 $\underline{\theta}$ 和 $\overline{\theta}$。
• 利用 Lusztig 对应在对偶对之间关联单值特征标，并确保与新关系的一致性。
• 借助单值特征标上 $\Theta$-对应猜想（现已被 [Pan19a] 证明）验证 $\underline{\theta}$ 和 $\overline{\theta}$ 包含于全 theta 对应之中。
• 通过 Lusztig 对应的性质及对偶对的结构，证明 $\underline{\theta}$ 和 $\overline{\theta}$ 的对称性与持久性。
• 通过反证法证明极大性：若一个一对一 theta-关系真包含 $\underline{\theta}$ 或 $\overline{\theta}$，则其必然失去单射性。
• 利用 Weil 表示的分解及 theta 对应的无重分解，分析新关系的结构。

实验结果

研究问题

• RQ1 能否在保持双射性的同时，将仅在稳定范围内定义的 $\eta$-对应扩展至有限辛-正交对偶对的非稳定范围？
• RQ2 哪些是全 theta 对应中保留对称性与持久性的最大一对一子关系？
• RQ3 $\underline{\theta}$ 和 $\overline{\theta}$ 新对应关系如何与 Lusztig 对应及单值特征标的结构相关联？
• RQ4 是否可能在不损失单射性的情况下，将一对一 theta-关系扩展超过 $\underline{\theta}$ 或 $\overline{\theta}$？
• RQ5 $\underline{\theta}$ 和 $\overline{\theta}$ 是否保持了 $\eta$-对应的关键性质，如持久性与对称性？

主要发现

• $\underline{\theta}$ 和 $\overline{\theta}$ 均为一对一、对称且持久，将 $\eta$-对应扩展至稳定范围之外。
• $\underline{\theta}$ 和 $\overline{\theta}$ 包含于全 theta 对应 $\Theta$ 中，这一结论由 [Pan19a] 中 Aubert-Michel-Rouquier 猜想的证明所确认。
• $\underline{\theta}$ 和 $\overline{\theta}$ 与 Lusztig 对应相容，确保与单值特征标表示理论结构的一致性。
• $\underline{\theta}$ 和 $\overline{\theta}$ 的极大性已得证明：任何真包含它们的一对一 theta-关系必然违反单射性。
• $\underline{\theta}$ 和 $\overline{\theta}$ 的构造依赖于符号转置与偏移条件，其中 $\epsilon = \pm$ 决定所加符号分量的符号。
• 极大性证明基于反证法，结合关系的半持久性与单值特征标在 Lusztig 对应下的行为，特别是 $\mathrm{def}(\Lambda) = 4d+1$ 的情形。