**- F_un mathematics - http://cage.ugent.be/~kthas/Fun -**

F_un and group representations

Posted By __javier__ On October 12, 2008 @ 3:19 pm In __featured,research__ | __4 Comments__

As a disclaimer, what follows are just some personal ramblings I came up with. It is possible that something, or even all of what follows is either well known or just plainly stupid. I claim no originality for anything below, so use it at your own risk…

In Connes-Consani paper On the notion of geometry over ^{[1]}, the category of finite abelian groups receives a prominent use in order to modify SoulÃ©’s notion of gadget over ^{[2]}. In his exposition for undergraduates ^{[3]}, Lieven conceals the functor of points and the algebra bit of the gadget in terms of the so-called **maxi-functor**, **mini-functor** and **nano-functor** (good thing he doesn’t mention any *shuffles* or put too much stress on the *classic* situation, or he might have been tempted of calling them ** iFunctors** and we’d be being sued by Apple right now). These functors are associated to the contruction of the corresponding group rings

Thinking about these results, and their relation with representation theory of groups ^{[7]}, I started digressing about my own approach to the field. While it seems that in Antwerp they teach some representation theory of groups during the bachelor years, first thing I ever did having to do with finding concrete realization of groups was more related to Cayley’s theorem ^{[8]}, and permutation groups, which is perhaps reasonable taking into account that the course I took was aiming to explain some basics of Galois Theory ^{[9]}.

Making the long story short, we may think of two basic ways of representing (finite) groups. One of them, with a more geometrical flavor, is looking for a (finite dimensional) vector space and trying to describe our group inside the group of automorphisms of by looking for group homomorphisms , also called **linear representations**. The other, set-theoretical one, consists on looking for (finite) sets endowed with a group action ^{[10]} of , also called -sets, that hopefully allow us to describe as a group of permutations.

There are many reasons to think that both approaches should have similar properties, after all we are always trying to describe the same object, however, we can give a different meaning to this relation under the light on maths. When we look for linear representations of our group, we are automatically making a choice, not only on the vector space, but on the field over which we consider our vector space. We can look for *complex* linear representations, for *real* linear representations, for *rational* linear representations and so on. In particular, we might take representations defined over finite fields, diving into what is called modular representation theory ^{[11]}. This theory behaves exactly as in the characteristic 0 case for most fields (in virtue again of Maschke’s theorem, whenever the characteristic of the field is not a divisor of the order of our group we’ll be back into the completely reducible situation), with some weird phenomena showing up in the exceptional cases. But now, since we have a new idea of a field, we might try to study linear representations over our dearest . What do we get then? Well, since the F_un folklore ^{[12]} tells us that vector spaces over are just sets, with cardinality corresponding to the dimension, and the Tits argument on ^{[13]}Chevalley groups ^{[13]} points at the permutation group , which is the Weyl group ^{[14]} of , as the corresponding general linear group, the -mantras will tell us that linear representations of a group over the field with one elements are precisely the permutation representations!

So, the old set-theoretical approach to representation theory of groups can be seen just as a degenerate case of the general theory of linear representations, adding a new line to our folkloric dictionary, and giving some common ground that explain the similarities between these two theories.

**PS**: I remember reading a while ago some dissertation in which the linear and the set theoretical approaches to representation theory where discussed and sort of tied-up together. Unfortunately I cannot remember who was the author of it. Only thing I remember is that it was written in the form of a dialog between two mathematicians, each of them defending his own way of constructing representations of the group. Any reference to this text or any clues about his author will be very welcome!

**Update**: The text I was thinking about is contained in John Baez’s This Week’s Finds in Mathematical Physics 252 ^{[15]} (28th May 2007). The mathematicians involved in the discussion are Georg Frobenius ^{[16]} standing for the linear representations, and William Burnside ^{[17]} (as the G-sets champ. Certainly worth re-reading it!

This series continues here ^{[18]} where we try to make sense of noncommutative geometry over .

Article printed from F_un mathematics: **http://cage.ugent.be/~kthas/Fun**

URL to article: **http://cage.ugent.be/~kthas/Fun/index.php/f_un-and-group-representations.html**

URLs in this post:

[1] Image: **http://cage.ugent.be/~kthas/Fun/index.php/connes-consani2008.html**

[2] Image: **http://cage.ugent.be/~kthas/Fun/index.php/gadgets-a-la-soule.html**

[3] exposition for undergraduates: **http://cage.ugent.be/~kthas/Fun/index.php/connes-consani-for-undergraduates-1.html**

[4] group rings: **http://en.wikipedia.org/wiki/Group_ring**

[5] Maschke’s Theorem: **http://en.wikipedia.org/wiki/Maschke%27s_theorem**

[6] Artin-Wedderburn Structure Theorem: **http://en.wikipedia.org/wiki/Artin-Wedderburn_theorem**

[7] representation theory of groups: **http://en.wikipedia.org/wiki/Group_representation**

[8] Cayley’s theorem: **http://en.wikipedia.org/wiki/Cayley_group**

[9] Galois Theory: **http://en.wikipedia.org/wiki/Galois_theory**

[10] group action: **http://en.wikipedia.org/wiki/Group_action**

[11] modular representation theory: **http://en.wikipedia.org/wiki/Modular_representation_theory**

[12] the F_un folklore: **http://cage.ugent.be/~kthas/Fun/index.php/the-f_un-folklore.html**

[13] the Tits argument on : **http://cage.ugent.be/~kthas/Fun/index.php/mathematical-phantoms.html**

[14] Weyl group: **http://en.wikipedia.org/wiki/Weyl_group**

[15] This Week’s Finds in Mathematical Physics 252: **http://math.ucr.edu/home/baez/week252.html**

[16] Georg Frobenius: **http://en.wikipedia.org/wiki/Ferdinand_Georg_Frobenius**

[17] William Burnside: **http://en.wikipedia.org/wiki/William_Burnside**

[18] here: **http://cage.ugent.be/~kthas/Fun/index.php/towards-noncommutative-f_un-geometry.html**

Click here to print.

Copyright © 2008 F_un mathematics. All rights reserved.