2.1 Kummer surfaces of product type, the Inose fibration and the Inose surface

Let $E_{1}$ and $E_{2}$ be two elliptic curves over $k$ . Later in this paper, we will be concerned with fields of definition of the Mordell–Weil groups of various elliptic fibrations. Here, we give a summary of Kummer surfaces and related constructions, being careful about the field of definition.

Let $\mathit{Km}(E_{1}\times E_{2})$ be the Kummer surface associated with the product abelian surface $E_{1}\times E_{2}$ , namely the minimal desingularization of the quotient surface $E_{1}\times E_{2}/\{\pm 1\}$ . If $E_{1}$ and $E_{2}$ are defined by the equations

an affine singular model of $\mathit{Km}(E_{1}\times E_{2})$ may be given as the hypersurface in $\mathbb{A}^{3}$ defined by the equation

Then the map $\mathit{Km}(E_{1}\times E_{2})\rightarrow \mathbb{P}^{1}$ induced by $(x_{1},x_{2},t_{2})\mapsto t_{2}$ is an elliptic fibration, which is sometimes called the Kummer pencil. This elliptic fibration has obvious geometric sections (i.e., sections defined over $\bar{k}$ ), but they are defined only over the extension $k(E_{1}[2],E_{2}[2])/k$ obtained by adjoining the coordinates of points of order $2$ .

Take a parameter $t_{6}$ such that $t_{2}=t_{6}^{3}$ , and consider (2.2) as a family of cubic curves in $\mathbb{P}^{2}$ over the field $k(t_{6})$ . Then, this family has a rational point $(1:t_{6}^{2}:0)$ (cf. Mestre [Reference MestreMe] and Kuwata–Wang [Reference Kuwata and WangKwW]). Using this point, we convert (2.2) to the Weierstrass form:

where $\unicode[STIX]{x1D6E5}_{E_{1}}$ and $\unicode[STIX]{x1D6E5}_{E_{2}}$ are the discriminants of $E_{1}$ and $E_{2}$ , respectively:

The change of coordinates between (2.2) and (2.3) are given by

Note that if we choose other models of $E_{1}$ and $E_{2}$ , we still obtain an isomorphic equation. Indeed, if we replace the equations of $E_{1}$ and $E_{2}$ by

then replacing $(X,Y,t_{6})$ by $(l^{4}X,l^{6}Y,(l/k)t_{6})$ , we recover equation (2.3).

It is easy to see that equation (2.3) is invariant under the two automorphisms of the $t_{6}$ -line:

Taking the quotient by the action of $\unicode[STIX]{x1D70E}$ , or equivalently, setting $t_{1}=t_{6}^{6}$ , we obtain an elliptic curve over the field $k(t_{1})$ , which we denote by $F_{E_{1},E_{2}}^{(1)}$ :

When $E_{1}$ and $E_{2}$ are understood, we write $F^{(n)}$ for short.

By Inose’s theorem [Reference InoseI1, Cor. 1.2], the Picard number of the K3 surface $F^{(n)}$ does not depend on  $n$ , and equals the Picard number of the Kummer surface $\mathit{Km}(E_{1}\times E_{2})$ . It is therefore at least  $18$ . These surfaces are clearly of geometric and arithmetic interest, being closely related to abelian surfaces which are the product of two elliptic curves. We now summarize what is known about the geometric Picard and Mordell–Weil groups of these elliptic K3 surfaces.

Define $R(t)$ and $S(t)$ by letting the Inose surface as in equation (2.6) be $Y^{2}=X^{3}+R(t)X+S(t)$ , and let $h=\operatorname{rank}\operatorname{Hom}(E_{1},E_{2})$ , so that $0\leqslant h\leqslant 4$ . The table below list the minimal Weierstrass equations, the configuration of singular fibers, and the Mordell–Weil rank in the “generic” case $j(E_{1})\neq j(E_{2})$ and $j(E_{i})\neq 0$ . In the other cases, which will not be relevant to this paper, we refer the reader to [Reference KuwataKw2, Th. 4.1] for the analogous data.

The Néron–Severi and transcendental lattices were further analyzed by Shioda [Reference ShiodaSh3, Reference ShiodaSh5, Reference ShiodaSh7], culminating in the following theorems, which are stated in the geometric situation $k=\mathbb{C}$ . In this case we may scale $x,y,t$ to work with a simpler equation of $F^{(n)}$ , as in [Reference InoseI1, Reference ShiodaSh3]:

where $J_{i}=j(E_{i})/1728$ .

In particular, we can compute the Mordell–Weil rank as follows:

In particular, the largest possible Mordell–Weil rank is $18$ , and we have the following.

Shioda further analyzed the surface $F^{(5)}$ for the CM elliptic curves $y^{2}=x^{3}-1$ and $y^{2}=x^{3}-15x+22$ , which are $2$ -isogenous to each other, and determined its Mordell–Weil group [Reference ShiodaSh6]. For the same pair of elliptic curves, $F^{(6)}$ was studied in [Reference Chahal, Meijer and TopCMT] and generators for its Mordell–Weil group were computed.

In this article, we will generalize these results further, to obtain explicit descriptions of the Mordell–Weil lattices of the surfaces $F^{(n)}$ . Our main results are the following.

2.2 Galois correspondence of sublattices

The Mordell–Weil lattice of the surface $F^{(6)}$ has a particularly rich structure, with sublattices induced from the Mordell–Weil lattices of several quotients which are elliptic rational or K3 surfaces. As we saw in (2.5), a dihedral group $D_{6}$ generated by $\unicode[STIX]{x1D70E}$ and $\unicode[STIX]{x1D70F}$ acts on $F^{(6)}$ . We define

Recall that $t_{n}^{n}=t_{1}=t_{6}^{6}$ . Then $s_{n,i}$ is invariant under $\unicode[STIX]{x1D70E}^{n}$ and $\unicode[STIX]{x1D70F}\unicode[STIX]{x1D70E}^{i}$ . Write $S=s_{1,0}=t_{1}+(\unicode[STIX]{x1D6E5}_{E_{2}}/\unicode[STIX]{x1D6E5}_{E_{1}})t_{1}^{-1}$ for simplicity. Then, the extension $k(t_{6})/k(S)$ is a Galois extension, and its Galois group is $D_{6}=\langle \unicode[STIX]{x1D70E},\unicode[STIX]{x1D70F}\rangle$ . Our basic idea is to consider the elliptic surface

where $A$ and $C$ are as in (2.8), and view $F^{(6)}(\bar{k}(t_{6}))$ as the Mordell–Weil group of $F_{S}$ over the extension $\bar{k}(t_{6})/\bar{k}(S)$ . In other words, we regard $F^{(6)}(\bar{k}(t_{6}))=F_{S}(\bar{k}(t_{6}))$ .

Write $M(t_{n})=F_{S}(\bar{k}(t_{n}))$ and $M(s_{n,i})=F_{S}(\bar{k}(s_{n,i}))$ . Between $k(t_{6})$ and $k(S)$ there are fourteen intermediate fields. Corresponding to these we have a relation among the Mordell–Weil groups $M(t_{n})$ and $M(s_{n,i})$ .

For later use, let us write a more general formula for $F^{(n)}$ . If $E_{1}$ and $E_{2}$ are given by

then the equation of $F_{E_{1},E_{2}}^{(n)}$ is given by

where

3.1 $F^{(1)}$ for isogenous case

The Mordell–Weil lattice of $F^{(1)}(\overline{k}(t_{1}))$ for generic $E_{1}$ and $E_{2}$ is trivial, and we have nothing to do. If $E_{1}$ and $E_{2}$ are isogenous but not isomorphic over $\overline{k}$ , we have the following interpretation of the Mordell–Weil lattice by $\operatorname{Hom}(E_{1},E_{2})$ .

For a given $\unicode[STIX]{x1D711}\in \operatorname{Hom}(E_{1},E_{2})$ , we would like to compute the section corresponding to $\unicode[STIX]{x1D711}$ explicitly. To do so, we consider the inclusion

induced by $t_{1}\mapsto t_{6}^{6}$ , and we look for a section in $F_{E_{1},E_{2}}^{(6)}(\bar{k}(t_{6}))$ .

Suppose $E_{1}$ and $E_{2}$ are given in the form of (2.1). By replacing $t_{2}$ by $t_{6}^{3}$ in the equation of Kummer surface (2.2), we regard it as a cubic curve over $k(t_{6})$ . More precisely, we consider the cubic curve in the projective plane over $k(t_{6})$ with coordinates $(x_{1}:x_{2}:z)$ defined by

Suppose $\unicode[STIX]{x1D711}$ is an isogeny of degree  $d$ . Then, $\unicode[STIX]{x1D711}$ can be written in the form

Consider the curve of degree $d$ given by $x_{2}=\unicode[STIX]{x1D711}_{x}(x_{1})$ . The intersection of these two curves

gives a divisor of degree $3d$ in $C_{t_{6}}$ . Since we have $\unicode[STIX]{x1D711}_{x}(x_{1})^{3}+c\unicode[STIX]{x1D711}_{x}(x_{1})+d=\unicode[STIX]{x1D711}_{y}(x_{1})^{2}y_{1}^{2}=\unicode[STIX]{x1D711}_{y}(x_{1})^{2}(x_{1}^{3}+ax_{1}+b),$ the first equation reduces to

To compute $P_{\unicode[STIX]{x1D711}}^{\pm }$ explicitly, we need to find a curve in the plane passing through the points in the divisor $D_{\unicode[STIX]{x1D711}}^{\pm }$ , and this is in principle just an exercise in linear algebra. We shall illustrate it using a concrete example (see Example 9.2).

3.2 $F^{(2)}$ for generic case

Suppose two elliptic curves are given by

for $\unicode[STIX]{x1D706},\unicode[STIX]{x1D707}\in \overline{k}$ . Then, $F_{E_{\unicode[STIX]{x1D706}},E_{\unicode[STIX]{x1D707}}}^{(2)}$ is given by the Weierstrass equation

