Backround
Definition
Presentation over a site
Models
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
The concept of smooth groupoid is the first generalization of the concept of smooth sets (smooth spaces) to higher differential geometry, it is a joint generalization of smooth sets (smooth manifolds, diffeological spaces, …), orbifolds and Lie groupoids, hence it also subsumes deloopings of Lie groups and diffeological groups. It also subsumes smooth moduli stacks, for instance of gauge fields.
Technically, a smooth groupoid is a groupoid-valued stack on the site of smooth manifolds (sometimes called a “smooth stack”, but this is somewhat ambiguous), or equivalently on its dense subsite CartSp of just Cartesian spaces and smooth functions between them. This is equivalently an 1-truncated smooth ∞-groupoid.
For more see also at geometry of physics – smooth homotopy types.
on how not to define smooth groupoids
One could be tempted to define smooth groupoids to be internal groupoids in smooth sets. Restricting this definition to groupoids internal to diffeological spaces yields the concept of diffeological groupoid, restricting it further to groupoids internal to smooth manifolds yields the concept of Lie groupoid. While these are respectable definitions in themselves, care needs to be exercised in interpreting them correctly: they do not in themselves exhibit the correct homotopy theory of smooth groupoids. One may fix this by changing the concept of morphisms to generalized morphisms called Morita morphisms or bibundles. These are certainly useful tools for working with smooth groupoids, and they serve to present their correct homotopy theory, but they do not serve well as the definition of this homotopy theory. For instance without further insight it is impossible to guess from the concept of bibundles between groupoids its correct generalization to smooth 2-groupoids etc.
But just as the definition of smooth sets, contrasted with that of smooth manifolds, is not only more powerful but also simpler, so there is a definition of smooth groupoids which not only does give the correct homotopy theory, but it does so while being much more transparent than these more traditional presentations.
Now, this definition, given below, amounts to saying that smooth groupoids are stacks on the site of smooth manifolds, and that in turn may tend to not sound like a simple definition at all. But there is a further simplification at work. Traditional texts tend to define stacks in terms of the comparatively intricate structures of pseudofunctors or (dually under the Grothendieck construction) fibered categories satisfying descent, and the rich structure of these combinatorial objects tends to become unwieldy already for fairly simple examples. But the theory of localization of categories turns out to handle the same theory of stacks by much more tractable means (e.g. Hollander 01). Here a stack is presented by a plain functor with no descent condition imposed, something that is hence as simple as a pair of two presheaves. The nature of stacks is then instead just encoded in remembering that some of the morphisms of presheaves of groupoids are to be labeled as weak equivalences, namely those that locally restrict to equivalences of groupoids.
This style of definition combines the simplicity of the naive definition of Lie groupoids with the full power of homotopy theory, and it immediately generalizes to a definition of ∞-stacks which is just as simple, hence, in the present context, to a definition of smooth ∞-groupoid.
Write CartSp for the category of Cartesian spaces , , with smooth functions between them. (The full subcategory of SmoothMfd on the Cartesian spaces.) Regard this as a site by equipping it with the coverage of (differentiably) good open covers.
For more on this see at geometry of physics – coordinate systems.
In view of the motivation for sheaves, cohomology and higher stacks and in direct analogy with the discussion at geometry of physics – smooth sets, just replacing sets by groupoids throughout, we set:
A pre-smooth groupoid is a presheaf of groupoids on CartSp, hence a functor
from CartSp to the 1-category Grpd.
See at geometry of physics – homotopy types – groupoids for more on bare groupoids. Here we will freely assume familiarity with these.
The intuition for def. is the following: a smooth structure on a groupoid is to be determined by which maps from abstract coordinate systems into it are to be regarded as smooth maps. Since, by its groupoidal nature, two such maps may be related by a smooth homotopy/gauge transformation (in physics: “twisted sectors”), the collection of all smooth functions from into the smooth groupoid is itself a bare groupoid. We here define a pre-smooth groupoid as something that assigns to each abstract coordinate systems a groupoid of would-be smooth maps into it
“”
We sometimes therefore speak of as the groupoid of plots or of probes of (which here is only defined by these!) by -dimensional coordinate systems.
The Yoneda lemma will turn this intuition into a theorem. For that we need to speak of homomorphisms of pre-smooth groupoids, hence of “smooth functors” betwen pre-smooth groupoids.
A homomorphism or smooth map between pre-smooth groupoids is a natural transformation between the presheaves that they are. We write
for the functor category, the category of pre-smooth groupoids, def. , regarded naturally as a Grpd-enriched category.
This means that for two pre-smooth groupoids, then the bare hom-groupoid
between them has
as objects the natural transformations between and regarded as functors, hence collections of functors between groupoids of probes
such that for every smooth function between abstract coordinate charts, these form a (strictly) commuting diagram with the probe-pullback functors of and :
as morphisms the “modifications” of these, hence collections of natural transformations, such that for every smooth function the whiskering of these satisfies
Despite the size of the diagrams in def. , what they encode is immediate: this just says that smooth maps between pre-smooth groupoids take all probes of by abstract coordinate charts to probes of by these charts, and take gauge transformations between these to gauge transformations between those, in a way that it compatible with changing probes along smooth maps.
The following is the Yoneda lemma in this context, and it says that this intuition in remark is fully correct:
Every Cartesian space defines a pre-smooth groupoid , def. , by the assignment
where the set of smooth functions on the right is regarded as a groupoid with only identity morphisms. This construction constitutes a fully faithful functor
making CartSp a full subcategory of that of pre-smooth groupoids (the Yoneda embedding). Under this embedding for any pre-smooth groupoid and any Cartesian space , there is a natural equivalence of groupoids
(the Yoneda lemma proper).
The last statement of the Yoneda lemma in prop. expresses just the intuition of remark and justifies removing the quotation marks displayed there. It also justifies dropping the extra underline denoting the Yoneda embedding. We will freely identify from now on with the pre-smooth groupoid that it represents.
For a smooth set (e.g. a smooth manifold), hence in particular a functor
then its embedding into groupoids
is a pre-smooth groupoid.
More generally:
Let
be an internal groupoid in smooth sets, hence a pair of smooth sets, equipped with source, target, identity homomorphisms of smooth sets between them, and equipped with a compatibly unital, associative and invertible composition map . By definition of smooth sets, this means that for every abstract coordinate system then
is a bare groupoid. Moreover, this assignment is functorial and hence defines a pre-smooth groupoid
This exhibits sequence of full subcategory inclusions
of internal groupoids in smooth sets into pre-smooth groupoids, and hence (by further restriction) also of diffeological groupoids, of Lie groupoids and of course of just bare groupoids, too.
Regarding a bare groupoid as a pre-smooth groupoid this way means to regard it as equipped with discrete smooth structure. It is given by the constant presheaf
exhibiting the fact that smooth functions from an into a geometrically discrete space are constant on one of the points of this space, a situation which here is only refined by the fact that every morphism in the groupoid thus gives a homotopy/gauge transformation between the two smooth functions that are constant on the two endpoints of this morphism.
A particular case of this of special importance is this:
For a Lie group, we write for the Lie groupoid which
whose composition is the product operation in the group (the groupoidal delooping of ). The pre-smooth groupoid that this corresponds to under the embedding of example has groupoids of probes of the form
where on the right we have the homotopy 1-type whose fundamental group is that of smooth -valued functions on , under pointwise mulitplication.
More specifically, the following class of examples plays a special role in the theory, as the encode what it takes for a pre-smooth groupoid to be a genuinely smooth groupoid.
For a smooth manifold, let be an open cover of . Its Cech groupoid is the Lie groupoid (diffeological groupoid) whose
manifold of objects is is the disjoint union of all the charts of the cover;
manifold of morphisms is is the disjoint union of all intersections of charts.
and whose source, target and identity maps are the evident inclusions. There is then a unique composition operation.
So a global point may be thought of as a pair of a point in the manifold and a label of a chart that contains it, and there is is precisely one morphism between two such global point whenever in and both as well as contain , hence one morphism for each point in an intersection of two patches. Composition of morphism is just re-remembering which intersections they sit in, the schematic picture of the Cech groupoid is this this:
Under the embedding of example there is an evident morphism of pre-smooth groupoids
from this Cech groupoid of the cover to the manifold that is being covered. This morphism simply forgets the information of which chart or intersection of charts a point is regarded to be in, and just remembers it as a point of .
Let a smooth manifold, an open cover and the corresponding Cech groupoid, def. . Let be a Lie group and its groupoidal delooping according to example .
Then the hom-groupoid of maps from to , def. , has
as objects the Cech cocycles of degree 1 on relative to the cover and with values in ; i.e. collections of smooth functions
satisfying on each triple intersection the cocycle condition
as morphisms the coboundaries between such cocycles and , hence collections of smooth functions
such that on each intersection of charts
In particular the connected components of the Hom-groupoid is hence the Cech cohomology itself:
It is a matter of unwinding the definitions that the statement holds disregarding smooth structure everywhere, hence after evaluating the morphisms of pre-smooth groupoids on . That the component functions that one finds this way all have to be smooth then follows componentwise with the Yoneda lemma for presheaves of sets on (as discussed at geometry of physics – smooth sets).
The “bootstrap”-definition of pre-smooth groupoids above works as intended, by prop. , it just needs to be restricted now to something a little less general. The issue is that while this definition consistently identifies a smooth-structure-to-be by what its possible smooth probes are, it does not enforce yet the consistent gluing of probes:
for a pre-smooth groupoid, then given a probe of it of the form and given a covering of the probe space by other probe spaces , then it should be possible to reconstruct from knowing its restrictions to these charts, and the information of how these are identified by gauge transformations on double overlaps.
Such a system of local data and of gauge identification on double overlaps is just what maps out of the Cech groupoid , def. , encode. This is shown by prop. for the case that is of the form , example , but this is already the archetypical case.
In other words, the condition that smooth probes of by coordinate charts glue along covers of these charts is the condition that the groupoid of smooth maps out of itself
is equivalent to the groupoid of maps out of the Cech groupoid of any cover
and is so via the “restriction” map that takes the former and precomposes it with the canonical map .
A pre-smooth groupoid , def. , satisfies descent if for all and for all differentiably good open covers of the -dimensional abstract coordinate chart, the functor
given by pre-composition with , is an equivalence of groupoids.
The condition in def. is called the stack condition, or the condition of descent, alluding to the fact that it says that “descends” down along the cover projection. So a smooth groupoid is a stack on the site CartSp. This is a higher analog of the sheaf condition (see the next example) and hence a more systematic terminology would be to say that such is a 2-sheaf or rather a (2,1)-sheaf (since it takes values in groupoids as opposed to in more general categories).
Let be a pre-smooth groupoid which is really just a pre-smooth set, hence a presheaf on that takes values in groupoids with only identity morphisms
Then is a smooth groupoid in the sense of def. precisely if it is a smooth set, hence precisely if, as a presheaf, it satisfies the sheaf condition.
In particular, for a smooth manifold, it satisfies descent as a pre-smooth groupoid.
There is an alternative formulation of the whole theory where instead of the site CartSp one uses the site SmoothMfd of all smooth manifolds. Everything discussed so far goes through verbatim for that site, too, but then the descent condition in def. is a much stronger condition.
For instance the presheaves of the form from example satisfy descent on , but not all . Still, once we have defined the higher category of smooth groupoids, the definition will be equivalent for both choices of sites.
The choice of the smaller site is the one that is easier to work with, and therefore we stick with that. In fact, most every example of a pre-smooth groupoid that one runs into satisfies descent on .
For example:
For a Lie group, then the pre-smooth delooping groupoid of example satisfies descent on , def. .
For a differentiably good open cover, then by prop. the groupoid is the groupoid of Cech 1-cocycles and coboundaries with coeffcients in on relative to the cover. But this is equivalently the groupoid of -principal bundles on . Now because the underlying topological space of is contractible, all -principal bundles on it are equivalent to the trivial one. But this is evidently represented by the image of point under the map
Therefore this is an essentially surjective functor of groupoids. Moreover, the automorphisms of the trivial -principal bundles are precisely the smooth -functions, hence this is also a fully faithful functor of groupoids. Accordingly it is an equivalence of groupoids.
The same argument however shows that on the larger site SmoothMfd this object does not satisfy descent. Put positively, this is the content of prop. . below.
While the morphisms of pre-smooth groupoids defined above correctly encode morphisms of smooth structures (by taking smooth probes compatibly to smooth probes), they are not sensitive enough yet to the required concept of equivalence. This is because smooth structure, being about existence of differentiation, is to be detected entirely locally, namely stalk-wise. If for instance is a smooth manifold, then its smooth structure is determined, around any of its points, by the smooth structure of an arbitrarily small open ball around that point.
For , and let
be the smooth function that regards the Cartesian space as the standard -disk of radius around the origin in .
For we write
for the colimit (in the 1-category of groupoids) of the restrictions of its groupoids of plots along the inclusion of these open balls – the -stalk of . This extends to a functor
This means that objects in are equivalence classes of pairs where and where , with two such pairs being equivalent precisely if there is such that becomes equal to after restriction to .
A morphism of pre-smooth groupoids, def. , is called a local weak equivalence if for every the -stalk, def. , is an equivalence of groupoids
We write for local weak equivalences of pre-smooth groupoids. We will mostly just say weak equivalence for short.
For a smooth manifold and an open cover for it, then the canonical morphism from the corresponding Cech groupoid to , def. , is a local weak equivalence in the sense of def. .
The -stalk of the smooth manifold regarded as a presheaf is the set of equivalence classes of maps from open pointed -disks into it, where two such are identified if they coincide on some small joint sub-disk of their domain. We may call this the set of germs of (but beware that this terminology is typically used for something a little bit more restrictive, namely for the case that is the dimension of and that all maps from the disks into are required to be embeddings).
On the other hand the -stalk of is the groupoid whose set of objects is the set of germs, in this sense, of the disjoint union , and whose set of morphisms is the set of germs of the disjoint union .
But now since the cover is by open subsets, it follows that for every , then every germ of objects around has a representative that factors through this double intersection charts: . And similarly for .
This means that the groupoid of -stalks is a disjoint union of groupoids, one for each germ of , all whose components are groupoids in which there is a unique morphism between any two objects, which are copies of this germ regarded as sitting in one of the charts of the cover. This means that each of these connected components is equivalent to the point.
Now the canonical cover projection sends each of these connected components to the germ that it corresponds to. Hence this is a an equivalence of groupoids.
A morphism of pre-smooth groupoids is called a split hypercover if
is
degreewise a coproduct of Cartesian spaces;
such that the degenerate elements split off as a dijoint summand.
For a smooth manifold and an open cover, then the canonical projection from the corresponding Cech groupoid, def. , is a split hypercover precisely if the cover is differentiably good.
For every cover the map is a weak equivalence, by prop. .
For the Cech groupoid the condition of cofibrancy in def. means that every non-empty finite intersection of patches is diffeomorphic to a Cartesian space, hence to an open ball. This is precisely the definition of differentialbly good open cover.
The Grpd-enriched category of genuine smooth groupoids is that obtained from that of pre-smooth groupoids, def. by “universally turning local weak equivalences, def. , into actual homotopy equivalences”. This is stated formally by def. below, but for many applications in practice certain concrete presentations of what this means concretely are well sufficient, one of these we state below in prop. .
Write
for the (2,1)-category which is the simplicial localization of groupoid-valued presheaves at the local weak equivalences, def. .
An object we call a smooth groupoid or smooth homotopy 1-type.
Let such that satisfies descent, def. . Let be a split hypercover of , def. .
Then there is an equivalence of groupoids
between the hom-groupoid of smooth groupoids from to , and that of pre-smooth groupoids, def. , from to .
Such statements follow with model structures on simplicial presheaves after embedding the present situation in the more general context of smooth infinity-groupoids. See there for more.
There is a canonical localization functor
which is really just the identity as a functor. Instead of doing anything to the objects, passing along this functor just means to change the definition of the hom-groupoids from the direct definition of def. to the localized definition.
When a pre-smooth groupoid is given by an internal groupoid in smooth sets via example , then we indicate its image under this functor by removing the subscript index, writing just . This reflects the fact that in it no longer makes sense to ask what the space of 0-cells and of 1-cells of an object is, as these are concepts not invariant under local weak equivalence.
In particular this means that we write for the image of in .
Let be a smooth manifold, regarded as a smooth 0-groupoid, and let be a Lie group, with smooth delooping groupoid (example , remark ).
Then
is equivalently the groupoid of -principal bundles on .
By prop. the object satisfies descent on CartSp. Choose a differentiably good open cover. By prop. the correspoding Cech groupoid projection is a split hypercover, def. . Hence, by prop. , there is an equivalence of groupoids
The groupoid on the right is, by prop. , the groupoid of Cech 1-cocycles and coboundaries with values in relative to a good open cover. This is equivalently the groupoid of -principal bundles.
The content of prop. is in common jargon that: is the moduli stack of -principal bundles“.
By generalizing here groupoids to general Kan complexes and equivalences of groupoids to homotopy equivalences of Kan complexes, one obtains smooth ∞-stacks or smooth ∞-groupoids, which we write
We often write Smooth∞Grpd for short.
By the (∞,1)-Yoneda lemma there is a sequence of faithful inclusions
SmoothMfd SmoothGrpd Smooth∞Grpd.
This induces a corresponding inclusion of simplicial objects and hence of groupoid objects
For a groupoid object we write
for its (∞,1)-colimiting cocone, hence (without subscript decoration) denotes the realization of as a single object in .
By the Giraud-Rezk-Lurie axioms of the (∞,1)-topos this morphism is a 1-epimorphism – an atlas – and its construction establishes is an equivalence of (∞,1)-categories , hence morphisms in are equivalently diagrams in of the form
This is evidently more constrained that just morphisms
by themselves. The latter are the “generalized” or Morita morphisms between the groupoid objects , . These can be modeled as --bibundles.
Every smooth space is canonically a smooth groupoid with only identity morphisms.
The canonical identification yields a full subcategory
Every Lie groupoid presents a smooth groupoids. Those of this form are also called differentiable stacks.
A 0-truncated smooth groupoid is equivalently a smooth space.
For a smooth group, its delooping is a smooth groupoid, the moduli stack of smooth -principal bundles.
For a smooth space and a smooth group and
an action then the action groupoid
is a smooth groupoid.
The mathematical concept of smooth groupoid is well familiar, in slight disguise, in the physics of basic gauge theory. Here we make this explicit for basic electromagnetism. For more exposition and details along these lines see (Eggersson 14).
We have seen in The electromagnetic field strength that a configuration of the electromagnetic field on is given by a differential 1-form , the “electromagnetic potential”. It describes a field configuration with field strength Lorentz tensor (with respect to the canonical coordinates on )
with electric field strength and magnetic field strength given that is given by the de Rham differential of :
After Maxwell it was thought that alone genuinely reflects the configuration of the electromagnetic field. But with the discovery of quantum mechanics it became clear that it is indeed the potential itself that reflects the configuration of the electromagnetic field: in the presence of magnetic flux or other topoligical constraints, there can be different with the same which nevertheless describe experimentally distinguishable electromagnetic field configurations. (Distinguishable by the Aharonov-Bohm effect and also to some extent by Dirac charge quantization; this is discussed at Circle-principal connections below.)
However, not all different gauge potentials describe different physics. The actual configuration space of electromagnetism on a spacetime is finer than but coarser than . And it is not quite a smooth space itself, but a smooth groupoid:
one finds that two electromagnetic potentials for which there is a function such that
represent different but equivalent field configurations. One says that induces a gauge transformation from to . We write to reflect this.
So the configuration space of electromagnetism does not just have points and coordinate systems. But it is also equipped with the information of a space of gauge transformations between any two coordinate systems laid out in it (which may be empty).
To see what the structure of such a smooth gauge groupoid should be, notice that the above defines an action of smooth functions on smooth -forms ,
For any CartSp, Write for the set of differential 1-forms on with no components along , and write for the group of circle group valued smooth functions. There is an action of this group on the 1-forms
given by
Given such an action of a discrete group on a set, we might be demoted to form the quotient set . This set contains the gauge equivalence classes of -parameterized collections of electromagnetic gauge fields on . But it turns out that this is too little information to correctly capture physics. For that instead we need to remember not just that two gauge fields are equivalent, but how they are equivalent. That is, we for a gauge transformation from to , we should have an equivalence .
The action groupoid
is the groupoid whose
objects are -parameterized collections of gauge potentials ;
morphisms are pairs with an object and , with domain and codomain ;
composition is given by multiplication of the -labels in the group .
This is the discrete gauge groupoid for -parameterized collections of fields. It refines the gauge group, which is recoverd as its fundamental group:
Let be the trivial gauge field. Then its automorphism group in the gauge groupoid of def. is the group of circle-group valued functions on :
By definition, an automorphism of is given by a function such that . This is the case precisely if , hence if is contant along . But a function on which is constant along is canonically identified with a function on just .
All this data in in fact natural in . Recall that is the set of -charts of the smooth moduli space of smooth 1-forms on . Similarly .
There is a homomorphism of smooth spaces (def. )
from the product smooth space, def. , of the smooth moduli spaces of 1-forms and 0-forms on , def. , to that of smooth functions, def. , whose component over CartSp is the action
We then also want to consider a smooth action groupoid.
Write
for the contravariant functor from coordinate systems to the category of groupoids, which assigns to the discrete action groupoid of -collections of gauge fields of def. .
Such a structure presheaf of groupoids is a common joint generalization of the notion of discrete groupoids and smooth spaces. We call them smooth groupoids. This is what we turn to in Smooth groupoids
Discussion of diffeological groups (such as diffeomorphism groups and quantomorphism groups) goes back to
Exposition of the concept of smooth groupoids motivated from basic gauge theory is in
Discussion of smooth stacks as target spaces for sigma-model quantum field theories is in
Tony Pantev, Eric Sharpe, String compactifications on Calabi-Yau stacks, Nucl.Phys. B733 (2006) 233-296, (arXiv:hep-th/0502044)
Tony Pantev, Eric Sharpe, Gauged linear sigma-models for gerbes (and other toric stacks), (arXiv:hep-th/0502053)
Discussion of geometric Langlands duality in terms of 2d sigma-models on stacks (moduli stacks of Higgs bundles over a given algebraic curve) is in
Last revised on August 1, 2022 at 18:26:17. See the history of this page for a list of all contributions to it.