-
-
Notifications
You must be signed in to change notification settings - Fork 401
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Burnside ring of permutation representations #35475
Comments
Please communicate with @Newtech66, who would possibly work on this and similar projects in the framework of google summer of code. See also #30727. You can find brute force code to find the marks of a group action in #30727 (comment). One remark: working with symmetric functions is not sufficient, because there may be several different group actions having the same character (but different marks). |
Oh great! Sorry I missed that. I'll leave it to @Newtech66 if they are accepted as a GSOC contributor. But I'd like to stay involved through the review process to the extent possible. |
Hi! Could you please elaborate on the connection with symmetric functions? Also, please tell me how I could contact you if I want to discuss this topic further. @trevorkarn |
It would be wonderful if you could collaborate on this. It is probably not all that hard to make a simple version of the ring, but the better the better! The link to symmetric functions is as follows (@Newtech66, I will elaborate on this in one of the next lectures, in case you can attend): a group action of Thus, we can turn any group action into a representation, by setting The character of a representation One can show that representations are isomorphic if and only if they have the same character. However, the character does not determine the group action (the only exception being the cyclic groups). This may not be so surprising, because we lost some information when passing from the group action to the representation. Let us now fix By Schur-Weyl duality, we can therefore use symmetric functions to play with representations of the symmetric group. However, when playing with group actions we need more information. The table of marks is the group action analogue of the character table, and the Burnside ring is the group action analogue of the character ring. |
Just to add one more thing which was my motivation for opening the issue, if a symmetric function corresponding to a representation is positive in the homogeneous basis, it is a sum of permutation representations, but the "h-positivity" is not a necessary condition for something to be a permutation representation. It would be nice to take a symmetric function and attempt to express it as a sum of permutation representations, that is, as an element of the Burnside ring. There is no guarantee one can do this for an arbitrary permutation representation, but for instance a mixed integer linear program can approximate the solution to see if it exists. |
For representations of the cyclic group there is an efficient characterisation due to Per Alexandersson and Nima Amini. I wondered for quite some time whether one can do something similar for the symmetric group. However, it seems to me that this functionality (while it might use the Burnside ring) should rather be provided by the representation ring of a group. Oops, apparently sage doesn't have this ring either! |
Oh very cool, thanks for pointing that out.
Seems like another potential GSOC contribution? |
Well, if you had reserved time for implementing the Burnside ring, maybe you could slightly reallocate it? |
That works too. |
@trevorkarn, maybe - if you have time - could you collect (ideally in an initial commit) the methods It would also be good to make sure the user interface for these two and the user interface for |
See also #35500. |
Is there an existing issue for this?
Problem Description
The Burnside ring of a group encodes the permutation representations of the group. This could be implemented as a parent in Sage.
Proposed Solution
Implement a parent class for the Burnside ring of a finite group using GAP under the hood. This should also include a method which attempts to express a given representation in the Burnside ring by first checking that all the character values are positive (a necessary but not sufficient condition for a representation to be a permutation representation) and then attempting to express it as an element of the Burnside ring.
Alternatives Considered
One could work with symmetric functions directly or by hand/in an ad hoc manner, but implementing a parent class for the Burnside ring of a group is the way that makes sense in Sage.
Additional Information
No response
The text was updated successfully, but these errors were encountered: