Finite Weil restriction of curves

Given number fields $L \supset K$, smooth projective curves $C$ defined over $L$ and $B$ defined over $K$, and a non-constant $L$-morphism $h \colon C \to B_L$,we consider the curve $C_h$ defined over $K$ whose $K$-rational points parametrize the $L$-rational points on $C$ whose images under $h$ are defined over $K$. Our construction provides a framework which includes as a special case that used in Elliptic Curve Chabauty techniques and their higher genus versions. The set $C_h(K)$ can be infinite only when $C$ has genus at most 1; we analyze completely the case when $C$ has genus 1.


Introduction
Let L be a number field of degree d over Q, let f ∈ L[x] be a polynomial with coefficients in L, and define Choosing a basis of L over Q and writing explicitly the conditions for an element of L to lie in A f , it is easy to see that the set A f is the set of rational solutions of d − 1 polynomials in d variables. Thus we expect the set A f to be the set of rational points of a (possibly reducible) curve C f ; indeed, this is always true when f is non-constant. A basic question that we would like to answer is to find conditions on L and f that guarantee that the set A f is finite, and ideally to decide when standard techniques can be applied to explicitly determine this set.
We formalize and generalize the previous problem as follows. Let L ⊃ K be a finite separable field extension, let B → Spec(K) be a smooth projective curve defined over K and let C be a smooth projective curve defined over L. Denote by B L the base-change to L of the curve B, and suppose that h : C → B L is a non-constant morphism defined over L. Then there is a (possibly singular and reducible) curve C h defined over K whose K-rational points parametrize the L-rational points p ∈ C(L) such that h(p) ∈ B(K) ⊂ B L (L). In this context, Theorem 11 identifies an abelian subvariety F of the Jacobian of the curve C h and provides a formula to compute the rank of the Mordell-Weil group of F : these are the ingredients needed to apply the Chabauty method to determine the rational points of the curve C h . To see the relationship of this general problem with the initial motivating question, we let C := P 1 L and B := P 1 Q . The polynomial f determines a morphism h : P 1 L → (P 1 Q ) L and the L-points of P 1 L (different from ∞) with image in P 1 (Q) correspond to the set A f .
Over an algebraic closure of the field L, the curve C h is isomorphic to the fibered product of morphisms h i : C i → B L obtained from the initial morphism h by taking Galois conjugates (Lemma 5). Thus we generalize further our setup: we concentrate our attention on the fibered product of finitely many morphisms h 1 : C 1 → B, . . . , h n : C n → B, where C 1 , . . . , C n and B are smooth curves and the morphisms h 1 , . . . , h n are finite and separable. We determine the geometric genus of the normalization of C h , as well as a natural abelian subvariety J h of the Jacobian of C h .
Due to the nature of the problem and of the arguments, it is immediate to convert results over the algebraic closure to statements over the initial field of definition.
Suppose now that K is a number field. We may use the Chabauty method to find the rational points on C h , provided the abelian variety J h satisfies the condition that the rank of J h (K) is less than the genus of C h ; by Chabauty's Theorem (see [CF96,Cha41,Cha41b]) this guarantees that C h (K) is finite. Chabauty's Theorem has been developed into a practical technique, which has been applied to a range of Diophantine problems, for example in [Col85, Col85b, Fly97,Lor02]. Further, if the set C h (K) is infinite, then, by Faltings' Theorem [Fal83], the curve C h contains a component of geometric genus at most one; thus the computation of the geometric genus of the normalization of C h is a first step towards answering the question of whether C h (K) is finite or not. Moreover, since all the irreducible components of C h dominate the curve C, it follows that the set C h (K) can be infinite only in the case in which the curve C has geometric genus at most one. In the case in which C has genus zero, results equivalent to special cases of this question have already been studied ([AZ01, Bil00,Pak10,Sch82,Zan93]). We shall analyze completely the case in which the genus of C is one and the curve C h has infinitely many rational points. This covers as a special case the method called Elliptic Curve Chabauty (which is commonly applied to an elliptic curve E defined over a number field L ⊃ K, satisfying that the rank of E(L) is less than [L : K] and we wish to find all (x, y) ∈ E(L) subject to an arithmetic condition such as x ∈ K); see, for example, [Bru02,Bru03,Fly99,Fly01,Wet97] and a hyperelliptic version in [Sik]).
Example 1. Let K be a number field and let E : Equating coefficients of 1, √ d gives Let t = s 2 /(a 2 x 2 + a 1 x + a 0 ). Eliminate r to obtain b 2 2 /(4t) + dt = x + b 1 , so that x = x(t) := b 2 2 /(4t) + dt − b 1 . Hence s, t satisfy the curve C : (st) 2 = t 3 (a 2 x(t) 2 + a 1 x(t) + a 0 ), for which the right hand side is a quintic in t. One can check directly that this quintic has discriminant whose factors are powers of: a 0 , b 2 , d, the discriminant of E and its conjugate; all of these are guaranteed to be nonzero, from our assumptions, so that C has genus 2. By Faltings' Theorem, C(K) is finite, so there are finitely many such s, t ∈ K, and hence finitely many x = x(t), and so finitely many (x, y) ∈ E(L) with x ∈ K. Furthermore, one can check directly from the induced map from C to E that, if J is the Jacobian of C then rank J(K) = rank E(L) ; hence if rank E(L) < [L : K] = 2 (the condition for Elliptic Curve Chabauty) then C satisfies the conditions for Chabauty's Theorem over K. So, for this special case, there is a perfect match between both conditions.
is a rational number if and only if the equality a 2 + 2b 2 = 3a 2 b + 2b 3 holds. Apart from the solution (a, b) = (0, 0), all the remaining solutions of the resulting equation can be determined by the substitution a = tb and the set A f is the set x−1 . Arguing similarly to the previous example, we find that the set values of x ∈ Q( √ 2) such that f (x) ∈ Q consists of the solutions to the equation a 2 b − a 2 − 2ab + a − 2b 3 + 2b 2 = 0. The projective closure of the previous equation defines an elliptic curve E with Weierstrass form y 2 = x 3 − x; by a 2-descent it is easy to show that E(Q) = E(Q)[2] and we conclude that the set we are seeking is the set {0, √ 2}.
The last two of these examples exhibit the two qualitative behaviours that we analyze in what follows.

