Related papers: Structure of some mapping spaces

We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…

We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent…

We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base…

We shall prove that a moduli space of flat irreducible Lie algebroid connections over a compact manifold has locally a natural structure of a smooth differentiable space. This is a generalization of some well known results for the moduli…

Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$…

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…

Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to…

If a separable Banach space contains an isometric copy of every separable reflexive Fr\'echet smooth Banach space, then it contains an isometric copy of every separable Banach space. The same conclusion holds if we consider separable Banach…

We review the geometric theory of \emp{smooth systems of smooth maps}, of \emp{smooth systems of smooth sections} of a smooth double fibred manifold and of \emp{smooth systems of smooth connections} of a smooth fibred manifold. Moreover,…

A Banach symmetric space in the sense of O. Loos is a smooth Banach manifold $M$ endowed with a multiplication map $\mu\colon M \times M \to M$ such that each left multiplication map $\mu_x := \mu(x,\cdot)$ (with $x \in M$) is an involutive…

In Floer theory one has to deal with two-level manifolds like for instance the space of $W^{2,2}$ loops and the space of $W^{1,2}$ loops. Gradient flow lines in Floer theory are then trajectories in a two-level manifold. Inspired by our…

Kontsevich's characteristic classes are invariants of framed smooth fiber bundles with homology sphere fibers. It was shown by Watanabe that they can be used to distinguish smooth $S^4$-bundles that are all trivial as topological fiber…

We discuss how stability is related to the D-topology of mapping spaces, equipped with the functional diffeology. Indeed, we show that stable classes of mapping spaces are D-open. After a reformulation of the classical stability theorem of…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

It is quite an interesting phenomenon in Topology that configuration spaces on a manifold M are intrinsically related to certain mapping spaces from M. In this paper we interpret and greatly expand on this relationship. Building (mainly) on…

We prove that the Teichm\"uller space of the Hirsch foliation (a minimal foliation of a closed 3-manifold by non-compact hyperbolic surfaces) is homeomorphic to the space of closed curves in the plane. This allows us to show that that the…

A diffeomorphism between the twistor spaces of two Riemannian metrics on a smooth manifold preserving the fibres is defined based on a well-known construction. It is shown that this bundle isomorphim is a holomorphic map with respect to the…

Let $X$ be a closed $3$-manifold, $\mathcal{M}_{R>0}$ the space of metrics on $X$ with positive scalar curvature, and $\text{Diff}(X)$ the group of diffeomorphisms of $X$. Marques proves the fundamental result that $\mathcal{M}_{R>0}/…

We construct open symplectic manifolds which are convex at infinity ("Liouville manifolds") and which are diffeomorphic, but not symplectically isomorphic, to cotangent bundles T^*S^{n+1}, for any n+1 \geq 3. These manifolds are constructed…

Let $B$ be Banach algebra and $M$ be topological space. If there exists homeomorphism \[ f:M\rightarrow N \] of topological space $M$ into convex set $N$ of the space $B^n$, then homeomorphism $f$ is called chart of the set $M$. The set $M$…