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)

# Hyperbolicity and $$T^2\times I$$

### Robert Haraway

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

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.