Related papers: Metric spaces and homotopy types
Let $\mathcal{M} (X)$ denote the space of complete Riemannian metrics with non-positive sectional curvature and with negatively curved ends, on a manifold $X$. We show that $\mathcal{M} (\mathbb{R} \times S ^{1}) $ and $\mathcal{M}…
A shape of a combinatorial polytope is a convex embedding into Euclidean space. We provide necessary and sufficient conditions for a piecewise linear map between two shapes of the same polytope to be a compression (respectively a weak…
A topological group is constructed which is homotopy equivalent to the pointed loop space of a path-connected Riemannian manifold $M$ and which is given in terms of "composable small geodesics" on $M$. This model is analogous to J. Milnor's…
Function space topologies are developed for EC(Y,Z), the class of equi-continuous mappings from a topological space Y to a uniform space Z. Properties such as splittingness, admissibility etc. are defined for such spaces. The net theoretic…
For a sufficiently small scale $\beta>0$, the Vietoris$\unicode{x2013}$Rips complex $\mathcal{R}_\beta(S)$ of a metric space $S$ with a small Gromov$\unicode{x2013}$Hausdorff distance to a closed Riemannian manifold $M$ has been already…
Let $P\subset\R^d$ be a $d$-dimensional polytope. The {\em realization space} of~$P$ is the space of all polytopes $P'\subset\R^d$ that are combinatorially equivalent to~$P$, modulo affine transformations. We report on work by the first…
On a general open set of the euclidean space, we study the relation between the embedding of the homogeneous Sobolev space $\mathcal{D}^{1,p}_0$ into $L^q$ and the summability properties of the distance function. We prove that in the…
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with…
We prove that any continuous mapping $f:E\to Y$ on a completely metrizable subspace $E$ of a perfect paracompact space $X$ can be extended to a Lebesgue class one mapping $g:X\to Y$ (i.e. for every open set $V$ in $Y$ the preimage…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
For a closed symplectic manifold $(M,\omega)$ with compatible Riemannian metric $g$ we study the Sobolev $H^1$ geometry of the group of all $H^s$ diffeomorphisms on $M$ which preserve the symplectic structure. We show that, for sufficiently…
In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can…
We study homogeneous metric spaces, by which we mean connected, locally compact metric spaces whose isometry group acts transitively. After a review of some classical results, we use the Gleason-Iwasawa-Montgomery-Yamabe-Zippin structure…
We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris…
This paper is a follow-up to the author's work "Topology of probability measure space, I" devoted to investigation of the functors $\hat P$ and $P_\tau$ of spaces of probability $\tau$-smooth and Radon measures. In this part, we study the…
We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…
In this paper, we investigate the existence and uniqueness of fixed points for self-mappings defined on bipolar metric spaces using a new class of contractive conditions, namely polynomial-type contractions. Our main results establish…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
Persistent homology is a fundamental tool in Topological Data Analysis. The associated algebraic structure is the persistence module, a sequence of vector spaces connected by linear maps. Persistence modules admit a complete and…