Fundamentals of Computational Conformal Geometry

Computational conformal geometry is an inter-disciplinary field between mathematics and computer science. This work introduces the fundamentals of computational conformal geometry, including theoretic foundation, computational algorithms, and engineering applications. Two computational methodologies are emphasized, one is the holomorphic differentials based on Riemann surface theory and the other is surface Ricci flow from geometric analysis.     

Geometric aspects of the moduli space of Riemann surfaces

We describe some recent progress in the study of moduli space of Riemann surfaces in this survey paper. New complete Kahler metrics were introduced on the moduli space and Teichmuller space. Their curvature properties and asymptotic behavior were studied in details. These natural metrics served as bridges to connect all the known canonical metrics, especially the Kahler-Einstein metric. We showed that all the known complete metrics on the moduli space are equivalent and have Poincare type growth. Furthermore, the Kahler-Einstein metric has strongly bounded geometry. This also implied that the logarithm cotangent bundle of the moduli space is stable in the sense of Mumford.     

Evaluating Quasilocal Energy and Solving Optimal Embedding Equation at Null Infinity

We study the limit of quasilocal energy defined in Wang and Yau (Phys Rev Lett 102(2):021101, 2009; Commun Math Phys 288(3):919–942, 2009) for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi–Sachs energy-momentum at a retarded time. The quasilocal mass in Wang and Yau (Phys Rev Lett 102(2):021101, 2009; Commun Math Phys 288(3):919–942, 2009) is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases. Assuming analyticity, the equation can be solved and the solution is locally minimizing in all orders. In particular, this produces an optimal reference hypersurface in the Minkowski space for the spatial or null exterior region of an asymptotically flat spacetime.