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 curves with automorphism group (32,27) 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 autcv10c.txt used below.

Magma V2.20-3     Sun Mar 20 2016 10:35:07 on Fordhamwinarski [Seed = 
1942720571]
Type ? for help.  Type -D to quit.
> load "autcv10c.txt";
Loading "autcv10c.txt"
> G:=SmallGroup(32,27);
> G;
GrpPC : G of order 32 = 2^5
PC-Relations:
    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  2  2  2  2  4  4  4  4
Order |   1  2  2  2  2  2  2  2  2  2  2  4  4  4
--------------------------------------------------
p  =  2   1  1  1  1  1  1  1  1  1  1  1  4  3  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  2  0  0 -2  0  0  0  0  0
X.10  +   2  2 -2 -2  0  0  0 -2  0  2  0  0  0  0
X.11  +   2 -2 -2  2  2  0 -2  0  0  0  0  0  0  0
X.12  +   2  2 -2 -2  0  0  0  2  0 -2  0  0  0  0
X.13  +   2 -2  2 -2  0 -2  0  0  2  0  0  0  0  0
X.14  +   2 -2 -2  2 -2  0  2  0  0  0  0  0  0  0



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.2 * G.3 * G.5

[6]     Order 2       Length 2      
        Rep G.2

[7]     Order 2       Length 2      
        Rep G.2 * G.3

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

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

[10]    Order 2       Length 2      
        Rep G.3

[11]    Order 2       Length 4      
        Rep G.1

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

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

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


Surface kernel generators:  [ G.2 * G.3, G.3 * G.5, G.1 * G.5, G.1 * G.2 ]
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, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0 ]
H^0(C,K) =[ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0 ]
I_2      =[ 2, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ]
S_2      =[ 3, 0, 1, 1, 0, 2, 0, 0, 1, 1, 0, 0, 1, 1 ]
H^0(C,2K)=[ 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1 ]
I_3      =[ 0, 1, 0, 0, 2, 0, 0, 0, 0, 0, 3, 3, 0, 0 ]
S_3      =[ 0, 2, 0, 0, 3, 0, 1, 1, 1, 1, 5, 5, 1, 1 ]
H^0(C,3K)=[ 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 2, 2, 1, 1 ]
I2timesS1=[ 0, 1, 0, 0, 2, 0, 0, 0, 0, 0, 3, 3, 0, 0 ]
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    0  z^8    0    0]
    [   0 -z^8    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  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]
]
Matrix Surface Kernel Generators:
[
    [-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 -z^8    0    0]
    [   0  z^8    0    0    0]
    [   0    0    0   -1    0]
    [   0    0    0    0    1],

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

The output above shows that the ideal contains quadrics from two 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 polynomials of the form \[ \begin{array}{l} c_1(x_0^2) + c_2(x_1 x_2) + c_3(x_3^2 + x_4^2)\\ c_4(x_0^2) + c_5(x_1 x_2) + c_6(x_3^2 + x_4^2) \end{array} \] Assume that \((c_1,c_2)\) and \((c_4,c_5)\) are linearly independent. After row reducing, we may assume that \((c_1,c_2)=(1,0)\) and \((c_4,c_5)=(0,1)\). After scaling \(x_0\), we may assume that \(c_3 = 1\), and after scaling \(x_1,x_2\), we may assume that \(c_6=1\).

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

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

Checking the equations in `Magma`

We check that for two different values of \(c_{8}\), 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_8=1\).

> K<i>:=CyclotomicField(4);
> P4<x_0,x_1,x_2,x_3,x_4>:=ProjectiveSpace(K,4);
> c_8:=1;
> X:=Scheme(P4,[
> x_0^2+x_3^2 + x_4^2,
> x_1*x_2+ x_3^2 + x_4^2,
> x_1^2 + x_2^2+c_8*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, -1],
> [0, 0, 0, -1, 0]
> ]);
> B:=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]
> ]);
> C:=Matrix([
> [-1, 0, 0, 0, 0],
> [0, 0, -i, 0, 0],
> [0, i, 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, 27>
> Automorphism(X,A);
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,B);
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
> Automorphism(X,C);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
i*x_2
-i*x_1
-x_3
x_4
and inverse
-x_0
i*x_2
-i*x_1
-x_3
x_4

Next, we study \(c_8 = 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_8:=23+z_20^3;
> X:=Scheme(P4,[
> x_0^2+x_3^2 + x_4^2,
> x_1*x_2+ x_3^2 + x_4^2,
> x_1^2 + x_2^2+c_8*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
-x_4
-x_3
and inverse
-x_0
-x_1
-x_2
-x_4
-x_3
> Automorphism(X,B);
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
> Automorphism(X,C);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
z_20^5*x_2
-z_20^5*x_1
-x_3
x_4
and inverse
-x_0
z_20^5*x_2
-z_20^5*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`