6
$\begingroup$

It is known that the natural functor of smooth functions from the category of smooth manifolds into the category of locally ringed spaces is a full embedding (see, for example, here).

  1. Is a similar functor from the category of diffeological spaces to the category of locally ringed spaces a full embedding?
  2. If so, what can be said about the abstract characterization of its image? An answer to a similar question for smooth manifolds can be found here
Improve this question
$\endgroup$
9
  • 2
    $\begingroup$ Almost certainly not. Diffelofical strucutre can capture very singular spaces, like the non-commutative torus, that have no smooth function defined on them. I really don't see a way to attach to them a locally ringed space in a way that capture any interesting information $\endgroup$
    – Simon Henry
    Commented Mar 26, 2022 at 20:11
  • $\begingroup$ @SimonHenry Thanks! In fact, I'm looking for a small extension of the category of smooth manifolds to include the important naturally occurring infinite-dimensional manifolds (such as spaces of smooth functions), but still being a full subcategory of locally ringed spaces. Apparently, diffiological spaces are not suitable for my purposes. Now I asked this question separately. $\endgroup$
    – Arshak Aivazian
    Commented Mar 26, 2022 at 23:12
  • $\begingroup$ @SimonHenry: what do you mean by "have no smooth function defined on them"? Every diffeological space has smooth functions, for example all constant ones. $\endgroup$
    – Konrad Waldorf
    Commented Mar 28, 2022 at 11:24
  • 2
    $\begingroup$ Essentially yes. I wouldn't say it "shows" because the question didn't really specify how you build a locally ringed space out of a diffeological spaces - but at least it shows that Naive constructions using smooth function don't distinguish between the different non-commutative torus (or Irrational if you prefer). It is different from the discrete space though : the discrete space has plenty of non-constant smooth functions on it. $\endgroup$
    – Simon Henry
    Commented Mar 28, 2022 at 14:02
  • 1
    $\begingroup$ I am not aware of a "nice" embedding functor of diffeological spaces into locally ringed spaces. However, maybe you find the framework of $C^\infty$-rings and locally $C^\infty$-ringed spaces helpful; see, for instance, the book "Smooth infinitesimal analysis" by Moerdijk and Reyes, as well as Dominic Joyce's arxiv.org/abs/1001.0023v7. $\endgroup$
    – Severin Bunk
    Commented Mar 29, 2022 at 7:45

0

Reset to default

You must log in to answer this question.