Pacific Journal of Mathematics

Similar documents
Quadratic families of elliptic curves and degree 1 conic bundles

QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan

Minimal Fields of Definition for Galois Action

Density of rational points on Enriques surfaces

Math 203A - Solution Set 4

Algorithm for Concordant Forms

10. Noether Normalization and Hilbert s Nullstellensatz

The Hilbert-Mumford Criterion

Algebraic Geometry: Elliptic Curves and 2 Theorems

CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES

Geometric Chevalley-Warning conjecture

Generic section of a hyperplane arrangement and twisted Hurewicz maps

Exercise Sheet 7 - Solutions

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

arxiv: v1 [math.ag] 1 Apr 2013

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

Betti numbers of abelian covers

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

CSL361 Problem set 4: Basic linear algebra

Equations in Quadratic Form

Introduction to Algebraic Geometry. Jilong Tong

arxiv: v1 [math.ag] 14 Mar 2019

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

Structure of elliptic curves and addition laws

Geometry dictates arithmetic

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

On a Sequence of Nonsolvable Quintic Polynomials

FAILURE OF THE LOCAL-GLOBAL PRINCIPLE FOR ISOTROPY OF QUADRATIC FORMS OVER RATIONAL FUNCTION FIELDS

MANIN-MUMFORD AND LATTÉS MAPS

arxiv:math/ v1 [math.ag] 29 Nov 2003

Curves with many points Noam D. Elkies

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank

The moduli space of étale double covers of genus 5 curves is unirational

Your first day at work MATH 806 (Fall 2015)

Outline of the Seminar Topics on elliptic curves Saarbrücken,

INTRODUCTION TO ELLIPTIC CURVES

Elliptic Curves: An Introduction

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS

Core Mathematics 3 Algebra

Functional Analysis Exercise Class

Math 113 Winter 2013 Prof. Church Midterm Solutions

Abstracts of papers. Amod Agashe

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

Theorem 6.1 The addition defined above makes the points of E into an abelian group with O as the identity element. Proof. Let s assume that K is

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Zero cycles on twisted Cayley plane

On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2

Raising the Levels of Modular Representations Kenneth A. Ribet

ALBIME TRIANGLES OVER QUADRATIC FIELDS. 1. Introduction. The motivation for the present note is the following.

VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN

Section II.1. Free Abelian Groups

SESHADRI CONSTANTS ON SURFACES

Irrationality of 2 and Arakelov Geometry

Row Space, Column Space, and Nullspace

Your first day at work MATH 806 (Fall 2015)

Chapter 1 Vector Spaces

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES

Vojta s conjecture and level structures on abelian varieties

On symmetric square values of quadratic polynomials

TOROIDAL ALGEBRAIC GROUPS1

A Version of the Grothendieck Conjecture for p-adic Local Fields

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

Introduction to Elliptic Curves

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Rings and groups. Ya. Sysak

UNIVERSITÀ DEGLI STUDI DI ROMA LA SAPIENZA. Semifield spreads

RAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman

Elliptic Curves and Mordell s Theorem

Elliptic Curves and Public Key Cryptography

NEW REALIZATIONS OF THE MAXIMAL SATAKE COMPACTIFICATIONS OF RIEMANNIAN SYMMETRIC SPACES OF NON-COMPACT TYPE. 1. Introduction and the main results

Secant varieties. Marin Petkovic. November 23, 2015

Math 203, Solution Set 4.

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Elementary linear algebra

Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q

2.3. VECTOR SPACES 25

ALGEBRAIC GEOMETRY I, FALL 2016.

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

Lines on Projective Hypersurfaces

On the notion of visibility of torsors

9. Birational Maps and Blowing Up

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

Parameterizing orbits in flag varieties

Characteristic classes in the Chow ring

Linear Algebra, 4th day, Thursday 7/1/04 REU Info:

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Lecture 4: Abelian varieties (algebraic theory)

Linear vector spaces and subspaces.

Noncommutative invariant theory and Auslander s Theorem

The Grothendieck Ring of Varieties

Transcription:

Pacific Journal of Mathematics A UNIFIED METHOD OF CONSTRUCTION OF ELLIPTIC CURVES WITH HIGH MORDELL WEIL RANK Hizuru Yamagishi Volume 191 No. 1 November 1999

