arXiv++ Combinatorics

The Demazure operator associated to a simple reflection satisfies the twisted Leibniz rule. In this paper we introduce a generalization of the twisted Leibniz rule for the Demazure operator associated to any atomic double coset. We prove that this atomic Leibniz rule is equivalent to a polynomial forcing property for singular Soergel bimodules.

The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko.

We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a presentation of nilCoxeter algebroids similar to Demazure's presentation of nilCoxeter algebras. Our consideration of reduced compositions of atoms gives rise to a new combinatorial structure, which is equipped with a length function and a Bruhat order and is realized as Tits cone intersections in the sense of Iyama-Wemyss.

The Bruhat order on a Coxeter group is often described by examining subexpressions of a reduced expression. We prove that an analogous description applies to the Bruhat order on double cosets. This establishes the compatibility of the Bruhat order on double cosets with concatenation, leading to compatibility between the monoidal structure and the ideal of lower terms in the singular Hecke 2-category. We also prove other fundamental properties of this ideal of lower terms.

For any Coxeter system, and any double coset for two standard parabolic subgroups, we introduce a Demazure operator. These operators form a basis for morphism spaces in a category we call the nilCoxeter category, and we also present this category by generators and relations. We prove a generalization to this context of Demazure's celebrated theorem on Frobenius extensions. This generalized theorem serves as a criterion for ensuring the proper behavior of singular Soergel bimodules.

We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence. Namely, we introduce distinguished subsets of the Weyl group on which the join operation conjecturally agrees with the intersections of Verma modules. We also relate our conjecture with a statement about the socles of the cokernels of inclusions between Verma modules. The latter determines the first Ext spaces between a simple module and a Verma module. We give a conjectural complete description of such socles, which we verify in a number of cases. Along the way, we determine the poset structure of the join-irreducible elements in Weyl groups and obtain closed formulae for certain families of Kazhdan-Lusztig polynomials.

We show that the poset of alternating sign matrices, with Bruhat order, is isomorphic to the poset of certain submodules of the dominant Verma module for the special linear Lie algebra $\frak{sl}_n$. The latter poset consists of the intersections of Verma submodules and can also be defined in terms of a Kazhdan-Lusztig cell.

We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties. Our main result is a presentation of this category by generators and relations. We also provide a new description of reduced expressions for double cosets. We describe all the braid relations between such reduced expressions, and prove an analogue of Matsumoto's theorem. This gives a proper development of ideas first introduced by Geordie Williamson. In type A we also equip the singular Coxeter monoid with a diagrammatic presentation using webs.

We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion of Verma modules in type $A$. All such socular constituents turn out to be indexed by Weyl group elements from the penultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Verma module indexed by $w\in S_n$ into the dominant Verma module are shown to be determined by the essential set of $w$ and their degrees in the graded picture are shown to be computable in terms of the associated rank function. As an application, we compute the first extension from a simple module to a Verma module.