arXiv++ Combinatorics

The dual affine Robinson--Schensted correspondence and the affine matrix-ball construction give two related parametrizations of extended affine permutations. From the stable-window data of the dual correspondence, we introduce a dual weight \(β\) and prove that it is consistent with the original pair \((λ,N_0)\). We prove that \(β\) and the AMBC weight \(ρ\) have identical monodromy along affine Knuth paths. We further give an explicit relation between \(β\) and \(ρ\), showing that their difference depends only on the associated tabloids.

Kazhdan--Lusztig $W$-graphs encode the cell structure of Hecke algebras, while their bidirected connected components are called molecules. In finite type~$A$, the Robinson--Schensted correspondence describes cells and molecules, and Beissinger's row insertion constructs the common tableau associated with an involution. In affine type~$A$, the affine matrix-ball construction assigns an affine permutation a pair of tabloids together with a dominant weight, and Marberg introduced affine FPF $W$-graphs indexed by affine fixed-point-free involutions. We prove that, for an affine fixed-point-free involution, complete two-cycle truncations followed by finite row Beissinger insertion asymptotically recover both its common AMBC tabloid and its dominant weight. We also identify the bidirected edges of $Γ_n^{\m}$ with dual equivalence moves under AMBC, obtaining a classification of its molecule.

$W$-graphs, representing the multiplication action of the standard basis on the canonical basis in the Iwahori-Hecke algebra are introduced by Kazhdan and Lusztig. Marberg defined a generalized $W$-graph, the Gelfand W-graph, corresponding to the Hecke algebra modules instead of Hecke algebras. To classify the molecules and cells of the Gelfand $S_n$-graphs, in this paper, we introduce a recursive structure of $S_n$ and then discuss the action of the recursive structure on the molecules. Using this struction, we show that a specific molecule is indeed a cell.

Kazhdan and Lusztig introduced the $W$-graphs, which represent the multiplication action of the standard basis on the canonical bais in the Iwahori-Hecke algebra. In the Hecke algebra module, Marberg defined two generalied $W$-graphs, called the Gelfand $W$-graphs. The classification of the molecules of the type $A$ Gelfand $S_n$-graphs are determined by two RSK-like insertion algorithms. We finish the classification of cells by proving that every molecule in the $S_n$-graphs is indeed a cell.

Kazhdan and Lusztig introduce the $W$-graphs to describe the cells and molecules corresponding to the Coxeter groups. Building on this foundation, Lusztig defines the a-funtion to classify the cells, as well as the molecules. Marberg then generalizes Kazhdan and Lusztig's $W$-graphs, using fixed-point-free involutions as their indices. The molecules of the two new $S_n$-graphs are then classified via two correspondence similar to RSK correspondence by Marberg and me. In this paper, we define an analogue of the Lusztig a-function and finish the classification of cells by proving that every molecule in the $S_n$-graphs is indeed a cell.

Like the RSK correspondence for symmetric groups, Garfinkle defined a domino correspondence for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups. Similar to the Knuth relations, Taskin and Pietraho give the plactic relations for the domino correspondence and Bonnafé use them to classify the cells for type $\mathrm{B}$ Coxeter groups. We give some further properties of the plactic relations and use these relations to describe the bidirected edges and the molecules of Gelfand $W$-graphs for type $\mathrm{B}$ and $\mathrm{D}$ Coxeter groups.

The two tableaux assigned by the Robinson--Schensted correspondence are equal if and only if the input permutation is an involution, so the RS algorithm restricts to a bijection between involutions in the symmetric group and standard tableaux. Beissinger found a concise way of formulating this restricted map, which involves adding an extra cell at the end of a row after a Schensted insertion process. We show that by changing this algorithm slightly to add cells at the end of columns rather than rows, one obtains a different bijection from involutions to standard tableaux. Both maps have an interesting connection to representation theory. Specifically, our insertion algorithms classify the molecules (and conjecturally the cells) in the pair of $W$-graphs associated to the unique equivalence class of perfect models for a generic symmetric group.

A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.

A Gelfand model for an algebra is a module given by a direct sum of irreducible submodules, with every isomorphism class of irreducible modules represented exactly once. We introduce the notion of a perfect model for a finite Coxeter group, which is a certain set of discrete data (involving Rains and Vazirani's concept of a perfect involution) that parametrizes a Gelfand model for the associated Iwahori-Hecke algebra. We describe perfect models for all classical Weyl groups, excluding type D in even rank. The representations attached to these models simultaneously generalize constructions of Adin, Postnikov, and Roichman (from type A to other classical types) and of Araujo and Bratten (from group algebras to Iwahori-Hecke algebras). We show that each Gelfand model derived from a perfect model has a canonical basis that gives rise to a pair of related $W$-graphs, which we call Gelfand $W$-graphs. For types BC and D, we prove that these $W$-graphs are dual to each other, a phenomenon which does not occur in type A.

We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.

We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Schützenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.