We give a brief summary of some of our work and our joint work with Stephan Tillmann on solving Thurstons equation and Haken equation on triangulated 3-manifolds in this paper. Several conjectures on the existence of solutions to Thurstons equation and Haken equation are made. Resolutions of these conjecture will lead to a new proof of the Poincar conjecture without using the Ricci flow. We approach these conjectures by a finite dimensional variational principle so that its critical points are related to solutions to Thurstons gluing equation and Hakens normal surface equation. The action functional is the volume. This is a generalization of an earlier program by Casson and Rivin for compact 3-manifolds with torus boundary.

Finding surface mappings with least distortion arises from many applications in various fields. Extremal Teichm ller maps are surface mappings with least conformality distortion. The existence and uniqueness of the extremal Teichm ller map between Riemann surfaces of finite type are theoretically guaranteed [1]. Recently, a simple iterative algorithm for computing the Teichm ller maps between connected Riemann surfaces with given boundary value was proposed in [11]. Numerical results was reported in the paper to show the effectiveness of the algorithm. The method was successfully applied to landmark-matching registration. The purpose of this paper is to prove the iterative algorithm proposed in [11] indeed converges.

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 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.

Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.