The path groupoid is a groupoid internal to some category of generalized smooth spaces. Its space of morphisms is defined by taking a quotient of a variant of a path space by the notion of thin homotopy. The path space is, generally, the same in all proposed categories of generalized smooth space but as the path groupoid is formed by taking a quotient, its structure will vary depending on the choice.
This page was started in response to a question on MathOverflow by Theo Johnson-Freyd. The question was ”What is the infinite dimensional manifold structure on the space of smooth paths mod thin homotopy?”.
To find a linear structure, we consider the path groupoid in a vector space, specifically . Thus we consider the space of all smooth paths in and quotient by the equivalence relation of thin homotopy.
The most important point to realise about the linear structure on this quotient is that it doesn’t exist.
The quotient is not by cosets of a subspace and so the linear structure on does not descend to . For it to descend we would need to know that the sum of two paths which are both thin homotopic to the zero path is again thin homotopic to the zero path. Here’s an example where that fails:
Note that, for simplicity, we are defining the path groupoid as the quotient of all smooth paths by the corresponding thin homotopical relation. The resulting space is the same as that formed by taking paths with sitting instants, or paths which are flat at the end-points.
The reason for this failure is seen when we examine how the sum of two paths is formed. The sum of two arbitrary paths and is defined as the composition
Here, and hereafter, .
If and are thinly homotopic to the zero path, then the obvious way to construct a thin homotopy from the sum to the zero path is to take the sum of the thin homotopies.
One cannot compute the exact rank of this without knowing the maps involved, but one can get bounds. In particular, the upper bound on the rank is the minimum of the upper bounds of each piece. The crucial point here is that (unless ), the map with the lowest rank is the map . This is constructed from two thin homotopies, and so has maximum rank !
Of course, this does not prove that it does not always work (the counterexample given above does that) since it might be the case that the maps are always such that this upper bound is not achieved. What this does is explain why the existence of the counterexample is not surprising: it would take a considerable number of coincidences for no counterexample to exist.
Extending this further, we observe that the process of taking the path groupoid is not a product-preserving functor. This is obvious from considering the case of : in , every path is thinly homotopic to every other (with the same end-points) and so simply has objects with a single morphism between each two objects. However, is much, much larger than the corresponding product as it has plenty of paths not thinly homotopic to each other (even with the same end-points).
Finally, the lack of a linear structure on rules out any interesting manifold structure on .
The diffeological structure is simple to explain. A map is a plot if and only if it locally lifts to . That is, if there is a cover of and for each a lift of to a smooth map .
The fact that plots have to lift locally does mean that it is not always possible to patch together smooth curves, even with suitable reparametrisation. That is, if two smooth curves are such that and each is flat at that point, then it may not be possible to concatenate them to a smooth path . Here is an example. Note that a smooth path in locally lifts to a smooth path in , which adjoints to a smooth surface in . So we define and as maps with the first parameter being the parameter along the path in .
We then reparametrise these in so that and are flat (but without sitting instants) at the appropriate end-points ( for , for ). At the end-points, we have which is thinly homotopic to the zero map. Similarly, which is, again, thinly homotopic to the zero map. So but even with the reparametrisation, there is no way to lift the concatenation, , to .
If we include a sitting instant at the concatentation point then it is possible to concatentate these paths. This is because the quotient sets are themselves path-connected, so there is a smooth path between and which lies wholly within the space of paths thinly homotopic to the zero map. While we “sit” at the concatenation point in , the lifted map is frantically dashing from to .
The Frölicher structure on is determined by the fact that smooth functions are those functions that compose to smooth functions . Then the smooth curves are those that compose to smooth curves under all smooth functions. This means that concatenations such as the one above are allowed.