Related papers: Structure of some mapping spaces

We study geometrical aspects of the space of fibrations between two given manifolds M and B, from the point of view of Frechet geometry. As a first result, we show that any connected component of this space is the base space of a…

For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is…

Let $M$ be any $n$ dimensional smooth manifold and $PM$ be the space of all smooth paths, then we showed that $PM$ is a smooth manifold modelled over a complete normable space. We discussed many geometric structure on Path spaces and its…

This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…

We construct an explicit transitive free action of a Banach space of H\"older functions on the space of branched rough paths, which yields in particular a bijection between theses two spaces. This endows the space of branched rough paths…

We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of…

We study affine maps between affine manifolds. Even when the fibers are compact and diffeomorphic, two of them can inherit different affine structures from the source space. This leads to a fixed linear holonomy deformation theory of the…

We prove that the spaces of controlled (branched) rough paths of arbitrary order form a continuous field of Banach spaces. This structure has many similarities to an (infinite-dimensional) vector bundle and allows to define a topology on…

We study the space of oriented genus g subsurfaces of a fixed manifold M, and in particular its homological properties. We construct a "scanning map" which compares this space to the space of sections of a certain fibre bundle over M…

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and…

We provide sufficient conditions for a mapping acting between two Banach spaces to be a diffeomorphism.

Let $p_E : E \to M$ be a fibre bundle over the $m$-dimensional manifold $M$ whose typical fibre is the vector space $\R^e$ and let $p_F : F \to N$ be a fibre bundle over the $n$-dimensional manifold $N$ whose typical fibre is the vector…

We study the Disc-structure space $S^{\rm Disc}_\partial(M)$ of a compact smooth manifold $M$. Informally speaking, this space measures the difference between $M$, together with its diffeomorphisms, and the diagram of ordered framed…

Let $M$ be a closed manifold and let $N$ be a connected manifold without boundary. For each $k\in\mathbb{N}$ the set of $k$ times continuously differentiable maps between $M$ and $N$ has the structure of a smooth Banach manifold where the…

Any leafwise connection on a fibre bundle over a foliated manifold is proved to come from a connection on this fibre bundle.

A diffeological space is a set equipped with a smooth structure, known as a diffeology, which allows us to extend certain notions from manifolds to these more general spaces. We study a generalized notion of tangent space to a point of a…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

Around 1960, R. Palais and J. Cerf proved a fundamental result relating spaces of diffeomorphisms and imbeddings of manifolds: If V is a submanifold of M, then the map from Diff(M) to Imb(V,M) that takes f to its restriction to V is locally…

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures…