\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*{locally additive space}



\hypertarget{title}{}\section*{{Locally Kinematic Spaces}}\label{title}

\hypertarget{author}{}\paragraph*{{Andrew Stacey}}\label{author}

\noindent\hyperlink{author}{Andrew Stacey}\dotfill \pageref*{author} \linebreak
\noindent\hyperlink{introduction}{Introduction}\dotfill \pageref*{introduction} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{mapping_spaces}{Mapping Spaces}\dotfill \pageref*{mapping_spaces} \linebreak
\noindent\hyperlink{local_structure}{Local Structure}\dotfill \pageref*{local_structure} \linebreak
\noindent\hyperlink{related_concepts}{Related Concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\begin{section}
\label{sectiona}\hypertarget{sectiona}{}
\end{section}
\hypertarget{introduction}{}\subsection*{{Introduction}}\label{introduction}

The various categories of [[generalised smooth spaces]] were introduced to correct defects with the category of [[smooth manifolds]]. The category of manifolds, it is felt, is not big enough. There are things that behave like manifolds but which, for seemingly trivial reasons, are not considered as such: things like [[manifolds with corners]] or [[infinite dimensional manifolds]]. It is also relatively easy to break the structure of a manifold by doing things that most category theorists would regard as fairly trivial: taking subobjects, equalisers, and quotients being a few. So with the oft-heard cry of: It is better to work in a nice category with some nasty objects than a nasty category with only nice objects; people created various extensions of the category of smooth spaces to correct these limitations.

However, having built a suitable nice category, the ``nice objects'' (that is to say, the manifolds) are still inside it and it is a natural question as to how to identify these nice objects in amongst the nasty ones. The obvious answer is tautological: the manifolds are those objects that I first thought of. The real problem with this is that it is an external characterisation. A better characterisation would be one that could take an object from one of these categories and examine it purely within that category and conclude whether or not it was a manifold. This might lead to more things being called a manifold than were originally thought of, but should give a characterisation better knit to what a manifold actually is than just what happens to be our current best description thereof.

An example of this sort of result is [[Sta11](\#citeStacey3), Proposition 8.3] where it was shown that in the category of [[Froelicher space|Frölicher spaces]], it is possible to \emph{categorically} pick out $\mathbb{R}$.

The purpose of this page is to study a possible description of manifolds. The description is motivated by the construction of [[manifolds of smooth maps]]. A key component in constructing those spaces is that of a [[local addition]] on the target space. Therefore our first approximation is that of \emph{locally additive} spaces, namely spaces that are equipped with a local addition.

The rough idea behind a local addition is simple. In any of the categories of [[generalised smooth spaces]], it is straightforward to define the notion of the tangent space at a point in a smooth space. Part of the data in a local addition says that near a point, the space is modelled on its tangent space. This would appear to instantly show that the space was locally Euclidean (or, at least, locally modelled on some vector space) except for the fact that tangent spaces are not automatically vector spaces.

The rest of the data in a local addition says that this modelling must vary smoothly over the space. This translates into the transition functions being smooth.

Thus a locally additive space is locally smoothly modelled in its tangent spaces. The key difference between this and the notion of a smooth manifold is that a locally additive space is somewhat tortoise-like in that it carries its model spaces around with it, rather than having them imposed from outside.

\begin{section}
\label{sectionb}\hypertarget{sectionb}{}
\end{section}
\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

We assume throughout that we have fixed upon one of the categories of [[generalised smooth space]].

The page [[local addition]] has the definition of a local addition for a smooth manifold. This is almost the same definition for us here, except that our underlying space is a generalised smooth space and we don't assume that the source is a vector bundle. We shall also work with the most precise version. Putting all of this together, we shall use the following definition.

\begin{defn}
\label{defna}\hypertarget{defna}{}
Let $X$ be a smooth space. A \emph{local addition} on $X$ is a smooth map $\eta \colon T X \to X$ with the following properties: ~

\begin{enumerate}%
\item \begin{enuma}
\label{enumaZa}\hypertarget{enumaZa}{}
\end{enuma}
The composition of $\eta$ with the zero section is the identity on $X$,


\item \begin{enuma}
\label{enumaZb}\hypertarget{enumaZb}{}
\end{enuma}
There is an open neighbourhood, say $V$, of the diagonal in $X \times X$ such that $\pi \times \eta \colon T X \to X \times X$ induces a diffeomorphism with image $V$, and


\item \begin{enuma}
\label{enumaZc}\hypertarget{enumaZc}{}
\end{enuma}
For $x \in X$, the composition

\begin{displaymath}
T_{x} X \xrightarrow[\cong ]{} T_{0} T_{x} X \xrightarrow[\cong ]{d\eta } T_{x} X
\end{displaymath}
is the identity.



\end{enumerate}
\end{defn}
From this definition, that of a locally additive space is obvious.

\begin{defn}
\label{defnb}\hypertarget{defnb}{}
A \emph{locally additive space} is a pair $(X, \eta )$ where $X$ is a smooth space and $\eta$ is a local addition on $X$.

\end{defn}
Although the obvious definition, as it stands it is not quite precise. This is because the various notions of [[tangent space]] diverge once one goes outside the realm of smooth manifolds. In this article, we shall use the [[kinematic tangent space]]. To allow other notions based on other definitions of tangent space, we use the notion \emph{locally kinematic space} for a locally additive space where the tangent space used is the kinematic version.

The other part of the definition that needs pinning down is the notion of an \emph{open neighbourhood}. This requires that we supply our smooth spaces with a topology. Some definitions have a topology built in, and those that do not can be supplied with at least one suitable topology. We shall not prescribe the exact topology but rather assume that a method of supplying a smooth space with a topology has already been decided upon. The only properties that we require are the following:

\begin{enumerate}%
\item \begin{enumb}
\label{enumbZa}\hypertarget{enumbZa}{}
\end{enumb}
The assignment of a topology to a smooth space is functorial, and


\item \begin{enumb}
\label{enumbZb}\hypertarget{enumbZb}{}
\end{enumb}
The topology on $\mathbb{R}$ is the standard one. These both seem quite reasonable! In fact, these two conditions define a particular topology which we refer to as the [[curvaceous topology]]: it is the strongest topology for which these two statements are true.



\end{enumerate}
The really important property of the local addition is that it allows us to lift tangent vectors to curves. Of course, we can always do this for a single tangent vector (as we are using the kinematic tangent space) but a local addition allows us to do it for a family. As a direct consequence of this lifting, we get the following simple result. Recall that for the [[kinematic tangent space]] at a point there are potentially two smooth structures: the quotient structure and the fibre structure. The lifting property of a locally additive space implies that these two are the same.

\begin{lemma}
\label{lemmaa}\hypertarget{lemmaa}{}
Let $(X,\eta )$ be a locally kinematic space. For $x \in X$, the two smooth structures on $T_{x} X$ agree. That is, $T_{x} X \to T X$ is an embedding.

\end{lemma}
\begin{proof}
We define a map $T X \to C^{\infty } (\mathbb{R},X)$ by sending $v \in T X$ to the curve $t \mapsto \eta (t v)$. This is smooth and splits the quotient $C^{\infty } (\mathbb{R},X) \to T X$. It is also fibre-preserving, and so maps $(T X)_{x}$ in to $C^{\infty } ((\mathbb{R},0), (X,x))$. Composing with the quotient, we obtain a map $(T X)_{x} \to T_{x} X$ inverse to the given map $T_{x} X \to (T X)_{x}$.

\end{proof}
\begin{section}
\label{sectionc}\hypertarget{sectionc}{}
\end{section}
\hypertarget{mapping_spaces}{}\subsection*{{Mapping Spaces}}\label{mapping_spaces}

The motivation for locally kinematic spaces comes from considering mapping spaces. All of the categories of [[generalised smooth space]] are cartesian closed. This means that for $S$ and $X$ smooth spaces, the set of smooth maps $C^{\infty } (S,X)$ is again a smooth space. This construction is functorial and satisfies lots of nice properties.

Let $X$ be a locally kinematic space, with local addition $\eta$, and let $V \subseteq X \times X$ be the corresponding neighbourhood of the diagonal, so that $\pi \times \eta$ is a diffeomorphism on to $V$. Then simply by functorality, we see that $C^{\infty } (S,\eta )$ is a diffeomorphism from $C^{\infty } (S, T X)$ to $C^{\infty } (S, V)$. Moreover, $C^{\infty } (S, V)$ is a subset of $C^{\infty } (S, X \times X)$ which is diffeomorphic to $C^{\infty } (S,X) \times C^{\infty } (S,X)$ and $C^{\infty } (S,V)$ contains the diagonal. That $C^{\infty } (S,\pi \times \eta ) = C^{\infty } (S,\pi ) \times C^{\infty } (S,\eta )$ takes the zero section of $C^{\infty } (S, T X)$ to the diagonal is obvious. Hence $C^{\infty } (S,\eta )$ is almost a local addition on $C^{\infty } (S,X)$. There are two pieces missing:

\begin{enumerate}%
\item \begin{enumc}
\label{enumcZa}\hypertarget{enumcZa}{}
\end{enumc}
A natural isomorphism $C^{\infty } (S,T X) \cong T C^{\infty } (S, X)$.


\item \begin{enumc}
\label{enumcZb}\hypertarget{enumcZb}{}
\end{enumc}
That $C^{\infty } (S,V)$ is an open neighbourhood of the diagonal in $C^{\infty } (S, X \times X)$.



\end{enumerate}
As we are using the [[kinematic tangent space]], there is always a natural \emph{transformation} relating to the first piece. The locally additive structure allows us to construct the inverse.

\begin{lemma}
\label{lemmab}\hypertarget{lemmab}{}
For $X$ a locally additive space, the natural transformation

\begin{displaymath}
TC^{\infty } (S, X) \cong C^{\infty } (S, T X)
\end{displaymath}
is a natural isomorphism

\end{lemma}
\begin{proof}
\begin{displaymath}
(t,s) \mapsto \eta (t \alpha (s))
\end{displaymath}
where $t \alpha (s)$ uses the $\mathbb{R}$-action on $T X$. Using the adjunction between mappings and products, this defines a curve in $C^{\infty } (S,X)$ and thus, by quotienting, a tangent vector in $C^{\infty } (S,X)$ based at $s \mapsto \eta (0 \alpha (s)) = \alpha (s)$.

To show that this is the required inverse, we need to evaluate the resulting tangent vector at some $s \in S$. This leads to the curve $t \mapsto \eta (t \alpha (s))$ in $X$. Under the natural isomorphism $T_{0} T_{x} X \cong T_{x} X$, the curve $t \mapsto t \alpha (s)$ has derivative (at $0$) $\alpha (s)$ again. Thus we have the image of this under $d \eta \colon T_{0} T_{x} X \to T_{x} X$ which is just $\alpha (s)$ again.

Thus we have the required inverse.

\end{proof}
This result is the mathematics behind the statement above that a local addition allows us to lift families of tangent vectors to curves.

The second missing piece is a little harder to pin down because without knowing precisely which category of smooth spaces we are working in, we will find it hard to know exactly how to define the topology on a smooth space, and thus to know how to work with it. Thus rather than a detailed study of when this occurs, we shall adopt the mathematician's defence.

\begin{defn}
\label{defnc}\hypertarget{defnc}{}
A smooth space $S$ is said to be \emph{smoothly compact} if whenever $U \subseteq X$ is open then $C^{\infty } (S,U)$ is open in $C^{\infty } (S,X)$.

\end{defn}
With that in place, we can now fill in the missing pieces.

\begin{theorem}
\label{theorema}\hypertarget{theorema}{}
Let $X$ be a locally kinematic space and $S$ a smoothly compact space. Then $C^{\infty } (S,X)$ is again a locally kinematic space.

The tangent space of $C^{\infty } (S,X)$ at $\alpha \colon S \to X$ consists of all maps $\beta \colon S \to T X$ such that $\pi \beta = \alpha$.

\end{theorem}
\begin{section}
\label{sectiond}\hypertarget{sectiond}{}
\end{section}
\hypertarget{local_structure}{}\subsection*{{Local Structure}}\label{local_structure}

Having a local addition means that the smooth space is locally modelled on its tangent spaces. It turns out that this also puts some restrictions on what those tangent spaces look like.

\begin{theorem}
\label{theoremb}\hypertarget{theoremb}{}
Let $X$ be a locally kinematic space. Then for $x \in X$, the tangent space $T_{x} X$ is a vector space.

\end{theorem}
\begin{proof}
Let $\eta \colon T X \to X$ be the local addition and let $V \subseteq X \times X$ be the corresponding neighbourhood of the diagonal. Consider the curve $t \mapsto (\eta (t v), \eta (u))$. At time $t = 0$, this is at $(x,\eta (u))$ which lies in $V$. There is, therefore, some interval $(-\epsilon ,\epsilon )$ for which $(\eta (t v), \eta (u)) \in V$. Since $(\pi \times \eta ) \colon T X \to V$ is a diffeomorphism, we can apply the inverse of this to that path, resulting in:

\begin{displaymath}
(\pi \times \eta )^{-1} (\eta (t v), \eta (u)) \in T_{\eta (t v)} X.
\end{displaymath}
This is a tangent vector moving along the curve $\eta (t v)$ starting at $u$ above $x$. As this is, in totality, a curve of tangent vectors we can scale them. Thus we define a map:

\begin{displaymath}
\mathbb{R} \times (-\epsilon ,\epsilon ) \to T X, \quad (s,t) \mapsto s \cdot (\pi \times \eta )^{-1} (\eta (t v), \eta (u)).
\end{displaymath}
The final step is to map this back down to $X$ via $\eta$:

\begin{displaymath}
(s,t) \mapsto \eta (s \cdot (\pi \times \eta )^{-1} (\eta (t v), \eta (u))).
\end{displaymath}
Let us write this as $\tau \colon \mathbb{R} \times (-\epsilon ,\epsilon ) \to X$ for short. We note that it is smooth, as it is a composition of smooth maps.

It may aid the comprehension of this map if we describe it in the case of $\mathbb{R} ^{2}$ with $u = \partial _{x}$ and $v = \partial _{y}$. In this case, $\tau$ is the map $(s,(1 - s)t)$. Thus

\begin{displaymath}
D_{(0,0)} \tau   = \left . \begin{bmatrix}   (1 - s) & -t \\   0 & 1 \end{bmatrix} \right |_{(0,0)} = \begin{bmatrix}   1 & 0 \\   0 & 1 \end{bmatrix}.
\end{displaymath}
At $s = 0$, we have the curve:

\begin{displaymath}
t \mapsto \eta   (0 \cdot (\pi \times \eta )^{-1} (\eta (t v), \eta (u))).
\end{displaymath}
Under $\eta$, the zero section maps to the ``foot'' of the tangent space, which is also $\pi$ of the vector. Thus the path is $t \mapsto \eta (t v)$. Hence the image of $\partial _{t}$ is $v$.

At $t = 0$, we have the curve:

\begin{displaymath}
s \mapsto \eta (s \cdot (\pi \times \eta )^{-1}(x, \eta (u)))
\end{displaymath}
since $\eta (0 v) = x$. Unravelling this, we get $s \mapsto \eta (s u)$. Hence the image of $\partial _{s}$ is $u$.

Then the claim is that the image of $\partial _{s} + \partial _{t}$ will do for $u + v$. To see this, consider a smooth function $f \colon X \to \mathbb{R}$. The composition $f \circ \tau$ is smooth, and so we have that:

\begin{displaymath}
f(u) + f(v) = (f \circ \tau )(\partial _{s}) + (f \circ \tau )(\partial _{t}) = (f \circ \tau )(\partial _{s} + \partial _{t}) = f(\tau _{*}(\partial _{s} + \partial _{t})).
\end{displaymath}
Hence $\tau _{*}(\partial _{s} + \partial _{t})$ is the sum $u + v$.

\end{proof}
Thus a locally additive space is modelled on vector spaces. This is not quite as strong as saying that it is a smooth manifold (even ignoring paracompactness and Hausdorff) since we do not know that the smooth structure on a tangent space is ``the'' smooth structure on a vector space.

\begin{section}
\label{sectione}\hypertarget{sectione}{}
\end{section}
\hypertarget{related_concepts}{}\subsection*{{Related Concepts}}\label{related_concepts}

A similar concept to this was devised and studied by Kriegl and Michor in \hyperlink{citeMR764972}{Mic84a}, \hyperlink{citeMR767683}{Mic84b}. The key difference between these two approaches is that of the starting point. The goal of Kriegl and Michor's construction was to devise a cartesian closed category of manifolds, starting from almost nothing. Thus they had to build the notions of ``smooth map'' and of ``tangent bundle'' in to the foundations. Our goal is to identify manifold-like objects inside a category of smooth spaces. Thus we already know what is a ``smooth map'' and how to construct the ``tangent bundle''. Nonetheless, there are similarities in the approaches: both are particularly suited to mapping spaces, and both have ``path lifting'' at their core.

Another concept that should be kept in mind with regard to the above is that of the [[tangent microbundle]] of a topological manifold. This is an equivalence class of neighbourhoods of the diagonal. Thus one can say that a locally additive space is one for which the topological and smooth tangent bundles agree.

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

\begin{itemize}%
\item \textbf{Mic84a} Peter Michor. A convenient setting for differential geometry and global analysis. Cahiers Topologie G\'e{}om. Diff\'e{}rentielle, 25:63A109, 1984.


\item \textbf{Mic84b} Peter Michor. A convenient setting for differential geometry and global analysis. II. Cahiers Topologie G\'e{}om. Diff\'e{}rentielle, 25:113A178, 1984.


\item \textbf{Sta11} A.~Stacey. Comparative smootheology. TAC, 25:64-117, 2011, http://www.tac.mta.ca/tac/volumes/25/4/25-04abs.html. arXiv:0802.2225v2.



\end{itemize}


\end{document}