Fordham University

Equations of a genus 4 Riemann surface with automorphism group (36,12)

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 genus 4 Riemann surface with automorphism group (36,12) in the GAP library of small groups. The quotient of this surface by its automorphism group has genus zero, and the quotient morphism is branched over three points with ramification indices (2,6,6).

We use Magma to compute equations of this Riemann surface. The main tools are the Eichler trace formula and black-box commands in Magma for obtaining matrix generators of a representation of a finite group having a specified character.

Obtaining candidate polynomials in Magma

We use some Magma code developed by David Swinarski during a visit to the University of Sydney in June/July 2011. Here is the file autcv10e.txt used below. 
Magma V2.21-7     Mon Apr 25 2016 00:02:35 on Davids-MacBook-Pro-2 [Seed = 
1950266865]

+-------------------------------------------------------------------+
|       This copy of Magma has been made available through a        |
|                   generous initiative of the                      |
|                                                                   |
|                         Simons Foundation                         |
|                                                                   |
| covering U.S. Colleges, Universities, Nonprofit Research entities,|
|               and their students, faculty, and staff              |
+-------------------------------------------------------------------+

Type ? for help.  Type -D to quit.
> load "autcv10e.txt";
Loading "autcv10e.txt"
> G:=SmallGroup(36,12);
> MatrixGens,MatrixSKG,Q,C:=RunExample(G,4,[2,6,6]);
Set seed to 0.


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


----------------------------------------------------------------------------
Class |   1  2  3  4    5    6   7   8  9    10    11  12 13  14  15  16  17
Size  |   1  1  3  3    1    1   2   2  2     1     1   2  2   2   3   3   3
Order |   1  2  2  2    3    3   3   3  3     6     6   6  6   6   6   6   6
----------------------------------------------------------------------------
p  =  2   1  1  1  1    6    5   8   7  9     6     5   8  9   7   6   5   5
p  =  3   1  2  3  4    1    1   1   1  1     2     2   2  2   2   4   4   3
----------------------------------------------------------------------------
X.1   +   1  1  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  -1  -1   1
X.3   +   1  1 -1 -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   1   1  -1
X.5   0   1 -1  1 -1 -1-J    J   J-1-J  1   1+J    -J  -J -1 1+J 1+J  -J   J
X.6   0   1  1 -1 -1    J -1-J-1-J   J  1     J  -1-J-1-J  1   J  -J 1+J 1+J
X.7   0   1  1  1  1    J -1-J-1-J   J  1     J  -1-J-1-J  1   J   J-1-J-1-J
X.8   0   1 -1 -1  1 -1-J    J   J-1-J  1   1+J    -J  -J -1 1+J-1-J   J  -J
X.9   0   1  1 -1 -1 -1-J    J   J-1-J  1  -1-J     J   J  1-1-J 1+J  -J  -J
X.10  0   1  1  1  1 -1-J    J   J-1-J  1  -1-J     J   J  1-1-J-1-J   J   J
X.11  0   1 -1 -1  1    J -1-J-1-J   J  1    -J   1+J 1+J -1  -J   J-1-J 1+J
X.12  0   1 -1  1 -1    J -1-J-1-J   J  1    -J   1+J 1+J -1  -J  -J 1+J-1-J
X.13  +   2  2  0  0    2    2  -1  -1 -1     2     2  -1 -1  -1   0   0   0
X.14  +   2 -2  0  0    2    2  -1  -1 -1    -2    -2   1  1   1   0   0   0
X.15  0   2 -2  0  0-2-2*J  2*J  -J 1+J -1 2+2*J  -2*J   J  1-1-J   0   0   0
X.16  0   2  2  0  0  2*J-2-2*J 1+J  -J -1   2*J-2-2*J 1+J -1  -J   0   0   0
X.17  0   2 -2  0  0  2*J-2-2*J 1+J  -J -1  -2*J 2+2*J-1-J  1   J   0   0   0
X.18  0   2  2  0  0-2-2*J  2*J  -J 1+J -1-2-2*J   2*J  -J -1 1+J   0   0   0


-------------
Class |    18
Size  |     3
Order |     6
-------------
p  =  2     6
p  =  3     3
-------------
X.1   +     1
X.2   +     1
X.3   +    -1
X.4   +    -1
X.5   0  -1-J
X.6   0    -J
X.7   0     J
X.8   0   1+J
X.9   0   1+J
X.10  0  -1-J
X.11  0    -J
X.12  0     J
X.13  +     0
X.14  +     0
X.15  0     0
X.16  0     0
X.17  0     0
X.18  0     0


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

