[论文解读] Defining relations of fusion products and Schur positivity

Katsuyuki Naoi|arXiv (Cornell University)|Apr 1, 2015

Advanced Combinatorial Mathematics参考文献 12被引用 3

一句话总结

本文为当前代数 $σffiα[t]$ 上 $σ$-扭 $σ$-稳定模的融合积建立了定义关系，推广了此前 $σ=1$ 时的结果。证明了此类融合积同构于由生成元与关系定义的模，并在分拆支配关系成立时，建立了融合积之间的满同态——提供了当前代数版本的舒尔正性。

ABSTRACT

In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity.

研究动机与目标

• 确定 $σ$-扭 $σ$-稳定模在 $σffiα[t]$ 上融合积的显式定义关系。
• 将有限维 $σffiα$-模中的舒尔正性现象推广至当前代数模。
• 在 $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ 对所有 $i$ 成立时，建立融合积 $V_m(\bm{\ell})$ 与 $V_m(\bm{r})$ 之间的满同态。
• 提供经典克莱布什-戈尔丹分解与张量积中舒尔正性的当前代数类比。

提出的方法

• 将融合积 $V_m(\bm{\ell})$ 实现为仿射李代数 $\widehat{{\mathfrak{g}}}$ 上模的 ${\mathfrak{g}}[t]$-子模。
• 利用 [Nao12] 的实现方法，通过 $\tau$-平移根向量的作用递归确定定义关系。
• 应用 [Nao13] 的方法分析 $\widehat{{\mathfrak{n}}}_+$ 作用下循环向量的零化子，利用 $\tau$-共轭关系联系 $U(\widehat{{\mathfrak{n}}}_+)$ 中的理想。
• 利用 $\tau$-作用将生成元 $f_\alpha \otimes t^s$ 和 $e_\alpha \otimes t$ 与扭结构关联，特别针对满足 $\langle h_\alpha, \varpi_m \rangle = 1$ 的根。
• 利用 $\sigma$-扭作用将模 $V(q,0)$ 定义为包含 $\mathbb{C}_{(\ell_q - \ell_{q+1})(\varpi_m + \Lambda_0)}$ 和一个平移模的张量积。
• 应用自同构 $\tau \circ \Phi_\sigma$ 将 $e_\alpha^{(s-r)}(f_\alpha \otimes t)^{(s)}$ 与生成元 ${}_1f_\alpha(r,s)$ 关联，证明在零化子理想中包含关系。

实验结果

研究问题

• RQ1 对于 $\mathfrak{sl}_{n+1}[t]$-模，其最高权为基本权的倍数时，融合积 $V_m(\bm{\ell})$ 的定义关系是什么？
• RQ2 当分拆支配条件成立时，能否在两个此类融合积之间构造一个满同态 ${\mathfrak{g}}[t]$-模同态？
• RQ3 是否存在当前代数版本的舒尔正性，即特征标之差为非负舒尔函数之和？
• RQ4 $\sigma$-扭模结构如何与当前代数作用相互作用，以决定定义关系？
• RQ5 在仿射实现中，循环向量的零化子能否显式地用生成元与关系描述？

主要发现

• 融合积 $V_m(\bm{\ell})$ 同构于由满足特定关系的向量 $v$ 生成的 ${\mathfrak{g}}[t]$-模，关系涉及 $\mathfrak{n}_+[t]$、$h \otimes t^s$ 以及 $f_\alpha \otimes \mathbb{C}[t]$。
• 定义关系包括：对满足 $\langle h_\alpha, \varpi_m \rangle = 1$ 的正根 $\alpha$，有 $f_\alpha^{L_1+1}v = 0$；在条件 $s + r \geq 1 + kr + L_{k+1}$ 下，有 $ (e_\alpha \otimes t)^s f_\alpha^{r+s}v = 0 $。
• 当对所有 $1 \leq i \leq p$ 都有 $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ 时，存在从 $V_m(\bm{\ell})$ 到 $V_m(\bm{r})$ 的满同态 ${\mathfrak{g}}[t]$-模同态，将舒尔正性推广至当前代数情形。
• 在仿射实现中，循环向量 $v_{q,0}$ 的零化子被证明等于 $\mathcal{I}(q,0)$，通过 $\tau$-共轭确认了定义关系。
• 证明依赖于证明 $\tau(\mathcal{I}(q+1, \ell(\sigma))) = \mathcal{I}(q,0)$，这与所需的零化子理想一致。
• 结果确认融合积结构完全由分拆 $\bm{\ell}$ 和权 $\varpi_m$ 决定，关系编码了支配序。