95 research outputs found
On a Subposet of the Tamari Lattice
We explore some of the properties of a subposet of the Tamari lattice
introduced by Pallo, which we call the comb poset. We show that three binary
functions that are not well-behaved in the Tamari lattice are remarkably
well-behaved within an interval of the comb poset: rotation distance, meets and
joins, and the common parse words function for a pair of trees. We relate this
poset to a partial order on the symmetric group studied by Edelman.Comment: 21 page
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
Two bijections on Tamari intervals
We use a recently introduced combinatorial object, the interval-poset, to
describe two bijections on intervals of the Tamari lattice. Both bijections
give a combinatorial proof of some previously known results. The first one is
an inner bijection between Tamari intervals that exchanges the initial rise and
lower contacts statistics. Those were introduced by Bousquet-M\'elou, Fusy, and
Pr\'eville-Ratelle who proved they were symmetrically distributed but had no
combinatorial explanation. The second bijection sends a Tamari interval to a
closed flow of an ordered forest. These combinatorial objects were studied by
Chapoton in the context of the Pre-Lie operad and the connection with the
Tamari order was still unclear.Comment: 12 pages, 10 figure
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
Cambrian Lattices
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.Comment: Revisions in exposition (partly in response to the suggestions of an
anonymous referee) including many new figures. Also, Conjecture 1.4 and
Theorem 1.5 are replaced by slightly more detailed statements. To appear in
Adv. Math. 37 pages, 8 figure
Towards m-Cambrian Lattices
For positive integers and , we introduce a family of lattices
associated to the Cambrian lattice of
the dihedral group . We show that satisfies
some basic properties of a Fuss-Catalan generalization of ,
namely that 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
before. Remarkably, our construction coincides in the case
with the -Tamari lattice of parameter 3 due to Bergeron and
Pr{\'e}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
and the long cycle is isomorphic to the
-Tamari lattice of parameter .Comment: 20 pages, 13 figures. The results of this paper are subsumed by
arXiv:1312.2520, and it will therefore not be publishe
- …