**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.