What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T12:33:52Z http://mathoverflow.net/feeds/question/17803 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17803/what-is-the-infinite-dimensional-manifold-structure-on-the-space-of-smooth-paths What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy? Theo Johnson-Freyd 2010-03-11T02:13:40Z 2010-03-17T10:28:13Z <p>This question is motivated by the recent paper <a href="http://golem.ph.utexas.edu/category/2010/03/an_invitation_to_higher_gauge.html" rel="nofollow">An invitation to higher gauge theory</a> by Baez and Huerta, and the 2007 paper <a href="http://arxiv.org/abs/0705.0452" rel="nofollow">Parallel Transport and Functors</a> by Schreiber and Waldorf.</p> <p>Let $M$ be a smooth, finite-dimensional manifold. A <strong>lazy path</strong> in $M$ is a smooth function $\gamma: [0,1]\to M$ such that all derivatives of $\gamma$ vanish at $0,1$. A <strong>homotopy of lazy paths</strong> $\gamma_0,\gamma_1: [0,1] \to M$ is a smooth function $\Gamma: [0,1]^2 \to M$ such that all derivatives of $\Gamma(s,t)$ vanish near $t=0,1$, and such that $\Gamma(s,t) = \gamma_s(t)$ for $s = 0,1$. A homotopy of lazy paths is <strong>lazy</strong> if additionally we have that for each $t$, all the $s$ derivatives of $\Gamma(s,t)$ vanish near $s = 0,1$. A homotopy (of possibly non-lazy paths) is <strong>thin</strong> if $\text{rank}\, d\Gamma &lt; 2$ everywhere. Note that (non-lazy) thin homotopies include all reparameterizations, and so any (possibly non-lazy) piecewise-smooth path is thinly homotopic to a lazy path. Note also that lazy paths concatenate smoothly, and the concatenation of lazy paths is associative up to thin homotopy. Note also that if $\gamma^{-1}(t) = \gamma(1-t)$, then the concatenation $\gamma^{-1}\gamma$ is thinly homotopic to a constant path. Note also that lazy thin homotopies concatenate, and so define an equivalence relation, and if two paths are thinly homotopic, then they are lazily-thinly homotopic. So define $\mathcal P^1(M)$ to be the set of all lazy thin homotopy equivalence classes of lazy paths in $M$. It is a groupoid with base $M$.</p> <p>The idea is to consider $\mathcal P^1(M) \rightrightarrows M$ as not just a groupoid but an infinite-dimensional Lie groupoid. I think I understand the smooth structure on $\mathcal P^1(M)$: a <strong>curve</strong> in $\mathcal P^1(M)$ should be precisely a (non-thin) homotopy of lazy thin paths, up to thin homotopy. It's not entirely clear to me that this defines a <a href="http://arxiv.org/abs/0802.2225" rel="nofollow">smooth structure</a>. But it probably works in some formalism.</p> <p>But if I really want to think of $\mathcal P^1(M) \rightrightarrows M$ as a Lie groupoid, then I should treat $\mathcal P^1(M)$ not just as a smooth space, but actually as an (infinite-dimensional) manifold, and there are various things to check about the maps (the source and target maps should be surjective submersions, etc.). And it's not clear to me how to write down a smooth manifold structure on $\mathcal P^1(M)$.</p> <p>Here's what I'd like. Given a point in $\mathcal P^1(M)$, I'd like a neighborhood of it and a "diffeomorphism" between that neighborhood and some (Fréchet, maybe?) vector space, and I'd like it to be clear that the gluings are smooth. I can make a start: it's clear that the space of lazy paths in a finite-dimensional vector space is a vector space, and that thin homotopies respect addition, so that $\mathcal P^1(\mathbb R^n)$ is a vector space. It's not clear to me how to put a topology on it, and it's not clear that I can approximate $\mathcal P^1(M)$ by chopping $M$ into trivializable pieces, take $\mathcal P^1$ of each piece, and try to glue back together &mdash; thin homotopies can take a path in one trivializable patch and make it wrap around $M$ in a complicated way, providing it wraps back, for example.</p> <p>Hence the question:</p> <blockquote> <p>What is the manifold structure on $\mathcal P^1(M)$?</p> </blockquote> http://mathoverflow.net/questions/17803/what-is-the-infinite-dimensional-manifold-structure-on-the-space-of-smooth-paths/17827#17827 Answer by Tim Perutz for What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy? Tim Perutz 2010-03-11T05:37:26Z 2010-03-11T05:44:14Z <p>If you want to prove something is a smooth manifold, a good way to begin is to decide what its tangent spaces ought to be. So let $\gamma_s$ be a (smooth) homotopy of lazy paths, say for $s$ in $(-\epsilon,\epsilon)$. Its derivative at $s=0$ is a vector field $\xi$ along $\gamma:=\gamma_0$. This is a section of $\gamma^\ast TM$, not necessarily a "lazy" one. The vector field is to count for nothing if $\gamma_s$ is a lazy thin homotopy. So we should take the quotient of $C^\infty(\gamma^* TM)$ by the subspace $L$ of those $\xi$ which have vanishing (higher) derivatives at $0$ and $1$ and such that $\dot{\gamma}(t)$ and $\xi(t)$ are linearly dependent in $T_{\gamma(t)}M$ for all $t$. </p> <p>A standard method to produce smooth charts (on path spaces in particular) is to exponentiate tangent vectors. This requires an auxiliary choice, say of a metric $g$ on $M$, so the manifold structure won't be absolutely canonical; but it may well be canonical up to diffeomorphism (strategy: define a smooth structure on the family of manifolds parametrized by the contractible manifold $Met(M)$, and show it's a smooth fibre bundle). </p> <p>Well, $g$ induces an $L^2$-metric on $C^\infty(\gamma^{\ast}TM)$, so we could take the orthogonal complement $L^{\perp}$ (isn't that the vector fields pointwise-orthogonal to $\dot{\gamma}$, vanishing where $\dot{\gamma}$ does?) and view that as our tangent space. That makes it a little clearer that it's a Frechet space (consider the $C^k$ norms on $L^\perp$...). Let $L^{\perp}_\epsilon$ be the vector fields in $L^\perp$ which, pointwise, have length $&lt;\epsilon$. Assume $\epsilon$ is smaller than the injectivity radius of $g$ along $\gamma$. Then one has $Exp_g \colon L^\perp\to \mathcal{P}^1 M$ (since it defines a diffeo from $(T_{\gamma(0)}M)_{&lt;\epsilon}$ onto its image, $\exp_g$ preserves laziness). This map is injective, and it's a reasonable candidate for a coordinate chart. Declare such charts to be our atlas, defining, as a by-product, a topology - the coarsest that makes the charts continuous.</p> <p>Now you have several things to check. (I haven't - maybe it doesn't work...) One of those is that the topology is Hausdorff, so you might even want to make this into a metric space, perhaps via a Riemannian metric.</p> http://mathoverflow.net/questions/17803/what-is-the-infinite-dimensional-manifold-structure-on-the-space-of-smooth-paths/17843#17843 Answer by Andrew Stacey for What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy? Andrew Stacey 2010-03-11T09:02:28Z 2010-03-17T10:28:13Z <p>Okay, you asked for it!</p> <blockquote> <p><strong>Question:</strong> What is the manifold structure on $P^1(M)$?</p> </blockquote> <p>&nbsp;</p> <blockquote> <p><strong>Answer:</strong> There isn't one.</p> </blockquote> <hr> <p><strong>Update:</strong> The biggest failing is actually that the obvious model space is <strong>not</strong> a vector space. The space of paths mod thin homotopy in $\mathbb{R}^n$ does not inherit a well-defined addition from the space of paths in $\mathbb{R}^n$. Full details at the nLab page <a href="http://ncatlab.org/nlab/show/smooth+structure+of+the+path+groupoid" rel="nofollow">http://ncatlab.org/nlab/show/smooth+structure+of+the+path+groupoid</a>.</p> <p>(Update added here, rather than at the end, as it's the most direct answer to the specific question; the rest should be viewed as extra for those interested in more than just whether or not this space is a smooth manifold.)</p> <hr> <p>It is, as you say, a smooth space. This is formal: whatever category of generalised smooth spaces you like, take the quotient of $P(M)$ by thin homotopies. All the proposed categories of generalised smooth spaces admit quotients, so the quotient exists and is a smooth space. Depending on your choice of category, the description of this smooth space may vary. For example, its Frolicher structure and its diffeological structure are very different.</p> <p>But it is not "locally linear" in any sense. The basic problem is that, as you say, within an equivalence class you have paths wrapping all the way around the manifold. This destroys any hope of local linearity.</p> <p>As for the proposed local model, you hit the nail on the head when you say:</p> <blockquote> <p>It's not clear to me how to put a topology on it,</p> </blockquote> <p>Absolutely! Topologising these spaces can lead to quite strange behaviour. You want a LCTVS structure, else you haven't a hope of even starting, and that can distort the topology from what you expect. For example, if you take piecewise-smooth paths (with no quotient) then the LCTVS topology on that is the $C^0$-topology! Indeed, simply taking so-called "lazy paths" could be fraught with difficulties (I notice that you define "lazy" slightly differently to how I've seen it done before with sitting instances). Is that space a manifold? (I know the answer to this one, but if you don't then you should start with that one as it is a <em>much</em> easier question and will hone your skills a little.)</p> <p>If you really want a manifold, the solution is to go one step further. Rather than quotienting out by thin homotopies, make your "thing" into a 2-structure and put the thin homotopies in at the 2-level. Keep <em>all</em> paths at the 1-level. Then each level has a manifold structure and by mapping into a 1-structure you effectively quotient out by the 2-structure but never actually have to consider the quotient itself.</p> <p>To coin a phrase:</p> <blockquote> <p>Quotients are horrible, it's a shame so many people think otherwise.</p> </blockquote> <p>Lastly, that's not to say that there is <em>no</em> way of making $P^1(M)$ into a manifold. There may well be. But if there is, it'll be so convoluted and contrived that it won't look anything like the quotient of $P(M)$. A cautionary tale here is the case of <em>all</em> paths in a manifold, $C^\infty(\mathbb{R},M)$. That can be made into a manifold, but it has uncountably many components, for example, so looks absolutely horrid.</p> <p>Okay, not quite lastly. There's lots of details here that have been glossed over. If you are really interested in working out the smooth space structure of this particular space then I (and I suspect Urs and Konrad) would be very interested in seeing it done and helping out. But MO isn't the place for that. Hop on over to the nLab, create a spin-off of <a href="http://ncatlab.org/nlab/show/path+groupoid" rel="nofollow">http://ncatlab.org/nlab/show/path+groupoid</a>, and start working.</p> <h3>Further Reading</h3> <ol> <li><p><em>Constructing smooth manifolds of loop spaces.</em> <a href="http://www.math.ntnu.no/~stacey/Research/Papers/smooth.html" rel="nofollow">canonical page</a>. The point of this is to figure out exactly when the "standard method" (alluded to by Tim) works. The distinction between "loop" and "path" is irrelevant.</p></li> <li><p><em>The Smooth Structure of the Space of Piecewise-Smooth Loops.</em> <a href="http://www.math.ntnu.no/~stacey/Research/Preprints/piecewise.html" rel="nofollow">canonical page</a>. Why you should be very, very nervous whenever anyone says "consider piecewise-smooth maps"; and take as a cautionary tale as to the inadvisability of going beyond smooth maps in general.</p></li> <li><p><a href="http://ncatlab.org/davidroberts/show/which+smooth+paths+do+I+use" rel="nofollow">Work of David Roberts on the nLab</a>. This is where I got the 2-idea that I mentioned above.</p></li> <li><p>Other relevant nLab pages: <a href="http://ncatlab.org/nlab/show/generalized+smooth+space" rel="nofollow">http://ncatlab.org/nlab/show/generalized+smooth+space</a>, <a href="http://ncatlab.org/nlab/show/smooth+loop+space" rel="nofollow">http://ncatlab.org/nlab/show/smooth+loop+space</a> and further.</p></li> <li><p>Of course, the magnificent <a href="http://www.ams.org/online_bks/surv53/" rel="nofollow">book by Kriegl and Michor</a>. (I'm going to create a separate MO account for that book; its role will be to post an answer on relevant questions simply saying "Read Me".)</p></li> </ol> <hr> <p>In response to Konrad's comment below, I've started an nlab page to work out the smooth structure of this space. The initial content considers the linear structure of the space of paths in some Euclidean space modded out by thin homotopy. The page is <a href="http://ncatlab.org/nlab/show/smooth+structure+of+the+path+groupoid" rel="nofollow">http://ncatlab.org/nlab/show/smooth+structure+of+the+path+groupoid</a>.</p>