1 Introduction
Several techniques (such as [
3,
15,
16]) have recently been developed to compute explicitly mod
\(\ell \) Galois representations appearing in the torsion of Jacobians of curves. However, many “interesting” representations (e.g. in the Langlands program) are not naturally found in Jacobians, but rather in higher étale cohomology spaces of higher-dimensional varieties. They are thus inaccessible to the aforementioned methods, and, to the author’s knowledge, computational methods to deal with these representations have not yet been developed apart from the case of modular forms over
\({\text {GL}}_2\).
The purpose of this article is to sketch such a method, thus answering the conjecture made in the second-to-last point of the epilogue of [
3]. Although our method is still at an experimental stage, it is already sufficiently advanced for us to be able to prove our concept by giving a concrete example of application, which we also present in this article.
The concrete example that we have chosen comes from [
5], where B. van Geemen and J. Top give evidence towards a conjecture of L. Clozel’s . They exhibit a Hecke eigenform
u over a congruence subgroup of
\({\text {SL}}_3(\mathbb {Z})\) of level
\(128=2^7\) whose Hecke eigenvalues lie in
\(\mathbb {Z}[2\sqrt{-1}]\), and an algebraic surface
S over
\(\mathbb {Q}\) equipped with an automorphism
\(\phi _S\) of order 4 defined over
\(\mathbb {Q}\), such that for all primes
\(\ell \in \mathbb {N}\), the
\(\ell \)-adic
\({{\text {H}}}^2\) of
S equipped with the
\(\mathbb {Q}_\ell (\sqrt{-1})\)-vector space structure induced by
\(\phi _S\) contains a Galois-submodule affording the quadratic twist by
\(-2\) of the
\(\ell \)-adic representation
$$\begin{aligned} \widetilde{\rho }_{u,\ell } : {\text {Gal}}\Big ({\overline{\mathbb {Q}}} / \mathbb {Q}\Big ) \longrightarrow {\text {GL}}_3\Big (\mathbb {Q}_\ell \big (\sqrt{-1}\big )\Big ) \end{aligned}$$
attached to
u.
According to [
5, 2.4] and to the first paragraph of Sect. 4 of [
7], the
\(\ell \)-adic representation
\(\widetilde{\rho }_{u,\ell }\) is unramified away from
1 2 and
\(\ell \), and for each unramified prime
\(p \in \mathbb {N}\), the characteristic polynomial of
\(\widetilde{\rho }_{u,\ell }({\text {Frob}}_p)\) is
$$\begin{aligned} \chi _p(x) = x^3-a_p x^2 +p \overline{a_p} x - p^3 \in \mathbb {Q}_\ell \Big (\sqrt{-1}\Big )[x], \end{aligned}$$
(1)
where
\(a_p \in \mathbb {Z}[2 \sqrt{-1}]\) is the corresponding Hecke eigenvalue of
u and
\(\overline{a_p}\) is the image of
\(a_p\) under complex conjugation. In particular, the determinant of this representation is the cube of the
\(\ell \)-adic cyclotomic character, and the value of
\(a_p\) can be recovered as the trace of the Frobenius.
The purpose of this article is thus to explain how we have almost certainly succeeded to compute explicitly the mod 3 representation
$$\begin{aligned} \rho _{u,3} : {\text {Gal}}\Big ({\overline{\mathbb {Q}}} / \mathbb {Q}\Big ) \longrightarrow {\text {GL}}_3\big (\mathbb {F}_9\big ) \end{aligned}$$
found up to twist in
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}}, \mathbb {Z}/3 \mathbb {Z})\). The code used for this computation is available in the GitHub repository [
13].
Here and in the rest of the article, by
computing explicitly a mod \(\ell \) Galois representation, we mean computing a polynomial whose roots are permuted by Galois in the same way as the vectors in the space of the representation (so that its splitting field agrees with the field cut out by the representation), as well as extra data making it possible to determine for any unramified prime
\(p \in \mathbb {N}\) the image of the Frobenius at
p up to conjugacy. In our case, this implies in particular that our computations allow us to determine mod 3 the eigenvalue
\(a_p\) of
u for all
\(p \not \in \{2,3 \}\). For instance, we can compute in four seconds that if
\(p=10^{1000}+453\) is the first prime after
\(10^{1000}\), then
\(a_p \equiv -1 \bmod 3 \mathbb {Z}[\sqrt{-1}]\). As a bonus, we obtain a polynomial whose Galois group over
\(\mathbb {Q}\), which is by construction the image of
\(\rho _{u,3}\), turns out to be a particularly interesting subgroup of
\({\text {GL}}_3(\mathbb {F}_9)\) (cf. Sect.
5).
The central idea making this computation possible, which we owe to J.-M. Couveignes, is a method to construct by
dévissage a curve
C (depending on
\(\ell \)) such that
\(\rho _{u,\ell }\) is contained (up to semisimplification) in the
\(\ell \)-torsion of the Jacobian of
C. The point is that once we have obtained an explicit model for
C, we are able (at least in theory) to compute the representation, thanks to our technique presented in [
16].
We will sketch this
dévissage construction in Sect.
2, after which we will apply it to
\(\rho _{u,3}\) in Sect.
3. Next, we will explain in Sect.
4 how we used the curve thus obtained to compute a polynomial corresponding to
\(\rho _{u,3}\), and we will then use this polynomial to determine the image of
\(\rho _{u,3}\) in Sect.
5. Finally, we will show in Sect.
6 how to compute the image of Frobenius elements.
2 Dévissage
Suppose we are given a surface
S defined over
\(\mathbb {Q}\) as well as a prime
\(\ell \in \mathbb {N}\) such that
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\) contains a Galois-submodule affording a mod
\(\ell \) Galois representation
\(\rho \) that we wish to compute. We are going to show how to construct a curve
C whose Jacobian will also contain
\(\rho \) (up to twist) in its
\(\ell \)-torsion. Of course, this curve
C will depend on
\(\ell \). This construction is an example of the
dévissage method summarized in [
23, 3.4].
Let \(\mu _\ell \) be the Galois module formed by the \(\ell \)th roots of unity. Given a Galois module M and an integer \(n \in \mathbb {Z}\), we will denote by M(n) the twist of M by the nth power of the mod \(\ell \) cyclotomic character. Thus \(\mu _\ell = (\mathbb {Z}/\ell \mathbb {Z})(1)\) for instance. We will sometimes write \(\mu _\ell ^\vee \) for \((\mathbb {Z}/\ell \mathbb {Z})(-1)\). Finally, we will also denote by \(\mu _\ell \) and \((\mathbb {Z}/\ell \mathbb {Z})(n)\) the corresponding constant sheaves on the étale site of a variety.
Recall [
17, 14.2] that when
X is a complete, connected and non-singular curve over
\({\overline{\mathbb {Q}}}\), we have canonical (and hence Galois-equivariant) identifications
$$\begin{aligned} {{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^r(X,\mu _\ell ) \simeq \left\{ \begin{array}{ll} \mu _\ell &{} \text { if } r=0, \\ J[\ell ] &{} \text { if } r=1, \\ \mathbb {Z}/\ell \mathbb {Z}&{} \text { if } r=2, \\ 0 &{} \text { if } r \geqslant 3,\end{array} \right. \end{aligned}$$
where
\(J={\text {Jac}}(X)\) is the Jacobian of
X. By [
17, 14.4], twisting by
\(\mu _\ell \) yields
$$\begin{aligned} {{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^r\big (X,(\mathbb {Z}/\ell \mathbb {Z})(n)\big ) \simeq \left\{ \begin{array}{ll} (\mathbb {Z}/\ell \mathbb {Z})(n) &{} \text { if } r=0, \\ J[\ell ](n-1) &{} \text { if } r=1, \\ (\mathbb {Z}/\ell \mathbb {Z})(n-1) &{} \text { if } r=2, \\ 0 &{} \text { if } r \geqslant 3 \end{array} \right. \end{aligned}$$
(2)
for all
\(n \in \mathbb {Z}\).
Let
U be
X with finitely many points deleted, which is still a non-singular connected curve, but is affine instead of complete. Then, we have
$$\begin{aligned} {{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^r\big (U,(\mathbb {Z}/\ell \mathbb {Z})(n) \big ) \simeq \left\{ \begin{array}{ll} (\mathbb {Z}/\ell \mathbb {Z})(n), &{} \text { if } r=0, \\ J[\ell ](n-1) \text { extended by copies of } (\mathbb {Z}/\ell \mathbb {Z})(n-1) &{} \text { if } r=1, \\ 0 &{} \text { if } r \geqslant 2, \end{array} \right. \end{aligned}$$
(3)
for all
\(n \in \mathbb {Z}\), where the first case is obvious, and the last two follow respectively from corollary 16.2 and proposition 14.12 of [
17].
Suppose now that we have a proper regular surface S over \(\mathbb {Q}\), equipped with a proper dominant morphism \(\pi : S \longrightarrow B\) to a non-singular complete curve B, with S, B, and \(\pi \) defined over \(\mathbb {Q}\).
Let
\(Z \subset B\) be a Galois-stable, nonempty
2 finite subset containing the image of the bad fibres of
\(\pi \), and let
\(Y = \pi ^{-1}(Z) \subset S\). Define
\(B'=B\setminus Z\), and
\(S' = S \setminus Y\), so that
$$\begin{aligned} \text {the fibres of the induced map }\pi : S' \longrightarrow B'\text { are smooth proper curves.} \end{aligned}$$
(4)
The representability of the relative Picard functor [
19, 9.4.4] thus guarantees the existence of a cover
\(\psi : C' \longrightarrow B'\) whose fibre at any
\(b \in B'\) is
\(C'_b = {\text {Jac}}(S_b)[\ell ]\), where
\(S_b = S' \times _{B'} b\) is the fibre of
\(\pi \) at
b.
The closed subscheme
Y of
S is made up of curves, possibly with multiplicities, and intersecting in some way. Define
\(Y'\) to be the scheme obtained from
Y by first passing to the reduced scheme structure, and then deleting the singular points. Thus
\(Y'\) is a disjoint union of smooth curves which are defined over
\(\mathbb {Q}\). Its geometrically irreducible components are therefore permuted by Galois; let
$$\begin{aligned} \eta = \prod _{\text {Components of }Y'} {\mathbb {F}_\ell }\end{aligned}$$
be the corresponding mod
\(\ell \) permutation representation, and denote by
\(\eta (-1) = \eta \otimes \mu _\ell ^\vee \) its twist by the inverse of the mod
\(\ell \) cyclotomic character.
With this notation, we can prove that the “interesting” Galois representations which lie in \({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\) are also afforded in \({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^1(C'_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\):
The curve
\(C'\) constructed in Theorem
7 will not, in general, be connected, because of the zero section
\(0 \in {\text {Jac}}(S_b)[\ell ] = C'_b\). However, we can modify the definition of
\(C'\) so that
$$\begin{aligned} C'_b = {\text {Jac}}(S_b)[\ell ] \setminus \{0 \}. \end{aligned}$$
The curve thus redefined has now a good chance of being geometrically connected and will contain
3 \(\rho \) in its
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^1\). Assuming that
\(C'\) is indeed connected, let
C be the smooth proper model of
\(C'\) over
\(\mathbb {Q}\); as
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^1(C'_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\) is an extension of
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^1(C_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\) by copies of
\(\mu _\ell ^\vee \) according to (
3), we conclude by (
2) that the twist of
\(\rho \) by a power of the cyclotomic character will be contained in
\({\text {Jac}}(C)[\ell ]\) up to semi-simplification.
This leads to the following plan of attack to compute
\(\rho \subset {{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^{2} ({S}_{{\overline{\mathbb {Q}}}}, \mathbb {Z}/\ell \mathbb {Z})\):
1.
Fix a proper dominant morphism \(\pi \) from S to a curve B,
2.
Compute the Galois representations afforded by the \(\ell \)-torsion of the Jacobian of the fibre \(S_b\) of \(\pi \) for various \(b \in B\),
3.
Interpolate to glue these data into an explicit model of the cover \(C \longrightarrow B\),
4.
Catch a twist of \(\rho \) in the \(\ell \)-torsion of the Jacobian of C.
Let us comment on these steps by increasing order of difficulty.
-
The first step requires choosing a curve B and a morphism \(\pi : S \longrightarrow B\). While for some particular surfaces S, there may be a natural choice, for generic S, one may simply take \(B=\mathbb {P}^1\), and choose a “simple” morphism \(\pi \) so that its fibres have reasonably low genus. For example, if S is embedded in some space, we may take \(\pi \) to be one of the coordinates.
-
The fourth step requires one to be able to compute explicitly the representations appearing in the
\(\ell \)-torsion of the Jacobian of any smooth curve over
\(\mathbb {Q}\), which we can do thanks to the method presented in [
16]; in fact, the present article is the reason why we invented this method in the first place. The output of the algorithm described in [
16] is a polynomial in
\(\mathbb {Q}[x]\) whose roots in
\({\overline{\mathbb {Q}}}\) are permuted by Galois in the same way as the
\(\ell \)-torsion points of this Jacobian.
-
In all generality, the second and third steps would require generalizing this algorithm [
16] to
families of curves, that is to say to curves defined over the function field
\(\mathbb {Q}(B)\); the output would then be a polynomial in
\(\mathbb {Q}(B)[x]\), which would define
C as a cover of
B. The author believes that this generalization is possible and is currently working on the case of curves defined over the rational function field
\(\mathbb {Q}(t)\), which corresponds to
\(B=\mathbb {P}^1\). Fortunately, for the particular example that we have in mind in this article, the fibres
\(S_b\) are elliptic curves, so this generalization is not needed, and indeed the method presented in this article applies directly to any elliptic surface.
3 Computation of a Nice Model of C
We now apply the method presented in the previous section to the case of the representation
\(\rho _{u,3}\) introduced in Sect.
1. According to [
5, 3.10], for all
\(\ell \), the mod
\(\ell \) representation
\(\rho _{u,\ell } \otimes \left( \frac{-2}{\cdot }\right) \) is contained in
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\), where
S is the minimal regular model of the projective closure of the surface over
\(\mathbb {Q}\) defined by the equation
$$\begin{aligned} z^2=xy\big (x^2-1\big )\big (y^2-1\big )\big (x^2-y^2+2xy\big ). \end{aligned}$$
(8)
The automorphism
\(\phi _S\) mentioned in Sect.
1 is that induced by
\((x, y, z) \mapsto (y, -x, z)\). It has order 4, and yields a
\(\mathbb {F}_\ell (\sqrt{-1})\)-structure on the piece of
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}},\mathbb {Z}/\ell \mathbb {Z})\) containing
\(\rho _{u,\ell } \otimes \left( \frac{-2}{\cdot }\right) \) according to [
5, 3.4, 3.7].
In order to apply the dévissage method presented in the previous section to this surface, we need to choose a non-constant map \(\pi : S \longrightarrow B\), where B is a curve. We choose \(B =\mathbb {P}^1\) with coordinate \(\lambda \), and \(\pi \) the map sending (x, y, z) to \(\lambda =y/x\).
The fibres of
\(\pi \) at
\(\lambda \) are obtained by setting
\(y = \lambda x\) in (
8), which yields
$$\begin{aligned} \left( \frac{z}{x^2} \right) ^2 = \lambda \big (1-\lambda ^2+2\lambda \big )\big (x^2-1\big )\big (\lambda ^2 x^2-1\big ). \end{aligned}$$
The right-hand side is a quartic in
x, which admits the rational root
\(x=1\) (among others), so these fibres are elliptic curves. We turn this quartic into a cubic by substituting
\(1/x+1\) for
x, so as to send this rational root to infinity. After that, we substitute
\(\frac{x/2+\lambda ^2}{1-\lambda ^2}\) for
x, which simplifies this cubic into
$$\begin{aligned} \left( \frac{2(\lambda ^2-1)}{(x+2\lambda ^2)^2} \right) ^2 \lambda (\lambda ^2-2\lambda -1)(x-2\lambda )(x+2\lambda )(x+\lambda ^2+1). \end{aligned}$$
We deduce that the fibres of
\(\pi \) are the elliptic curves
$$\begin{aligned} E_\lambda : y^2=\lambda (\lambda ^2-2\lambda -1)(x-2\lambda )(x+2\lambda )(x+\lambda ^2+1), \end{aligned}$$
(9)
which define an elliptic curve
E over
\(\mathbb {Q}(\lambda )\) whose locus of bad fibres and
j-invariant are, respectively,
$$\begin{aligned} Z =\{0,\pm 1,1\pm \sqrt{2},\infty \} \subset B = \mathbb {P}^1_\lambda , \qquad j=2^4 \frac{(\lambda ^4+14\lambda ^2+1)^3}{\lambda ^2(\lambda ^2-1)^4}. \end{aligned}$$
The
\(\ell \)-division polynomial
\(\psi _{\ell ,\lambda }(x)\) of
\(E_\lambda \) is easily computed thanks to
Pari/GP
[
20]. By definition, for each
\(\lambda \), the Galois action on the roots of
\(\psi _{\ell ,\lambda }(x)\) describes the Galois action on the
x-coordinates of the points of
\(E_\lambda [\ell ]\). We then compute
\(R_{\ell ,\lambda }(y)\), the resultant in
x of
\(\psi _{\ell ,\lambda }(x)\) and of the Weierstrass Eq. (
9) of
\(E_\lambda \), which yields a polynomial describing the Galois action on the
y-coordinates of
\(E_\lambda [\ell ]\). For
\(\ell =3\), the
y-coordinate happens to be injective on
\(E_\lambda [\ell ]\) for generic
\(\lambda \); indeed,
\(R_{3,\lambda }(y)\) is squarefree for
\(\lambda =2\).
We have thus computed the mod 3 Galois representation afforded by the Jacobian of the fibre of
\(\pi \) in terms of
\(\lambda \). Substituting
x for
\(\lambda \), we obtain the following rather ugly plane model for
C:
$$\begin{aligned}&0=R_{3,x}(y) \\&\quad =-256x^{56} + 6144x^{55} - 62464x^{54} + 333824x^{53} - 859648x^{52} - 120832x^{51} \\&\qquad - 16046080x^{49} - 9891072x^{48} + 90136576x^{47} - 73076736x^{46} - 237805568x^{45} \\&\qquad + 420485120x^{44} + 341843968x^{43} - 1165840384x^{42}- 192667648x^{41} + 2178936320x^{40} \\&\quad \quad - 238563328x^{39}- 3063240704x^{38} + 639488000x^{37}+ 3412593664x^{36} - 639488000x^{35} \\&\quad \quad - 3063240704x^{34} + 238563328x^{33} + 2178936320x^{32} + 192667648x^{31}- 1165840384x^{30} \\&\quad \quad - 341843968x^{29} + (-288y^{4} + 420485120)x^{28} + (3456y^{4} + 237805568)x^{27} \\&\quad \quad + (-14400y^{4} - 73076736)x^{26} + (14976y^{4} - 90136576)x^{25} + (56160y^{4} - 9891072)x^{24} \\&\quad \quad + (-142848y^{4} + 16046080)x^{23} + (-52992y^{4} + 7252992)x^{22} + (400896y^{4} + 120832)x^{21} \\&\quad \quad + (-55872y^{4} - 859648)x^{20} + (-624384y^{4} - 333824)x^{19} + (134784y^{4} - 62464)x^{18}\\&\qquad + (624384y^{4} - 6144)x^{17}+ (-55872y^{4} - 256)x^{16} + (16y^{6} - 400896y^{4})x^{15} \\&\quad \quad + (-96y^{6} - 52992y^{4})x^{14} + (-384y^{6} + 142848y^{4})x^{13} + (3232y^{6} + 56160y^{4})x^{12} \\&\quad \quad + (-5424y^{6} - 14976y^{4})x^{11} + (960y^{6} - 14400y^{4})x^{10} - 3456y^{4}x^{9} + (960y^{6} - 288y^{4})x^{8} \\&\quad \quad + 5424y^{6}x^7 + 3232y^6x^6 + 384y^6x^5 - 96y^6x^4 - 16y^6x^3 + 27y^8. \end{aligned}$$
A
Magma
[
11] session still manages to reveal in a few seconds that
C is geometrically integral and has (geometric) genus
\(g=7\). This is good news, as our method [
16] probably cannot reasonably cope with genera beyond 20 or 30.
Remark 11
We can easily do the same computation for other values of
\(\ell \) and thus get plane models of curves
C that contain a twist of
\(\rho _{u,\ell }\) in their Jacobian. However, already for
\(\ell =5\), the model of
C that we get is so terrible that
Magma
[
11] is unable to determine its genus (the computation was interrupted after 5 days, because it was using more than 400 GB of RAM).
We can still compute this genus, by exploiting the fact that
\(\pi : S \longrightarrow B\) is an elliptic fibration. Indeed, since
\(B = \mathbb {P}^1_\lambda \) has genus 0, Riemann–Hurwitz tells us that if
C is connected, then its genus is
$$\begin{aligned} g = 1-d+\frac{1}{2} \sum _{c \in C} (e_{c}-1), \end{aligned}$$
where
\(d=\ell ^2-1\) is the degree of the projection
\(\psi : C \longrightarrow B\) induced by
\(\pi \), and the
\(e_c\) are its ramification indices.
Rewrite
$$\begin{aligned} \sum _{c \in C} (e_{c}-1) = \sum _{\lambda \in B} \sum _{\psi (c) = \lambda } (e_{c}-1), \end{aligned}$$
and notice that for each
\(\lambda \), we have
$$\begin{aligned} \sum _{\psi (c) = \lambda } (e_{c}-1) = \sum _{\psi (c) = \lambda } e_c - \sum _{\psi (c) = \lambda } 1 = d - \#\psi ^{-1}(\lambda ). \end{aligned}$$
Besides, the ramification of
\(\psi \) can only come from the bad fibres of
\(\pi \), so this expression is 0 for
\(\lambda \not \in Z\).
Our surface
S is the minimal proper regular model of
E/
B, so we can analyse its bad fibres thanks to Tate’s algorithm. It reveals that at
\(\lambda =0\) and
\(\infty \), the special fibre is of Kodaira type
\(\text {I}_2^*\), which, according to Table 6 of [
1, V.10], implies that the monodromy around
\(\lambda \) acts on the homology of the fibre of
\(\pi \) by
\(T = - \left[ {\begin{matrix} 1 &{} 2 \\ 0 &{} 1 \end{matrix}} \right] \). If
\(\ell \) is an odd prime, this means that
\(\# \psi ^{-1}(\lambda )\), which is the number of orbits of
T acting on
\({\mathbb {F}_\ell }^2 \setminus \{0 \}\), is
\(\frac{1}{2\ell } \big ( 1 (\ell ^2-1) + (\ell -1)(\ell -1) \big ) = 2 \ell -2\) by Burnside’s formula. Similarly, at
\(\lambda =\pm 1\), the special fibre is of type
\(\text {I}_4\), whence
\(T= \left[ {\begin{matrix} 1 &{} 4 \\ 0 &{} 1 \end{matrix}} \right] \) and
\(\#\psi ^{-1}(\lambda )=2\ell -2\), whereas at
\(\lambda =1\pm \sqrt{2}\), the special fibre is of type
\(\text {I}_0^*\), whence
\(T=- \left[ {\begin{matrix} 1 &{} 0 \\ 0 &{} 1 \end{matrix}} \right] \) and
\(\#\psi ^{-1}(\lambda )=\frac{\ell ^2-1}{2}\).
As a result, we find that if
\(\ell \) is an odd prime and if
C is connected, then its genus is
$$\begin{aligned} g = \frac{3}{2} \ell ^2-3\ell +\frac{5}{2} = 1 + \frac{3}{2} (\ell -1)^2. \end{aligned}$$
In particular, we recover
\(g=7\) for
\(\ell =3\), and we find that
\(g=25\) for
\(\ell =5\) and that
\(g=55\) for
\(\ell =7\). This means that our method [
16] could probably manage to compute the mod 5 representation
\(\rho _{u,5}\) if we could find a decent enough model for
C for
\(\ell =5\) and if we were patient enough, whereas
\(\ell \geqslant 7\) seems out of our reach.
Let us get back to the case
\(\ell =3\) and to our curve
C of genus 7. The model that we have just obtained has degree 56, and therefore arithmetic genus 1485. We do not want to work with such a badly singular model, so we attempt to eliminate the worst of the singularities by having
Magma
[
11] determine the canonical image of
C in
\(\mathbb {P}^{7-1}\) and project it on a plane. This yields the already more appealing model
$$\begin{aligned}&(351y^5 - 35100y^4 + 1285362y^3 - 20961720y^2 + 148459311y - 374594220)x^4 \\&\quad + (-8y^8 + 864y^7 - 34064y^6 + 519536y^5 + 110400y^4 - 23713936y^3 - 2298974896y^2\\&\quad + 48122966496y - 247835237752)x^2 + (208y^9 - 26624y^8 + 1124032y^7 - 779584y^6 \\&\quad - 1602165344y^5 + 64797194176y^4 - 1296163023168y^3 + 14839155321536y^2 \\&\quad - 93670614701872y + 252643199407040) = 0. \end{aligned}$$
We check that this model still has genus 7, which by Riemann–Hurwitz ensures that it is birational to the previous one, as opposed to being a quotient of it.
By projecting the canonical image onto another plane, we also find that
C is a cover of degree 2 (simply given by
\(x \mapsto x^2\) on our new model) of a curve
A of genus 1, which turns out to be an elliptic curve isomorphic to the modular curve
\(X_0(24)\). We learn from the
LMFDB
[
10] that
\(A(\mathbb {Q}) \simeq \mathbb {Z}/4\mathbb {Z}\times \mathbb {Z}/2\mathbb {Z}\) has rank 0; pulling back these 8 points to
C yields points at infinity and the points whose coordinates on this new model are
$$\begin{aligned} ( \pm 13\sqrt{2}, 7), \quad ( 0, 20), \quad ( \pm 13\sqrt{2}, 33). \end{aligned}$$
Our strategy to further simplify our model for
C is to perform a change of coordinates so as to make these points nicer, in the hope that the resulting model of
C will also be nicer. We thus begin by replacing
x with 13
x; then, observing that 7, 20, 33 is an arithmetic progression, we replace
y with
\(20+13y\). After a final rescaling of
x by 3, we obtain the quite satisfying model
$$\begin{aligned}&(3y^5 - 6y^3 + 3y)x^4 + (2y^8 - 8y^7 + 4y^6 + 12y^5 + 12y^3 - 4y^2 - 8y - 2)x^2\nonumber \\&+ (9y^9 - 36y^8 - 36y^7 + 36y^6 + 18y^5 - 36y^4 - 36y^3 + 36y^2 + 9y) = 0. \end{aligned}$$
(10)
The arguments of the previous section show that the 3-torsion of the Jacobian
J of (
10) contains the representation contained in
\({{\text {H}}}_{\acute{\mathrm{e}}\mathrm{t}}^2(S_{{\overline{\mathbb {Q}}}},\mathbb {Z}/3\mathbb {Z})\) up to twist by the mod 3 cyclotomic character
\(\chi _3\), which agrees with the quadratic character
\(\left( \frac{-3}{\cdot }\right) \). Since this representation was already the twist of the representation
\(\rho _{u,3}\) we are interested in by
\(\left( \frac{-2}{\cdot }\right) \), this is just an extra twist.
In order to confirm this, we can check that the characteristic polynomials match at a few primes
p. Indeed, let
\(\rho '_{u,3}\) be the
\({\text {GL}}_6(\mathbb {F}_3)\)-valued representation obtained by restricting the scalars from the
\({\text {GL}}_3(\mathbb {F}_9)\)-valued representation
\(\rho _{u,3}\). On the one hand, we know that for
\(p \ne 2,3\), the characteristic polynomial of
\(\rho '_{u,3}({\text {Frob}}_p)\) is the norm from
\(\mathbb {F}_9\) to
\(\mathbb {F}_3\) of the reduction mod 3 of the polynomial
\(\chi _p(x)\) given in (
1), namely
$$\begin{aligned} \chi '_p(x)= & {} \chi _p(x) \overline{\chi _p(x)}\\= & {} (x^3-a_p x^2+p \overline{a_p} x-p^3)(x^3-\overline{a_p} x^2+p a_p x - p^3) \in \mathbb {F}_3[x]; \end{aligned}$$
and furthermore [
5, 2.5] provides us with the values of the Hecke eigenvalues
\(a_p\) of
u for
\(p \le 67\). On the other hand, we can determine the characteristic polynomial
\(L_p(x) \in \mathbb {Z}[x]\) of the Frobenius at
p acting on
J (which is the local factor at
p of its L function) by counting the
\(\mathbb {F}_{p^a}\)-points of
C for
\(a \le g\), where
\(g = 7\) is the genus of
C; in practice,
Magma
[
11] can do this in reasonable time for
\(p \le 19\). We then check that for
\(5 \le p \le 19\),
\(L_p(x) \bmod 3\) is divisible by the characteristic polynomial
\(\chi '_p\big ( ( \frac{6}{p} ) x\big )\) of the image of
\({\text {Frob}}_p\) by
\(\rho '_{u,3} \otimes \left( \frac{6}{\cdot }\right) \). This corroborates the fact that
J[3] contains
\(\rho '_{u,3} \otimes \left( \frac{6}{\cdot }\right) \).
4 Computation of the Representation in J
Now that we have obtained a reasonable model for
C, we are going to use our method [
16] to compute the representation
\(\rho '_{u,3} \otimes \left( \frac{6}{\cdot }\right) \) afforded by a Galois submodule
T of the 3-torsion of the Jacobian
J of
C. This method requires us to pick a prime
\(p\ne 3\) of good reduction for which the local L factor
$$\begin{aligned} L_p(x) = \det (x-{\text {Frob}}_p {\vert J}) \in \mathbb {Z}[x] \end{aligned}$$
and the characteristic polynomial
$$\begin{aligned} \chi '_p\bigg ( ({\frac{6}{p}}) x \bigg ) = \det (x - {\text {Frob}}_p \vert T) \in \mathbb {F}_3[x] \end{aligned}$$
are known, and such that
\(\chi '_p\bigg ( ({\frac{6}{p}}) x \bigg )\) is coprime to its cofactor
$$\begin{aligned} \psi _p(x)=L_p(x) / \chi '_p\bigg ( ({\frac{6}{p}}) x \bigg ) \in \mathbb {F}_3[x]. \end{aligned}$$
We choose
\(p=11\), which satisfies these assumptions. Then we have
$$\begin{aligned} \chi '_p\bigg ( ({\frac{6}{p}}) x \bigg ) = \sum _{k=0}^6 x^k \in \mathbb {F}_3[x], \end{aligned}$$
(11)
which is irreducible; this fact will be useful in two occasions below.
In this setting, our method [
16] may be summarized as follows:
1.
Find
\(a \in \mathbb {N}\) such that the reduction mod
\(p=11\) of the points of
T are defined over the extension
\(\mathbb {F}_{p^a}\) of
\(\mathbb {F}_{p}\) of degree
a, and such that
\(\mathbb {F}_{p^a}\) contains the
\(\ell \)th roots of 1. By (
11) and proposition 6.1 of [
16], we see that we can take
\(a=14\).
2.
Compute \(\#J(\mathbb {F}_{p^a}) = {\text {Res}}(L_p(x),x^a-1)\), and factor it as \(\ell ^v M\), where \(M \in \mathbb {N}\) is coprime to \(\ell =3\).
3.
Take a random point \(x \in J(\mathbb {F}_{p^a})\), multiply it by M, and then repeatedly by \(\ell \) until it has order \(\ell \), and then apply \(\psi _p({\text {Frob}}_p)\) to it so as to project it to T. Repeat this process and use the action of \({\text {Frob}}_p\) until we get an \({\mathbb {F}_\ell }\)-basis of T.
4.
Since \({\text {Frob}}_p\) acts cyclically on T, we can find a point in T which generates T as an \({\mathbb {F}_\ell }[{\text {Frob}}_p]\)-module. Lift this point p-adically to the desired p-adic accuracy, and then use the action of \({\text {Frob}}_p\) and the group law of T to get all the points of T at this p-adic accuracy.
5.
Construct a Galois-equivariant rational map
\(\alpha : J \dashrightarrow \mathbb {A}^1\) as explained in [
16, 2.2.3], and evaluate it at the points of
T.
6.
Form the polynomial
$$\begin{aligned} F(x) = \prod _{\begin{array}{c} t \in T \\ t \ne 0 \end{array}} \big ( x - \alpha (t) \big ), \end{aligned}$$
and identify its coefficients as rational numbers.
As explained in [
16], in order to perform these computations, we need to fix an effective divisor
\(D_0\) on
C of degree
\(d_0 \ge 2g+1=15\) for which we can explicitly compute the corresponding Riemann–Roch space. In order to construct the evaluation map
\(\alpha \), we also need to pick two non-equivalent effective divisors
\(E_1\),
\(E_2\) of degree
\(d_0-g\) such that we can also compute the Riemann–Roch spaces attached to
\(2D_0-E_1\) and
\(2D_0-E_2\). (The notations are the same as in [
16, 2.2.3].)
The map \(\alpha \) is injective on T for most choices of \(D_0\), \(E_1\), and \(E_2\). Assuming that this is the case, we therefore obtain a polynomial \(F(x) \in \mathbb {Q}[x]\) of degree \(\#T-1 = 3^6-1=728\) whose roots are permuted under Galois in the same way as the nonzero points of T.
We should strive to choose
\(D_0\),
\(E_1\), and
\(E_2\) so that these three Riemann–Roch spaces are as “nice” as possible, so the values of
\(\alpha \) will have smaller arithmetic height, so that the
p-adic accuracy required to identify the coefficients of
F(
x) will be lower and the computation will be more efficient. After a bit of experimentation with
Magma
[
11], we choose
$$\begin{aligned} d_0=16, \quad D_0 = 9P+7Q, \quad E_1 = 6P+3Q, \quad E_2=5P+4Q, \end{aligned}$$
where
\(P,Q \in C(\mathbb {Q})\) are points such that, in the model (
10), the divisors of poles of
x and
y are, respectively,
$$\begin{aligned} (x)_\infty =3P+Q+R+M_1+M_2 \text { and } (y)_\infty =2P+2Q \end{aligned}$$
where
R has degree 1 and
\(M_1\) and
\(M_2\) both have degree 2.
After about 10 hours of CPU time, but only less than 30 minutes of real time thanks to parallelization, we obtain a polynomial F(x) whose coefficients are rational numbers which all have (up to some small powers of 2 and 3) the same denominator, a 186-digit integer. The p-adic precision used was \(O(11^{1024})\).
The discriminant of F(x) factors into a large power of 2 times a large power of 3 times a large square, which already indicates that its coefficients have probably been correctly identified from their p-adic approximations. The fact that this discriminant is nonzero also shows that as expected, the map \(\alpha \) that we have constructed is injective on T minus the origin, so that the roots of F(x) represent faithfully the Galois action on T minus the origin, as desired.
5 The Image of \(\rho _{u,3}\)
We find that the polynomial F(x) computed in the previous section has three factors over \(\mathbb {Q}\), of respective degrees 224, 252, and 252. This shows that the image of our representation does not act transitively on \(\mathbb {F}_3^6\) minus the origin.
However, the degrees of these factors do not clearly indicate which subgroup of
\({\text {GL}}_6(\mathbb {F}_3)\) we are dealing with. In order to figure this out, we would like to determine the Galois groups of these factors; however, their degrees and heights are far too large for standard Galois group computation algorithms. We would therefore like to reduce these factors (in the sense of Remark
12), but they are actually too large even for this!
As in [
14, Sect. 2], we circumvent this problem by considering the
projective version of our representation, which has values in
\({\text {PGL}}_3(\mathbb {F}_9)\). We can obtain a polynomial corresponding to this representation by gathering the 11-adic roots
\(\alpha (t)\) of
F(
x) along the
\(\mathbb {F}_9\)-vector lines of
T in a symmetric way (e.g. by summing or multiplying them). However, this requires us to understand the
\(\mathbb {F}_9\)-structure of
T, whereas we only know the
\(\mathbb {F}_3\)-structure so far.
The most direct way to determine this
\(\mathbb {F}_9\)-structure consists in using the action induced by the automorphism
\(\phi _J\) of order 4 of
J, since it corresponds to multiplication by
\(i \in \mathbb {F}_9 = \mathbb {F}_3(i)\) on
\(T \subset J[3]\); indeed, as explained in Remark
19, it is not difficult to compute this action explicitly. However, there is also another method. Indeed, let
\(\Phi \in {\text {GL}}(T)\) be the action of
\({\text {Frob}}_{11}\) on
T. We know that
\(\mathbb {F}_9^\times \) acts on
T by a cyclic subgroup of
\({\text {GL}}(T)\) of order 8 contained in the commutant of
\(\Phi \), but luckily,
\(\Phi \) is cyclic, so its commutant is simply
\(\mathbb {F}_3[\Phi ]\), which is a ring isomorphic to
\(\mathbb {F}_{3^6}\) since the characteristic polynomial of
\(\Phi \) is irreducible over
\(\mathbb {F}_3\). In particular, there is a unique cyclic subgroup of order 8 in
\(\mathbb {F}_3[\Phi ]^\times \), which must thus agree with the action of
\(\mathbb {F}_9^\times \).
Either way, we can thus compute as above a polynomial \(F_0(x)\) of degree \(\frac{1}{\#\mathbb {F}_9^\times } \deg F = 91\) describing the projective representation attached to \(\rho _{u,3} \otimes \left( \frac{6}{\cdot }\right) \) (which is also that attached to \(\rho _{u,3}\)).
We can also be a bit more subtle and consider all intermediate representations between the linear one and the projective one. Let us write
\(\mathbb {F}_9 = \mathbb {F}_3(i)\), where
\(i^2=-1\). Then the subgroups of
\(\mathbb {F}_9^\times \) are, in decreasing order,
$$\begin{aligned} \mathbb {F}_9^\times \ \ge \ \{\pm 1, \pm i\} \ \ge \ \{\pm 1\} \ \ge \ \{1\}. \end{aligned}$$
We can construct as above polynomials
\(F_0(x)\),
\(F_1(x)\),
\(F_2(x)\) and
\(F_3(x)=F(x)\) describing the corresponding quotients of
\(\rho _{u,3} \otimes \left( \frac{6}{\cdot }\right) \). These polynomials factor over
\(\mathbb {Q}\) as follows:
$$\begin{aligned} \begin{array}{c|c} \text { Quotient by } &{} \text { Degrees of factors } \\ \hline \mathbb {F}_9^\times &{} 28 + 63 \\ \{ \pm 1,\pm i\} &{} 56+63+63 \\ \{ \pm 1 \} &{} 112+126+126 \\ \{1\} &{} 224+252+252. \\ \end{array} \end{aligned}$$
These degrees still do not clearly indicate what the image of the representation is. Instead, the fact that we have two factors for the projective representation that become three factors afterwards is rather mysterious.
Fortunately, one of the factors of
\(F_0(x)\) has degree 28, which is small enough for
Pari/GP
[
20] to compute in less than three minutes a much simpler polynomial defining the same number field, namely
$$\begin{aligned}&x^{28} - 12x^{27} + 60x^{26} - 132x^{25} - 30x^{24} + 624x^{23} + 420x^{22} - 7704x^{21} \\&\quad + 17118x^{20} - 9504x^{19} - 14424x^{18} + 10824x^{17} + 36492x^{16} - 64992x^{15} + 19488x^{14} \\&\quad + 56064x^{13} - 89604x^{12} + 109296x^{11} - 88368x^{10} - 11472x^9 + 58488x^8 - 130176x^7 \\&\quad + 34224x^6 - 58272x^5 - 39960x^4 + 32256x^3 + 24480x^2 - 352x - 1776. \end{aligned}$$
This polynomial is good enough for
Magma
[
11] to rigorously determine its Galois group in less than a minute. This group turns out to be
\({\text {PSU}}_3(\mathbb {F}_9)\) (as we could have predicted, cf. Remark
20), which explains all the observations made above!
Indeed, first of all one checks thanks to
Pari/GP
[
20] that the field defined by the factor of degree 63 of
\(F_0(x)\) is contained in the compositum of the field defined by that of degree 28 with itself, which shows that these factors have the same splitting field. Next, since there are no nontrivial cube roots of unity in characteristic 3, the quotient
\({\text {SU}}_3(\mathbb {F}_9)\longrightarrow {\text {PSU}}_3(\mathbb {F}_9)\) is actually an isomorphism; in particular, it admits a section. This means that one twist of
\(\rho _{u,3}\) has image
\({\text {SU}}_3(\mathbb {F}_9)\) (and actually, this twist is the one by the mod 3 cyclotomic character
\(\chi _3 = \left( \frac{-3}{\cdot }\right) \) since we have seen that
\(\det \rho _{u,3} = \chi _3^3 = \chi _3\)).
Let now
H be a non-degenerate Hermitian form on the space
\(\mathbb {F}_{q^2}^n\), where
q is a prime power and
\(n \in \mathbb {N}\), and let
\(A_n\) (respectively
\(B_n\)) be the number of elements
\(t \in \mathbb {F}_{q^2}^n\) such that
\(H(t)=1\) (respectively, such that
\(H(t)=0\)). Since the norm between finite fields is surjective,
\(A_n\) is also the number of elements
\(t \in \mathbb {F}_{q^2}^n\) such that
H(
t) has prescribed value
\(y \in \mathbb {F}_q^\times \). From this fact, one easily determines a crossed recurrence relation satisfied by
\(A_n\) and
\(B_n\), from which one deduces that
$$\begin{aligned} A_n = q^{2n-1}+(-q)^{n-1}, \quad B_n = q^{2n-1} - (q-1)(-q)^{n-1}. \end{aligned}$$
For
\(n=3\) and
\(q=3\), one finds
\(A_n=252\) and
\(B_n=225\), which explains the shape
\(224+252+252\) of the factorization of
\(F_3(x)\): the first factor corresponds to the nonzero isotropic
\(t \in T\), and the other two correspond to the
t such that
\(H(t)=1\) (respectively, such that
\(H(t)=-1\)).
Similarly, the Galois group of the factor of degree 28 of \(F_0(x)\) is permutation-isomorphic to \({\text {PSU}}_3(\mathbb {F}_9)\) acting on the isotropic lines of \(\mathbb {F}_9^3\), whereas that of the factor of degree 63 corresponds to the action of \({\text {PSU}}_3(\mathbb {F}_9)\) on non-isotropic lines.
Finally, the fact that the value of
H is not well defined at a non-isotropic
t known up to scaling by
\(\mathbb {F}_9^\times \), but becomes well-defined if we know
t up to scaling by
$$\begin{aligned} \{\pm 1, \pm i \} = {\text {Ker}}{\text {Norm}} : \mathbb {F}_9^\times \rightarrow \mathbb {F}_3^\times , \end{aligned}$$
explains why the factor of degree 63 of
\(F_0(x)\) yields two factors of degree 63 of
\(F_1(x)\) instead of one of degree 126.
6 Computation of the Image of \({\text {Frob}}_p\)
Let
L be a Galois number field, given as the splitting field of an irreducible polynomial
\(f(x) \in \mathbb {Q}[x]\). In [
4], the Dokchitsers show that if the action of
\(G = {\text {Gal}}(L/\mathbb {Q})\) on the roots of
f(
x) in
L is known explicitly, then one can compute pairwise coprime resolvents
\(\Gamma _C(x) \in \mathbb {Q}[x]\) indexed by the conjugacy classes
C of
G, such that if the image of
\({\text {Frob}}_p\) in
G lies in
C, then the corresponding resolvent
\(\Gamma _C(x)\) vanishes at
\(x_p={\text {Tr}}^{A_p}_{\mathbb {F}_p} \big ( a^p h(a) \big ) \in \mathbb {F}_p\), where
\(A_p = \mathbb {F}_p[x]/f(x)\),
a is the image of
x in
\(A_p\), and
\(h(x) \in \mathbb {Z}[x]\) is a fixed parameter on which the
\(\Gamma _C(x)\) depend.
The point is that since the \(\Gamma _C(x)\) are coprime, they remain coprime mod p for almost all p, so only one of them can vanish at \(x_p\) and we can tell in which class C the image of \({\text {Frob}}_p\) lies. The finitely many p for which this is no longer true are usually quite small, and for these p we get not one but several C that may contain \({\text {Frob}}_p\); if the conjugacy class of \({\text {Frob}}_p\) is really wanted for such a p, one should recompute the resolvents with another value of the parameter h(x).
Since the quotient \({\text {SU}}_3(\mathbb {F}_9)\longrightarrow {\text {PSU}}_3(\mathbb {F}_9)\) is actually an isomorphism, and as \(\det \rho _{u,3} = \left( \frac{-3}{\cdot }\right) \) is known explicitly, for each prime p we can recover the image of \({\text {Frob}}_p\) by \(\rho _{u,3}\) from its image by the projective version of this representation. Namely, if the image of \({\text {Frob}}_p\) by the projective representation is conjugate to \(\overline{M} \in {\text {PSU}}_3(\mathbb {F}_9)\), then \(\rho _{u,3}({\text {Frob}}_p)\) is conjugate to \(\big ( \frac{-3}{p} \big ) M\) in \({\text {U}}_3(\mathbb {F}_9)\), where \(M \in {\text {SU}}_3(\mathbb {F}_9)\) is the image of \(\overline{M}\) by the inverse of this isomorphism.
We thus apply the Dokchitsers’ method to the case where f(x) is the polynomial of degree 28 displayed in the previous section. This polynomial has Galois group \({\text {PSU}}_3(\mathbb {F}_9)\), and its roots are indexed by the lines of \(\mathbb {F}_9^3\) that are isotropic with respect to a certain Hermitian form H. We can determine H from the fact that it is preserved by the action of \({\text {Frob}}_{11}\), and after a change of basis of \(\mathbb {F}_9^3\) we can assume that H is the standard Hermitian form.
The group
\({\text {PSU}}_3(\mathbb {F}_9)\) has order 6048, which is small enough that
Magma
[
11] can effortlessly decompose it explicitly into conjugacy classes, which is all we need to compute the resolvents
\(\Gamma _C(x)\).
Thanks to these resolvents, we can now determine the image of
\({\text {Frob}}_p\) by
\(\rho _{u,3}\) for almost all
p. Let us start by the primes between 5 and 67, for which the value of the Hecke eigenvalue
\(a_p \in \mathbb {Z}[i]\) is given in [
5, 2.5].
$$\begin{aligned}\begin{array}{|ccc|} p &{} \rho _{u,3}({\text {Frob}}_p) &{} a_p\; {\hbox {from}}\; [5] \\ 5 &{} 3 \text { possibilities} &{} -4i-1 \\ 7 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} 4i+1 \\ 11 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -10i-7 \\ 13 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} i + 1 \\ 0 &{} i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} 4i-1 \\ 17 &{} -\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i - 1 &{} i - 1 \\ 0 &{} i +1 &{} -i - 1 \end{matrix}} \right] &{} 7 \\ 19 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -14i+1 \\ 23 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -4i+17 \\ 29 &{} -\left[ {\begin{matrix} 0 &{} 0 &{}1 \\ 1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 0 \end{matrix}} \right] &{} -12i-9 \\ 31 &{} 3 \text { possibilities} &{} 1 \\ 37 &{} 2 \text { possibilities} &{} 28i-25 \\ 41 &{} -\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i - 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i - 1 \end{matrix}} \right] &{} -5 \\ 43 &{} +\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i - 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i - 1 \end{matrix}} \right] &{} 30i-7 \\ 47 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} -i - 1 \\ 0 &{} -i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} 40i+17 \\ 53 &{} 2 \text { possibilities} &{} -20i+23 \\ 59 &{} -\left[ {\begin{matrix} 0 &{} 0 &{} -i \\ 0 &{} -i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} 22i-39 \\ 61 &{} +\left[ {\begin{matrix} 0 &{} 0 &{} -i \\ 0 &{} -i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} 20i+63 \\ 67 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} -i + 1 \\ 0 &{} -i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -22i+65 \\ \end{array} \end{aligned}$$
With our choice our
h(
x), the resolvents
\(\Gamma _C(x)\) do not remain coprime mod
p for
\(p \in \{ 5, 31, 37,53 \}\), so for these
p we cannot determine the image of
\({\text {Frob}}_p\) without recomputing the resolvents with another choice of
h(
x). For the other
p, we can compute the conjugacy class
\(C \subset {\text {PSU}}_3(\mathbb {F}_9)\) containing
\({\text {Frob}}_p\), and we display the image of
\({\text {Frob}}_p\) by
\(\rho _{u,3}\) as
$$\begin{aligned} \left( \frac{-3}{p} \right) M \in {\text {U}}_3(\mathbb {F}_9), \end{aligned}$$
where
M is a fixed representative of its conjugacy class in
\({\text {SU}}_3(\mathbb {F}_9)\simeq {\text {PSU}}_3(\mathbb {F}_9)\) that we have arbitrarily chosen because many of its coefficients were 0.
Next, we do the same thing for the first twenty primes above \(10^{1000}\). As one would expect, the \(\Gamma _C(x)\) remain coprime mod p for such large p, so we find unambiguously the conjugacy class of \(\rho _{u,3}({\text {Frob}}_p)\). By looking at the trace, we deduce the value of \(a_p\) mod 3. The results are displayed in the table below.
The resolvents
\(\Gamma _C(x)\) are available on the author’s web page [
12] and the repository [
13].
$$\begin{aligned} \begin{array}{|ccc|} p &{} \rho _{u,3}({\text {Frob}}_p) &{} a_p \bmod 3 \mathbb {Z}[i] \\ 10^{1000}+453 &{} +\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i-1 &{} i-1 \\ 0 &{} i+1 &{} -i-1 \end{matrix}} \right] &{} -1 \\ 10^{1000}+1357 &{} -\left[ {\begin{matrix} 0 &{} 0 &{} i \\ 0 &{} i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i \\ 10^{1000}+2713 &{} -\left[ {\begin{matrix} 0 &{} 0 &{} -i \\ 0 &{} -i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i \\ 10^{1000}+4351 &{} -\left[ {\begin{matrix} 0 &{} i+1 &{} -i-1 \\ 0 &{} -i+1 &{} -i+1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i-1 \\ 10^{1000}+5733 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} -i + 1 \\ 0 &{} -i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i - 1 \\ 10^{1000}+7383 &{} +\left[ {\begin{matrix} 0 &{} 0 &{} -i \\ 0 &{} -i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i \\ 10^{1000}+10401 &{} +\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i &{} 0 \\ 0 &{} 0 &{} -i \end{matrix}} \right] &{} 1 \\ 10^{1000}+11979 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} i + 1 \\ 0 &{} i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i - 1 \\ 10^{1000}+17557 &{} -\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i - 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i - 1 \end{matrix}} \right] &{} 1 \\ 10^{1000}+21567 &{} +\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i - 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i - 1 \end{matrix}} \right] &{} -1 \\ 10^{1000}+22273 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} -i - 1 \\ 0 &{} -i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i - 1 \\ 10^{1000}+24493 &{} -\left[ {\begin{matrix} 0 &{} i+ 1 &{} -i - 1 \\ 0 &{} -i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i - 1 \\ 10^{1000}+25947 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i + 1 \\ 10^{1000}+27057 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} -i + 1 \\ 0 &{} -i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i - 1 \\ 10^{1000}+29737 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} -i + 1 \\ 0 &{} -i - 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} i + 1 \\ 10^{1000}+41599 &{} -\left[ {\begin{matrix} 1 &{} 0 &{} 0 \\ 0 &{} i &{} 0 \\ 0 &{} 0 &{} -i \end{matrix}} \right] &{} -1 \\ 10^{1000}+43789 &{} -\left[ {\begin{matrix} 0 &{} 0 &{} 1 \\ 1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 0 \end{matrix}} \right] &{} 0 \\ 10^{1000}+46227 &{} +\left[ {\begin{matrix} 0 &{} i + 1 &{} -i - 1 \\ 0 &{} -i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i + 1 \\ 10^{1000}+46339 &{} -\left[ {\begin{matrix} 0 &{} 0 &{} i \\ 0 &{} i &{} 0 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i \\ 10^{1000}+52423 &{} -\left[ {\begin{matrix} 0 &{} i + 1 &{} i - 1 \\ 0 &{} i + 1 &{} -i + 1 \\ 1 &{} 0 &{} 0 \end{matrix}} \right] &{} -i - 1 \\ \end{array} \end{aligned}$$
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.