Decision problems for 3-manifolds and their fundamental groups

DOI10.2140/GTM.2015.19.201MaRDI QIDQ906847zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner, Stefan Friedl, Henry Wilton

Publication date 29 January 2016

Full work available at URL https://arxiv.org/abs/1405.6274, http://msp.org/gtm/2015/19-1/p08.xhtml

zbMATH Keywords

algorithmsTuring machineword problem3-manifoldsdecision problemsfinitely presented groupshomeomorphism problem

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Fundamental group, presentations, free differential calculus (57M05) Topological methods in group theory (57M07) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10) Research exposition (monographs, survey articles) pertaining to manifolds and cell complexes (57-02) Word problems, etc. in computability and recursion theory (03D40)

Abstract: We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold groups.

Recommendations

• The membership problem for 3-manifold groups is solvable
• Conjugacy problem in groups of oriented geometrizable 3-manifolds
• The conjugacy problem in groups of non-orientable 3-manifolds
• Undecidability of the freedom problem for 3-manifold groups.
• The computational complexity of basic decision problems in 3-dimensional topology

Cited in

(29)

• The computational complexity of basic decision problems in 3-dimensional topology
• scientific article; zbMATH DE number 7647903 (Why is no real title available?)
• An explicit relation between knot groups in lens spaces and those in S3
• Undecidability of the freedom problem for 3-manifold groups.
• VIRTUAL ALGEBRAIC FIBRATIONS OF KÄHLER GROUPS
• scientific article; zbMATH DE number 1972766 (Why is no real title available?)
• Spines and surgery descriptions of graph manifolds
• 2-stratifold spines of closed 3-manifolds
• The picture problem for 3-complexes.
• scientific article; zbMATH DE number 67424 (Why is no real title available?)
• scientific article; zbMATH DE number 1421186 (Why is no real title available?)
• Algorithms for contractibility of compressed curves on 3-manifold boundaries
• The membership problem for 3-manifold groups is solvable
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• scientific article; zbMATH DE number 1342334 (Why is no real title available?)
• Computational complexity and 3-manifolds and zombies
• The word problem in a class of non-Haken 3-manifolds
• Conjugacy problem in groups of oriented geometrizable 3-manifolds
• An application of Poénaru's ``zipping theory
• 2-stratifold groups have solvable word problem
• Thurston's vision and the virtual fibering theorem for 3-manifolds
• Decision problems in the space of Dehn fillings
• Simply connected 3-manifolds and undecidable problems in group theory.
• Geometry of the word problem for 3-manifold groups
• The planar Cayley graphs are effectively enumerable. II
• All Dehn Fillings of the Whitehead Link Complement are Tetrahedron Manifolds
• Search and witness problems in group theory.
• Around 3-manifold groups
• Recognizing Euclidean space forms with minimal fundamental tetrahedra

This page was built for publication: Decision problems for 3-manifolds and their fundamental groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q906847)