2
$\begingroup$

I am trying to understand about Lie groupoids but not able to get feeling for what it actually is.

So, question here is,

What are Lie groupoids? How similar are they to Lie groups, Groupoids and what can one expect to do on a Lie groupoid?

Any reference is appreciated.

$\endgroup$
  • 1
    $\begingroup$ If you're looking for an intuition of just groupoids first, you might find different things on the net. Like quora.com/What-is-an-intuitive-explanation-of-a-groupoid $\endgroup$ – Michael Bächtold Apr 19 '18 at 16:02
  • $\begingroup$ @MichaelBächtold Thanks for the link. It looks good I am ok with groupoids. $\endgroup$ – Praphulla Koushik Apr 19 '18 at 16:07
  • $\begingroup$ https://en.wikipedia.org/wiki/Lie_groupoid. $\endgroup$ – abx Apr 19 '18 at 19:03
  • $\begingroup$ @PraphullaKoushik: is your question answered in the comments or is there something else you are looking for? $\endgroup$ – Ryan Budney Apr 19 '18 at 22:46
  • $\begingroup$ @RyanBudney it is not answered in comments. Michael said about groupoids which is not what I am asking and abx link is Wikipedia link which I have already seen but did not help. $\endgroup$ – Praphulla Koushik Apr 20 '18 at 4:28
5
$\begingroup$

Here is an expansion of my comment, by request. The 2-category of Lie groupoids $\mathrm{LieGpd}$ admits the category of manifolds $\mathrm{Mfld}$ as a full sub-2-category (i.e. $\mathrm{Mfld} \to \mathrm{LieGpd}$ induces an iso on hom-groupoids), but the category of Lie groups $\mathrm{LieGrp}$ only has a functor $\mathrm{LieGrp} \to \mathrm{LieGpd}$, not full on 2-arrows, sending a group to the coresponding one-object groupoid. I think this is one reason why Lie groupoids are not best seen as a generalisation of Lie groups.

Given a group $G$ acting on $M$, there is a groupoid $M//G$ with objects $M$, morphisms $M\times G$ with source and target given by projection and action, respectively. This includes the boring case where $M=*$, but the mix of potentially positive dimensional orbit space $M/G$, interesting orbits $mG$ nontrivial stabilisers $G_m$ is more typical of what is happening in the Lie groupoid case. Nice Lie groupoids, for instance proper Lie groupoids $X$, where $(s,t)\colon X_1\to X_0\times X_0$ is a proper map, locally look like group actions (times a codiscrete groupoid $U\times U \rightrightarrows U$), so this is sometimes a lot of what you need to consider anyway. Functors are just equivariant maps, where you can be equivariant with respect to a homomorphism $G\to H$.

Generalising from this to general Lie groupoids you need to forget the fact that the source map has identical fibres, and that there isn't some global group containing all the stabilisers.

$\endgroup$
  • $\begingroup$ Not everything is clear. I will respond after spending some more time on this. Thanks for your answer $\endgroup$ – Praphulla Koushik Apr 23 '18 at 13:54
  • $\begingroup$ Do you have a reference for proper Lie groupoids locally looking like action groupoids? Does it hold also in the algebro-geometric category (maybe with locality intended in some Grothendieck topology)? $\endgroup$ – Qfwfq Apr 24 '18 at 9:59
  • 1
    $\begingroup$ @Qfwfq There's Luna's slice theorem (in various levels of generality): eg arxiv.org/abs/1504.06467, but in the differential geometric world see arxiv.org/abs/1101.0180 and arxiv.org/abs/1103.5245 $\endgroup$ – David Roberts Apr 24 '18 at 13:31
3
$\begingroup$

Perhaps you should look through some of the papers on Ronnie Brown's website. In particular

http://www.groupoids.org.uk/pdffiles/bedlewopaper4bcclass.pdf

Lie groupoids came from Ehresmann's work on fibre bundles in diff. geom. and were taken forward by Pradines and his ideas on Monodromy and Holonomy groupoids (The exact references to those are in Ronnie Brown's article, and also in the reference below.)

Also of use would be Kirill Mackenzie's introduction

http://kchmackenzie.staff.shef.ac.uk/publications/front4web.pdf

and various parts of that book may help.

I hope this helps.

