12
$\begingroup$

In differential geometry it is often natural to speak of infinite-dimensional manifolds (e.g., the manifold of mappings between two smooth manifolds). Different versions of generalized smooth spaces are proposed for this purpose. I find the most natural and preferable approach: categories of sheaves on suitable sites (among other things, such categories are automatically Grothendieck topoi with all the properties that follow). Ideally, I'm looking for a textbook on differential geometry from scratch that actively uses, wherever appropriate, generalized smooth spaces, which are defined as the category of sheaves on some site (this is my only requirement). If such textbooks do not exist, then any literature on generalized smooth spaces of this kind, where some definitions are given and some theorems are proved, would be useful to me.

$\endgroup$
15
  • 16
    $\begingroup$ I'd go as far to say you're not really doing differential geometry anymore... $\endgroup$ Sep 30, 2022 at 14:45
  • 3
    $\begingroup$ I agree with @ChrisGerig here in the sense that this is not how mainstream people working in differential geometry conceive of their subject. This is not to say that it might not be useful for whatever it is you're trying to do, just that any such book won't help you read the differential geometry literature. $\endgroup$ Sep 30, 2022 at 17:00
  • 4
    $\begingroup$ @Z.M: The category of sheaves of sets (or simplicial sets) on the site of smooth manifolds is a cartesian closed category. In particular, the internal hom Hom(M,N) between two smooth manifolds M and N exists and has the expected properties. For example, the tangent space at any point can be computed as relative vector fields along a smooth map, etc. Likewise, the Lie algebra of the (infinite-dimensional) group of diffeomorphisms M→M can be computed as the Lie algebra of vector fields on M. The book by Iglesias-Zemmour explains all this. $\endgroup$ Sep 30, 2022 at 18:48
  • 4
    $\begingroup$ @Z.M: The Banach or Fréchet structure can be canonically recovered from the sheaf structure (on finite-dimensional manifolds), see the paper of Losik “Fréchet manifolds as diffeological spaces”. It proves that the category of Fréchet manifolds embeds fully faithfully in the category of diffeological spaces. $\endgroup$ Sep 30, 2022 at 19:42
  • 3
    $\begingroup$ @AlecRhea The fact is that I give my students a course on differential geometry and, in parallel, a course on the theory of sheaves (more precisely, sheaves on sites and Grothendieck topoi). I would like to use the powerful mechanism of sheaves to construct all the missing spaces, but I would not want the only place where the differential geometry lives for them is only non-classical topoi. I consider constructive mathematics fundamentally more natural and important, but nevertheless it seems inappropriate (today) to force students in the 10th grade to abandon the law of the excluded middle. $\endgroup$ Sep 30, 2022 at 20:30

1 Answer 1

12
$\begingroup$

Diffeology” by Patrick Iglesias-Zemmour is probably the closest match.

He develops differential forms and de Rham cohomology, fiber bundles, connections, and symplectic geometry in the language of diffeological spaces, i.e., concrete sheaves of sets on the site of smooth manifolds. This book is closest in style to a conventional differential geometry textbook.

Another book is “Synthetic geometry of manifolds” by Anders Kock, which treats differential forms, Lie groups and algebras, principal bundles with connections, jets and differential operators. It has a somewhat different focus (e.g., infinitesimals and the internal language of toposes) than the previous book.

In relation to this one can also mention “Models for smooth infinitesimal analysis” by Ieke Moerdijk and Gonzalo Reyes, which covers some foundational topics in differential geometry, like differential forms.

$\endgroup$
7
  • $\begingroup$ Thank you! I asked a related question earlier, and from this comment it seemed to me that diffiological spaces have unpleasant problems at the level of defining a tangent space, so I stopped being interested in them. $\endgroup$ Sep 30, 2022 at 21:31
  • 1
    $\begingroup$ Now I looked through the book and see that the tangent space is defined just as well as for stacks, and judging by the things that you mention and the content of the book, there are no special obstacles for the development of differential geometry in this context (and in the article mentioned in the comment, it was about problems with other versions of definitions). It will be interesting to see what stops working or becomes more complicate when the condition of concreteness of the sheaves is abandoned. $\endgroup$ Sep 30, 2022 at 21:31
  • 2
    $\begingroup$ @AivazianArshak: I would not characterize the cited work of Christensen and Wu as “finicky”, in fact, it gives a simple and conceptual treatment of tangent bundles of diffeological spaces. $\endgroup$ Sep 30, 2022 at 21:58
  • 1
    $\begingroup$ Is there any analytic version of this? An analytic version might also have a p-adic analogue (aka. locally analytic geometry). $\endgroup$
    – Z. M
    Oct 1, 2022 at 10:46
  • $\begingroup$ @Z.M: Yes, the functor of points approach can be used to define complex analytic spaces as certain sheaves of sets on the site of Stein spaces. This is completely analogous to how schemes can be defined as certain sheaves of sets on the site of affine schemes, i.e., the opposite category of commutative rings. $\endgroup$ Oct 1, 2022 at 15:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.