Here, we wrote $t_{2}=t$ for simplicity. Note that in this case the equation of the Kummer surface $x_{2}(x_{2}-1)(x_{2}-\unicode[STIX]{x1D707})=t_{2}^{2}x_{1}(x_{1}-1)(x_{1}-\unicode[STIX]{x1D706})$ can be converted over $k(\unicode[STIX]{x1D706},\unicode[STIX]{x1D707})$ to the Weierstrass form $F^{(2)}$ using the point $(x_{1},x_{2})=(0,0)$ . Then we can obtain sections from $2$ -torsion points of $E_{\unicode[STIX]{x1D706}}$ and $E_{\unicode[STIX]{x1D707}}$ . In the following proposition, $P_{1},\ldots ,P_{4}$ are obtained from $(x_{1},x_{2})=(1,1),(\unicode[STIX]{x1D706},\unicode[STIX]{x1D707}),(1,\unicode[STIX]{x1D707}),(\unicode[STIX]{x1D706},1)$ , respectively.

If $E_{1}$ and $E_{2}$ are isogenous but not isomorphic, the sublattice $\operatorname{Hom}(E_{1},E_{2})\langle 4\rangle \oplus A_{2}^{\ast }\langle 2\rangle \oplus A_{2}^{\ast }\langle 2\rangle$ of the Mordell–Weil lattice has index $2^{h}$ , where $h=\operatorname{rank}\operatorname{Hom}(E_{1},E_{2})$ (see [Reference ShiodaSh5, Theorem 1.2]).

4.1 Elliptic modular surface associated with $\unicode[STIX]{x1D6E4}(3)$

Let us begin with the Hesse cubic $x^{3}+y^{3}+z^{3}=3\unicode[STIX]{x1D707}xyz$ . Using the point $(-1:1:0)$ , we convert it to the Weierstrass form (see [Reference Rubin and SilverbergRS1]):

This elliptic curve has nine $3$ -torsion points that are defined over $k(\unicode[STIX]{x1D714})$ , where $\unicode[STIX]{x1D714}$ is a primitive cube root of unity.

The group of $3$ -torsion points is generated by

Let

be generators for $G=\operatorname{SL}_{2}(\mathbb{F}_{3})$ . Consider the following representation $\unicode[STIX]{x1D70B}$ of $G$ on the projective line $\mathbb{P}_{\unicode[STIX]{x1D707}}^{1}$ by fractional linear transformations, which factors through $\operatorname{PSL}_{2}(\mathbb{F}_{3})\cong A_{4}$ .

The $j$ -invariant of (4.1) is given by

and is invariant under the action of $\unicode[STIX]{x1D70B}(\operatorname{SL}_{2}(\mathbb{F}_{3}))$ .

Now we regard (4.1) as an elliptic surface. In other words, consider the elliptic modular surface ${\mathcal{E}}_{\unicode[STIX]{x1D6E4}(3)}\rightarrow X(3)\simeq \mathbb{P}_{\unicode[STIX]{x1D707}}^{1}$ whose generic fiber at $\unicode[STIX]{x1D707}$ is given by (4.1).

4.2 $F^{(3)}$ for universal families

Now, take two copies of (4.1),

and construct $\mathit{Ino}(E_{u},E_{v})$ , and in turn, $F_{E_{u},E_{v}}^{(3)}$ :

Here, since $\unicode[STIX]{x1D6E5}_{E_{1}}=2^{12}\cdot 3^{9}(\unicode[STIX]{x1D707}^{3}-1)^{3}$ , and so forth, we scaled $X$ and $Y$ differently from (2.8); the difference is a Weierstrass transformation over  $\mathbb{Q}$ .

Let ${\mathcal{E}}_{u}\rightarrow \mathbb{P}_{u}^{1}$ and ${\mathcal{E}}_{v}\rightarrow \mathbb{P}_{v}^{1}$ be the elliptic modular surfaces associated with $E_{u}$ and $E_{v}$ , respectively. Also let $G_{u}=\langle \unicode[STIX]{x1D703}_{u},\unicode[STIX]{x1D70C}_{u}\rangle$ and $G_{v}=\langle \unicode[STIX]{x1D703}_{v},\unicode[STIX]{x1D70C}_{v}\rangle$ be groups of automorphisms of ${\mathcal{E}}_{u}$ and ${\mathcal{E}}_{v}$ described above, respectively. We consider (4.3) as the family of elliptic surfaces ${\mathcal{F}}_{E_{u},E_{v}}^{(3)}\rightarrow \mathbb{P}_{u}^{1}\times \mathbb{P}_{v}^{1}$ parametrized by $u$ and $v$ . The total space is a fourfold.

For clarity of notation, we will henceforth use just $\unicode[STIX]{x1D6FE}$ instead of $\unicode[STIX]{x1D70B}(\unicode[STIX]{x1D6FE}),\widetilde{\unicode[STIX]{x1D70B}}(\unicode[STIX]{x1D6FE}),\unicode[STIX]{x1D6F1}(\unicode[STIX]{x1D6FE}),\widetilde{\unicode[STIX]{x1D6F1}}(\unicode[STIX]{x1D6FE})$ , with the action being understood.

