[论文解读] Graded $q$-Schur algebras

Susumu Ariki|arXiv (Cornell University)|Mar 20, 2009

Algebraic structures and combinatorial models参考文献 24被引用 23

一句话总结

本文通过利用环群的表示理论构造其模的分次提升，为 $q$-Schur 代数引入了分次结构。当 $q^2 \neq 1$ 且 $q^3 \neq 1$ 时，证明了 $q$-Schur 代数分解数的分次版本的 Leclerc-Thibon 猜想，表明在 $v=1$ 时，分次分解矩阵与一级 Fock 空间中的规范基一致，从而通过分次 Hecke 代数表示实现了对规范基的范畴化。

ABSTRACT

Generalizing recent work of Brundan and Kleshchev, we introduce grading on Dipper-James' $q$-Schur algebra, and prove a graded analogue of the Leclerc and Thibon's conjecture on the decomposition numbers of the $q$-Schur algebra when $q^2 eq1$ and $q^3 eq1$.

研究动机与目标

• 通过环群代数的表示理论定义 $q$-Schur 代数的分次提升。
• 为 $q$-Schur 代数建立分解数的分次版本的 Leclerc-Thibon 猜想。
• 验证在 $v=1$ 时，分次分解矩阵与 Fock 空间的规范基一致。
• 为 $q$-Schur 代数的更高阶推广提供表示论基础。

提出的方法

• 通过环群代数在 Specht 模上的作用，构造 $q$-Schur 代数模的分次提升。
• 利用幂零元 $t_a$ 的洛朗级数，通过剩余序列 $\underline{i} \in (\mathbb{Z}/e\mathbb{Z})^n$ 定义生成元 $\sigma_k$ 和 $t_a$ 的作用。
• 利用 $F$-代数自同构 $\Psi$ 和反自同构 $*$ 控制 Hecke 代数中的分次与对偶性。
• 计算 $\sigma_k$ 和幂等元 $e(\underline{i})$ 在 Specht 模标准基上的作用，以确定矩阵表示。
• 应用 LLT 算法计算 Fock 空间中的规范基 $G(\mu)$，并与分次分解矩阵进行比较。
• 通过在 $v=1$ 时验证系数矩阵完全一致，确认分次分解矩阵与规范基匹配。

实验结果

研究问题

• RQ1 是否存在一种 $q$-Schur 代数的分次提升，使得其分解数在 $v=1$ 时与 Fock 空间的规范基一致？
• RQ2 能否通过 $q$-Schur 代数上的分次结构实现 Leclerc-Thibon 猜想关于分解数的范畴化？
• RQ3 环群代数上的分次结构如何诱导出 $q$-Schur 代数及其模的分次结构？
• RQ4 分次 $q$-Schur 代数的分解矩阵与一级 Fock 空间规范基之间存在何种关系？
• RQ5 该分次结构是否与 Hecke 代数的对偶性及自同构相容？

主要发现

• 当 $n=4$ 且 $e=4$ 时，$q$-Schur 代数的分次分解矩阵在 $v=1$ 时与 Fock 空间的规范基一致，证实了 Leclerc-Thibon 猜想的分次版本。
• 分解矩阵为 $d_{\lambda\mu}(v^{-1})$，其条目包括：$d_{(4)(4)} = 1$，$d_{(3,1)(4)} = v$，$d_{(2,1,1)(4)} = v$，$d_{(2,1,1)(3,1)} = 1$，以及 $d_{(1,1,1,1)(2,1,1)} = v$ 等。
• 分次 Grothendieck 群关系为：$[W((4))]^* = [L((4))]^*$，$[W((3,1))]^* = v^{-1}[L((4))]^* + [L((3,1))]^*$，依此类推，与规范基的系数一致。
• 模 $S((4))$ 同构于 $D((3,1))[-1]$，且 $S((2,1,1))$ 包含一个同构于 $D((1,1,1,1))[-1]$ 的分次子模，表明该分次结构与 Jantzen 分次一致。
• 通过 LLT 算法计算出的规范基元素 $G(\mu)$ 与分次分解矩阵的系数矩阵完全匹配，证实了范畴化。
• 该构造确认，分次 $q$-Schur 代数将 Fock 空间的规范基实现为其分解矩阵，从而为规范基提供了表示论模型。