[论文解读] Semi-infinite Lakshmibai-Seshadri path model for level-zero extremal weight modules over quantum affine algebras

Motohiro Ishii, Satoshi Naito+1 more|arXiv (Cornell University)|Feb 17, 2014

Algebraic structures and combinatorial models参考文献 16被引用 4

一句话总结

本文通过仿射 Weyl 群上的半无限 Bruhat 序，引入了半无限 Lakshmibai-Seshadri (LS) 路径模型，为量子仿射代数上零权极端权模的晶体基提供了一个完整的组合实现。该工作克服了以往方法依赖于基本权正整数倍的局限性，通过 Lusztig 的通用 Bruhat 序，实现了对任意零权极大积分权的完整描述。

ABSTRACT

We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. This result can be thought of as a full generalization of our previous result (which uses Littelmann's Lakshmibai-Seshadri paths), in which the level-zero dominant integral weight is assumed to be a positive-integer multiple of a level-zero fundamental weight.

研究动机与目标

• 克服以往 LS 路径模型的局限性，即仅适用于正整数倍基本权的零权权重。
• 为任意零权极大积分权重的极端权模提供晶体基的完整组合实现。
• 建立基于仿射 Weyl 群上半无限 Bruhat 序（等价于 Lusztig 的通用 Bruhat 序）的一般框架。
• 将晶体同构结果 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$ 扩展至所有零权极大积分权重 $\lambda = \sum m_i\varpi_i$。
• 在量子仿射代数的背景下，统一并推广先前使用路径模型研究极端模晶体基的结果。

提出的方法

• 本文在仿射 Weyl 群 $W_{\mathrm{af}}$ 上定义了半无限 LS 路径，使用半无限 Bruhat 序替代 Littelmann 的 LS 路径模型中使用的标准 Bruhat 序。
• 引入了 $W_{\mathrm{af}}$ 上的长度函数 $\ell^{\frac{\infty}{2}}_J(x)$，通过在 $t_{n\xi}$ 作用下大 $n$ 时的渐近行为来刻画半无限 Bruhat 序。
• 该构造依赖于分解 $x = wz_\xi t_\xi$，其中 $w \in W^J$，$\xi \in Q^{\vee,\text{J-ad}}$，并利用投影 $\Pi^J(x)$ 定义序结构。
• 半无限 LS 路径集合上的晶体结构通过半无限 Bruhat 序定义，边关系由条件 $x \xrightarrow{\beta} y$ 若 $y = \Pi^J(r_\beta x)$，$\ell^{\frac{\infty}{2}}_J(r_\beta x) = \ell^{\frac{\infty}{2}}_J(x)+1$，且 $\beta = w\gamma + n\delta$，$n \in \{0,1\}$ 来刻画。
• 本文证明了形状为 $\lambda = \sum m_i\varpi_i$ 的半无限 LS 路径集合构成一个与 $\mathcal{B}(\lambda)$ 同构的晶体，利用同构 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$。
• 通过对偶性 $x \leq_{\frac{\infty}{2}} y \Leftrightarrow y^{-1} \leq_L x^{-1}$ 建立了半无限 Bruhat 序与 Lusztig 的通用 Bruhat 序之间的等价性。

实验结果

研究问题

• RQ1 能否使用路径模型，组合地实现任意零权极大积分权重的极端权模的晶体基？
• RQ2 为何 Littelmann 的 LS 路径模型无法实现一般零权极大积分权重的晶体基？
• RQ3 如何利用仿射 Weyl 群上的半无限 Bruhat 序来定义极端模的广义路径模型？
• RQ4 是否存在一种方法，能通过单一路径模型框架统一极端模零权权重的晶体结构？
• RQ5 在仿射 Weyl 群的背景下，半无限 Bruhat 序与 Lusztig 的通用 Bruhat 序之间的确切关系是什么？

主要发现

• 本文通过仿射 Weyl 群上的半无限 Bruhat 序，构造了一类新的路径模型——半无限 LS 路径，将 Littelmann 的 LS 路径模型推广至所有零权极大积分权重。
• 证明了形状为 $\lambda = \sum_{i\in I} m_i\varpi_i$ 的半无限 LS 路径集合构成一个与 $\mathcal{B}(\lambda)$ 同构的晶体，从而为任意零权极端权模提供了晶体基的完整组合实现。
• 通过路径模型实现了同构 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$，扩展了以往仅限于 $m_i \in \mathbb{Z}_{\geq 1}$ 的结果。
• 通过 $x \leq_{\frac{\infty}{2}} y$ 当且仅当 $y^{-1} \leq_L x^{-1}$ 的对偶性，建立了半无限 Bruhat 序与 Lusztig 的通用 Bruhat 序之间的对偶关系，将两者通过取逆联系起来。
• 晶体图中的边关系由三个条件刻画：$y = \Pi^J(r_\beta x)$，$\ell^{\frac{\infty}{2}}_J(r_\beta x) = \ell^{\frac{\infty}{2}}_J(x)+1$，且 $\beta = w\gamma + n\delta$，$n \in \{0,1\}$，从而提供了晶体结构的显式算法描述。
• 该构造适用于非扭仿射李代数，且该模型完全推广了以往局限于正整数倍基本权的成果。