[论文解读] Fermionic forms and quiver varieties

Sergey Mozgovoy|ArXiv.org|Oct 2, 2006

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

一句话总结

本文建立了有限A型、D型、E型quiver的fermionic形式与Nakajima的quiver variety的Poincaré多项式之间的精确联系。通过组合生成函数及cohomology上Weyl群作用的性质，证明了Kirillov-Reshetikhin猜想的$q$-模拟，通过将Poincaré多项式生成函数与包含Verma模的fermionic形式关联，证实了Lusztig的fermionic猜想的一个版本。

ABSTRACT

We prove a formula relating the fermionic forms and the Poincare polynomials of quiver varieties associated to a finite quiver. Applied to quivers of type ADE, our result implies a version of the fermionic conjecture of Lusztig.

研究动机与目标

• 建立fermionic形式与有限quiver相关联的quiver variety的Poincaré多项式之间的精确关系。
• 证明A型、D型、E型quiver的Kirillov-Reshetikhin猜想的$q$-模拟。
• 通过使用Verma模而非不可约模，验证Lusztig的fermionic猜想的修改版本。
• 证明fermionic形式$n(\nu,\lambda,q)$满足Weyl群对称性：$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$。
• 通过生成函数与$q$-二项式系数，建立组合框架，将表示论不变量与quiver variety的几何不变量关联。

提出的方法

• 本文通过$q$-二项式系数与根 lattice 数据引入fermionic形式$m(\nu,\lambda,q)$与$n(\nu,\lambda,q)$，其中$n(\nu,\lambda,q)$的定义不施加正性约束。
• 采用Hausel公式表达quiver variety的Poincaré多项式生成函数，以$x_i$与$y_i$的形式幂级数表示。
• 证明了一个关键的组合恒等式：$s(\nu) = s \cdot S_\nu \overline{s}$，其中$s$为生成函数，$S_\nu$为平移算子，将fermionic形式与quiver variety的几何联系起来。
• 利用环同态$\Phi_\nu$将生成函数$s(\nu)$与$r(\nu)$与fermionic形式$n(\nu,q^{-1})$关联。
• 应用quiver variety上cohomology的Weyl群作用，推导出对称性$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$。
• 最后一步利用：对于A型、D型、E型quiver，$a$-多项式$a(q)$与$q$无关，从而得到$r(0,q)r(0,q^{-1}) = 1/m$，其中$m$为正根的乘积。

实验结果

研究问题

• RQ1 A型、D型、E型quiver的fermionic形式$n(\nu,\lambda,q)$与Nakajima的quiver variety的Poincaré多项式有何关系？
• RQ2 Poincaré多项式生成函数是否可表达为包含Verma模的fermionic形式？
• RQ3 fermionic形式的Weyl群对称性能否从quiver variety的几何性质中导出？
• RQ4 是否存在一个适用于quiver variety的fermionic形式的Kirillov-Reshetikhin猜想的$q$-模拟？
• RQ5 生成函数$s(\nu)$与$r(\nu)$和fermionic形式$n(\nu,\lambda,q)$之间的确切关系是什么？

主要发现

• 本文证明：对任意$\nu \in P_+$，Poincaré多项式生成系列满足$\sum_{\alpha \in Q_+} q^{-d(\alpha,\nu)} P(\mathcal{M}(\alpha,\nu),q) e^{\nu - \alpha} = \sum_{\lambda \in P} n(\nu,\lambda,q^{-1}) \operatorname{ch} M(\lambda)$，从而确认了Kirillov-Reshetikhin猜想的$q$-模拟。
• 对于A型、D型、E型quiver，$a$-多项式$a(q)$与$q$无关，因此$r(0,q)r(0,q^{-1}) = 1/m$，其中$m = \prod_{\alpha \in \Delta_+} (1 - x^\alpha)^{-1}$。
• fermionic形式$n(\nu,\lambda,q)$满足Weyl群对称性$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$，该性质与quiver variety上cohomology的Weyl群作用一致。
• 恒等式$s(\nu) = s \cdot S_\nu \overline{s}$被确立为连接生成函数与fermionic形式的关键组合工具。
• 证明了$n(\nu,q^{-1}) = r(\nu,q) / (r(0,q) r(0,q^{-1}))$，且由于$r(0,q)r(0,q^{-1}) = 1/m$，可得$n(\nu,q^{-1}) = m \cdot r(\nu,q)$，从而将fermionic形式与Verma模的特征函数关联。
• 该结果表明，Poincaré多项式生成函数等于$m \sum_{\lambda \in P} n(\nu,\lambda,q) e^{\lambda - \nu}$，且因$\operatorname{ch} M(\lambda) = e^\lambda m$，可推出定理1.1中的最终恒等式。