Showing 1–2 of 2 results for author: Moser, H H

Upper bound on distance in the pants complex

Authors: Harriet H. Moser

Abstract: The purpose of this paper is to establish an upper bound on the distance between two pants decompositions in the pants complex for a closed surface of genus g >= 2. This is done by use of graph theory. First distance is found in the pants graph modulo the action of the mapping class group, and then between pants decompositions within an orbit of this action. The purpose of this paper is to establish an upper bound on the distance between two pants decompositions in the pants complex for a closed surface of genus g >= 2. This is done by use of graph theory. First distance is found in the pants graph modulo the action of the mapping class group, and then between pants decompositions within an orbit of this action. △ Less

Submitted 2 May, 2012; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: A different method is used to find an upper bound on the diameter of the orbit graph, giving a smaller upper bound. Also, distance within an orbit is now calculated in a different orbit

MSC Class: 57M50 (Primary) 57M15 (Secondary)

Proving a manifold to be hyperbolic once it has been approximated to be so

Authors: Harriet H. Moser

Abstract: The computer program SnapPea can approximate whether or not a three manifold whose boundary consists of tori has a complete hyperbolic structure, but it can not prove conclusively that this is so. This article provides a method for proving that such a manifold has a complete hyperbolic structure based on the approximations of SNAP, a program that includes the functionality of SnapPea plus other… ▽ More The computer program SnapPea can approximate whether or not a three manifold whose boundary consists of tori has a complete hyperbolic structure, but it can not prove conclusively that this is so. This article provides a method for proving that such a manifold has a complete hyperbolic structure based on the approximations of SNAP, a program that includes the functionality of SnapPea plus other features. The approximation is done by triangulating the manifold, identifying consistency and completeness equations with respect to this triangulation, and then trying to solve the system of equations using Newton's Method. This produces an approximate, not actual solution. The method developed here uses Kantorovich's theorem to prove that an actual solution exists, thereby assuring that the manifold has a complete hyperbolic structure. Using this, we can definitively prove that every manifold in the SnapPea cusped census has a complete hyperbolic structure. △ Less

Submitted 27 September, 2008; v1 submitted 7 September, 2008; originally announced September 2008.

Comments: correct incomplete definition of function in Template

MSC Class: 57M50

Journal ref: Algebr. Geom. Topol. 9 (2009) 103-133