A=action(M,G)
A=action(M,G,G')
This function is provided by the package BettiCharacters.
Use this function to define the action of a finite group on a graded module over a polynomial ring with coefficients in a field. This includes also an ideal in the polynomial ring, a quotient of the polynomial ring, and the polynomial ring itself. After setting up the action, use the function character to compute the characters of graded components.
The input G is a List of group elements acting on the vector space spanned by the variables of the ring R. By default, these elements are passed as onerow substitution matrices as those accepted by substitute. One may pass these elements as square matrices by setting the optional input Sub to false. The list G can contain arbitrary group elements however, to obtain a complete representation theoretic description of the characters, G should be a list of representatives of the conjugacy classes of the group.
The example below sets up the action of a symmetric group on a polynomial ring, a monomial ideal, and the corresponding quotient. The symmetric group acts by permuting the four variables of the ring. The conjugacy classes of permutations are determined by their cycle types, which are in bijection with partitions. In this case, we consider five permutations with cycle types, in order: 4, 31, 22, 211, 1111.







The group elements acting on the ring can be recovered using ringActors. To recover just the number of group elements, use numActors.


The simplified version of this function assumes that the group acts trivially on the generator of the polynomial ring.
When working with a module M, one needs to declare the action of the group on a basis of the free ambient module of M. Unless this action is trivial, it can be specified using the third argument, a list G' of matrices written with respect to the basis of the free ambient module of M used by Macaulay2. Moreover, the group elements in G' must match (in number and order) the elements in G.
To illustrate, we set up the action on the canonical module of the quotient in the previous example. We obtain the list of group elements G' for the canonical module by computing the action on its resolution.





