[论文解读] Fermionic form and Betti numbers

G. Lusztig|ArXiv.org|May 1, 2000

Algebraic structures and combinatorial models参考文献 9被引用 17

一句话总结

本文猜想 fermionic 形式 $ M(u,\lambda,q) $（表示论重数的 $ q $-类比）与 $ ADE $ 型预投射代数的拉格朗日向量 quiver 簇的贝蒂数之间存在深刻联系。证明了在 $ q \to q^{-1} $ 对偶下，贝蒂数的生成函数与 fermionic 形式一致，从而为预投射代数上的格拉斯曼簇上同调提供了组合公式。

ABSTRACT

We state a conjectural relationship between the fermionic form (G. Hatayama, A. Kuniba, M. Okado, T. Takagi, Y. Yamada qa/9812022) and the Betti numbers of a Grassmannian over a preprojective algebra or, equivalently, of a lagrangian quiver variety.

研究动机与目标

• 建立 fermionic 形式 $ M(\nu,\lambda,q) $ 与 $ ADE $ 型预投射代数的拉格朗日向量 quiver 簇的贝蒂数之间的猜想关系。
• 证明格拉斯曼簇 $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ 的贝蒂数生成函数等于包含 $ M(\nu,\lambda,q) $ 的 $ q $-变形特征和。
• 证明该生成函数的常数项为 1，从而在 $ (\xi:V_\nu) \neq 0 $ 时表明该簇是连通的，这是关键的拓扑性质。
• 证明上同调生成函数的次数与格拉斯曼簇的维数一致，从而与已知的几何结果保持一致。

提出的方法

• 通过满足 $ \nu = \omega_0 > \omega_1 > \cdots = \lambda $ 的主权序列 $ \omega = \{\omega_k\} $ 重写 fermionic 形式 $ M(\nu,\lambda,q) $，其中 $ \mu_k = \omega_{k-1} - 2\omega_k + \omega_{k+1} \geq 0 $。
• 定义指数 $ c(\omega) = \frac{1}{2}\sum_{k \geq 1}(X_k,X_k) - (\nu,X_1) $，其中 $ X_k = \omega_{k-1} - \omega_k $，构成生成函数中的 $ q $-权。
• 利用 $ \mathbb{C}^* $-作用于格拉斯曼簇 $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $，通过其不动点集 $ \text{Grass}'_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ 将上同调与 fermionic 形式联系起来。
• 证明该猜想在 $ q \to q^{-1} $ 下等价于涉及欧拉示性数和 $ M(\nu,\lambda,q^{-1}) $ 的公式，从而将表示论与拓扑联系起来。
• 证明依赖于 $ W $-不变性、内积的正性以及 $ q $-多项式的次数分析，从而确立 $ M(\nu,\lambda,q) \in \mathbb{N}[q^{-1}] $。
• 通过已知的 $ q $-二项式系数结果验证了 $ A_1 $ 情形，提供了自洽性检查。

实验结果

研究问题

• RQ1 fermionic 形式 $ M(\nu,\lambda,q) $ 是否计算了与 $ ADE $ 型预投射代数相关的拉格朗日向量 quiver 簇的贝蒂数？
• RQ2 格拉斯曼簇 $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ 的贝蒂数生成函数是否等于 $ \sum_{\lambda \in P^+} (\xi:V_\lambda) M(\nu,\lambda,q) $？
• RQ3 能否证明该生成函数的常数项为 1，从而在 $ (\xi:V_\nu) \neq 0 $ 时推出格拉斯曼簇的连通性？
• RQ4 该生成函数的次数是否与预期维数 $ (\nu,\nu)/2 - (\xi,\xi)/2 $ 一致？
• RQ5 该猜想是否等价于 fermionic 形式上的 $ q \to q^{-1} $ 对偶关系，如 Conjecture B 所形式化？

主要发现

• 通过分析指数 $ c(\omega) $ 和 $ q $-二项式乘积的次数，证明了 fermionic 形式 $ M(\nu,\lambda,q) $ 属于 $ \mathbb{N}[q^{-1}] $。
• 当 $ \xi = \lambda $ 时，$ \sum_{\lambda} (\xi:V_\lambda) M(\nu,\lambda,q) $ 的常数项为 1，当 $ \lambda \neq \xi $ 时为 0，表明当 $ (\xi:V_\nu) \neq 0 $ 时 $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ 是连通的。
• 上同调生成函数的次数为 $ (\nu,\nu)/2 - (\xi,\xi)/2 $，与格拉斯曼簇的预期维数一致。
• 该猜想意味着欧拉示性数 $ \chi(\text{Grass}_{\mathbb{P}}(\mathbb{D}^\dag)) = \sum_{\lambda} \dim(V_\lambda) M(\nu,\lambda,1) $，从而将拓扑与表示论联系起来。
• Conjecture B（将 $ \mathbb{C}^* $-不动点上同调与 $ M(\nu,\lambda,q^{-1}) $ 关联）被证明与 Conjecture A 等价。
• 在 $ A_1 $ 情形下已验证：左边为 $ q $-二项式系数，右边与已知求值结果一致，从而在该情形下确认了该猜想。