Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties

Abstract

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the character of the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to ωXG(t), where XG(t) is the chromatic quasisymmetric function of the incomparability graph G of the corresponding natural unit interval order, and ω is the usual involution on symmetric functions. We prove the Shareshian–Wachs conjecture.Our proof uses the local invariant cycle theorem of Beilinson–Bernstein–Deligne to obtain a surjection, which we call the local invariant cycle map, from the cohomology of a regular Hessenberg variety of Jordan type λ to a space of local invariant cycles. As λ ranges over all partitions, the local invariant cycles collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. We then prove a result showing that, under suitable hypotheses, the local invariant cycle map is an isomorphism if and only if the special fiber has palindromic cohomology. (This is a general theorem, which is independent of the Hessenberg variety context.) Applying this result to the universal family of Hessenberg varieties, we show that, in our case, the surjections are actually isomorphisms, thus reducing the Shareshian–Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko, and, using a new reciprocity theorem for certain quasisymmetric functions, we show that Tymoczko's description coincides with the combinatorics of the chromatic quasisymmetric function.