Finite Weil restriction of curves

Given number fields L⊃K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L \supset K$$\end{document}, smooth projective curves C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} defined over L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L$$\end{document} and B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B$$\end{document} defined over K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K$$\end{document}, and a non-constant L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L$$\end{document}-morphism h:C→BL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$h :C \rightarrow B_{L}$$\end{document}, we denote by Ch\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{h}$$\end{document} the curve defined over K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K$$\end{document} whose K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K$$\end{document}-rational points parametrize the L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L$$\end{document}-rational points on C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} whose images under h\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$h$$\end{document} are defined over K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K$$\end{document}. We compute the geometric genus of the curve Ch\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{h}$$\end{document} and give a criterion for the applicability of the Chabauty method to find the points of the curve Ch\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{h}$$\end{document}. We provide a framework which includes as a special case that used in Elliptic Curve Chabauty techniques and their higher genus versions. The set Ch(K)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{h}(K)$$\end{document} can be infinite only when C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} has genus at most 1; we analyze completely the case when C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C$$\end{document} 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 basechange 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) (see Lemma 4). 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 (Theorem 7), 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. If the abelian variety J h satisfies the condition that the rank of J h (K ) is less than the genus of C h , then we may use the Chabauty method to find the rational points on C h ; by Chabauty's theorem (see [5][6][7]) 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 [8,9,11,16]. Further, if the set C h (K ) is infinite, then, by Faltings' Theorem [10], the curve C h contains a component of geometric genus at most one; thus the computation of the arithmetic 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 ( [1,2,17,19,22]). 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, [3,4,12,13,21] and a hyperelliptic version in [20].
Example 1 Let K be a number field and let E : Equating coefficients of 1, √ d gives Hence s, t satisfy the curve C : , 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.
Before beginning the technical details, we first identify what will be the main results in the upcoming sections. Theorem 7 in Sect. 2 is the main geometric result for potentially deciding if Faltings' Theorem applies; given smooth curves S, C 1 , . . . , C n and finite separable morphisms f i : C i → S whose ramification indices are coprime to the characteristic of k, it describes the arithmetic genus of the normalisation of C 1 × S · · · × S C n . We note that there has already been a significant application of this result; in [14], the authors prove that elliptic curves over real quadratic fields are modular, and in one of their steps they use our Theorem 7 (citing a preprint version of this article) in order to describe points on certain modular curves (see Sect. 16.1 of [14] for details). Theorem 11, summarised above, in Sect. 3 is the main result for applications of the Chabauty method (using the geometric input from Theorem 10). Corollary 15 is the main result for handling the case of curves of genus one.

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 of functors (Sch/S) o → Sets. 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 . Pullback 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 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 S-scheme; 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)).
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 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 : 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 Smorphism 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 sschemes 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 First we show that the formsx 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, defining x j : ={x j | x ∈ x} for j ∈ {1, . . . , n}, we proved that there is an isomorphism 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 ofg, as g varies among all the elements of the ideal defining X . It is therefore clear that the ideal , and conversely that the ideal containing all such elements contains g 1 , . . . , g n and hence it contains

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 .
Let C be a reduced and possibly reducible curve. The geometric genus p g (C) of C is the arithmetic genus of the normalization of the curve itself. For instance, if C is a reduced curve and C 1 , . . . , C r are the geometric irreducible components of C with geometric genera g 1 , . . . , g r , then the geometric genus of C is g 1 + · · · + g r − (r − 1). In particular, let f : C → B be a finite separable morphism from a reduced curve C to a smooth curve B and let f ν : C ν → B denote the composition of the morphism f with the normalization map C ν → C. Applying the Hurwitz formula in [15, Corollary 2.4] to each irreducible component of C we find that the Hurwitz formula holds for C as well: where deg( f ν ) is the sum of the degrees of the morphism f ν restricted to the irreducible components of C ν and R is the ramification divisor of the morphism f ν . Note that the geometric genus of a curve can therefore be negative, but this then implies that the curve itself is reducible (and has at least two irreducible components of geometric genus zero).
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 ,...,y n be the affine scheme defined by C : The scheme C has r 1 ···r n 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/r n 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 ···r n 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 ···r n R components each mapping to the x-axis by (t R , η 1 t R/r 1 , . . . , η n t R/r n ) → 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 : 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 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 ,...,y n 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 ···r n 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 ).

