[论文解读] From Poset Topology to $q$-Eulerian Polynomials to Stanley's Chromatic Symmetric Functions

John Shareshian, Michelle L. Wachs|arXiv (Cornell University)|May 13, 2015

Advanced Combinatorial Mathematics参考文献 69被引用 6

一句话总结

本文通过引入色数对称函数的拟对称精化，建立了偏序集拓扑、$q$-Eulerian多项式与Stanley的色数对称函数之间的深刻联系。作者利用对称函数恒等式与稳定主特殊化，推导出Euler关于Eulerian多项式的指数生成函数的$q$-模拟，并通过硬Lefschetz定理证明其$q$-unimodality。关键贡献是提出一个猜想，将单位区间序的色数拟对称函数与正则半单Hessenberg簇的上同调联系起来，该猜想若成立，将蕴含Schur-positivity与unimodality，并可能解决Stanley的e-positivity猜想。

ABSTRACT

In recent years we have worked on a project involving poset topology, various analogues of Eulerian polynomials, and a refinement of Richard Stanley's chromatic symmetric function. Here we discuss how Stanley's ideas and results have influenced and inspired our own work.

研究动机与目标

• 将Stanley的色数对称函数扩展为一种包含拟对称函数与参数$t$的拟对称精化，以捕捉更丰富的组合与拓扑结构。
• 利用对称函数恒等式与稳定主特殊化，推导出Euler关于Eulerian多项式的指数生成函数的$q$-模拟。
• 通过硬Lefschetz定理证明所得$q$-Eulerian多项式的$q$-unimodality。
• 猜想色数拟对称函数可几何实现为正则半单Hessenberg簇上同调的Frobenius特征。
• 为证明单位区间序的Stanley e-positivity与e-unimodality猜想提供一条路径。

提出的方法

• 通过对称函数的稳定主特殊化，推导出Euler关于Eulerian多项式的指数生成函数的$q$-模拟。
• 利用字典序壳化理论与偏序集的边标记法，将偏序集拓扑与排列计数联系起来。
• 定义色数拟对称函数$X_{\text{inc}(P)}(\mathbf{x};t)$，其系数为拟对称函数，当$P$为单位区间序时，其系数为对称函数。
• 通过Frobenius特征将色数拟对称函数与正则半单Hessenberg簇的上同调联系起来。
• 应用GKM理论与环作用，构造Hessenberg簇上同调上的$\mathfrak{S}_n$-表示。
• 猜想该表示的Frobenius特征等于色数拟对称函数，从而在代数组合学与代数几何之间建立联系。

实验结果

研究问题

• RQ1 如何将Stanley的色数对称函数精化为包含拟对称函数与参数$t$的形式，以捕捉更精细的组合数据？
• RQ2 Euler关于Eulerian多项式的指数生成函数的$q$-模拟是什么？它与对称函数及偏序集拓扑有何关系？
• RQ3 能否通过几何或表示论方法证明$q$-Eulerian多项式的$q$-unimodality？
• RQ4 单位区间序的不可比图的色数拟对称函数是否等于正则半单Hessenberg簇上同调的Frobenius特征？
• RQ5 所猜想的色数拟对称函数的几何实现是否蕴含Schur-positivity与unimodality，从而有助于解决Stanley的e-positivity猜想？

主要发现

• 作者通过稳定主特殊化构造了Euler关于Eulerian多项式的指数生成函数的$q$-模拟，其中涉及maj指数与超越数。
• 所得$q$-Eulerian多项式被证明为$q$-unimodal，该结果由Hessenberg簇上同调上的硬Lefschetz定理支持。
• 色数拟对称函数$X_{\text{inc}(P)}(\mathbf{x};t)$被定义为Stanley色数对称函数的拟对称精化，当$P$为单位区间序时，其系数为对称函数。
• 对于Hessenberg向量$\mathbf{m} = (2,3,\dots,n)$，$\mathfrak{S}_n$-表示在$H^*(\mathcal{H}(\mathbf{m}))$上的Frobenius特征与$\omega X_{\text{inc}(P(\mathbf{m}))}(\mathbf{x};t)$一致，为猜想4.9提供了强有力证据。
• 猜想$\omega X_{\text{inc}(P)}(\mathbf{x};t) = \sum_j \text{ch}(H^{2j}(\mathcal{H}(\mathbf{m}))) t^j$蕴含$X_{\text{inc}(P)}(\mathbf{x};t)$的Schur-positivity与Schur-unimodality，且当$t=1$时将蕴含Stanley-Stembridge的e-positivity猜想。
• 与正则半单Hessenberg簇的联系提示了一条几何方法，可用于证明对称函数理论中的unimodality与positivity猜想。