This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
Perhaps among his most recognized results in 3-manifolds concern the classification of incompressible surfaces in certain 3-manifolds and their boundary slopes. Bill Floyd and Hatcher classified all the incompressible surfaces in punctured-torus bundles over the circle. Bill Thurston and Hatcher classified the incompressible surfaces in 2-bridge knot complements. As corollaries, this gave more examples of non-Haken, non-Seifert fibered, irreducible 3-manifolds and extended the techniques and line of investigation started in Thurston's Princeton lecture notes. Hatcher also showed that irreducible, boundary-irreducible 3-manifolds with toral boundary have at most "half" of all possible boundary slopes resulting from essential surfaces. In the case of one torus boundary, one can conclude that the number of slopes given by essential surfaces is finite.
Hatcher has made contributions to the so-called theory of essential laminations in 3-manifolds. He invented the notion of "end-incompressibility" and several of his students, such as Mark Brittenham, Charles Delman, and Rachel Roberts, have made important contributions to the theory.
Hatcher and Thurston exhibited an algorithm to produce a presentation of the mapping class group of a closed, orientable surface. Their work relied on the notion of a cut system and moves that relate any two systems.
- Hatcher and Thurston, A presentation for the mapping class group of a closed orientable surface. Topology 19 (1980), no. 3, 221—237.
- Hatcher, On the boundary curves of incompressible surfaces. Pacific J. Math. 99 (1982), no. 2, 373—377.
- Floyd and Hatcher, Incompressible surfaces in punctured-torus bundles. Topology Appl. 13 (1982), no. 3, 263—282.
- Hatcher and Thurston, Incompressible surfaces in -bridge knot complements. Invent. Math. 79 (1985), no. 2, 225—246.
- Hatcher, A proof of the Smale conjecture, . Ann. of Math. (2) 117 (1983), no. 3, 553—607.
- Hatcher, Allen, Algebraic topology. Cambridge University Press, Cambridge, 2002. xii+544 pp. ISBN 0-521-79160-X and ISBN 0-521-79540-0