How to prove hyperbolicity of given 3-manifolds by computer.
トポロジー金曜セミナー
開催期間
2015.10.16(金)
16:00 ~ 17:00
16:00 ~ 17:00
場所
九州大学 伊都キャンパス ウエスト1号館 小講義室 W1-C-514
講演者
正井 秀俊 (東京大学)
概要
Given triangulated 3-manifolds, the computer program SnapPea can compute approximated hyperbolic structure. In this talk we discuss the computer program called HIKMOT which combines interval arithmetic with SnapPea and lets us compute hyperbolic structure with rigorous error estimate. We also discuss its application to exceptional surgeries along alternating knots. This talk is based on joint work with Hoffman, Ichihara, Kashiwagi, Oishi and Takayasu.