[论文解读] Unipotent Hecke algebras of GL_n(F_q)

Nathaniel Thiem|ArXiv.org|Feb 24, 2004

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文为 $\mathrm{GL}_n(\mathbb{F}_q)$ 引入了单根 Hecke 代数 $χ_{\mu} = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$，其中 $U$ 为单根上三角子群，$\psi_\mu$ 为线性特征标。文章建立了以首一多项式矩阵为指标的组合基，构建了广义 RSK 对应关系，将双陪集基与一对表象联系起来，并识别出一个大的交换子代数，其同构于较小的单根 Hecke 代数的张量积，从而实现了模的权空间分解。

ABSTRACT

This paper describes a family of Hecke algebras H_μ=End_G(Ind_U^G(ψ_μ)), where U is the subgroup of unipotent upper-triangular matrices of G=GL_n(F_q) and ψ_μis a linear character of U. The main results combinatorially index a basis of H_μ, provide a large commutative subalgebra of H_μ, and after describing the combinatorics associated with the representation theory of H_μ, generalize the RSK correspondence that is typically found in the representation theory of the symmetric group.

研究动机与目标

• 研究 $G = \mathrm{GL}_n(\mathbb{F}_q)$ 的单根 Hecke 代数 $\mathcal{H}_\mu = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$ 的结构与表示理论，其中 $U$ 为单根子群，$\psi_\mu$ 为线性特征标。
• 为 $\mathcal{H}_\mu$ 构造一个以 $\ell \times \ell$ 首一多项式矩阵为指标的组合基，其非零常数项固定，且每行每列的总次数等于 $\mu$。
• 通过建立双陪集代表元与索引不可约模的表象对 $(P,Q)$ 之间的双射，推广经典 RSK 对应关系。
• 构造一个大的交换子代数 $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$，并描述 $\mathcal{H}_\mu$-模的相应权空间分解。

提出的方法

• 通过双陪集 $U \backslash G / U$ 构造 $\mathcal{H}_\mu$ 的标准双陪集基 $\{T_v : v \in N_\mu\}$。
• 在 $N_\mu$ 与集合 $M_\mu$（即 $\ell \times \ell$ 首一多项式矩阵构成的集合，其元素属于 $\mathbb{F}_q[X]$，满足 $a_{ij}(0) \neq 0$，且每行每列的总次数等于 $\mu$）之间建立双射。
• 通过组合双射实现广义 RSK 对应关系，将 $N_\mu$ 与同形状 $\lambda$ 的列严格表象对 $(P,Q)$ 关联，其中 $\lambda$ 索引不可约 $\mathcal{H}_\mu$-模。
• 通过幂等元与群代数投影，构造交换子代数 $\mathcal{L}_\mu$ 为 $e_\mu P_\mu e_\mu$，其同构于单根 Hecke 代数 $\mathcal{H}_{(\mu_i)}$ 的张量积。
• 通过 $\gamma$-权空间 $V_\gamma = \{v \in V : yv = \gamma(y)v \text{ 对所有 } y \in \mathcal{L}_\mu\}$ 定义 $\mathcal{H}_\mu$-模的权空间分解，其维数通过诱导表示与 Pieri 法则计算。
• 通过 RSK 型对应关系，组合地实现表示论恒等式 $\dim(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \dim(\mathcal{H}_\mu^\lambda)^2$。

实验结果

研究问题

• RQ1 如何为与 $\mathrm{GL}_n(\mathbb{F}_q)$ 关联的单根 Hecke 代数 $\mathcal{H}_\mu$ 构造一个组合基？
• RQ2 经典 RSK 对应关系能否被推广，以描述 $\mathcal{H}_\mu$ 到不可约模的分解？
• RQ3 在 $\mathcal{H}_\mu$ 内部，一个大的交换子代数的结构是什么？它如何支持其模的权空间分解？
• RQ4 不可约表示 $\mathcal{H}_\mu$ 如何与表象和分拆等组合对象相关联？
• RQ5 Gelfand-Graev 表示与 Yokonuma 代数在单根 Hecke 代数的更广泛背景中起什么作用？

主要发现

• 在双陪集基 $N_\mu$ 与集合 $M_\mu$（即 $\ell \times \ell$ 首一多项式矩阵构成的集合，其非零常数项固定，且每行每列的总次数等于 $\mu$）之间建立了双射。
• 构建了广义 RSK 对应关系，提供 $N_\mu$ 与同形状 $\lambda$ 的列严格表象对 $(P,Q)$ 之间的组合双射，其中 $\lambda$ 索引不可约 $\mathcal{H}_\mu$-模。
• $\mathcal{H}_\mu$ 的维数通过 RSK 型对应关系组合地实现为不可约模维数平方和，即恒等式 $\dim(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \dim(\mathcal{H}_\mu^\lambda)^2$ 获得组合解释。
• 构造了一个大的交换子代数 $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$，其所有不可约 $\mathcal{L}_\mu$-模均为一维。
• 在不可约 $\mathcal{H}_\mu$-模 $\mathcal{H}_\mu^\lambda$ 中，$\gamma$-权空间 $V_\gamma$ 的维数等于形状为 $\lambda$、权为 $\gamma$ 的列严格表象的数量，即 $|\hat{\mathcal{H}}_\gamma^\lambda|$。
• $\mathcal{H}_\mu$-模 $V$ 的权空间分解 $V \cong \bigoplus_{\gamma \in \hat{\mathcal{L}}_\mu} V_\gamma$ 成立，其维数通过 Frobenius 同伦性与 Pieri 法则计算。