Algorithmic topology and classification of 3-manifolds
Algorithmic topology and classification of 3-manifolds (scientific article; zbMATH DE number 5134072)
The aim of this fine book is to study the algorithmic topology of low-dimensional manifolds: a branch of mathematics which has received a lot of attention, expecially in virtue of the exponential advancement of computer software. Almost all parts of the book are based upon courses that the author gave in different universities. However, the book contains a lot of new results and covers material not found elsewhere. One of the most important new result is the algorithmic classification theorem of Haken manifolds. Chapter 1 contains a comprehensive overview of the theory of simple and special polyhedra. Special spines, up to elementary moves (also known as Matveev-Piergallini moves), give a combinatorial representation of triangulated 3-manifolds which is easily turned into a computer presentation. This chapter also contains an existence result giving a criterion for two special polyhedra to be spines of the same manifold. Chapter 2 is devoted to the complexity theory of 3-manifolds. This notion is defined in terms of the almost simple spines of a 3-manifold. The complexity permits to introduce an ordering into the whole set of 3-manifolds. More precisely, the set of 3-manifolds is supplied with a filtration by finite subsets (that is, the subsets of 3-manifolds up to a fixed complexity), and this allows to break up the classification problem for all 3-manifolds into an infinite number of classification problems for some finite subsets. This approach is implemented in Chapter 7 where the author describes a way for enumerating 3-manifolds of a given complexity. It is also explained how to recognize such manifolds of smaller complexity by using the first integral homology groups and the Turaev-Viro invariants (the latter are described in Chapter 8). In particular, the author shows that all the 3-manifolds with complexity less than or equal 8 are graph manifolds and describes the first hyperbolic 3-manifold of complexity 9. Chapter 3 contains the first complete exposition of the Haken theory of normal surfaces. As remarked by the author, almost all known nontrivial algorithms in low-dimensional topology use the Haken theory or at least are derived from it. Chapter 4 is devoted to discussing several applications of the theory of normal surfaces. In particular, one can find many examples of algorithms based on the Haken theory as the algorithm for recognizing the (boundary) incompressibility of a given surface, the algorithms for recognizing the splittable links and the unknot, and the algorithm to detect when a 3-manifold is sufficiently large. Chapter 5 contains a new presentation of the Rubinstein-Thompson algorithm for recognizing the 3-sphere. Chapter 6 is the central part of the book in which the author proves the algorithmic classification theorem for Haken manifolds, including the author's original contribution. In particular, he proves the existence and the uniqueness of JSJ-decompositions and gives a detailed discussion of Stallings manifolds and their generalizations. Here, simple polyhedra are used to encode the hierarchies in 3-manifolds. Nowadays, for closed Haken manifolds other proofs of the algorithmic classification theorem can also be obtained by using the Thurston hyperbolization theorem for Haken manifolds containing no essential tori and annuli and by Sela's results on algorithmic recognition of hyperbolic manifolds (see the references of the book). Chapters 7 and 8 contain computer implementations of the recognition theorem and the Turaev-Viro invariants, respectively. This serves to describe an enumeration procedure for 3-manifolds of low complexity. In particular, the resulting 3-manifolds, up to complexity 6, are listed in the Appendix of Chapter 9 (together with pictures of minimal spines for some manifolds of complexity 7). The author is one of the major experts in the topology of 3-manifolds, and he has written a lot of interesting papers on the topic (for more references see the bibliography of the book under review, and the book indicated below). The contents of the book and the point of view adopted in their exposition fill a gap in the existing literature on the topic, and it will become a standard reference for algorithmic topology of 3-manifolds. The book is written in a very accurate and readable style. A lot of nice figures illustrate the contents of the book. It looks like as a selfcontained and fundamental work on the algorithmic 3-dimensional topology both for graduate students and researchers. I suggest to accomplish the reading of the book with the other fine monograph written by the author together with \textit{A. T. Fomenko} on the topic [Algorithmic and computer methods for three-manifolds. Mathematics and its Applications. 42 S. Kluwer Academic Publishers (1997; Zbl 0885.57009)]. This is a book I am very happy to have, and it is heartily recommended to anyone interested in studying topology of 3-manifolds from an algorithmic point of view.
- Algorithmic topology and classification of 3-manifolds
- Algorithmic classification of 3-manifolds: Problems and results
- Algorithmic classification of 3-manifolds and knots
- scientific article; zbMATH DE number 7647903
- Algorithmic recognition of 3-manifolds
- scientific article; zbMATH DE number 4062162
- Computer classification of 3-manifolds.
- scientific article; zbMATH DE number 47089
- scientific article; zbMATH DE number 1154289
- An algorithm to detect laminar 3-manifolds
- An algorithm for acylindrical surfaces in 3-manifolds
- Computer classification of 3-manifolds.
- Turaev-Viro invariants, colored Jones polynomials, and volume
- Unicity for representations of the Kauffman bracket skein algebra
- On complexity of three-dimensional hyperbolic manifolds with geodesic boundary
- Algorithms for the complete decomposition of a closed 3-manifold
- A generalisation of the deformation variety
- \(\mathbb Z_2\)-Thurston norm and complexity of 3-manifolds
- The quantum content of the gluing equations
- Systolic geometry and simplicial complexity for groups
- Concordances to prime hyperbolic virtual knots
- The efficient certification of knottedness and Thurston norm
- The Roger-Yang skein algebra and the decorated Teichmüller space
- Bounds on Pachner moves and systoles of cusped 3-manifolds
- Faithfullness of geometric action of skein algebras
- Counting essential surfaces in \(3\)-manifolds
- Flip graphs of stacked and flag triangulations of the 2-sphere
- Quantum traces and embeddings of stated skein algebras into quantum tori
- Classifying spaces for the family of virtually abelian subgroups of orientable 3-manifold groups
- 2-stratifold spines of closed 3-manifolds
- Traversing three-manifold triangulations and spines
- Combinatorial minimal surfaces in pseudomanifolds and other complexes
- Links with splitting number one
- (0,2) dualities and the 4-simplex
- Billiards and integrability in geometry and physics. New scope and new potential
- Algorithmic homeomorphism of 3-manifolds as a corollary of geometrization
- Virtual 3-manifolds of complexity 1 and 2
- Brieskorn manifolds, generalized Sieradski groups, and coverings of Lens spaces
- Computing simplicial representatives of homotopy group elements
- On the normal form of knots
- Pair of pants decomposition of 4-manifolds
- Some conditionally hard problems on links and 3-manifolds
- Two-sided bounds for the complexity of hyperbolic three-manifolds with geodesic boundary
- Gluing equations for real projective structures on \(3\)-manifolds
- The digital Hopf construction
- An application of machine computation for studying graphlike manifolds. II
- Algorithmic classification of 3-manifolds: Problems and results
- Proceedings of the conference on low-dimensional topology and combinatorial group theory, Chelyabinsk, Russia, July 31--August 7, 1999.
- Constructing infinitely many geometric triangulations of the figure eight knot complement
- Contractible polyhedra in products of trees and absolute retracts in products of dendrites
- Incompressibility criteria for spun-normal surfaces
- Computational topology with Regina: algorithms, heuristics and implementations
- Five lectures on 3-manifold topology
- Algorithmic construction and recognition of hyperbolic 3-manifolds, links, and graphs
- On 3-dimensional homotopy quantum field theory. I.
- The 3D index of an ideal triangulation and angle structures
- Computing all maps into a sphere
- scientific article; zbMATH DE number 7228903 (Why is no real title available?)
- Triangulations. Abstracts from the workshop held April 29 -- May 5, 2012.
- Fibonacci type presentations and 3-manifolds
- Gauge theories labelled by three-manifolds
- Cyclic generalizations of two hyperbolic icosahedral manifolds
- Bubble divergences: sorting out topology from cell structure
- Computer Recognition of Three-Manifolds
- scientific article; zbMATH DE number 1341084 (Why is no real title available?)
- Doodles on surfaces
- Normal and Jones surfaces of knots
- Connectivity of triangulations without degree one edges under 2-3 and 3-2 moves
- A noncommutative generalization of Thurston's gluing equations
- The structure of 3-manifolds of complexity zero
- Prime decomposition of three-dimensional manifolds into boundary connected sum
- On the complexity of three-dimensional cusped hyperbolic manifolds
- scientific article; zbMATH DE number 898015 (Why is no real title available?)
- Three-dimensional manifolds with poor spines
- Cusped hyperbolic 3-manifolds of complexity 10 having maximum volume
- Introduction to 3-manifolds
- A polynomial upper bound on Reidemeister moves
- Computation of quantum factorials and their inverses
- Manifolds of triangulations, braid groups of manifolds, and the groups _n^k
- 3-manifolds represented by 4-regular graphs with three Eulerian cycles
- Configuration homological \({\mathbb Z}_2\)-invariants of manifolds
- Parametrized complexity of expansion height
- On groups \(G_n^k\) and \(\Gamma_n^k\): a study of manifolds, dynamics, and invariants
- scientific article; zbMATH DE number 256200 (Why is no real title available?)
- Right-angled polyhedra and hyperbolic 3-manifolds
- ESSENTIAL STATE SURFACES FOR KNOTS AND LINKS
- Introducing Regina, The 3-Manifold Topology Software
- Algorithmic topology and classification of 3-manifolds
- Spines and surgery descriptions of graph manifolds
- An algorithmic method to compute plat slide moves in 3-manifolds of Heegaard genus two
- The computational complexity of knot genus in a fixed 3‐manifold
- Low-dimensional topology. Abstracts from the workshop held January 15--21, 2023
- Monoidal categories graded by crossed modules and 3-dimensional HQFTs
- Computing a link diagram from its exterior
- The classification of surfaces via normal curves
- Algorithms for contractibility of compressed curves on 3-manifold boundaries
- The computational complexity of classical knot recognition
- The photography method: Solving pentagon equation
- A lower bound for triangulation complexity for compact 3-manifolds with boundary
- Arc diagrams on 3-manifold spines
- Cancellations of periodic orbits for non-singular Morse-Smale flows
- The triangulation complexity of elliptic and sol 3-manifolds
- Homologically trivial part of the Turaev-Viro invariant order 7
- Slope norm and an algorithm to compute the crosscap number
- Recognition of Seifert fibered spaces with boundary is in NP
- Center of generalized skein algebras
- Crushing surfaces of positive genus
- Classification of genus-two surfaces in S^3
- Burning or collapsing the medial axis is unstable
This page was built for publication: Algorithmic topology and classification of 3-manifolds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898700)