$\endgroup$
  • $\begingroup$ Thanks for your answer, it looks really good. I did not read it completely but I think I will get a better idea for sure after reading it completely.... $\endgroup$ – Praphulla Koushik Apr 20 '18 at 16:53
3
$\begingroup$

In the same way as groupoids $(\mathrm{src},\mathrm{trg}):X_1\rightrightarrows X_0$ are a simultaneous generalization of group actions

$$(\mathrm{pr}_1,\mathrm{act}):G\times X\rightrightarrows X$$

and equivalence relations

$$(\mathrm{pr}_1|_R,\mathrm{pr}_2|_R):R\rightrightarrows X\;,\qquad R\subseteq X\times X$$

on sets $X$, Lie groupoids are a simultaneous generalization of (smooth) Lie group actions and "smooth" equivalence relations (where "smooth" means the maps induced on $R\subseteq M\times M$ by the projections to the first and second factor are submersions) on manifolds $M$.

Group actions and equivalence relations, hence also groupoids, should have quotients, but a quotient manifold does not always literally exist; a Morita morphism between two groupoids is intuitively a smooth morphism between the putative quotient manifolds. The geometric objects that replace the non existing quotient manifolds are called (differentiable) stacks.

$\endgroup$
  • $\begingroup$ Not everything is clear. I will respond after spending some more time on this. Thanks for your answer. $\endgroup$ – Praphulla Koushik Apr 23 '18 at 13:56
0
$\begingroup$

The question in the title is not well-defined in my view. Concerning the other questions:

What are Lie groupoids?

Answer: Groupoids internal to the / a category of smooth manifolds, where the source map (equivalently the range map) is assumed to be an admissible submersion. Here by admissible submersion one means submersions which make the pullback structure of the composable arrows of the groupoid again a smooth manifold. Also, I wrote the or a category of smooth manifolds, because what specific category of smooth manifolds you consider is up to you, but then the kind of admissible submersions also varies, depending on the kind of smooth manifolds one considers. Consider for example a category of compact manifolds with boundary (or corners) where the smooth structure is induced by pulling back the smooth structure of a surrounding neighborhood (without corners). Then one needs to be careful to restrict the class of allowed submersions, because otherwise the pullbacks won't exist anymore within the category.

How similar are they to Lie groups?

Answer: As already mentioned in a previous answer a good way to think about groupoids is that they are structures which interpolate between sets and groups. By extension Lie groupoids would be structures which interpolate between smooth manifolds and Lie groups. Perhaps that is the intuition you are looking for? On the other hand, consider a Lie groupoid with set of objects consisting of a single point, this gives you a Lie group (EDIT: up to a strict isomorphism of Lie groupoids). The Lie algebroid of this is (up to isomorphism) the Lie algebra of the Lie group. One well-known important difference to the theory of Lie groups is the integration problem: Given a Lie algebroid $\mathcal{A}$ on $M$ it is not always possible to find a Lie groupoid $\mathcal{G} \rightrightarrows M$, such that $\mathcal{A}(\mathcal{G}) \cong \mathcal{A}$.

What can one expect to do on a Lie groupoid?

Answer: Geometry, Analysis and Index theory come to my mind. In Analysis Lie groupoids are used to study partial differential equations on foliated manifolds. Likewise, in geometry, a Lie groupoid can be viewed as a "desingularization" of various types of foliations: Here the leaves of the foliation correspond to the orbits of an underlying Lie groupoid. This is the case whenever the foliation possesses a holonomy groupoid. In the other direction: the orbits of a Lie groupoid always form a singular Stefan-Sussmann foliation. In index theory Lie groupoids are used to obtain proofs of the Atiyah-Singer index theorem and to obtain considerable generalizations of the Atiyah-Singer index theorem (and Poincare duality for K-homology theories on Lie groupoids). Related to this is the role of Lie groupoids in the problem of taking colimits within the category of smooth manifolds, in particular quotients by equivalence relations. Since such quotients usually don't stay within the category of smooth manifolds, a nice idea has been to consider instead the equivalence relation itself as a groupoid. I recommend as reference: Connes, Noncommutative Geometry, Chapter II.

$\endgroup$
  • 1
    $\begingroup$ Even though all the information contained in a (Lie) groupoid with one object is retained in its only stabilizer, saying that such a groupoid "is" a (Lie) group is misleading in my opinion. It is more like the classifying space of a Lie group. $\endgroup$ – Qfwfq Apr 23 '18 at 17:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.