The construction appears to be the standard one, but the model space is a little strange. The space is the smooth path space, with source , but the claim is that the model space is a complete normable space. This would make it a Banach manifold, but the space of smooth paths is modelled on a nuclear Fréchet space so can’t be a complete normable space. Indeed, on a quick scan through I couldn’t see where it was shown that the model space was complete.
Created on August 11, 2011 at 12:07:07. See the history of this page for a list of all contributions to it.