Abstract:We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL manifolds respectively. Using the framework of computable topology and Type-2 theory of effectivity, we develop computable versions of all the basic concepts needed to define manifolds, like computable atlases and (computably) compatible computable atlases. We prove that given a computable atlas $\Phi$ defined on a set $M$, we can construct a computable topological space $(M, \tau_\Phi, \beta_\Phi, \nu_\Phi)$, where $\tau_\Phi$ is the topology on $M$ induced by $\Phi$ and that the equivalence class of this computable space characterizes the computable structure determined by $\Phi$. The concept of computable submanifold is also investigated. We show that any compact computable manifold which satisfies a computable version of the $T_2$-separation axiom, can be embedded as a computable submanifold of some euclidean space $\mathbb{R}^{q}$, with a computable embedding, where $\mathbb{R}^{q}$ is equipped with its usual topology and some canonical computable encoding of all open rational balls.

A metric for the space of submanifolds of Galatius and Randal-Williams

Metrization of Gromov-Hausdorff-type topologies on boundedly-compact metric spaces

On Modular b-Metrics

On a Generalization of Quasi-metric Space

Metric characterization of connectedness for topological spaces

Computable structures on topological manifolds

The Metric Completion of the Space of Vector-Valued One-Forms

Lagrangian metric geometry with Riemannian bounds

Some very low-dimensional algebraic topology

Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups

On generalized metrics of Vandermonde type

The Hamming Distance and the Fell Topology on AF Algebras

Comparing Metrics on Arbitrary Spaces using Topological Data Analysis

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

A Unified Framework for Generalizing the Gromov-Hausdorff Metric

The uniform convergence topology on separable subsets

Topological Vector Spaces: a non-standard approach with monads and galaxies

On the Topology of the Space of Negatively Curved Metrics

Topology of the space of conormal distributions

Sobolev Metrics on Spaces of Discrete Regular Curves