\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*{local addition}

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{remarks}{Remarks}\dotfill \pageref*{remarks} \linebreak
\noindent\hyperlink{charts_from_local_additions}{Charts from Local Additions}\dotfill \pageref*{charts_from_local_additions} \linebreak
\noindent\hyperlink{charts_for_}{Charts for $M$}\dotfill \pageref*{charts_for_} \linebreak
\noindent\hyperlink{charts_for_mapping_spaces}{Charts for Mapping Spaces}\dotfill \pageref*{charts_for_mapping_spaces} \linebreak
\noindent\hyperlink{diffeomorphisms_from_local_additions}{Diffeomorphisms from Local Additions}\dotfill \pageref*{diffeomorphisms_from_local_additions} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


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

At its simplest, a [[smooth manifold]] is a place where one can do calculus without worries. Let us consider the formula for a derivative:

\begin{displaymath}
f'(x) = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}
\end{displaymath}
From the fractional part of this, it appears that to be able to discuss calculus, we need to be working in a space which allows addition and scalar multiplication. However, the fact that we are considering a limit means that we only need to be able to do such things in a neighbourhood of a given point. That is, we need the concept of a \emph{local} addition.

Thus at its most general, a local addition at a point is simply the structure of a (piece of a) vector space near that point. This is, of course, the notion of a [[chart]]. At this point, one starts to think about notions of compatibility between different local additions. By concentrating on what it means for two charts to be compatible at a point, one soon arrives at the notion of an [[atlas]].

Another direction that one could take is to ask for a system of local additions, one for each point, and ask that these fit together in some nice manner as one moves over the manifold. This leads to the notion of a \textbf{local addition}.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

The broadest definition is the following.

\begin{defn}
\label{locadd}\hypertarget{locadd}{}
A \textbf{local addition} on $M$ consists of a vector bundle $\pi \colon E \to M$, an open neighbourhood of the zero section, $U \subseteq E$, and a smooth map $\eta \colon U \to M$ such that

\begin{enumerate}%
\item The composition of $\eta$ with the zero section of $E$ is the identity on $M$, and
\item there exists an open neighbourhood, say $V$, of the diagonal in $M \times M$ such that the map $\pi \times \eta \colon U \to M \times M$ is a diffeomorphism onto $V$.

\end{enumerate}
\end{defn}
\hypertarget{remarks}{}\subsubsection*{{Remarks}}\label{remarks}

\begin{enumerate}%
\item By considering the derivative of $\eta$, one can see that the bundle $E$ must be isomorphic to $T M$. However, it is not necessary to specify an isomorphism in advance since $\eta$ naturally defines one. Nonetheless, it is common simply to take $E = T M$.


\item Another way to simplify the definition is to take $U = E$. In \hyperlink{km}{KM \S{}42.4}, this is called a \emph{globally defined} local addition (though such a conjunction of ``global'' and ``local'' may grate). Given a local addition with arbitrary $U$, it is possible to define a ``globally defined'' one simply by using a smooth fibrewise embedding (preserving the zero section) of $E$ onto an open subset of $U$.


\item A useful source of local additions is from Riemannian geometry: the exponential map coming from a Riemannian structure defines a local addition.


\item Another source of local additions is to apply the tubular neighbourhood theorem to the embedding of the diagonal $M \to M \times M$.



\end{enumerate}
\hypertarget{charts_from_local_additions}{}\subsection*{{Charts from Local Additions}}\label{charts_from_local_additions}

\hypertarget{charts_for_}{}\subsubsection*{{Charts for $M$}}\label{charts_for_}

Local additions are used in constructing the manifold structure on certain mapping spaces. In brief, if $M$ is a manifold (possibly infinite dimensional) admitting a local addition, and if $N$ is a compact manifold (possibly with boundary) then $C^\infty(N,M)$ can be given the structure of a smooth manifold and the construction of the charts uses the local addition on $M$. For details, see \hyperlink{km}{KM \S{}42}. Applying this to the case $N = pt$, we obtain charts for $M$ itself. These charts are useful since then we have charts on both $M$ and the various mapping spaces which are all defined using the same method and so the relationships between them are that much clearer.

\begin{prop}
\label{Mcharts}\hypertarget{Mcharts}{}
Let $M$ be a smooth manifold, $\eta \colon E \supseteq U \to M$ a local addition on $M$. Let $V \subseteq M \times M$ be the image of $\pi \times \eta$. Let $p \in M$. Let $U_p \coloneqq E_p \cap U$ be the fibre of $U$ over $p$. Let $V_p \subseteq M$ be such that $\{p\} \times V_p = V \cap \left(\{p\} \times M\right)$. Then the restriction of $\eta$ to $U_p$ defines a diffeomorphism $\eta_p \colon U_p \to 
V_p$.

\end{prop}
\begin{proof}
Let us start by showing that $\eta_p$ is well-defined. Clearly, we can restrict $\eta$ to $U_p$ to get \emph{something}, the only question is its image. To find that, we look at the image of $U_p$ under $\pi \times \eta$. Since $U_p \subseteq E_p = \pi^{-1}(p)$, the image of $U_p$ is contained in $V \cap \left(\{p\} \times M\right)$, which is what we have called $V_p$. Conversely, if $q \in V_p$ then $(p,q) \in V$ and so $(\pi \times \eta)^{-1}(p,q) \in U$. Since $\pi(\pi \times \eta)^{-1}(p,q) = p$, we have $(\pi \times \eta)^{-1}(p,q) \in U \cap E_p$ and thus there is some $r \in U_p$ such that $\eta(r) = q$. Hence the image of $\eta_p$ is $V_p$ as claimed.

