nLab smooth loop space

Redirected from "smooth loop spaces".
Contents

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

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 MM be a smooth finite dimensional manifold. Then the set of smooth maps S 1MS^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 XX, is simply the result of applying the internal hom functor with that space as target and the circle as source:

LX[S 1,X] 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 [S 1,X][S^1,X] for XX 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, MM, of dimension nn. 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 LML M with the Fréchet space L n=C (S 1, n)L \mathbb{R}^n = C^\infty (S^1, \mathbb{R}^n). 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 MM is that of a local addition, η:TMM\eta \colon T M \to M.

Let η:TMM\eta \colon T M \to M be a local addition on MM. Let VM×MV \subseteq M \times M be the image of the map π×η:TMM×M\pi \times \eta \colon T M \to M \times M. Although (as yet) we know nothing about the topologies of LTML T M or of LVL V, we can at least say that the looped map, (π×η) L:LTMLV(\pi \times \eta)^L \colon L T M \to L V, is a bijection.

Lemma

Let αLM\alpha \in L M. Define the set U αLMU_\alpha \subseteq L M by:

U α{βLM:(α,β)LV}. U_\alpha \coloneqq \{ \beta \in L M : (\alpha, \beta) \in L V\}.

Then the preimage of {α}×U α\{\alpha\} \times U_\alpha under (π×η) L(\pi \times \eta)^L is naturally identified with Γ S 1(α *TM)\Gamma_{S^1}(\alpha^* T M). In particular, the zero section of α *TM\alpha^* T M maps to (α,α){α}×U α(\alpha, \alpha) \in \{\alpha\} \times U_\alpha.

Proof

We claim that there is a diagram:

LTM (π×η) L LV β(α,β) Γ S 1(α *TM) U α \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 (π×η) L(\pi \times \eta)^L induces a bijection from the lower-left to the lower-right.

The left-hand vertical map, Γ S 1(α *TM)LTM\Gamma_{S^1}(\alpha^* T M) \to L T M, is defined as follows: the total space of α *TM\alpha^* T M is:

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

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

Γ S 1(α *TM) {βLTM:(t,β(t))α *TMfor alltS 1} {βLTM:α(t)=πβ(t)for alltS 1} {βLTM:π Lβ=α} L αTM \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 Γ S 1(α *TM)LTM\Gamma_{S^1}(\alpha^* T M) \to L T M is injective.

We apply (π×η) L(\pi \times \eta)^L to the defining condition for L αTML_\alpha T M and see that L αTML_\alpha T M is the preimage under this map of everything of the form (α,γ)(\alpha, \gamma) in LVL V. By construction, γLM\gamma \in L M is such that (α,γ)LV(\alpha, \gamma) \in L V if and only if γU α\gamma \in U_\alpha. Hence (π×η) L(\pi \times \eta)^L identifies L αTML_\alpha T M with {α}×U α\{\alpha\} \times U_\alpha.

Finally, note that the zero section of α *TM\alpha^* T M maps to the image of α\alpha under the zero section of TMT M. Since η\eta composed with the zero section of TMT M is the identity on MM, the image under the zero section of α *TM\alpha^* T M in VV is (α,α)(\alpha, \alpha) as required.

The resulting map, let us write it Ψ α:Γ S 1(α *TM)U α\Psi_\alpha \colon \Gamma_{S^1}(\alpha^* T M) \to U_\alpha, has the following concrete description. Let β:S 1α *TM\beta \colon S^1 \to \alpha^* T M be a section and let β˜:S 1TM\tilde{\beta} \colon S^1 \to T M be the corresponding loop in TMT M (so that β(t)=(t,β˜(t))\beta(t) = (t, \tilde{\beta}(t)) when viewing α *TM\alpha^* T M as a submanifold of S 1×TMS^1 \times T M). Then (π×η) L(β˜)=(α,η L(β˜))(\pi \times \eta)^L (\tilde{\beta}) = (\alpha, \eta^L (\tilde{\beta})) so Ψ α(β)=η L(β˜)\Psi_\alpha(\beta) = \eta^L (\tilde{\beta}).