From the action of $D_{6}$ on $F^{(6)}$ (see (2.5)), we see that $\langle \unicode[STIX]{x1D70E}^{2},\unicode[STIX]{x1D70F}\rangle \simeq D_{3}\simeq S_{3}$ acts on $F^{(3)}$ . We summarize the action on a section $(X(t_{3},u,v),Y(t_{3},u,v))$ as follows.

We may expect that the orbit of a section by these automorphisms generates the whole Mordell–Weil group, and it turns out that it is the case. To show this we must find one section, and we will do this in the following subsections.

4.3 Computation of $M(s_{3,0})$

As we modified the equation of $F^{(3)}$ from the one in Section 2, we also change the definition of $s_{3,i}$ to

In what follows we denote $s_{3,0}$ simply by $s$ . Then, (4.3) becomes

$R_{s}^{(3)}$ is a rational elliptic surface over $k(u,v)$ that has a singular fiber of type I $_{0}^{\ast }$ at $s=\infty$ . As a consequence, its Mordell–Weil lattice is of type $D_{4}^{\ast }$ (type $\text{n}^{\circ }~9$ in the Oguiso–Shioda [Reference Oguiso and ShiodaOS] classification). The Mordell–Weil lattice of a rational elliptic surface is generated by the section of the form $(c_{2}s^{2}+c_{1}s+c_{0},d_{3}s^{3}+d^{2}s^{2}+d_{1}s+d_{0})$ . An easy calculation shows that the fact that our elliptic surface has a singular fiber of type I $_{0}^{\ast }$ at $s=\infty$ implies $c_{2}=d_{3}=d_{2}=0$ . Some further calculations show that we have a point $P_{0}$ given by

The actions of $\unicode[STIX]{x1D703}_{u}$ and $\unicode[STIX]{x1D703}_{v}$ do not leave $M(s_{3,0})=R_{s}^{(3)}(\overline{k}(s))$ invariant, but $\bar{\unicode[STIX]{x1D703}}_{u}:=\unicode[STIX]{x1D70E}^{4}\circ \unicode[STIX]{x1D703}_{u}$ and $\bar{\unicode[STIX]{x1D703}}_{v}:=\unicode[STIX]{x1D70E}^{2}\circ \unicode[STIX]{x1D703}_{v}$ do. In fact, it is easily verified that the action of $\bar{\unicode[STIX]{x1D703}}_{u}$ and $\bar{\unicode[STIX]{x1D703}}_{v}$ on $F^{(3)}$ fix $s$ . On the other hand, $\unicode[STIX]{x1D70C}_{u}$ and $\unicode[STIX]{x1D70C}_{v}$ leave $M(s_{3,0})$ invariant; they take $s$ to $(2\unicode[STIX]{x1D714}+1)^{2}/(u-1)^{2}s$ and $(2\unicode[STIX]{x1D714}+1)^{2}/(v-1)^{2}$ , respectively. The actions of $\bar{\unicode[STIX]{x1D703}}_{u}$ , $\bar{\unicode[STIX]{x1D703}}_{v}$ , $\unicode[STIX]{x1D70C}_{u}$ and $\unicode[STIX]{x1D70C}_{v}$ on $M(s_{3,0})$ are given as follows.

4.4 $F^{(3)}(\overline{k}(t_{3}))$ in the generic case

If we consider $E_{u}$ and $E_{v}$ as universal curves with independent variables $u$ and $v$ , they are not isogenous curves. Looking at the diagram at the end of Section 2, $F^{(3)}(\bar{k}(t_{3}))$ contains four sublattices, $F^{(1)}(\bar{k}(t_{1}))$ , $M(s_{3,0})$ , $M(s_{3,1})$ and $M(s_{3,2})$ . In our case $F^{(1)}(\bar{k}(t_{1}))$ is trivial.

5.1 Elliptic modular surface associated with $\unicode[STIX]{x1D6E4}(4)$

The elliptic modular surface over the modular curve $X(4)$ is given by

(cf. [Reference ShiodaSh1]). The subgroup of $4$ -torsion points are generated by

where $i=\sqrt{-1}$ . The $j$ -invariant of (5.1) is given by

Let

be generators for $G=\operatorname{SL}_{2}(\mathbb{Z}/4\mathbb{Z})$ . Consider the following representation $\unicode[STIX]{x1D70B}$ of $G$ on the projective line $\mathbb{P}_{\unicode[STIX]{x1D70E}}^{1}$ by fractional linear transformations, which factors through $\operatorname{PSL}_{2}(\mathbb{Z}/4\mathbb{Z})$ .

The $j$ -invariant is invariant under the action of $\unicode[STIX]{x1D70B}(\operatorname{SL}_{2}(\mathbb{Z}/4\mathbb{Z}))$ .

We take two copies of the elliptic modular surface (5.1):

