Finding equations of a 1-parameter family of genus 5 Riemann surfaces with 32 automorphisms

Magaard, Shaska, Shpectorov, and Völklein give tables of smooth Riemann surfaces of genus \( g \leq 10\) with automorphism groups \(G\) satisfying \( \# G > 4(g-1)\). Their list is based on a computer search by Breuer.

They list a 1-parameter family of genus 5 Riemann surfaces with automorphism group (32,28) in the GAP library of small groups. The quotient of any surface in this family by its automorphism group has genus zero, and the quotient morphism is branched over four points with ramification indices (2,2,2,4).

We use Magma to compute equations of one member of this family, and give a conjectural description of this family.

Obtaining candidate polynomials in `Magma`

We use some Magma code written by David Swinarski during a visit to the University of Sydney in June/July 2011. Here is the file autcv10.txt used below.

Magma V2.20-3     Sun Mar 20 2016 10:14:18 on Fordhamwinarski [Seed = 964812625]
Type ? for help.  Type -D to quit.
> load "autcv10.txt";
Loading "autcv10.txt"
> G:=SmallGroup(32,28);
> G;
GrpPC : G of order 32 = 2^5
PC-Relations:
    G.2^2 = G.4, 
    G.2^G.1 = G.2 * G.4, 
    G.3^G.1 = G.3 * G.5
> MatrixGens,MatrixSKG,Q,C:=RunExample(G,5,[2,2,2,4]);
Set seed to 0.


Character Table of Group G
--------------------------


------------------------------------------------------
Class |   1  2  3  4  5  6  7  8    9   10 11 12 13 14
Size  |   1  1  1  1  2  2  4  4    2    2  2  2  4  4
Order |   1  2  2  2  2  2  2  2    4    4  4  4  4  4
------------------------------------------------------
p  =  2   1  1  1  1  1  1  1  1    3    3  3  3  2  2
------------------------------------------------------
X.1   +   1  1  1  1  1  1  1  1    1    1  1  1  1  1
X.2   +   1  1  1  1 -1 -1  1 -1    1    1 -1 -1  1 -1
X.3   +   1  1  1  1 -1 -1 -1  1    1    1 -1 -1 -1  1
X.4   +   1  1  1  1  1  1 -1 -1    1    1  1  1 -1 -1
X.5   +   1  1  1  1  1  1  1 -1   -1   -1 -1 -1 -1  1
X.6   +   1  1  1  1 -1 -1  1  1   -1   -1  1  1 -1 -1
X.7   +   1  1  1  1 -1 -1 -1 -1   -1   -1  1  1  1  1
X.8   +   1  1  1  1  1  1 -1  1   -1   -1 -1 -1  1 -1
X.9   +   2 -2  2 -2  0  0  0  0    0    0  2 -2  0  0
X.10  +   2 -2  2 -2  0  0  0  0    0    0 -2  2  0  0
X.11  +   2  2 -2 -2 -2  2  0  0    0    0  0  0  0  0
X.12  +   2  2 -2 -2  2 -2  0  0    0    0  0  0  0  0
X.13  0   2 -2 -2  2  0  0  0  0 -2*I  2*I  0  0  0  0
X.14  0   2 -2 -2  2  0  0  0  0  2*I -2*I  0  0  0  0


Explanation of Character Value Symbols
--------------------------------------

I = RootOfUnity(4)


Conjugacy Classes of group G
----------------------------
[1]     Order 1       Length 1      
        Rep Id(G)

[2]     Order 2       Length 1      
        Rep G.5

[3]     Order 2       Length 1      
        Rep G.4

[4]     Order 2       Length 1      
        Rep G.4 * G.5

[5]     Order 2       Length 2      
        Rep G.3

[6]     Order 2       Length 2      
        Rep G.3 * G.4

[7]     Order 2       Length 4      
        Rep G.1 * G.2

[8]     Order 2       Length 4      
        Rep G.1

[9]     Order 4       Length 2      
        Rep G.2 * G.3 * G.5

[10]    Order 4       Length 2      
        Rep G.2 * G.3

[11]    Order 4       Length 2      
        Rep G.2 * G.5

[12]    Order 4       Length 2      
        Rep G.2

[13]    Order 4       Length 4      
        Rep G.1 * G.3

[14]    Order 4       Length 4      
        Rep G.1 * G.2 * G.3


Surface kernel generators:  [ G.3 * G.4, G.1 * G.4, G.1 * G.2 * G.4, G.2 * G.3 ]
Is hyperelliptic?  false
Is cyclic trigonal?  false
Multiplicities of irreducibles in relevant G-modules:
I_1      =[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
S_1      =[ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0 ]
H^0(C,K) =[ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0 ]
I_2      =[ 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0 ]
S_2      =[ 2, 0, 0, 0, 2, 1, 0, 2, 1, 1, 1, 0, 0, 1 ]
H^0(C,2K)=[ 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1 ]
I_3      =[ 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 3, 1, 2 ]
S_3      =[ 0, 2, 2, 1, 0, 0, 2, 0, 1, 1, 1, 5, 2, 4 ]
H^0(C,3K)=[ 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 2, 1, 2 ]
I2timesS1=[ 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 3, 1, 2 ]
Is clearly not generated by quadrics? false
Matrix generators for action on H^0(C,K):
Field K Cyclotomic Field of order 32 and degree 16
[
    [-1  0  0  0  0]
    [ 0  1  0  0  0]
    [ 0  0 -1  0  0]
    [ 0  0  0  0  1]
    [ 0  0  0  1  0],

    [ 1  0  0  0  0]
    [ 0  0  1  0  0]
    [ 0 -1  0  0  0]
    [ 0  0  0  0 -1]
    [ 0  0  0  1  0],

    [  -1    0    0    0    0]
    [   0    1    0    0    0]
    [   0    0    1    0    0]
    [   0    0    0    0  z^8]
    [   0    0    0 -z^8    0]
]
Matrix Surface Kernel Generators:
[
    [  -1    0    0    0    0]
    [   0   -1    0    0    0]
    [   0    0   -1    0    0]
    [   0    0    0    0 -z^8]
    [   0    0    0  z^8    0],

    [-1  0  0  0  0]
    [ 0 -1  0  0  0]
    [ 0  0  1  0  0]
    [ 0  0  0  0 -1]
    [ 0  0  0 -1  0],

    [-1  0  0  0  0]
    [ 0  0 -1  0  0]
    [ 0 -1  0  0  0]
    [ 0  0  0 -1  0]
    [ 0  0  0  0  1],

    [ -1   0   0   0   0]
    [  0   0   1   0   0]
    [  0  -1   0   0   0]
    [  0   0   0 z^8   0]
    [  0   0   0   0 z^8]
]
Finding quadrics:
I2 contains a 1-dimensional subspace of CharacterRow 1
Dimension 2
Multiplicity 2
[
    x_0^2,
    x_1^2 + x_2^2
]
I2 contains a 1-dimensional subspace of CharacterRow 5
Dimension 2
Multiplicity 2
[
    x_1*x_2,
    x_3^2 - x_4^2
]
I2 contains a 1-dimensional subspace of CharacterRow 8
Dimension 2
Multiplicity 2
[
    x_1^2 - x_2^2,
    x_3*x_4
]

The output above shows that the ideal contains quadrics from three isotypical subspaces of \(S_2\). Note that the power of z\(=\zeta_{32}\) in the surface kernel generators is always a multiple of 8. Therefore in the sequel we reduce these to i\(= \zeta_{4}\).

The first isotypical subspace, which corresponds to the character \( \chi_1\) in the character table shown above, yields a polynomial of the form \[ c_1(x_0^2) + c_2(x_1^2 + x_2^2) \] Assume that \(c_1\) and \(c_2\) are nonzero. After scaling \(x_0\), we may assume that \(c_1=c_2=1\).

The second isotypical subspace corresponds to the character \( \chi_{5}\) in the character table shown above. It yields a polynomial of the form \[ c_3(x_1 x_2) + c_4(x_3^2 - x_4^2) \] Assume that \(c_3\) and \(c_4\) are nonzero. After scaling \(x_3,x_4\), we may assume that \(c_3=c_4=1\).

The third isotypical subspace corresponds to the character \( \chi_{8}\) in the character table shown above. It yields a polynomial of the form \[ c_5(x_1^2 - x_2^2) + c_6(x_3 x_4) \] Assume that \(c_5\) is nonzero. After dividing by \(c_5\), we may assume that \(c_5=1\).

We are expecting to find a pencil of curves, and indeed we have one coefficient, \(c_6\), which is allowed to vary.

Checking the equations in `Magma`

We check that for two different values of \(c_{6}\), we obtain a smooth curve with the correct automorphisms. This implies that a general member of the pencil is a smooth curve with the correct automorphisms. However, I have not shown that the two curves studied below are not isomorphic to each other; it is possible that we have described a point in the moduli space \( \mathcal{M}_{5}\) rather than a curve in \( \mathcal{M}_5\).

First we study \(c_6=1\).

> K<i>:=CyclotomicField(4);
> P4<x_0,x_1,x_2,x_3,x_4>:=ProjectiveSpace(K,4);
> c_6:=1;
> X:=Scheme(P4,[
> x_0^2+x_1^2 + x_2^2,
> x_1*x_2+x_3^2 - x_4^2,
> x_1^2 - x_2^2+c_6*(x_3*x_4)
> ]);
> Dimension(X);
1
> IsSingular(X);
false
> HilbertPolynomial(Ideal(X));
8*$.1 - 4
2
> A:=Matrix([
> [-1, 0, 0, 0, 0],
> [0, -1, 0, 0, 0],
> [0, 0, -1, 0, 0],
> [0, 0, 0, 0, -i],
> [0, 0, 0, i, 0]
> ]);
> B:=Matrix([
> [-1, 0, 0, 0, 0],
> [0, -1, 0, 0, 0],
> [0, 0, 1, 0, 0],
> [0, 0, 0, 0, -1],
> [0, 0, 0, -1, 0]
> ]);
> C:=Matrix([
> [-1, 0, 0, 0, 0],
> [0, 0, -1, 0, 0],
> [0, -1, 0, 0, 0],
> [0, 0, 0, -1, 0],
> [0, 0, 0, 0, 1]
> ]);
> Order(A);
2
> Order(B);
2
> Order(C);
2
> Order( (A*B*C)^(-1));
4
> GL5K:=GeneralLinearGroup(5,K);
> IdentifyGroup(sub<GL5K | A,B,C>);
<32, 28>
> Automorphism(X,A);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_1
-x_2
i*x_4
-i*x_3
and inverse
-x_0
-x_1
-x_2
i*x_4
-i*x_3
> Automorphism(X,B);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_1
x_2
-x_4
-x_3
and inverse
-x_0
-x_1
x_2
-x_4
-x_3
> Automorphism(X,C);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_2
-x_1
-x_3
x_4
and inverse
-x_0
-x_2
-x_1
-x_3
x_4

Next, we study \(c_6 = 23+\zeta_{20}^3\):

> K<z_20>:=CyclotomicField(20);
> i:=z_20^5;
> P4<x_0,x_1,x_2,x_3,x_4>:=ProjectiveSpace(K,4);
> c_6:=23+z_20^3;
> X:=Scheme(P4,[
> x_0^2+x_1^2 + x_2^2,
> x_1*x_2+x_3^2 - x_4^2,
> x_1^2 - x_2^2+c_6*(x_3*x_4)
> ]);
> Dimension(X);
1
> IsSingular(X);
false
> HilbertPolynomial(Ideal(X));
8*$.1 - 4
2
> Automorphism(X,A);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_1
-x_2
z_20^5*x_4
-z_20^5*x_3
and inverse
-x_0
-x_1
-x_2
z_20^5*x_4
-z_20^5*x_3
> Automorphism(X,B);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_1
x_2
-x_4
-x_3
and inverse
-x_0
-x_1
x_2
-x_4
-x_3
> Automorphism(X,C);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_2
-x_1
-x_3
x_4
and inverse
-x_0
-x_2
-x_1
-x_3
x_4

Finding equations of a 1-parameter family of genus 5 Riemann surfaces with 32 automorphisms

Obtaining candidate polynomials in Magma

Checking the equations in Magma

Obtaining candidate polynomials in `Magma`

Checking the equations in `Magma`