As we have assumed MM to be orientable, α *TM\alpha^* T M can be trivialised. A smooth such trivialisation defines a linear homeomorphism Γ S 1(α *TM)L n\Gamma_{S^1}(\alpha^* T M) \cong L \mathbb{R}^n. We use this to impose a smooth structure on Γ S 1(α *TM)\Gamma_{S^1}(\alpha^* T M), 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 η 1,η 2:TMM\eta_1, \eta_2 \colon T M \to M be local additions with corresponding neighbourhoods V 1V_1, V 2V_2 of the diagonal in M×MM \times M. Let α 1\alpha_1, α 2\alpha_2 be smooth loops in MM. Let Ψ 1:Γ S 1(α 1 *TM)U 1\Psi_1 \colon \Gamma_{S^1}(\alpha_1^* T M) \to U_1 and Ψ 2:Γ S 1(α 2 *TM)U 2\Psi_2 \colon \Gamma_{S^1}(\alpha_2^* T M) \to U_2 be the corresponding maps defined as above.

The transition function:

Ψ 12Ψ 1 1Ψ 2:Ψ 1 1(U 1U 2)Ψ 2 1(U 1U 2) \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 Ψ 1 1(U 1U 2)\Psi_1^{-1}(U_1 \cap U_2) within Γ S 1(α 1 *TM)\Gamma_{S^1}(\alpha_1^* T M). Let W 12α 1 *TMW_{1 2} \subseteq \alpha_1^* T M be the set:

{(t,v)α 1 *TM:(α 2(t),η 1(v))V 2}. \big\{ (t,v) \in \alpha_1^* T M : (\alpha_2(t), \eta_1(v)) \in V_2\big\}.

Note that this is open in α 1 *TM\alpha_1^* T M as it is the preimage of the open set V 2V_2 by the continuous map α 2×η 1\alpha_2 \times \eta_1.

Let γΓ S 1(α 1 *TM)\gamma \in \Gamma_{S^1}(\alpha_1^* T M) and let γ˜LTM\tilde{\gamma} \in L T M be the image of γ\gamma (so that γ(t)=(t,γ˜(t))\gamma(t) = (t, \tilde{\gamma}(t)). Then γ(t)W 12\gamma(t) \in W_{1 2} for all tt if and only if (α 2(t),η 1(γ˜(t)))V 2(\alpha_2(t), \eta_1(\tilde{\gamma}(t))) \in V_2 for all tt. That is to say, if and only if (α 2,η 1 L(γ˜))LV 2(\alpha_2, \eta_1^L(\tilde{\gamma})) \in L V_2. This is precisely the condition that η 1 L(γ˜)U 2\eta_1^L(\tilde{\gamma}) \in U_2. Since η 1 L(γ˜)=Ψ 1(γ)\eta_1^L(\tilde{\gamma}) = \Psi_1(\gamma), we see that γ\gamma takes values in W 12W_{1 2} if and only if Ψ 1(γ)U 2\Psi_1(\gamma) \in U_2. Since ImΨ 1=U 1\operatorname{Im} \Psi_1 = U_1, we conclude that Γ S 1(W 12)=Ψ 1 1(U 1U 2)\Gamma_{S^1}(W_{1 2}) = \Psi_1^{-1}(U_1 \cap U_2).

Let us define W 21α 2 *TMW_{2 1} \subseteq \alpha_2^* T M similarly. The idea of the proof that Φ 12\Phi_{1 2} is a diffeomorphism is to show that it is induced by a diffeomorphism W 12W 21W_{1 2} \cong W_{2 1}.

Let θ 1:W 12TM\theta_1 \colon W_{1 2} \to T M be the map:

θ 1(t,v)=(π×η 2) 1(α 2(t),η 1(v)). \theta_1(t,v) = (\pi \times \eta_2)^{-1}(\alpha_2(t), \eta_1(v)).

The definition of W 12W_{1 2} ensures that (α 2(t),η 1(v))V 2(\alpha_2(t) ,\eta_1(v)) \in V_2 for (t,v)W 12(t,v) \in W_{1 2} and this is the image of π×η 2\pi \times \eta_2. Hence θ 1\theta_1 is well-defined. Define θ 2:W 21TM\theta_2 \colon W_{2 1} \to T M similarly. These are both smooth maps.

Notice that π(π×η i) 1:V iM×MM\pi(\pi \times \eta_i)^{-1} \colon V_i \subseteq M \times M \to M is the projection on to the first factor and η i(π×η i) 1:V iM\eta_i(\pi \times \eta_i)^{-1} \colon V_i \to M is the projection on to the second. Thus πθ 1(t,v)=α 2(t)\pi \theta_1(t,v) = \alpha_2(t). Hence θ 1:W 12TM\theta_1 \colon W_{1 2} \to T M is such that (t,θ 1(t,v))α 2 *TM(t, \theta_1(t,v)) \in \alpha_2^* T M for all (t,v)W 12(t,v) \in W_{1 2}. Then:

(α 1(t),η 2(θ 1(t,v)))=(α 1(t),η 1(v))V 1 (\alpha_1(t), \eta_2(\theta_1(t,v))) = (\alpha_1(t), \eta_1(v)) \in V_1

so (t,θ 1(t,v))W 21(t, \theta_1(t,v)) \in W_{2 1}. Hence we have a map ϕ 12:W 12W 21\phi_{1 2} \colon W_{1 2} \to W_{2 1} given by:

ϕ 12(t,v)=(t,θ 1(t,v)). \phi_{1 2}(t, v) = (t, \theta_1(t,v)).

Similarly we have a map ϕ 21:W 21W 12\phi_{2 1} \colon W_{2 1} \to W_{1 2}. These are both smooth since the composition with the inclusion into S 1×TMS^1 \times T M is smooth.

Consider the composition ϕ 21ϕ 12(t,v)\phi_{2 1}\phi_{1 2}(t,v). Expanding this out yields:

ϕ 21ϕ 12(t,v) =ϕ 21(t,θ 1(t,v)) =(t,θ 2(t,θ 1(t,v))) =(t,(π×η 1) 1(α 1(t),η 2(θ 1(t,v)))) =(t,(π×η 1) 1(α 1(t),η 1(v))) =(t,(π×η 1) 1(π(v),η 1(v))) =(t,v) \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 (t,v)α 1 *TM(t,v) \in \alpha_1^* T M so π(v)=α 1(t)\pi(v) = \alpha_1(t). Hence ϕ 21\phi_{2 1} is the inverse of ϕ 12\phi_{1 2} and so ϕ 12\phi_{1 2} is a diffeomorphism. Thus the map ϕ 12 L\phi_{1 2}^L is a diffeomorphism from Ψ 1 1(U 1U 2)\Psi_1^{-1}(U_1 \cap U_2) to Ψ 2 1(U 1U 2)\Psi_2^{-1}(U_1 \cap U_2). We just need to show that this is the transition function. To do this, we show that Ψ 2ψ 12 L=Ψ 2Φ 12\Psi_2 \psi_{1 2}^L = \Psi_2 \Phi_{1 2}. The right-hand side is, by definition, Ψ 1\Psi_1 which satisfies:

Ψ 1(γ)(t)=η 1(γ˜)(t). \Psi_1(\gamma)(t) = \eta_1(\tilde{\gamma})(t).

On the other side,

ϕ 12 L(γ)(t) =ϕ 12(γ(t)) =(t,θ 1(t,γ˜(t))) =(t,(π×η 2) 1(α 2(t),η 1(γ˜(t)))). \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

Ψ 2ϕ 12 L(γ)(t)=η 2(π×η 2) 1(α 2(t),η 1(γ˜(t)))=η 1(γ˜)(t). \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 ϕ 12 L=Φ 12\phi_{1 2}^L = \Phi_{1 2} and so the transition functions are diffeomorphisms.

Remark

This construction easily generalises quite widely. Very little of the structure of S 1S^1 was used at all: that mainly came in in the smooth structure of L nL \mathbb{R}^n. The key structure of MM 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 XX a smooth manifold, the Fréchet manifold structure on LXL X, discussed above agrees with the standard mapping space diffeology on LXL X in the following sense.

There is a functor

F:FrechDiff 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:ULXc : U \to L X, where UU is an object in the domain category, e.g. an open subset of some n\mathbb{R}^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 LXL X: this is the structure of a sheaf on the category CartSp obtained as regarding LXL X as the internal hom with respect to the closed monoidal structure on sheaves

LX=[S 1,X]:UHom Sh(CartSp)(S 1×Y(U),X) L X = [S^1,X] : U \mapsto Hom_{Sh(CartSp)}(S^1 \times Y(U), X)

(where YY denotes the Yoneda embedding).

This means that a map c:ULXc : U \to L X is a plot if and only if the associated map U×S 1XU \times S^1 \to X is smooth. The second diffeology is the one obtained from the functor FF.

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)

GG-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 directly to their smooth loop spaces, but they are closely related by transgression: a spin structure on XX is supposed to induce a kind of orientation structure on ΩX\Omega X, a string structure on XX is supposed to induce a kind of spin structure on ΩX\Omega X.

Formalizations of such “smooth loop space GG-structures” have been proposed in (Stolz-Teichner 2005), (Waldorf 2011) and (Waldorf 2016). In particular an equivalence between spin structures on smooth loop space and string structure on the underlying space is discussed in (Waldorf 14).

