MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 Diffeological spaces are a complete and cocomplete quasitopos, so, in particular are Cartesian-closed. Froelicher spaces are also complete, cocomplete and Cartesian-closed: 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?

share|cite|improve this question
Can you provide a reference to the Losik result? In particular, I'd want to know what definition of "Frechet manifold" is used since the term "smooth" is ambiguous for Frechet spaces. – Loop Space Jul 19 '10 at 8:03
1… – David Carchedi Jul 19 '10 at 23:24

In Jordan Watt's thesis it is shown that Frölicher spaces form a full subcategory of diffeological spaces, so if the functor from Fréchet manifolds to diffeological spaces is fully faithful (as seems to be the case by the result of Losik), and if this functor factors through Frölicher spaces (as shown in Kriegl-Michor), then Fréchet manifolds embed fully faithfully in Frölicher spaces.

share|cite|improve this answer

The category of Frechet manifolds and smooth mappings (note that $C^\infty_c$ equals smooth in the setting of convenient calculus here) embeds faithfully into the category of Frölicher spaces: The Frölicher-structure is generated by the smooth curves in the Frechet manifold.

The embedding might be not full: Namely, the question is whether there are "enough" smooth functions on the manifold (which might not be smoothly paracompact); if not, then we might get more smooth curves in the Frölicher space; thus $\mathbb R\to M$ has more morphisms in the category of Frölicher spaces that in the category of Frechet manifolds. We (Andreas Kriegl and me) do not know an example of this. The nearest is in 27.6 in

By lemma 27.5 there, smoothly regular Frechet manifolds embed fully into Frölicher spaces.

The answer to the second question is YES: A Frechet submanifold of a linear Frechet space is uniquely a Frölicher space: Restrictions of linear functionals on the Frechet space suffice to recognize smooth curves.

share|cite|improve this answer
$C^\infty_c$ as in Keller's classification of smoothness (that is, smooth in the sense of Michal and Bastiani)? – Pedro Lauridsen Ribeiro May 26 at 23:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.