Relative Weil Restriction
We begin this section by recalling the definition of the Weil restriction functor. The setup is quite general, though we will only use it in a very specialized context. We prefer to adopt this formal point of view at the beginning, since it simplifies the arguments; for the cases mentioned in the introduction, it is straightforward to translate all our arguments into explicit computations that are also easy to verify.
Let s : S ′ → S be a morphism of schemes and let X ′ be an S ′ -scheme; the contravariant functor is the Weil restriction functor. If the functor R S ′ /S (X ′ ) is representable, then we denote by R S ′ /S (X ′ ) also the scheme representing R S ′ /S (X ′ ); sometimes, to simplify the notation, we omit the reference to S and S ′ and write that R(X ′ ) is the Weil restriction of X ′ . The scheme R(X ′ ) is determined by the isomorphism Informally this means that the S-valued points of R(X ′ ) are the same as the S ′ -valued points of X ′ .
Suppose now that Y → S is another morphism of schemes, denote by Y ′ the fibered product Y × S S ′ with natural morphism b : Y ′ → Y , and let h : X → Y ′ be any scheme. We have the diagram and X is therefore both a Y ′ -scheme and an S ′ scheme. Thus there are two possible Weil restrictions we can construct: • the Weil restriction R S ′ /S (X), using the S ′ -scheme structure of X, • the Weil restriction R Y ′ /Y (X), using the Y ′ -scheme structure of X. Below we shall use the notation Res h (X) for the Weil restriction R Y ′ /Y (X) and call it the relative Weil restriction.
In order to relate the Weil restriction R Y ′ /Y (X) to the discussion in the introduction, we give an alternative definition of this functor and then proceed to prove the equivalence of the two. For concreteness, suppose that in diagram (1) the morphism S ′ → S is induced by a (finite, separable) field extension L ⊃ K; then there is a subset of the L-points of X whose image under h is not simply an L-point of Y ′ , but it is actually a K-point of Y . We would like to say that this set of L-points of X with K-rational image under h are the K-rational points of a scheme defined over K, and that this scheme is the relative Weil restriction of X. This is what we discussed in the introduction and we now formalize it.
Hence, let T be any S-scheme and denote by T ′ the S ′ -scheme T × S S ′ . Pull-back by the morphism s defines a function Hom S (T, Y ) → Hom S ′ (T ′ , Y ′ ); there is also a function Hom S ′ (T ′ , X) → Hom S ′ (T ′ , Y ′ ) determined by composition with h. Summing up, for any S-scheme T , we obtain a diagram (2) We denote by Hom(T, X/Y ) the pull-back of diagram (2), and we define the relative Weil restriction functor to be the functor If the functor Res h is representable, we denote a scheme representing it by Res h (X).
Lemma 4. Let s : S ′ → S be a morphism of schemes. Let X be an S ′ -scheme and let Y be an Sscheme; denote by Y S ′ the S ′ -scheme Y × S S ′ . Let h : X → Y S ′ be an S ′ -morphism and assume that both Weil restriction functors R(X) and R(Y S ′ ) are representable (notation as in (1)). Then the relative Weil restriction functor Res h : (Sch/S) o → Sets is representable and the schemes Res h (X) and R Y ′ /Y (X) coincide. Moreover, there is a commutative diagram of S-schemes exhibiting Res h (X) as a fibered product of R(X) and Y over R(Y S ′ ).
Proof. We begin by constructing an S-morphism h ′ : R(X) → R(Y S ′ ). By representability of R(Y S ′ ) and of R(X) there are natural bijections and Let γ ∈ Hom S ′ (R(X) S ′ , X) be the S ′ -morphism corresponding to the identity in Hom S (R(X), R(X)) and let h ′ : To check that Res h (X) represents Res h , let T be any S-scheme; we have as required. Thus, the scheme Res h (X) defined above represents the functor Res h and is obtained by the fibered product (3).
Finally, we check that the schemes Res h (X) and We conclude using Yoneda's Lemma that Res h (X) and R Y ′ /Y (X) coincide, and hence the lemma follows.
Informally, we may describe the scheme Res h (X) as the scheme whose S-valued points correspond to the points in X(S ′ ) lying above the points in Y (S).
Observe that, by the construction of Res h (X) and diagram (3), there is an S ′ -morphism Res h (X) S ′ → X. The morphism Res h (X) S ′ → X will prove useful later. We now introduce some notation that is used in the following lemma. Let L ⊃ K be a finite, separable field extension of degree n, and let K s be a separable closure of K. Set S ′ := Spec(L), S := Spec(K), and S s := Spec(K s ), denote by s : S ′ → S the morphism of schemes corresponding to the extension L ⊃ K and suppose that ϕ 1 , . . . , ϕ n : S s → S ′ are the morphisms corresponding to all the distinct embeddings of L into K s fixing K. Given an S ′ -scheme X, we denote by X 1 , . . . , X n the S s -schemes obtained by pulling back X → S ′ under the morphisms ϕ 1 , . . . , ϕ n .
Lemma 5. Let X be an S ′ -scheme and let Y be an S-scheme. Let h : X → Y S ′ be an S ′ -morphism and assume that both Weil restriction functors R(X) and R(Y S ′ ) are representable. Then the isomorphism holds. More precisely, the isomorphism (4) holds replacing K s by any normal field extension of K containing L.
Proof. To prove the result, it suffices to consider the case in which both X and Y are affine; thus suppose that Y = Spec(A), X = Spec(B), and that x denotes a set of generators of B as an A-algebra. Let α 1 , . . . , α n denote a basis of K over L and let x 1 , . . . , x n denote disjoint sets of variables each in bijection with x; whenever we denote a variable in x by a symbol such as x, we denote by the symbols x 1 , . . . x n the variables corresponding to x in x 1 , . . . , x n . For every x ∈ x define linear formsx 1 : First we show that the forms x 1 , . . . ,x n are linearly independent. Indeed, let ∆ be the matrix whose . Thus the determinant of ∆∆ t is equal to the discriminant of L over K, and it is therefore non-zero. We deduce that the matrix ∆ is invertible and that the formsx 1 , . . . ,x n are independent. Thus, definingx j : The relative Weil restriction of X may be defined as follows. Let g(x) be an element of the polynomial ring A[x] contained in the ideal defining X; evaluate g(x) substituting for each variable x ∈ x the sum x i α i and write the resulting polynomial in L ⊗ K A[x 1 , . . . , x n ] as g i α i , where g 1 , . . . , g n are elements of A[x 1 , . . . , x n ]; denote the sequence (g 1 , . . . , g n ) byg. Then the scheme Res(X) is the scheme in Spec(A[x 1 , . . . , x n ]) whose ideal is the ideal generated by the elements of g, as g varies among all the elements of the ideal defining X. It is therefore clear that the ideal I defining Res(X) in K s ⊗ K A[x 1 , . . . , x n ] contains, for every embedding ϕ : L → K s fixing K, the elements i g i ϕ(α i ) = ϕ g i α i ) = ϕ(g), and conversely that the ideal containing all such elements contains g 1 , . . . , g n and hence it contains I. Let F ∈ A[x] be a set of generators of the ideal of X; since, for i ∈ {1, . . . , n}, the scheme X i is defined by

