Related papers: Subexpressions and the Bruhat order for double cos…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
Suppose that $W$ is a finite Coxeter group and $W_J$ a standard parabolic subgroup of $W$. The main result proved here is that for any for any $w \in W$ and reduced expression of $w$ there is an Elnitsky tiling of a $2m$-polygon, where $m =…
We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4].…
For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe…
We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…
Many important statistics of signed permutations are realized in the corresponding permutation tableaux or bare tableaux of type $B$: Alignments, crossings and inversions of signed permutations are realized in the corresponding permutation…
In this paper, we present an independent proof of the Cauchy identities for staircase matrices, originally discovered in arXiv:2411.03117, using the combinatorics of the Bruhat poset and the bubble-sort procedure. Additionally, we derive…
We show that for certain class of oligomorphic groups there is a version of multiplication of double cosets in the Ismagilov--Olshanski sense. Categories of (reduced) double cosets are realized as certain categories of partial bijections.…
Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by…
We generalize the concept of stack one dimension higher, introducing a notion of 2-stack suitable for a trihomomorphism from a 2-category equipped with a bitopology into the tricategory of bicategories. Moreover, we give a characterization…
Consider the space of double cosets of the product of $n$ copies of $\SU(2)$ with respect to the diagonal subgroup. We get a parametrization of this space, the radial part of the Haar measure, and explicit formulas for the actions of the…
We introduce Lehmer codes, with immersions in the Bruhat order, for several finite Coxeter groups, including all the classical Weyl groups. This allows to associate to each lower Bruhat interval of these groups a multicomplex whose…
The set of weights of a finite-dimensional representation of a reductive Lie algebra has a natural poset structure ("weight poset"). Studying certain combinatorial problems related to antichains in weight posets, we realised that the best…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length…
It is shown that the coset lattice of a finite group has shellable order complex if and only if the group is complemented. Furthermore, the coset lattice is shown to have a Cohen-Macaulay order complex in exactly the same conditions. The…
We study preorders on (equivalence classes of) maximal chains in the general context of polygonal lattices endowed with suitably nice edge labellings. We show that, given a quotient of polygonal lattices, such edge labellings descend to the…
Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of…
We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional…