Stallings-Zeeman theorem

From Wikipedia, the free encyclopedia

In mathematics, the Stallings-Zeeman theorem is a result in algebraic topology, used in the proof of the Poincaré conjecture for dimension greater than or equal to five. It is named after the mathematicians John Stallings and Erik Christopher Zeeman.

[edit] Statement of the theorem

Let M be a finite simplicial complex of dimension dim(M) = m ≥ 5. Suppose that M has the homotopy type of the m-dimensional sphere S^m and that M is locally piecewise linearly homeomorphic to m-dimensional Euclidean space R^m. Then M is homeomorphic to S^m under a map that is piecewise linear except possibly at a single point x. That is, M \ {x} is piecewise linearly homeomorphic to R^m.

[edit] References

• Stallings, John (1962). "The piecewise-linear structure of Euclidean space". Proc. Cambridge Philos. Soc. 58: 481–488.  MR0149457
• Zeeman, Erik Christopher (1961). "The generalised Poincaré conjecture". Bull. Amer. Math. Soc. 67: 270. doi:10.1090/S0002-9904-1961-10578-8.  MR0124906