Lemma 8
Suppose that X 1 , . . . , X n are smooth projective varieties defined over an algebraically closed field k and let X = X 1 × · · · × X n . For i ∈ {1, . . . , n} let ρ i : X → X i denote the canonical projection. The morphism is an isomorphism.
Proof Choosing a point in each variety X 1 , . . . , X n allows us to define, for i ∈ {1, . . . , n}, an inclusion X i → X . These inclusions in turn determine a section Jac(X ) → Jac(X 1 ) × · · · × Jac(X n ) of the morphism ρ * • . We deduce that ρ * • is indeed an isomorphism of Jacobian varieties Jac(X 1 ) × · · · × Jac(X n ) Jac(X ). 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).
y y s s s s s s s s s s π π 2 y y s s s s s s s s s s s B
Let φ : Jac(X ) → Jac(X ) be the isogeny defined by φ : Jac(X ) −→ Jac(X ) where we used the identification of Jac(X ) with Jac(X 1 ) × · · · × Jac(X n ) of Lemma 8. Let M denote the kernel of the multiplication map Jac(B) n → Jac(B), so that M Jac(B) n−1 ; define the group M as the image of M under the morphism 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 hold. In particular, the dimension of the kernel of ι * is (n − 1) dim(Jac(B)).
Proof By Lemma 8, the morphism Jac(X 1 ) × · · · × Jac(X n ) −→ Jac(X ) (D 1 , . . . , D n ) −→ ρ * 1 D 1 + · · · + ρ * n D n is an isomorphism. Thus we identify the divisor classes in Jac(X ) with n-tuples of divisor classes, one in each Jacobian variety Jac(X 1 ), . . . , Jac(X n ). Let i, j be distinct indices in {1, . . . , n} and let P be a divisor on X i ; it is easy to check that the identities hold, and hence the class of the divisor π i * π * j (P) is contained in f * i Pic(B). Suppose that D = ρ * 1 D 1 + · · · + ρ * n D n is a divisor on X representing an element of Jac(X ). Let i be an index in {1, . . . , n}; we have and summing over all indices i, we find the equivalence In particular, if D is contained in the kernel of ι * , then φ(D) is contained in f * 1 Jac(B) × · · · × f * n Jac(B), establishing the first of the two identities. Finally, let D 1 , . . . , D n ∈ Jac(B) be divisor classes such that the element ρ * 1 f * 1 D 1 +· · ·+ρ * n f * n D n of Jac(X ) lies in ker(ι * ). Then, the element D 1 + · · · + D n of Jac(B) lies in the kernel of π * , so that d(D 1 + · · · + D n ) = π * π * (D 1 + · · · + D n ) = 0, proving the second identity.
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, • 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.  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

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
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 F is as needed. Next, we prove the statement about the Mordell-Weil rank of F. 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 = 1 be a squarefree integer; we let K = Q and L = Q( √ d). Denote by g(x) ∈ Q[x] the polynomial 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 , 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 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 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 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 rk Jac 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 remark is an immediate consequence of Faltings' theorem and guides the choice of cases we handle in this section.

Remark 13
Let L/K be an extension of number fields, and suppose that C is an irreducible curve defined over L, B is a curve defined over K and h : C → B is a non-constant morphism. If the curve Res h (C) has infinitely many K -rational points, then the genus of C is at most one.
In the case of the relative Weil restriction of a morphism from a curve of genus one, we completely characterize the cases where the set of rational points is not finite.
Proposition 14 Let C, X 1 , . . . , X n , B be smooth projective curves (not necessarily connected), and let be a commutative diagram, where all morphisms are finite and flat. There is a smooth projective curve X C and a commutative diagram · · · X n } } | | | | | | | | X C such that for every projective curve D fitting in the commutative diagram of solid arrows 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 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 [18,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.

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 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 Krational 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.

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 a field extension L ⊃ K of degree two. 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 pull-back 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 . 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 Parameterizing the rational curve Res F (F) we find that, for every element t in K , the evaluation is also in K .