We show that solutions of Thurston's equation on triangulated 3-manifolds in a commutative ring carry topological information. We also introduce a homogeneous Thurston's equation and a commutative ring associated to triangulated 3-manifolds. It is shown that solutions to homogeneous equations over the real numbers are critical points of an entropy function.

We give a brief introduction to some of the recent works on finding geometric structures on triangulated surfaces using variational principles.

A spherical polyhedral surface is a triangulated surface obtained by isometric gluing of spherical triangles. For instance, the boundary of a generic convex polytope in the 3-sphere is a spherical polyhedral surface. This paper investigates these surfaces from the point of view of inner angles. A rigidity result is obtained. A characterization of spherical polyhedral surfaces in terms of the triangulation and the angle assignment is established.

No abstract uploaded!

In this article we show that for every finite area hyperbolic surface X of type (g,n) and any harmonic Beltrami differential μ on X , then the magnitude of μ at any point of small injectivity radius is uniform bounded from above by the ratio of the Weil–Petersson norm of μ over the square root of the systole of X up to a uniform positive constant multiplication. We apply the uniform bound above to show that the Weil–Petersson Ricci curvature, restricted at any hyperbolic surface of short systole in the moduli space, is uniformly bounded from below by the negative reciprocal of the systole up to a uniform positive constant multiplication. As an application, we show that the average total Weil–Petersson scalar curvature over the moduli space is uniformly comparable to -g as the genus g goes to infinity.

Dunfield-Garoufalidis and Boyer-Zhang proved that the A-polynomial of a nontrivial knot in S3 is nontrivial. In this paper, we use holonomy perturbations to prove the non-triviality of the A-polynomial for a nontrivial, null-homotopic knot in an irreducible 3-manifold. Also, we give a strong constraint on the A-polynomial of a knot in the 3-sphere.

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(ϕ).

Suppose that <i></i>₀ is an unknotted simple closed curve contained in the 3-sphere which happens to be invariant under a subgroup <i>G</i> of the Mbius group of <i>S³</i> = the group (generated by inversions in 2-spheres). It is shown that there is an equivariant isotopy <i></i>_<i>t</i>, 0 <i>t</i> 1, from <i></i>₀ to a round circle <i></i>₁.

Given a 3-holed sphere decomposition of an orientable closed surface, it is shown that each orientation preserving homeomorphism of the surface is isotopic to a composition AB where A is a product of positive Dehn twists and B is a product of negative Dehn twists on the decomposition curves.

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

We study the spherical cone metrics on surfaces from the point of view of inner angles. A rigidity result is obtained. The existence of spherical cone metric of Delaunay type is also established.

We show that the order of the cardinality of maximal complete $1$-systems of loops on non-orientable surfaces is $\sim |\chi|^{2}$. In particular, we determine the exact cardinality of maximal complete $1$-systems of loops on punctured projective planes. To prove these results, we show that the cardinality of maximal systems of arcs pairwise-intersecting at most once on a non-orientable surface is $2|\chi|(|\chi|+1)$.

Given a loop on a surface, its homotopy class can be specified as a word consisting of letters representing the homotopy group generators. One of the interesting problems is how to compute the shortest word for a given loop. This is an NP-hard problem in general. However, for a closed surface that allows a hyperbolic metric and is equipped with a canonical set of fundamental group generators, the shortest word problem can be reduced to finding the shortest loop that is homotopic to the given loop, which can be solved efficiently. In this paper, we propose an efficient algorithm to compute the shortest words for loops given on triangulated surface meshes. The design of this algorithm is inspired and guided by the work of Dehn and BirmanSeries. In support of the shortest word algorithm, we also propose efficient algorithms to compute shortest paths and shortest loops under hyperbolic metrics using a novel

The goal of this chapter is an attempt to relate some ideas of Grothendieck in his Esquisse dun programme [10] and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss Teichmller theory, the mapping class groups, the SL (2, C) representation variety of surface groups, and Thurstons theory of measured laminations.

We give a characterization of the action of the mapping class group on Thurston's space of measured laminations.

We consider a volume maximization program to construct hyperbolic structures on triangulated 3-manifolds, for which previous progress has lead to consider angle assignments which do not correspond to a hyperbolic metric on each simplex. We show that critical points of the generalized volume are associated to geometric structures modeled on the extended hyperbolic space-the natural extension of hyperbolic space by the de Sitter space-except for the degenerate case where all simplices are Euclidean in a generalized sense.

This paper attempts to relate some ideas of Grothendieck in his Esquisse d'un programme and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss the Teichmller theory, the mapping class groups, $ SL (2,\bold C) $ representation variety of surface groups, and Thurston's theory of measured laminations.

Registration, which aims to find an optimal 1-1 correspondence between shapes, is an important process in different research areas. Conformal mappings have been widely used to obtain a diffeomorphism between shapes that minimizes angular distortion. Conformal registrations are beneficial since it preserves the local geometry well. However, when landmark constraints are enforced, conformal mappings generally do not exist. This motivates us to look for a unique landmark matching quasi-conformal registration, which minimizes the conformality distortion. Under suitable condition on the landmark constraints, a unique diffeomporphism, called the Teichmller extremal mapping between two surfaces can be obtained, which minimizes the maximal conformality distortion. In this paper, we propose an efficient iterative algorithm, called the Quasi-conformal (QC) iterations, to compute the Teichmller mapping. The basic idea is to represent the set of diffeomorphisms using Beltrami coefficients (BCs), and look for an optimal BC associated to the desired Teichmller mapping. The associated diffeomorphism can be efficiently reconstructed from the optimal BC using the Linear Beltrami Solver (LBS). Using BCs to represent diffeomorphisms guarantees the diffeomorphic property of the registration. Using our proposed method, the Teichmller mapping can be accurately and efficiently computed within 10 seconds. The obtained registration is guaranteed to be bijective. The proposed algorithm can also be extended to compute Teichmller mapping with soft landmark constraints. We applied the proposed algorithm to real applications, such as brain

We discuss some applications of an intrinsic multipication in the space of simple loops in a surface.