We investigate the rigidity of hyperbolic cone metrics on 3manifolds which are isometric gluing of ideal and hyperideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyperideal hyperbolic polyhedral metrics. It is shown that a hyperideal hyperbolic polyhedral metric is determined up to isometry by its curvature and a decorated ideal hyperbolic polyhedral metric is determined up to isometry and change of decorations by its curvature. The main tool used in the proof is the Fenchel dual of the volume function.

Given a finite set of r points in a closed surface of genus r , we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if r for some integer r .

It is shown that every non-compact hyperbolic manifold of finite volume has a finite cover admitting a geodesic ideal triangulation. Also, every hyperbolic manifold of finite volume with non-empty, totally geodesic boundary has a finite regular cover which has a geodesic partially truncated triangulation. The proofs use an extension of a result due to Long and Niblo concerning the separability of peripheral subgroups.

We propose a finite-dimensional variational principle on triangulated 3-manifolds so that its critical points are related to solutions to Thurstons gluing equation and Hakens normal surface equation. The action functional is the volume.

It is proved that the volume of spherical or hyperbolic simplices, when considered as a function of the dihedral angles, can be extended continuously to degenerated simplices. This verifies affirmatively a conjecture of John Minor.

We establish an identity for closed hyperbolic surfaces whose terms depend on the dilogarithms of the lengths of simple closed geodesics in all 3-holed spheres and 1-holed tori in the surface.

We introduce a combinatorial curvature flow for piecewise constant curvature metrics on compact triangulated 3-manifolds with boundary consisting of surfaces of negative Euler characteristic. The flow tends to find the complete hyperbolic metric with totally geodesic boundary on a manifold. Some of the basic properties of the combinatorial flow are established. The most important one is that the evolution of the combinatorial curvature satisfies a combinatorial heat equation. It implies that the total curvature decreases along the flow. The local convergence of the flow to the hyperbolic metric is also established if the triangulation is isotopic to a totally geodesic triangulation.

Let M be the interior of a compact 3-manifold with boundary, and let M be an ideal triangulation of M This paper describes necessary and sufficient conditions for the existence of angle structures, semi-angle structures and generalised angle structures on M respectively in terms of a generalised Euler characteristic function on the solution space of the normal surface theory of M This extends previous work of Kang and Rubinstein, and is itself generalised to a more general setting for 3-dimensional pseudo-manifolds.

We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a new algorithm to detect hyperbolic structures and small Seifert fibred structures on closed 3-manifolds.

Given a compact orientable surface with finitely many punctures \Sigma , let $\Cal S (\Sigma) $ be the set of isotopy classes of essential unoriented simple closed curves in \Sigma . We determine a complete set of relations for a function from $\Cal S (\Sigma) $ to $\bold R $ to be the geodesic length function of a hyperbolic metric with geodesic boundary and cusp ends on \Sigma . As a conse quence, the Teichmller space of hyperbolic metrics with geodesic boundary and cusp ends on \Sigma is reconstructed from an intrinsic $(\bold QP^ 1, PSL (2,\bold Z)) $ structure on $\Cal S (\Sigma) $.