Abstract:Background: In recent geometric design, many effective toolkits for geometric modeling and optimization have been proposed and applied in practical cases, while effective and efficient designing of shapes that have desirable topological properties remains to be a challenge. The development of computational topology, especially persistent homology, permits convenient usage of topological invariants in shape analysis, geometric modeling, and shape optimization. Persistence diagram, the useful topological summary of persistent homology, provides a stable representation of multiscale homology invariants in the presence of noise in original data. Recent works show the wide use of persistent homology tools in geometric design. Objective: In this paper, we review the geometric design based on computational topological tools in three aspects: the extraction of topological features and representations, topology-aware shape modeling, and topology-based shape optimization. Methods: By tracking the development of each aspect and comparing the methods using classical topological invariants, motivations, and key approaches of important related works based on persistent homology are clarified. Results : We review geometric design through topological extraction, topological design, and shape optimization based on topology preservation. Related works show the successful applications of computational topology tools of geometric design. Conclusion: Solutions for the proposed core problems will affect the geometric design and its applications. In the future, the development of computational topology may boost computer-aided topological design.

Topology preserving representations of compact 2D manifolds by digital 2-surfaces. Compressed digital models and digital weights of compact 2D manifolds. Classification of closed surfaces by digital tools

Intrinsic Topological Representation of Real Algebraic Surfaces

Graph Theoretical Models of Closed n-Dimensional Manifolds: Digital Models of a Moebius Strip, a Torus, a Projective Plane a Klein Bottle and n-Dimensional Spheres

On digital simply connected spaces and manifolds: a digital simply connected 3-manifold is the digital 3-sphere

Simple pairs of points in digital spaces. Topology-preserving transformations of digital spaces by contracting simple pairs of points

The Topological Complexity of Spaces of Digital Jordan Curves

Algorithms for Computing Topological Invariants in 2D and 3D Digital Spaces

Counterexamples for Topological Complexity in Digital Images

Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology

Properties of Digital n-Dimensional Spheres and Manifolds. Separation of Digital Manifolds

The Poincare conjecture for digital spaces. Properties of digital n-dimensional disks and spheres

On digital H-spaces

Subdivision of Maps of Digital Images

Topology Optimization on Two-Dimensional Manifolds

Homotopy Theory in Digital Topology

Introduction to the theory of digital spaces

Digital Geometry, a Survey

Digital homotopy relations and digital homology theories

Computational Topology and Its Applications in Geometric Design

Algorithms in 4-manifold topology

Strong digital topological complexity of digital maps