J = RootOfUnity(3)


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

[2]     Order 2       Length 1      
        Rep G.2

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

[4]     Order 2       Length 3      
        Rep G.1

[5]     Order 3       Length 1      
        Rep G.3^2

[6]     Order 3       Length 1      
        Rep G.3

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

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

[9]     Order 3       Length 2      
        Rep G.4

[10]    Order 6       Length 1      
        Rep G.2 * G.3^2

[11]    Order 6       Length 1      
        Rep G.2 * G.3

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

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

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

[15]    Order 6       Length 3      
        Rep G.1 * G.3^2

[16]    Order 6       Length 3      
        Rep G.1 * G.3

[17]    Order 6       Length 3      
        Rep G.1 * G.2 * G.3

[18]    Order 6       Length 3      
        Rep G.1 * G.2 * G.3^2


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

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

    [z^6 - 1       0       0       0]
    [      0    -z^6       0       0]
    [      0       0 z^6 - 1       0]
    [      0       0       0 z^6 - 1],

    [ 1  0  0  0]
    [ 0  1  0  0]
    [ 0  0 -1  1]
    [ 0  0 -1  0]
]
Matrix Surface Kernel Generators:
[
    [-1  0  0  0]
    [ 0 -1  0  0]
    [ 0  0 -1  1]
    [ 0  0  0  1],

    [ z^6 - 1        0        0        0]
    [       0      z^6        0        0]
    [       0        0        0  z^6 - 1]
    [       0        0 -z^6 + 1  z^6 - 1],

    [    z^6       0       0       0]
    [      0 z^6 - 1       0       0]
    [      0       0     z^6       0]
    [      0       0     z^6    -z^6]
]
Finding quadrics:
I2 contains a 1-dimensional subspace of CharacterRow 7
Dimension 2
Multiplicity 2
[
    x_0^2,
    x_2^2 + x_2*x_3 + x_3^2
]
Finding cubics:
I3 contains a 1-dimensional subspace of CharacterRow 2
Dimension 2
Multiplicity 2
[
    x_1^3,
    x_2^2*x_3 + x_2*x_3^2
]
I3 contains a 1-dimensional subspace of CharacterRow 3
Dimension 2
Multiplicity 2
[
    x_0^3,
    x_0*x_2^2 + x_0*x_2*x_3 + x_0*x_3^2
]
I3 contains a 1-dimensional subspace of CharacterRow 5
Dimension 2
Multiplicity 2
[
    x_0^2*x_1,
    x_1*x_2^2 + x_1*x_2*x_3 + x_1*x_3^2
]
I3 contains a 2-dimensional subspace of CharacterRow 14
Dimension 4
Multiplicity 2
[
    x_0^2*x_2,
    x_0^2*x_3,
    x_2^3 - x_3^3,
    x_2^2*x_3 + x_2*x_3^2 + x_3^3
]

From the output, we see that this curve is cyclic trigonal. The canonical ideal is of the form \[ c_1 x_0^2+c_2(x_2^2 + x_2 x_3 + x_3^2), c_3 x_1^3+ c_4(x_2^2 x_3 + x_2 x_3^2) \] After scaling the variables \(x_0,x_1\) and dividing, we may assume that \(c_1=c_2=c_3=c_4=1\).

Checking the equations in Magma

We check that these equations give a smooth genus 4 curve with the desired automorphisms. 
> K<z_6>:=CyclotomicField(6);
> z_3:=z_6^2;
> P3<x_0,x_1,x_2,x_3>:=ProjectiveSpace(K,3);
> X:=Scheme(P3,[x_0^2 + x_2^2 + x_2*x_3 + x_3^2,
> x_1^3 + x_2^2*x_3 + x_2*x_3^2
> ]);
> Dimension(X);
1
> IsSingular(X);
false
> HilbertPolynomial(Ideal(X));
6*$.1 - 3
2
> A:=Matrix([
> [-1, 0, 0, 0],
> [0, -1, 0, 0],
> [0, 0, -1, 1],
> [0, 0, 0, 1]
> ]);
> B:=Matrix([
> [z_3,0,0,0],
> [0,z_6,0,0],
> [0,0,0,z_3],
> [0,0,-z_3,z_3]
> ]);
> Order(A);
2
> Order(B);
6
> Order( (A*B)^-1);
6
> GL4K:=GeneralLinearGroup(4,K);
> IdentifyGroup(sub<GL4K | A,B>);
<36, 12>
> Automorphism(X,A);
Mapping from: Sch: X to Sch: X
with equations : 
-x_0
-x_1
-x_2
x_2 + x_3
and inverse
-x_0
-x_1
-x_2
x_2 + x_3
> Automorphism(X,B);
Mapping from: Sch: X to Sch: X
with equations : 
(z_6 - 1)*x_0
z_6*x_1
(-z_6 + 1)*x_3
(z_6 - 1)*x_2 + (z_6 - 1)*x_3
and inverse
-z_6*x_0
(-z_6 + 1)*x_1
-z_6*x_2 - z_6*x_3
z_6*x_2

