Parametric pseudo-manifolds

Abstract We introduce a novel and constructive definition of gluing data, and give the first rigorous proof that a universal manifold satisfying the Hausdorff condition can always be constructed from any set of gluing data. We also present a class of spaces called parametric pseudo-manifolds, which under certain conditions, are manifolds embedded in R n and defined from sets of gluing data. We give a construction for building a set of gluing data from any simplicial surface in R 3 . This construction is an improvement of the construction given in Siqueira et al. (2009) [1] , where the results were stated without proof. We also give a complete proof of the correctness of this construction making use of the crucial “property A.” The above results enable us to develop a methodology that explicitly yields manifolds in R n arising in several graphics and engineering applications.

[1]  Matthew Brand,et al.  Charting a Manifold , 2002, NIPS.

[2]  Hans-Peter Seidel,et al.  MovieReshape: tracking and reshaping of humans in videos , 2010, SIGGRAPH 2010.

[3]  Jos Stam,et al.  Flows on surfaces of arbitrary topology , 2003, ACM Trans. Graph..

[4]  J. Gallier,et al.  Construction of C ∞ Surfaces From Triangular Meshes Using Parametric Pseudo-Manifolds , 2008 .

[5]  Dinesh K. Pai,et al.  ArtDefo: accurate real time deformable objects , 1999, SIGGRAPH.

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

[7]  Ethan D. Bloch.  A First Course in Geometric Topology and Differential Geometry , 1996 .

[8]  Lexing Ying,et al.  A simple manifold-based construction of surfaces of arbitrary smoothness , 2004, ACM Trans. Graph..

[9]  Manfredo P. do Carmo,et al.  Differential geometry of curves and surfaces , 1976 .

[10]  Lexing Ying,et al.  A high-order 3D boundary integral equation solver for elliptic PDEs in smooth domains , 2006, J. Comput. Phys..

[11]  Wojciech Matusik,et al.  A data-driven reflectance model , 2003, ACM Trans. Graph..

[12]  Hans-Peter Seidel,et al.  View-independent environment maps , 1998, Workshop on Graphics Hardware.

[13]  F. W. Warner.  Foundations of Differentiable Manifolds and Lie Groups , 1971 .

[14]  L. Tu.  An introduction to manifolds , 2007 .

[15]  N. Steenrod.  Topology of Fibre Bundles , 1951 .

[16]  J. Gallier.  Curves and surfaces in geometric modeling: theory and algorithms , 1999 .

[17]  G. Elisabeta Marai,et al.  Estimating joint contact areas and ligament lengths from bone kinematics and surfaces , 2004, IEEE Transactions on Biomedical Engineering.

[18]  Anil K. Jain,et al.  Incremental nonlinear dimensionality reduction by manifold learning , 2006, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[20]  B. O'neill.  Semi-Riemannian Geometry With Applications to Relativity , 1983 .

[21]  Igor Guskov,et al.  Manifold-based approach to semi-regular remeshing , 2007, Graph. Model..

[22]  Denis Zorin,et al.  Surface modeling and parameterization with manifolds , 2005, SIGGRAPH Courses.

[23]  Shmuel Peleg,et al.  Panoramic mosaics by manifold projection , 1997, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[24]  N. Steenrod,et al.  Foundations of Algebraic Topology , 1952 .

[25]  John F. Hughes,et al.  Modeling surfaces of arbitrary topology using manifolds , 1995, SIGGRAPH.

[26]  M. Berger,et al.  Differential Geometry: Manifolds, Curves, and Surfaces , 1987 .

[27]  H. Piaggio.  Differential Geometry of Curves and Surfaces , 1952, Nature.

[28]  Jörg Peters,et al.  Subdivision Surfaces , 2002, Handbook of Computer Aided Geometric Design.

[29]  S. Chern.  Complex manifolds without potential theory , 1979 .

[30]  Elif Tosun,et al.  Manifold-based surfaces with boundaries , 2011, Comput. Aided Geom. Des..

[31]  Josep Cotrina Navau,et al.  Modeling surfaces from meshes of arbitrary topology , 2000, Comput. Aided Geom. Des..

[32]  Marc Alexa,et al.  Point set surfaces , 2001, Proceedings Visualization, 2001. VIS '01..

[33]  Luiz Velho,et al.  A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds , 2009, Comput. Graph..

[34]  Bert Jüttler,et al.  A construction of rational manifold surfaces of arbitrary topology and smoothness from triangular meshes , 2008, Comput. Aided Geom. Des..

[35]  Greg Turk,et al.  Generating textures on arbitrary surfaces using reaction-diffusion , 1991, SIGGRAPH.

[36]  Michael Kazhdan,et al.  Metric-aware processing of spherical imagery , 2010, SIGGRAPH 2010.

[37]  S. Lang.  Complex Analysis , 1977 .