Derived Semidistributive Lattices

Details Derived Semidistributive Lattices Derived Semidistributive Lattices

2007-08-13

arxiv.org/abs/0708.1695v2

Mathematics

Logic

Scientific paper

For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in this poset. Our main result states that C(L,g) is a semidistributive lattice if L is semidistributive, and that C(L,g) is a bounded lattice if L is bounded. Let S_n be the permutohedron on n letters and T_n be the associahedron on n+1 letters. Explicit computations show that C(S_n,a) = S_{n-1} and C(T_n,a) = T_{n-1}, up to isomorphism, whenever a is an atom. These results are consequences of new characterizations of finite join semidistributive and finite lower bounded lattices: (i) a finite lattice is join semidistributive if and only if the projection sending g in C(L) to g_0 in L creates pullbacks, (ii) a finite join semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are generalization of the tools used by Barbut et al. to prove that lattices of Coxeter groups are bounded.

Affiliated with

Also associated with

No associations

Rating

Derived Semidistributive Lattices does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Derived Semidistributive Lattices, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Derived Semidistributive Lattices will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-23429