As the loop space object of the smooth path groupoid

Given the notion of the smooth path groupoid 𝒫 1(X)\mathcal{P}_1(X) of the smooth space XX, 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 TopTop

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:*Xx : {*} \to X as the (∞,1)-pullback of the base point along itself:

Ω xX * x * x X. \array{ \Omega_x X &\to& {*} \\ \downarrow &\swArrow& \downarrow^{\mathrlap{x}} \\ {*} &\stackrel{x}{\to}& X } \,.

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

Generalization to \infty-Lie groupoids

You might think: well, now let XSh (,1)(Diff)X \in Sh_{(\infty,1)}(Diff) 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 (,1)(CartSp)Sh_{(\infty,1)}(CartSp) on CartSp – i.e. of Lie ∞-groupoids – , we play the same trick and compute the homotopy pullback QQ

Q * x * x XSh (,1)(CartSp) \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 QQ here is Q=*Q = {*}! That’s because XX regarded as a representable object in Sh (,1)(Diff)Sh_{(\infty,1)}(Diff) is really a categorically discrete Lie groupoid: it has a smooth space XX of objects, but no nontrivial morphisms. And the “homotopies” in the homotopy pullback are homotopies as seen by the morphisms in XX. There is just the identity morphism in XX going from *X{*} \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 :

Sing:TopSh (,1)(*). 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 Sh (,1)(*)Sh_{(\infty,1)}({*}) 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 Sing(X)Sing(X). But that’s really to be thought of as the topological fundamental ∞-groupoid of XX. We should write

Π(X)=Sing(X)=Hom Top(Δ Top ,X)SSet \Pi(X) = Sing(X) = Hom_{Top}(\Delta^\bullet_{Top},X) \in SSet

instead of XX when we regard the topological space XX 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 XX as a representable object, hence as a categorically discrete object in the (,1)(\infty,1)-category of topological ∞-groupoids, we would have seen the same phenomenon as for the smooth XX 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 XX, its loop space is the loop space object of its fundamental ∞-groupoid.

This statement can be given sense in all contexts where the underlying topos of our ambient (∞,1)-topos of spaces is a lined topos: we need to know which object RR 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 XX its path ∞-groupoid Π(X)\Pi(X): the morphisms of Π(X)\Pi(X) are given by paths in XX as seen by the given interval object II. All entirely analogous to the familiar situation for Top, only that now we are testing our generalized spaces over test objects in an arbitrary site and are using a correspondingly different notion of interval object.

The concrete definition

So for XX a smooth manifold, regarded as a representable object in the (∞,1)-topos Sh (,1)(CartSp)Sh_{(\infty,1)}(CartSp) of Lie ∞-groupoids we have now that the homotopy pullback of any point *XΠ(X){*} \to X \hookrightarrow \Pi(X) along itself in the path ∞-groupoid Π(X)\Pi(X) does indeed produce the expected Lie ∞-groupoid Ω xX\Omega_x X in

Ω xX * x * x Π(X)Sh (,1)(CartSp) \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 XX based at xx;

  • smooth space of morphisms is the smooth space of smooth II-homotopies between smooth loops in XX

  • 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(X)\mathcal{P}_1(X) of XX, whose 1-morphisms are certain smooth quotient space of the smooth space of 1-morphisms in Π(X)\Pi(X).

Then, accordingly, forming the loop space object of this path groupoid 𝒫 1(X)\mathcal{P}_1(X) yields the smooth space LoopSpace(X)LoopSpace(X)

LoopSpace x(X) * x * x 𝒫 1(X) \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(X)\mathcal{P}_1(X) of those morphisms that start and end at xx.

When unwrapping what all this means, one sees that the object LoopSpace x(X)Sh (,1)(CartSp)LoopSpace_x(X) \in Sh_{(\infty,1)}(CartSp) that we obtain this way is nothing but the image under the embedding Sh(CartSp)Sh (,1)(CartSp)Sh(CartSp) \hookrightarrow Sh_{(\infty,1)}(CartSp) of ordinary sheaves into \infty-stacks of some quotient of the internal hom [I,X][I,X] 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 from spin structure on target space (cf. stringor bundle):

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

See also:

There are also sketchy notes in

For the motivation of much of this via the Dirac-Ramond operator and the Witten genus see the references there.

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

Last revised on February 15, 2024 at 16:43:56. See the history of this page for a list of all contributions to it.