MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is the face poset of a simplicial or nice enough cellular complex a Heyting algebra in some natural way?

Edited to add: For the benefit of illustration, here's a few face posets:

  • the boundary of a square: Elements $a,b,c,d$ of dimension 0 and $x,y,z,w$ of dimension 1; poset relations $a,b < x$; $b,c < y$; $c,d < z$; $a,d < w$.

  • Two 2-simplices joined along a common edge: Elements $a,b,c,d$ of dimension 0, $j,k,l,m,n$ of dimension 1 and $x,y$ of dimension 2. Poset relations are: $a,b < j$; $a,c < k$; $b,c < l$; $b, d < m$; $c,d < n$ and $j,k,l < x$ and $l,m,n < y$.

share|cite|improve this question
Can you tell me what happens in the case of the face lattice of some well-known convex polytope? – Tomaž Pisanski Mar 18 '10 at 14:45
@Tomaž Is this you leading me to the answer, or you asking me what the face lattice looks like? I'd start out with considering the face lattice of the simplex, which is the boolean algebra of corresponding size, and therefore - I think - a Heyting algebra from its boolean structure. – Mikael Vejdemo-Johansson Mar 18 '10 at 16:46
@Mikael: No, No, I just wanted to see if there is an example of a face lattice with non-boolean Heyting algebra structure. I am not really used to thinking in terms of Heyting algebras. – Tomaž Pisanski Mar 18 '10 at 22:33
I'm not used to face posets, so I'll only give some pointers. I presume you formally add a top and bottom element to the poset, otherwise you certainly won't have a Heyting algebra. A finite lattice is a Heyting algebra if and only if it is distributive. Are you also considering infinite face posets? – François G. Dorais Mar 19 '10 at 5:15
Consider the face poset of the 3-element discrete space (with top and bottom elements added). It is the diamond M3 lattice, which is not distributive. – Michał Kukieła Sep 13 '10 at 10:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.