[论文解读] Generalized Jacquet modules of parabolic induction

Noriyuki Abe|ArXiv.org|Oct 17, 2007

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

一句话总结

本文通过在广义雅可比模上引入布雷厄特滤子，将半单李群中抛物诱导的雅可比模推广至更一般情形，其逐级商通过阿赫波夫的扭量函子描述。关键贡献在于通过这些商模对惠特aker模型进行结构分解，从而实现通过扩张数据与扭量诱导系统化地确定此类模型的方法。

ABSTRACT

In this paper we study a generalization of the Jacquet module of a parabolic induction and construct a filtration on it. The successive quotient of the filtration is written by using the twisting functor.

研究动机与目标

• 将半单李群中抛物诱导的雅可比模构造从经典情形推广至更一般情况。
• 在广义雅可比模上定义布雷厄特滤子，并利用扭量函子描述其逐级商。
• 通过分析滤子商与它们的扩张，提出一种系统化确定抛物诱导惠特aker模型的策略。
• 将卡斯曼的广义雅可比模框架扩展至包含字符扭量与模结构变化，借助扭量函子实现。

提出的方法

• 将广义雅可比模 $ J'_{\nu}(V) $ 和 $ J^*_{\nu}(V) $ 定义为在对偶空间上对所有 $ X \in \mathfrak{n}_0 $，$ (X - \eta(X))^k $ 的联合核，以捕捉 $ \eta $-扭量的幂零条件。
• 通过在元素 $ e_i - \eta(e_i) $ 处局部化通用包络代数 $ U(\mathfrak{g}) $，构造扭量函子 $ T_{w,\eta} $，形成 $ \mathfrak{g} $-双模 $ S_{w,\eta} $。
• 通过在 $ N_0 $-轨道 $ \bigcup_{j\leq i} N_0 w_j P/P $ 上的支集，定义 $ J'_{\eta}(\operatorname{Ind}_P^G(\sigma \otimes e^{\lambda+\rho})) $ 上的布雷厄特滤子 $ \{I_i\} $。
• 利用韦依群作用在 $ \mathfrak{m} \cap \mathfrak{n}_0 $ 上定义扭量特征 $ w_i^{-1}\eta $，从而构造出逐级商 $ J'_{w_i^{-1}\eta}(\sigma \otimes e^{\lambda+\rho}) $。
• 应用广义扭量函子 $ T_{w_i,\eta} $，将滤子的逐级商与从李群子群 $ M $ 的扭量诱导联系起来。
• 利用幂零群上的分布理论分析 $ \mathcal{D}'(N, \mathcal{L}) $，表明被 $ \ker \eta $ 的幂所 annihilate 的分布位于 $ V' $ 系数的多项式分布张量积的张量积中。

实验结果

研究问题

• RQ1 如何将经典雅可比模构造推广，以容纳非单位特征与非主系列表示？
• RQ2 抛物诱导的广义雅可比模的结构是什么？如何对其进行有意义的滤子分解？
• RQ3 广义雅可比模上布雷厄特滤子的逐级商如何与李群子群 $ M $ 的表示理论相关联？
• RQ4 阿赫波夫的扭量函子能否用于描述这些商模？由此产生的“扭量”诱导具有何种性质？
• RQ5 广义雅可比模在确定抛物诱导惠特aker模型中扮演何种角色？

主要发现

• 若特征 $ \eta $ 非单位特征，则广义雅可比模 $ J'_{\eta}(\operatorname{Ind}_P^G(\sigma \otimes e^{\lambda+\rho})) $ 为零。
• 布雷厄特滤子的逐级商同构于扭量诱导 $ T_{w_i,\eta}(J'_{w_i^{-1}\eta}(\sigma \otimes e^{\lambda+\rho})) $，其特征与标准诱导相同，但模结构不同。
• 当抛物诱导具有唯一朗兰兹商时，逐级商退化为从李群子群的雅可比模出发的标准诱导。
• 滤子结构提供了一种系统化计算惠特aker模型的方法：只需分析逐级商及其扩张即可。
• 在幂零李群 $ N $ 上被 $ \ker \eta $ 的幂所 annihilate 的分布，是 $ V' $ 系数的单项式与 $ \delta $-分布的有限线性组合，从而为这类分布建立了多项式模型。
• 广义雅可比模同构于幂零根的扭量模的直和，其结构由韦依群作用与特征 $ \eta $ 所控制。