Algorithmic Topology and Classification of 3-Manifolds

Front Cover
Springer Science & Business Media, Jul 23, 2007 - Mathematics - 492 pages

From the reviews of the 1st edition:

"This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds. Originating from lecture notes of various courses given by the author over a decade, the book is intended to combine the pedagogical approach of a graduate textbook (without exercises) with the completeness and reliability of a research monograph...

All the material, with few exceptions, is presented from the peculiar point of view of special polyhedra and special spines of 3-manifolds. This choice contributes to keep the level of the exposition really elementary.

In conclusion, the reviewer subscribes to the quotation from the back cover: "the book fills a gap in the existing literature and will become a standard reference for algorithmic 3-dimensional topology both for graduate students and researchers".

Zentralblatt für Mathematik 2004

For this 2nd edition, new results, new proofs, and commentaries for a better orientation of the reader have been added. In particular, in Chapter 7 several new sections concerning applications of the computer program "3-Manifold Recognizer" have been included.

From inside the book

Selected pages

Contents

Simple and Special Polyhedra
1
Complexity Theory of 3Manifolds
59
Haken Theory of Normal Surfaces
107
Applications of the Theory of Normal Surfaces 147
146
Algorithmic Recognition of S3
191
Classification of Haken 3Manifolds
213
The TuraevViro Invariants
383
of TuraevViro Type
409
A Appendix
421
References 481
480
Index
489
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 42 - We are now ready to prove the main result of this section.
Page 480 - Bolsinov, AV, Matveev, SV, Fomenko, AT: Topological classification of integrable Hamiltonian systems with two degrees of freedom.
Page 483 - An algorithm for recognizing S* in 3-manifolds with Heegaard splittings of genus two, Osaka J. Math. 17 (1980), 625-648.
Page 285 - Y of r vertices each, and two vertices are joined by an edge if and only if they belong to different sets X and Y.
Page 485 - Groups which act on Sn without fixed points, Amer.
Page 233 - The proof of the following lemma is similar to that of Lemma 15.12, page 353 (see exercise 1).
Page 483 - S.-L. Ng, M. Walker. On the composition of matroids and ideal secret sharing schemes. Des. Codes Cryptogr. 24 (2001) 49-67.
Page 482 - L. Grasselli, A graph-theoretical representation of PLmanifolds — A survey on crystallizations, Aequationes Math. 31 (1986), 121-141.