Return to Colloquia & Seminar listing
Algorithmic homeomorphism of 3-manifolds as a corollary of geometrizationGeometry/Topology
|Speaker:||Greg Kuperberg, UC Davis|
|Start time:||Tue, Dec 1 2015, 1:10PM|
Ever since Thurston formulated the geometrization conjecture, it has been a folklore corollary that there is an algorithm to decide if two closed 3-manifolds are homeomorphic. I will discuss how to construct such an algorithm without any separate tools such as normal surface theory or algorithmic group theory. With the aid of normal surface theory and other algorithmic tools, we can also obtain an improved result, that homeomorphism is elementary recursive.