0
$\begingroup$

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of dimension 3) over the ground field $k$.

I start with the group ring algebra $\overline k[x_1, x_2, x_3, \frac{1}{x_1}, \frac{1}{x_2}, \frac{1}{x_3}$] and look for the $\mathfrak S_3$-invariants there. In particular, the obvious ones are

$x_1 + x_2 + x_3$

$\frac{1}{x_1} + \frac{1}{x_2} + \frac{1}{x_3}$

$x_1x_2 + x_1x_3 + x_2x_3$

...

From the other side, there are certainly more since $\mathfrak S_3$ also acts on coefficients. In particular, if the splitting degree six extension is given by adjoining roots $\alpha_1, \alpha_2, \alpha_3$ of irreducible polynomial $y^3 - y + a$, where $a \in k$, then the following elements are invariants as well:

$\alpha_1x_1 + \alpha_2x_2 + (1 - \alpha_1 - \alpha_2) x_3$

$\frac{\alpha_1}{x_1} + \frac{\alpha_2}{x_2} + \frac{1-\alpha_1-\alpha_2}{x_3}$

...

My next step would be to write down relations between these generators, therefore, obtaining equations for the torus $T$. I coudn't proceed with this step as cannot see any good relations here. This approach worked well for the case of group $\mathfrak S_2$ though. Would be happy for any advice or reference as this problem looks like a classical one.

$\endgroup$
3
  • $\begingroup$ what is that group you mean when you talk about "group ring algebra"? (every group algebra is a group ring, by the way) $\endgroup$ Commented Mar 3, 2015 at 19:22
  • $\begingroup$ Sorry for possible confusion. If $M$ is my module then $\overline k[M]$ is the group ring (probably I shouldn't have used word "algebra"). Then $T = Spec(\overline k[M]^G)$ is the torus I want to compute. $\endgroup$
    – Den
    Commented Mar 3, 2015 at 22:09
  • $\begingroup$ still, it's not clear how $\mathcal{S}_3$ acts on your ring. It looks strange that it permutes generators and coefficients at the same time. $\endgroup$ Commented Mar 3, 2015 at 23:04

0

You must log in to answer this question.

Browse other questions tagged .