The rest follows from the simple fact that we can also define $\eta_p$ as the restriction of the diffeomorphism $(\pi \times \eta) \colon U \to V$ to the subset $U_p$ on the source and $\{p\} \times V_p$ on the target.

\end{proof}
\hypertarget{charts_for_mapping_spaces}{}\subsubsection*{{Charts for Mapping Spaces}}\label{charts_for_mapping_spaces}

Local additions are used to great effect in constructing charts for mapping spaces.

Let $M$ be a smooth manifold (possibly infinite dimensional). Let $N$ be a functionally compact [[Frölicher space]]. Let $P \subseteq M$ be a submanifold. Let $Q \subseteq N$ be a subset. We consider the space $C^\infty(N,M;Q,P)$ of smooth maps $N \to M$ which map $Q$ into $P$. 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)$ admits 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 $P$. 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) \subseteq P$. Let $E_g$ be the space of sections of $g^* T M$ with the property that the sections over $Q$ are constrained to lie in $g^* T P$. 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 \to g^* T M \to T M$ lies in $T P$.

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 functionally compact), we can embed $E_p$ as a closed subspace of $C^\infty(N,\mathbb{R}^n)$ for some $n$. This embedding shows that $E_p$ is a convenient vector space, in the sense of \hyperlink{km}{Kriegl and Michor}.

We define a map for $\Phi \colon E_g \to C^\infty(N,M;Q,P)$ 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$ lands in $T P$, whence $\eta \circ \hat{f}$ takes $Q$ into $P$. 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,P)$ 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)$. 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.

\emph{\ldots{} to be continued \ldots{}}

\hypertarget{diffeomorphisms_from_local_additions}{}\subsection*{{Diffeomorphisms from Local Additions}}\label{diffeomorphisms_from_local_additions}

Another useful construction from a local addition relates to diffeomorphisms. In differential topology, manifolds have a certain amount of ``flexibility'': a common picture is of a rubber sheet that can be deformed. The amount of flexibility is less than that allowed in algebraic topology, but certainly more than that in differential geometry. Being able to deform a manifold a little is a very useful trick in establishing the relationships between the various mapping spaces (for example, it is used in showing that the loop space fibration $\Omega M \to L M \to M$ is a [[fibre bundle]] and not just a fibration) and so it is useful to have a consistent way to perform these deformations that is compatible with a given local addition.

The aim of this construction is to produce, for each $v \in U$, a 1-parameter family of diffeomorphisms, $\phi_{(t,v)}$, such that $\phi_{(t,v)}(\pi(v)) = \eta(t v)$. That is, the basepoint $p = \pi(v)$ is deformed along the path $\eta(t v)$ to $\eta(v)$, and the rest of the manifold is dragged along behind it. (In actual fact, only a very small amount of the manifold is dragged along - although our manifolds are flexible, they have a high amount of tension.)

So let $\eta \colon U \to M$ be a local addition. Let $\nu \colon U \to \mathbb{R}$ be a smooth function with the following fibrewise property: for each $r \in \mathbb{R}$, the set $\{q \in U_p : \nu(q) \le r\}$ is a compact, [[radial]] subset. The square of the norm coming from a smooth orthogonal structure would suffice. Let $\rho \colon \mathbb{R} \to [0,1]$ be a smooth function such that $\rho(t) = 1$ for $t \le 0$ and $\rho(t) = 0$ for $t \ge 1$.

Now for $v \in U$, we define a vector field $\hat{X}_v$ on $U_p$, where $p = \pi(v)$, by

\begin{displaymath}
\hat{X}_v(w) \coloneqq \rho(\nu(w) - \nu(v))v
\end{displaymath}
Notice that if $\nu(w) \ge \nu(v) + 1$ then $\hat{X}_v(w) = 0$ whilst if $\nu(w) \le \nu(v)$ (so in particular if $w = t v$ for some $t \in [0,1]$) then $\hat{X}_v(w) = v$. By the first of these, we see that $\hat{X}_v$ is compactly supported on $U_p$. We can transfer it via $\eta_p$ to $V_p$ and, as it is compactly supported, extend it to all of $M$ by defining it to be $0$ outside $V_p$. Let us write $X_v$ for this vector field.

By construction, the map $v \to X_v$ is smooth. As $X_v$ is compactly supported, we can apply the exponentiation map $\mathcal{X}_c(M) \to Diff(M)$ and so obtain, for each $v \in U$, a 1-parameter family of diffeomorphisms of $M$, say $\phi_{(t,v)}$. From the construction of $X_v$, it is clear that all the ``action'' of this family of diffeomorphisms takes place in $V_p$. Moreover, by construction, the point $p$ moves along the line $t \mapsto \eta(t v)$ for $t \in [0,1]$.

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

\begin{itemize}%
\item Kriegl and Michor, \emph{A Convenient Setting of Global Analysis}

\end{itemize}
\begin{itemize}%
\item [[Andrew Stacey]], \emph{The Differential Topology of Loop Spaces} \href{http://www.math.ntnu.no/~stacey/Seminars/diffloop.html}{main page} (Note: this was designed as an ``easy reader'' version of \hyperlink{km}{KM})
\item [[Andrew Stacey]], \emph{Constructing Smooth Manifolds of Loop Spaces} \href{http://www.math.ntnu.no/~stacey/Research/Papers/smooth.html}{main page}

\end{itemize}


\end{document}