Skip to content

Commit

Permalink
simplified example for Semidirect option
Browse files Browse the repository at this point in the history
  • Loading branch information
galettof committed Jun 15, 2024
1 parent 77b3b46 commit 8fb7a19
Showing 1 changed file with 14 additions and 7 deletions.
21 changes: 14 additions & 7 deletions BettiCharacters.m2
Original file line number Diff line number Diff line change
Expand Up @@ -3254,19 +3254,26 @@ Node
As a representative of this orbit we choose the unique degree $d$
whose entries are sorted in nonincreasing order from left to right;
this can be obtained with the function @TO "rsort"@.

We illustrate this use case. First, consider the action
on the polynomial ring.
Example
R = QQ[x_1..x_4,Degrees=>{{1,0,0,0},{0,1,0,0},{0,0,1,0},{0,0,0,1}}]
S4 = symmetricGroupActors R
A = action(R,S4,Semidirect=>{uniquePermutations,rsort})
actors(A,{2,0,0,0})
character(A,{2,0,0,0})
actors(A,{1,1,0,0})
character(A,{1,1,0,0})
oo == character(A,{1,0,1,0})
I = ideal apply(subsets(gens R,3),product) + ideal apply(gens R, y -> y^5)
actors(A,{1,1,1,0})
character(A,{1,1,1,0})
Text
As expected, the character is the same if we compute it
for a different degree in the same orbit.
Example
oo == character(A,{1,0,1,1})
Text
Next, consider the quotient by an ideal stable under the group action.
Example
I = ideal apply(subsets(gens R,3),product)
M = R/I
B = action(M,S4,Semidirect=>{uniquePermutations,rsort})
actors(B,{2,1,0,0})
character(B,{2,1,0,0})
Text
Similarly, the @TO "Semidirect"@ option can be used
Expand Down

0 comments on commit 8fb7a19

Please sign in to comment.