Tuesday Seminar on Topology

Seminar information archive ~03/27Next seminarFuture seminars 03/28~

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

2015/04/28

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.