[论文解读] Branching functions of $A_{n-1}^{(1)}$ and Jantzen-Seitz problem for Ariki-Koike algebras

Omar Foda, Bernard Leclerc+3 more|ArXiv.org|Oct 3, 1997

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

一句话总结

本文通过建立不可约表示在子代数上的限制与仿射李代数 $A_{n-1}^{(1)}$ 中张量积重数之间的对应关系，解决了 Ariki-Koike 代数上的 Jantzen-Seitz 问题。利用晶体基理论与高阶路径，精确确定了哪些不可约表示在限制下仍保持不可约，揭示了广义 Jantzen-Seitz 条件与参数集之间的对称性。

ABSTRACT

We study the restrictions of simple modules of Ariki-Koike algebras $\H_m(\v)$ with set of parameters $\v= (ζ;ζ^{v_0},... ,ζ^{v_{l-1}})$, where $ζ$ is an $n$th root of unity, to their subalgebras $\H_{m-j}(\v)$. Using a theorem of Ariki and the crystal basis theory of Kashiwara, we relate this problem to the calculation of tensor product multiplicities of highest weight irreducible representations of the affine Lie algebra $A_{n-1}^{(1)}$. These multiplicities have a combinatorial description in terms of higher level paths or highest-lift multipartitions. This enables us to solve the Jantzen-Seitz problem for Ariki-Koike algebras, that is, to determine which irreducible representations of $\H_m(\v)$ restrict to irreducible representations of $\H_{m-1}(\v)$. From a combinatorial point of view, this problem is identical to that of computing the tensor product of an $A_{n-1}^{(1)}$-module of level $l$ and one of level 1. We also consider natural generalisations of the Jantzen-Seitz problem corresponding to the product of a level $l$ module by a level $l'>1$ module, and from the commutativity of tensor products, we deduce a remarkable symmetry between the generalised Jantzen-Seitz conditions and the sets of parameters of the Ariki-Koike algebras.

研究动机与目标

• 确定 Ariki-Koike 代数的哪些不可约表示在限制到子代数时仍保持不可约。
• 建立 Ariki-Koike 代数表示理论与仿射李代数中张量积重数之间的联系。
• 利用晶体基理论中的组合工具，解决 Ariki-Koike 代数背景下的 Jantzen-Seitz 问题。
• 将 Jantzen-Seitz 问题推广至更高阶的模积，并揭示其内在对称性。

提出的方法

• 利用 Ariki 定理，将 Ariki-Koike 代数的表示理论与 $A_{n-1}^{(1)}$ 的表示理论联系起来。
• 应用 Kashiwara 的晶体基理论，计算 $A_{n-1}^{(1)}$ 中的张量积重数。
• 通过高阶路径或最高提升多分划，以组合方式表示重数。
• 将限制问题转化为 $A_{n-1}^{(1)}$ 的 $l$ 阶与 $1$ 阶模的张量积问题，然后推广至 $l'$ 阶。
• 利用张量积的交换性，推导出广义 Jantzen-Seitz 条件与参数集之间的对称性。
• 将 Ariki-Koike 代数的分支规则映射到多分划与路径模型的组合结构。

实验结果

研究问题

• RQ1 Ariki-Koike 代数 $\H_m(\v)$ 的哪些不可约表示在限制到 $\H_{m-1}(\v)$ 时仍保持不可约？
• RQ2 Ariki-Koike 代数的限制问题如何与仿射李代数 $A_{n-1}^{(1)}$ 中的张量积重数相关联？
• RQ3 控制这些限制的分支函数的组合结构是什么？
• RQ4 由 $l$ 阶与 $l'$ 阶模的张量积所引出的广义 Jantzen-Seitz 问题，如何揭示 Ariki-Koike 代数参数集中的对称性？
• RQ5 对于给定不可约表示在限制下保持不可约的参数集合，其精确刻画是什么？

主要发现

• 本文通过精确确定不可约表示在限制到子代数时保持不可约的条件，完整解决了 Ariki-Koike 代数上的 Jantzen-Seitz 问题。
• 限制问题等价于计算 $A_{n-1}^{(1)}$ 的 $l$ 阶与 $1$ 阶最高权模的张量积重数。
• 这些重数通过高阶路径或最高提升多分划以组合方式描述，从而实现显式计算。
• 发现了广义 Jantzen-Seitz 条件与 Ariki-Koike 代数参数集之间的对称性，该对称性源于张量积的交换性。
• 该解表明，表示在限制下是否不可约，仅取决于其关联多分划及其最高提升结构的组合性质。
• 该框架自然地将 Jantzen-Seitz 问题推广至任意阶 $l$ 与 $l'$ 的模积，且由张量积交换性产生对称条件。