[论文解读] The irreducible unipotent modules of the finite general linear groups via tableaux

Scott Andrews|arXiv (Cornell University)|Feb 23, 2015

Finite Group Theory Research参考文献 9被引用 4

一句话总结

该论文通过使用 $\mathbb{F}_q^n$ 中元素标记的表格构造了有限一般线性群 $\mathrm{GL}_n(\mathbb{F}_q)$ 的不可约单奇模，提供了首个类似于詹姆斯对对称群所给出的 Specht 模构造的表格构造方法。关键结果是这些模实现不可约单奇特征 $\chi^\lambda$，且与詹姆斯早期使用退化 Gelfand–Graev 特征的构造同构，其中广义 Gelfand–Graev 特征 $\Gamma^\lambda$ 在构造中作为关键对偶对象。

ABSTRACT

We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^ ext{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.

研究动机与目标

• 为 $\mathrm{GL}_n(\mathbb{F}_q)$ 的不可约单奇模提供一种类似于詹姆斯对对称群所给出的 Specht 模构造的表格构造方法。
• 通过组合表格方法解决在有限一般线性群情形下寻找单奇模基的开放问题。
• 在包含非平凡 $p$ 次单位根的域上，建立新表格构造与詹姆斯原始模构造之间的同构关系。
• 通过对称函数及 $S_n$ 与 $\mathrm{GL}_n(\mathbb{F}_q)$ 在 $q=1$ 时的类比，为复数情形下的构造提供动机。
• 在 $\mathbb{C}G$ 中明确识别出一个生成元，使其生成实现特征 $\chi^\lambda$ 的不可约单奇模。

提出的方法

• 将 Young 图的方框用 $\mathbb{F}_q^n$ 的元素标记，形成 $\mathbb{F}_q^n$-表格，定义这些对象上自然的 $\mathrm{GL}_n(\mathbb{F}_q)$-作用。
• 将模 $M^\lambda$ 定义为所有形状为 $\lambda$ 的 $\mathbb{F}_q^n$-表格在 $\mathbb{F}_q$ 上的张成，配备由 $\mathrm{GL}_n(\mathbb{F}_q)$ 诱导的作用。
• 将子模 $S^\lambda \subseteq M^\lambda$ 构造为被抛物子群 $P(T)$ 的单奇子群 $U(T)$ 的某一作用所 annihilate 的向量的张成。
• 使用广义 Gelfand–Graev 特征 $\Gamma^\lambda = \mathrm{Ind}_{U(T)}^{G}(\psi_T)$ 作为对偶对象，类似于对称群情形下的符号表示。
• 证明 $\langle \mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1}), \Gamma^\lambda \rangle = 1$，确保存在唯一的共同不可约分量。
• 通过验证与 $\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ 和 $\Gamma^\lambda$ 的内积非零，证明 $S^\lambda$ 实现不可约单奇特征 $\chi^\lambda$。

实验结果

研究问题

• RQ1 能否使用类似于詹姆斯对 $S_n$ 所给出的 Specht 模构造的表格方法，构造 $\mathrm{GL}_n(\mathbb{F}_q)$ 的不可约单奇模？
• RQ2 使用广义 Gelfand–Graev 特征 $\Gamma^\lambda$ 作为对偶对象是否能给出与詹姆斯原始模构造同构的构造？
• RQ3 $S_n$ 与 $\mathrm{GL}_n(\mathbb{F}_q)$ 在 $q=1$ 时的类比在促使使用 $\mathbb{F}_q^n$-元素标记表格中起到什么作用？
• RQ4 能否在 $\mathbb{C}G$ 中显式识别出一个生成元，使其生成实现不可约单奇模 $\chi^\lambda$ 的模？
• RQ5 Kostka 多项式 $K_{\mu\lambda}(q)$ 与 $\Gamma^\lambda$ 中 $\chi^\mu$ 的重数之间有何关系？

主要发现

• 所构造的模 $S^\lambda$ 同构于詹姆斯（1984）所构造的不可约单奇模，确立了新表格构造方法的有效性。
• $S^\lambda$ 所实现的特征为不可约单奇特征 $\chi^\lambda$，通过其与 $\mathrm{Ind}_{P_{\lambda'}}^G(\mathbf{1})$ 和 $\Gamma^\lambda$ 的内积非零得以证明。
• 广义 Gelfand–Graev 特征 $\Gamma^\lambda$ 等于 $\mathrm{Ind}_{U(T)}^G(\psi_T)$，对任意形状为 $\lambda$ 的 $\mathbb{F}_q^n$-表格 $T$ 成立，将模构造与特征理论联系起来。
• $\Gamma^\lambda$ 中 $\chi^\mu$ 的重数由 Kostka 多项式 $K_{\mu\lambda}(q)$ 给出，且满足 $K_{\mu\lambda}(1) = K_{\mu\lambda}$，在 $q=1$ 时恢复对称群情形。
• 在 $\mathbb{C}G$ 中存在一个生成元 $e = \sum_{u \in U_{\lambda'}, p \in P_{\lambda'}^{-}} \varphi_\lambda(u^{-1}) u p$，其生成实现 $\chi^\lambda$ 的不可约 $G$-模，从而提供了显式实现。