Related papers: Subexpressions and the Bruhat order for double cos…

We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties.…

For an infinite Coxeter system, one can extend the weak right order to the set of infinite reduced words. This is called limit weak order. In [Transformation Groups 18(1), 2013, 179-231], Lam and Pylyavskyy showed that for affine Weyl…

In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related…

In the seminal paper of Borel and Tits about reductive groups, they show some fundamental results about Bruhat cells with respect to a minimal parabolic subgroup, e.g., relative Bruhat decomposition and its geometrization, relative Bruhat…

Let $\mathrm{Mac}(W)$ be the MacNeille completion of the Bruhat order of a Coxeter group $W$. We introduce an action of the $0$-Hecke monoid of type $W$ on $\mathrm{Mac}(W)$, which allows us to define a weak order and a descent set…

Let $P$ and $Q$ be bounded posets. In this note, a lemma is introduced that provides a set of sufficient conditions for the proper part of $P$ being homotopy equivalent to the suspension of the proper part of~$Q$. An application of this…

We prove that split reductive BT group schemes over a higher dimensional base are {\em affine}. Our method also gives a new construction of higher BT-group schemes more general than parahoric ones. The new ingredients are an extension of…

Introduced by Kodama and Williams, Bruhat interval polytopes are generalized permutohedra closely connected to the study of torus orbit closures and total positivity in Schubert varieties. We show that the 1-skeleton posets of these…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…

Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying certain universal properties (representability) induces…

We give a direct combinatorial proof that the product of two descent classes in a symmetric group is a sum of descent classes. The proof is based on the fact that the group product gives a covering map when descent classes are endowed with…

The article is devoted to a comparison of the \v{C}ech cohomology with the coefficients in a presheaf of Abelian groups and the topos cohomology of the sheaf generated by this presheaf for a poset with the Aleksandrov topology. The article…

We investigate certain categories, associated by Fiebig with the geometric representation of a Coxeter system, via sheaves on Bruhat graphs. We modify Fiebig's definition of translation functors in order to extend it to the singular setting…

In this article, we discuss the notion of partition of elements in an arbitrary Coxeter system $(W,S)$: a partition of an element $w$ is a subset $\mathcal P\subseteq W$ such that the left inversion set of $w$ is the disjoint union of the…

Using Lipman's results on resolution of two-dimensional singularities, we provide a form of resolution of singularities in codimension two for reduced quasi-excellent schemes. We deduce that operations of degree less than two on algebraic…

Building upon the previous Renner-Coxeter system of work by Eddy Godelle we introduce the familiar Renner monoid structure of the Adherence order. The Green's relations of the system are then considered in relation to the Adherence order…

In this paper, we study lower order terms of the $1$-level density of low-lying zeros of quadratic Hecke L-functions in the Gaussian field. Assuming the Generalized Riemann Hypothesis, our result is valid for even test functions whose…

We introduce the notion of two-dimensional Coxeter system and show that parabolic subgroups of GL_n(F_2) can be described by an appropriate two-dimensional Coxeter system.