[论文解读] Fusion products, cohomology of GL(N) flag manifolds and Kostka polynomials

Rinat Kedem|ArXiv.org|Dec 29, 2003

Advanced Algebra and Geometry参考文献 6被引用 10

一句话总结

本文建立了 $\mathfrak{sl}_n$ 的对称幂表示的融合积与 $GL_N$ 的旗流形 $\mathcal{F}l_{\mu'}$ 的上同调环之间的精确对应关系，表明在融合积分解中的分次重数空间同构于上同调环中的 Specht 模重数空间。关键结果是，在此设定下，Kostka 多项式给出了融合积的分次特征标，且当 $N \to \infty$ 时，该对应关系极限地联系到约化楔积与 $\widehat{\mathfrak{sl}}_n$-模。证明依赖于 Schur-Weyl 对偶性以及 Garsia-Procesi 对坐标环 $R_\mu$ 的构造。因此，通过这种几何与表示论的识别，融合积的特征标被证明为 Kostka 多项式。

ABSTRACT

This paper explains the relation between the fusion product of symmetric power sl(n) evaluation modules, as defined by Feigin and Loktev, and the graded coordinate ring R(mu), which describes the cohomology ring of the flag variety Fl(mu) of GL(N). The graded multiplicity spaces appearing in the decomposition of the fusion product into irreducible sl(n)-modules are identified with the multiplicity spaces of the Specht modules in R(mu). This proves that the Kostka polynomial gives the character of the fusion product in this case. In the case of the product of fundamental evaluation modules, we give the precise correspondence with the reduced wedge product, and thus the usual wedge space construction of irreducible level-1 ^sl(n)-modules in the limit N->infty. The multiplicity spaces are W(sl(n))-algebra modules in this limit.

研究动机与目标

• 建立 $\mathfrak{sl}_n$ 的对称幂表示的融合积与 $GL_N$ 的旗流形 $\mathcal{F}l_{\mu'}$ 的上同调环之间的表示论与几何联系。
• 将融合积分解中的分次重数空间与上同调环 $R_\mu$ 中的 Specht 模重数空间相联系。
• 证明在对称幂表示的情形下，Kostka 多项式计算了融合积的分次特征标。
• 阐明融合积与 $N \to \infty$ 时的约化楔积构造及一级 $\widehat{\mathfrak{sl}}_n$-模之间的联系。
• 表明融合积分解中的重数空间在无穷极限下具有 $W(\mathfrak{sl}_n)$-代数模的结构。

提出的方法

• 利用 Feigin-Loktev 融合积构造，该构造在评价模的张量积上引入了 $\mathfrak{g}$-等变分次。
• 应用 Schur-Weyl 对偶性，将 $\pi^{\otimes N}$ 上的对称群作用与不可约 $\mathfrak{sl}_n$-模的分解联系起来。
• 使用 Garsia-Procesi 对环 $R_\mu$ 的构造，即 $\mathbb{C}[z_1, \dots, z_N]$ 关于在点 $\mathcal{X}$ 的 $S_N$-轨道上消失的理想之商，且满足 $R_\mu \simeq A_\mu$ 作为 $S_N$-模。
• 通过同构 $\mathrm{gr}(\pi^{\otimes N} \otimes A_\mu)^{S_N} \simeq \mathcal{F}_\mu^*$，将 $R_\mu$ 中的分次重数空间 $M_{\lambda,\mu}$ 与融合积中的重数空间相联系。
• 依赖于 $R_\mu$ 同构于旗流形 $\mathcal{F}l_{\mu'}$ 的上同调环，且其分次重数由 Kostka 多项式给出的事实。
• 分析 $N \to \infty$ 的极限，以将融合积与约化楔积及一级 $\widehat{\mathfrak{sl}}_n$-模的标准构造联系起来。

实验结果

研究问题

• RQ1 对称幂 $\mathfrak{sl}_n$ 评价模的融合积如何与 $GL_N$ 旗流形的上同调相关？
• RQ2 Kostka 多项式能否被解释为对称幂情形下融合积的分次特征标？
• RQ3 Schur-Weyl 对偶性在将融合积与 $R_\mu$ 的 $S_N$-模结构联系起来时起何作用？
• RQ4 在 $N \to \infty$ 极限下，融合积如何与 $\widehat{\mathfrak{sl}}_n$-模的约化楔积构造相关？
• RQ5 融合积分解中的重数空间具有何种代数结构？

主要发现

• 对称幂 $\mathfrak{sl}_n$ 评价模的融合积 $\mathcal{F}_\mu^*$ 作为分次 $\mathfrak{sl}_n$-模，同构于 $\bigoplus_{\lambda \vdash N, \ell(\lambda) \leq n} \pi_\lambda \otimes M_{\lambda,\mu}$。
• 融合积分解中的重数空间 $M_{\lambda,\mu}$ 同构于旗流形 $\mathcal{F}l_{\mu'}$ 的上同调环 $R_\mu$ 中的 Specht 模重数空间。
• 融合积的分次特征标由 $\mathrm{ch}_q \mathcal{F}_\mu^* = \sum_{\lambda \vdash N, \ell(\lambda) \leq n} \mathrm{ch}\, \pi_\lambda \cdot \widetilde{K}_{\lambda,\mu}(q)$ 给出，其中 $\widetilde{K}_{\lambda,\mu}(q)$ 为 Kostka 多项式。
• 环 $R_\mu$ 同构于 $\mathcal{F}l_{\mu'}$ 的上同调环，且其 $S_N$-模分解为 $R_\mu \simeq \bigoplus_{\lambda} W_\lambda \otimes M_{\lambda,\mu}$，其中 $M_{\lambda,\mu}$ 为分次模。
• 在极限 $N \to \infty$ 时，基本表示的融合积对应于约化楔积，且重数空间成为 $W(\mathfrak{sl}_n)$-代数模。
• 在 $\pi^{\otimes N} \otimes A_\mu$ 的 $S_N$-不变子空间的分次化空间同构于融合积 $\mathcal{F}_\mu^*$，且该同构与分次和 $\mathfrak{sl}_n$-作用相容。