arXiv++ Combinatorics

The $γ$-Cambrian semilattices $\mathcal{C}_γ$ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, and they are lattices if and only if $W$ is finite. In the case where $W$ is the symmetric group $\mathfrak{S}_{n}$ and $γ$ is the long cycle $(1\;2\;\ldots\;n)$ the corresponding $γ$-Cambrian lattice is isomorphic to the well-known Tamari lattice $\mathcal{T}_{n}$. Recently, Kallipoliti and the author have investigated $\mathcal{C}_γ$ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that $\mathcal{C}_γ$ is semidistributive. First we prove that every closed interval of $\mathcal{C}_γ$ is a bounded-homomorphic image of a free lattice (in fact it is a so-called $\mathcal{H\!H}$-lattice). Subsequently we prove that each closed interval of $\mathcal{C}_γ$ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.

For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.

We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.

In this chapter, we trace the path from the Tamari lattice, via lattice congruences of the weak order, to the definition of Cambrian lattices in the context of finite Coxeter groups, and onward to the construction of Cambrian fans. We then present sortable elements, the key combinatorial tool for studying Cambrian lattices and fans. The chapter concludes with a brief description of the applications of Cambrian lattices and sortable elements to Coxeter-Catalan combinatorics and to cluster algebras.

Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.

We show that for two quivers without oriented cycles related by a BGP reflection, the posets of their cluster tilting objects are related by a simple combinatorial construction, which we call a flip-flop. We deduce that the posets of cluster tilting objects of derived equivalent path algebras of quivers without oriented cycles are universally derived equivalent. In particular, all Cambrian lattices corresponding to the various orientations of the same Dynkin diagram are universally derived equivalent.

We show that the Coxeter-sortable elements in a finite Coxeter group W are the minimal congruence-class representatives of a lattice congruence of the weak order on W. We identify this congruence as the Cambrian congruence on W, so that the Cambrian lattice is the weak order on Coxeter-sortable elements. These results exhibit W-Catalan combinatorics arising in the context of the lattice theory of the weak order on W.

In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Other than distributive lattices, the main examples of trim lattices are the Tamari lattices and various generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim, and we conjecture that all Cambrian lattices are trim.

For an arbitrary finite Coxeter group W we define the family of Cambrian lattices for W as quotients of the weak order on W with respect to certain lattice congruences. We associate to each Cambrian lattice a complete fan, which we conjecture is the normal fan of a polytope combinatorially isomorphic to the generalized associahedron for W. In types A and B we obtain, by means of a fiber-polytope construction, combinatorial realizations of the Cambrian lattices in terms of triangulations and in terms of permutations. Using this combinatorial information, we prove in types A and B that the Cambrian fans are combinatorially isomorphic to the normal fans of the generalized associahedra and that one of the Cambrian fans is linearly isomorphic to Fomin and Zelevinsky's construction of the normal fan as a "cluster fan." Our construction does not require a crystallographic Coxeter group and therefore suggests a definition, at least on the level of cellular spheres, of a generalized associahedron for any finite Coxeter group. The Tamari lattice is one of the Cambrian lattices of type A, and two "Tamari" lattices in type B are identified and characterized in terms of signed pattern avoidance. We also show that open intervals in Cambrian lattices are either contractible or homotopy equivalent to spheres.