Tuesday Seminar on Topology

Seminar information archive ~06/09Next seminarFuture seminars 06/10~

Date, time & place Tuesday 17:00 - 18:30 056Room #056 (Graduate School of Math. Sci. Bldg.)
Organizer(s) KAWAZUMI Nariya, KITAYAMA Takahiro, SAKASAI Takuya


17:00-18:30   Room #056 (Graduate School of Math. Sci. Bldg.)
Hidetoshi Masai (The University of Tokyo, JSPS)
Verify hyperbolicity of 3-manifolds by computer and its applications. (JAPANESE)
[ Abstract ]
In this talk I will talk about the program called HIKMOT which
rigorously proves hyperbolicity of a given triangulated 3-manifold. To
prove hyperbolicity of a given triangulated 3-manifold, it suffices to
get a solution of Thurston's gluing equation. We use the notion called
interval arithmetic to overcome two types errors; round-off errors,
and truncated errors. I will also talk about its application to
exceptional surgeries along alternating knots. This talk is based on
joint work with N. Hoffman, K. Ichihara, M. Kashiwagi, S. Oishi, and
A. Takayasu.