We then obtain $F_{E_{u},E_{v}}^{(4)}$ :

5.2 Rational elliptic surfaces

As before we set

where $i=\sqrt{-1}$ . Then we may write the equation of $F^{(4)}$ as

where

This is a rational elliptic surface over $\mathbb{P}_{s_{j}}^{1}$ , with a $\text{IV}$ fiber over $s_{j}=\infty$ . Generically, this is the only reducible fiber, and the Mordell–Weil lattice is therefore $E_{6}^{\ast }$ . To describe the sections, note that it suffices to do so for $R_{s_{0}}^{(4)}$ , since $\big(X(u,v,s_{0}),Y(u,v,s_{0})\big)$ is a section of $R_{s_{0}}^{(4)}$ if and only if $\big(X(i^{j}u,v,s_{i}),Y(i^{j}u,v,s_{i})\big)$ is a section of $R_{s_{j}}^{(4)}$ .

There are fifty-four sections of $R_{s_{0}}^{(4)}$ of minimal height, with twenty-seven sections intersecting each non-identity component of the $\text{IV}$ fiber.

To solve for the sections intersecting one of these, we set

(where we have written $s=s_{0}$ for ease of notation) and substitute into the Weierstrass equation. It is then easy to solve for the remaining coefficients. We obtain a basis of sections; we list the $x$ -coordinates here for brevity. (The full sections may be found in the auxiliary files).

5.3 The Mordell–Weil group in the generic case

Let $P_{1},\ldots ,P_{6}$ be the sections obtained from $R_{s_{0}}^{(4)}$ , and $P_{1}^{\prime },\ldots ,P_{6}^{\prime }$ the corresponding sections from $R_{s_{1}}^{(4)}$ (obtained by substituting $iu$ for $u$ in $P_{i}$ ). Together, they do not quite span the whole Mordell–Weil lattice of $F^{(4)}$ . We define

expressions for these sections may be obtained from the computer files. Note that they are well defined by the equation above, since $\operatorname{MW}(F^{(4)})$ is torsion-free by Theorem 2.5.

5.4 $F^{(4)}$ as a quartic surface

The minimal nonsingular model of $F_{E_{u},E_{v}}^{(4)}$ is isomorphic to the quartic surface defined by

$F_{E_{u},E_{v}}^{(4)}$ corresponds to the elliptic fibration on $S_{4}$ defined by the elliptic parameter $t_{4}=Y/W$ . Generically, this quartic surface contains sixteen lines (cf. [Reference SegreSe, Reference InoseI1, Reference KuwataKw1]). They are obtained as the intersection of one of the four planes

and one of the four planes

We identify $S_{4}$ and $F^{(4)}$ by choosing $X=Z=0$ as the $0$ -section. Let $L_{1},\ldots ,L_{4}$ be four lines defined by

By an abuse of notation, we also denote by $L_{i}$ the corresponding section of $F_{E_{u},E_{v}}^{(4)}$ .

$S_{4}$ may be considered as a family of the intersection of two quadrics. Namely, consider the map $S_{4}\rightarrow \mathbb{P}^{1}$ given by

Over the point $(p:q)\in \mathbb{P}^{1}$ , the fiber of $\unicode[STIX]{x1D708}$ is the intersection of two quadrics

where $r=p/q$ . The intersection is a curve of genus 1 for each $r$ , except the following eight values:

At each of these values of $r$ , the intersection degenerates and becomes a union of two plane conics.

Let $R_{1},\ldots ,R_{4}$ be one of the plane conics at each of the values

respectively. Similarly, in the family

let $R_{5},R_{6}$ be one of the conics at the value $r=\pm 2i/(v+1)^{2}$ , and let $R_{7}$ be one of the conics at $r=(u+1)^{2}/(v+1)^{2}$ in the family

Explicit choices for $R_{1},\ldots ,R_{7}$ are made in the computer files. Finally, let $R_{8}$ be the section obtained by letting $u\mapsto iu$ in $R_{1}$ .

6.1 Elliptic modular surface associated with $\unicode[STIX]{x1D6E4}(5)$

We begin with the elliptic modular surface over $\unicode[STIX]{x1D6E4}(5)$ , which is described in [Reference Rubin and SilverbergRS1] for instance.

This elliptic curve has full $5$ -torsion defined over $\mathbb{Q}(\unicode[STIX]{x1D701})(\unicode[STIX]{x1D707})$ , where $\unicode[STIX]{x1D701}$ is a primitive fifth root of unity. Let $\unicode[STIX]{x1D702}=\unicode[STIX]{x1D701}+\unicode[STIX]{x1D701}^{-1}$ , which can be taken to be the golden ratio $(1+\sqrt{5})/2$ . A basis for the $5$ -torsion is given by

Let

be generators for $G=\operatorname{SL}_{2}(\mathbb{F}_{5})$ , and let $\unicode[STIX]{x1D70B}$ be the representation of $G$ on $\mathbb{P}_{\unicode[STIX]{x1D707}}^{1}$ as follows.

