Related papers: Differentiability, Convenient Spaces and Smooth Di…
We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of…
The essential role played by differentiable structures in physics is reviewed in light of recent mathematical discoveries that topologically trivial space-time models, especially the simplest one, ${\bf R^4}$, possess a rich multiplicity of…
We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions…
Let $M$ be a compact smooth manifold with corners and $N$ be a finite dimensional smooth manifold without boundary which admits local addition. We define a smooth manifold structure to general sets of continuous mapings $\mathcal{F}(M,N)$…
Several methods have been proposed to define tangent spaces for diffeological spaces. Among them, the internal tangent functor is obtained as the left Kan extension of the tangent functor for manifolds. However, the right Kan extension of…
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…
Given a manifold with boundary, one can consider the space of subsurfaces of this manifold meeting the boundary in a prescribed fashion. It is known that these spaces of subsurfaces satisfy homological stability if the manifold has at least…
This article is a continuation of my former article "On Connectivity Spaces". After some brief historical references relating to the subject, separation spaces and then adjoint notions of connective representation and connective foliation…
Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology…
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…
A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of…
In this paper, we study some relationships existing between some particular mathematical structures: discrete surfaces coming from discrete topology and mathematical morphology, poset-based connected manifolds coming from discrete topology,…
We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…
We investigate a tangent space at a point of a general metric space and metric space valued derivatives. The conditions under which two different subspace of a metric space have isometric tangent spaces in a common point of these subspaces…
We develop a theory of conically smooth stratified spaces and their smooth moduli, including a notion of classifying maps for tangential structures. We characterize continuous space-valued sheaves on these conically smooth stratified spaces…
We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of…
This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am…
We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which…
We show that on certain diffeological spaces there exist linear derivations that satisfy the Leibniz rule but are not smooth with respect to the given diffeology. This reveals that the notion of tangent space defined via all such…
This paper provides a diffeomorphism classification of smooth manifolds homeomorphic to the complex projective space $\mathbb{C}P^m$ for $m \in \{5, 6, 7, 8\}$. The classification is obtained by computing the group of concordance classes of…