\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*{on the manifold structure of singular loops}

\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{contents}{Contents}\dotfill \pageref*{contents} \linebreak
\noindent\hyperlink{title}{Loops with Singularities}\dotfill \pageref*{title} \linebreak
\noindent\hyperlink{author}{Andrew Stacey}\dotfill \pageref*{author} \linebreak
\noindent\hyperlink{the_original_question}{The Original Question}\dotfill \pageref*{the_original_question} \linebreak
\noindent\hyperlink{finding_a_manifold}{Finding a Manifold}\dotfill \pageref*{finding_a_manifold} \linebreak
\noindent\hyperlink{finding_a_nonmanifold}{Finding a Non-Manifold}\dotfill \pageref*{finding_a_nonmanifold} \linebreak


\hypertarget{title}{}\section*{{Loops with Singularities}}\label{title}

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

\begin{section}
\label{sectiona}\hypertarget{sectiona}{}
\end{section}
\hypertarget{the_original_question}{}\subsection*{{The Original Question}}\label{the_original_question}

On \href{http://www.mathoverflow.com}{MathOverflow} there was a question ``\href{http://mathoverflow.net/questions/75071/i-was-wondering-if-the-set-of-singular-loops-is-a-somewhere-submanifold-of-loop}{I was wondering if the set of singular loops is somewhere a submanifold of loop space?}''. [[Ryan Budney]] and [[Torsten Ekedahl]] gave two answers that showed that the answer was ``No''. In the chronology, Torsten's answer came first and gave an example to show why the space described in the first version of the question could not work. The question was modified to take account of that, whereupon Ryan stepped in to show why the modified space could not be a smooth manifold. Whilst Ryan and Torsten's answers do give the complete answer, the question intrigued [[Andrew Stacey|me]] since there are spaces related to the one in the question that are smooth manifolds. This page is the result of thinking about that.

At time of writing, the question reads as follows (formatting and links added).

\begin{quote}%
The set of all smooth maps $S^{1}\to M^{n}$ ($M$ is a smooth manifold) is a generalized manifold (see [[smooth loop space]]).

I was wondering if the set of singular loops (maps with self-crossings or zeros of derivative) is a ([[Fréchet manifold|Fréchet]], [[Frölicher space|Frölicher]], [[diffeological space|diffeological]]) submanifold of the [[loop space]]?

\textbf{EDIT:} it is clear that answer is no (see \href{http://mathoverflow.net/questions/75071/i-was-wondering-if-the-set-of-singular-loops-is-a-somewhere-submanifold-of-loop/75077#75077}{Torstens answer}). So, I rewrite the question: is it true that set of singular loops is a collection of submanifolds of different codimension (set of loops with one self-intersection has codimension $\dim M-2$, loops with zero of derivative has codimension $\dim M -3$ and so on. Set of loops with infinite number of singularities should have infinite codimension$\backslash$dots . Let's forget about them.)

So, the question is about local situation: for example, let's consider a loop with one self-intersection (and without other singlarities). Is it true that set of near loops with one self-intersection is a submanifold in sense of ([[Fréchet manifold|Fréchet]], [[Frölicher space|Frölicher]], [[diffeological space|diffeological]])?

\textbf{EDIT 2.} I reformulate the question. $\map (S^{1} \to \mathbb{R} ^{3})$ is a functional space, so we can apply a technique of singularity theory. Generic map $f$ with one self-intersection has one-parameter versal deformation $V\colon [0,1]\times S^{1}\to \mathbb{R} ^{3}$ -- and any deformations are induced from $V$. Does it imply that $D$ (set of singular loops) near the $f$ is a submanifold of codimension 1 in sense of [[Fréchet manifold|Fréchet]] or [[Frölicher space|Frölicher]]?


\end{quote}
I'm going to take a different approach to this question. I'm going to start with a space that I know is a submanifold of $L M$ and modify it little-by-little until I get to what (I think) you describe. As I do so, hopefully it will be clear where we lose the manifold structure (and why).

\begin{section}
\label{sectionb}\hypertarget{sectionb}{}
\end{section}
\hypertarget{finding_a_manifold}{}\subsection*{{Finding a Manifold}}\label{finding_a_manifold}

The space that is a submanifold is the space of loops with a particular coincidence. Let us think of the circle as the unit circle in the complex plane (for definiteness). Then of all the smooth maps $S^{1} \to M$ we can consider the subset which are coincident at $1$ and $-1$. Identifying $1$ and $-1$ gives us one form of the figure eight and so we can think of this subspace as $C^{\infty } (8,M)$. Indeed, if we work in one of the categories of generalised smooth spacemooth space), then there is a ``smooth space'' $8$ and the subspace we are interested in truly is $C^{\infty } (8,M)$.

This space is a manifold, in whatever sense you wish. The model space is $C^{\infty } (8,\mathbb{R} ^{n})$; its tangent space at a map $f$ is the space of sections of $f^{*} T M$ which agree at $1$ and $-1$. It is also a submanifold of $L M$, and actually has a tubular neighbourhood. So it's as nice as you can get!

The most obvious difference between this and your space is that we have not just a coincidence, but we have fixed where it must occur. So our first generalisation is to allow that coincidence to move. But we want to proceed cautiously, so we start by considering triples $(f,p,q)$ where $f \colon S^{1} \to M$ is a smooth map and $p,q \in S^{1}$ are two points. This is $L M \times S^{1} \times S^{1}$. Next, we consider the subset of these triples that satisfy $f(p) = f(q)$ and $p \ne q$.

I claim that this is a manifold. Let us start by considering those triples $(f,p,q)$ with $\Re p \gt \frac{1}{2}$ and $\Re q \lt - \frac{1}{2}$ (and $f(p) = f(q)$). Let us label this space as $W$. Let us choose a smooth family of diffeomorphisms of the circle, say $\tau _{a,b}$, parametrised by $a, b \in S^{1}$ with $\Re a \gt \frac{1}{2}$ and $\Re b \lt -\frac{1}{2}$ with the property that $\tau _{a,b}(a) = 1$ and $\tau _{a,b}(b) = -1$. We define a map $W \to C^{\infty } (8,M) \times S^{1} \times S^{1}$ by $(f,p,q) \mapsto (f \circ \tau _{p,q}^{-1}, p, q)$. The claim is that this is a diffeomorphism onto its image which is an open subset of the target. The inverse is given by $(f,p,q) \mapsto (f \circ \tau _{p,q},p,q)$. The target is $\{ (f,p,q) : \Re p \gt \frac{1}{2}, \Re q \lt -\frac{1}{2}\}$.

For a more general point, $(f,p,q)$, we choose a diffeomorphism, say $\sigma$, of the circle which maps $p$ to $1$ and $q$ to $-1$. Then we define a diffeomorphism of $L M \times S^{1} \times S^{1}$ by $(g,r,s) \mapsto (g \circ \sigma ^{-1},\sigma (r),\sigma (s))$. This takes $(f,p,q)$ into $W$ and we can pullback the chart from there.

A very simple thing to do at this point is to forget the order of the pair $(p,q)$. This is a $\mathbb{Z} _{2}$--action and the action has all the required properties for the quotient to still be a manifold. Thus we have a manifold of things of the form $(f,\{ p,q\} )$ where $f \colon S^{1} \to M$ is a smooth map, $\{ p,q\} \subseteq S^{1}$ is a two-element subset, and $f(p) = f(q)$ (or $f \!\!\mid _{\{ p,q\} }$ is constant).

\begin{section}
\label{sectionc}\hypertarget{sectionc}{}
\end{section}
\hypertarget{finding_a_nonmanifold}{}\subsection*{{Finding a Non-Manifold}}\label{finding_a_nonmanifold}

The final step is to try to project this down on to the first component. That is, to consider the map from our space to $L M$ given by mapping $(f,\{ p,q\} ) \mapsto f$. What would be nice would be if this were some sort of submersion and we could deduce from it (maybe with a little work) that the image was a manifold.

The first problem that we encounter is that the fibre does not have a constant model. For ``most'' loops in the image, the preimage consists of a single point. This is because for ``most'' loops with a coincidence, there is only one such coincidence. But a loop with multiple coincidences has several preimages, one for each coincidence (or, more precisely, one for each two-element subset of each coincidence set).

A loop with multiple coincidences doesn't seem a major problem as we can locally just pick one to label. But that's not actually as simple as it might seem. If we have two coincidences and label one of them, then we can rip apart that coincidence \emph{whilst staying in our space} because the other coincidence keeps us there. But if we destroy the labelled coincidence, what do we do with our label?

This is Torsten's objection, except with multiple double coincidences instead of a single triple one.

To fix this, we try restricting to the subset where there is only one coincidence. This means that our fibres are singletons and we have a smooth bijection from the suitable set of $(f,\{ p,q\} )$ to the set of corresponding loops. Leaving aside the question as to whether or not this is a diffeomorphism, this would seem to give a positive answer to the question.

It doesn't.

The reason is simple, but perhaps a little surprising. That is that the subset of those $(f,\{ p,q\} )$ where $\{ p,q\}$ is the \emph{only} coincidence of $f$ is \emph{not} an open subset of our manifold. Why this might be surprising is because if we go one level down then the corresponding family is open. That is, if we take the subset of those loops with \emph{no} coincidences then this is an open subset of all loops (whence a submanifold).

We can show that this subset is not open by taking a sequence of loops with a double coincidence (one of which is labelled) which converges to a loop with a single coincidence. If it were open, at some point in the sequence all terms would have to have a single coincidence.

This is Ryan's objection.

We cannot fix this. The reason being that this subset \emph{contains} an open subset of our manifold (again, by Ryan's answer) so the only way it could be a submanifold would be if it were open.

So the space in question is most emphatically not a submanifold. But there is a nearby manifold, which is the space of loops with a marked coincidence (and possibly other coincidences). For most loops, these two spaces are the same nearby, but for loops such as those that Torsten and Ryan consider, they aren't.

[[!redirects manifold structure of singular loops]] [[!redirects manifold structures of singular loops]] [[!redirects the manifold structure of singular loops]] [[!redirects on the manifold structure of singular loops]] [[!redirects manifold structure on the space of singular loops]] [[!redirects manifold structures on the space of singular loops]] [[!redirects manifold structures on spaces of singular loops]] [[!redirects singular loop space]] [[!redirects singular loop spaces]]



\end{document}