arXiv++ Combinatorics

Inspired by the recent preprint of Ellenberg, Libedinsky, Plaza, Simental, and Williamson, we study the geometry of Richardson varieties whose associated Bruhat intervals are boolean posets. We define magic words for a Bruhat interval and prove that for intervals with magic words the associated Richardson variety is a tower of $\mathbb{P}^1$-s. We also prove that the Bruhat intervals consisting of the dyadically well-distributed permutations all have magic words. This gives a new proof that they form a boolean poset.

The cactus group acts combinatorially on crystals via partial Schützenberger involutions. This action has been studied extensively in type $A$ and described via Bender-Knuth involutions. We prove an analogous result for the family of crystals $B(n\varpi_1)$ in type $D$. Our main tools are combinatorial toggles acting on reverse plane partitions of height $n$. As a corollary, we show that the length one and two subdiagram elements generate the full cactus action, addressing conjectures of Dranowski, the second author, Kamnitzer, and Morton-Ferguson.

Let $δ=(δ_1,\ldots,δ_n)$ be a string of letters $h$ and $v$. We define a Young tableau to be $δ$-semistandard if the entries are weakly increasing along rows and columns, and the entries $i$ form a horizontal strip if $δ_i=h$ and a vertical strip if $δ_i=v$. We define $δ$-promotion on such tableaux via a modified jeu-de-taquin. The first main result is that $δ$-promotion has period $n$ on rectangular $δ$-semistandard tableaux, generalizing the results of Haiman and Rhoades for standard and semistandard tableaux. The second main result states that the set of rectangular $δ$-semistandard tableaux for fixed $δ$ and content $γ$ exhibits the cyclic sieving phenomenon with the generalized Kostka polynomial. To do so we follow Fontaine-Kamnitzer and associate to $(δ,γ)$ an $SL_m$-invariant space Inv$(V_{λ^1}\otimes\cdots\otimes V_{λ^n})$ where each $V_{λ^i}$ is an alternating or symmetric representation. We show that the Satake basis of the corresponding invariant space is indexed by the set of tableaux corresponding to $(δ,γ)$ and is permuted by rotation of tensor factors. We then diagonalize the rotation action using the fusion product. This cyclic sieving generalizes the result of Rhoades, and of Fontaine-Kamnitzer (in type A), and is closely related to that of Westbury.

A Kazhdan-Lusztig variety is the intersection of a locally-closed Schubert cell with an opposite Schubert variety in a flag variety. We present a linear parametrization of the Schubert cells in the affine type A flag variety via Bott-Samelson maps, and give explicit equations that generate the Kazhdan-Lusztig ideals in these coordinates. Furthermore, our equations form a Gröbner basis for the Kazhdan-Lusztig ideals. Our result generalizes a result of Woo-Yong that gave a Gröbner basis for Kazhdan-Lusztig ideals in the type A flag variety.