\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{manifold structure of mapping spaces}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{differential_geometry}{}\paragraph*{{Differential geometry}}\label{differential_geometry}

[[!include synthetic differential geometry - contents]]

\hypertarget{mapping_space}{}\paragraph*{{Mapping space}}\label{mapping_space}

[[!include mapping space - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{ConstructionOfSmoothManifoldStructureOnMappingSpace}{Construction of smooth manifold structure on mapping space}\dotfill \pageref*{ConstructionOfSmoothManifoldStructureOnMappingSpace} \linebreak
\noindent\hyperlink{background_and_remarks}{Background and Remarks}\dotfill \pageref*{background_and_remarks} \linebreak
\noindent\hyperlink{Charts}{Charts}\dotfill \pageref*{Charts} \linebreak
\noindent\hyperlink{transition_functions}{Transition functions}\dotfill \pageref*{transition_functions} \linebreak
\noindent\hyperlink{conclusion}{Conclusion}\dotfill \pageref*{conclusion} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{RelationBetweenDiffeologicalAndFrechetStructure}{Relation between diffeological and Fr\'e{}chet manifold structure}\dotfill \pageref*{RelationBetweenDiffeologicalAndFrechetStructure} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The category of [[smooth manifolds]] is not [[cartesian closed]], even when [[infinite-dimensional manifolds]] are allowed. However, that does not mean that \emph{no} [[mapping spaces]] between certain smooth manifolds can be given the structure of a smooth manifold. This is true when the source is [[compact topological space|compact]]. Thus, in particular, this applies to [[loop spaces]].

The method of proving this depends mostly on the structure of the target and only minimally on that of the source. It is not hard to generalise it to [[manifolds with boundary]] (to get, for example, [[path spaces]]), or even manifolds with corners. This raises the obvious question as to how general this result can be made. The purpose of this page is to determine the answer. Our conjecture is the following:

\begin{theorem}
\label{mfdconj}\hypertarget{mfdconj}{}
Let $N$ be a [[Frölicher space]] whose [[curvaceous topology]] is [[sequentially compact]]. Let $M$ be a smooth manifold that admits a [[local addition]]. Then the Fr\"o{}licher space of smooth maps from $N$ to $M$ is a smooth manifold.

\end{theorem}
\hypertarget{ConstructionOfSmoothManifoldStructureOnMappingSpace}{}\subsection*{{Construction of smooth manifold structure on mapping space}}\label{ConstructionOfSmoothManifoldStructureOnMappingSpace}

\begin{quote}%
The following needs attention. For a more recent version see (\hyperlink{Stacey}{Stacey}).


\end{quote}
\hypertarget{background_and_remarks}{}\subsubsection*{{Background and Remarks}}\label{background_and_remarks}

The question discussed here can be viewed as the counterpoint to the oft-heard maxim (attributed to Grothendieck):

\begin{quote}%
It is better to work in a nice category with nasty objects than in a nasty category with nice objects.


\end{quote}
Smooth manifolds are an example of ``nice objects in a nasty category''; for example, one can rarely take subobjects or quotients. The standard procedure at this point is to embed the nasty category in some larger, nicer category and work there. In the case of smooth manifolds, this has led to all of the categories that are listed at [[generalized smooth space]].

One can now go on to study this enlarged category, and investigate how much of what is known about the original category extends to the larger one. In this line, the original category is viewed mainly as a source of ideas. An alternative approach, and that taken here, is to view the original category as being a subcategory of ``special objects'' inside the larger one.

One can make an analogy with the real and complex numbers. Many aspects of the study of real numbers become much easier and clearer when extended to the complex numbers. At this point, one has a choice: one can simply study the complex numbers or one can use the complex numbers as a tool to study the real ones.

Thus, to adapt a saying of Hadamard (\href{Jacques+Hadamard#TheShortestPath}{here}), we could introduce our own maxim:

\begin{quote}%
The shortest distance between two truths about nice objects often lies in a nice category.


\end{quote}
Having mentioned the plethora of extensions of the category of smooth manifolds, we should comment on our choice of [[Frölicher spaces]]. The inclusion of the category of smooth manifolds into each of the extensions factors through the category of Fr\"o{}licher spaces. Therefore, if we work in, say, the category of [[diffeological spaces]] then we can split the question ``Is the diffeological space $X$ a smooth manifold?'' into ``Is $X$ a Fr\"o{}licher space?'' and ``Is the resulting Fr\"o{}licher space a manifold?''. Moreover, as we are interested in $C^\infty(N,M)$ with $M$ a smooth manifold (and thus a Fr\"o{}licher space), then if we are working with one of the ``maps in'' approaches, we can replace the $N$ in $C^\infty(N,M)$ by its ``Fr\"o{}licherification'' without changing the set. Thus the key piece of the puzzle is to study $C^\infty(N,M)$ for $N$ a Fr\"o{}licher space and the rest will follow by applying ``general nonsense''.

Another remark worth saying is that the conjecture stated is not the most general statement that could be considered. It is simple to extend this conjecture to a relative version whereby $M$ is equipped with a family of submanifolds and $N$ with a family of subsets and the maps are constrained to take the subsets to the corresponding submanifolds.

Finally, let us note that the main results about the linear model spaces are recorded on the page [[linear mapping spaces]].

\hypertarget{Charts}{}\subsubsection*{{Charts}}\label{Charts}

Let $M$ be a [[smooth manifold]] (possibly [[infinite dimensional smooth manifold|infinite dimensional]]) modelled on the [[convenient vector space]] $V$. Let $N$ be a [[sequentially compact]] [[Frölicher space]]. Let $\{P_i : P_i \subseteq M\}$ be a family of submanifolds of $M$. Let $\{Q_i : Q_i \subseteq N\}$ be a [[family of subsets]] of $N$ with the same indexing set.

\begin{defn}
\label{TheMappingSpace}\hypertarget{TheMappingSpace}{}
We write $C^\infty(N,M;Q_i,P_i)$ for the set of [[smooth functions]] $N \to M$ which map each $Q_i$ into the corresponding $P_i$.

\end{defn}
As a smooth manifold, $M$ naturally has the structure of a Fr\"o{}licher space so this mapping space is well-defined.

We assume that the \emph{pair} $(M,\{P_i\})$ admits a [[local addition]]. By that, we mean that $M$ admits a local addition, say $\eta$, with the property that it restricts to a local addition on each $P_i$. We shall also assume, for simplicity, that the domain of $\eta$ is $T M$.

Let $g \colon N \to M$ be a smooth map with $g(Q_i) \subseteq P_i$. Let $E_g$ be the space of sections of $g^* T M$ with the property that the sections over each $Q_i$ are constrained to lie in the corresponding $g^* T P_i$. In more detail, we define $g^* T M$ in the usual manner:

\begin{displaymath}
g^* T M \coloneqq \{(x,v) \in N \times T M : g(x) = \pi(v)\}
\end{displaymath}
and then take the space of smooth maps $f \colon N \to g^* T M$ with the property that the composition $N \to g^* T M \to N$ is the identity. Within that space, we further restrict to those $f$ such that the image of the map $Q_i \to g^* T M \to T M$ lies in $T P_i$.

Although $N$ could be quite complicated, because $T M \to M$ is a vector bundle, $E_g$ is a vector space. Furthermore, by trivialising $g^* T M$ using a finite number of trivialisations (possible as $N$ is sequentially compact), we can embed $E_p$ as a closed subspace of $C^\infty(N,V^n)$ for some $n$. This embedding shows that $E_p$ is a [[convenient vector space]], in the sense of \hyperlink{km}{Kriegl and Michor}.

[[Andrew Stacey]] This, I think, is the crucial part: that $E_p$ is a convenient vector space. I need to expand on this and check that all is as I think it is.

We define a map for $\Phi \colon E_g \to C^\infty(N,M;\{Q_i\},\{P_i\})$ as follows. Let $f \in E_p$. Then $f$ is a section of $g^* T M$ and so is a map $N \to g^* T M$. By the definition of $g^* T M$, we can think of $f$ as a map $N \to N \times T M$ which projects to the identity on the first factor. By applying the projection to the second factor, we obtain a map $\hat{f} \colon N \to T M$. Composing with $\eta$ produces a map $\eta \circ \hat{f} \colon N \to M$. As $f \in E_g$, the restriction of $\hat{f}$ to $Q_i$ lands in $T P_i$, whence $\eta \circ \hat{f}$ takes $Q_i$ into $P_i$. The map $f \mapsto \eta \circ \hat{f}$ is what we call $\Phi$.

Let us identify its image. Let $V \subseteq M \times M$ be the image of the local addition. Define $U_g \subseteq C^\infty(N,M;\{Q_i\},\{P_i\})$ to be the set of those functions $h$ such that $(g,h) \colon N \to M \times M$ takes values in $V$. We claim that the image of $\Phi$ is $U_g$ and that $\Phi$ is a bijection $E_g \to U_g$.

Let us start with the image. Let $h \in U_g$. Then $(g,h) \colon N \to M \times M$ takes values in $V$, so we can compose with $(\pi \times \eta)^{-1}$ to get a map $\check{h} \colon N \to T M$. Together with the identity on $N$, we get a map $N \to N \times T M$. By construction, $\pi \check{h} = g$ and so this map ends up in $g^* T M$ (which has the subspace structure). Again by construction, the projection of this map to $N$ is the identity and so it is a section of $g^* T M$. That it takes $Q$ to $T P$ follows from the fact that $\eta$ restricts to a local addition on $P$, whence as $h(Q) \subseteq P$, $\check{h}(Q) \subseteq T P$. Hence $\Phi$ is onto. Moreover, this construction yields the inverse of $\Phi$ and so it is a bijection.

Thus we have charts for $C^\infty(N,M;Q,P)$.

\hypertarget{transition_functions}{}\subsubsection*{{Transition functions}}\label{transition_functions}

The next step is the transition functions. To prove this in full generality, we assume not just two different functions at which to base our charts, but also two different local additions to define them. This will show that our resulting manifold structure is independent of this choice. We could go further than we do, and allow our local additions to be in the most general form given at [[local addition]], but this would crowd the notation with little benefit.

Thus we start with $g_1, g_2 \in C^\infty(N,M;Q,P)$ and two local additions $\eta_1, \eta_2 \colon T M \to M$. Let us write $V_1$ and $V_2$ for the images of $(\pi \times \eta_1)$ and $(\pi \times \eta_2)$. Let $E_1 = E_{g_1}$ and $E_2 = E_{g_2}$.

We define $W_{1 2} \in g_1^* T M$ as follows. We describe a point in $g_1^* T M$ by specifying its point in $N \times T M$.

\begin{displaymath}
W_{1 2} \coloneqq \{(x,v) \in g_1^* T M : (g_2(x),\eta_1(v)) \in V_2\}
\end{displaymath}
and $W_{2 1} \subseteq g_2^* T M$ similarly.

\begin{lemma}
\label{diff}\hypertarget{diff}{}
$W_{1 2} \cong W_{2 1}$

\end{lemma}
\begin{proof}
The map $g_2 \times \eta_1 \colon N \times T M \to M \times M$ is smooth and so the preimage of $V_2$ under this map is open in $N \times T M$. Thus $W_{1 2}$ is open in $g^* T M$ and the map $(x, v) \mapsto (g_2(x), \eta_1(v))$ is a smooth map $W_{1 2} \to V_2$. Since $(\pi \times \eta_2) \colon T M \to V_2$ is a diffeomorphism, we can define a smooth map $\theta_1 \colon W_{1 2} \to T M$ by

\begin{displaymath}
\theta_1(x,v) = (\pi \times \eta_2)^{-1}(g_2(x), \eta_1(v))
\end{displaymath}
Now

\begin{displaymath}
\pi \theta_1(x,v) = \pi(\pi \times \eta_2)^{-1}(g_2(x),\eta_1(v)) = g_2(x)
\end{displaymath}
so $\theta_1(x,v) \in T_{g_2(x)} M$ and thus $(x,\theta_1(x,v)) \in g_2^* T M$ for all $(x,v) \in W_{1 2}$. Then

\begin{displaymath}
\eta_2 \theta_1(x,v) = \eta_2(\pi \times \eta_2)^{-1}(g_2(x),\eta_1(v)) = \eta_1(v)
\end{displaymath}
so $(g_1(x),\eta_2\theta_1(x,v)) = (g_1(x),\eta_1(v))$ which is in $V_1$. Hence $(x,\theta_1(x,v)) \in W_{2 1}$. Thus we have a map

\begin{displaymath}
\phi_{2 1} \colon W_{1 2} \to W_{2 1}, \qquad \phi_{1 2}(x,v) = (x, \theta_1(x,v))
\end{displaymath}
Similarly, we have a map $\phi_{1 2}$ in the other direction. Both of these maps are smooth since they are smooth into $N \times T M$.

Let us consider $\phi_{1 2}\phi_{2 1}(x,v)$. Expanding this out yields:

\begin{displaymath}
\begin{aligned}
\phi_{1 2}\phi_{2 1}(x,v) &= \phi_{1 2}(x, \theta_1(x,v)) \\
&=(x, \theta_2(x, \theta_1(x,v))) \\
&=(x, (\pi \times \eta_1)^{-1}(g_1(x), \eta_2\theta_1(x,v))) \\
&=(x, (\pi \times \eta_1)^{-1}(g_1(x), \eta_1(v))) \\
&=(x, (\pi \times \eta_1)^{-1}(\pi(v),\eta_1(v))) \\
&=(x,v)
\end{aligned}
\end{displaymath}
where we have used the fact that $(x,v) \in g_1^*T M$ so $\pi(v) = g_1(x)$. Thus $\phi_{2 1}$ and $\phi_{1 2}$ are inverses, whence they are diffeomorphisms.

\end{proof}
\begin{lemma}
\label{trans}\hypertarget{trans}{}
The transition function is $f \mapsto \phi_{2 1} \circ f$.

\end{lemma}
\begin{proof}
Let us start with the domain and codomain of the transition function. The domain is $\{f \in E_1 : \Phi_1(f) \in U_2\}$. The set $U_2$ consists of those functions $h \colon N \to M$ such that $(g_2, h)$ takes values in $V_2$. Thus $\Phi_1(f) \in U_2$ if and only if $(g_2, \Phi_1(f)) \in V_2$. Since $\Phi_1(f) = \eta_1 \circ \hat{f}$, we see that for $x \in N$, $v \coloneqq \hat{f}(x) \in T M$ must be such that $(g_2(x), \eta_1(v)) \in V_2$. This is precisely the condition that $(x,v)$ be in $W_{1 2}$. Thus the domain of the transition function is the set of sections $f \in E_1$ such that $f(x) \in W_{1 2}$ for each $x \in N$.

The transition function, $\Psi_{2 1}$, is given by $\Psi_{2 1} = \Phi_2^{-1} \Phi_1$. It is therefore completely characterised by the fact that $\Phi_2 \Psi_{2 1} = \Phi_1$.

Let us consider $\Phi_2$ applied to $\psi_{2 1} \circ f$ for $f \in E_1$ such that $f$ takes values in $W_{1 2}$. Expanding out the definition, we have:

\begin{displaymath}
\begin{aligned}
(\psi_{2 1} \circ f)(x) &= \psi_{2 1}(f(x)) \\
&= (x, \theta_1(x, \hat{f}(x))) \\
&= (x, (\pi \times \eta_2)^{-1}(g_2(x), \eta_1\hat{f}(x)))
\end{aligned}
\end{displaymath}
Now the result applying $\Phi_2$ to $h$ is $\eta_2 \circ h$ where $h(x) = (x, \hat{h}(x))$. Thus the result of applying $\Phi_2$ to $\psi_{2 1} \circ f$ is the function

\begin{displaymath}
x \mapsto \eta_2 (\pi \times \eta_2)^{-1}(g_2(x), \eta_1\hat{f}(x)) = \eta_1\hat{f}(x)
\end{displaymath}
which is exactly the same function as $\Phi_1(f)$. Hence

\begin{displaymath}
\Psi_{2 1}(f) = \psi_{2 1} \circ f
\end{displaymath}
and thus $\Psi_{2 1}$ is a diffeomorphism.

\end{proof}
\hypertarget{conclusion}{}\subsubsection*{{Conclusion}}\label{conclusion}

In conclusion we have

\begin{corollary}
\label{cordiff}\hypertarget{cordiff}{}
The mapping space $C^\infty(N,M;\{Q_i\},\{P_i\})$ of def. \ref{TheMappingSpace} equipped with charts as discussed \hyperlink{Charts}{above} is a smooth manifold.

\end{corollary}
\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\hypertarget{RelationBetweenDiffeologicalAndFrechetStructure}{}\subsubsection*{{Relation between diffeological and Fr\'e{}chet manifold structure}}\label{RelationBetweenDiffeologicalAndFrechetStructure}

Since smooth manifolds form a [[full subcategory]] of [[diffeological spaces]], the mapping space $C^\infty(X,Y)$ between two manifolds always exists canonically as a diffeological space:

\begin{defn}
\label{}\hypertarget{}{}
For $U \in$ [[CartSp]], a smooth plot of $C^\infty(X,Y)_{diff}$ over $U$ is a [[smooth function]] $U \times X \to Y$ (hence a $U$-parameterized smooth collection of smooth functions $X \to Y$).

\end{defn}
If $X$ is a [[compact manifold]] then there is also the structure of a [[Fréchet manifold]] $C^\infty(X,Y)_{Fr}$ on the mapping space. We discuss that and how these two smooth structures coincide.

\begin{defn}
\label{}\hypertarget{}{}
Define a functor

\begin{displaymath}
\iota \colon FrechetManifolds \to DiffeologicalSpaces
\end{displaymath}
in the evident way by taking for $X$ a [[Fréchet manifold]] for any $U \in$ [[CartSp]] the set of $U$-plots of $\iota(X)$ to be the set of smooth functions $U \to X$.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
The functor $\iota \colon FrechetManifolds \hookrightarrow DiffeologicalSpaces$ is a [[full and faithful functor]].

\end{prop}
This appears as (\hyperlink{Losik}{Losik, theorem 3.1.1}).

Since moreover diffeological spaces are fully faithful in [[smooth sets]] (them being precisely the [[concrete objects]] in smooth sets), this implies in particular that Frechet manifolds are fully faithful in [[smooth sets]]

\begin{displaymath}
FrechetManifolds 
    \hookrightarrow 
  DiffeologicalSpaces
    \hookrightarrow
  SmoothSets
  \,.
\end{displaymath}
\begin{prop}
\label{}\hypertarget{}{}
Let $X, Y \in SMoothManifold$ with $X$ a [[compact manifold]].

Then under this embedding, the diffeological mapping space structure $C^\infty(X,Y)_{diff}$ on the mapping space coincides with the Fr\'e{}chet manifold structure $C^\infty(X,Y)_{Fr}$:

\begin{displaymath}
\iota(C^\infty(X,Y)_{Fr})
  \simeq
  C^\infty(X,Y)_{diff}
  \,.
\end{displaymath}
\end{prop}
This appears as (\hyperlink{Waldorf}{Waldorf, lemma A.1.7}).

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item M. V. Losik, \emph{Categorical Differential Geometry} Cah. Topol. G\'e{}om. Diff\'e{}r. Cat\'e{}g., 35(4):274--290, 1994.


\item [[Konrad Waldorf]] \emph{Transgression to Loop Spaces and its Inverse I} (\href{http://arxiv.org/abs/0911.3212}{arXiv:0911.3212})


\item [[Andrew Stacey]], \emph{Yet more smooth mapping spaces and their smoothly local properties} arXiv:\href{http://arxiv.org/abs/1301.5493}{1301.5493}



\end{itemize}
Generalising the Lie group structure on the diffeomorphisms of a manifold, the case of non-compact [[orbifolds]] is in

\begin{itemize}%
\item [[Alexander Schmeding]], \emph{The diffeomorphism group of a non-compact orbifold}, PhD thesis, Paderborn 2013, Dissertationes Math. (Rozprawy Mat.) \textbf{507} (2015), DOI: \href{http://dx.doi.org/10.4064/dm507-0-1}{10.4064/dm507-0-1}, \href{http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466:2-12166}{nbn-resolving.de/urn:nbn:de:hbz:466:2-12166}, arXiv:\href{https://arxiv.org/abs/1301.5551}{1301.5551}

\end{itemize}
The generalization to [[mapping stacks]] of [[differentiable stacks]] is discussed in

\begin{itemize}%
\item [[David Roberts]], [[Raymond Vozzo]], \emph{The smooth Hom-stack of an orbifold} (\href{https://arxiv.org/abs/1610.05904}{arXiv:1610.05904})

\end{itemize}
[[!redirects mapping spaces that are manifolds]]

[[!redirects smooth mapping space]] [[!redirects smooth mapping spaces]] [[!redirects manifolds of mapping spaces]]



\end{document}