The number of abstract simplicial complexes

On MathOverflow, François G. Dorais pointed out that the partially ordered set of abstract simplicial complexes with vertices drawn from the set { 0, …, n } is a free distributive lattice (with free top element but without free bottom element). This is not hard to see in hindsight: the generators are the (n – 1)-simplices. This poset is of interest to topos theorists because it is precisely the poset of simplicial subsets of the standard n-simplex; hence, we obtain a nice description of the subobject classifier of the topos of simplicial sets.

Amusingly, this observation implies it is very difficult to count the number of abstract simplicial complexes: apparently, the number of elements in a free distributive lattice is not known in general. This is Dedekind’s problem, and the known numbers are enumerated as OEIS sequence A000372.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s