# nLab smooth loop space

### Context

#### Differential geometry

differential geometry

synthetic differential geometry

mapping space

# Contents

## Idea

The notion of the smooth loop space of a (smooth) manifold is a way to make the set of smooth maps from the circle to the target manifold into an object amenable to the tools of differential topology.

Let $M$ be a smooth finite dimensional manifold. Then the set of smooth maps ${S}^{1}\to M$ is not usefully the underlying set of a finite dimensional manifold. Therefore to make it into an object that can be studied in differential topology, one has to allow for smooth spaces other than finite dimensional smooth manifolds. That is to say, one has to work in a larger category than just that of finite dimensional smooth manifolds.

If the category is cartesian closed then the smooth loop space of a smooth space, say $X$, is simply the result of applying the internal hom functor with that space as target and the circle as source:

$LX≔\left[{S}^{1},X\right]$L X \coloneqq [S^1, X]

(This is the smooth free loop space; for the smooth based loop space one applies the standard restriction.)

There are a variety of suitable categories listed at generalized smooth spaces.

The categories of smooth spaces discussed at generalized smooth spaces are all cartesian closed and thus all admit smooth loop spaces of all objects. However, by restricting to a subcategory that might not be cartesian closed (for example, finite dimensional smooth manifolds) one can ask for another subcategory that is large enough to contain all the resulting smooth loop spaces. For finite dimensional smooth manifolds it turns out that one can give their smooth loop spaces the structure of an infinite dimensional Fréchet manifold.

Depending on taste and application, certain smooth quotient objects of this free loop space may be and are often considered.

## Properties

### Fréchet manifold structure on $\left[{S}^{1},X\right]$ for $X$ a manifold

In this section, we will describe the structure of a smooth loop space of a smooth manifold as a Fréchet manifold in detail. The construction is quite standard, and a partial list of references and further reading can be found at the end of this page.

We start with a smooth manifold, $M$, of dimension $n$. Note that here manifolds definitely do not have a boundary. For simplicity, we assume that it is orientable. The point of this assumption is that it allows us to identify the model space of $LM$ with the Fréchet space $L{ℝ}^{n}={C}^{\infty }\left({S}^{1},{ℝ}^{n}\right)$. In the unorientable case, some components would have this as model space whereas others would have a twisted version of this space.

The key piece of structure needed on $M$ is that of a local addition, $\eta :TM\to M$.

Let $\eta :TM\to M$ be a local addition on $M$. Let $V\subseteq M×M$ be the image of the map $\pi ×\eta :TM\to M×M$. Although (as yet) we know nothing about the topologies of $LTM$ or of $LV$, we can at least say that the looped map, $\left(\pi ×\eta {\right)}^{L}:LTM\to LV$, is a bijection.

###### Lemma

Let $\alpha \in LM$. Define the set ${U}_{\alpha }\subseteq LM$ by:

${U}_{\alpha }≔\left\{\beta \in LM:\left(\alpha ,\beta \right)\in LV\right\}.$U_\alpha \coloneqq \{ \beta \in L M : (\alpha, \beta) \in L V\}.

Then the preimage of $\left\{\alpha \right\}×{U}_{\alpha }$ under $\left(\pi ×\eta {\right)}^{L}$ is naturally identified with ${\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)$. In particular, the zero section of ${\alpha }^{*}TM$ maps to $\left(\alpha ,\alpha \right)\in \left\{\alpha \right\}×{U}_{\alpha }$.

###### Proof

We claim that there is a diagram:

$\begin{array}{ccc}LTM& \stackrel{\left(\pi ×\eta {\right)}^{L}}{\to }& LV\\ ↑& & ↑\beta ↦\left(\alpha ,\beta \right)\\ {\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)& & {U}_{\alpha }\end{array}$\begin{matrix} L T M &\overset{(\pi \times \eta)^L}{\to} & L V \\ \uparrow & & \uparrow\mathrlap{\beta \mapsto (\alpha,\beta)} \\ \Gamma_{S^1}(\alpha^* T M) & & U_\alpha \end{matrix}

