arXiv++ Combinatorics

We characterize the $k$-Schur functions as the graded characters of simple objects in an additive module category. This confirms a set of conjectures formulated in the Ph.D. thesis of Chen, written under the direction of Mark Haiman, and thereby establishes the algebraic framework proposed therein. As a consequence, we deduce that the modified Macdonald polynomials are $k$-Schur positive, thus realizing the original motivation behind the definition of the $k$-Schur functions by Lapointe, Lascoux, and Morse. Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, which encompasses both the $k$-Schur functions and the Hall--Littlewood functions.

Shareshian-Wachs, Brosnan-Chow, and Guay-Pacquet [Adv. Math. ${\bf 295}$ (2016), ${\bf 329}$ (2018), arXiv:1601.05498] realized the chromatic (quasi-)symmetric function of a unit interval graph in terms of Hessenberg varieties. Here we exhibit another realization of these chromatic (quasi-)symmetric functions in terms of the Betti cohomology of the variety $\mathscr X_Ψ$ defined in [arXiv:2301.00862]. This yields a new inductive combinatorial expression of these chromatic symmetric functions. Based on this, we propose a geometric refinement of the Stanley-Stembridge conjecture, whose validity would imply the Shareshian-Wachs conjecture.

We construct a smooth projective variety $\mathscr X_Ψ$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety for $\mathrm{GL}(n)$, determined by a root ideal $Ψ$. A natural family of line bundles on $\mathscr X_Ψ$ yields the Catalan functions -- symmetric functions introduced by Chen--Haiman and studied further by Blasiak--Morse--Pun--Summers. By analyzing the geometry of $\mathscr X_Ψ$, we prove the vanishing conjecture of Chen--Haiman, confirm the tame case of the vanishing conjecture of Blasiak--Morse--Pun, and establish the monotonicity conjectures of Shimozono--Weyman.

The characters of the (total) Springer representations are identified with the Green functions by Kazhdan [Israel J. Math. {\bf 28} (1977)], and the latter are identified with Hall-Littlewood's $Q$-functions by Green [Trans. Amer. Math. Soc. (1955)]. In this paper, we present a purely algebraic proof that the (total) Springer representations of $\mathop{GL} ( n )$ are $\mathrm{Ext}$-orthogonal to each other, and show that it is compatible with the natural categorification of the ring of symmetric functions.

We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.