The case of curves over an algebraically closed field
In this section we compute the geometric genus of the relative Weil restriction C of a curve and we also determine a natural abelian variety isogenous to a subvariety of the Jacobian of C . To calculate the geometric genus in Theorem 7 we may clearly assume that the ground field is algebraically closed; the proof reduces the computation to theétale local case, settled in Lemma 6.
Lemma 6. Let n be a positive integer. Suppose that k is an algebraically closed field and that r 1 , . . . , r n are positive integers relatively prime with the characteristic of k. Let R be the least common multiple of r 1 , . . . , r n and let C ⊂ A n+1 x,y 1 ,...,yn be the affine scheme defined by C : The scheme C has r 1 ···rn R irreducible components and the morphism induced by the projection onto the x-axis from the normalization of each component ramifies at the origin to order R.
Proof. Observe that the curve C carries the action ρ of G m defined by First we show that the action ρ has trivial stabilizer at all points of C different from the origin. Indeed, let q = (x, y 1 , . . . , y n ) be a point of C different from the origin; it follows that all the coordinates of q are non-zero and the equality (x, y 1 , . . . , y n ) = (t R x, t R/r 1 y 1 , . . . , t R/rn y n ) implies that t is a root of unity of order dividing gcd(R/r 1 , . . . , R/r n ) = 1. Thus the complement of the origin in C is a principal homogeneous space for G m . There are r 1 · · · r n points on C such that x = 1 and these are stabilized precisely by the action of the R-th roots of unity; we deduce that C consists of r 1 ···rn R irreducible components, each isomorphic to closure of the orbit of a point (1, η 1 , . . . , η n ), where η i is an r i -th root of unity, for i ∈ {1, . . . , n}. Therefore the normalization of C consists of r 1 ···rn R components each mapping to the x-axis by (t R , η 1 t R/r 1 , . . . , η n t R/rn ) → t R , as required.
Theorem 7. Let k be an algebraically closed field and let n be a positive integer. Suppose that S, C 1 , . . . , C n are smooth curves; for i ∈ {1, . . . , n} let f i : C i → S be a finite separable morphism whose ramification indices are coprime to the characteristic of k. Let f denote the morphism of the curve C := C 1 × S · · · × S C n to S, and let C ′ be the normalization of C; denote by g S and g C ′ the arithmetic genera of S and C ′ respectively. For any point p ∈ C and any i ∈ {1, . . . , n} denote by r i = r i (p) the ramification index of f i at the point corresponding to p and let R = R(p) := lcm{r 1 (p), . . . , r n (p)}. Then the curve C is a local complete intersection and the curve C ′ has arithmetic genus where R f ⊂ S is the union of the sets of branch points of the morphisms f 1 , . . . , f n and r is the cardinality of R f .
Proof. Let π : C ′ → S be the morphism induced by the structure morphism f : C → S. Let p ′ ∈ C ′ be a closed point, let p be the corresponding point of C and let p 1 , . . . , p n be the points of C 1 , . . . , C n respectively corresponding to p. We prove the result by finding a local model of C near p which is a local complete intersection, and then applying the Hurwitz formula to the morphism induced by f on the normalization of such a model. Choosing a local coordinate x on S near π(p ′ ) we reduce to the case in which S is A 1 and π(p ′ ) = 0. Similarly choose local coordinates z 1 , . . . , z n on C 1 , . . . , C n near p 1 , . . . , p n respectively. Thus, near p, the curve C is defined by C : z rn n ϕ n (z n ) = x, where (ϕ 1 , . . . , ϕ n ) is a rational function on C defined and non-zero at p, and r 1 , . . . , r n are the local ramification indices. In particular, the curve C is a local complete intersection near p. Denote by O p the local ring of C near p; the base-change defined by the inclusion . . , t rn n − ϕ n (z n ) is finiteétale (of degree r 1 · · · r n ) by the assumption that the ramification indices are relatively prime to the characteristic of the field k. Hence, each component of the resulting curve is locally isomorphic to the curve C p ⊂ A n+1 x,y 1 ,...,yn defined by where y 1 = z 1 t 1 , . . . , y n = z n t n . The morphism induced by π on C p is the morphism induced by the coordinate x. Using Lemma 6, we conclude that the contribution of the point p to the Hurwitz formula is r 1 ···rn R (R − 1) = r 1 · · · r n (1 − 1 R ), and hence we obtain and the first formula follows. To prove the second one note that the quantity r 1 (p) · · · r n (p)(1 − 1 R(p) ) vanishes for p / ∈ R f , since in this case all the local ramification indices equal 1, and that for all points s of S we have and we conclude.
In the next results, for a projective scheme Y , we denote by Jac(Y ) the Jacobian variety of Y , that is the connected component of the identity of the group Pic(Y ).
Remark 9. Maintaining the notation of the previous lemma, the morphisms ρ 1 , . . . , ρ n also induce a homomorphism ψ * : Pic(X 1 ) × · · · × Pic(X n ) → Pic(X). The morphism ψ though need not be an isomorphism. Since ψ induces an isomorphism on the connected component of the identity, it factors through the Néron-Severi group and in particular its cokernel is a finitely generated abelian group. For instance, if E is an elliptic curve and X 1 = X 2 = E, then the three classes {0} × E, E × {0} and the diagonal are independent in NS(E × E) so that NS(E × E) ⊃ Z 3 . On the other hand, the group NS(E) × NS(E) is isomorphic to Z 2 .
For the next theorem we need to introduce some notation. Suppose that B, X 1 , . . . , X n are smooth projective varieties defined over an algebraically closed field k. For each i ∈ {1, . . . , n} let f i : X i → B be a finite morphism. Denote by X the product X 1 × · · · × X n , by X B the fibered product X 1 × B · · · × B X n and by ι : X B → X the natural inclusion. For each i ∈ {1, . . . , n} • let d i denote the degree of f i , • let ρ i : X → X i and π i = ρ i • ι : X B → X i be the canonical projections, • let π : X → B be the composition f 1 • π 1 = · · · = f n • π n , • let d = d 1 · · · d n denote the degree of π.
We summarize the notation in the case n = 2 in (5). (5) y y r r r r r r r r r r π π 2 f 2 y y r r r r r r r r r r r r B Warning. Even though the diagram may suggest it, the identities f 1 • ρ 1 = · · · = f n • ρ n do not hold necessarily. On the other hand, the identities f 1 • π 1 = · · · = f n • π n = π hold.

