[论文解读] The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture

Megumi Harada, Martha Precup|arXiv (Cornell University)|Sep 20, 2017

Advanced Combinatorial Mathematics参考文献 15被引用 21

一句话总结

该论文通过Tymoczko的点作用，建立了阿贝尔型正则半单Hessenberg簇上Sn-表示的归纳公式，证明了阿贝尔情形下graded Stanley-Stembridge猜想成立。关键结果是将上同调类递归地分解为更小的Hessenberg簇的组合，表明在表格表示分解中所有系数均为非负整数。

ABSTRACT

We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincaré polynomials of regular abelian Hessenberg varieties.

研究动机与目标

• 该研究旨在证明特定类Hessenberg簇的graded Stanley-Stembridge猜想。
• 问题在于证明正则半单Hessenberg簇的上同调可分解为对称群Sn的表格表示的非负组合。
• 目标是建立上同调环中Sn-表示分解系数的归纳公式。
• 研究聚焦于通过gl(n,C)中阿贝尔理想定义的阿贝尔Hessenberg簇，以实现该分解。
• 目标是通过在无环定向与汇集上运用几何与组合技术，推广Shareshian-Wachs与Teff的先前结果。

提出的方法

• 作者通过Hessenberg函数h定义阿贝尔Hessenberg簇，使得关联的理想Ih在李代数gl(n,C)中为阿贝尔。
• 他们利用Tymoczko的点作用，在正则半单Hessenberg簇的上同调上定义Sn-作用。
• 该方法依赖于根据其汇集（特别是极大汇集）对不可比图Γh的无环定向进行分解。
• 通过将Γh上的定向与子集T ∈ SK2(Γh)（即极大2-汇集集合）对应的更小图ΓhT上的定向相关联，构建归纳公式。
• 利用与每个T相关联的次数偏移deg(T)，递归计算正则阿贝尔Hessenberg簇的Poincaré多项式。
• 证明通过归纳法进行，利用若h为阿贝尔，则对每个T ∈ SK2(Γh)，其关联的hT亦为阿贝尔的性质，从而保持归纳假设。

实验结果

研究问题

• RQ1 阿贝尔型正则半单Hessenberg簇的上同调是否可分解为Sn的表格表示Mλ的非负组合？
• RQ2 能否为分解H2i(Hess(S,h)) = ∑λ⊢n cλ,i Mλ中的系数cλ,i建立归纳公式？
• RQ3 不可比图Γh中的极大汇集如何与上同调表示的结构相关联？
• RQ4 该归纳公式是否可推广至非阿贝尔情形？此类推广存在何种限制？
• RQ5 理想的高度与无环定向的结构在决定上同调表示中起何作用？

主要发现

• 该论文证明了对于阿贝尔Hessenberg簇，上同调H2i(Hess(S,h))是Sn的表格表示Mλ的非负线性组合。
• 建立了归纳公式：H2i(Hess(S,h)) = c(n),iM(n) + ∑T∈SK2(Γh) (∑μ⊢(n−2) cTμ,i−deg(T) M(μ1+1,μ2+1))，其中系数继承自更小的Hessenberg簇。
• 系数cλ,i为非负整数，从而在阿贝尔情形下确认了graded Stanley-Stembridge猜想。
• 归纳结构得以保持：若h为阿贝尔，则对每个T ∈ SK2(Γh)，hT亦为阿贝尔，从而支持归纳证明。
• 正则阿贝尔Hessenberg簇的Poincaré多项式通过与极大2-汇集相关联的次数偏移deg(T)递归计算。
• 提出一个猜想（猜想8.1），将归纳公式推广至一般Hessenberg簇，但仅能确定具有m(Γh)部分的分拆λ的系数，而非完整表示。