such that the bijection at the top takes the image of the left-hand vertical map to the image of the right-hand one. Both of the vertical maps are injective - the right-hand one obviously so, we shall investigate the left-hand one in a moment - and thus the bijection $\left(\pi ×\eta {\right)}^{L}$ induces a bijection from the lower-left to the lower-right.

The left-hand vertical map, ${\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)\to LTM$, is defined as follows: the total space of ${\alpha }^{*}TM$ is:

$\left\{\left(t,v\right)\in {S}^{1}×TM:\alpha \left(t\right)=\pi \left(v\right)\right\}.$\big\{(t, v) \in S^1 \times T M : \alpha(t) = \pi(v) \big\}.

It is an embedded submanifold of ${S}^{1}×TM$. Therefore, a map into ${\alpha }^{*}TM$ is smooth if and only if the compositions with the projections to ${S}^{1}$ and to $TM$ are smooth. Now a map ${S}^{1}\to {\alpha }^{*}TM$ is a section if and only if it projects to the identity on ${S}^{1}$. Therefore, there is a bijection (of sets):

$\begin{array}{rl}{\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)& \cong \left\{\beta \in LTM:\left(t,\beta \left(t\right)\right)\in {\alpha }^{*}TM\phantom{\rule{thickmathspace}{0ex}}\text{for all}\phantom{\rule{thickmathspace}{0ex}}t\in {S}^{1}\right\}\\ & \cong \left\{\beta \in LTM:\alpha \left(t\right)=\pi \beta \left(t\right)\text{for all}\phantom{\rule{thickmathspace}{0ex}}t\in {S}^{1}\right\}\\ & \cong \left\{\beta \in LTM:{\pi }^{L}\beta =\alpha \right\}& ∹{L}_{\alpha }TM\end{array}$\begin{aligned} \Gamma_{S^1}(\alpha^* T M) &\cong \big\{ \beta \in L T M : (t, \beta(t)) \in \alpha^* T M\; \text{for all}\; t \in S^1\big\} \\ &\cong \big\{ \beta \in L T M : \alpha(t) = \pi \beta(t) \text{for all}\; t \in S^1\big\} \\ &\cong \big\{ \beta \in L T M : \pi^L \beta = \alpha \big\} &\eqcolon L_\alpha T M \end{aligned}

In particular, the map ${\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)\to LTM$ is injective.

We apply $\left(\pi ×\eta {\right)}^{L}$ to the defining condition for ${L}_{\alpha }TM$ and see that ${L}_{\alpha }TM$ is the preimage under this map of everything of the form $\left(\alpha ,\gamma \right)$ in $LV$. By construction, $\gamma \in LM$ is such that $\left(\alpha ,\gamma \right)\in LV$ if and only if $\gamma \in {U}_{\alpha }$. Hence $\left(\pi ×\eta {\right)}^{L}$ identifies ${L}_{\alpha }TM$ with $\left\{\alpha \right\}×{U}_{\alpha }$.

Finally, note that the zero section of ${\alpha }^{*}TM$ maps to the image of $\alpha$ under the zero section of $TM$. Since $\eta$ composed with the zero section of $TM$ is the identity on $M$, the image under the zero section of ${\alpha }^{*}TM$ in $V$ is $\left(\alpha ,\alpha \right)$ as required.

