INTEGERS THAT ARE SUMS OF TWO RATIONAL SIXTH POWERS ALEXIS NEWTON AND JEREMY ROUSE Abstract. We prove, assuming GRH, that 164634913 is the smallest positive in- teger that is a sum of two rational sixth powers but not a sum of two integer sixth 6 6 powers. If Ck is the curve x + y = k, we use the existence of morphisms from x6 + y6 = k to elliptic curves, together with the Mordell-Weil sieve, to rule out the existence of rational points on Ck for various k. 1. Introduction and Statement of Results Fermat’s classification of which integers are the sum of two integer squares allows one to prove that if k is a positive integer and there are a, b Q with a2 + b2 = k, then there are c,d Z with c2 + d2 = k. (For more detail, see∈ Proposition 5.4.9 of [4].) ∈ However when considering higher powers, the analogous result is no longer true. 17 3 37 3 In particular, 6 = 21 + 21 despite the fact that there are no integers x and y so that x3 + y3 = 6. In [2], Andrew Bremner and Patrick Morton prove that 25 4 149 4 5906 = 17 + 17 is the smallest positive integer which is a sum of two rational fourth powers, but not a sum of two integer fourth powers. Their proof involves a number of explicit calculations involving class numbers and units in rings of integers of number fields. arXiv:2101.09390v1 [math.NT] 23 Jan 2021 It is natural to ask what can be said about values of n > 4. In particular, is there always an integer k that is a sum of two rational nth powers but not a sum of two integer nth powers? In John Byrum’s unpublished undergraduate thesis (conducted under the direction of the second author), he proves that if there is a prime p 1 (mod 2n) with p 2n2 n + 1, then there is a positive integer k that is a sum of≡ two rational nth powers≤ but− not a sum of two integer nth powers. It is not known that one can find such a prime p. Even assuming the generalized Riemann hypothesis (GRH), the strongest known result at this time is that the smallest prime p 1 (mod 2n) is less than or equal to (φ(2n) log(2n))2 (by Corollary 1.2 of [8]), which is≡ not sufficiently 2010 Mathematics Subject Classification. Primary 11G05; Secondary 14H45, 11Y50. 1 2 ALEXIS NEWTON AND JEREMY ROUSE small unless n = 3. It is conjectured that the smallest prime equivalent to a (mod q) is q1+ǫ which would be sufficient. The goal of the present paper is to handle the case≪n = 6 and prove an analogous result to that of Bremner and Morton. Our main result is the following. Theorem 1. Assume GRH. The smallest positive integer which is a sum of two rational sixth powers but not a sum of two integer sixth powers is 6 6 44 117 164634913 = + . 5 5 To prove the main result we must show that if an integer k < 164634913 is sixth power free and is not a sum of two integer sixth powers, then it is not a sum of two 6 6 6 rational sixth powers either. We proceed by studying when Ck : x + y = kz has a solution in Qp for all primes p, which reduces the number of necessary k to consider to 111626. To handle these, we use maps to elliptic curves. There are two independent 2 3 morphisms from Ck to E1,k : Y = X k. There is also a morphism from Ck to 3 3 − 2 3 2 x + y = k, which is isomorphic to E2,k : Y = X 432k . We rule out many of the − remaining k’s by computing the ranks of E1,k and E2,k and handle the rest using the Mordell-Weil sieve. Remark. We assume GRH to speed up class group computations necessary to perform descents on the curves E1,k and E2,k. The class group computations necessary can be performed unconditionally, but they are substantially slower. For example, a 2-descent on E1,164634913 on a standard desktop takes 11439.42 seconds if done unconditionally, but only 0.82 seconds if GRH is assumed. We note that there are infinitely many integers that are sums of two rational sixth powers but not sums of two integer sixth powers. Theorem 2. Let t be an integer and f1 = (2863 + 10764t)/13 and f2 = (1207 + 6 6 26455t)/13. Then f1 + f2 is an integer that is a sum of two rational sixth powers, but not a sum of two integer sixth powers. 6 6 2 6 The polynomial f1 + f2 is constructed so that the coefficients of t, t ,...,t are all multiples of 13, while the constant coefficient is equivalent to 5 (mod 13). Since it is impossible to have an integer equivalent to 5 (mod 13) be a sum of two integer sixth powers, we have our result. Remark. It seems likely that no positive integer can be written as a sum of two rational sixth powers in more than one way. In [5], Randy Ekl searched for integer solutions to a6 + b6 = c6 + d6 with a = c and a = d and found none for which a6 + b6 < 7.25 1024. The surface X : a66 + b6 = c6 +6 d6 is a surface of general type, · SUMS OF TWO SIXTH POWERS 3 and the Bombieri-Lang conjecture predicts that there are only finitely many rational points on X that do not lie on a genus 0 or 1 curve. Acknowledgements. This work represents joint work done when the first author was a master’s student at Wake Forest University. Computations were done in Magma [1] version V2.24-2. 2. Background We let Qp denote the field of p-adic numbers. A necessary condition for a curve C/Q to have a rational point is for C(R) = and C(Qp) = for all primes p. If C satisfies this condition, we say that C is locally6 ∅ solvable. 6 ∅ For our purposes, an elliptic curve is a smooth cubic curve of the form 2 3 2 E : y + a1xy + a3y = x + a2x + a4x + a6. There is a natural abelian group structure on E(Q), the set of rational points on E. Theorem 3 ([9], Theorem VIII.4.1). The group E(Q) is finitely generated. That is, r there is a finite group E(Q)tors so that E(Q) ∼= E(Q)tors Z for some non-negative integer r. × The non-negative integer r is called the rank of E(Q). The elliptic curves that are relevant to our problem are those of the form y2 = x3 k or y2 = x3 432k2. The determination of the torsion subgroups of these elliptic− curves dates− back to the work of Fueter in 1930. Theorem 4 ([6]). If E : y2 = x3 + a, then Z/6Z if a is a sixth power, Z/3Z if a is a square but not a sixth power or a is 432 times a sixth power, Q E( )tors ∼= − Z/2Z if a is a cube but not a sixth power, Z/1Z otherwise. To determine the rank of E(Q) we will use the built-in implementation in Magma [1]. In most situations, the default 2-descent and 4-descent methods suffice, but occasional situations require 3-descents and 12-descents. The Mordell-Weil sieve is a technique for proving that a curve C has no rational points. For a thorough treatment of this subject, see the paper of Nils Bruin and Michael Stoll [3]. 4 ALEXIS NEWTON AND JEREMY ROUSE Let J be the Jacobian of C and assume that we have in hand a Q-rational divisor D of degree 1 on C. Let ι: C J be the map ι(P )= P D. Fix a positive integer N and a finite set S of primes.→ We then have the following− commutative diagram. C(Q) ι / J(Q)/NJ(Q) α β / p∈S C(Fp) p∈S J(Fp)/NJ(Fp) Q Q If C(Q) is non-empty, then there will be an element in p∈S J(Fp)/NJ(Fp) that is in the image of both α and β. Therefore, if we can findQ an N and a finite set S for which the image of α and the image of β are disjoint, then C(Q) is empty. 2 3 2 3 2 The curve Ck has two maps to E1,k : y = x +k and one map to E2,k : y = x 432k , − so we will replace J with E1,k or E2,k (or occasionally E1,k E1,k) in our applications. This flexibility is useful: for a fixed k we only need to determine× the Mordell-Weil group of either E1,k or E2,k to be able to apply the Mordell-Weil sieve. 3. Finding an integer that is a sum of two rational sixth powers We will describe briefly how the representation of 164634913 = (44/5)6 + (117/5)6 was generated by the authors. We seek integers x, y and m for which x6 + y6 0 (mod m6) with gcd(x, m) = gcd(y, m) = 1. This equation implies that xy−1 must≡ have order 4 or 12 in (Z/m6Z)× which implies that all the prime factors of m must be 1 (mod 4). The smallest such m is m = 5. ≡ We let q = 1068 be an element of order 4 in (Z/56Z)×.