Skip to main content
MathOverflow

Return to Question

added 12 characters in body
Source Link
David Carchedi
David Carchedi
  • 15.5k
  • 38
  • 99

There is a theorem due to Losik which shows that the category of Frechet manifolds embeds fully-faithfully into diffeological spaces. (Diffeological spaces are concrete sheaves on the site of (Euclidean) manifolds http://ncatlab.org/nlab/show/diffeological+space). Diffeological spaces are a complete and cocomplete quasitopos, so, in particular are Cartesian-closed. Froelicher spaces are also complete, cocomplete and Cartesian-closed: http://ncatlab.org/nlab/show/Froelicher+space#hausdorff. Do Frechet manifolds also embedd fully-faithfully into Froelicher spaces? If so, if we "cut out a submanifold" of a Frechet space, does it correspond to the sub-Froelicher space when embedded? How about for diffeological spaces?

There is a theorem due to Losik which shows that the category of Frechet manifolds embeds fully-faithfully into diffeological spaces. (Diffeological spaces are concrete sheaves on the site of manifolds http://ncatlab.org/nlab/show/diffeological+space). Diffeological spaces are a complete and cocomplete quasitopos, so, in particular are Cartesian-closed. Froelicher spaces are also complete, cocomplete and Cartesian-closed: http://ncatlab.org/nlab/show/Froelicher+space#hausdorff. Do Frechet manifolds also embedd fully-faithfully into Froelicher spaces? If so, if we "cut out a submanifold" of a Frechet space, does it correspond to the sub-Froelicher space when embedded? How about for diffeological spaces?

There is a theorem due to Losik which shows that the category of Frechet manifolds embeds fully-faithfully into diffeological spaces. (Diffeological spaces are concrete sheaves on the site of (Euclidean) manifolds http://ncatlab.org/nlab/show/diffeological+space). Diffeological spaces are a complete and cocomplete quasitopos, so, in particular are Cartesian-closed. Froelicher spaces are also complete, cocomplete and Cartesian-closed: http://ncatlab.org/nlab/show/Froelicher+space#hausdorff. Do Frechet manifolds also embedd fully-faithfully into Froelicher spaces? If so, if we "cut out a submanifold" of a Frechet space, does it correspond to the sub-Froelicher space when embedded? How about for diffeological spaces?

Source Link
David Carchedi
David Carchedi
  • 15.5k
  • 38
  • 99

Generalized smooth spaces and infinite dimensional manifolds

There is a theorem due to Losik which shows that the category of Frechet manifolds embeds fully-faithfully into diffeological spaces. (Diffeological spaces are concrete sheaves on the site of manifolds http://ncatlab.org/nlab/show/diffeological+space). Diffeological spaces are a complete and cocomplete quasitopos, so, in particular are Cartesian-closed. Froelicher spaces are also complete, cocomplete and Cartesian-closed: http://ncatlab.org/nlab/show/Froelicher+space#hausdorff. Do Frechet manifolds also embedd fully-faithfully into Froelicher spaces? If so, if we "cut out a submanifold" of a Frechet space, does it correspond to the sub-Froelicher space when embedded? How about for diffeological spaces?