[论文解读] Cellular bases of generalized q-Schur algebras

Stephen Doty, Anthony Giaquinto|arXiv (Cornell University)|Dec 29, 2010

Algebraic structures and combinatorial models参考文献 34被引用 3

一句话总结

本文通过利用定义幂等元将胞状模及其对偶的基粘合起来，构建了广义 $q$-Schur 代数的胞状基，从而在 $ℝ(v)$ 上提供了一种自包含的方法，并通过典范基将其推广到任意基环。主要贡献是一种全新的、通用的构建胞状结构的方法，其应用包括通过幂等元分解得到的典型模的滤子结构。

ABSTRACT

We show that cellular bases of generalized $q$-Schur algebras can be constructed by gluing arbitrary bases of the cell modules and their dual basis (with respect to the anti-involution giving the cell structure) along defining idempotents. For the rational form, over the field $\mathbb{Q}(v)$ of rational functions in an indeterminate $v$, our proof of this fact is self-contained and independent of the theory of quantum groups. In the general case, over a commutative ring $\Bbbk$ regarded as a $\mathbb{Z}[v,v^{-1}]$-algebra via specialization $v \mapsto q$ for some chosen invertible $q \in \Bbbk$, our argument depends on the existence of the canonical basis.

研究动机与目标

• 为广义 $q$-Schur 代数的有理形式 $\mathbf{S}(\pi)$ 提供一种不依赖于量子群理论的自包含胞状基构造。
• 通过特殊化 $v \mapsto q$，将此构造推广至 $ℤ$-形式 $\mathbf{S}_q(\pi)$，利用典范基的存在性。
• 展示胞状基构造如何通过正则表示的幂等元分解，显式地给出典型模的滤子结构。
• 将经典 $q$-Schur 代数和 Donkin 的广义 Schur 代数的已知结果推广至任意有限型根系。
• 证明所得胞状基即使在类型 A 中也是新的，尤其对经典 $q$-Schur 代数而言。

提出的方法

• 该方法从有理形式 $\mathbf{S}(\pi)$ 的幂等元表示出发，使用先前工作的定义关系。
• 对每个极大权 $\lambda$，将胞状模 $\Delta(\lambda)$ 的基及其关于反对合的对偶基沿幂等元 $1_\lambda$ 粘合，形成胞状基。
• 证明该构造在 $ℝ(v)$ 上是自包含的，仅依赖于 Weyl 定理和半单李代数的基本表示理论。
• 对于 $ℤ$-形式 $\mathbf{S}_q(\pi)$，论证依赖于修正的量化包络代数 $ℤ$-形式中典范基的存在性。
• 识别出商映射 $p_{\pi,\pi'}$ 的核为同调子模，同构于 $\Delta_q(\lambda_1)$ 的若干份直和，其中 $\lambda_1$ 是 $\pi$ 中的最大权。
• 通过归纳法构建典型模 $\mathbf{S}_q1_\lambda$ 的滤子，依次商去对应于按降序排列的最大权的核。

实验结果

研究问题

• RQ1 能否仅通过幂等元表示和基本表示理论，独立于量子群理论，构造广义 $q$-Schur 代数的胞状基？
• RQ2 如何通过特殊化 $v \mapsto q$，将胞状基构造从有理形式 $\mathbf{S}(\pi)$ 推广至 $ℤ$-形式 $\mathbf{S}_q(\pi)$？
• RQ3 $\mathbf{S}_q(\pi)$ 到 $\mathbf{S}_q(\pi')$ 的商映射 $p_{\pi,\pi'}$ 的核的结构是什么？它与胞状模结构有何关联？
• RQ4 能否以反映 $\pi$ 中权的极大性序的方式，对典型模 $\mathbf{S}_q1_\lambda$ 进行滤子分解？
• RQ5 此类滤子中每一级商的 $\Delta_q(\lambda_j)$ 的重数是多少？

主要发现

• 通过沿 $1_\lambda$ 粘合 $\Delta(\lambda)$ 的基及其关于反对合的对偶基，构造了 $\mathbf{S}(\pi)$ 的胞状基，且该构造不依赖于量子群理论。
• 该构造在 $ℝ(v)$ 上是自包含的，仅依赖于幂等元表示和 Weyl 定理。
• 对于 $\mathbf{S}_q(\pi)$，该方法通过典范基得以推广，且 $p_{\pi,\pi'}$ 的核被识别为 $\Delta_q(\lambda_1)$ 模块的直和。
• $\mathbf{S}_q1_\lambda$ 滤子中第 $j$ 个商的 $\Delta_q(\lambda_j)$ 的重数等于 $\Delta_q(\lambda_j)$ 的 $\lambda$-权空间在 $\u2124$ 上的秩。
• 通过依次商去对应于按降序排列的最大权的核，以归纳法构建了 $\mathbf{S}_q1_\lambda$ 的滤子。
• 所得滤子为同调滤子，每个商 $P_j/P_{j-1}$ 是 $\Delta_q(\lambda_j)$ 的若干份直和，从而给出了 Donkin 滤子结果的 $q$-模拟。