[论文解读] Irreducibility of Certain Subquotients of Spherical Principal Series Representations of Reductive Groups with Frobenius Maps

Junbin Dong|arXiv (Cornell University)|Feb 7, 2017

Advanced Algebra and Geometry参考文献 5被引用 8

一句话总结

本文建立了具有弗罗贝尼乌斯映射的无限环化李群的球形主系列表示的某些子商的不可约性，特别是在类型 A 和秩 2 的情况下，并通过格罗滕迪克群中的交错和，给出了无限维斯坦伯格模的新描述。主要贡献是关于诱导模的合成因子的一个猜想，将有限群表示论推广至无限情形。

ABSTRACT

For infinite reductive groups with Frobenius maps, we show that certain subquotients of abstract representations of the groups induced from 1-dimensional representations of Borel subgroups are irreducible.

研究动机与目标

• 研究具有弗罗贝尼乌斯映射的无限环化李群中，从博雷尔子群的平凡特征标诱导的表示的合成因子。
• 建立类型 A 和秩 2 的群的球形主系列表示中特定子商的不可约性。
• 在格罗滕迪克群中，通过诱导模对无限维斯坦伯格模提供一种替代描述。
• 提出关于诱导模的合成因子结构的猜想，将有限群表示论推广至无限维情形。

提出的方法

• 利用有限环化李群 $G_{q^a}$ 的无限维表示的直接极限构造，将模 $M_I(tr)$ 构造为诱导模的直接极限。
• 应用 BN-对、根系和 Weyl 群作用的理论，分析幂零子群及其交集的结构。
• 在格罗滕迪克群框架下，将无限维斯坦伯格模与抛物子群上诱导模的交错和联系起来。
• 利用 Weyl 群中的约化表达式定义子群 $U_w$ 和 $U'_w$，实现幂零根系的分解并分析模的滤子结构。
• 应用有限群表示论的结果——特别是有限斯坦伯格模的不可约性——以推导无限情形下的性质。
• 利用幂零根系中 $D$-正则元素的结构，分析群代数在诱导模上的作用。

实验结果

研究问题

• RQ1 对于具有弗罗贝尼乌斯映射的无限环化李群，某些诱导球形主系列表示的子商是否不可约？
• RQ2 无限维斯坦伯格模能否在格罗滕迪克群中表示为诱导模的交错和？
• RQ3 从博雷尔子群的平凡特征标诱导的模 $M(tr)$ 的合成因子结构如何？
• RQ4 当 $\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ 时，$M(tr)$ 拥有恰好 $2^{|S|}$ 个不可约合成因子的猜想是否成立？
• RQ5 当 $\text{char}(\mathfrak{K}) = \text{char}(\bar{\mathbb{F}}_q)$ 时，$M(\theta)$ 的合成因子行为如何，特别是其不可约性？

主要发现

• 当 $G$ 为类型 A 或秩 2 时，在 $\text{char}(\mathfrak{K}) \neq \text{char}(\bar{\mathbb{F}}_q)$ 条件下，文献 [X, 2.6] 中定义的子商 $E_J$ 对所有子集 $J \subseteq S$ 均不可约。
• 无限维斯坦伯格模 $St$ 在格罗滕迪克群 $[\mathscr{F}]$ 中满足 $[St] = \sum_{I \subseteq S} (-1)^{|I|} [M_I(tr)]$，推广了有限群情形。
• 当 $G$ 为类型 $A_n$ 时，与极大抛物子群 $P_I$ 关联的诱导模 $M_I(tr)$ 具有唯一的平凡商模和唯一的不可约子模。
• 通过将 $M_I(tr)$ 构造为 $\text{Ind}_{P_{I,a}}^{G_{q^a}} 1_{tr}$ 的直接极限，确保了对所有 $a$ 的相容性，使其成为同调范畴 $\mathscr{F}_0$ 中的对象。
• 猜想 $M(tr)$ 恰好有 $2^{|S|}$ 个合成因子，每个均为不可约且由 $S$ 的子集索引，该猜想得到定理 3.1 和 4.1 以及格罗滕迪克群公式的支持。
• 当 $\mathfrak{K} = \mathbb{C}$ 时，$M(\theta)$ 具有有限多个合成因子，提示在 $\text{char}(\mathfrak{K}) \neq \text{char}(\mathbb{F}_q)$ 条件下，对一般特征标 $\theta$，类似有限性可能成立。