Sortable Elements for Quivers with Cycles

TL;DR

This paper extends the concept of c-sortable elements in Coxeter groups to Omega-sortable elements for arbitrary orientations, preserving key properties and aiming to generalize the connection to cluster algebra combinatorics beyond acyclic cases.

Contribution

It introduces Omega-sortable elements for arbitrary diagram orientations and proves they retain essential properties of c-sortable elements, broadening the framework's applicability.

Findings

Omega-sortable elements generalize c-sortable elements

Key properties are preserved under nontrivial reductions

Potential to extend cluster algebra connections beyond acyclic cases

Abstract

Each Coxeter element c of a Coxeter group W defines a subset of W called the c-sortable elements. The choice of a Coxeter element of W is equivalent to the choice of an acyclic orientation of the Coxeter diagram of W. In this paper, we define a more general notion of Omega-sortable elements, where Omega is an arbitrary orientation of the diagram, and show that the key properties of c-sortable elements carry over to the Omega-sortable elements. The proofs of these properties rely on reduction to the acyclic case, but the reductions are nontrivial; in particular, the proofs rely on a subtle combinatorial property of the weak order, as it relates to orientations of the Coxeter diagram. The c-sortable elements are closely tied to the combinatorics of cluster algebras with an acyclic seed; the ultimate motivation behind this paper is to extend this connection beyond the acyclic case.