The resulting map, let us write it ${\Psi }_{\alpha }:{\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)\to {U}_{\alpha }$, has the following concrete description. Let $\beta :{S}^{1}\to {\alpha }^{*}TM$ be a section and let $\stackrel{˜}{\beta }:{S}^{1}\to TM$ be the corresponding loop in $TM$ (so that $\beta \left(t\right)=\left(t,\stackrel{˜}{\beta }\left(t\right)\right)$ when viewing ${\alpha }^{*}TM$ as a submanifold of ${S}^{1}×TM$). Then $\left(\pi ×\eta {\right)}^{L}\left(\stackrel{˜}{\beta }\right)=\left(\alpha ,{\eta }^{L}\left(\stackrel{˜}{\beta }\right)\right)$ so ${\Psi }_{\alpha }\left(\beta \right)={\eta }^{L}\left(\stackrel{˜}{\beta }\right)$.

As we have assumed $M$ to be orientable, ${\alpha }^{*}TM$ can be trivialised. A smooth such trivialisation defines a linear homeomorphism ${\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)\cong L{ℝ}^{n}$. We use this to impose a smooth structure on ${\Gamma }_{{S}^{1}}\left({\alpha }^{*}TM\right)$, noting that any two such trivialisations induce the same structure.

To investigate the transition functions, we need two loops. In fact, let’s have two of everything.

###### Proposition

Let ${\eta }_{1},{\eta }_{2}:TM\to M$ be local additions with corresponding neighbourhoods ${V}_{1}$, ${V}_{2}$ of the diagonal in $M×M$. Let ${\alpha }_{1}$, ${\alpha }_{2}$ be smooth loops in $M$. Let ${\Psi }_{1}:{\Gamma }_{{S}^{1}}\left({\alpha }_{1}^{*}TM\right)\to {U}_{1}$ and ${\Psi }_{2}:{\Gamma }_{{S}^{1}}\left({\alpha }_{2}^{*}TM\right)\to {U}_{2}$ be the corresponding maps defined as above.

The transition function:

${\Psi }_{12}≔{\Psi }_{1}^{-1}{\Psi }_{2}:{\Psi }_{1}^{-1}\left({U}_{1}\cap {U}_{2}\right)\to {\Psi }_{2}^{-1}\left({U}_{1}\cap {U}_{2}\right)$\Psi_{1 2} \coloneqq \Psi_1^{-1} \Psi_2 \colon \Psi_1^{-1}(U_1 \cap U_2) \to \Psi_2^{-1}(U_1 \cap U_2)

is a diffeomorphism.

###### Proof

We start by characterising the space ${\Psi }_{1}^{-1}\left({U}_{1}\cap {U}_{2}\right)$ within ${\Gamma }_{{S}^{1}}\left({\alpha }_{1}^{*}TM\right)$. Let ${W}_{12}\subseteq {\alpha }_{1}^{*}TM$ be the set:

$\left\{\left(t,v\right)\in {\alpha }_{1}^{*}TM:\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(v\right)\right)\in {V}_{2}\right\}.$\big\{ (t,v) \in \alpha_1^* T M : (\alpha_2(t), \eta_1(v)) \in V_2\big\}.

Note that this is open in ${\alpha }_{1}^{*}TM$ as it is the preimage of the open set ${V}_{2}$ by the continuous map ${\alpha }_{2}×{\eta }_{1}$.

Let $\gamma \in {\Gamma }_{{S}^{1}}\left({\alpha }_{1}^{*}TM\right)$ and let $\stackrel{˜}{\gamma }\in LTM$ be the image of $\gamma$ (so that $\gamma \left(t\right)=\left(t,\stackrel{˜}{\gamma }\left(t\right)\right)$. Then $\gamma \left(t\right)\in {W}_{12}$ for all $t$ if and only if $\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(\stackrel{˜}{\gamma }\left(t\right)\right)\right)\in {V}_{2}$ for all $t$. That is to say, if and only if $\left({\alpha }_{2},{\eta }_{1}^{L}\left(\stackrel{˜}{\gamma }\right)\right)\in L{V}_{2}$. This is precisely the condition that ${\eta }_{1}^{L}\left(\stackrel{˜}{\gamma }\right)\in {U}_{2}$. Since ${\eta }_{1}^{L}\left(\stackrel{˜}{\gamma }\right)={\Psi }_{1}\left(\gamma \right)$, we see that $\gamma$ takes values in ${W}_{12}$ if and only if ${\Psi }_{1}\left(\gamma \right)\in {U}_{2}$. Since $Im{\Psi }_{1}={U}_{1}$, we conclude that ${\Gamma }_{{S}^{1}}\left({W}_{12}\right)={\Psi }_{1}^{-1}\left({U}_{1}\cap {U}_{2}\right)$.

