Source author record

Matthew Dyer

Matthew Dyer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.CO math.RT math.MG

Catalog footprint

What is connected

8works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

The intermediate orders of a Coxeter group

We define a class of partial orders on a Coxeter group associated with sets of reflections. In special cases, these lie between the left weak order and the Bruhat order. We prove that these posets are graded by the length function and that the projections on the right parabolic quotients are always order preserving. We also introduce the notion of $k$-Bruhat graph, $k$-absolute length and $k$-absolute order, proposing some related conjectures and problems.

preprint2016arXiv

Imaginary cones and limit roots of infinite Coxeter groups

Let (W,S) be an infinite Coxeter system. To each geometric representation of W is associated a root system. While a root system lives in the positive side of the isotropy cone of its associated bilinear form, an imaginary cone lives in the negative side of the isotropic cone. Precisely on the isotropic cone, between root systems and imaginary cones, lives the set E of limit points of the directions of roots (see arXiv:1112.5415). In this article we study the close relations of the imaginary cone (see arXiv:1210.5206) with the set E, which leads to new fundamental results about the structure of geometric representations of infinite Coxeter groups. In particular, we show that the W-action on E is minimal and faithful, and that E and the imaginary cone can be approximated arbitrarily well by sets of limit roots and imaginary cones of universal root subsystems of W, i.e., root systems for Coxeter groups without braid relations (the free object for Coxeter groups). Finally, we discuss open questions as well as the possible relevance of our framework in other areas such as geometric group theory.

preprint2016arXiv

Small roots, low elements, and the weak order in Coxeter groups

In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low elements in Coxeter groups. Comptes Rendus Mathematique, 353:403-408., 2015.) in which the present article was referred to under the following working title: Monotonicity of dominance-depth on root systems and applications. The proof is based on a fundamental property enjoyed by small roots and which is our second main result; the set of small root is bipodal. For a natural number n, we define similarly n-low elements from n-small roots and conjecture that the set of n-small roots is bipodal, implying the set of n-low elements is a Garside shadow; we prove this conjecture for affine Coxeter groups and Coxeter groups whose graph is labelled by 3 and infinity. To prove the latter, we extend the root poset on positive roots to a weak order on the root system and define a Bruhat order on the root system, and study the paths in those orders in order to establish a criterion to prove bipodality involving only finite dihedral reflection subgroups.

preprint2014arXiv

A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements

In this note, we provide a short and self-contained proof that the braid group on n strands acts transitively on the set of reduced factorizations of a Coxeter element in a Coxeter group of finite rank n into products of reflections. We moreover use the same argument to also show that all factorizations of an element in a parabolic subgroup of W lie as well in this parabolic subgroup.

preprint2014arXiv

Garside families in Artin-Tits monoids and low elements in Coxeter groups

We show that every finitely generated Artin-Tits group admits a finite Garside family, by introducing the notion of a low element in a Coxeter group and proving that the family of all low elements in a Coxeter system (W, S) with S finite includes S and is finite and closed under suffix and join with respect to the right weak order.

preprint2011arXiv

Groupoids, root systems and weak order I

This is the first of a series of papers which define and study structures called rootoids, which are groupoids equipped with a representation in the category of Boolean rings and with an associated 1-cocycle. The axioms for rootoids are abstracted from formal properties of Coxeter groups with their root systems and weak orders. They imply that each of the weak orders of a rootoid embeds as an order ideal in a complete ortholattice. This first paper is concerned only with the most basic definitions, facts and examples; the main results, which are new even for Coxeter groups, will be stated and proved in subsequent papers. They involve certain categories of rootoids and especially a notion of functor rootoid.

preprint2011arXiv

Groupoids, root systems and weak order II

This is the second introductory paper concerning structures called rootoids and protorootoids, the definition of which is abstracted from formal properties of Coxeter groups with their root systems and weak orders. The ubiquity of protorootoids is shown by attaching them to structures such as groupoids with generators, to simple graphs, to subsets of Boolean rings, to possibly infinite oriented matroids, and to groupoids with a specified preorder on each set of morphisms with fixed codomain; in each case, the condition that the structure give rise to a rootoid defines an interesting subclass of these structures. The paper also gives non-trivial examples of morphisms of rootoids and describes (without proof, and partly informally) some main ideas, results and questions from subsequent papers of the series, including the basic facts about principal rootoids and functor rootoids which together provide the raison d'être for these papers.

preprint2010arXiv

On rigidity of abstract root systems of Coxeter systems

We introduce and study a combinatorially defined notion of root basis of a (real) root system of a possibly infinite Coxeter group. Known results on conjugacy up to sign of root bases of certain irreducible finite rank real root systems are extended to abstract root bases, to a larger class of real root systems, and, with a short list of (genuine) exceptions, to infinite rank irreducible Coxeter systems.