[论文解读] Presenting Schur Algebras

Stephen Doty, Anthony Giaquinto|ArXiv.org|Aug 6, 2001

Algebraic structures and combinatorial models被引用 8

一句话总结

本文提出了经典与量子化施图尔姆代数的显式生成元与关系式，与 $\mathfrak{gl}_n$ 的包络代数相容，并构造了作为科斯丹特定基子集的新积分基。此外，还给出了类似于吕施蒂格的修正量子包络代数的第二组表述，并通过投影推导出Hecke代数的新积分基与表述。

ABSTRACT

Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presentation for the Schur algebra. Finally, we find a second presentation of Schur algebras which is similar to Luzstig's modified form of the quantized enveloping algebra.

研究动机与目标

• 通过与 $U(\mathfrak{gl}_n)$ 及其 $q$-类比相容的生成元与关系式，提供经典与量子化施图尔姆代数 $S(n,d)$ 与 $\mathbf{S}(n,d)$ 的表述。
• 构造 $S_\mathbb{Z}(n,d)$ 与 $\mathbf{S}_\mathcal{A}(n,d)$ 的积分形式，分别作为科斯丹特定基与吕施蒂格积分形式的类比。
• 构造施图尔姆代数的新积分基，使其成为科斯丹特定基的子集，并通过投影获得Hecke代数的对应基。
• 给出施图尔姆代数的第二组表述，与吕施蒂格的修正代数 $\dot{\mathbf{U}}$ 类似。
• 将结果应用于Borel施图尔姆代数与Hecke代数，得到新的积分基与表述。

提出的方法

• 利用双中心化定理，关联 $\mathfrak{gl}_n$ 与 $\Sigma_d$ 在 $V^\otimes d$ 上的作用，将 $S(n,d)$ 识别为表示 $U \to \mathrm{End}(V^\otimes d)$ 的像。
• 通过确定映射 $U \to S(n,d)$ 的核的生成集，推导出与塞尔的 $U$ 表述相容的 $S(n,d)$ 的生成元与关系式表述。
• 将 $S_\mathbb{Z}(n,d)$ 构造为从科斯丹特定基导出的新积分基的 $\mathbb{Z}$-张成。
• 将该方法适配至量子情形：使用与大井-吉姆博量子包络代数 $\mathbf{U}$ 相容的生成元与关系式，表述 $\mathbf{S}(n,d)$。
• 将 $\mathcal{A}$-形式 $\mathbf{S}_\mathcal{A}(n,d)$ 构造为与吕施蒂格的 $\mathcal{A}$-形式 $\mathbf{U}_\mathcal{A}$ 类似的、新积分基的 $\mathcal{A}$-张成。
• 推导出 $\mathbf{S}(n,d)$ 的第二组表述，与吕施蒂格的 $\dot{\mathbf{U}}$ 密切相关，且在 $v=1$ 时特化可恢复经典第二组表述。

实验结果

研究问题

• RQ1 经典施图尔姆代数 $S(n,d)$ 是否存在与 $U(\mathfrak{gl}_n)$ 的包络代数相容的生成元与关系式表述？
• RQ2 能否构造 $S_\mathbb{Z}(n,d)$ 的新积分基，使其成为科斯丹特定基 $U_\mathbb{Z}$ 的子集？
• RQ3 如何使量子化施图尔姆代数 $\mathbf{S}(n,d)$ 的生成元与关系式与量子包络代数 $\mathbf{U}$ 相容？
• RQ4 是否存在一组与吕施蒂格的修正代数 $\dot{\mathbf{U}}$ 类似的 $\mathbf{S}(n,d)$ 的第二组表述？
• RQ5 Hecke代数能否被实现为施图尔姆代数的子代数，并通过施图尔姆代数的基导出其积分基与表述？

主要发现

• 本文提供了与塞尔的 $U(\mathfrak{gl}_n)$ 表述相容的 $S(n,d)$ 的生成元与关系式表述，确立了 $S_\mathbb{Z}(n,d)$ 的新积分基，该基为科斯丹特定基的子集。
• 在量子情形下，给出了与标准量子包络代数 $\mathbf{U}$ 表述相容的 $\mathbf{S}(n,d)$ 的表述，从而导出 $\mathbf{S}_\mathcal{A}(n,d)$ 的新积分基。
• 构造了与吕施蒂格的修正代数 $\dot{\mathbf{U}}$ 密切相关的 $\mathbf{S}(n,d)$ 的第二组表述，且在 $v=1$ 时特化可恢复经典第二组表述。
• Hecke代数的基作为 $\mathbf{S}_\mathcal{A}(n,d)$ 的积分基的子集获得，且通过从施图尔姆代数投影导出了Hecke代数的积分表述。
• 对于 $\mathbf{S}_\mathcal{A}(2,2)$，维数为 $10$，其中 $(2,0)$-轨道有 $3$ 个基元素，$(1,1)$-轨道有 $4$ 个基元素；对于 $\mathbf{S}_\mathcal{A}(3,3)$，维数为 $165$，三个轨道分别贡献 $30$、$108$ 与 $27$ 个元素。
• 在 $\mathbf{S}_\mathcal{A}(n,d)$ 中，基元素被明确描述为 $E_A F_C 1_\lambda$，其多项式在 $X_{ij}$ 中的次数受约束，且集合 $\mathbf{Y}_+(\lambda)$ 构造为有界次数单项式集的有序笛卡尔积。