71 research outputs found
Lattice congruences, fans and Hopf algebras
We give a unified explanation of the geometric and algebraic properties of
two well-known maps, one from permutations to triangulations, and another from
permutations to subsets. Furthermore we give a broad generalization of the
maps. Specifically, for any lattice congruence of the weak order on a Coxeter
group we construct a complete fan of convex cones with strong properties
relative to the corresponding lattice quotient of the weak order. We show that
if a family of lattice congruences on the symmetric groups satisfies certain
compatibility conditions then the family defines a sub Hopf algebra of the
Malvenuto-Reutenauer Hopf algebra of permutations. Such a sub Hopf algebra has
a basis which is described by a type of pattern-avoidance. Applying these
results, we build the Malvenuto-Reutenauer algebra as the limit of an infinite
sequence of smaller algebras, where the second algebra in the sequence is the
Hopf algebra of non-commutative symmetric functions. We also associate both a
fan and a Hopf algebra to a set of permutations which appears to be
equinumerous with the Baxter permutations.Comment: 34 pages, 1 figur
Brick polytopes, lattice quotients, and Hopf algebras
This paper is motivated by the interplay between the Tamari lattice, J.-L.
Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf
algebra on binary trees. We show that these constructions extend in the world
of acyclic -triangulations, which were already considered as the vertices of
V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural
surjection from the permutations to the acyclic -triangulations. We show
that the fibers of this surjection are the classes of the congruence
on defined as the transitive closure of the rewriting rule for letters
and words on . We then
show that the increasing flip order on -triangulations is the lattice
quotient of the weak order by this congruence. Moreover, we use this surjection
to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on
permutations, indexed by acyclic -triangulations, and to describe the
product and coproduct in this algebra and its dual in term of combinatorial
operations on acyclic -triangulations. Finally, we extend our results in
three directions, describing a Cambrian, a tuple, and a Schr\"oder version of
these constructions.Comment: 59 pages, 32 figure
Permutrees
We introduce permutrees, a unified model for permutations, binary trees,
Cambrian trees and binary sequences. On the combinatorial side, we study the
rotation lattices on permutrees and their lattice homomorphisms, unifying the
weak order, Tamari, Cambrian and boolean lattices and the classical maps
between them. On the geometric side, we provide both the vertex and facet
descriptions of a polytope realizing the rotation lattice, specializing to the
permutahedron, the associahedra, and certain graphical zonotopes. On the
algebraic side, we construct a Hopf algebra on permutrees containing the known
Hopf algebraic structures on permutations, binary trees, Cambrian trees, and
binary sequences.Comment: 43 pages, 25 figures; Version 2: minor correction
The Hopf algebra of diagonal rectangulations
We define and study a combinatorial Hopf algebra dRec with basis elements
indexed by diagonal rectangulations of a square. This Hopf algebra provides an
intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter
permutations, which previously had only been described extrinsically as a sub
Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We
describe the natural lattice structure on diagonal rectangulations, analogous
to the Tamari lattice on triangulations, and observe that diagonal
rectangulations index the vertices of a polytope analogous to the
associahedron. We give an explicit bijection between twisted Baxter
permutations and the better-known Baxter permutations, and describe the
resulting Hopf algebra structure on Baxter permutations.Comment: Very minor changes from version 1, in response to comments by
referees. This is the final version, to appear in JCTA. 43 pages, 17 figure
From the Tamari lattice to Cambrian lattices and beyond
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.Comment: This is a chapter in an upcoming Tamari Festscrift. There have been
minor changes since the first version poste
Lattice congruences of the weak order
We study the congruence lattice of the poset of regions of a hyperplane
arrangement, with particular emphasis on the weak order on a finite Coxeter
group. Our starting point is a theorem from a previous paper which gives a
geometric description of the poset of join-irreducibles of the congruence
lattice of the poset of regions in terms of certain polyhedral decompositions
of the hyperplanes. For a finite Coxeter system (W,S) and a subset K of S, let
\eta_K:w \mapsto w_K be the projection onto the parabolic subgroup W_K. We show
that the fibers of \eta_K constitute the smallest lattice congruence with
1\equiv s for every s\in(S-K). We give an algorithm for determining the
congruence lattice of the weak order for any finite Coxeter group and for a
finite Coxeter group of type A or B we define a directed graph on subsets or
signed subsets such that the transitive closure of the directed graph is the
poset of join-irreducibles of the congruence lattice of the weak order.Comment: 26 pages, 4 figure
Cambrian Hopf Algebras
Cambrian trees are oriented and labeled trees which fulfill local conditions
around each node generalizing the conditions for classical binary search trees.
Based on the bijective correspondence between signed permutations and leveled
Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday
and M. Ronco's algebra on binary trees. We describe combinatorially the
products and coproducts of both the Cambrian algebra and its dual in terms of
operations on Cambrian trees. We also define multiplicative bases of the
Cambrian algebra and study structural and combinatorial properties of their
indecomposable elements. Finally, we extend to the Cambrian setting different
algebras connected to binary trees, in particular S. Law and N. Reading's
Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf
algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of
the associahedron.Comment: 60 pages, 43 figures. Version 2: New Part 3 on Schr\"oder Cambrian
Algebra. The title change reflects this modificatio
The facial weak order and its lattice quotients
We investigate a poset structure that extends the weak order on a finite
Coxeter group to the set of all faces of the permutahedron of . We call
this order the facial weak order. We first provide two alternative
characterizations of this poset: a first one, geometric, that generalizes the
notion of inversion sets of roots, and a second one, combinatorial, that uses
comparisons of the minimal and maximal length representatives of the cosets.
These characterizations are then used to show that the facial weak order is in
fact a lattice, generalizing a well-known result of A. Bj\"orner for the
classical weak order. Finally, we show that any lattice congruence of the
classical weak order induces a lattice congruence of the facial weak order, and
we give a geometric interpretation of their classes. As application, we
describe the facial boolean lattice on the faces of the cube and the facial
Cambrian lattice on the faces of the corresponding generalized associahedron.Comment: 40 pages, 13 figure
- …