Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I got a question by email about the equivariant tubular neighbourhoods in loop spaces (as opposed to those defined using propagating flows so I figured it was time to nLabify that section of differential topology of mapping spaces. Of course, in so doing I figured out a generalisation: given a fibre bundle E→B, everything compact, we consider smooth maps E→M which are constant on fibres. This is a submanifold of the space of all smooth maps E→M. Assuming we can put a suitable measure on the fibres of E, then we can define a tubular neighbourhood of this submanifold.
Details at equivariant tubular neighbourhoods. Title may be a bit off now, but it’s that because the original case was for the fibre bundle S1→S1 with fibre ℤn.
This entry is also notable because I produced it using a whole new LaTeX-to-iTeX converter. Details on the relevant thread.
The displayed equation above lemma 1 (in version 1) is a bit wonky on the spacing, but apart from that a quick scan showed it to be very nice. Well done!
Aagh. I keep forgetting that \text
behaves ever so slightly differently with regard to swallowing spaces. Fixed.
Also added a picture to try to illustrate some of the maps.
1 to 3 of 3