Let be a finite dimensional smooth manifold. Its smooth loop space, , is an example of a mapping space and is one of the simplest and most commonly encountered mapping spaces. It has many interesting submanifolds: some are defined by coincidences, such as the based loop space, and others are defined by considering fixed point sets of the natural circle action. An extremely useful tool when studying a submanifold is a tubular neighbourhood. Not all submanifolds have tubular neighbourhoods, so it is good to establish some results that establish that they exist. The situation for coindicence submanifolds is considered in tubular neighbourhood of a mapping space. Here we shall consider submanifolds defined by the circle action.
Although in the above we concentrated on the loop space, these results generalise to more general mapping spaces.
Let be a fibre bundle with typical fibre . Suppose that is compact, and that has a measure such that the transition functions are measure-preserving. Consider the submanifold of of maps which are constant on the fibres of . Then this submanifold has a tubular neighbourhood which is invariant under fibrewise measure-preserving diffeomorphisms of .
As a corollary of this, is a compact subgroup then the fixed point set is a submanifold of with an equivariant tubular neighbourhood.
This theorem is itself a corollary of a more specific situation where the base consists of a single point. In this case, we consider maps and look at the submanifold of constant maps. We construct a tubular neighbourhood for this that is invariant as described, and the invariance allows us to extend the result to the more general situation.
The construction of the tubular neighbourhood depends on the existence of a local averaging function. This should be compared with the local addition which was needed to construct the manifold structure on the mapping space in the first place. A local addition is a way of saying: if two points are close, we can move one of them to the other. A local averaging function generalises this to a family of points indexed by some group and says that if such a family is close then we can move all of them towards each other in an equivariant fashion.
The reason that this is needed is because we want to define what it means for a map to be close to one in the fixed point set. The simplest case is where the source is a two point set, say . We want to say what it means for a map to be “close” to a constant map, but we want to say this in such a way that if we swap the labels, nothing changes.
The crucial ingredient in this is what we call a local averaging function. For a local averaging function, we need to be able to take a smooth map which is “small” in some sense, and define a single point in which is the “average” of . This should invariant under the action of measure-preserving diffeomorphisms of on .
Let us illustrate this with . So we have , which means two points . We need to give a general rule as to how to move them together to a point with the property that if we swap and then we produce the same point. Once we have we can use a local addition (based at ) to move both and towards it. This will be invariant under the group action because it only depends on the points and and not on the labels. Thus the key is to find , the “average” of and . If then there is an obvious such point: . However, this will not work on because the sum does not make sense. A local addition could solve this, except that a local addition requires a choice of point and that is precisely what we are trying to avoid.
Our solution is to put inside . In , we can form . However, the point may not lie on , so we need a way to return it to . We can do that if we know that is in a tubular neighbourhood of . Then having found , we can use a local addition at to move and together.
There is one more subtlety. As we move and together, we want to ensure that their “average” point stays at . That is, we need to ensure that the local addition and the local average are independent. To see that this is a reasonable thing, note that the local addition is defined using the tangent space of whilst the tubular neighbourhood uses the normal bundle of the embedding. Thus their effects should be separable. To make this concrete, we use the orthogonal structure on the ambient Euclidean space.
Thus we start with an embedding of in some Euclidean space, say . Then embeds in . Using the orthogonal structure on , we can form the orthogonal complement of in . Let us write this as . Then is the fibre of the normal bundle of the embedding at .
Let us identify with its image. Let us also identify with except that we translate it so that the origin lies at . The identification of with its image also allows us to identify and with their images in , and thus with their images in . They are then affine spaces anchored at and are orthogonal (once the translation is taken into account).
Our first task is to construct a tubular neighbourhood. From the above, we have a map which restricts on the zero section to the inclusion of . At the zero section, the derivative of this map is the identification of with . As this is an isomorphism, the inverse function theorem? comes in to play and says that there is a neighbourhood of the zero section in and a neighbourhood of in such that restricts to a diffeomorphism , which we shall also denote by . Reversing , we get a map which we can combine with the projection to . Let us write for this composition.
This map is the local averaging function that we need. Well, technically the local averaging function is a bit more complicated but to define it in full one needs more data. However, that data will depend on the source of our maps so is the data that is solely dependent on that goes in to the mix that defines the local averaging function and so deserves that name.
The local averaging function is only half of what we need to construct a suitable tubular neighbourhood. The other half is provided by a local addition. It needs to be compatible with the local averaging function and so we assume that the construction of the previous section has been carried out.
Turning to the tangent spaces, for , the space sits as an affine subspace in with complement . There is an orthogonal projection map , projecting along . Restricting this to , we obtain a map .
Note that , which is the zero of , and that is the identity. Allowing to vary, we obtain a smooth map . If we think of as a bundle over (via the projection on to the first factor) then is a bundle map.
Now we don’t actually need this to be defined on the whole of , just on a small piece of it near , but what “small” means here depends on . Using the metric on coming from the orthogonal structure, we choose a continuous function with the property that the closed ball of radius at is contained in . Let us write for the corresponding open ball. Then we restrict to and thus restrict to the set
which is an open neighbourhood of the diagonal.
From the above, we see that (again by the inverse function theorem), there is a neighbourhood of the diagonal and a neighbourhood of the zero section such that restricts to a diffeomorphism . As we have already restricted to , is a subset of it.
Let be the composition:
where the projection is on to the second factor. As is a bundle map, and thus is a local addition.
Let . Then is a subset of . Let be the obvious restriction. Since and the domain of is a subset of , the set is a subset of . Thus . What this means is that the set , which is a subset of and therefore may be all twisted and turned, nevertheless has the property that the closure of its convex hull is contained inside , the tubular neighbourhood of .
Thus we have the maps
The map works by projecting on to along . The map projects on to also by projecting along .
What we have so far can be portrayed in the following diagram.
At this point it is time to we reintroduce our group, although at this stage it isn’t important that our source be a group. We need a compact smooth space; let us write this as . We also need a measure on with the property that has measure . The idea is to consider smooth maps with the property that the closed convex hull of the image of is contained in . Then given such a smooth map we can consider it as a map in to and take its integral. As the closed convex hull of the image of is in , the value of this integral will also be in and thus can be projected to via . Let us write for the set of smooth maps with the property that the closed convex hull of lies in and let us write for this local averaging map.
Now that we know what is the “average” of a “small” map , we can consider the question as to whether or not we can use the local addition to contract to its average. To be able to do this, we need to further restrict our attention to those maps with the property that for all . Knowing this, we can compose with to produce a map .
The construction is set up so that the resulting map lies in a single fibre and has the property that it averages to (viewed in ). This will define a diffeomorphism between the set of smooth maps with those properties and an open subset of . Let us define:
The reverse map is straightforward to describe: given a map , we compose it with to produce a map .
The map defined by composition with is a diffeomorphism on to its image which is open in .
To see that its image is open, let us first note that is open since is open in and is compact. Then within that, the condition on a map that for all is also an open condition, again because is compact. Hence the set of smooth maps with the property that the closed convex hull of lies in (whence is defined) and that for all is an open subset of .
Let us write this as . We have a map given by composition: ; and a map given by . That the second is well-defined is not completely obvious: although lies in by construction, we also have to show that its average is the zero in .
This follows from the way that and were constructed. Since averaging is a linear map, the average of splits as the sum of a point in and a point in . However, by definition, lies in and thus the contribution from must be the zero vector.
To show that these are inverse, it is enough to show that and .
The second is by construction: has image in . The first follows by the argument on splitting the average: the average of splits as the average of its projection to plus the average of its projection to . Since the former is , the average of lies in and hence .
The last step in constructing the tubular neighbourhood is to construct a diffeomorphism between and . This is straightforward: we restrict (if necessary) so that it is diffeomorphic as a fibre bundle to , say via , and then define the map via:
The above construction produces a tubular neighbourhood of the space of constant maps in the space of smooth maps . The construction is invariant under measure-preserving diffeomorphisms of . In particular, if is a group and the measure is invariant under the group action, the tubular neighbourhood is equivariant.
This construction extends to the case where the source is a fibre bundle with fibre and the submanifold under consideration are those maps which are constant on the fibres of . We need to assume that the transition functions preserve the measure on the fibres. The required tubular neighbourhood consists of those maps with the property that when restricted to a fibre (identified with via a measure-preserving diffeomorphism), the map lies in the image of .