3
$\begingroup$

As an exercise for myself, I've been trying for some time to calculate the coordinate ring of the $E6$ surface singularity. That is, I have a 2d representation of the binary tetrahedral group generated by

$(x,y) \rightarrow (i x, i y)$

$(x,y) \rightarrow (-y, x)$

$(x,y)\rightarrow (\frac{\xi}{\sqrt{2}}(x+y),\frac{\xi}{\sqrt{2}}(x-y))$,

where $\xi$ is a primitive 8th root of unity. I want to calculate the subring of invariants of this group action in $\mathbb{C}[x,y]$.

Some things I already know include the answer (no proof of this): $\mathbb{C}[X,Y,Z]/(X^2+Y^3+Z^4)$

and a couple invariants : $(x^2+y^2)^4$ and $(x+y)^8 + (x-y)^8 -16x^8 - 16y^8$ (hopefully I have the signs right here).

I calculated both of these invariants by messing around with the transformation in sage. Maybe there is a way that sage knows how to calculate these invariants?

Anybody have any ideas?

  • 0
    I'm not sure you're still interested after such a long time, but this is done in the lecture notes by Dolgachev on the McKay correspondence.2018-03-08

0 Answers 0