Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

Algorithmic homeomorphism of 3-manifolds as a corollary of geometrization


Speaker: Greg Kuperberg, UC Davis
Location: 2112 MSB
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.