# Ind-Frechet manifolds?

Short version: has anyone done geometry on something that is the formal filtered colimit of Frechet manifolds?

Longer version: A colleague and I came up with a concept today that seems like we require generalising smooth Frechet manifolds to something that is a filtered colimit of such manifolds: Ind-Frechet manifolds if you will.

A fragment of this idea is that we need to consider a space of smooth paths $I \to M$ in a smooth manifold (poss. compact) with a finite number discontinuities (poss. zero). As a topological space one can simply take the (filtered) colimit over the spaces of paths with discontinuities at specified number of points in $I$ (this should be a Frechet manifold). The result is a space over the infinite simplex (i.e. $colim_n \Delta^n$). But there is no guarantee that this colimit exists in the category of Frechet manifolds and smooth maps.

We really need this to be something like a smooth space, so we can discuss connections and the such like. I'm aware that we could use something like diffeological spaces or Chen spaces or the like, but since people talk about ind-schemes, I wondered if there was something similar for manifolds.

-
I've expanded on my answer. –  Loop Space Oct 27 '11 at 18:05
Updated answer again. –  Loop Space Oct 28 '11 at 6:56

Short version: Yes, me.

Slightly Longer Version:

Added in Edit: What I write below is concerned with the space of continuous piecewise-smooth paths or loops. That is, continuous maps which are smooth except on a finite subset of the interval (or circle). Dropping the continuity requirement is only a cosmetic change: all the regularity statements shift down by one degree. Indeed, differentiation is an isomorphism from continuous and piecewise-smooth to just piecewise-smooth (providing you've chosen your end-point conditions compatibly). In particular, the analysis in the linked paper will readily adapt to this case.

There is a manifold of piecewise-smooth loops or paths, but it isn't pretty. It's just about as bad as you can get and still be called a manifold.

The first thing to decide is exactly what you mean by "piecewise-continuous smooth". The basic question is as to what you want a smooth map $[0,1] \to \mathbb{R}$ to be. Should it be smooth on $(0,1)$ and continuous on $[0,1]$ or should the derivatives exist at the end points?

If the first ("open"), then you're in for a nasty shock. The space of piecewise-smooth paths in $\mathbb{R}^n$ when considered as a locally convex topological vector space turns out to be a topological subspace of the space of continuous paths in $\mathbb{R}^n$. That's right: topological subspace. So all that information that you thought you had about derivatives is thrown away: you're using the $\|-\|_\infty$ norm. This means that any manifold structure that you are looking at is as a subspace of the Banach manifold of continuous paths (or loops). So since completeness is quite important, you should really work with continuous paths.

So then we look at the second ("closed"). In this case, the situation looks a bit better. What happens here is that adding additional breakpoints plays nicely: the space with breakpoints at $\{t_1,...,t_n\}$ is a closed subspace of the space with breakpoints at $\{t_1,...,t_n,t_{n+1}\}$. The difficulty here is that the family that you are taking the colimit over is uncountable (all finite subsets of the interval or circle) which means that all the "nice" theorems about inductive limits of LCTVS's don't (necessarily) hold.

Nonetheless, the colimit is a locally convex topological vector space and the space of piecewise-smooth loops or paths in an arbitrary manifold is a smooth manifold modelled on it. But that's the best you can say. I've not been able to show yet that it is paracompact, nor even that it is smoothly regular (like Tychanoff but with smooth functions).

However, there's a worse problem with this manifold. Let's take piecewise-smooth loops. Then the obvious property that you'd like is for the circle to act nicely on this space. Any given circle element acts by translation and this is a diffeomorphism. However, the assignment $\lambda \to \tau_\lambda$ is not continuous. The image of the circle is discrete. In fact, the image of the diffeomorphism group of the circle acting by reparametrisation is totally disconnected. So that's pretty bad as it means that all the standard reparametrisation homotopies don't work as is. They only work by homotoping the whole space to the space of smooth loops and working there - in which case you should probably work with smooth loops in the first place.

If you only allow breaks at rational points then life is a bit better in terms of the manifold's structure (it admits smooth partitions of unity, for example) but the circle action is still bad.

Fixing the circle action requires adding in lots more loops, right up to the space of differentiable loops with derivative of bounded variation. So that's almost as bad as the continuous loops that we had earlier.

Conclusion: either way, it's a Bad Space.

Long Version: Read The Smooth Structure of the Space of Piecewise-Smooth Loops.

-
Hmm, that is at least a lower bound on the awfulness of the space I'm interested in, which is more like the space of smooth piecewise continuous loops. It's not actually it, because this was meant to give a flavour of what I was looking at. –  David Roberts Oct 27 '11 at 22:13
For reasons which I'm struggling to articulate, this answer (and the moral of this answer) gives me a sense of grim satisfaction... –  Yemon Choi Oct 27 '11 at 22:32
David: Whoops! I misread the question. Doesn't make a lot of difference, though. Still just as awful. If you can describe your space a little more accurately, I may be able to make more precise statements. –  Loop Space Oct 28 '11 at 6:57
Hi Andrew. The space is the colimit of $LieGpd(p,X)$ over the poset with objects finite partitions of $I=[0,1]$, considered as finite closed covers by intervals that only overlap on their endpoints, and with arrows the smooth maps over $I$ and where $p$ is the Cech groupoid of a given cover associated to a partition and X is a Lie groupoid with compact orbit space (actually it is the Cech groupoid associated to a surjective submersion). In the case that $X$ is a manifold (hence compact), this is just the space of piecewise smooth paths. But I'll email you about further thoughts. –  David Roberts Nov 8 '11 at 3:48