PACIFIC JOURNAL OF MATHEMATICS Vol. 191, No. 1, 1999 A UNIFIED METHOD OF CONSTRUCTION OF ELLIPTIC CURVES WITH HIGH MORDELL WEIL RANK Hizuru Yamagishi By using the twist theory, we reduce the problem of constructing elliptic curves of rank n (n 1 with generators to the problem of finding rational points on a certain variety V n. By parametrizing all rational points on V n (1 n 7, we get all elliptic curves of at least rank n (n 7. 1. Introduction. The purpose of this paper is to describe a unified method of construction of elliptic curves with given Mordell-Weil rank, and to show it is powerful enough to produce every known example in principle. In view of the fact that there is no general algorithm to give an elliptic curve with high rank, our method might shed a light on this area of active research. The main ingredient in this paper is the twist theory as is developed in [3]. One of our main theorems says that the twists give us every elliptic curve with high Mordell-Weil rank. Once this is established, we naturally come to consider a variety V n parametrizing a family of elliptic curves with a given rank n, and we show that almost every rational point on this variety gives an elliptic curve with rank n. Thus our method should provide us with every known example as a rational point on it. We will show that this is indeed the case. In this paper, we parametrize the rational points on V n in each case of n = 1 to 7. As is mentioned above parametrizing the rational points on V n is equivalent to getting every elliptic curve of rank at least n (n 7. Moreover, the variety V n is expected to be useful for solving other problems. For example, in [5] it is used to construct a family of elliptic curves of rank 2 with given j-invariant. Moreover in [6], it is used to give a family of elliptic curves of rank 6 with a nontrivial rational two-torsion point. The point which is worthy of special mention is that we get very easily the equation of any elliptic curve which corresponds to a rational point on V n. 189

190 HIZURU YAMAGISHI The present paper is organized as follows. In Section 2, we show every elliptic curve with generators comes from a twist. Then for each rank n we define the variety V n mentioned above, which plays a very important role throughout the paper, and construct a generic elliptic curve with its generators as a generic fiber of a certain family of elliptic curves parametrized by V n. Furthermore we show that we can get a given elliptic curve by specializing this family at a certain rational point on V n. In Section 3, we focus our attention on the structure of V n. In each case of rank 1 to 7, we show V n is rational and obtain a parametric representation of all rational points of V n. For the case of rank 5, we define another variety which is birational to V n, and parametrize rational points on V n in these cases using this variety. The concrete proof is given only for the case of rank 6, because it is the most typical and richest and the other cases are treated more easily. In Section 4, for a given elliptic curve with generators whose rank 7, we specify the values of the parameters which are used in Section 3 to express the rational points of V n. As an application, we reconstruct the example of rank 7 due to Grunewald and Zimmert [2] in Section 5. I would like to express my gratitude to Professor Fumio Hazama for his useful advice. And I also thank Professor Kenneth A. Ribet and Professor Robert Coleman for their stimulating conversation. 2. Generic case and its specialization. In this section, we construct an elliptic curve with rank n defined over the function field of an algebraic variety. Let E be an elliptic curve over a field k of characteristic 2 defined by the following equation (1 E : y 2 = ax 3 + bx 2 + cx + d, and let f(x be the right hand side of the equation of E. express E n by the simultaneous equation: Then we can y 2 i = f(x i (i = 1,..., n. Let ι i the involution on E n defined by ι((x i, y i = (x i y i (i = 1,..., n and put V n = E n / (ι 1,..., ι n, then the function field of V n is the set of the invariant elements of the function field of E n under the action of (ι 1,..., ι n. Consequently, k(v n = k(e n (ι 1,...,ι n = k(y 1 y 2,..., y 1 y n, x 1,..., x n. Since (y 1 y i+1 2 = f(x 1 f(x i+1 holds for i = 1,..., n 1, we find that V n is defined by (2 y 2 i = f(x 1 f(x i+1 (i = 1,..., n 1.

ELLIPTIC CURVES 191 (Here we rename y 1 y i+1 as y i. Let E b be the twist of E by the quadratic extension k(e n /k(v n. It is defined by the equation f(x 1 y 2 = f(x (see [3, 4]. Let E b (k(v n be the group of k(v n -rational points on E b. Theorem 2.1 (Hazama. If End k (E = Z, then the rank of E b (k(v n is n, and its generators are the following: ( y i (x 1, 1 x i+1, (i = 1,..., n 1. f(x 1 Now, we can obtain a given elliptic curve with its generators by specializing the above twisted generic elliptic curve at a certain k-rational point on V n as follows: Proposition 2.2. Let E be a given elliptic curve defined by the following equation E : y 2 = ax 3 + bx 2 + cx + d, and let (α i, β i (i = 1,..., n be its independent generators. Let E b be the twist of E by k(e n /k(v n. Then E with these generators is obtained by specialization at the point (x 1,..., x n, y 1,..., y n 1 = (α 1,..., α n, β 1 β 2,..., β 1 β n on V n. Proof. Put x i = α i (i = 1,..., n. Then E b : f(x 1 y 2 = f(x is isomorphic to y 2 = f(x by the map (x,( y (x, β 1 y. Here the generators of twisted elliptic curve become (α 1, 1, α i+1, β i+1 (i = 1,..., n 1. Therefore they β 1 are mapped to (α i, β i (i = 1,..., n 1. 3. The structure of the base space. In this section, we investigate the structure of the variety V n defined in Section 1 in each case. The case of rank 1 is slightly different from the other cases, and can be treated easily. More precisely, the twisted elliptic curve (3 E b : f(x 1 y 2 = ax 3 + bx 2 + cx + d, has a rational point (x 1, 1 E b (k(x 1, and it follows from Theorem 2.1 that it is of rank one as an elliptic curve over k(x 1. But a generalization opposed to a specialization decreases the rank of an elliptic curve, hence E b regarded as an elliptic curve over k(x 1, a, b, c, d is of rank 1. As is seen from this argument for the case of rank 1, it is natural to regard V n defined by (2 (n 2 as an algebraic variety defined over K = k(x 1,..., x n. Therefore V n is a 3-dimensional subvariety in the projective n+2 space P n+2 with coordinates (a, b, c, d, y 1,..., y n 1, and E b is regarded as a generic fiber of the elliptic fiber space defined by Equation (3 over V n.

192 HIZURU YAMAGISHI Case of rank 2. Our V 2 is defined by one quadratic equation with a rational point P 1 (a, b, c, d, y 1 = (0, 0, 0, 1, 1, hence V 2 is K-rational and we can parametrize K-rational points on V 2 as follows: Theorem 3.1. V 2 is rational, in fact, each K-rational point on V 2 is expressed as ((S + T p 1, (S + T p 2, (S + T p 3, (S + T p 4 ST, ST, where (p 1, p 2, p 3, p 4 P 3 and S = p 1 x 3 1 + p 2 x 2 1 + p 3 x 1 + p 4, T = p 1 x 3 2 + p 2 x 2 2 + p 3 x 2 + p 4. Case of rank 3. We recall two results which will be frequently used later. The first of them is classical and well-known (see [1], for example, but in view of the fundamental role played by it, we recall its proof. Lemma 3.2. Let V be a complete intersection of l quadrics in P l 1 defined over k. Suppose that it contains a linear subvariety W k-isomorphic to P l 1. Then V is k-rational. Proof. There is a k-linear subvariety L k-isomorphic to P n such that the intersection of W and L is empty. For any point P on L(k, let M be the variety spanned by {P } and W, which is k-isomorphic to P l. Then we can express the intersection of the variety defined by i-th equation of V and M as the union of W and a k-linear subvariety W i = P l 1. Since W i (i = 1,..., l are in M, we get a k-rational point Q as intersection of W i (i = 1,..., l. The map ϕ : L V defined by ϕ(p = Q gives a birational map from L( = P n l to V. The next result is from an elementary linear algebra: Lemma 3.3. Let N be a given n (n + 1 matrix and we denote the matrix removed i-th column by N i. The homogeneous equation N λ 1. λ n λ n+1 = 0 in P n has a unique solution if N is of full rank. And then the solution is λ 1 det(n 1.. λ i = ( 1 i+1 det(n i... λ n+1 ( 1 n+2 det(n n+1

ELLIPTIC CURVES 193 Now we show that V 3 is birational to P 3. As V 3 is a (2, 2-intersection in P 5 with coordinates (a, b, c, d, y 1, y 2 and contains a line W defined by the equations x 2 1 a + x 1b + c = 0, d = y 1 = y 2 = 0, therefore we can apply Lemma 3.2 and 3.3. Note that W is spanned by S 1 = (1, 0, x 2 1, 0, 0, 0, S 2 = (0, 1, x 1, 0, 0, 0. By a direct computation based on the map ϕ in the proof of Lemma 3.2, we obtain the following: Theorem 3.4. V 3 is rational. Every K-rational point on V 3 is given by where (p 1, p 2, p 3, p 4 P 3 and (λ, µ, ν (λ + νp 1, µ, λx 2 1 µx 1, νp 2, νp 3, νp 4, = ( x 3 1x 2 x 3 (x 3 x 2 (x 1 x 3 x 2 x 3 + x 1 x 2 p 2 1 (x 3 x 2 (x 4 1 (x 2 + x 3 x 3 1 x 1 x 2 x 3 (x 2 + x 3 + x 2 2x 2 3p 1 p 2 + (x 3 x 2 (x 2 x 1 + x 3 p 2 2 x 3 (x 3 x 1 p 2 3 + x 2 (x 2 x 1 p 2 4, x 5 1x 2 x 3 (x 2 3 x 2 2p 2 1 x 2 1(x 1 + x 2 (x 1 + x 3 (x 3 x 2 (x 2 + x 3 x 1 p 1 p 2 (x 3 (x 2 3 x 2 1 x 2 (x 2 2 x 2 1p 2 2 + x 3 (x 2 3 x 2 1p 3 3 x 2 (x 2 2 x 2 1p 2 4, x 2 x 3 (p 1 x 3 1 + p 2 (x 3 x 1 (x 2 x 1 (x 3 x 2 P 2. Case of rank 4. In this case, V 4 contains the plane W defined by the equations x 3 1 a + x2 1 b + x 1c + d = 0, y 1 = y 2 = y 3 = 0. Hence by a similar argument to the one employed in the case of rank 3, we obtain the following: Theorem 3.5. V 4 is rational. Every K-rational point on V 4 is expressed as (λ + ρp 1, µ, ν, (λx 3 1 + µx 2 1 + νx 1, ρp 2, ρp 3, ρp 4, where (p 1, p 2, p 3, p 4 P 3 and (λ, µ, ν, ρ = ( x 3 1p 2 1(x 3 x 2 (x 4 x 2 (x 4 x 3 (x 2 1(x 2 + x 3 + x 4 x 1 (x 2 x 3 + x 3 x 4 + x 2 x 4 + x 2 x 3 x 4 + p 2 2(x 3 x 2 (x 4 x 1 (x 4 x 3 (x 2 x 1 ((x 4 x 1 (x 4 x 2 p 2 3 (x 3 x 1 (x 3 x 2 p 2 4, x 6 1p 2 1(x 3 x 2 (x 4 x 2 (x 4 x 3 (x 2 + x 3 + x 4 p 2 2(x 3 x 1 (x 4 x 1 (x 4 x 3 (x 1 + x 3 + x 4 + p 2 3(x 2 x 1 (x 4 x 1 (x 4 x 2 (x 1 + x 2 + x 4

194 HIZURU YAMAGISHI p 2 4(x 2 x 1 (x 3 x 1 (x 3 x 2 (x 1 + x 2 + x 3, x 6 1p 2 1(x 3 x 2 (x 4 x 2 (x 4 x 3 (x 2 x 3 + x 3 x 4 + x 2 x 4 + p 2 2(x 3 x 1 (x 4 x 1 (x 4 x 3 (x 1 x 3 + x 3 x 4 + x 1 x 4 p 2 3(x 2 x 1 (x 4 x 1 (x 4 x 2 (x 1 x 2 + x 2 x 4 + x 1 x 4 + p 2 4(x 2 x 1 (x 3 x 1 (x 3 x 2 (x 1 x 2 + x 2 x 3 + x 1 x 3, p 1 x 3 1(x 2 x 1 (x 3 x 1 (x 3 x 2 (x 4 x 1 (x 4 x 2 (x 4 x 3. Before proceeding to the case of rank 5, we state the following theorem. It can be proved by a similar argument to the one for [4, Theorem 2.1]. Theorem 3.6. Let V n be the algebraic variety over K defined by (2 where we regard a, b, c, d and y i (i = 1,..., n 1, n 5 as variables. Then V n is K-birational to the variety V n defined by the equations 0 1 2 3 i Y0 2 Y1 2 Y2 2 Y3 2 Yi 2 = 0 (i = 4,..., n 1 in P n 1 with coordinate (Y 0,..., Y n 1, where we write 0 1 2 3 i Y0 2 Y1 2 Y2 2 Y3 2 Yi 2 1 1 1 1 1 α 0 α 1 α 2 α 3 α i for the determinant α0 2 α1 2 α2 2 α 2 αi 2 (i = 4,..., n 1, and α i = α0 3 α1 3 α2 3 α3 3 αi 3 Y 0 2 Y1 2 Y2 2 Y3 2 Yi 2 x i+1 (i = 0,..., n 1. Case of rank 5. In this case, V 5 in Theorem 3.6 is defined by one quadric equation with a rational point P 1 = (1, 1, 1, 1, 1. Hence we have the following theorem which is similar to Theorem 3.1: Theorem 3.7. V5 is rational. Every K-rational point on V 5 is expressed as (2p 1 S T, 2p 2 S T, 2p 3 S T, 2p 4 S T, T, where (p 1, p 2, p 3, p 4 P 3 and S = 0 1 2 3 4 p 1 p 2 p 3 p 4 0, 0 1 2 3 4 p 2 1 p 2 2 p 2 3 p 2 4 0. Case of rank 6. In this case, V 6 is a (2, 2-intersection in P 5 and contains a line W which is spanned by S 1 = (1, 1, 1, 1, 1, 1, S 2 = (α 0,..., α 5. Therefore, we can apply Lemma 3.2. Let L be a linear subspace spanned by S 3 = ( α 4 α 5, 0, 0, 0, α 5 α 0, α 0 α 4, S 4 = ( 0, α 4 α 5, 0, 0, α 5 α 1, α 1 α 4, S 5 = ( 0, 0, α 4 α 5, 0, α 5 α 2, α 2 α 4, S 6 = ( 0, 0, 0, α 4 α 5, α 5 α 3, α 3 α 4.

ELLIPTIC CURVES 195 For any point P = p 1 S 3 + p 2 S 4 + p 3 S 5 + p 4 S 6 on L, the point on M is represented by the form λs 1 + µs 2 + νp. We denote the i-th coordinate of P by P (i 1. Then the equation of W 1 W 2 is easily seen to be N λ µ = 0, ν where N is a 2 3-matrix (N ij defined by N 11 = 2 0 1 2 3 4 P (0 P (1 P (2 P (3 P (4, N 12 = 2 0 1 2 3 4 α 0 P (0 α 1 P (1 α 2 P (2 α 3 P (3 α 4 P (4, N 13 = 0 1 2 3 4 P (0 2 P (1 2 P (2 2 P (3 2 P (4 2, N 21 = 2 0 1 2 3 5 P (0 P (1 P (2 P (3 P (5, N 22 = 2 0 1 2 3 5 α 0 P (0 α 1 P (1 α 2 P (2 α 3 P (3 α 5 P (5, N 23 = 0 1 2 3 5 P (0 2 P (1 2 P (2 2 P (3 2 P (5 2. Then by Lemma 3.3, λ µ = det(n 1 det(n 2, ν det(n 3 where N i is the 2 2-matrix with the i-th column removed from N. Hence the point on V 6 which corresponds to P is λs 1 +µs 2 +νp, where (λ, µ, ν = (det(n 1, det(n 2, det(n 3. Hence we have the following: Theorem 3.8. V6 is rational. Every K-rational point on V 6 is expressed as ( λ + µα 0 + νp 1 (α 4 α 5, λ + µα 1 + νp 2 (α 4 α 5, λ + µα 2 + νp 3 (α 4 α 5, λ + µα 3 + νp 4 (α 4 α 5, 3 3 λ + µα 4 + ν p i+1 (α 5 α i, λ + µα 5 + ν p i+1 (α i α 4 i=0 where (p 1, p 2, p 3, p 4 P 3, (λ, µ, ν = (N 12 N 23 N 13 N 22, N 11 N 23 + N 13 N 21, N 11 N 22 N 12 N 21 with N ij as above. i=0

196 HIZURU YAMAGISHI Case of rank 7. In this case, V 7 is a (2, 2, 2-intersection in P 6. Unfortunately, this is not rational and only unirational [1]. To remedy this situation, we consider E : y 2 = ax 4 + bx 3 + cx 2 + dx + e instead of (1. Let f(x be the right hand side of the equation of E and V 7 the variety defined by the equation y 2 i = f(x 1 f(x i+1 (i = 1,..., 6. Repeating a similar argument to the one given above, we obtain the variety which is birational to V 7 defined by the equation, 0 1 2 3 4 i = 0 (i = 5, 6, 7. Y0 2 Y1 2 Y2 2 Y3 2 Y4 2 Yi 2 We call this V 7. This is in P 7 and its dimension is 4. Note that V 7 contains a plane W spanned by S 1 = (1,..., 1, S 2 = (α 0,..., α 7, S 3 = (α 2 0,..., α2 7. Hence we are in the same situation as the case of rank 6. Thus we have the following theorem which can be proved similarly: Theorem 3.9. V7 is rational. Every K-rational point on V 7 is expressed as ( λ + µα0 + να 2 0, λ + µα 1 + να 2 1, λ + µα 2 + να 2 2, λ + µα 3 + να 2 3 + ρp 1, λ + µα 4 + να 2 4 + ρp 2, λ + µα 5 + να 2 5 + ρp 3, λ + µα 6 + να 2 6 + ρp 4, λ + µα 7 + να 2 7 + ρp 5, where (p 1, p 2, p 3, p 4, p 5 P 4 and (λ, µ, ν = (det(n 1, det(n 2, det(n 3, det(n 4 with N i (i = 1,..., 4 as following: N 11 = 2 0 1 2 3 4 5 0 0 0 p 1 p 2 p 3, N 12 = 2 0 1 2 3 4 5 0 0 0 α 3 p 1 α 4 p 2 α 5 p 3, N 13 = 2 0 1 2 3 4 5 0 0 0 α3 2p 1 α4 2p 2 α5 2p, 3 N 14 = 0 1 2 3 4 5 0 0 0 p 2 1 p 2 2 p 2, 3 N 21 = 2 0 1 2 3 4 6 0 0 0 p 1 p 2 p 4, N 22 = 2 0 1 2 3 4 6 0 0 0 α 3 p 1 α 4 p 2 α 6 p 4, N 23 = 2 0 1 2 3 4 6 0 0 0 α3 2p 1 α4 2p 2 α6 2p, 4

ELLIPTIC CURVES 197 N 24 = 0 1 2 3 4 6 0 0 0 p 2 1 p 2 2 p 2, 4 N 31 = 2 0 1 2 3 4 7 0 0 0 p 1 p 2 p 5, N 32 = 2 0 1 2 3 4 7 0 0 0 α 3 p 1 α 4 p 2 α 7 p 5, N 33 = 2 0 1 2 3 4 7 0 0 0 α3 2p 1 α4 2p 2 α7 2p, 5 N 34 = 0 1 2 3 4 7 0 0 0 p 2 1 p 2 2 p 2. 5 Remark 3.10. In the case of n 4, one can write down immediately the defining equation of elliptic curve which corresponds to a point on V n. In the case of n 5, let P = (ȳ 0,..., ȳ n 1 be a rational point on V n. Then, the defining equation of the elliptic curve which corresponds to P is 1 1 1 1 1 α 0 α 1 α 2 α 3 x α0 2 α1 2 α2 2 α 2 x 2 = 0. α0 3 α1 3 α 3 α3 3 x 3 ȳ0 2 ȳ1 2 ȳ2 2 ȳ3 2 y 2 This is obtained by tracing the birational map between V n and V n. 4. The value of the parameter which corresponds to a given elliptic curve. In view of Proposition 2.2, every elliptic curve with rank n should correspond to a point of V n. In this section, we give the values of the parameters for this point of V n (2 n 7. let E be an elliptic curve defined by the following equation y 2 = ax 3 + bx 2 + cx + d with independent generators (x i, y i (i = 1,..., r, 2 r 7. Then we have the values of parameters as follows:

198 HIZURU YAMAGISHI r = 2 r = 3 r = 4 r = 5 r = 6 (p 1, p 2, p 3, p 4 = (a, b, c, d y 1 y 2, ( ax 2 (p 1, p 2, p 3, p 4 = 1 + bx 1 + c, d, y 1 y 2, y 1 y 3, (p 1, p 2, p 3, p 4 = x 2 1 ( y1 x 3, y 2, y 3, y 4, 1 (p 1, p 2, p 3, p 4 = (y 1 y 5, y 2 y 5, y 3 y 5, y 4 y 5, p j = (x 6 x i+1 x i+1 (x 6 x i+1 y i+1 (x 5 x i+1 + (x 5 x i+1 x i+1 (x 6 x i+1 y i+1 (x 6 x i+1 (x 5 x i+1 x i+1 (x 6 x i+1 y i+1 (x 6 x i+1 + (x 6 x i+1 x i+1 (x 5 x i+1 y i+1 (x 6 x i+1 ( + x j 6 x i+1 (x 6 x i+1 y i+1 (x 5 x i+1 (x (x 5 x i+1 y i+1 (x 6 x i+1 ( + y j 6 x i+1 (x 5 x i+1 x i+1 (x 6 x i+1 (x (j = 1,..., 4. (x 6 x i+1 x i+1 (x 5 x i+1, In the case r = 7, let E be an elliptic curve defined by the following equation y 2 = ax 4 + bx 3 + cx 2 + dx + e

ELLIPTIC CURVES 199 with independent generators (x i, y i (i = 1,..., 8. Then the values of the parameters are given by the formula p i = (x 3 x 2 (y 1 (x 2 x 3 x 3 x i+3 x 2 x i+3 + x 2 i+3 y i+3 x 2 x 3 (x 3 x 1 (y 2 (x 1 x 3 x 3 x i+3 x 1 x i+3 + x 2 i+3 y i+3 x 1 x 3 + (x 2 x 1 (y 3 (x 1 x 2 x 2 x i+3 x 2 x i+3 + x 2 i+3 y i+3 x 1 x 2, (i = 1,..., 5. 5. Examples. In the previous sections, we have given a parametric representation of V n (1 n 7. Therefore we will get as many elliptic curves with specified rank as we like by specialization at rational points on V n. As an example, we give the values of parameters which enable one to obtain the elliptic curve with rank 7 in [2, Corollary C]. The elliptic curve is with generators y 2 = x 3 1717730532x + 27401746395780 (24144, 56466, (23562, 97182, (23736, 50022, (24840, 245430, (25422, 404082, (23793, 34119, (26121, 596187. The values of the parameters are (p 1, p 2, p 3, p 4, p 5 = (47822467248393469632, 66206014691795224675, 104521834162171114920, 76522282208132178600, 101559585548776675320, (x 1, x 2, x 3, x 4, x 5, x 6, x 7, x 8 ( 1 = 234, 1 348, 1 174, 1 930, 1 1512, 1 117, 1 2211, 0. References [1] P.A. Beauville, Variétés de Prym et Jacobiennes Intermédiaires, Ann. Scient Éc. Norm. Sup., 4 (1977, 309-391. [2] F.J. Grunewald and R. Zimmert, Über einige rationale elliptische Kurven mit freien Rang 8, J. Reine. Angew. Math., 296 (1977, 100-107. [3] F. Hazama, Rational points on certain abelian varieties over function fields, J. Number Theory, 50 (1995, 278-285. [4] H. Yamagishi, On abelian surfaces with rank 12 associated to certain K3 surfaces, in Algebraic cycles and related topics, Ed. F. Hazama, World Scientific, (1995, 93-102. [5], Geometric construction of elliptic curves with given Mordell-Weil rank and j-invariant, (submitted to Proceedings of the American Mathematical Society.

200 HIZURU YAMAGISHI [6], A construction of families of elliptic curves of rank 6 with a nontrivial twotorsion point, (submitted to Journal of Number Theory. Received February 5, 1998 and revised June 24, 1998. Tokyo Denki University Saitama, 350-0394 Japan E-mail address: hizuru@j.dendai.ac.jp