[论文解读] Affine Springer fibers of type A and combinatorics of diagonal coinvariants

Tatsuyuki Hikita|arXiv (Cornell University)|Mar 27, 2012

Algebraic structures and combinatorial models参考文献 7被引用 11

一句话总结

本文通过类型 $A$ 的正则半单幂零椭圆元素相关的仿射施普林格纤维的布雷尔-莫尔同调，建立了组合对称函数 $D^{u}_n(z;q)$ 的几何实现——该函数是 $q,t$-Catalan 和对角余不变量猜想的核心内容。证明了这些同调模的双分次弗罗贝尼乌斯级数与 $q$-变形的舒尔函数匹配，从而提供了 $D^{u}_n(z;q)$ 舒尔正性的新几何证明，并验证了哈格伦德等人关于对角余不变量环弗罗贝尼乌斯级数组合展开的猜想。

ABSTRACT

We calculate the Borel-Moore homology of affine Springer fibers of type $A$ associated to some regular semisimple nil elliptic elements. As a result, we obtain bigraded $\mf{S}_{n}$-modules whose bigraded Frobenius series are generalization of the symmetric functions introduced by Haglund, Haiman, Loehr, Remmel, and Ulyanov.

研究动机与目标

• 为哈格伦德、海曼、洛赫、雷梅尔和乌里亚诺夫在对角余不变量背景下引入的对称函数 $D^\\nu_n(z;q)$ 提供几何解释。
• 建立类型 $A$ 的仿射施普林格纤维的布雷尔-莫尔同调与 $q,t$-Catalan 多项式组合学之间的联系。
• 通过几何表示论证明 $D^\\nu_n(z;q)$ 的舒尔正性，为对角余不变量理论中的一个猜想提供新证明。
• 使用几何方法验证对角余不变量环 $DR_n$ 的双分次弗罗贝尼乌斯级数的猜想性组合公式。

提出的方法

• 本文研究了 $\mathfrak{sl}_n(\mathbb{C})[[\epsilon]]$ 中一个正则半单幂零椭圆元素 $v$ 对应的仿射施普林格纤维 $\hat{\mathcal{B}}_v$，利用包含 $v$ 的伊瓦霍里子代数。
• 它在投影 $\pi: \hat{\mathcal{B}} \to X$ 下的像 $X_v \subset \text{Gr}_{SL_n}$ 上构造了一个仿射铺砌，其胞腔由满足 $\lambda \subset \delta_n$ 的分拆参数化。
• 证明了 $\pi^{-1}(C_{\lambda})$ 的布雷尔-莫尔同调携带一个双分次 $\mathfrak{S}_n$-模结构，其弗罗贝尼乌斯级数与 $D^\\nu_n(z;q)$ 相关。
• 关键技术步骤涉及通过根系数据和仿射根上的威尔群作用，对半标准表中的 $d$-反序数进行计数。
• 证明利用了仿射铺砌结构，以及 $\mathfrak{S}_n$-作用与同调分次的相容性，从而在 $H^{BM}_*(\hat{\mathcal{B}}_v)$ 上定义了一个滤子。
• 主要结果通过将弗罗贝尼乌斯级数与霍尔-利特尔伍德对称函数配对，并利用 $\omega$-对偶性和 $q$-变形与组合公式进行比较而得出。

实验结果

研究问题

• RQ1 如何对组合对称函数 $D^\\nu_n(z;q)$（该函数被猜想为对角余不变量环弗罗贝尼乌斯级数的展开）进行几何实现？
• RQ2 类型 $A$ 的仿射施普林格纤维的布雷尔-莫尔同调与 $q,t$-Catalan 组合学之间的确切关系是什么？
• RQ3 能否通过几何表示论而非 LLT 多项式来建立 $D^\\nu_n(z;q)$ 的舒尔正性？
• RQ4 仿射施普林格纤维同调的双分次弗罗贝尼乌斯级数是否与 $DR_n$ 的猜想公式之 $q$-变形相匹配？
• RQ5 半标准表中 $d$-反序数如何对应于仿射威爾群中的根系数据？

主要发现

• 仿射施普林格纤维 $\hat{\mathcal{B}}_v$ 的布雷尔-莫尔同调的双分次弗罗贝尼乌斯级数为 $q^{m\binom{n}{2} + \frac{(n-1)(b-1)}{2}} \omega D_n(z; q^{-1}, t)$，从而与对角余不变量环建立了直接联系。
• 每个胞腔 $\pi^{-1}(C_{\lambda})$ 的同调携带一个双分次 $\mathfrak{S}_n$-模结构，其弗罗贝尼乌斯级数为 $q^{m\binom{n}{2} + \frac{(n-1)(b-1)}{2}} \omega D^\lambda(z; q^{-1})$，从而证明了 $D^\lambda(z;q)$ 的舒尔正性。
• 半标准表 $T$（形状为 $\lambda + (1^n)/\lambda$）中的 $d$-反序数恰好等于仿射根系中满足特定整数性和正性条件的负根 $\alpha$ 的数量。
• 仿射铺砌 $X_v$ 在 $H^{BM}_*(\hat{\mathcal{B}}_v)$ 上诱导了一个滤子，使得其分次模的弗罗贝尼乌斯级数与 $q,t$-变形的猜想公式相匹配。
• 证明依赖于 $D^\lambda(z;q)$ 的对称性，该对称性通过 $\mathfrak{S}_n$-不变量和 $\omega$-对偶性得到确认。
• 该结果为 $D^\lambda(z;q)$ 的舒尔正性提供了新的几何证明，独立于原始猜想证明中使用的 LLT 多项式理论。