The $j$ -invariant of (4.1) is given by

and is invariant under the action of the icosahedral group $\unicode[STIX]{x1D70B}(\operatorname{SL}_{2}(\mathbb{F}_{5}))\cong A_{5}$ .

As before, there is a compatible action of $G$ on the universal elliptic curve, given by

and therefore an action on the Mordell–Weil group ${\mathcal{E}}_{\unicode[STIX]{x1D6E4}(5)}(k(\unicode[STIX]{x1D707}))$ by $(\unicode[STIX]{x1D6FE}P)(\unicode[STIX]{x1D707})=\unicode[STIX]{x1D6FE}\big(P(\unicode[STIX]{x1D6FE}^{-1}\unicode[STIX]{x1D707})\big)$ . On the $5$ -torsion sections, we have

This action is conjugate to the usual linear action of $\operatorname{PSL}_{2}(\mathbb{F}_{5})$ (since $-1$ is a square modulo $5$ , the usual action of $\unicode[STIX]{x1D70C}$ is diagonalizable).

6.2 $F^{(5)}$ for universal families

Now, take two copies of (6.1)

Computing $\mathit{Ino}(E_{u},E_{v})$ by (2.6) and base changing, we get the following Weierstrass equation for $F_{E_{u},E_{v}}^{(5)}$ :

(Here we have scaled $X$ and $Y$ by $9$ and $27$ respectively, to make the coefficients smaller.)

As before, let ${\mathcal{E}}_{u}\rightarrow \mathbb{P}_{u}^{1}$ and ${\mathcal{E}}_{v}\rightarrow \mathbb{P}_{v}^{1}$ elliptic modular surfaces associated with $E_{u}$ and $E_{v}$ , respectively. Also let $G_{u}=\langle \unicode[STIX]{x1D703}_{u},\unicode[STIX]{x1D70C}_{u}\rangle$ and $G_{v}=\langle \unicode[STIX]{x1D703}_{v},\unicode[STIX]{x1D70C}_{v}\rangle$ be groups of automorphisms of ${\mathcal{E}}_{u}$ and ${\mathcal{E}}_{v}$ described above, respectively. We consider (6.2) as the family of elliptic surfaces ${\mathcal{F}}_{E_{u},E_{v}}^{(5)}\rightarrow \mathbb{P}_{u}^{1}\times \mathbb{P}_{v}^{1}$ parametrized by $u$ and $v$ . The total space is a fourfold.

Analogously to 4.3, we have an action of $G_{u}\times G_{v}$ on this variety, with the corresponding expressions being somewhat simpler:

There is also the action of the dihedral group $D_{10}$ on $F^{(5)}$ . Let $D_{10}=\langle \unicode[STIX]{x1D70E},\unicode[STIX]{x1D70F}\rangle$ , with $\unicode[STIX]{x1D70E}^{5}=1,\unicode[STIX]{x1D70F}^{2}=1$ and $\unicode[STIX]{x1D70E}\unicode[STIX]{x1D70F}=\unicode[STIX]{x1D70F}\unicode[STIX]{x1D70E}^{-1}$ . Then $\unicode[STIX]{x1D70E}$ acts by twisting $t_{5}$ by $\unicode[STIX]{x1D701}$ and $\unicode[STIX]{x1D70F}$ by taking it to $\unicode[STIX]{x1D6FF}/t$ , where

Consequently, we have the following result, which describes the action of these groups on the sections.

6.3 The rational elliptic surface

Set

Then the equation for $F^{(5)}$ transforms to

where

This equation defines a rational elliptic surface $R_{s}^{(5)}$ over $K=k(u,v)$ , fibered over $\mathbb{P}_{s}^{1}$ , with the property that its base change to $\mathbb{P}_{t}^{1}$ is $F^{(5)}$ . It has a singular fiber of additive reduction (generically type $\text{II}$ ) at $s=\infty$ , so using Shioda’s specialization technique, we can readily determine an equation of degree $240$ whose roots give all the specializations of the minimal vectors of the Mordell–Weil lattice, which is generically $E_{8}$ . As before, we obtain an action of $\operatorname{PSL}_{2}(\mathbb{F}_{5})$ on the sections by the following lemma, whose (easy) proof is omitted.

For the rational elliptic surface $R_{s}^{(5)}$ , it follows from general structural results (see [Reference ShiodaSh2]) that the Mordell–Weil lattice is $E_{8}$ , and is spanned by the $240$ smallest vectors. These correspond to sections of the form

The specialization of such a section at $s=\infty$ is $z=x_{2}/y_{3}\in \mathbb{G}_{a}$ . Substituting the above expression for $X$ and $Y$ into the Weierstrass equation, we obtain a system of equations, in which we can eliminate all variables but $z$ . The resulting equation has degree $240$ , and it splits over the field $k(u,v)$ into linear factors. The variables $x_{2},\ldots ,y_{0}$ are rational functions of $z$ with coefficients polynomials in the Weierstrass coefficients. As a result, every section is defined over the field $k(u,v)$ . In the result below, we will just write down the specializations of the relevant sections (the entire expression can be found in the auxiliary source files).

