Showing changes from revision #13 to #14:
Added | Removed | Changed
∞-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
A Lie groupoid is a groupoid with smooth structure The notion of Lie groupoid is the groupoid analog of Lie group.
As an object, a Lie groupoid is understood to be an internal groupoid in the category Diff of smooth manifold.
To ensure that this definition makes sense, one needs to ensure that the space of composable morphisms is an object of Diff. This is achieved either by adopting the definition of internal groupoid in the sense of Ehresmann?, which includes as data the smooth manifold of composable pairs, or by taking the conventional route and demanding that the source and target maps are submersions. This ensures the pullback exists to define said manifold or composable pairs.
But for most practical purposes, the apparently evident 2-category of such internal groupoids, internal functors and internal natural transformations is not the correct 2-category to consider. One way to see this is that the axiom of choice fails in Diff, which means that an internal functor of internal groupoids which is essentially surjective and full and faithful may nevertheless not be an equivalence, in that it may not have a weak inverse in .
See the section 2-Category of Lie groupoids below.
A bit more general than a Lie groupoid is a diffeological groupoid.
Originally Lie groupoids were called (by Ehresmann) differentiable groupoids (and also one considered differentiable categories). Sometime in the 1980s there was a change of terminology to Lie groupoid and differentiable stacks. (reference?)
One definition which Ehresmann introduced in his paper Catégories topologiques et catégories différentiables (see below) is that of locally trivial groupoid. It is defined more generally for topological categories, and extends in an obvious way to topological groupoids, and Lie categories and groupoids. For a topological (resp. Lie) category , let denote the subspace (resp. submanifold) of invertible arrows . (This always exists, by general abstract nonsense - I should look up the reference, it’s in Bunge-Pare I think - DR)
A topological groupoid is locally trivial if for every point there is a neighbourhood of and a lift of the inclusion through .
Clearly for a Lie groupoid . It is simple to show from the definition that for a transitive Lie groupoid, has local sections. Ehresmann goes on to show a link between smooth principal bundles and transitive, locally trivial Lie groupoids. See locally trivial category for details.
As usual for internal categories, the naive 2-category of internal groupoids, internal functors and internal natural transformations is not quite “correct”. One sign of this is that the axiom of choice fails in Diff so that an internal functor which is an essentially surjective functor and a full and faithful functor may still not have an internal weak inverse.
One way to deal with this is to equip the 2-category with some structure of a homotopical category and allow morphisms of Lie groupoids to be 2-anafunctors, i.e. spans of internal functors .
Such generalized morphisms – called Morita morphisms or generalized morphisms in the literature – are sometimes modeled as bibundles and then called Hilsum-Skandalis morphisms.
Another equivalent approach is to embed Lie groupoids into the context of 2-topos theory:
The (2,1)-topos of stacks/2-sheaves on Diff may be understood as a nice 2-category of general groupoids modeled on smooth manifolds. The degreewise Yoneda embedding allows to emebed groupoids internal to into stacks on . this wider context contains for instance alsodiffeological groupoids.
Regarded inside this wider context, Lie groupoids are identified with differentiable stacks. The (2,1)-category of Lie groupoids is then the full sub--category of on differentiable stacks.
For more comments on this, see also the beginning of ∞-Lie groupoid.
As the infinitesimally approximation to a Lie group is a Lie algebra, so the infinitesimal approximation to a Lie groupoid is a Lie algebroid.
See
For every Lie group the one-object delooping groupoid is a Lie groupoid.
Every Lie 2-group is in particular a Lie groupoid: a group object in the category of Lie groupoids
The inner automorphism 2-group is a Lie groupoid. There is an obvious morphism .
The Lie group itself is a 0-truncated group object in the 2-category or Lie groupoids.
For every -principal bundle there is its Atiyah Lie groupoid .
Every smooth manifold is a 0-truncated Lie group.
The fundamental groupoid of a smooth manifold is naturally a Lie groupoid.
The path groupoid of a smooth manifold is naturally a groupoid internal to diffeological space groupoid s . (a “diffeological groupoid”).
The Cech groupoid of a cover of a smooth manifold is a Lie groupoid.
An anafunctor from a smooth manifold to is a Cech cocycle in degree 1 with values in , classifying -principal bundle .
The (1-categorical) pullback
is a Lie groupoid equivalent to this pricipal bundle .
(For more on the general phenomenon of which this is a special case see principal ∞-bundle and universal principal ∞-bundle.)
Similarly an anafunctor from to is a connection on a bundle (see there for details).
Topological and differentiable (or smooth, “Lie”) groupoids (and more generally categories) were introduced in
Reviews and developments of the theory of Lie groupoids include
Pradines, ….
K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids, Cambridge University Press, 2005, xxxviii + 501 pages (website)
K. C. H. Mackenzie, Lie groupoids and Lie algebroids in differential geometry, London Mathematical Society Lecture Note Series, 124. Cambridge University Press, Cambridge, 1987. xvi+327 pp (MathSciNet)
John Baez talks about various kinds of Lie groupoids in TWF 256.
Revision on September 4, 2010 at 14:48:03 by Urs Schreiber See the history of this page for a list of all contributions to it.