8
By construction, the group M is connected and contained in the kernel of ι * . Moreover, it follows from Lemma 8 and the fact that the morphisms f 1 , . . . , f n are finite that the morphism M ′ → M is finite and hence that the dimension of the group M is (n − 1) dim(Jac(B)).
Theorem 10. Maintaining the notation introduced above, the group M has finite index in ker(ι * ). More precisely, for each element D of ker(ι * ) there are elements D 1 , . . . , D n of Jac(B) such that the identities φ(D) = i ρ * i f * i D i and d i D i = 0 hold. In particular, the dimension of the kernel of ι * is (n − 1) dim(Jac(B)).
It follows from what we just proved that the equalities dim(ker(ι * )) = dim M = (n − 1) dim(Jac(B)) hold, proving the final assertion of the theorem.

Mordell-Weil groups and relative Weil restriction
From now on, we shall be in the following set up (specializing the assumptions of Lemma 4): • L is a number field and S ′ := Spec(L), • K ⊂ L is a subfield and S := Spec(K), • C is a smooth projective curve over L,

9
• B is a smooth projective curve over K, and • h : C → B S ′ = B L is a finite morphism.
To simplify the notation, for any variety Z defined over a number field k denote by mw k (Z) the rank of the Mordell-Weil group of the Jacobian of Z; we are only going to apply this notation with k ∈ {K, L} to varieties Z that are either reduced curves or products of smooth integral curves.
Theorem 11. Suppose that C is a smooth projective curve defined over a number field L. Suppose that B is a smooth projective curve defined over a subfield K of L, and let h : C → B L := B × Spec(K) Spec(L) be a finite morphism. Denote by n the dimension of L as a vector space over K and by g(C) and g(B) the genera of C and B respectively. The Jacobian of Res h (C) contains an abelian subvariety F of dimension ng(C) − (n − 1)g(B) defined over K and with Mordell-Weil group over Proof. The L-morphism h : C → B L induces a K-morphism R(C) → R(B L ) which in turn induces a pull-back K-morphism Jac(R(B L )) → Jac(R(C)). Furthermore, from the inclusion ι : Res h (C) ⊂ R(C) we obtain a sequence of K-morphisms From the representability of R(B L ), there is a K-morphism κ : B → R(B L ) associated to the identity B L → B L using the bijection Hom K (B, R(B L )) = Hom L (B L , B L ). The morphism κ induces a pull-back K-morphism κ * : Jac(R(B L )) → Jac(B); we denote by M the kernel of the morphism of κ * . Geometrically, the Jacobian of R(B L ) is isomorphic to the product of n copies of the Jacobian of B and the morphism κ * corresponds to the addition of the line bundles in the various components using the isomorphisms between them (defined over an algebraic closure of K). We obtain that the group M is the specialization to our setting of the group denoted also by M in Theorem 10. Therefore M is geometrically isomorphic to Jac(B) n−1 , and it is connected of dimension (n − 1)g(B). Thus we obtain the diagram of K-morphisms and it follows from Theorem 10 that the group M has finite index in ker(ι * ). We let F be the connected component of the identity of the image of ι * and we show that it has the required properties. First of all, F is an abelian variety over K, isogenous over K to Jac(R(C))/M , and hence the dimension of Since the abelian varieties F and Jac(R(C))/M are K-isogenous, the ranks of their Mordell-Weil groups are the same. By the previous computation we conclude that as required, and the result follows.
The theorem just proved opens the way to applications of the Chabauty method to find the L-rational points of the curve C with K-rational image in B.
We show how this method works on an example.
Example 12. Let d be a squarefree integer; we let K = Q and L = Q( √ d). Denote by g(x) ∈ Q[x] the polynomial g(x) = x 3 + ax + b Let E be the elliptic curve over Q with Weierstrass equation y 2 = g(x) and let C be the smooth projective model over Q( √ d) of the genus two hyperelliptic curve with affine equation y 2 = f (x). By construction, there is a morphism φ : C → E given by Suppose we wish to find all points P in C Q( √ d) such that φ(P ) is in E(Q). Such points are the rational points of the curve D = Res φ (C) over Q, for which we now determine an explicit model. Let x = x 1 + x 2 √ d and y = y 1 + y 2 √ d, where x 1 , x 2 , y 1 , y 2 are Q-rational variables. Substituting x = x 1 + x 2 √ d and y = y 1 + y 2 √ d in the polynomial defining C we find the polynomial in Q( √ d), whose vanishing represents the condition that the point P = (x 1 + x 2 √ d, y 1 + y 2 √ d) lies on C. Define polynomials with rational coefficients r 1 := r + r 2 and r 2 := r − r 2 √ d where r denotes the polynomial obtained from r by applying the nontrivial element of the Galois group of Q( √ d)/Q; we have the identity r = r 1 + √ dr 2 . Thus, the two equations r 1 = r 2 = 0 in x 1 , y 1 , x 2 , y 2 correspond to P lying on C; these are also the equations defining (an affine model of) the Weil restriction of C from Q( √ d) to Q. To determine D = Res φ (C), we also wish φ(P ) to be in E(Q). Note that the coordinates of φ(P ) are φ(P ) = x 2 1 + dx 2 2 + √ d(2x 1 x 2 + 1), y 1 + √ dy 2 and the condition that the point φ(P ) lies in Q translates to the equations 2x 1 x 2 + 1 = y 2 = 0. We have therefore obtained the four equations in the variables x 1 , y 1 , x 2 , y 2 . But of course the second equation is divisible by the third equation, and we may ignore it (this is not a coincidence, but it is a consequence of the fact that the curve E is defined over Q). Multiplying the first equation in (6) by 2 12 x 6 1 , we can use the relation 2x 1 x 2 = −1 to eliminate the variable x 2 , obtaining the single equation (2 6 x 3 1 y 1 ) 2 = ρ(x 1 ) in x 1 , y 1 for D. After the birational substitution x = 2x 1 and y = 2 6 x 3 1 y 1 , we obtain that the curve D is birational to the genus 5 curve with equation D : y 2 = x 12 + 4(3d + 4a)x 8 + 64bx 6 + 16d(3d + 4a)x 4 + 64d 3 .
The curve D admits the non-constant map (x, y) → (x 2 , y) to the genus 2 curve F with equation Summarizing, the curve D is a genus 5 curve defined over Q and it admits two morphisms defined over Q( √ d) to the curves Each of the two curves C and C admits a Q( √ d)-morphism to the elliptic curve E, and the corresponding two compositions D → E coincide, and are defined over Q. We deduce that the Jacobians of C and of C are contained, up to isogeny, in the Jacobian of D, and they have an isogenous copy of E in common. This implies that the five-dimensional Jacobian of D contains a further two-dimensional abelian variety: up to isogeny this is the Jacobian of the curve F .
It is now easy to provide examples where the inequality of the Chabauty method is not satisfied for the curve C, nor for the curve E, but it satisfied for the curve F , so that we can still apply the Chabauty method to find the points on D. For example, setting a = 1, b = 3, and d = 13, we find rk E(Q) = 1 and rk Jac(F )(Q) = 1, and moreover Thus, in this example the Chabauty method is not applicable to C or E, but it is only applicable to F (Q).