Cyclic trigonal approach

To study the symmetry of the branch locus, we look for a trigonal morphism. From the list of conjugacy classes above, we know that the order 3 elements belong to classes 5-9. We compute the number of fixed points of these group elements: 

> CCL:=Classes(G);
> SKG:=[ G.1 * G.4^2, G.2 * G.3 * G.4^2, G.1 * G.2 * G.3^2 * G.4 ];
> NumberOfFixedPoints(G,SKG,CCL[5][3]);
6
> NumberOfFixedPoints(G,SKG,CCL[6][3]);
6
> NumberOfFixedPoints(G,SKG,CCL[7][3]);
3
> NumberOfFixedPoints(G,SKG,CCL[8][3]);
3
> NumberOfFixedPoints(G,SKG,CCL[9][3]);
0
Thus, classes 5 and 6 both yield trigonal morphisms. We compute the quotient groups in each case: 

> IdentifyGroup(quo<G | CCL[5][3]>);
<12, 4>
> IdentifyGroup(quo<G | CCL[6][3]>);
<12, 4>
> IdentifyGroup(DihedralGroup(6));
<12, 4>      
> Eigenvalues(MatrixGens[3]^2);
{
    <-z^6, 3>,
    <z^6 - 1, 1>
}
> Eigenvalues(MatrixGens[3]);  
{
    <-z^6, 1>,
    <z^6 - 1, 3>
}
In both cases, the quotient group is \(D_6\). The trigonal morphism corresponding to class 6 acts with eigenvalue \(\zeta_3\) on a three-dimensional subspace of the holomorphic differentials, and with eigenvalue \(\zeta_3^2\) on a one-dimensional subspace of the holomorphic differentials. Thus, in the notation of [AchterPries2007] we have \(r = 3, s=1\), so \(d_1 = 6, d_2 = 0\).

One locus of six points on the sphere with symmetry \(D_6\) is given by the sixth roots of unity. Thus, we might guess that a trigonal equation for this Riemann surface is \( y^3 = (x^3-1)(x^3+1)\). Then a basis of holomorphic differentials for this equation is given by \[ \{y \frac{dx}{y^2}, \frac{dx}{y^2}, x \frac{dx}{y^2}, x^2 \frac{dx}{y^2} \} \] Mapping these sections to the variables \(x_0,x_1,x_2,x_3\) leads to the following equations for the canonical ideal: \[ x_1 x_3-x_2^2, x_0^3-x_3^3+x_1^3. \]

Indeed, the coordinate change \[ \begin{array}{rcl} x_0 & \mapsto & x_1\\ x_1 & \mapsto & \frac{i}{\sqrt{3}}x_2+\frac{\zeta_{12}^5}{\sqrt{3}}x_3,\\ x_2 & \mapsto & -\frac{1}{\sqrt{3}}x_0 &\\ x_3 & \mapsto & \frac{i}{\sqrt{3}}x_2+\frac{\zeta_{12}}{\sqrt{3}}x_3 \end{array} \] transforms the equations obtained above to these equations. In the new coordinates the surface kernel generators are given by the matrices \[ \left[ \begin{array}{rrrr} -1 & 0 & 0 & 0 \\ 0 & 0 & 0 & \zeta_3^2 \\ 0 & 0 & -1 & 0 \\ 0 & \zeta_3 & 0 & 0 \end{array} \right],\qquad \left[ \begin{array}{rrrr} \zeta_6 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & \zeta_3 & 0 \\ 0 & 0 & 0 & \zeta_6 \end{array} \right] \] The surface kernel generators listed on the website generate the same matrix group as this.