arXiv++ Combinatorics

For a coincidental Coxeter group, i.e. of type $A_{n-1}, BC_n, H_3,$ or $I_2(m)$, we define the corresponding $q$-Kreweras numbers attached to limit symbols in the sense of Shoji. The construction of these numbers resembles the argument of Reiner and Sommers and these two share similar properties, but our version is slightly different from and combinatorially simpler than theirs. We also study the combinatorial properties of our $q$-Kreweras numbers, i.e. positivity, relation with $q$-Narayana numbers, and cyclic sieving phenomenon.

Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Schützenberger.

The Stanley-Stembridge conjecture associates a symmetric function to each natural unit interval order $\mathcal P$. In this paper, we define relations à la Knuth on the symmetric group for each $\mathcal P$ and conjecture that the associated $\mathcal P$-Knuth equivalence classes are Schur-positive, refining theorems of Gasharov, Brosnan-Chow, and Guay-Paquet. The resulting equivalence graphs fit into the framework of D graphs studied by Assaf. Furthermore, we conjecture that the Schur expansion is given by column-readings of $\mathcal P$-tableaux that occur in the equivalence class. We prove these conjectures for $\mathcal P$ avoiding two specific suborders by introducing $\mathcal P$-analog of Robinson-Schensted insertion, giving an answer to a long standing question of Chow.

For affine symmetric groups we construct finite $W$-graphs corresponding to two-row shapes, and prove their uniqueness. This gives the first non-trivial family of examples of finite $W$-graphs in an affine type. We compare our construction with quotients of periodic $W$-graphs defined by Lusztig. Under certain positivity assumption on the latter the two are shown to be isomorphic.

Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.

We consider an involution on the affine Weyl group of type $A$ induced from the nontrivial automorphism on the (finite) Dynkin diagram. We prove that the number of left cells fixed by this involution in each two-sided cell is given by a certain Green polynomial of type $A$ evaluated at -1.