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

In this paper, we produce an elementary approach to Thurston's theory of measured laminations on compact surfaces with non-empty boundary. We show that the theory can be derived from a simple inequality for geometric intersection numbers between arcs inside an octagon.

Based on the proof of Labastida-Mari {} o-Ooguri-Vafa conjecture\cite {lmov}, we derive an infinite product formula for Chern-Simons partition functions, the generating function of quantum $\fsl_N $ invariants. Some symmetry properties of the infinite product will also be discussed.

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.