Download arXiv:1510.00735v3 [math.NT] 14 Oct 2015

THE 1729 K3 SURFACE
arXiv:1510.00735v3 [math.NT] 14 Oct 2015
KEN ONO AND SARAH TREBAT-LEDER
Abstract. We revisit the mathematics that Ramanujan developed in connection
with the famous “taxi-cab” number 1729. A study of his writings reveals that he
had been studying Euler’s diophantine equation
a3 + b3 = c3 + d3 .
It turns out that Ramanujan’s work anticipated deep structures and phenomena
which have become fundamental objects in arithmetic geometry and number theory.
We find that he discovered a K3 surface with Picard number 18, one which can be
used to obtain infinitely many cubic twists over Q with rank ≥ 2.
1. Introduction and Statement of Results
1.1. 1729 and Ramanujan. Srinivasa Ramanujan is said to have possessed an uncanny memory for idiosyncratic properties of numbers. J. E. Littlewood famously
remarked that “every number is a personal friend of Ramanujan.” This opinion is
supported by the famous story of 1729, the so-called “Hardy-Ramanujan” number
after the famous anecdote of G. H. Hardy concerning a visit to the hospital to see his
collaborator Srinivasa Ramanujan: (page 12 of [6]):
I remember once going to see him when he was ill at Putney. I had ridden in taxi-cab
number 1729 and remarked that the number seemed to me rather a dull one, and that
I hoped it was not an unfavorable omen. “No,” he replied, “it is a very interesting
number; it is the smallest number expressible as the sum of two cubes in two different
ways.”
Indeed, 1729 is the smallest natural number which is the sum of two positive cubes
in two different ways. We have that
(1.1)
1729 = 93 + 103 = 123 + 13 .
At first glance, it is very surprising that Ramanujan knew this strange fact. However, it turns out that Ramanujan had been studying Euler’s diophantine equation
(see Section 8.5 of [1])
x3 + y 3 = z 3 + w 3 .
2000 Mathematics Subject Classification. 14G05, 14H52.
The authors are supported by the NSF. The first author also thanks the Asa Griggs Candler Fund
for their generous support. The authors would also like to thank Bartosz Naskrȩcki for correcting
an error in an earlier version of the paper.
1
2
KEN ONO AND SARAH TREBAT-LEDER
In his Lost Notebook, he offered a remarkable method for finding an infinite family
of solutions, which can be found in the appendix and involves expanding rational
functions at zero and infinity. The integer 1729 was one example he produced this
way. Hirschhorn later devoted four papers [5, 7, 8, 9] to examining this. Hirschhorn
proposed that Ramanujan might have used a parametrization of solutions he had
previously discovered along with some recurrence relations to arrive at his rational
functions. The parametrization [10, 11] is
(3a2 + 5ab − 5b2 )3 + (4a2 − 4ab + 6b2 )3 = −(5a2 − 5ab − 3b2 )3 + (6a2 − 4ab + 4b2 )3 .
We will work with this parametrization, as opposed to the rational functions, the
solutions it gives grow polynomially. Dehomogenizing, these give us two solutions to
x3 + y 3 = m(t)
for each value of t, where m(t) := (7 + t + t2 )(1 + t + 7t2 )(13 − 23t + 13t2 ). We have
(1.2)
P1 = (x1 , y1 ) = (3t2 + 5t − 5, 4t2 − 4t + 6) and
P2 = (x2 , y2 ) = (−5t2 + 5t + 3, 6t2 − 4t + 4).
1.2. A modern interpretation. For cube-free integers k, we can view
x3 + y 3 = k
as an elliptic curve over Q, and its Weierstrass equation is given by y 2 = x3 − 432k 2 .
This is a cubic twist of E : y 2 = x3 − 432 by k, and over Q is torsion-free for all k > 2.
So we can view Ramanujan’s family of solutions as giving us two points on infinitely
many cubic twists of E. However, we will first consider them all together as a single
elliptic curve over Q(t).
Theorem 1.1. The elliptic curve
Em(t) /Q(t) : y 2 = x3 − 432m(t)2
has rank 2.
This allows us to give a lower bound on the number of cubic twists of E with
Mordell-Weil rank ≥ 2 over Q.
Theorem 1.2. There exist positive numbers C1 , C2 such that if T > C1 , then the
number of cube-free integers d for which the curve Ed (Q) has rank at least 2 is at
least C2 T 1/3 .
Assuming the Parity Conjecture, which says that the rank of Ed (Q) is even if and
only if the sign of the functional equation of L(Ed , s) is +1, we can also say something
about cubic twists of E with rank at least 3.
Theorem 1.3. Assume the Parity Conjecture. Then there exist positive numbers
C3 , C4 , such that if T > C3 , then the number of cube-free integers d for which the
curve Ed has odd rank ≥ 3 is at least C4 T 1/3 .
THE 1729 K3 SURFACE
3
Remark. Tim and Vladimir Dokchitser showed (see [4]) that finiteness of the TateShafarevich group implies the parity conjecture for elliptic curves over number fields.
Remark. In earlier work, Stewart and Top [13] also obtained estimates for the number
of cubic twists with rank ≥ 2 and rank ≥ 3. They previously obtained the estimates
in Theorem 1.2 and Theorems 1.3 (see Theorem 7 of [13]).
We can also view Em(t) as an elliptic surface E over Q. We will show that it is
actually a K3 surface.
Theorem 1.4. The smooth minimal surface E/Q associated with the equation
y 2 = x3 − 432m(t)2
is an elliptic K3-surface with Picard number 18.
We will give the definition of a K3 surface and its Picard number in Section 4.1.
In Section 2, we will prove Theorem 1.1 by studying a map to the space of holomorphic differentials on an auxiliary curve C. In Section 3, we will use this along with
results on power-free values of binary quadratic forms to prove Theorems 1.2 and 1.3.
Lastly, in Section 4, we will use Theorem 1.1 and results on elliptic K3 surfaces to
prove Theorem 1.4.
2. Proof of Theorem 1.1
2.1. Background. In this section, we will show that Em(t) /Q(t) has rank two. To
study this rank, we use a map, described in [13], from the Q(t) points of Em(t) to the
vector space of holomorphic differentials on the auxiliary curve C/Q : s3 = m(t). For
each point P = (x(t), y(t)) in Em(t) (Q(t)), we define an element φP of MorQ (C, E),
where E/Q is given by y 2 = x3 − 432 as in the introduction, by
x(t) y(t)
φP (t, s) =
,
.
s2 s3
Then the map
λ : Em(t) (Q(t)) → H 0 (C, Ω1C/Q )
is given by λ(P ) = φ∗P ωE , where φ∗P ωE denotes the pullback via φP of the invariant
differential ωE . Proposition 1 of [13] states that λ is a homomorphism with finite
kernel. Therefore, we just need to understand its image.
2.2. Rank at least two. To prove Theorem 1.1, we first need to show that the rank
is at least 2. As Ramanujan has given us two points, we just need to check their
images and see that the differentials are linearly independent. We compute that
1
−1
φ∗P1 ωE = 2 (−5 − 38t + 16t2 )dt and φ∗P2 ωE = 2 (−16 + 38t + 5t2 )dt,
3s
3s
where P1 and P2 are as in 1.2.
4
KEN ONO AND SARAH TREBAT-LEDER
2.3. Rank at most two. Lastly, we need to exclude two independent holomorphic differentials from the image to show that the rank is at most two. The space
H 0 (C, Ω1C/Q ) has dimension 4, and a basis is given by
dt
,
s
t2 dt
ω2 = 2 ,
s
t dt
ω3 = 2 , and
s
dt
ω4 = 2 .
s
ω1 =
As is explained in [13], if ζ3 is a primitive cube root of unity, and ζ is an automorphism of C defined by ζ(t, s) = (t, ζ3 s), then ζ acts on the differentials of C via the
pullback ζ ∗ f (t, s)dt = f (t, ζ3 s) dt for any function f on C. This gives a linear action
on the space H 0 (C, Ω1C/Q ) of holomorphic differentials on C, and a decomposition of
H 0 (C, Ω1C/Q ) into eigenspaces on which ζ acts by multiplication by ζ3i for i = 0, 1, 2.
The image of λ always lands in the ζ31 eigenspace, and therefore ω1 , which is in the
ζ32 eigenspace, cannot be in the image. This shows that the dimension of the image
is at most 3.
Next, we need to get the image down to two dimensions. Consider the involution
304t2 − 281t − 95
441s
σ(t, s) :=
,
.
256t2 − 608t + 361 256t2 − 608t + 2361
The space of σ ∗ -invariant holomorphic differentials is generated by
ω := ω2 −
19ω3 5ω4
−
.
8
16
Hence the quotient of C by ω is elliptic; in fact it is given by
y 2 − 132003308704176245102247936y
= x3 − 7550778520501689214254602155146485718479954847046041.
This is not isogenous to E over Q - it is isogenous to E4 . We show that this implies
that ω is not in the image.
Assume that ω is in the image. Say P = (x(t), y(t)) ∈ Em(t) has λ(P ) = ω. Then
φP ∈ MorQ (C, E) gives a morphism φP ∈ MorQ (C/σ, E). Since ω is non-constant,
φP must be a finite morphism, and hence be an isogeny between C/σ and E. This is
a contradiction. Therefore, we have shown that the rank is exactly two.
THE 1729 K3 SURFACE
5
Remark. We did these calculations using Magma. If G is the automorphism group of
C, then σ = G.1 ∗ G.2. To recognize the quotient as an elliptic curve, a point on it
must be specified. We used [0, 1, 72402101023/2666490096, 0, 0, 7957649/26496].
3. Cubic Twists
3.1. Studying the cubic twists. If E/Q(t) is an elliptic curve which is not isomorphic over Q(t) to an elliptic curve defined over Q, we can specialize t to a rational
number t0 . A result of Silverman [12] gives that for all but finitely many rational
numbers t0 , this specialization map φt0 : E(Q(t)) → Et0 (Q) is an injective homomorphism. Therefore, all but finitely many values of t yield elliptic curves Em(t) (Q) with
rank at least 2. Now, we need to count them.
3.2. Proof of Theorem 1.2. We use a result from [13]. Let F be a binary form
with integer coefficients, non-zero discriminant, and degree r ≥ 3. Let A, B, M, k be
integers with M ≥ 1 and k ≥ 2. Let m be the largest degree of an irreducible factor
of F over Q and suppose that m ≥ 2k + 1. Let w be the largest positive integer
such that wk divides F (a, b) for all integers a and b with a ≡ A (mod M ) and b ≡ B
(mod M ). Let Rk denote the number of k-free integers t with |t| ≤ x such that there
exists integers a and b with a ≡ A (mod M ), b ≡ B (mod M ), and F (a, b) = twk .
Then there exist positive numbers C1 , C2 which depend on M, k, F such that for all
x > C1 , we have that Rk (x) > C2 x2/r .
We apply this result with k = 2 and M = 1 to the binary quadratic form
F (X, Y ) = Y 6 m(X/Y ) = (7Y 2 + XY + Y 2 )(Y 2 + XY + 7Y 2 )(13Y 2 + 23XY + 13Y 2 ).
Note that in this case w = 1. We get that R3 (x) > C2 x1/3 for all x > C1 , which
proves Theorem 1.2.
3.3. Proof of Theorem 1.3. Let d be a cube free integer and r(d) denote the rank
of Ed (Q). In this situation, the Partiy Conjecture implies (see ??) that
Y
(−1)r(d) = −w3 ·
wp ,
p6=3
where
w3 =
−1 if d ≡ ±1, ±3
1
otherwise,
(mod 9)
and for p 6= 3,
−1 if p | d and p ≡ 2 (mod 3)
1
otherwise.
We will find cubic twists with rank at least 2 and root number −1, and hence rank
at least 3 assuming the Parity Conjecture. Taking a ≡ 0 (mod 9) and b ≡ 1 (mod 9)
gives us that F (a, b) ≡ 8 (mod 9), and as long as F (a, b) is square-free, the root
number will be −1.
wp =
6
KEN ONO AND SARAH TREBAT-LEDER
So we have that if k = 2, A = 0, B = 1, M = 9, then there exists C3 , C4 such that
if x > C3 , then R2 > C4 x1/3 . This proves Theorem 1.3.
4. A K3 surface
4.1. Background on K3 surfaces. A K3 surface is a smooth minimal complete
surface that is regular and has trivial canonical bundle. Some examples of K3 surfaces
include intersections of three quadratics in P5 , intersections of a quadric and a cubic
in P4 , and a non-singular degree 4 surface in P3 . André Weil named them in honor
Kummer, Kähler, Kodaira, and the mountain K2.
For a K3 surface X, we define the Picard group to be
Pic(X) := Div(X)/Princ(X).
Restricting to divisors of degree zero, we get
Pic0 (X) := Div0 (X)/Princ(X).
The Néron-Severi group is then defined as
NS(X) := Pic(X)/Pic0 (X).
It is a finitely generated abelian group, and its rank is the Picard number of X. For
K3 surfaces, this Picard Number is always ≤ 20.
4.2. Proof of Theorem 1.4. Consider a Weierstrass equation
y 2 + a1 (t)xy + a3 (t)y = x3 + a2 (t)x2 + a4 (t)x + a6 (t)
with ai (t) ∈ Q[t] and non-constant discriminant ∆(t). The criterion given in [2] on
pages 276-277 show that it’s a K3 surface if the conditions below hold for N = 2 but
not for N = 1.
• The degree of ai (t) ≤ N i.
• No 12th power of a non-constant poly in Q[t] divides
gcd(g2 (t)3 , g3 (t)2 )
or
gcd(t12N g2 (t−1 )3 , t12N g3 (t−1 )2 ).
These hold for our E/Q, which has g2 (t) = 0 and g3 (t) = 1728m(t)2 . Therefore, we
have a K3 surface.
To complete the proof, it suffices to compute the Picard number. Using Tate’s
algorithm, this surface has six bad fibers, each of type IV. The Shioda-Tata formula
for the Picard number ρ then says that
ρ = r + 2 + 6 · 2 = r + 14,
THE 1729 K3 SURFACE
7
with r the C(t)-rank of the elliptic curve defined by our equation.
√ We know that the
2
3
2
Q(t)-rank is 2. Also, note that y = x − 432k has CM over Q( −3), and
!
√
√
−3 3
−1 3
2
2
x
+
576k
x
y
+
384
−3k
y
3
φ(x, y) =
, 9
x2
x3
is an endomorphism of degree 3. The action of the endomorphism ring on our two
independent points gives a Z-module of rank 4. So ρ ≥ 4 + 14 = 18.
By considering the prime of good reduction p = 17 and computing the L-function of
the surface after reduction, we see that the corresponding Picard number over F17 is
at most 18. Using the specialization theorem for the Neron-Severi groups, we obtain
that the rank over C(t) is 4 and the Picard number is exactly 18.
8
KEN ONO AND SARAH TREBAT-LEDER
Appendix
This is the famous page from Ramanujan‘s Lost Notebook on which one finds his
representations of 1729 as the sum of two cubes in two different ways.
THE 1729 K3 SURFACE
9
References
[1] G. E. Andrews and B. C. Berndt, Ramanujan’s lost notebook, Part IV, Springer, New York,
2013.
[2] F. Beukers and J. Stienstra, On the Picard-Fuchs equation and the formal Brauer group of
certain elliptic K3-surfaces, Math. Ann. 271, no. 2 (1985), pages 269–304.
[3] B. J. Birch and N. Stephens, The parity of the rank of the Mordell-Weil group, Topology 5
(1966), pages 295–299.
[4] T. Dokchitser, Notes on the parity conjecture. In Elliptic curves, Hilbert modular forms and
Galois deformations, Adv. Courses Math. CRM Barcelona, pages 201–249. Birkhäuser/Springer,
Basel, 2013.
[5] J. H. Han and M. D. Hirschhorn, Another look at an amazing identity of Ramanujan, Math.
Magazine 79 (2006), pages 302–304.
[6] G. H. Hardy, Ramanujan, Cambridge Univ. Press. Cambridge, 1940.
[7] M. D. Hischhorn, An amazing identity of Ramanujan, Math. Magazine 68 (1995), pages 199–
201.
[8] M. D. Hischhorn, A proof in the spirit of Zeilberger of an amazing identity of Ramanujan, Math.
Magazine 69 (1996), pages 267-269.
[9] M. D. Hischhorn, Ramanujan and Fermat’s last theorem, Austral. Math. Soc. Gaz. 31 (2004),
pages 256–257.
[10] S. Ramanujan, Question 441, J. Indian Math. Soc. 6 (1914), pages 226-227.
[11] S. Ramanujan, Question 571, J. Indian Math. Soc. 7 (1915), page 32.
[12] J. H. Silverman, Taxicabs and sums of two cubes, Amer. Math. Monthly 100, no. 4 (1993),
pages 331–340.
[13] C. L. Stewart and J. Top, On ranks of twists of elliptic curves and power-free values of binary
forms, J. Amer. Math. Soc. 8, no. 4 (1995), pages 943–973.
Department of Mathematics and Computer Science, Emory University, Atlanta,
Georgia 30322
E-mail address: [email protected]
E-mail address: [email protected]