I've had a few undergraduate students ask me for references for the classical fact (due to Rado) that closed topological surfaces can be triangulated. I know two sources for this, namely Ahlfors's book on Riemann surfaces and Moise's book "Geometric topology in dimensions 2 and 3". Both of these strike me as being a bit much for a bright undergraduate. Question : in the 30+ years since Moise's book, has anyone written a more accessible account?
Geometric Topology – How to Triangulate Surfaces
gt.geometric-topologyreference-request
Related Question
- [Math] Has the mathematical content of Grothendieck’s “Récoltes et Semailles” been used
- [Math] The story about Milnor proving the Fáry-Milnor theorem
- [Math] History of “no positive definite ternary integral quadratic form is universal”
- [Math] How does one find out what’s happening in contemporary mathematics research
- [Math] Has anything (other than what is in the obituary written by M. Noether) survived of Paul Gordan’s defense of infinitesimals
- [Math] References for Riemann surfaces
Best Answer
[Three years later …]
All the published proofs of triangulability of surfaces that I am aware of use the Schoenflies theorem, which is not exactly an easy thing to prove. There is however another line of proof which avoids the Schoenflies theorem and instead uses the Kirby torus trick that underlies Kirby-Siebenmann theory in higher dimensions. There is a 1974 paper by A.J.S.Hamilton that gives much simpler proofs of Moise's theorems on triangulability of 3-manifolds using the torus trick, and the same ideas can be applied even more simply for surfaces. Instead of the Schoenflies theorem one needs a few results about surfaces strictly in the PL (or smooth if one prefers) category. Namely, one needs to know that PL structures are unique up to PL homeomorphism in the following four cases: $S^1\times S^1$, $S^1\times{\mathbb R}$, $[0,1]\times{\mathbb R}$, and $D^2$. These can be regarded as special cases of the usual classification theorem for compact PL surfaces, extended to include a few noncompact cases.
I haven't seen this proof in the literature, so I've written it up as a short expository paper "The Kirby torus trick for surfaces" and posted it on the arXiv here, working in the smooth category rather than the PL category.
It's not clear how suitable this proof would be for an undergraduate course. Besides the ingredients mentioned above, a little basic covering space theory is also needed. If one were in the fortunate position of already having covered these things, then this proof might be accessible to undergraduates. On the other hand, it could be of some interest to go through a proof of the often-quoted-but-seldom-proved Schoenflies theorem. (In this connection I might mention a paper by Larry Siebenmann on the Schoenflies theorem in the Russian Math Surveys in 2005, giving history as well as a proof.)