Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  smooth sets and related generalizations of manifolds

+ 4 like - 0 dislike
1481 views

In an nLab article on quantum field theory, @UrsSchreiber uses the notion of a smooth set, a generalization of a manifold. On the other hand, Wolfgang Bertram discussed over the years a number of generalizations of manifolds in various axiomatic settings, such as the Conceptual Differential Calculus.

I'd be interested in their relation, and in relations to other generalizations of manifolds such as schemes.

asked Sep 27, 2017 in Mathematics by Arnold Neumaier (15,787 points) [ revision history ]

Someone can probably give a better answer than me, but I think all of the spaces you mention are special cases of stacks. Any manifold M gives a contravariant functor from the category of manifolds to sets given my N -> Maps(M,N). The category of manifolds can be given a topology where all of these functors are sheaves. Then one can make many generalizations by considering different categories of "test spaces", different target categories for the sheaves, etc. These are all called stacks.

Yes, "smooth sets" is a supposedly suggestive name for sheaves on the site of Cartesian spaces. The "concrete" objects among these (in the technical sense) are precisely the diffeological spaces . The canonical introductory textbook on the latter is Patrick Iglesias-Zemmour's Diffeology .

As Ryan notices, the concept of "smooth sets" aka "sheaves on the site of smooth test spaces" generalizes immediately in a useful way to a variety of further contexts.

In one direction, allowing sheaves of groupoids instead of sheaves of sets, aka "stacks of groupoids", leads to "smooth groupoids" which subsumes orbifolds and moduli stacks for differential forms and for gauge connections.

In another direction, considering the site of formal smooth manifolds yields "formal smooth sets", a context where for instance de Rham stacks  exist, which is the kind of concept that Bertram's article is after. This is the good context notably for variational calculus on jet bundles, as laid out in my article with Igor Khavkine "Synthetic geometry of differential equations".

Next one may add in super-directions in order to describe also fermionic fields: "super smooth sets".

And so forth. There is a lot to say about such things, more than should go into this comment box here.

Regarding the relation to schemes: it's precisely that idea, yes, but schemes not from the "old" perspective of locally ringed spaces, but from the "new" perspective of the "functor of points" that Grothendieck tried to advertise from 1965 on: "functorial geometry".

Shortly afterwards (after 1965, that is) it was William Lawvere who highlighted that Grothendieck's "functorial geometry" was not restricted to algebraic geometry, but applied very generally to all kinds of geometries, notably to differential geometry. He coined the term "synthetic differential geometry" in this context.

Lots of variants of terminology have accumulated over the decades. But at the heart of it there is one very simple and very powerful idea: A good context for doing (differential) geometry in is a topos, and specifically a differentially cohesive topos, or rather a higher such. Those (super, formal) smooth sets/groupoids are examples, of this archetypical concept at the heart of all of geometry. Certainly of the kinds of geometries of relevance in physics. (capturing for instance the geometry of BV-BRST complexes, etc.)

Related discussion on Google+ ...

On diffeological spaces, there is a useful book, Patrick Iglesias-Zemmour, Diffeology, 2013, and the author's diffeology blog and introductory paper.

1 Answer

+ 3 like - 0 dislike

I have now scanned a little through Wolfgang Bertram's articles. I may need more time to dig deeper.

From the acknowledgements I see that Bertram has been in contact with Anders Kock, who, following William Lawvere's ideas mentioned above, is the one who had developed synthetic differential geometry (SDG, which is what the formal- and super-smooth sets that I am using in the QFT notes are models of) to a comprehensive textbook theory of differential geometry. Kock has long amplified the groupoid and higher cubical groupoid structure of infinitesimal neighbour points in SDG (see his textbooks or specifically his article "Infinitesimal cubical structure and higher connections" arXiv:0705.4406). On the other hand, these groupoid structures of infinitesimals are also long familiar in algebraic geometry, where Grothendieck called them crystals and which these days are maybe most popular under the name "de Rham stacks". I am saying this because from my superficial scan of Bertram's articles, I am getting the impression that it is these structures that he is after. Currently however I am not seeing clearly what he claims to be adding to these well-established (if maybe not widely enough known) constructions.

In conclusion, I dare to say (subject to possibly having missed something while scanning the articles) that the structures that Bertram is describing are all well reflected in synthetic differential geometry in general, and in the model of "formal smooth sets" that I am referring to in the QFT notes, in particular.

The point amplified at the beginning of these notes is that in fact (formal) smooth sets accomplish a bit more than just providing explicit infinitesimals that serve to streamline PDE theory. Namely another important aspect is that they form a topos (the "Cahiers topos") which means that they provide well-behaved smooth mapping spaces and their variant: smooth spaces of smooth sections. (Bertram hints at wanting to proceed in this direction of "cartesian closed categories", such as toposes, in the outlook section of his article above. ) This is a key requisite for properly dealing with the spaces of field histories in physics, as my notes mean to make clear.

Often authors in mathematical QFT who are ambitious to be more sophisticated than the traditional informal discussion invoke the theory of infinite-dimensional manifolds (such as Frechet manifolds etc.) to deal with spaces of field histories properly. This is however on the one hand very technical. On the other hand the "functorial geometry" perspective shows that much of this technicality is not actually necessary: the incarnation of these spaces of field histories as smooth sets (sheaves on the site of smooth test spaces) is first of all much simpler, second it exists even if the infinite-dimensional manifold structure does not (such as when the base space(time) is not compact) and at the same time it does account for everything that one actually wants to do with these spaces, notably it provides for a good theory of differential forms on these spaces (which allows for instance to make easy rigorous sense of things like the de Rham differential of the action functional, in order to rigorously prove the pinciple of extremal action) .

So the existence of good smooth mapping spaces in "smooth sets" toghether with the infinitesimal aspects in "formal smooth  sets" are both important in application to field theory. Once we pass to the construction of the covariant phase space, their combination becomes crucial. Here we need to consider the smooth space of sections over an infinitesimal neighbourhood of a Cauchy surface.

Traditional differential calculus is hard-pressed to really deal with such constructions. In "formal smooth sets" it is easy and straightforward. In fact formal smooth sets give a formalization to the way that physicists like to handle these spaces anyway: by local coordinate models. This is really what Grothendieck's "functorial geometry" perspective is saying: the physicist's intuitive way of dealing with generalized geometries (infinite-dimensional, super, etc.) has a good rigorous underpinning.

There would be more to say, but I should stop now. I have written an exposition of these things in various places, see for instance Higher Prequantum Geometry (arXiv:1601.05956).

answered Sep 28, 2017 by Urs Schreiber (6,095 points) [ revision history ]
edited Sep 28, 2017 by Urs Schreiber

From the last link, some dropbox contents are missing , ie https://dl.dropboxusercontent.com/u/12630719/SchreiberDMV2015.pdf ; ( Prequantum covariant field theory , talk slides pdf )

@igael thanks for the alert. I have now fixed to broken links at Higher Prequantum Geometry. But please say again on which exact page you saw a remaining broken link to "SchreiberDMV2015.pdf"? (That file is stably available here: https://ncatlab.org/schreiber/files/SchreiberDMV2015.pdf )

@igael thanks again. Now it should work.

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsO$\varnothing$erflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...