Let us define ${W}_{21}\subseteq {\alpha }_{2}^{*}TM$ similarly. The idea of the proof that ${\Phi }_{12}$ is a diffeomorphism is to show that it is induced by a diffeomorphism ${W}_{12}\cong {W}_{21}$.

Let ${\theta }_{1}:{W}_{12}\to TM$ be the map:

${\theta }_{1}\left(t,v\right)=\left(\pi ×{\eta }_{2}{\right)}^{-1}\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(v\right)\right).$\theta_1(t,v) = (\pi \times \eta_2)^{-1}(\alpha_2(t), \eta_1(v)).

The definition of ${W}_{12}$ ensures that $\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(v\right)\right)\in {V}_{2}$ for $\left(t,v\right)\in {W}_{12}$ and this is the image of $\pi ×{\eta }_{2}$. Hence ${\theta }_{1}$ is well-defined. Define ${\theta }_{2}:{W}_{21}\to TM$ similarly. These are both smooth maps.

Notice that $\pi \left(\pi ×{\eta }_{i}{\right)}^{-1}:{V}_{i}\subseteq M×M\to M$ is the projection on to the first factor and ${\eta }_{i}\left(\pi ×{\eta }_{i}{\right)}^{-1}:{V}_{i}\to M$ is the projection on to the second. Thus $\pi {\theta }_{1}\left(t,v\right)={\alpha }_{2}\left(t\right)$. Hence ${\theta }_{1}:{W}_{12}\to TM$ is such that $\left(t,{\theta }_{1}\left(t,v\right)\right)\in {\alpha }_{2}^{*}TM$ for all $\left(t,v\right)\in {W}_{12}$. Then:

$\left({\alpha }_{1}\left(t\right),{\eta }_{2}\left({\theta }_{1}\left(t,v\right)\right)\right)=\left({\alpha }_{1}\left(t\right),{\eta }_{1}\left(v\right)\right)\in {V}_{1}$(\alpha_1(t), \eta_2(\theta_1(t,v))) = (\alpha_1(t), \eta_1(v)) \in V_1

so $\left(t,{\theta }_{1}\left(t,v\right)\right)\in {W}_{21}$. Hence we have a map ${\varphi }_{12}:{W}_{12}\to {W}_{21}$ given by:

${\varphi }_{12}\left(t,v\right)=\left(t,{\theta }_{1}\left(t,v\right)\right).$\phi_{1 2}(t, v) = (t, \theta_1(t,v)).

Similarly we have a map ${\varphi }_{21}:{W}_{21}\to {W}_{12}$. These are both smooth since the composition with the inclusion into ${S}^{1}×TM$ is smooth.

Consider the composition ${\varphi }_{21}{\varphi }_{12}\left(t,v\right)$. Expanding this out yields:

