On MO, Daniel Moskovich has this to say about the Hauptvermutung:
The Hauptvermutung is so obvious that it gets taken for granted everywhere, and most of us learn algebraic topology without ever noticing this huge gap in its foundations (of the text-book standard simplicial approach). It is implicit every time one states that a homotopy invariant of a simplicial complex, such as simplicial homology, is in fact a homotopy invariant of a polyhedron.
I have to admit I find this statement mystifying. We recently set up the theory of simplicial homology in lecture and I do not see anywhere that the Hauptvermutung needs to be assumed to show that simplicial homology is a homotopy invariant. Doesn't this follow once you have simplicial approximation and you also know that simplicial maps which are homotopic induce chain-homotopic maps on simplicial chains?
Best Answer
I didn't state it very well- what I meant is that standard algebraic topology textbooks take for granted (or cause the reader to take for granted) that topology of polyhedra is the same as topology of simplicial complexes. Sean Tilson's response is spot-on; I'll restate it in my own words.
By simplicial approximation, continuous maps of polyhedra are homotopic to PL maps. However, homeomorphisms of polyhedra might not be homotopic to PL homeomorphisms, merely to PL maps (the statement that they are is an equivalent formulation of the Hauptvermutung). So a (combinatorial) homotopy invariant of simplicial complexes might a-priori fail to be a homotopy invariant of polyhedra, unless one proves also that it's independent of the choice of simplicial approximation (which Matt E. and Qiaochu both say). It isn't enough just to show that it's independent under combinatorial homotopy of simplicial complexes.
I apologise for the confusion. My answer was essentially taken from Page 4 of The Hauptvermutung Book- I apologise also for the lack of attribution. I interpret what it says there as the assertion that textbooks don't tend to check independence with respect to choice of simplicial approximation; and my own experience (or inattentiveness) leads me to suspect that this is indeed the case. I'll look in a library on Monday, and maybe edit this response again.