Bruhat Intervals in the Infinite Symmetric Group are Cohen-Macaulay

Abstract

We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Bj\"{o}rner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.