1 Introduction

The Birch and Swinnerton-Dyer conjecture [1] has been generalised by Tate [22] to Abelian varieties of higher dimension and over general number fields.

Conjecture 1

(BSD, [6, Conj. 2.10, p. 224]). Let A / K be an Abelian variety of dimension d and algebraic rank r over a number field K of discriminant \(\Delta \). Let L(s) be its L-function, \(A^{\vee }\) its dual, R its regulator, its Tate–Shafarevich group, and \(\Omega \) the product of its real and complex periods. For each prime \(\mathfrak {p}\) of \(\mathcal {O}_K\), let \(c_{\mathfrak {p}}\) be the Tamagawa number of A at \(\mathfrak {p}\). Then is finite, L(s) admits an analytic continuation to \(\mathbb {C}\) having a zero of order r at \(s = 1\), and

In 1989, Kolyvagin [13, 14] proved the equality of the analytic and algebraic rank for modular elliptic curves over \(\mathbb {Q}\) of analytic rank at most 1. After the proof of the modularity theorem [2], this part of the conjecture is now known for all elliptic curves over \(\mathbb {Q}\) of analytic rank at most 1.

For elliptic curves with complex multiplication, more is known. In 1991, Rubin [19] proved the correctness of the p-part of BSD for elliptic curves over an imaginary quadratic field K with complex multiplication by K, analytic rank equal to 0, and p coprime to \(|\mathcal {O}_K^*|\).

Originally, the Birch and Swinnerton-Dyer conjecture was conceived based on numerical calculations with elliptic curves. In [23], the author numerically verified the conjecture for hundreds of hyperelliptic curves of genus 2 and 3 over \(\mathbb {Q}\), extending the work of Flynn, Leprévost, Schaefer, Stein, Stoll, and Wetherell [5], who numerically verified BSD for 32 modular hyperelliptic curves of genus 2 over \(\mathbb {Q}\), using modularity.

This verification consists of two parts. First, we check that the analytic rank (established numerically) and the algebraic rank are equal. Then we numerically compute all terms in the BSD formula except for (to more than 20 digits precision), and by rearranging the formula we deduce a predicted value for . This will a priori be some real number, but if the BSD conjecture is true, then it should in fact be the square of a positive integer, cf. earlier results of Poonen and Stoll [17]. So if our conjectural value of is indeed the square of a positive integer to high precision, then this provides strong numerical evidence for the conjecture.

After finishing this verification, a natural question that arose was if the numerical verification for genus 2 curves over \(\mathbb {Q}\) could provide us with examples of elliptic curves E over quadratic number fields for which BSD numerically seems to hold. The Weil restriction of E to \(\mathbb {Q}\) is an Abelian variety of dimension 2 over \(\mathbb {Q}\) and might have the chance of being the Jacobian of a genus 2 curve over \(\mathbb {Q}\). As the Jacobi locus is dense in the moduli space, one might expect this to happen very often. This was not the case. While trying many examples, all seemed to fail.

However, this Weil restriction becomes a product of two elliptic curves after base change. The product of two elliptic curves, taken with the associated product polarisation, does not lie in the Jacobi locus. The best we could hope for is the existence of another polarisation, which makes it isomorphic (as polarised Abelian variety) to the Jacobian of a curve of genus 2. This is actually only possible in a few special cases. By trying other polarisations in these special cases, we found an example of an elliptic curve over \(\mathbb {Q}(\sqrt{5})\), whose Weil restriction is isogenous to the Jacobian of a curve of genus 2 over \(\mathbb {Q}\). However, the isogeny was only defined over \(\mathbb {Q}(\root 8 \of {5},i)\). We applied some reduction steps to reduce the size of this field and arrive at the following theorem

Theorem 2

Let E over \(\mathbb {Q}\left( \root 4 \of {5}\,\right) \) be the elliptic curve given by

$$\begin{aligned} y^2 = x^3 + \root 4 \of {5} \cdot x^2 - \left( 5 + 3\sqrt{5}\right) \cdot x + \root 4 \of {5} \left( 5 + \sqrt{5}\right) . \end{aligned}$$

Let H and \(H'\) over \(\mathbb {Q}\) be the hyperelliptic curves given by \(y^2 = x^5 - x^3 + \tfrac{1}{5} \cdot x,\) and \(y^2 = x^5 - 5 \cdot x^3 + 5\cdot x,\) respectively. Then the generalised Birch and Swinnerton-Dyer conjecture holds for E over \(\mathbb {Q}\left( \root 4 \of {5}\,\right) \) if and only if it holds for the Jacobians \(\mathrm {Jac}{H}\) and \(\mathrm {Jac}{H'}\) over \(\mathbb {Q}\).

Finally, we were able to numerically verify the BSD conjecture for the aforementioned hyperelliptic curves. Note that most of the BSD-invariants of E could also be computed directly, but that the currently available methods to compute the special value of the L-function do not finish in reasonable time: this computation did not finish within 100 h of CPU time. The main reason for this is that the norm of the conductor of E, \(1\,638\,400\), is still fairly large.

We could also phrase the problem we solved as a moduli problem. For fixed N, we consider the space \(\mathcal {M}\) of quintuples \((E_1, E_2, A, \phi , \rho )\), where \(E_1\) and \(E_2\) are elliptic curves, \((A, \phi )\) is a principally polarised Abelian surface, and \(\rho :E_1 \times E_2 \rightarrow A\) is an isogeny of degree N. If \(\iota :\mathcal {M} \rightarrow \mathcal {M}\) is the involution that swaps \(E_1\) and \(E_2\), then our problem is the finding of rational points of \(\mathcal {M} / \iota \), for which \((A, \phi )\) is the Jacobian of a smooth genus 2 curve with its natural principal polarisation.

This moduli problem (or variations theorem) has been studied extensively by others. This started with Hayashida and Nishi in [7]. More recently, there is work of Rodriguez-Villegas [18], Lange [9], and Kani [10, 11]. However, as far as we are aware, none of these results gives a way to control the size of the field of definition for the isogeny \(\rho \), which is needed for our verification of the BSD conjecture.

The organisation of this article is as follows. In the first section, the final results will be shown: the equivalence of BSD for a certain elliptic curve over a quartic field and BSD for a certain pair of hyperelliptic curves of genus 2 over \(\mathbb {Q}\). In the second section, the methods used to find this example will be demonstrated. First we study which elliptic curves could have the potential to become isogenous to the Jacobian of a genus 2 curve after Weil restriction. Then we explain how the required isogenies, which are very easy to find analytically, were algebraised. Finally, we describe some steps that had to be taken to reduce the size of the number field over which these maps are defined, which was actually necessary to be able to complete the verification.

The author wishes to thank his Ph.D. supervisors David Holmes and Fabien Pazuki. He also thanks Maarten Derickx and an anonymous referee for useful discussions and comments that led to improvements of this article.

2 Verification for an elliptic curve over \(\mathbb {Q}\left( \root 4 \of {5}\,\right) \)

Throughout this section, let E be the elliptic curve over \(\mathbb {Q}\left( \root 4 \of {5}\,\right) \) given by the Weierstraß equation

$$\begin{aligned} y^2 = x^3 + \root 4 \of {5} \cdot x^2 - \left( 5 + 3\sqrt{5}\right) \cdot x + \root 4 \of {5} \left( 5 + \sqrt{5}\right) . \end{aligned}$$

Even though it has j-invariant \(282880\sqrt{5} + 632000\), it is not the base change of an elliptic curve over \(\mathbb {Q}(\sqrt{5}\,)\), which can be verified by comparing the c-invariants of both curves, as described in [21, Section III.1, pp. 42–51]. The curve E geometrically has complex multiplication by \(\mathbb {Z}[\sqrt{-5}]\).

Let H be the hyperelliptic curve of genus 2 over \(\mathbb {Q}\) given by the Weierstraß equation \(y^2 = x^5 - x^3 + \tfrac{1}{5} \cdot x.\) Let \(H' :y^2 = x^5 - 5 \cdot x^3 + 5\cdot x\) over \(\mathbb {Q}\) be the quadratic twist of H over \(\mathbb {Q}(\sqrt{5}\,)\).

The following propositions will be used to prove Theorem 2.

Proposition 3

Let \(K = \mathbb {Q}\left( \root 4 \of {5}\,\right) \) and

$$\begin{aligned}&\varphi :H_{K} \rightarrow E :(x : y : 1) \mapsto \left( \varphi _x : \varphi _y : 1 \right) , \,\text { with}\\&\varphi _x = \frac{\sqrt{5} \cdot x^2 - \root 4 \of {5} \cdot x + 1}{x}, \qquad \varphi _y = \frac{-\root 4 \of {5}^3 \cdot xy + \sqrt{5} \cdot y}{x^2}. \end{aligned}$$

Then the map \(\psi :H_{\mathbb {Q}(\sqrt{5}\,)} \rightarrow W := \mathrm {Res}^{K}_{\mathbb {Q}(\sqrt{5}\,)} E\) naturally induced by \(\varphi \) induces an isogeny \(\nu :\mathrm {Jac}H_{\mathbb {Q}(\sqrt{5}\,)} \rightarrow W\) over \(\mathbb {Q}(\sqrt{5}\,)\).

Proof

For the Weil restriction, we have

$$\begin{aligned} W_{K} = E \times E', \end{aligned}$$

where \(E'\) over K is the pull-back of E under the automorphism \(\sigma :\root 4 \of {5} \mapsto -\root 4 \of {5}\) of K over \(\mathbb {Q}(\sqrt{5}\,)\). Using this identification, after base change, the map \(\psi \) becomes

$$\begin{aligned} \psi _K : H_{K} {\mathop {\longrightarrow }\limits ^{(\varphi , \varphi ^\sigma )}}E \times E'. \end{aligned}$$

Suppose that the map \(\nu _{K}\) induced by \(\psi _{K}\) is not an isogeny. Then the image of \(\nu _{K}\) in \(E \times E'\) is an elliptic curve F over K and we have the following diagram.

As the morphisms \(\varphi \) and \(\varphi ^\sigma \) are of degree 2, and the morphism \(H_K \rightarrow F = \nu (H_K)\) is of degree at least 2, the two morphisms \(F \rightarrow E\) and \(F \rightarrow E'\) are of degree 1 and defined over K. Hence, E and \(E'\) must be isomorphic over K. Even though E and \(E'\) are isomorphic over \(\mathbb {Q}\left( i, \root 4 \of {5}\,\right) \), it is easily verified that they are not isomorphic over K. Therefore, \(\nu _K\) must be an isogeny and hence also \(\nu \) is an isogeny. \(\square \)

Remark 4

The map \(\varphi :H_K \rightarrow E\) is the quotient of \(H_K\) by the automorphism

$$\begin{aligned} H_K \rightarrow H_K :\quad x \mapsto \frac{1}{\sqrt{5} \cdot x}, \quad y \mapsto \frac{-y}{\root 4 \of {5}^3 \cdot x^3}. \end{aligned}$$

In fact, the geometric automorphism group of H is the dihedral group \(D_4\) of order 8, and the Jacobian of any curve of genus 2 over \(\mathbb {Q}\) whose automorphism group is non-Abelian, is isogenous to the square of an elliptic curve, over a finite extension of \(\mathbb {Q}\), cf. [3, Lemma 2.4, p. 42]. We remark that this result does not give control on the degree of the field extension needed to define the isogeny.

Now let us generalise the notion of quadratic twists of elliptic curves to Abelian varieties over number fields.

Definition 5

Let A be an Abelian variety over a number field K, and let \(K \subset L\) be an extension of degree 2. Then the L-quadratic twist of A over L is the twist of A corresponding to the cocycle \(\mathrm {Gal}(L/K) \rightarrow \mathrm {Aut}_L(A)\) mapping the non-trivial element \(\sigma \in \mathrm {Gal}(L/K)\) to the automorphism \(-1 :A \rightarrow A\).

Proposition 6

Let A and B be Abelian varieties over a number field K, let \(K \subset L\) be a finite extension of number fields, and let C be an Abelian variety over L. Then

  1. (1)

    BSD holds for \(A \times B\) over K if and only if it holds for A and B over K;

  2. (2)

    if A and B are isogenous over K, then BSD holds for A over K if and only if it holds for B over K;

  3. (3)

    BSD holds for the Weil restriction \(\mathrm {Res}_K^L C\) over K if and only if it holds for C over L;

  4. (4)

    if L / K is quadratic, BSD holds for the base change \(A_L\) over L if and only if it holds for A over K and its L-quadratic twist \(A'\) over K.

Proof

For (1) and (2), see [22, p. 422]. For (3), see [16]. In the case that L / K is a quadratic extension, \(\mathrm {Res}^L_K A_L\) is isogenous over K to \(A \times A'\), where \(A'/K\) is the L-quadratic twist of A, cf. [12, Theorem, p. 53]. Now (4) follows from (1), (2), and (3).\(\square \)

Proof of Theorem 2

By Proposition 6 part (4), BSD holds for \(\mathrm {Jac}H\) and \(\mathrm {Jac}H'\) over \(\mathbb {Q}\) if and only if it holds for \(\mathrm {Jac}H_{\mathbb {Q}(\sqrt{5}\,)}\) over \(\mathbb {Q}(\sqrt{5}\,)\). The latter is isogenous over \(\mathbb {Q}(\sqrt{5}\,)\) to \(\mathrm {Res}^{\mathbb {Q}(\root 4 \of {5}\,)}_{\mathbb {Q}(\sqrt{5}\,)} E\) by Proposition 3. Hence, by parts (2) and (3) of Proposition 6, BSD holds for \(\mathrm {Jac}H_{\mathbb {Q}(\sqrt{5}\,)}\) over \(\mathbb {Q}(\sqrt{5}\,)\) if and only if it holds for E over \(\mathbb {Q}\left( \root 4 \of {5}\,\right) \).\(\square \)

Using the methods in [23], we can numerically verify that the Birch and Swinnerton-Dyer conjecture holds for \(\mathrm {Jac}H\) and \(\mathrm {Jac}H'\) in the following sense. We numerically verified that the analytic and algebraic rank agree, and we computed all terms except for , with more than 20 digits precision. Then we used the conjectural formula to predict the order of . This predicted order, , appears to equal 1 in both cases. This gives strong evidence for the conjecture, especially since 1 is the square of an integer, which is to be expected according to [17] since both hyperelliptic curves have rational points.

In fact, we found the following values for the BSD-invariants:

 

\(\mathrm {Jac}H\)

\(\mathrm {Jac}H'\)

E

r

1

1

2

\(\lim _{s \rightarrow 1} (s-1)^{-r}L(s) \)

4.5418377463

4.5418377463

did not finish

R

4.7021397101

0.9404279420

1.1055058927

\(\Omega \)

1.9318174390

9.6590871950

52.155148222

\(c_{\mathfrak {p}}\)

\(c_2 = 1\), \(c_5 = 2\)

\(c_2 = 1\), \(c_5 = 2\)

\(c_{\mathfrak {p}_2} = 1\), \(c_{\mathfrak {p}_5} = 2\)

\(|J_{\mathrm {tors}}|\)

2

2

2

1.0000000000

1.0000000000

 

We included some of the BSD-invariants for E as well for completeness. Here \(\mathfrak {p}_2\) and \(\mathfrak {p}_5\) are the unique primes lying over 2 and 5, respectively, in \(\mathcal {O}_{\mathbb {Q}(\root 4 \of {5})}\).

Remark 7

The values of these invariants suggest that \(\mathrm {Jac}H\) and \(\mathrm {Jac}H'\) are isogenous; they all seem to differ by an integer multiple. Since the numerical verification succeeded for both curves, the author did not try to actually find an isogeny.

3 Methodology

In this section, we will try to answer the question how you find an elliptic curve E over a number field K, with \(L \subset K\) of degree 2, such that its Weil restriction to L is isogenous to the Jacobian of a hyperelliptic curve of genus 2 defined over \(\mathbb {Q}\) as Abelian varieties (without fixed polarisation).

3.1 Which elliptic curves?

The product of two elliptic curves over a number field, E and \(E'\), taken with the associated product polarisation, does not lie in the Jacobi locus in the moduli space of polarised Abelian varieties, cf. [24, Satz 2, p. 37]. However, in some cases, it might happen that the Abelian variety has another polarisation which makes it into the Jacobian of a smooth curve of genus 2. Heuristically, most polarised Abelian varieties lie in the Jacobi locus, but also most polarised Abelian varieties have only one polarisation, up to multiplication by an integer. So, heuristically, it is not so clear whether such E and \(E'\) actually exist. In any case, we should be looking for elliptic curves E and \(E'\), such that \(E \times E'\) contains a smooth curve of genus 2.

The work of Hayashida and Nishi [7] contains sufficient conditions on E and \(E'\) for this situation to arise. In particular, [7, Theorem, §4, p. 14] states: if E and \(E'\) have complex multiplication by the principal order of the imaginary quadratic field \(\mathbb {Q}(\sqrt{-m})\) and m is not 1, 3, 7, or 15, then \(E \times E'\) contains a smooth curve of genus 2.

3.2 Reconstruction of the hyperelliptic curve

Assume that E over K geometrically has complex multiplication by \(\mathcal {O}_{-m} = \mathbb {Z}[\alpha _m]\), where

$$\begin{aligned} \alpha _m = {\left\{ \begin{array}{ll} \sqrt{-m} &{}\text {if } m \not \equiv 3 \mod 4,\\ \tfrac{1}{2}(\sqrt{-m}+1) &{}\text {if } m \equiv 3 \mod 4. \end{array}\right. } \end{aligned}$$

Now consider the complexification \(E_\mathbb {C}\) and fix an embedding of \(\mathcal {O}_{-m}\) in \(\mathbb {C}\). Then \(E_{\mathbb {C}} \cong \mathbb {C}/ \Lambda \), where \(\Lambda \) is a lattice of the form \(\mathbb {Z}\cdot 1 + \mathbb {Z}\cdot \frac{\beta }{\gamma }\) with \(\beta \) and \(\gamma \ne 0\) generating, as \(\mathbb {Z}\)-module, an ideal of \(\mathcal {O}_{-m}\). Moreover, \(E_{\mathbb {C}}\) has a Hermitian form, whose imaginary part, without loss of generality, gives the standard antisymmetric form

$$\begin{aligned} \begin{pmatrix} 0 &{}\quad 1\\ -1 &{}\quad 0 \end{pmatrix} \end{aligned}$$

on \(\Gamma \), with respect to the basis just given.

The idea is now to consider the complex lattice \(\mathbb {Z}\left( {\begin{matrix} 1\\ 0\end{matrix}}\right) + \mathbb {Z}\left( {\begin{matrix} 0\\ 1\end{matrix}}\right) + \mathbb {Z}\left( {\begin{matrix} \alpha _m\\ 0\end{matrix}}\right) + \mathbb {Z}\left( {\begin{matrix} 0\\ \alpha _m\end{matrix}}\right) \) inside \(\mathbb {C}^2\). We try to put other antisymmetric forms on the lattice, and for each such a form, we choose a basis such that the antisymmetric form with respect to this basis is again of the standard form

$$\begin{aligned} \begin{pmatrix} 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 \\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 \\ -1 &{}\quad 0 &{}\quad 0 &{}\quad 0 \\ 0 &{}\quad -1 &{}\quad 0 &{}\quad 0\end{pmatrix}. \end{aligned}$$

After this, we apply a transformation in \(\mathrm {GL}_2(\mathbb {C})\) to obtain a basis that is of the form \(\left( {\begin{matrix} 1\\ 0\end{matrix}}\right) , \left( {\begin{matrix} 0\\ 1\end{matrix}}\right) , \left( {\begin{matrix} v_1\\ v_2\end{matrix}}\right) , \left( {\begin{matrix} w_1\\ w_2\end{matrix}}\right) \), cf. [20, §5]. If the antisymmetric form satisfies the Riemann relations, cf. [8, Lemma 1.1 & 1.2, Chapter VII, §1, p. 132], then the matrix

$$\begin{aligned} M = \begin{pmatrix} v_1 &{}\quad w_1\\ v_2 &{}\quad w_2\end{pmatrix} \end{aligned}$$

will be symmetric and its imaginary part will be positive definite, i.e. M has the potential to be the small period matrix of a hyperelliptic curve H of genus 2.

One can then evaluate the theta functions in M and use these to reconstruct the Igusa invariants of H. These Igusa invariants can only be computed numerically, up to a certain precision, but we expect them to be rational. If the precision is high enough, we can guess the rational values for the Igusa invariants. Then we can use Mestre’s algorithm [15] to construct a hyperelliptic curve with these Igusa invariants. This part of the reconstruction procedure is explained in more detail in [25].

3.3 Constructing algebraic maps

Now we are in the situation that we found an elliptic curve E over K and a hyperelliptic curve H over \(\mathbb {Q}\), such that the base change of \(E \times E\) and \(J := \mathrm {Jac}(H)\) to \(\mathbb {C}\) numerically seem to be isogenous. If such an isogeny exists, we know by GAGA that it is algebraisable and defined over a finite extension of K. The only problem that remains is to find such an algebraic isogeny explicitly.

It is possible to numerically construct an analytic isogeny \(\tau : H_{\mathbb {C}} \rightarrow J_{\mathbb {C}} \rightarrow E_{\mathbb {C}} \times E_{\mathbb {C}}\). We consider two composite maps

and try to ‘guess’ them. We assume that the map \(\tau _1 : H_{\mathbb {C}} \rightarrow E_{\mathbb {C}}\) is of the shape

$$\begin{aligned} (x,y) \mapsto \frac{\sum _{i=0}^{N} \sum _{j=0}^1 a_{i,j} x^i y^j}{\sum _{i=0}^M \sum _{j=0}^1 b_{i,j} x^i y^j} \end{aligned}$$

for certain \(a_{i,j}, b_{i,j} \in \mathbb {C}\) and \(N,M \in \mathbb {Z}_{\ge 0}\). We pick \(R := 2N+2M\) complex-valued points \(P_k := (\alpha _k, \beta _k) \in H_{\mathbb {C}}(\mathbb {C})\) for \(k = 1, \ldots , R\) and numerically compute \(Q_k := \tau _1(P_k)\). Each such point gives rise to a linear equation

$$\begin{aligned} \sum _{i=0}^N\sum _{j=0}^1 a_{i,j} \alpha _k^i\beta _k^j - Q_k \cdot \sum _{i=0}^M \sum _{j=0}^1 b_{i,j} \alpha _k^i \beta _k^j = 0 \end{aligned}$$

in the coefficients \(a_{i,j}\) and \(b_{i,j}\). Or, to phrase it in other words, the vector of coefficients \((a_{0,0}, \ldots , a_{N,1}, b_{0,0}, \ldots , b_{M,1})\) is in the kernel of the matrix

$$\begin{aligned} A = \begin{pmatrix}\alpha _1^0 \beta _1^0 &{}\cdots &{}\alpha _1^N \beta _1^1 &{}-Q_1 \alpha _1^0 \beta _1^0 &{} \cdots &{}-Q_1 \alpha _1^M \beta _1^0\\ \vdots &{}\ddots &{}\vdots &{}\vdots &{}\ddots &{}\vdots \\ \alpha _{R}^0 \beta _{R}^0 &{} \cdots &{}\alpha _{R}^N \beta _{R}^1 &{}-Q_{R}\alpha _{R}^0 \beta _{R}^0 &{}\cdots &{}-Q_{R}\alpha _{R}^M \beta _{R}^1 \end{pmatrix}. \end{aligned}$$

We can compute this kernel numerically and choose N and M such that the kernel is 1-dimensional. In this way, we can be sure to find a basis vector, which is a \(\mathbb {C}\)-multiple of a vector with algebraic entries, instead of obtaining a random \(\mathbb {C}\)-linear combination of two or more.

We compute a generator for the kernel and rescale it to make one of the non-zero entries equal to 1. Then we use LLL to guess algebraic relations for the other entries. In this way, we found a solution \((a_{0,0}, \ldots , b_{M,1}) \in \overline{\mathbb {Q}}^R\) and, if M and N were chosen appropriately, it can be verified algebraically that these functions indeed define a morphism \(\varphi {:}H_L \rightarrow E_L\), where \(L = K(a_{0,0}, \ldots , b_{M,1})\), whose base change to \(\mathbb {C}\) is \(\tau _1\).

3.4 Smaller fields

A priori, the field L might be way too big for a feasible numerical verification of BSD. For example, in our specific case, a priori the curve H and E were defined over \(\mathbb {Q}\) and \(\mathbb {Q}(\sqrt{5}\,)\), respectively, but the maps \(\varphi \) and \(\psi \) were only defined over \(L = \mathbb {Q}(\root 8 \of {5}, i)\) and \(\varphi :H \rightarrow E :(x:y:1) \mapsto (\varphi _x : \varphi _y : 1)\) was given by

$$\begin{aligned} \varphi _x= & {} \frac{\tfrac{1}{2} i \root 4 \of {5} \cdot x^4 - x^3 - \tfrac{1}{2} i \left( \tfrac{4}{5} \root 4 \of {5}^3 - \root 4 \of {5}\right) \cdot x^2 + \tfrac{1}{5}\sqrt{5} \cdot x + \tfrac{1}{10} i \root 4 \of {5}}{x^3 + \frac{2i}{5}\root 4 \of {5}^3 \cdot x^2 - \tfrac{1}{5} \sqrt{5} \cdot x },\\ \varphi _y= & {} \frac{\tfrac{1}{4} \varepsilon \root 8 \of {5}^3 \cdot x^4y + \delta \root 8 \of {5} \cdot x^3y - \tfrac{1}{4} \varepsilon \left( \tfrac{4}{5} \root 8 \of {5}^7 + \root 8 \of {5}^3 \right) \cdot x^2y - \tfrac{\delta }{5}\root 8 \of {5}^{5} \cdot xy + \tfrac{1}{20} \varepsilon \root 8 \of {5}^{3} \cdot y }{x^5 + \frac{3i}{5}\root 4 \of {5}^3 \cdot x^4 - \tfrac{3}{5} \sqrt{5} \cdot x^3 - \tfrac{1}{5}i\root 4 \of {5} \cdot x^2}, \end{aligned}$$

where \(\varepsilon = 1-i\) and \(\delta = 1+i\). Of course this still proves that \(\mathrm {Jac}{H}_L\) and \(E_L \times E_L\) are isogenous.

However, it is not feasible yet to numerically verify BSD for \(H_L\). The situation is not as good as in Proposition 6 part (4). In the isogeny decomposition of the Weil restriction \(\mathrm {Res}^L_{\mathbb {Q}(\sqrt{5})}{\mathrm {Jac}(H_L)}\), there will not only be twists of \(\mathrm {Jac}H\) occurring, but also higher dimensional factors, see also [4]. Even if we are lucky, and all these factors are Jacobians of hyperelliptic curves over \(\mathbb {Q}\), these curves will be of genus greater than 3. Numerical verification of BSD for such curves might take too much time.

In order to reduce the size of L and reduce to the case of a quadratic extension of fields, we performed some twists, for example on E by \(\varepsilon \root 8 \of {5}\) and on H by \(-1\). We then repeated the procedure in the previous paragraph and found a map of smaller degree over the smaller field \(\mathbb {Q}(\root 4 \of {5})\).

Having found the appropriate map defined over \(\mathbb {Q}(\root 4 \of {5})\), we were able to get the result in Proposition 3 in order to finally prove Theorem 2.