[论文解读] PBW filtration and bases for irreducible modules in type $A_n$

Evgeny Feigin, Ghislain Fourier+1 more|arXiv (Cornell University)|Feb 3, 2010

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

一句话总结

本文通过PBW滤子，引入了不可约$\frak{sl}_{n+1}$-模的组合基，利用Dyck路径多面体构造了关联分次模$grV(\theta)$的单项式基。关键结果是构造了一类新的$V(\theta)$的基，其指标为多面体$P(\theta)$中的整点，从而得到一个分次特征标公式，并证明了Vinberg在2005年关于类型$A_n$的单项式基的猜想。该构造提供了组合特征标公式，并通过$\frak{n}^+$-作用确定了$S(\frak{n}^-)$中的零化理想$I(\theta)$。

ABSTRACT

We study the PBW filtration on the highest weight representations $V(\la)$ of $\msl_{n+1}$. This filtration is induced by the standard degree filtration on $U( ^-)$. We give a description of the associated graded $S( ^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial character formula for $V(\la)$, and we obtain a new class of bases of the modules $V(\la)$ conjectured by Vinberg in 2005.

研究动机与目标

• 描述在PBW滤子下不可约$\frak{sl}_{n+1}$-模的关联分次模$grV(\lambda)$的结构。
• 通过由路径约束定义的多面体$P(\lambda)$，利用Dyck路径构造$grV(\lambda)$的显式单项式基。
• 证明Vinberg在2005年关于$V(\lambda)$存在具有相同指标集的单项式基的猜想。
• 利用基中单项式的次数，推导$V(\lambda)$的分次特征标公式。
• 将$S(\frak{n}^-)$中的零化理想$I(\lambda)$识别为由$\frak{n}^+$-作用在$f_\alpha^{(\lambda,\alpha)+1}$上生成的$S(\frak{n}^-)$-模。

提出的方法

• 通过$U(\frak{n}^-)$上的次数滤子在$V(\lambda)$上诱导PBW滤子，从而在$V(\lambda)$上诱导滤子，并得到分次模$grV(\lambda) \simeq S(\frak{n}^-)/I(\lambda)$。
• 引入Dyck路径作为满足递归邻接规则的正根序列，用于在多面体$P(\lambda)$中定义路径相关的不等式。
• 将多面体$P(\lambda)$定义为满足如下条件的非负实数元组$(r_\alpha)$的集合：对每条Dyck路径$\bf p$，其路径上根指标的和$\sum r_{\beta(i)} \leq \sum m_i$。
• 通过$P(\lambda)$中的整点$\bf s$取值，构造$grV(\lambda)$的基，形式为$f^{\bf s}v_\lambda$，并利用归纳法证明其线性无关性和张成性。
• 利用$\frak{n}^+$在$grV(\lambda)$上的作用，将理想$I(\lambda)$刻画为$S(\frak{n}^-) \cdot (\frak{U}(\frak{n}^+) \circ \mathrm{span}\{f_\alpha^{(\lambda,\alpha)+1}\})$，从而证明定理A。
• 利用基中单项式的次数，建立分次特征标公式$\mathrm{char}_q(V(\lambda)) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})} q^{\deg({\bf s})}$。

实验结果

研究问题

• RQ1 在$\frak{sl}_{n+1}$的PBW滤子下，关联分次模$grV(\lambda)$的结构是什么？
• RQ2 能否利用Dyck路径和多面体等组合数据，构造$grV(\lambda)$的单项式基？
• RQ3 多面体$P(\lambda)$中的整点集是否能作为$V(\lambda)$的基的指标集，从而证明Vinberg在2005年的猜想？
• RQ4 在$S(\frak{n}^-)$中，循环模$grV(\lambda)$的零化理想$I(\lambda)$是什么？
• RQ5 能否从$grV(\lambda)$中的单项式基推导出$V(\lambda)$的分次特征标公式？

主要发现

• 当$\bf s$遍历多面体$P(\lambda)$中的整点时，单项式$f^{\bf s}v_\lambda$构成$grV(\lambda)$的基，从而确立了定理B。
• 模$V(\lambda)$的维数等于$P(\lambda)$中整点的个数，即$\dim V(\lambda) = \sharp S(\lambda)$，如推论1.5所示。
• 模$V(\lambda)$的特征标为$\mathrm{char}\, V(\lambda) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})}$，提供了一个组合特征标公式。
• 模$V(\lambda)$的分次特征标为$\mathrm{char}_q(V(\lambda)) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})} q^{\deg({\bf s})}$，其中$\deg({\bf s}) = \sum s_{j,k}$。
• $S(\frak{n}^-)$中的零化理想$I(\lambda)$可表示为$S(\frak{n}^-) \cdot (\frak{U}(\frak{n}^+) \circ \mathrm{span}\{f_\alpha^{(\lambda,\alpha)+1}\})$，从而证明了定理A。
• 集合$S(\lambda)$满足$S(\lambda) + S(\mu) = S(\lambda + \mu)$，表明其与张量积分解相容。