This paper deals with the two broad questions of how 3-manifold groups imbed in one another and how such imbeddings relate to any corresponding [lowercase Greek]Pi1-injective maps. In particular, we are interested in 1) determining which 3-manifold groups are no cohopfian, that is, which 3-manifold groups imbed properly in themselves, 2) determining the knot subgroups of a knot group, and 3) determining when surgery on a knot [italic]K yields a lens (or "lens-like") space and the relationship of such a surgery to the knot-subgroup structure of [lowercase Greek]Pi1([italic]S3 - [italic]K). Our work requires the formulation of a deformation theorem for [lowercase Greek]Pi1-injective maps between certain kinds of Haken manifolds and the development of some algebraic tools.

A careful and systematic development of the theory of the topology of 3-manifolds, focusing on the critical role of the fundamental group in determining the topological structure of a 3-manifold ... self-contained ... one can learn the subject from it ... would be very appropriate as a text for an advanced graduate course or as a basis for a working seminar. --Mathematical Reviews For many years, John Hempel's book has been a standard text on the topology of 3-manifolds. Even though the field has grown tremendously, the book remains one of the best and most popular introductions to the subject. The theme of this book is the role of the fundamental group in determining the topology of a given 3-manifold. The essential ideas and techniques are covered in the first part of the book: Heegaard splittings, connected sums, the loop and sphere theorems, incompressible surfaces, free groups, and so on. Along the way, many useful and insightful results are proved, usually in full detail. Later chapters address more advanced topics, including Waldhausen's theorem on a class of 3-manifolds that is completely determined by its fundamental group. The book concludes with a list of problems that were unsolved at the time of publication. Hempel's book remains an ideal text to learn about the world of 3-manifolds. The prerequisites are few and are typical of a beginning graduate student. Exercises occur throughout the text.

The field of 3-manifold topology has made great strides forward since 1982 when Thurston articulated his influential list of questions. Primary among these is Perelman's proof of the Geometrization Conjecture, but other highlights include the Tameness Theorem of Agol and Calegari-Gabai, the Surface Subgroup Theorem of Kahn-Markovic, the work of Wise and others on special cube complexes, and, finally, Agol's proof of the Virtual Haken Conjecture. This book summarizes all these developments and provides an exhaustive account of the current state of the art of 3-manifold topology, especially focusing on the consequences for fundamental groups of 3-manifolds. As the first book on 3-manifold topology that incorporates the exciting progress of the last two decades, it will be an invaluable resource for researchers in the field who need a reference for these developments. It also gives a fast-paced introduction to this material. Although some familiarity with the fundamental group is recommended, little other previous knowledge is assumed, and the book is accessible to graduate students. The book closes with an extensive list of open questions which will also be of interest to graduate students and established researchers.

This work concerns the diffeomorphism groups of 3-manifolds, in particular of elliptic 3-manifolds. These are the closed 3-manifolds that admit a Riemannian metric of constant positive curvature, now known to be exactly the closed 3-manifolds that have a finite fundamental group. The (Generalized) Smale Conjecture asserts that for any elliptic 3-manifold M, the inclusion from the isometry group of M to its diffeomorphism group is a homotopy equivalence. The original Smale Conjecture, for the 3-sphere, was proven by J. Cerf and A. Hatcher, and N. Ivanov proved the generalized conjecture for many of the elliptic 3-manifolds that contain a geometrically incompressible Klein bottle. The main results establish the Smale Conjecture for all elliptic 3-manifolds containing geometrically incompressible Klein bottles, and for all lens spaces L(m,q) with m at least 3. Additional results imply that for a Haken Seifert-fibered 3 manifold V, the space of Seifert fiberings has contractible components, and apart from a small list of known exceptions, is contractible. Considerable foundational and background

A topological embedding is a homeomorphism of one space onto a subspace of another. The book analyzes how and when objects like polyhedra or manifolds embed in a given higher-dimensional manifold. The main problem is to determine when two topological embeddings of the same object are equivalent in the sense of differing only by a homeomorphism of the ambient manifold. Knot theory is the special case of spheres smoothly embedded in spheres; in this book, much more general spaces and much more general embeddings are considered. A key aspect of the main problem is taming: when is a topological embedding of a polyhedron equivalent to a piecewise linear embedding? A central theme of the book is the fundamental role played by local homotopy properties of the complement in answering this taming question. The book begins with a fresh description of the various classic examples of wild embeddings (i.e., embeddings inequivalent to piecewise linear embeddings). Engulfing, the fundamental tool of the subject, is developed next. After that, the study of embeddings is organized by codimension (the difference between the ambient dimension and the dimension of the embedded space). In all codimensions greater than two, topological embeddings of compacta are approximated by nicer embeddings, nice embeddings of polyhedra are tamed, topological embeddings of polyhedra are approximated by piecewise linear embeddings, and piecewise linear embeddings are locally unknotted. Complete details of the codimension-three proofs, including the requisite piecewise linear tools, are provided. The treatment of codimension-two embeddings includes a self-contained, elementary exposition of the algebraic invariants needed to construct counterexamples to the approximation and existence of embeddings. The treatment of codimension-one embeddings includes the locally flat approximation theorem for manifolds as well as the characterization of local flatness in terms of local homotopy properties.

Given a prime , a group is called residually if the intersection of its -power index normal subgroups is trivial. A group is called virtually residually if it has a finite index subgroup which is residually . It is well-known that finitely generated linear groups over fields of characteristic zero are virtually residually for all but finitely many . In particular, fundamental groups of hyperbolic -manifolds are virtually residually . It is also well-known that fundamental groups of -manifolds are residually finite. In this paper the authors prove a common generalization of these results: every -manifold group is virtually residually for all but finitely many . This gives evidence for the conjecture (Thurston) that fundamental groups of -manifolds are linear groups.