Have there been any attempts to extend the "F\_un" analogy to the representation theory of finite groups?


If I might be allowed some speculation:


If combinatorics can be regarded as analagous to linear algebra over the "field with one element", then are characters of finite groups over the "field with one element" simply permutation characters? Perhaps the analogous notion of irreducibility in this case would be transitivity?


In the complex character theory of finite groups, two irreducible characters are identical if and only if representations that afford them are equivalent. Perhaps by developing a representation theory of finite groups over the field with one element, we would find some analogous way of comparing "F\_un characters" to check if two *permutation* representations of a given group are equivalent.



Representations of finite groups over the "field with one element"
The table of marks, as defined by Burnside, has rows indexed by the transitive permutations $X$ and columns indexed by the conjugacy classes of subgroups $H\leqslant G$. The entry corresponding to $X$ and $H$ is $|X^H|$, the number of fixed points.


The Burnside ring $A(G)$ is the Grothendieck ring of permutation representations, with disjoint union as the addition and direct product as the multiplication. The ring homomorphisms from $A(G)$ to $\mathbb Z$ are exactly the fixed point functions in the table of marks, and they separate permutation representations. This is very analogous to character theory.


The ring $A(G)$ was extensively studied by Dress, who computed the index of the image of $A(G)$ in the sum of copies of $\mathbb Z$, one for each conjugacy class of subgroups, under the sum of these homomorphisms. There are many applications of $A(G)$ in representation theory, especially induction theorems and related topics.


Dress also discovered that there are no non-trivial idempotents in $A(G)$ if and only if $G$ is soluble. There was some speculation that one might be able to approach the odd order theorem this way, but nobody really got very far with it.


Burnside rings play a role in a lot of applications of group theory. In stable homotopy theory, for example, the stable cohomotopy of the classifying space $BG$ is compared with the completion of $A(G)$. This is the Segal conjecture, which was proved back in the eighties. This is analogous with the Atiyah completion theorem, which compares the unitary $K$-theory of $BG$ with the completion of the character ring.


