[论文解读] Composition Factors of Polynomial Representation of DAHA and Crystallized Decomposition Numbers

Naoya Enomoto|ArXiv.org|Apr 17, 2006

Algebraic structures and combinatorial models参考文献 32被引用 8

一句话总结

该论文在 ℓ 与 r 互素且 ℓ ≠ 2 的条件下，证明了 M. Kasatani 关于双 affine Hecke 代数（DAHA）多项式表示的合成列由多轮盘条件定义的猜想。通过将 DAHA 的 O 类与退化及有理 DAHA 的 v- Schur 代数联系起来，作者将问题简化为利用 U_q(ŝl_ℓ) 的 Fock 空间上的上全局基与晶体基来计算 Weyl 模 W^{(1ⁿ)} 的合成因子，最终通过 LLT-Ariki 定理确定了分解数。

ABSTRACT

We determine the composition factors of the polynomial representation of DAHA, conjectured by M. Kasatani. We reduce the determination of composition factors of polynomial representations of DAHA to the determination of the composition factors of the Weyl module $W^{(1^n)}$ for the $v$-Schur algebra. By using the LLT-Ariki type theorem of $v$-Schur algebra proved by Varagnolo-Vasserot, we determine the composition factors of $W^{(1^n)}$ by calculating the upper global basis and crystal basis of Fock space of $U_q(\hat{\mf{sl}}_\ell)$.

研究动机与目标

• 证明 M. Kasatani 的猜想：DAHA 的多项式表示在多轮盘条件定义下存在合成列。
• 建立有理 DAHA 的 O 类与 v-Schur 代数模范畴之间的范畴等价。
• 利用 Fock 空间的上全局基与晶体基，确定 v-Schur 代数的 Weyl 模 W^{(1ⁿ)} 的合成因子。
• 通过 U_q(ŝl_ℓ) 的 LLT-Ariki 型定理，计算 v-Schur 代数的分解数。

提出的方法

• 利用 DAHA、退化 DAHA 与有理 DAHA 之间的关系，将它们的 O 类与 v-Schur 代数联系起来。
• 利用有理 DAHA 的 O 类与 v-Schur 代数 S(n) 的模范畴之间的等价性。
• 应用 v-Schur 代数的 LLT-Ariki 型定理，该定理将分解数与 U_q(ŝl_ℓ) 的 Fock 空间上的上全局基与晶体基联系起来。
• 利用 Misra-Miwa 定理构造 Fock 空间的晶体基，并通过量子群的典范基计算上全局基。
• 将计算 Weyl 模 W^{(1ⁿ)} 合成因子的问题约化为计算 Fock 空间中的上全局基元素。
• 使用行与列移除公式及 Kleshchev-Mullineux 对合等组合工具验证分解数。

实验结果

研究问题

• RQ1 由多轮盘条件定义的 DAHA 多项式表示中递增子表示序列是否构成合成列？
• RQ2 v-Schur 代数的 Weyl 模 W^{(1ⁿ)} 的合成因子结构如何？
• RQ3 v-Schur 代数的分解数如何与 U_q(ŝl_ℓ) 的 Fock 空间上的晶体基与上全局基相关联？
• RQ4 v-Schur 代数的 LLT-Ariki 型定理是否可用于计算 Weyl 模 W^{(1ⁿ)} 的分解数？
• RQ5 Kleshchev-Mullineux 对合作用于计算 v-Schur 代数分解数时起什么作用？

主要发现

• v-Schur 代数的 Weyl 模 W^{(1ⁿ)} 的合成因子由 Fock 空间中对应于分拆 μ_i^{(n)} 的上全局基元素确定。
• 分解数 d_{(n),μ}(1) 在 μ = μ_i^{(n)} 时为 1，否则为 0，证实了 H. Miyachi 的猜想。
• 通过 LLT-Ariki 定理与组合约化技术，v-Schur 代数的分解数 d_{(n),μ}(q) 被显式计算出来。
• 该证明确立了在 (ℓ,r)=1 且 ℓ≠2 的条件下，多轮盘条件确实为 DAHA 多项式表示定义了一个合成列。
• 通过行与列移除及 Kleshchev-Mullineux 对合作用进行组合验证，表明 d_{(n),μ}=1 仅当 μ=μ_i^{(n)} 时成立，其余情况为 0。
• 以 ℓ=3 且 n=12 的显式例子验证了分解数 d_{(12),(5,2,2,2,1)}=1，通过组合引理的连续约化过程得以确认。