[论文解读] Fusion products of Kirillov-Reshetikhin modules and the X = M conjecture

Katsuyuki Naoi|arXiv (Cornell University)|Sep 12, 2011

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

一句话总结

本文通过证明涉及 Kirillov-Reshetikhin (KR) 模的融合积与 Demazure 算子的费米子形式恒等式，确立了仿射李代数 $A_n^{(1)}$ 和 $D_n^{(1)}$ 类型的 X = M 之猜想。利用 Joseph 赋函子，从一维模构造了融合积，并通过 Demazure 算子表明融合积的特征标与费米子形式一致，从而在这些情形下证实了该猜想。

ABSTRACT

In this article, we show in the ADE case that the fusion product of Kirillov-Reshetikhin modules for a current algebra, whose character is expressed in terms of fermionic forms, can be constructed from one-dimensional modules by using Joseph functors. As a consequence, we obtain some identity between fermionic forms and Demazure operators. Since the same identity is also known to hold for one-dimensional sums of nonexceptional type, we can show from these results the X = M conjecture for type $A_n^{(1)}$ and $D_n^{(1)}$.

研究动机与目标

• 证明仿射李代数 $A_n^{(1)}$ 和 $D_n^{(1)}$ 类型的 X = M 猜想。
• 通过 KR 模的融合积，建立费米子形式与 Demazure 算子之间的联系。
• 证明当前代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ 的 KR 模的融合积可借助 Joseph 赋函子从一维模构造而成。

提出的方法

• 通过生成元与关系式，构造当前代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ 的 Kirillov-Reshetikhin 模的融合积。
• 应用 Joseph 赋函子，将融合积实现为从一维模诱导出的模的商模。
• 使用 Demazure 算子，以指数权重和 Weyl 群作用的形式表达融合积的特征标。
• 利用融合积具有 Demazure 标志的事实，将其特征标与 Demazure 算子在权格上的作用联系起来。
• 证明融合积的特征标通过涉及 $D_{t_{w_0(\varpi_{r_j})}}$ 算子的恒等式与费米子形式一致。
• 建立融合积与通过迭代 Demazure 算子构造的模之间的同构关系，从而证明关键恒等式。

实验结果

研究问题

• RQ1 对于 $A_n^{(1)}$ 和 $D_n^{(1)}$ 类型，KR 晶体的一维和的费米子形式是否与 Demazure 算子定义的模的特征标一致？
• RQ2 KR 模的融合积能否通过 Joseph 赋函子，作为由一维模构建的模的商模实现？
• RQ3 在 $ADE$ 类型中，KR 模的融合积与通过迭代 Demazure 算子构造的模之间是否存在典范同构？
• RQ4 一维和与 Demazure 算子之间的恒等式是否可推广至 $A_n^{(1)}$ 和 $D_n^{(1)}$ 情形下的完整费米子表达式？
• RQ5 能否通过此融合积与 Demazure 算子构造，完全证实 $A_n^{(1)}$ 和 $D_n^{(1)}$ 情形下的 X = M 猜想？

主要发现

• 通过证明费米子形式与 Demazure 算子之间的恒等式，证实了仿射李代数 $A_n^{(1)}$ 和 $D_n^{(1)}$ 类型的 X = M 猜想。
• 当前代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ 的 Kirillov-Reshetikhin 模的融合积同构于通过迭代 Demazure 算子构造的模。
• 证明了融合积的特征标等于 $D_{t_{w_0(\varpi_{r_p})}} \cdots D_{t_{w_0(\varpi_{r_1})}}(e^{\ell_1\Lambda_0})$，至多相差一个常数因子。
• 该证明依赖于 Joseph 赋函子，从一维模构造融合积，从而建立了典范同构。
• 费米子形式的 Demazure 算子恒等式成立，将先前关于一维和的结果扩展至完整的费米子表达式。
• 该结果表明，若 Joseph 定理可推广至非单连通类型，则 $B_n^{(1)}$ 和 $C_n^{(1)}$ 类型的完美 KR 晶体也满足 X = M 猜想。