$\begin{array}{rl}{\varphi }_{21}{\varphi }_{12}\left(t,v\right)& ={\varphi }_{21}\left(t,{\theta }_{1}\left(t,v\right)\right)\\ & =\left(t,{\theta }_{2}\left(t,{\theta }_{1}\left(t,v\right)\right)\right)\\ & =\left(t,\left(\pi ×{\eta }_{1}{\right)}^{-1}\left({\alpha }_{1}\left(t\right),{\eta }_{2}\left({\theta }_{1}\left(t,v\right)\right)\right)\right)\\ & =\left(t,\left(\pi ×{\eta }_{1}{\right)}^{-1}\left({\alpha }_{1}\left(t\right),{\eta }_{1}\left(v\right)\right)\right)\\ & =\left(t,\left(\pi ×{\eta }_{1}{\right)}^{-1}\left(\pi \left(v\right),{\eta }_{1}\left(v\right)\right)\right)\\ & =\left(t,v\right)\end{array}$\begin{aligned} \phi_{2 1} \phi_{1 2}(t,v) &= \phi_{2 1}(t, \theta_1(t,v))\\ &=(t, \theta_2(t,\theta_1(t,v))) \\ &=(t, (\pi \times \eta_1)^{-1}(\alpha_1(t), \eta_2(\theta_1(t,v)))) \\ &= (t, (\pi \times \eta_1)^{-1}(\alpha_1(t), \eta_1(v))) \\ &= (t, (\pi \times \eta_1)^{-1}(\pi(v), \eta_1(v))) \\ &= (t,v) \end{aligned}

The penultimate line is because $\left(t,v\right)\in {\alpha }_{1}^{*}TM$ so $\pi \left(v\right)={\alpha }_{1}\left(t\right)$. Hence ${\varphi }_{21}$ is the inverse of ${\varphi }_{12}$ and so ${\varphi }_{12}$ is a diffeomorphism. Thus the map ${\varphi }_{12}^{L}$ is a diffeomorphism from ${\Psi }_{1}^{-1}\left({U}_{1}\cap {U}_{2}\right)$ to ${\Psi }_{2}^{-1}\left({U}_{1}\cap {U}_{2}\right)$. We just need to show that this is the transition function. To do this, we show that ${\Psi }_{2}{\psi }_{12}^{L}={\Psi }_{2}{\Phi }_{12}$. The right-hand side is, by definition, ${\Psi }_{1}$ which satisfies:

${\Psi }_{1}\left(\gamma \right)\left(t\right)={\eta }_{1}\left(\stackrel{˜}{\gamma }\right)\left(t\right).$\Psi_1(\gamma)(t) = \eta_1(\tilde{\gamma})(t).

On the other side,

$\begin{array}{rl}{\varphi }_{12}^{L}\left(\gamma \right)\left(t\right)& ={\varphi }_{12}\left(\gamma \left(t\right)\right)\\ =\left(t,{\theta }_{1}\left(t,\stackrel{˜}{\gamma }\left(t\right)\right)\right)\\ =\left(t,\left(\pi ×{\eta }_{2}{\right)}^{-1}\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(\stackrel{˜}{\gamma }\left(t\right)\right)\right)\right).\end{array}$\begin{aligned} \phi_{1 2}^L (\gamma)(t) &= \phi_{1 2}(\gamma(t)) \\ = (t, \theta_1(t, \tilde{\gamma}(t))) \\ = (t, (\pi \times \eta_2)^{-1}(\alpha_2(t), \eta_1(\tilde{\gamma}(t)))). \end{aligned}

Hence

${\Psi }_{2}{\varphi }_{12}^{L}\left(\gamma \right)\left(t\right)={\eta }_{2}\left(\pi ×{\eta }_{2}{\right)}^{-1}\left({\alpha }_{2}\left(t\right),{\eta }_{1}\left(\stackrel{˜}{\gamma }\left(t\right)\right)\right)={\eta }_{1}\left(\stackrel{˜}{\gamma }\right)\left(t\right).$\Psi_2 \phi_{1 2}^L(\gamma)(t) = \eta_2(\pi \times \eta_2)^{-1}(\alpha_2(t), \eta_1(\tilde{\gamma}(t))) = \eta_1(\tilde{\gamma})(t).

Thus ${\varphi }_{12}^{L}={\Phi }_{12}$ and so the transition functions are diffeomorphisms.

###### Remark

This construction easily generalises quite widely. Very little of the structure of ${S}^{1}$ was used at all: that mainly came in in the smooth structure of $L{ℝ}^{n}$. The key structure of $M$ was the local addition and thus one could regard this as a construction of locally additive spaces. For more on the possible extensions, see the references.

