Computing surface hyperbolic structure and real projective structure

Geometric structures are natural structures of surfaces, which enable different geometries to be defined on the surfaces. Algorithms designed for planar domains based on a specific geometry can be systematically generalized to surface domains via the corresponding geometric structure. For example, polar form splines with planar domains are based on affine invariants. Polar form splines can be generalized to manifold splines on the surfaces which admit affine structures and are equipped with affine geometries.Surfaces with negative Euler characteristic numbers admit hyperbolic structures and allow hyperbolic geometry. All surfaces admit real projective structures and are equipped with real projective geometry. Because of their general existence, both hyperbolic structures and real projective structures have the potential to replace the role of affine structures in defining manifold splines.This paper introduces theoretically rigorous and practically simple algorithms to compute hyperbolic structures and real projective structures for general surfaces. The method is based on a novel geometric tool - discrete variational Ricci flow. Any metric surface admits a special uniformization metric, which is conformal to its original metric and induces constant curvature. Ricci flow is an efficient method to calculate the uniformization metric, which determines the hyperbolic structure and real projective structure.The algorithms have been verified on real surfaces scanned from sculptures. The method is efficient and robust in practice. To the best of our knowledge, this is the first work of introducing algorithms based on Ricci flow to compute hyperbolic structure and real projective structure.More importantly, this work introduces the framework of general geometric structures, which enable different geometries to be defined on manifolds and lay down the theoretical foundation for many important applications in geometric modeling.

[1]  James W. Cannon,et al.  Introduction to circle packing: the theory of discrete analytic functions , 2007 .

[2]  T. Chan,et al.  Genus zero surface conformal mapping and its application to brain surface mapping. , 2004, IEEE transactions on medical imaging.

[3]  Bruno Lévy,et al.  ABF++: fast and robust angle based flattening , 2005, TOGS.

[4]  H. Pottmann,et al.  Spline Orbifolds , 1997 .

[5]  Jeff Erickson,et al.  Greedy optimal homotopy and homology generators , 2005, SODA '05.

[6]  Leif Kobbelt,et al.  API Design for adaptive subdivision schemes , 2004, Comput. Graph..

[7]  B. Chow,et al.  COMBINATORIAL RICCI FLOWS ON SURFACES , 2002, math/0211256.

[8]  A. Bobenko,et al.  Variational principles for circle patterns and Koebe’s theorem , 2002, math/0203250.

[9]  Peter Schröder,et al.  Discrete conformal mappings via circle patterns , 2005, TOGS.

[10]  Hong Qin,et al.  Topology-driven surface mappings with robust feature alignment , 2005, VIS 05. IEEE Visualization, 2005..

[11]  David A. Rottenberg,et al.  Quasi-Conformally Flat Mapping the Human Cerebellum , 1999, MICCAI.

[12]  Bruno Lévy,et al.  Least squares conformal maps for automatic texture atlas generation , 2002, ACM Trans. Graph..

[13]  Hong Qin,et al.  Manifold splines , 2006, Graph. Model..

[14]  Hugues Hoppe,et al.  Spherical parametrization and remeshing , 2003, ACM Trans. Graph..

[15]  J. Ratcliffe Foundations of Hyperbolic Manifolds , 2019, Graduate Texts in Mathematics.

[16]  I. Holopainen Riemannian Geometry , 1927, Nature.

[17]  Philip L. Bowers,et al.  INTRODUCTION TO CIRCLE PACKING: A REVIEW , 2008 .

[18]  S. Yau,et al.  Global conformal surface parameterization , 2003 .

[19]  Yalin Wang,et al.  Optimal global conformal surface parameterization , 2004, IEEE Visualization 2004.

[20]  B. Rodin,et al.  The convergence of circle packings to the Riemann mapping , 1987 .

[21]  Alla Sheffer,et al.  Parameterization of Faceted Surfaces for Meshing using Angle-Based Flattening , 2001, Engineering with Computers.

[22]  John Milnor,et al.  On the existence of a connection with curvature zero , 1958 .

[23]  Helmut Pottmann Spline Orbifolds Curves and Surfaces with Applications in Cagd 445 , 2007 .

[24]  Ron Goldman Computer graphics in its fifth decade: ferment at the foundations , 2003, 11th Pacific Conference onComputer Graphics and Applications, 2003. Proceedings..

[25]  Alla Sheffer,et al.  Fundamentals of spherical parameterization for 3D meshes , 2003, ACM Trans. Graph..

[26]  Shing-Tung Yau,et al.  Global Conformal Parameterization , 2003, Symposium on Geometry Processing.

[27]  Alyn P. Rockwood,et al.  Topological design of sculptured surfaces , 1992, SIGGRAPH.

[28]  Francis Lazarus,et al.  Optimal System of Loops on an Orientable Surface , 2005, Discret. Comput. Geom..

[29]  B. Chow,et al.  The Ricci flow on surfaces , 2004 .

[30]  Shing-Tung Yau,et al.  Geometric Accuracy Analysis for Discrete Surface Approximation , 2006, GMP.

[31]  W. Thurston,et al.  Three-Dimensional Geometry and Topology, Volume 1 , 1997, The Mathematical Gazette.

[32]  Y. C. Verdière Un principe variationnel pour les empilements de cercles , 1991 .

[33]  John F. Hughes,et al.  Parameterizing N-Holed Tori , 2003, IMA Conference on the Mathematics of Surfaces.

[34]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[35]  Richard S. Hamilton,et al.  The Ricci flow on surfaces , 1986 .

[36]  Wei Luo Error estimates for discrete harmonic 1-forms over Riemann surfaces , 2006 .

[37]  Peter Schröder,et al.  Discrete Willmore flow , 2005, SIGGRAPH Courses.

[38]  Guillermo Sapiro,et al.  Conformal Surface Parameterization for Texture Mapping , 1999 .