11
$\begingroup$

I've often heard that we can give examples of CW complexes that aren't homeomorphic to the realization of any simplicial set (although I haven't heard that there exist Kan complexes that aren't isomorphic to the total singular complex of a CGWH space. Are there?) Would someone mind providing an example of one (and an example for the opposite statement as well, if it is true)?

$\endgroup$
  • $\begingroup$ Heh, I just realized that we could call the "opposite statement" the "adjoint statement". $\endgroup$ – Harry Gindi Aug 5 '10 at 20:13
13
$\begingroup$

The mapping cylinder of a really messy continuous map $I\to I$

The nerve of the category in which there are two objects and each Hom set is a singleton.

$\endgroup$
  • 3
    $\begingroup$ What do you mean by the nerve in the second example? I thought the nerve was a simplicial set by definition, so it can't possibly provide an example of a CW-complex that doesn't come from a simplicial set. $\endgroup$ – Omar Antolín-Camarena Jul 16 '13 at 13:43
  • $\begingroup$ I can't imagine why I wrote that. $\endgroup$ – Tom Goodwillie Jun 3 '17 at 14:25
  • 2
    $\begingroup$ Oh. That was an answer to the other part of the question. $\endgroup$ – Tom Goodwillie Jun 3 '17 at 14:27
  • 1
    $\begingroup$ I could have said the nerve of a nontrivial group. $\endgroup$ – Tom Goodwillie Jun 3 '17 at 19:53
9
$\begingroup$

The geometric realization of a simplicial set is always triangulable. See Corollary 4.6.12 in Cellular Structures in Topology by Fritsch and Piccinini. They also give an explicit example (in section 3.4) of a non-triangulable CW-complex (which uses, I think, essentially the same idea as Tom Goodwillie's suggestion). This paper contains another example and shows, on the other hand, that every CW-complex with cells in at most two dimensions is triangulable.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.