Skip to main content
Extended explanation
Source Link
Tim Dokchitser
  • 5.4k
  • 1
  • 34
  • 45

According to Magma it is 120, and it is an extension of $A_5$ by $C_2$

   ( AA:=AutomorphismGroup(HyperellipticCurve(Polynomial(GF(5),[0,-1,0,0,0,1]))); )

And, and over $F_{25}$ or over $\bar F_5$ it is 240.


Edit: Hartshorne works over an algebraically closed field, so Exc. 2.5 on p.305 proves that over $\bar F_5$ the automorphism group has order 240. Explicitly, it is generated by

$\alpha: x\mapsto x+1, y\mapsto y$ of order 5,

$\beta: x\mapsto \frac{1}{x+1}, y\mapsto \frac{y}{(1+x)^3}$ of order 6,

$\gamma: x\mapsto 2x, y\mapsto \sqrt{2}y$ of order 8.

Actually, it is clear that the group they generate has order 240 and not less, because $\beta^3$ is not the hyperelliptic involution and $\gamma^4$ is. On the other hand, as Dan explains, you cannot get more than a double cover of $PGL(2,F_5)$, so this is the whole group. Over $F_5$ however, the automorphism group is generated by $\alpha, \beta$ and $\gamma^2$, and it has order 120.

According to Magma it is 120, and it is an extension of $A_5$ by $C_2$

 ( A:=AutomorphismGroup(HyperellipticCurve(Polynomial(GF(5),[0,-1,0,0,0,1]))); )

And over $F_{25}$ or over $\bar F_5$ it is 240.

According to Magma it is 120, and it is an extension of $A_5$ by $C_2$  (A:=AutomorphismGroup(HyperellipticCurve(Polynomial(GF(5),[0,-1,0,0,0,1])))), and over $F_{25}$ or over $\bar F_5$ it is 240.


Edit: Hartshorne works over an algebraically closed field, so Exc. 2.5 on p.305 proves that over $\bar F_5$ the automorphism group has order 240. Explicitly, it is generated by

$\alpha: x\mapsto x+1, y\mapsto y$ of order 5,

$\beta: x\mapsto \frac{1}{x+1}, y\mapsto \frac{y}{(1+x)^3}$ of order 6,

$\gamma: x\mapsto 2x, y\mapsto \sqrt{2}y$ of order 8.

Actually, it is clear that the group they generate has order 240 and not less, because $\beta^3$ is not the hyperelliptic involution and $\gamma^4$ is. On the other hand, as Dan explains, you cannot get more than a double cover of $PGL(2,F_5)$, so this is the whole group. Over $F_5$ however, the automorphism group is generated by $\alpha, \beta$ and $\gamma^2$, and it has order 120.

Source Link
Tim Dokchitser
  • 5.4k
  • 1
  • 34
  • 45

According to Magma it is 120, and it is an extension of $A_5$ by $C_2$

( A:=AutomorphismGroup(HyperellipticCurve(Polynomial(GF(5),[0,-1,0,0,0,1]))); )

And over $F_{25}$ or over $\bar F_5$ it is 240.