6.4 $F^{(5)}(\overline{k}(t_{5}))$ in the generic case

We now describe the Mordell–Weil group of $F^{(5)}$ in the generic case, when $E_{u}$ and $E_{v}$ are not isogenous.

7.1 Elliptic modular surface associated with $\unicode[STIX]{x1D6E4}(6)$

The modular curve $X(6)$ associated with the congruence subgroup $\unicode[STIX]{x1D6E4}(6)$ is known to be a curve of genus 1 with affine model given by $r^{2}=f^{3}+1$ , and the elliptic modular surface associated with it is given by

(cf. [Reference Rubin and SilverbergRS2]). The subgroup of $3$ -torsion points are generated by

and the points of order  $2$ are given by

The $j$ -invariant of (7.1) is given by

Note that the curve (7.1) can be written in terms of $r$ :

and after scaling $x$ and $y$ it is transformed to

If we view (7.1) as an elliptic surface over $\mathbb{P}_{f}^{1}$ , it is an elliptic modular surface corresponding to $\unicode[STIX]{x1D6E4}(3)\cap \unicode[STIX]{x1D6E4}_{1}(2)$ , whereas (7.2) as an elliptic surface over $\mathbb{P}_{r}^{1}$ is an elliptic modular surface corresponding to $\unicode[STIX]{x1D6E4}(2)\cap \unicode[STIX]{x1D6E4}_{1}(3)$ . Note that the map to $X(2)$ is just $(r,f)\rightarrow \unicode[STIX]{x1D706}$ , whereas the map to $X(3)$ is $(r,f)\rightarrow \unicode[STIX]{x1D707}=(f^{3}+4)/3f^{2}$ .

7.2 $F^{(6)}$ for universal family

We take two copies of the modular curve $X(6)$

and the elliptic modular surface (7.1):

We then obtain $F_{E_{r,f},E_{q,g}}^{(6)}$

7.3 Rational elliptic surfaces with parameter $s_{6,i}$

As before, we have several rational elliptic surfaces arising as quotients of $F^{(6)}$ . Namely, for $0\leqslant i\leqslant 6$ , let

where $\unicode[STIX]{x1D701}_{6}=-\unicode[STIX]{x1D714}$ is a primitive sixth root of unity. Then the equation transforms to the rational elliptic surface

where $s=s_{0}=s_{6,0}$ and

The Mordell–Weil lattice of this elliptic surface is generically $E_{8}$ . It has generically twelve $\text{I}_{1}$ fibers, none of them defined over the ground field $k(u,v)$ . Therefore, one has to proceed by brute force in order to compute a basis of sections. Taking $X$ to be a quadratic polynomial in $s$ , and $Y$ cubic, with undetermined coefficients, we obtain a system of equations for the coefficients. The $240$ solutions give the sections of minimal height. Since these are complicated to write down, we will not do so here. The formulas may be found in the auxiliary files. Instead, we will give a more conceptual description below, in terms of sections arising from $F^{(3)}$ and its twist, the cubic surface.

We may also form the rational elliptic surface in terms of $s_{1}$ : the equation becomes (with the same values of $A,B,C$ as above):

A similar calculation gives the $240$ minimal height sections for this elliptic surface. Let $P_{1},\ldots ,P_{8}$ be the sections coming from $E_{s}$ and $P_{1}^{\prime },\ldots ,P_{8}^{\prime }$ those from $E_{s_{1}}$ .

7.4 $F^{(6)}$ as a double cover of a cubic surface

Now we describe a different method to compute the Mordell–Weil group of $F^{(6)}$ , going through its quotient $F^{(3)}$ and a quadratic twist of this quotient, which is a rational surface. In the remainder of this subsection, we will let $\unicode[STIX]{x1D706}$ and $\unicode[STIX]{x1D707}$ be parameters on $X(2)$ . For an elliptic curve $E$ over $k(t)$ , we denote by $^{t}\!E$ its quadratic twist.

We will use the following well-known lemma to put together the sections from the quotients $F^{(3)}$ and $^{t_{3}}\!F^{(3)}$ .

In order to compute $^{t_{3}}\!F^{(3)}(\bar{k}(t_{3}))$ , we find the twenty-seven lines contained in the cubic surface. To state the results clearly, we take $E_{1}$ and $E_{2}$ to be in Legendre form as in (3.4), and consider the cubic surface

As is well known, the group generated by $\unicode[STIX]{x1D706}\mapsto 1-\unicode[STIX]{x1D706}$ and $\unicode[STIX]{x1D706}\mapsto 1/\unicode[STIX]{x1D706}$ leave the $j$ -invariant of $y^{2}=x(x-1)(x-\unicode[STIX]{x1D706})$ . As in Proposition 4.3, this action lifts to the family of cubic surfaces.

