Representation of Groupoids - MathOverflow

Representation of Groupoids

2010-02-26T06:34:10Z

The title is vague, my actuall question is the following:

Has the representations of groupoids been systematically studied? Is there any new phenomenon, compare with the representation of groups? (Either brand new things or pitfalls for those who too familiar with representations of groups). Does this point of view simplified any proof of theorems in representation of groups?

I've been only think of this for 15 mins. But I feel like it might be helpful to think of representation of groupoids for the following reasons:

When one talk about local systems, thinking of it as "representation of the fundamental groupoid" seems more natural than talking about "representation of the fundamental group".
When we talk about modules on stacks, if we choose a presentation of the stack (which is a groupoid), can we treat a given module as a representation of the groupoid? (Just as modules on BG gives representations of G.) Studying when two representations give the "same" module will be interesting.

Answer by Chris Schommer-Pries for Representation of Groupoids

2010-02-26T13:56:49Z

Every groupoid is equivalent to a disjoint union of groups. In fact the inclusion of the sub-2-category of disjoint unions of groups into all groupoids is an equivalence. Hence the representation theory of groupoids reduces to that of groups.

Answer by Theo Johnson-Freyd for Representation of Groupoids

2010-02-26T17:07:12Z

A representation of any categorical object (e.g. "groupoid" = "1-category with only isomoprhisms") is simply a (nice) functor from that object to the category of Vector Spaces. Then, as Chris points out, the abstract representation theory of groupoids essentially reduces to the representation theory of groups.

The story becomes much richer in the Lie category, because then you should ask for the representation to be smooth. The story has not been completely told, and even the parts that have been told I don't know well. For a hint at some of the interesting behavior, see http://front.math.ucdavis.edu/0810.0066. I don't know anything about the algebraic category, but I believe that there's interesting stuff there too (as far as I can tell, algebraic stacks are more complicated than smooth ones).

Hopefully someone who knows the literature better than I can say more.

Answer by YBL for Representation of Groupoids

2010-02-26T19:17:39Z

Groupoïds don't add much in theory but they do make some statements much simpler and they are sometimes necessary to get some intuition.

A typical example is the Van Kampen theorem. To state it in terms of fundamental groupes $\pi_1(X,x)$ you have to chose one base point for each connected component. In terms of fundamental groupoïds though, it's elementary: $\Pi_1(X\cup_Z Y) = \Pi_1(X) *_{\Pi_1(Z)} \Pi_1(Y) $.

The reason the usual statement of the theorem is equivalent to this one is that any groupoïd is equivalent to a disjoint sum of groups. But equivalent does not mean equal; isomorphic does not mean canonicaly isomorphic. A statement about groupoïds translate into a statement about groups up to conjugacy and this kind of subtlety can get very tricky (and/or interesting) in practice.

Deligne's theory of the motivic unipotent fundamental group "Le groupe fondamental de la droite projective moins trois points" gives a great illustration of this fact. It gives a thoery of groupoïds and their represenations in fibered categories. It also shows that even in the elementary case of $P^1- { 0,1,\infty }$ you have to work with fundamental groupoïds to really understand the arithmetic aspects of the fundamental groups.

Answer by David Carchedi for Representation of Groupoids

2010-06-07T00:29:03Z

The "classical" definition of a representation of a Lie groupoid is rather similar to that of a Lie group. For a Lie group representation, you start with a vector space $V$ and define a representation to be a smooth homomorphism $G \to Gl(V)$. Given a Lie groupOID $G \rightrightarrows M$, to form a (classical) representation of $G$, you need to start not with a vector space $V$, but with a vector BUNDLE $V \to M$. Then, from $V$ you can construct a Lie groupoid $Gl(V) \rightrightarrows M$ (the arrows are linear isomorphisms between the fibres of V). A representation for $G$ is simply a Lie groupoid homomorphism $G \to Gl(V)$.

It should be noted that this notion of representation is somehow "too strict". Giorgio Trentinaglia argues that one should instead replace smooth vector bundles with more general objects, which he calls "smooth Euclidean fields". In this setting, he proves a version of Tannaka duality for proper Lie groupoids. You can read about this in his paper:

Tannaka duality for proper Lie groupoids, Journal of Pure and Applied Algebra.

There is also an arxiv version of this.

Even more, here is a link to his thesis which should provide even more detail:

http://igitur-archive.library.uu.nl/dissertations/2008-0904-200909/trentinaglia.pdf

Answer by Benjamin Steinberg for Representation of Groupoids

2011-06-26T03:18:52Z

People in operator theory study this a lot. Look at Jean Renault's Springer lecture notes on groupoid C*-algebras or the book by Alan Paterson: Groupoids, Inverse Semigroups and their operator algebras. Here they use Hilbert bundles to define representations.

I think in the finite case that groupoids give a nice take on induced representations. If you have a subgroup H of a group G, then G has a covering groupoid corresponding to H. It is the category of elements for the action of G on G/H. The covering groupoid is naturally equivalent to H and so has the same representation theory as H. Now the category of representations of the covering groupoid is the module category of the corresponding category algebra since there are finitely many vertices. There is a homomorphism from G into this category algebra that sends an element g to the sum of its preimages under the covering morphism. It is easy to see that if you start with a representation of H, take the corresponding representation of the covering groupoid, turn it into the representation of the category algebra of the groupoid and compose with the homomorphism from G above, you get the induced representation.