### Relation between Fréchet-manifold structure and diffeological structure

For $X$ a smooth manifold, the Fréchet manifold structure on $LX$, discussed above agrees with the standard mapping space diffeology on $LX$ in the following sense.

There is a functor

$F:\mathrm{Frech}\to \mathrm{Diff}$F: Frech \to Diff

from Fréchet manifolds to diffeological spaces defined in the same way as the well-known functor from smooth manifolds to diffeological spaces: a plot is precisely a smooth map $c:U\to LX$, where $U$ is an object in the domain category, e.g. an open subset of some ${ℝ}^{n}$.

(Notice that a theorem of M. Losik says that the functor F is full and faithful, just like that including manifolds into diffeological spaces!)

Now there are two diffeologies on $LX$: this is the structure of a sheaf on the category CartSp obtained as regarding $LX$ as the internal hom with respect to the closed monoidal structure on sheaves

$LX=\left[{S}^{1},X\right]:U↦{\mathrm{Hom}}_{\mathrm{Sh}\left(\mathrm{CartSp}\right)}\left({S}^{1}×Y\left(U\right),X\right)$L X = [S^1,X] : U \mapsto Hom_{Sh(CartSp)}(S^1 \times Y(U), X)

(where $Y$ denotes the Yoneda embedding).

This means that a map $c:U\to LX$ is a plot if and only if the associated map $U×{S}^{1}\to X$ is smooth. The second diffeology is the one obtained from the functor $F$.

These two diffeologies coincide – in the sense that every plot of one is a plot of the other. In particular, they have the same sets of smooth functions.

A detailed proof of this is in (Waldorf, lemma A.1.7)

### $G$-Structures on smooth loop spaces

The usual notions of G-structures for manifolds, such as orientation, spin structure, string structure, etc. do not carry over directy to their smooth loop spaces, but they are closely related by transgression: a spin structure on $X$ is supposed to induced a kind of orientation structure on $\Omega X$, a string structure on $X$ is supposed to induce a kind of spin structure on $\Omega X$.

Formalizations of such “smooth loop space $G$-structures” have been proposed in (Stolz-Teichner 2005), (Waldorf 2010) and (Waldorf 2012).

### As the loop space object of the smooth path groupoid

Given the notion of the smooth path groupoid ${𝒫}_{1}\left(X\right)$ of the smooth space $X$, we may think of the smooth loop space as the corresponding loop space object.

We say this in detail now.

#### Recollection of the situation in $\mathrm{Top}$

First briefly recall the situation for topological spaces and their loop space objects, which are the topological loop spaces:

The ordinary procedure is that we regard a topological space as an object in the (∞,1)-category Top and produce its loop space at a chosen base point $x:*\to X$ as the (∞,1)-pullback of the base point along itself:

$\begin{array}{ccc}{\Omega }_{x}X& \to & *\\ ↓& ⇙& {↓}^{x}\\ *& \stackrel{x}{\to }& X\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \Omega_x X &\to& {*} \\ \downarrow &\swArrow& \downarrow^{\mathrlap{x}} \\ {*} &\stackrel{x}{\to}& X } \,.

In words this is the simple statement that ${\Omega }_{x}X$ is the space of all homotopies in the (∞,1)-category Top from the map $x:*\to X$ to itself. Any one such homotopy is itself a continuous map $\gamma :I\to X$ from the standard interval $I=\left[0,1\right]$ to $X$, such that restricted to its endpoints it produces the map $x$. Clearly, these are precisely the loops in $X$, based at $X$.

#### Generalization to $\infty$-Lie groupoids

You might think: well, now let $X\in {\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{Diff}\right)$ be a smooth manifold regarded as a representable object in the (∞,1)-category of (∞,1)-sheaves of ∞-stacks on Diff or maybe better in Sh_{(\infty,1)}(CartSp) on CartSp – i.e. of Lie ∞-groupoids – , we play the same trick and compute the homotopy pullback $Q$