Let $\unicode[STIX]{x1D6FF}=(\unicode[STIX]{x1D6E5}_{E_{2}}/\unicode[STIX]{x1D6E5}_{E_{1}})^{1/6}=(\unicode[STIX]{x1D707}(\unicode[STIX]{x1D707}-1))^{1/3}/(\unicode[STIX]{x1D706}(\unicode[STIX]{x1D706}-1))^{1/3}$ . Note $\unicode[STIX]{x1D6FF}^{3}$ is invariant under $\unicode[STIX]{x1D706}\rightarrow 1-\unicode[STIX]{x1D706}$ and $\unicode[STIX]{x1D707}\rightarrow 1-\unicode[STIX]{x1D707}$ , whereas under $\unicode[STIX]{x1D706}\rightarrow 1/\unicode[STIX]{x1D706}$ , it is taken to $-\unicode[STIX]{x1D6FF}^{3}/\unicode[STIX]{x1D706}^{3}=(-\unicode[STIX]{x1D6FF}/\unicode[STIX]{x1D706})^{3}$ . Therefore, we may extend the action of the group of automorphisms to $\unicode[STIX]{x1D6FF}$ in a natural way. The next result shows that all the twenty-seven lines are defined over the cubic extension field of $k(\unicode[STIX]{x1D706},\unicode[STIX]{x1D707})$ defined by $\unicode[STIX]{x1D6FF}$ .

The elliptic surface $^{t_{3}}F_{E_{\unicode[STIX]{x1D706}},E_{\unicode[STIX]{x1D707}}}^{(3)}$ is obtained from the family of plane cubic curves

and the rational point $(x_{1}:x_{2}:z)=(1:t_{3}:0)$ . Let us recall its equation (a specialization of (7.4), where the elliptic curves are given by (7.6)):

There are two other rational points $(1:\unicode[STIX]{x1D714}t_{3}:0)$ and $(1:\unicode[STIX]{x1D714}^{2}t_{3}:0)$ , which become sections of $^{t_{3}}F_{E_{\unicode[STIX]{x1D706}},E_{\unicode[STIX]{x1D707}}}^{(3)}$ given by

The elliptic surface $^{t_{3}}F_{E_{\unicode[STIX]{x1D706}},E_{\unicode[STIX]{x1D707}}}^{(3)}$ can be obtained by blowing up the cubic surface (7.6) at the three points which correspond to these, namely,

7.5 $F^{(6)}(\overline{k}(t_{6}))$ in the generic case

Let $Q_{1},\ldots ,Q_{8}$ be the basis of the Mordell–Weil group for $F_{E_{u},E_{v}}^{(3)}$ described in Theorem 4.8. By abuse of notation, let $Q_{1},\ldots ,Q_{8}$ be their base change (pullback) to $F_{E_{r,f},E_{q,g}}^{(6)}$ defined by (7.3), by the map

Similarly, let $R_{1},\ldots ,R_{8}$ be the base change of the basis of $^{t_{3}}F_{E_{\unicode[STIX]{x1D706}},E_{\unicode[STIX]{x1D707}}}^{(3)}(\bar{k}(t_{3}))$ . ( $R_{7}$ and $R_{8}$ are shown only in the auxiliary files.) Define

These are sections of $F_{E_{r,f},E_{q,g}}^{(6)}$ , that is, the expressions in parentheses are (uniquely) divisible by $2$ in the Mordell–Weil group. Explicit formulas are also given in auxiliary files.

8.1 Class number 1 case

It is well known that there are thirteen discriminants of class number  $1$ .

(See for example [Reference CoxCo2, Theorem 7.30] and its references.) From these we see that only the fields $\mathbb{Q}(\sqrt{-1})$ , $\mathbb{Q}(\sqrt{-3})$ and $\mathbb{Q}(\sqrt{-7})$ possess nonmaximal order of class number  $1$ . In the following table, $D$ is a discriminant with $h_{D}=1$ , $f$ is the conductor of the order, $\unicode[STIX]{x1D70F}$ is the root of the quadratic form, and $E$ is an example of $E$ having $j(\unicode[STIX]{x1D70F})$ as its $j$ -invariant.

8.2 Class number 2 case

It is also known that there are only finitely many negative discriminants $D$ whose class number equals  $2$ (see for example [Reference Ireland and RosenIR, pp. 358–361]). Table 1 shows twenty nine such $D$ , together with $j(\unicode[STIX]{x1D70F}_{1})$ . Table 2 shows an example of $E_{1}$ for each  $j(\unicode[STIX]{x1D70F}_{1})$ , together with $F_{E_{1},E_{2}}^{(n)}$ where $E_{2}$ is the Galois conjugate of $E_{1}$ Footnote ³ . In these equations $X$ and $Y$ are rescaled so that the coefficients become simpler. However, $t$ is the original parameter $t_{n}$ , and thus some equations contain a variable $\unicode[STIX]{x1D700}$ , which indicates the fundamental unit of the real quadratic field $\mathbb{Q}(j(\unicode[STIX]{x1D70F}_{1}))$ . By rescaling the elliptic parameter $t$ suitably as in Lemma 8.3, we obtain elliptic $K3$ surfaces defined over  $\mathbb{Q}$ .