For fixed subgroups Fix(ϕ) of automorphisms ϕ on hyperbolic 3-manifold groups π1(M), we observed that rk(Fix(ϕ))<2rk(π1(M)) and the constant 2 in the inequality is sharp; we also classify all possible groups Fix(ϕ).

We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented hyperbolic ideal tetrahedra on a given topological ideal triangulation and with prescribed cone angles at all edges is (if non-empty) a smooth complex manifold of dimension the sum of the genera of the vertex links. Moreover, we show that the complex lengths of a collection of peripheral elements give a local holomorphic parameterisation of this manifold.

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.

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.

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.