$\begin{array}{ccc}Q& \to & *\\ ↓& ⇙& {↓}^{x}\\ *& \stackrel{x}{\to }& X\end{array}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\in {\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{CartSp}\right)$\array{ Q &\to& {*} \\ \downarrow &\swArrow& \downarrow^{\mathrlap{x}} \\ {*} &\stackrel{x}{\to}& X } \;\;\;\;\;\;\;\;\;\;\;\; \in Sh_{(\infty,1)}(CartSp)

to obtain the smooth loop space. But it doesn’t: the $Q$ here is $Q=*$! That’s because $X$ regarded as a representable object in ${\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{Diff}\right)$ is really a categorically discrete Lie groupoid: it has a smooth space $X$ of objects, but no nontrivial morphisms. And the “homotopies” in the homotopy pullback are homotopies as seen by the morphisms in $X$. There is just the identity morphism in $X$ going from $*\to X$ to itself, so the homotopy pullback is the point.

Why then did it work in Top? Because, if you look closely, there really we did something different! Regarded as an (∞,1)-category, Top is really the collection of ∞-stacks on the point :

$\mathrm{Sing}:\mathrm{Top}\stackrel{\simeq }{\to }{\mathrm{Sh}}_{\left(\infty ,1\right)}\left(*\right)\phantom{\rule{thinmathspace}{0ex}}.$Sing : Top \stackrel{\simeq}{\to} Sh_{(\infty,1)}({*}) \,.

Under this identification, a topological space is not identified with a representable object! The only representable object in ${\mathrm{Sh}}_{\left(\infty ,1\right)}\left(*\right)$ is of course the point itself, the terminal object. Instead, as the notation above already suggests, under this identification a topological space is really identified with its singular simplicial complex $\mathrm{Sing}\left(X\right)$. But that’s really to be thought of as the topological fundamental ∞-groupoid of $X$. We should write

$\Pi \left(X\right)=\mathrm{Sing}\left(X\right)={\mathrm{Hom}}_{\mathrm{Top}}\left({\Delta }_{\mathrm{Top}}^{•},X\right)\in \mathrm{SSet}$\Pi(X) = Sing(X) = Hom_{Top}(\Delta^\bullet_{Top},X) \in SSet

instead of $X$ when we regard the topological space $X$ as an object of the (∞,1)-category of topological spaces! For more on this, see the discussion at homotopy hypothesis.

If instead we had interpreted the topological space $X$ as a representable object, hence as a categorically discrete object in the $\left(\infty ,1\right)$-category of topological ∞-groupoids, we would have seen the same phenomenon as for the smooth $X$ above: its loop space object would have been the point. From this perspective now it is clear how the abstract notion of loop space object corresponds to the geometrically expected one: for a geometric space $X$, its loop space is the loop space object of its fundamental ∞-groupoid.

This statement can be given sense in all context where the underlying topos of our ambient (∞,1)-topos of spaces is a lined topos: we need to know which object $R$ is the standard line or interval object. This determines the geometric paths in a space. Taking these geometric paths to be the morphisms of a fundamental ∞-groupoid then makes the geometric paths into “categorical paths”, i.e. into morphisms. These then are what the abstract definition of loop space object can see.

And indeed, whenever the underlying topos of spaces that we are looking at is a lined topos the corresponding (∞,1)-topos comes equipped with a generalization of the topological fundamental ∞-groupoid construction: we can associate to every space $X$ its path ∞-groupoid $\Pi \left(X\right)$: the morphisms of $\Pi \left(X\right)$ are given by paths in $X$ as seen by the given interval object $I$. All entirely analogous to the familiar situation for Top, only that now we are testing our generalized spaces over test objects in an arbitrary sites and are using a correspondingly different notion of interval object.

