Related papers: Structure of some mapping spaces
We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions.…
We investigate horizontal conformality of a differential of a map between Riemannian manifolds where the tangent bundles are equipped with Cheeger--Gromoll type metrics. As a corollary, we characterize the differential of a map as a…
A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a…
A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A bisheaf over a topological space is a triple consisting of a sheaf, a cosheaf, and compatible maps from the stalks of…
We study pathwise $p$-th variation of continuous paths on a compact interval along a fixed partition sequence. Although the class of continuous paths with finite $p$-th variation is generally not linear, we develop a coefficient-based…
Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…
We have previously observed that the theory of solutions of partial differential equations, regarded as diffieties inside jet bundles, acquires a powerful comonadic formulation after passage from the category of Fr\'echet smooth manifolds…
We prove that dg manifolds of finite positive amplitude, i.e. bundles of positively graded curved $L_\infty[1]$-algebras, form a category of fibrant objects. As a main step in the proof, we obtain a factorization theorem using path spaces.…
Let \Sigma be a compact Riemann surface with n distinguished points p_1,...,p_n. We prove that the set of n-tuples (\phi_1,...,\phi_n) of univalent mappings \phi_i from the open unit disc into \Sigma mapping 0 to p_i, with non-overlapping…
The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic…
Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…
In this article we consider diffeomorphism groups of manifolds with smooth boundary. We show that the diffeomorphism groups of the manifold and its boundary fit into a short exact sequence which admits local sections. In other words, they…
We construct a Banach space satisfying that the nearest point map (also called proximity mapping or metric projection) onto any compact and convex subset is continuous but not uniformly continuous. The space we construct is locally…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice…
Usually, for extension of local maps, one uses multiplication by so called bump functions. However, majority of infinite-dimensional linear topological spaces do not have smooth bump functions. Therefore, in \cite{BR} we suggested a new…
Classes of branched surfaces extend the classes of surfaces or 2-dimensional manifolds satisfying suitable properties and defined in various manners. Reeb spaces of smooth maps of suitable classes into surfaces whose codimensions are…
Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…