SMS scnews item created by Stephan Tillmann at Tue 4 Aug 2015 1028
Type: Seminar
Modified: Wed 12 Aug 2015 0822
Distribution: World
Expiry: 3 Nov 2015
Calendar1: 12 Aug 2015 1100-1200
CalLoc1: Carslaw 535A
Auth: tillmann@p710.pc (assumed)

Geometry & Topology

Hyperbolicity and \(T^2\times I\)

Robert Haraway

Wednesday 12 August 2015 from 11:00–12:00 in Carslaw 535A

Please join us for lunch after the talk!


Abstract: I will discuss work from last October implementing a reasonably fast algorithm for determining whether or not an orientable 3-manifold with nonempty boundary is hyperbolic. This algorithm uses a test for whether or not a 3-manifold is homeomorphic to \(T^2\times I\), which test I've also implemented. The proof of correctness for the latter algorithm depends upon the elementary theory of Seifert-fibered 3-manifolds and some technicalities in the theory of normal surfaces.