#### The concrete definition

So for $X$ a smooth manifold, regarded as a representable object in the (∞,1)-topos ${\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{CartSp}\right)$ of Lie ∞-groupoids we have now that the homotopy pullback of any point $*\to X↪\Pi \left(X\right)$ along itself in the path ∞-groupoid $\Pi \left(X\right)$ does indeed produce the expected Lie ∞-groupoid ${\Omega }_{x}X$ in

$\begin{array}{ccc}{\Omega }_{x}X& \to & *\\ ↓& ⇙& {↓}^{x}\\ *& \stackrel{x}{\to }& \Pi \left(X\right)\end{array}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\phantom{\rule{thickmathspace}{0ex}}\in {\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{CartSp}\right)$\array{ \Omega_x X &\to& {*} \\ \downarrow &\swArrow& \downarrow^{\mathrlap{x}} \\ {*} &\stackrel{x}{\to}& \Pi(X) } \;\;\;\;\;\;\;\;\;\;\;\; \in Sh_{(\infty,1)}(CartSp)

whose

• smooth space of objects is the smooth space of smooth loops in $X$ based at $x$;

• smooth space of morphism is the smooth space of smooth $I$-homotopies between smooth loops in $X$

• etc;

Here we want not the full loop ∞-groupoid, but just some sort of truncation to a 0-groupoid just of loops. There are several choices for how exactly to do this, depending on which higher morphisms we just discard, and which we use to identify 1-morphisms. Whatever we do, we end up with some notion of smooth path groupoid ${𝒫}_{1}\left(X\right)$ of $X$, whose 1-morphisms are certain smooth quotient space of the smooth space of 1-morphisms in $\Pi \left(X\right)$.

Then, accordingly, forming the loop space object of this path groupoid ${𝒫}_{1}\left(X\right)$ yields the smooth space $\mathrm{LoopSpace}\left(X\right)$

$\begin{array}{ccc}{\mathrm{LoopSpace}}_{x}\left(X\right)& \to & *\\ ↓& ⇙& {↓}^{x}\\ *& \stackrel{x}{\to }& {𝒫}_{1}\left(X\right)\end{array}$\array{ LoopSpace_x(X) &\to& {*} \\ \downarrow &\swArrow& \downarrow^{\mathrlap{x}} \\ {*} &\stackrel{x}{\to}& \mathcal{P}_1(X) }

which is the smooth subspace of the smooth space of morphisms in ${𝒫}_{1}\left(X\right)$ of those morphisms that start and end at $x$.

When unwrapping what all this means, one sees that the object ${\mathrm{LoopSpace}}_{x}\left(x\right)\in {\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{CartSp}\right)$ that we obtain this way is nothing but the image under the embedding $\mathrm{Sh}\left(\mathrm{CartSp}\right)↪{\mathrm{Sh}}_{\left(\infty ,1\right)}\left(\mathrm{CartSp}\right)$ of ordinary sheaves into $\infty$-stacks of some quotient of the internal hom $\left[I,X\right]$ in the closed monoidal structure on sheaves. Being an internal hom of representables, this is a concrete sheaf and as such it is precisely the smooth loop space regarded as a diffeological space.

## References

A general standard reference on generalized smooth spaces is

• Kriegl and Michor, A Convenient Setting of Global Analysis

The structure of loop spaces as Fréchet manifolds is covered in chapter 42 of KM and in various other articles, many of which cover extensions of the basic construction to other mapping spaces. In particular,

The relation of this Fréchet manifold structure to the canonical diffeological space structure is discussed in

Discussion of G-structures on smooth loop spaces is in the following articles.

For orientation structure on loop space and its transgression fro spin structure on target space:

For spin structure on loop spaces and its transgression from string structure on target space:

This entry was created in parallel with this MO thread from which parts of it is taken.

Revised on November 14, 2012 13:41:44 by Urs Schreiber (82.169.65.155)