Cases where Faltings' Theorem does not apply
In this section we analyze the cases where the relative Weil restriction of a morphism of curves contains a component of geometric genus at most one. In such cases, Faltings' Theorem cannot be applied to deduce the finiteness of rational points of the relative Weil restriction and we find explicit non-tautological examples in which these sets of rational points are infinite. The following Proof. Let X be the disjoint union X := X 1 ⊔ · · · ⊔ X n . The morphisms r 1 , . . . , r n determine an equivalence relation ∼ C on X, where x ∼ C y if there is a sequence (i 1 , . . . , i t ) of elements of {1, . . . , n}, and points x 1 = x ∈ X i 1 , x 2 ∈ X i 2 , . . . , x t−1 ∈ X i t−1 , x t = y ∈ X it and a sequence c 1 , . . . , c t−1 of points of C such that for all j ∈ {1, . . . , t − 1} we have r i j (c i ) = r i j+1 (c i ). Thus, a pair (x, y) ∈ X × X is in the relation determined by the morphisms r 1 , . . . , r n if and only if there is a sequence I := (i 1 , . . . , i t ) of elements of {1, . . . , n} such that the pair (x, y) is in the image of the composition where π is the projection to the first and last factor; denote by C I ⊂ X × X the image of this morphism. Observe that, for every finite sequence I of elements of {1, . . . , n}, the scheme C I is a closed subscheme of X × X that is finite and flat over each factor X and hence also over B; in particular, each scheme C I has non-zero degree over B. Moreover, if the pair (x, y) is in the relation ∼ C , then x and y have the same image in B. From this it follows that pairs (x, y) in the relation ∼ C are covered by at most i deg(f i ) 2 of the schemes C I defined above since they are contained in X × B X. It follows that the whole graph R C ⊂ X × X of the relation ∼ C is a subscheme of finite type of X × X that is flat and proper over each factor. The hypotheses of [SGA + 63], Théorème V.7.1, are therefore satisfied and the result follows.
Corollary 15. With the notation of the previous proposition, assume further that the curves C, X 1 , . . . , X n all have genus one. Then the curve X C is a torsor under Jac(C)/K, where K is the subgroup of Jac(C) generated by the kernels of the morphisms Jac(C) → Jac(X 1 ), . . . , Jac(C) → Jac(X n ).
Proof. We can clearly assume that the ground field is algebraically closed, and further reduce to the case in which the morphisms r 1 , . . . , r n are all homomorphisms of elliptic curves. Thus K ⊂ C is identified with the subgroup generated by the kernels of all the morphisms r 1 , . . . , r n and let C ′ := C/K denote the quotient of C by the subgroup K. Clearly, the curves X 1 , . . . , X n all admit a morphism to C ′ making the diagram of Proposition 14 commute. It follows from the previous proposition that X C admits a morphism to C ′ that is necessarily non-constant, and we conclude that X C has genus one. Moreover, it is also clear that the curve X C is isomorphic to the curve C ′ : if D is any curve making the diagram of Proposition 14 commute, then the fiber in C of the morphism C → D over the image of the origin in C contains all the kernels of the morphisms r 1 , . . . , r n , and hence it contains the subgroup K, since the morphism factors through the elliptic curve X C .
Thus we see that if the curves X 1 , . . . , X n have genus one and if the fibered product X 1 × B · · · × B X n contains a geometrically integral curve of geometric genus one defined over the ground field, then the morphism X 1 → B factors through a morphism E → B defined over the ground field, where E is a smooth geometrically integral curve of geometric genus one and the morphism X 1 → E is an isogeny defined over the extension field. 4.1. Genus one. We specialize what we just proved to the case of the relative Weil restriction from an elliptic curve. Let L/K be an extension of number fields; let E be an elliptic curve defined L and let B be a smooth projective integral curve defined over K. Suppose that h : E → B L is a non-constant morphism. The relative Weil restriction Res h (E) is a curve defined over K. Fix an algebraic closure K of K, denote by σ 1 , . . . , σ n the distinct embeddings of L/K in K, and let E 1 , . . . , E n be the corresponding Galois conjugates of E. Over the field K, the curve Res h (E) is isomorphic to E 1 × B · · ·× B E n (Lemma 5). Suppose that the curve Res h (E) contains infinitely many K-rational points. It follows from Faltings' Theorem that there is a component C of Res h (E) of geometric genus at most one, defined over K; if C is not normal, we replace it by its normalization. Since the morphism Res h (E) → B is flat, all its fibers are finite and therefore the curve C is also finite over B. In particular, the L-morphisms C → E 1 , . . . , C → E n are all finite, since all the 14 curves are smooth. Let E C denote the universal curve fitting in the diagram of Proposition 14. Since the curves C, E 1 , . . . , E n all have genus one, we may therefore apply Corollary 15 to deduce that the curve E C is also a torsor under an elliptic curve, and therefore also E C has genus one. In the case in which L is a number field, we obtain the following corollary.
Corollary 16. Let L/K be an extension of number fields and suppose that E is an elliptic curve over L, B is a curve over K, and h : E → B L is a non-constant morphism. If the set of K-rational points of Res h (E) is infinite, then the curve E is L-isogenous to an elliptic curve defined over K having positive rank over K.
Proof. By Faltings' Theorem we deduce that Res h (E) contains a geometrically integral component E ′ of genus at most one defined over K and having infinitely many K-rational points. Since E ′ admits a non-constant L-morphism to E, it follows that E ′ has genus one and that it is L-isogenous to E, as required.
Remark 17. In the case in which E and B have genus one, then all the geometric components of Res h (E) have genus one. Hence, finding the K-rational points of Res h (E) is equivalent to finding the K-rational points of finitely many elliptic curves that are K-isogenous to B.
This completes our analysis in the case in which the curve C of Remark 13 has genus one. We next discuss the case in which C has genus zero. We are not able to give a treatment of this case that is as detailed as the case of genus one. 4.2. Genus zero. We specialize to the case in which the curve C is isomorphic to P 1 L and hence B is isomorphic to P 1 K . The morphism h : P 1 L → P 1 L = (P 1 K ) L is therefore determined by a rational function F ∈ L(x). The set of K-rational points of Res h (P 1 L ) is essentially the set A F ⊂ L of values of x ∈ L such that F (x) lies in K, mentioned in the introduction.
Definition 18. Let G : C → D be a finite morphism between smooth curves, let p ∈ D be a geometric point. The type of p is the partition λ p of deg(G) determined by the fiber G −1 (p). We extend this definition to the case in which the curve C is reduced, but not necessarily smooth, by replacing G with the morphism G ν : C ν → D, where C ν is the normalization of C and G ν is the morphism induced by G.
In this section we restrict our attention to field extensions L ⊃ K of degree at most three.
Degree two. Let L ⊃ K be a field extension of degree two, let F : P 1 L → P 1 L be a morphism of degree three. We are interested in the values ℓ ∈ L such that f (ℓ) ∈ K. Assume that L = K( √ d) where d ∈ K \ K 2 ; write α = a + b √ d, for a, b ∈ K. Parameterizing the rational curve Res F (F ) we find that, for every element t in K, the evaluation p dbt 2 + 2at + b t(dt 2 + 3) ( √ dt + 1) is also in K. Degree three. Suppose that F : P 1 L → P 1 L is a morphism of degree three, and suppose that the characteristic of K is neither two nor three. As usual, we are interested in the values ℓ ∈ L such that f (ℓ) ∈ K. Denote by F the morphism conjugate to F under the Galois involution of L/K.
We construct examples of morphisms F such that Res F (P 1 L ) is a geometrically integral curve of geometric genus zero. Note that the curve Res F (P 1 L ) has a line bundle of degree nine given by pullback of O P 1 K (1); since this curve is geometrically rational and it has a line bundle of odd degree, it follows that it is rational over K.
Denote by Res F (F ) ν the composition of the normalization map of Res F (P 1 L ) and Res F (F ). Applying the Hurwitz formula to the morphisms F , F and Res F (F ) ν , we find that the respective total degrees of the ramification divisors are 4, 4 and 16.
We only analyze the case (7).
Fiber types (7). The fiber type ((3), (3)) in (7) implies that the coordinate on P 1 can be chosen so that the morphism F is a polynomial and the fiber type ((2, 1), (2, 1)) shows that one of the ramification points in defined over K. This case is realized by morphisms F : P 1 L → P 1 L of the form p(x) = x 2 (x − α), for α ∈ L. Since the derivative of p vanishes at 0 and at 2α 3 , it follows that the ramification types of F, F are of the form (7) when α / ∈ K.