Periodic continued fractions and elliptic curves over quadratic fields arxiv: v2 [math.nt] 25 Nov 2014

Periodic continued fractions and elliptic curves over quadratic fields arxiv:1411.6174v2 [math.nt] 25 Nov 2014 Mohammad Sadek Abstract Let fx be a square free quartic polynomial defined over a quadratic field K such that its leading coefficient is a square. If the continued fraction expansion of fx is periodic then its period n lies in the set {123456789101112131415171822263034}. We write explicitly all such polynomials for which the period n occurs over K but not over Q and n {131517}. Moreover we give necessary and sufficient conditions for the existence of such continued fraction expansions with period 13 15 or 17 over K. 1 Introduction Let E be an elliptic curve defined over a field K whose characteristic is different from 23. One can describe E using an equation of the form y 2 = fx where fx is a square free quartic polynomial whose leading coefficient is a square in K. In [1] the authors were able to prove that the continued fraction expansion of fx is periodic if and only if the point + is of finite order on E. Furthermore the period of the continued fraction expansion can be determined once the order of the point + is known. Given a square free quartic polynomial fx = a 0 x 4 +a 1 x 3 +a 2 x 2 +a 3 x+a 4 defined over K whose leading coefficient a 0 is a square the curve defined by the equation C : y 2 = fx has a rational point namely 1 : ± a 0 : 0. Therefore the curve C is isomorphic over K to its Jacobian elliptic curve E. The continued fraction expansion of fx is periodic if and only if the order of + in EK is finite. In fact if Mathematics Subject Classification: 11A55 11J70 1

the order of + is n then the period of the continued fraction is either n 1 or 2n 1 where the second case occurs only if n is even. The above argument leads one to study elliptic curves with torsion points in order to investigate quartic polynomials fx where the continued fraction expansion of fx is periodic. An elliptic curve with a K-rational torsion point of order n can be written in Tate s normal form; namely E bc : y 2 +1 cxy by = x 3 bx 2 where bc K. If fx has a square leading coefficient such that the continued fraction expansion of fx is periodic then there exist bc K such that the curve C : y 2 = fx is isomorphic to E bc. In [2] Alfred van der Poorten wrote explicitly all square free quartic polynomials fx over Q with a square leading coefficient such that fx is periodic. Following Mazur s classification of torsion points of elliptic curves over Q the possible periods are {1234567891011141822}. In fact it was shown that all of these periods occur over Q except for 9 and 11 as there is no such polynomial over Q such that the continued fraction expansion of fx is of period 9 nor 11. In this article we write down all square free quartic polynomials fx with a square leading coefficient such that the continued fraction expansion of fx is periodic over some quadratic field K. According to the classification of torsion points of elliptic curves over quadratic fields the possible periods are the ones over Q together with {91112131517263034}. We prove that the periods 9 11 occur over some quadratic fields. Moreover we display all quartic polynomials that give rise to the periods 12263034. In addition we present the quadratic fields with the smallest absolute value of their discriminants over which these periods occur. Finally we give necessary and sufficient conditions for the odd periods 131517 to occur over a quadratic field K. More precisely we show that the period n n = 131517 occurs if and only if there exists a z K such that z 2 = αts for some K-rational point ts lying on the modular curve X 1 n+1. 2 Continued fractions and elliptic curves Let E be an elliptic curve defined over a field K with chark 2. Let π : E P 1 be a degree 2 separable map. Let x KP 1 have a simple pole at a point P 1. Thus 2

one can identify Kx with KP 1. Choosing y KE with a pole of order 2 at + one can construct a hyperelliptic equation y 2 = fx describing E where fx K[x] is a polynomial of degree 4. We can assume moreover that the leading coefficient of fx is a square. The pullback of KP 1 under π consists of two unramified points + and defined over K. Moreover + is a point on the Jacobian curve of E which is E itself. Now 1/x is a uniformising parameter at + and defines an embedding KE L := K1/x. Let α be an element in KE. Then the image of α in L is the Laurent series of α. The element α has a continued fraction expansion 1 αx = a 0 x+ 1 a 1 x+ 1 a 2 x+ a 3 x+... 1 which can be written shortly as [a 0 a 1 a 2 a 3...]. The continued fraction algorithm is defined as follows: a 0 is the polynomial part of α. The partial quotient a h is defined to be the polynomial part of α h then the h+1-thcomplete quotient is α h+1 = α h a h 1 which is again an element in L. The h-th convergent is defined to be p h q h = [a 0 a 1...a h ] h = 012... The complete quotient α h of α is of the form α h = P h + fx /Q h where P h+1 + P h = a h Q h and Q h+1 Q h = fx P 2 h+1. Furthermore degp h+1 = 2 and degq h 1 for all h = 012... The partial quotients a h of α h 1 are polynomials of degree 1. When BC are nonzero in K[x] one obtains the following identity B[Ca 0 Ba 1 Ca 2 Ba 3 Ca 4...] = C[Ba 0 Ca 1 Ba 2 Ca 3 Ba 4...] see [7 p. 140]. A continued fraction of some α KE is said to be periodic if there is a positive integer n such that a h+n = a h for every h > 1. The smallest such n is called the period of the continued fraction. Lemma 2.1. Let y 2 = fx be a hyperelliptic equation describing E where fx K[x] is a square free polynomialof degree 4 whose leading coefficientis a square. The following statements are equivalent. i. The point + is a torsion point on E. 3

ii. y = fx has a periodic continued fraction expansion. Proof: This is the main result of [1] see [7 Lemma 7]. The period of the continued fraction expansion of y is determined by the following proposition see [1 Corollary 4.4]. Proposition 2.2. If the order of + is n then the period of the continued fraction of y is either n 1 or 2n 1. Moreover the second case holds only if n is even. The following lemma describes the partial quotients of the continued fraction in Lemma 2.1. Lemma 2.3. Let fx be a quartic polynomial over K whose leading coefficient is a square. Assume moreover that fx has no repeated roots. Assume that the continued fraction expansion of fx is periodic. Then the continued fraction expansion of fx is given by: fx = [a 0 a 1...a r 1 2a 0 /kka 1...a r 1 /k2a 0 ] where a 0 is of degree 2 and a i is of degree 1 1 i r 1. Furthermore a i = k m i a r i where m i = 1 i+1 1 i < r +1/2. Hence if r is even then k = 1. Proof: This is [8 Proposition 3]. Remark 2.4. In Lemma 2.3 if k = 1 then the period length is r. If k 1 in particular r is odd then µy has period length r if and only if µ 2 = 1/k. This follows because the continued fraction of µy is given by [ ] µy = µa 0 a 1 /µµa 2...µa r 1 2a 0 /kµkµa 1...a r 1 /kµ2a 0 µ hence µ = 1/kµ. Remark 2.5. The explicit description of the partial quotients of the continued fraction expansion of fx where fx = x 2 +u 2 4vx+w can be found in [2 4] and is given as follows: a 0 = x 2 +u a 1 = 2x w/v a i = 2x c i /b i i 2 4

where b 2h = s 3s 5...s 2h 1 s 2 s 4...s 2h and b 2h+1 = 4v s 2s 4...s 2h s 3 s 5...s 2h+1 s 2 = 1; s 3 = v/ 2w+1; s h = v/s h 1 s h 1 1s h 2 h 4. If the continued fraction of fx is periodic with period n then c h = c n h 1 h n 1. 3 Torsion points of elliptic curves Since Mazur s classification of torsion points of elliptic curves defined over Q an enormous amount of research has been directed toward studying torsion points of elliptic curves over number fields. Theorem 3.1. Let E be an elliptic curve defined over Q. Then the torsion subgroup E tor Q is isomorphic to one of the following 15 groups: Z/nZ 1 n 12 n 11; or Z/2Z Z/2nZ 1 n 4. The theorem above together with Proposition 2.2 implies that if y 2 = fx is a quartic model for E such that + has finite order then fx has continued fraction expansion with period r where r {1234567891011141822}. In [8] it was proved that the period r does not take the values 911. For quadratic extensions of Q a series of papers by Kamienny Kenku and Momose leads to the following analogue of Mazur s classification of torsion points of elliptic curves. Theorem 3.2. Let K be a quadratic extension of Q. Let E be an elliptic curve defined over K. Then the torsion subgroup E tor K is isomorphic to one of the following 26 groups: Z/nZ 1 n 18 n 17; Z/2Z Z/2nZ 1 n 6; Z/3Z Z/3mZ 1 n 2; Z/4Z Z/4Z. 5

Remark 3.3. The theorem above together with Proposition 2.2 indicate that if y 2 = fx is a quartic model for E/K then if + is a point of finite order on E then the continued fraction of fx is periodic and the period is in the set S = {123456789101112131415171822263034}. It follows that the periods that may occur over K but not over Q are in the set S = {91112131517263034}. In this paper we investigate whether all the values in the set S are realized over some quadratic field. In other words does every r S appear as the period of the continued fraction of fx for some square free polynomial fx K[x] of degree 4 whose leading coefficient is a square where K is a quadratic field? Tate s normal form is a Weierstrass equation describing an elliptic curve with nontrivial torsion points namely it is given by y 2 +1 cxy by = x 3 bx 2 where the point 00 is a point of finite maximal order which is neither 2 nor 3. Kubert was the first to list all elliptic curves over Q with a torsion point in Tate s normal form see [4]. More precisely a parametrization of the coefficients b c were given explicitly in terms of a parameter t for every elliptic curve in the list of Theorem 3.1. These normal forms were used in [8] to produce all periodic continued fractions of fx where fx is a square free polynomial of degree 4 over Q. Inordertoextendtheworkof[8]overquadraticfields oneneedstoseekaparametrization for elliptic curves with torsion points over quadratic fields. This can be found in [6]. Let Y 1 MN be the affine modular curve parametrizing isomorphism classes of triples EP M P N where P M P N are points on the elliptic curve E such that P M P N = Z/MZ Z/NZ with M N. Let X 1 MN be the compactification of Y 1 MN namely X 1 MN is obtained from Y 1 MN by adding the cusps. For simplicity we are going to write X 1 N instead of X 1 1N. The following theorem is [5 Theorem 2]. It provides the complete list of orders of torsion points of elliptic curves defined over either Q 1 or Q 3. Theorem 3.4. i. Let E be an elliptic curve over Q 1. Then E Q 1 is tor either one of the groups from Mazur s Theorem or Z/4Z Z/4Z. ii. Let E be an elliptic curve over Q 3. Then E Q 3 is either one of the tor groups from Mazur s Theorem Z/3Z Z/3Z or Z/3Z Z/6Z. 6

In fact the only quadratic field over which torsion Z/4Z Z/4Z occurs is Q 1 and the only quadratic field over which torsion Z/3Z Z/3Z and Z/3Z Z/6Z occur is Q 3. For the convenience of the reader we write down the defining equations of the curves X 1 MN that correspond to elliptic curves with torsion points over a quadratic field but not all of them are defined over the rational field. We use the following defining equations that were collected from different sources in [3]. Curve Equation Cusp X 1 11 y 2 y = x 3 x xx 1x 5 18x 4 +35x 3 16x 2 2x+1 = 0 X 1 13 y 2 = x 6 2x 5 +x 4 2x 3 +6x 2 4x+1 xx 1x 3 4x 2 +x+1 = 0 X 1 14 y 2 +xy +y = x 3 x xx 1x+1x 3 9x 2 x+1x 3 2x 2 x+1 = 0 X 1 15 y 2 +xy +y = x 3 +x 2 xx+1x 4 +3x 3 +4x 2 +2x+1x 4 7x 3 6x 2 +2x+1 = 0 X 1 16 y 2 = xx 2 +1x 2 +2x 1 xx 1x +1x 2 2x 1x 2 +2x 1 = 0 X 1 18 y 2 = x 6 +2x 5 +5x 4 +10x 3 +10x 2 +4x+1 xx+1x 2 +x+1x 2 3x 1 = 0 X 1 210 y 2 = x 3 +x 2 x xx 1x +1x 2 +x 1x 2 4x 1 = 0 X 1 212 y 2 = x 3 x 2 +x xx 12x 12x 2 x+13x 2 3x 16x 2 6x 1 = 0 In order to find elliptic curves over K with torsion Z/nZ Z/mZ one checks whether X 1 MN has a K-rational point which is not a cusp. 4 Quartic models of elliptic curves We write down theisomorphisms between Tate s elliptic curve E bc : y 2 +1 cxy by = x 3 bx 2 and an elliptic curve in short Weierstrass normal form. These can be found for example in [8]. This is performed via the following change of variables x = u 2 x +ry = u 3 y +su 2 x +t where u = 1 r = c 2 2c 4b+1/12 s = c 1/2 t = c 3 3c 2 4b 3c 8b+1/24. Now the elliptic curve E bc is isomorphic to E : y 2 = x 3 +Ax+BAB K. Moreover the torsion point 00 is transformed to a torsion point P = c 2 2c 4b+ 1/12 b/2 of maximal order. In addition any other elliptic curve described by a short Weierstrass equationandisomorphictoe bc will beisomorphictoe via atransformation of the form x = u 2 x y = u 3 y. 7

Letv 2 = u 3 +Au+B AB KbeaWeierstrassequationdescribinganellipticcurve E with a rational point Pab EK. One can write a quartic model describing E for which the points P and O are the points at infinity using the following transformation that can be found in [1]. Namely one has uv xy = v +b 2u+a v +b/u a2 u a xy uv = x 2 +y a/2 x 3 +xy 3ax 2b/2 2 define a birational equivalence between E and the curve E P described by y 2 = x 4 6ax 2 8bx 4A 3a 2 where B = b 2 a 3 Aa. ; Furthermore the point P and the point at infinity O on E are sent to the points at infinity on E P. We conclude with the following proposition. Proposition 4.1. Let E be an elliptic curve over a field K such that chark 23. Assume moreover that E has a K-rational point of finite order m. Then there exist bc K such that E is K-isomorphic to an elliptic curve described by the following equation y 2 = x 2 +u m bc 2 4vm bcx+w m bc where u m bc = 3abc = c 2 2c 4b+1/4; v m bc = b; w m bc = Abc+3abc 2 /b; Abc = 16b 2 1+c 4 +8b 2+c+c 2 /48; Bbc = 64b 3 + 1+c 6 12b 1+c 3 2+c+24b 2 5+2c+2c 2 /864 = b/2 2 abc 3 Abcabc. Proof: This follows from the argument above observing that any elliptic curve E with a point of finite order can be described by a Tate s normal form equation y 2 + 1 cxy by = x 3 bx 2 where 00 is the torsion point of maximal order. Then using a birational equivalence one can describe E by the following quartic model y 2 = x 4 6abcx 2 4bx 4Abc 3abc 2 = x 2 3abc 2 4b x+ Abc+3abc2. b Now two birationally equivalent projective curves are isomorphic. 8

Corollary 4.2. Let fx be a square free quartic polynomial defined over K chark 23 whose leading coefficient is a square. If the continued fraction expansion of fx is periodic then the curve y 2 = fx is K-isomorphic to an elliptic curve defined by the following equation y 2 = x 2 +u m bc 2 4v m bcx+w m bc where u m bcv m bcw m bc are defined as in Proposition 4.1. Proof: Let fx = a 0 x 4 + a 1 x 3 + a 2 x 2 + a 3 x + a 4. The curve C : y 2 = fx is an elliptic curve since 1 : ± a 0 : 0 CK. It follows that C is K-isomorphic to its Jacobian elliptic curve E. Moreover since the continued fraction of fx is periodic then + is of finite order in EK. One concludes using Proposition 4.1. 5 Continued fraction with periods 9 and 11 In [8] it was proved that there is no quartic polynomial fx over Q with square leading coefficient such that the continued fraction of fx is periodic of period 9 or 11. We give explicit examples of square-free polynomials of degree 4 whose square root has a continued fraction expansion with periods 9 and 11 over quadratic fields. In fact we find the quadratic fields with the smallest absolute value of the discriminant over which these polynomials exist and the quadratic fields with the smallest over which infinitely many such polynomials exist. Theorem 5.1. The quadratic field Q 1 is the quadratic field with the smallest over which there is a square free quartic polynomial fx for which the continued fraction of fx has period 9 whereas Q 2 is the quadratic field with the smallest over which there are infinitely many such quartic polynomials. Proof: According to Proposition 2.2 if the point + on the hyperelliptic curve y 2 = fx has order 10 then the period of the continued fraction of fx is either 9 or 18. The parametrization of an elliptic curve with a torsion point of order 10 is given by E bc : y 2 +1 cxy by = x 3 bx 2 where t 3 t 12t 1 bc = tt 12t 1. t 2 3t+1 2 t 2 3t+1 9

According to Proposition 4.1 the elliptic curve E bc can be described by a quartic model given by y 2 = X 2 +u 10 2 4v 10 X +w 10 where u 10 t = 4t6 16t 5 +8t 4 +8t 3 4t+1 4t 2 3t+1 2 v 10 t = t3 t 12t 1 w t 2 3t+1 2 10 t = 2t3 2t 2 2t+1 2t 2 3t+1 with tt 12t 1t 2 3t + 1 0 and k 10 t = 4tt 1t 2 3t + 1. Now the continued fraction expansion of y is given by [ y = X 2 4t6 16t 5 +8t 4 +8t 3 4t+1 4t 2 3t+1 2 t2 3t+1 X 2t3 6t 2 +4t 1 2tt 12t 1 2t 2 3t+1 2t 2 3t+1 3 t 2 2t 1 2t 2 3t+1 2 2t 1 X 2t3 2t 2 2t+1 2t 2 3t+1 t 2 3t+1 2 2t 3 t 12t 1 2t2 3t+1 2 t X 2t3 2t 2 2t+1 2t 2 3t+1 X + X 2t3 6t 2 +4t 1 2t 2 3t+1 2t 1 1 2t 2 3t+1 2t 2 t 1 1 2tt 1t 2 3t+1 1 2tt 1t 2 3t+1 2 X + 2t3 4t 2 +4t 1 2t 2 3t+1 X + 2t 1 2t 2 3t+1 X + 2t3 4t 2 +4t 1 2t 2 3t+1 X 2 4t6 16t 5 +8t 4 +8t 3 4t+1 4t 2 3t+1 2... ]. According to Lemma 2.3 the continued fraction of µy is periodic of period 9 if and only if a 9 µy/a 0 µy = 2 where a i µy is the i-th partial quotient of µy. Equivalently when k 10 = 1/µ 2 see Remark 2.4. In other words one needs to investigate C 10 K where C 10 : y 2 = k 10 := 4tt 1t 2 3t+1 y 0. The Jacobian elliptic curve E 10 of C 10 is given by y 2 = x 3 x 2 x. One has E 10 Q 1 = Z/6Z which means that E 10 contains points which are not cusps over Q 1 whereas E 10 K = Z/2Z when K = Q 3. Therefore Q 1 is the quadratic field with the smallest discriminant over which E 10 has rational points which are not cusps and therefore Q 1 is the quadratic field over which there exists a quartic polynomial whose square root has a continued fraction of period 9. Furthermore ranke 10 Q 2 = 1 whereas ranke 10 K = 0 for any quadratic field K with < 8. In fact the rank of E 10 Q 2 is 0. Thus Q 2 is the quadratic field with the smallest discriminant over which there are infinitely many quartic polynomials fx such that the period of the continued fraction expansion of fx is 9. Theorem 5.2. The quadratic field Q 1 is the quadratic field with the smallest over which there is a square free quartic polynomial fx for which the continued fraction of fx has period 11 whereas Q 5 is the quadratic field with the smallest over which there are infinitely many such quartic polynomials. 10

Proof: Let fx be a quartic polynomial. If the point + has order 12 on the curve y 2 = fx then the period of the continued fraction of fx is either 11 or 22. An elliptic curve with a torsion point of order 12 has the following parametrization E bc : y 2 +1 cxy by = x 3 bx 2 where t2t 12t 2 2t+13t 2 3t+1 bc = t2t 13t2 3t+1 t 1 4 t 1 3 where tt 12t 12t 2 2t+13t 2 3t+1 0. A quartic model for the elliptic curve E bc onwhich + isapoint of order 12 isgiven by y 2 = X 2 +u 12 2 4v 12 X+w 12 where u 12 t = 12t8 120t 7 +336t 6 468t 5 +372t 4 168t 3 +36t 2 1 4t 1 6 v 12 t = t2t 12t2 2t+13t 2 3t+1 w t 1 4 12 = 6t4 8t 3 +2t 2 +2t 1 2t 1 3 with k 12 t = 4t2t 12 3t 2 3t+1 3. Now the continued fraction of y can be found t 1 11 in [8] up to a 11 y: [ y = X 2 +u 12 t t 1 4 2t2t 12t 2 2t+13t 2 3t+1 t 1 3 2t2t 13t 2 3t+1 t 1 6 2t2t 13t 2 3t+1 2 t 1 10 2t2t 1 2 2t 2 2t+13t 2 3t+1 2 2t 1 11 2t2t 1 2 3t 2 3t+1 3 X 2t4 +2t 3 6t 2 +4t 1 2t 1 3 X 6t4 8t 3 +2t 2 +2t 1 2t 1 3 X 2t 12t2 2t+1 2t 1 3 X + 2t4 4t 3 +6t 2 4t+1 2t 1 3 X + 6t4 10t 3 +8t 2 4t+1 2t 1 3 23t 2 3t+1 t 12t 2 2t+1 22t 13t2 3t+1 t 1 5 22t 13t2 3t+1 2 t 1 8 22t 13t2 3t+1 2 t 1 7 2t 2 2t+1 2 X + 6t4 10t 3 +8t 2 4t+1 2t 1 3 X + 2t4 4t 3 +6t 2 4t+1 2t 1 3 X 2t 12t2 2t+1 2t 1 3 X 2t4 +2t 3 6t 2 +4t 1 2t 1 3 X 6t4 8t 3 +2t 2 +2t 1 2t 1 3 t 1 11 2t2t 1 2 3t 2 3t+1 3 X 2 +u 12 t... One concludes that for µy to have a periodic continued fraction of period 11 one must have a 11 µy/a 0 µy = 2 in other words k 12 t = 1/µ 2 see Remark 2.4. This implies that1/µisthey-coordinateofarationalpointonthecurvey 2 = 4t2t 12 3t 2 3t+1 3 t 1 11. Considering the square free part of k 12 t one needs to find a rational point on the elliptic curve C 12 : y 2 = t3t 2 3t + 1t 1. The Jacobian elliptic curve of C 12 is E 12 : y 2 = x 3 +x 2 +x. One has E 12 Q 3 = Z/2Z Z/2Z where all of the points are cusps. In fact E 12 Q 1 = Z/8Z where atleast oneof thepointsis notacusp. Therefore Q 1 ]. 11

is the quadratic field with the smallest absolute value of its discriminant over which there is a quartic polynomial for which the continued fraction of the square root is periodic with period 11. One has ranke 12 Q d = 0 where d = 1±2±3 5 whereas ranke 12 Q 5 = 1. Therefore the quadratic field with the smallest over which E 12 hasarationalpointisq 5. ItfollowsthatQ 5isthequadraticfieldwith the smallest over which there are infinitely many square free quartic polynomials for which the continued fraction of the square root is periodic with period 11. Remark 5.3. In [8] the periods 18 and 22 were shown to be realized over Q. More precisely the authors used the parametrization of elliptic curves with torsion points of order 10 and 12 to write the square free quartic polynomials fx over Q such that the continued fraction expansion of fx is of period 18 and 22 respectively. Now one has the following direct consequence giving a complete list of periods occurring over Q 1 and Q 3. Corollary 5.4. Assume that fx is a square free quartic polynomial over K whose leading coefficient is a square. If the continued fraction expansion of fx is periodic with period n then i. If K = Q or Q 3 then n S = {1234567810141822}. Moreover for any r S there is a square free quartic polynomial defined over Q such that the continued fraction of fx is periodic with period r. ii. If K = Q 1 then n T = S {911}. Moreover for any r T there is a square free quartic polynomial defined over Q 1 such that the continued fraction of fx is periodic with period r. Proof: The list S in i was proved to be complete over Q see the discussion in 3. The classification of torsion points of an elliptic curve defined over Q 1 and Q 3 is given in Theorem 3.4. More specifically a torsion point on E has maximal order 12. Therefore the possible periods occurring over Q 1 and Q 3 are those occurring over Q together with 911. According to Theorem 5.1 the field with the smallest absolute value of its discriminant over which the periods 9 and 11 occur is Q 1. 12

6 The even periods 10 12 14 The parametrization of elliptic curves with torsion points over quadratic fields was performed explicitly in [6]. The parameters are rational points on a modular curve whose genus is either 1 or 2. We write explicitly the square free quartic polynomials fx such that the continued fraction of fx is periodic of even period n where n occurs over a quadratic field but not over the rational field. In this section we find those that give rise to the periods 1012 and 14. Although the periods 10 and 14 occur over Q there are different families of quartic polynomials over quadratic fields that give rise to the periods 10 and 14. 6.1 Period 10 Over Q quartic polynomials whose square roots have periodic continued fraction with period 10 originate from elliptic curves with torsion points of order 6. Over quadratic fields there is another source for these quartic polynomials namely elliptic curves whose torsion is of order 11. Theorem 6.1. Let fx be the quartic polynomial fx = x 2 +u 10 2 4v 10 x+w 10 defined over a quadratic field K where i. u 10 t = 3t 2 + 6t 1/4 v 10 t = 4tt + 1 w 10 t = t 1/2 where tt + 13t 2 +6t 1 0 or; ii. u 10 st = s4 +2s 3 t+t 2 +6st 2 3s 2 t2+t 4t 2 ; v 10 st = 1+sss t ; t w 10 st = s2 t st 2t where ts X 1 11K X 1 11 : s 2 s = t 3 t 2 and tt 1t 5 18t 4 +35t 3 16t 2 2t+1 0. Then the continued fraction of fx is periodic with period 10. Proof: In order for the continued fraction expansion of fx to be periodic of period 10 the order of the curve y 2 = fx at + must be either 6 or 11 see Proposition 2.2. 13

i. The curve C : y 2 = fx has order 6 at + this can be found for example in [8 p. 109]. ii. An elliptic curve with a torsion point of order 11 can be described as follows y 2 + st+t s2 t xy + ss 1s t t y = x 3 + ss 1s t x 2 t where ts X 1 11 : s 2 s = t 3 t 2 and tt 1t 5 18t 4 +35t 3 16t 2 2t+1 0. Observing that b c = ss 1s t 1 st+t s2 the result follows from t t Proposition 4.1. 6.2 Period 12 Theorem 6.2. Let fx be the quartic polynomial fx = x 2 +u 12 2 4v 12 x+w 12 defined over a quadratic field K where u 12 ts = 1 { 16t 10 1 2t 5t 2 +12t 3 +23t 4 56t 5 21t 6 +84t 7 +12t 8 58t 9 +11t 10 +16t 11 2t 12 4t 13 +t 14 } + s 2 1 +t 4 1+t+t 2 2 2s 1+t 2 1 2t 3t 2 +11t 3 6t 4 +2t 5 3t 6 6t 7 t 8 +t 9 ; v 12 ts = 1 6t+14t2 13t 3 +t 4 +2t 5 +4t 6 t 7 t 8 +s 1+t 2 1+4t 5t 2 +2t 4 +t 5 2t 9 ; w 12 ts = 1+5t 9t2 +5t 3 +2t 4 3t 5 2t 6 +t 7 s 1+t 2 1+t+t 2 4t 5 where ts is a point on X 1 13K X 1 13 : s 2 = t 6 2t 5 + t 4 2t 3 + 6t 2 4t+1 such that tt 1t 3 4t 2 +t+1 0. Then the continued fraction of fx is periodic with period 12. Further the quadratic field with the smallest over which such quartic polynomial exists is Q 17. Moreover there are at most finitely many such quartic polynomials over a quadratic field K. Proof: If the curve C : y 2 = fx has a point of order 13 at + then the continued fraction of fx is periodic with period 12. An elliptic curve with a point of order 13 is one of the following elliptic curves y 2 +1 cxy by = x 3 bx 2 where 00 is a point of order 13 and 1 c = t 12 t 2 +t 1s t 7 +2t 6 +3t 5 2t 4 5t 3 +9t 2 5t+1 2t 5 ; b = t 12 t 5 +2t 4 5t 2 +4t 1s t 8 t 7 +4t 6 +2t 5 +t 4 13t 3 +14t 2 6t+1 2t 9 where ts is a point on X 1 13 : s 2 = t 6 2t 5 + t 4 2t 3 + 6t 2 4t + 1 such that tt 1t 3 4t 2 +t+1 0. The field Q 17 is the quadratic field with the smallest suchthatx 1 13KcontainsaK-rationalpointwhichisnotacusp see[3 Theorem 3]. Moreover the finiteness follows because X 1 13 is a curve of genus 2. 14

Remark 6.3. Over Q 17 one has 2 17 X 1 13 Q 17. Therefore the continued fraction of the square root of the following quartic polynomial is periodic over Q 17 with period 12 fx = 6.3 Period 14 x 2 3 219+221 17 8192 2 107 51 17 256 x+ 51+5 17 128 Theorem 6.4. Let fx be the quartic polynomial fx = x 2 +u 14 2 4v 14 x+w 14 defined over a quadratic field K where i. ii. or; u 14 ts = u 14 t = 4 1 4t 2 + 2 t +t+t2 v 14 t = 1+t 1 +2t w 14 t = 2 1 2t t; 1 { 41 +t 6 1+t+t 2 2 1+8 6st+30 14s+s 2 t 2 2 39 +11s+s 2 t 3 +143 16s+s 2 t 4 + 449 +st 5 +199 +12st 6 +270 +3st 7 +63t 8 +14t 9 +t 10} ; v 14 ts = t3 1+t1 +t+3t 2 +t 3 st 1 t 2t 2 +t 4 1+t 6 1+t+t 2 ; w 14 ts = 1 4 +st+7 +st2 +9t 3 +5t 4 +t 5 21 +t 3 1+t+t 2 where ts X 1 15K X 1 15 : s 2 + ts + s = t 3 + t 2 and tt + 1t 2 + t + 1t 4 +3t 3 +4t 2 +2t+1t 4 7t 3 6t 2 +2t+1 0. Then the continued fraction of fx is periodic with period 14. Proof: For the continued fraction expansion of fx to be periodic of period 14 the order of the curve y 2 = fx at + must be either 8 or 15 see Proposition 2.2. In what follows we describe both possibilities respectively. i. An elliptic curve has order 8 at + if it is parametrized as follows y 2 +1 t 12t 1/txy t 12t 1y = x 3 t 12t 1x 2. ii. An elliptic curve with a torsion point of order 15 can be described as follows y 2 + 1 cxy by = x 3 bx 2 where 1 c = t2 ts+t 5 +5t 4 +9t 3 +7t 2 +4t+1 ; t+1 3 t 2 +t+1 b = tt4 2t 2 t 1s+t 3 t+1t 3 +3t 2 +t+1 t+1 6 t 2 +t+1 15.

where ts X 1 15 : s 2 +ts+s = t 3 +t 2 and tt+1t 2 +t+1t 4 +3t 3 +4t 2 +2t+ 1t 4 7t 3 6t 2 +2t+1 0. In i and ii one uses Proposition 4.1 to produce the square free quartic polynomial fx. Remark 6.5. In Theorem 6.1 andtheorem 6.4 the smallest field over which the periods 10 and 14 occur is the rational field Q. 7 The periods 13 26 15 30 17 34 In this section we parametrize the square free quartic polynomials fx defined over a quadratic field K for which the continued fraction expansion of fx is periodic with period 26 30 or 34. Furthermore we present necessary and sufficient conditions in order for the continued fraction expansion of µ fx µ K to be periodic with period 13 15 or 17. The reason we investigate the pairs 132615301734 of periods is that each pair arises from elliptic curves of the same torsion order. For example elliptic curves with K-rational torsion points of order 14 give rise to quartic polynomials of either periods 13 or 26 see Proposition 2.2. 7.1 Periods 13 and 26 Theorem 7.1. Let fx = x 2 + u 2 4vx + w be defined over a quadratic field K where ut s = 1 41 3t 2 t 3 +t 4 21 12t2 +s 2 1 +t 4 t 2 +8t 3 +14t 4 4t 5 4t 7 +t 8 2st3 8t+t 2 +12t 3 7t 4 2t 5 +t 6 ; vts = 1+tts 1 +2t 2t3 +t 1 +t t 3 +t 4 1 3t 2 t 3 +t 4 2 ; wts = 1 s 1+t2 t 4t 2 +t 4 21 3t 2 t 3 +t 4 ts X 1 14K X 1 14 : s 2 +st+s = t 3 t such that tt 1t+1t 3 9t 2 t+ 1t 3 2t 2 t+1 0. Then one has: i. The continued fraction of fx is periodic with period 26. The field Q 7 is the quadratic field with the smallest over which there are quartic polynomials whose square root has a periodic continued fraction with period 26. ii. There exists a µ K such that the continued fraction expansion of µ fx is of period 13 if and only if α 13 ts is a K-square for some ts X 1 14K 16

tt 1t+1t 3 9t 2 t+1t 3 2t 2 t+1 0 where α 13 ts = 1+tt1 +t1 t 2t 2 +t 3 s t+st s s 2 t+st+3s 2 t+2t 2 +4st 2 3s 2 t 2 +3t 3 4st 3 +s 2 t 3 2t 4 +st 4 s+t 2st t 2 +2st 3 +t 4 t 5 s 2 s 3 2st+3s 2 t+5s 3 t t 2 +8st 2 9s 3 t 2 +4t 3 10st 3 11s 2 t 3 +5s 3 t 3 5t 4 5st 4 +18s 2 t 4 +4s 3 t 4 t 5 +35st 5 5s 2 t 5 6s 3 t 5 +21t 6 18st 6 8s 2 t 6 +2s 3 t 6 7t 7 14st 7 +10s 2 t 7 13t 8 +17st 8 5s 2 t 8 +6t 9 5st 9 +s 2 t 9. Proof: Anellipticcurve with atorsionpoint oforder 14isgivenby y 2 +1 cxy by = x 3 bx 2 where 1 c = t4 st 3 +2s 4t 2 st+1 ; t+1t 3 2t 2 t+1 b = t7 +2t 6 +2s 1t 5 + 2s 1t 4 + 2s+2t 3 +3s 1t 2 st t+1 2 t 3 2t 2 t+1 2 where ts X 1 14 : s 2 +st+s = t 3 t such that tt 1t+1t 3 9t 2 t+1t 3 2t 2 t+1 0. Now one uses Proposition 4.1 to produce fx. One has X 1 14Q 7 = Z/2Z Z/6Z where not all of these torsion points are cusps moreover X 1 14 contains only K-rational points which are cusps over any quadratic field K of smaller see for example [3]. According to Lemma 2.3 and Remark 2.4 one deduces that kts in fx = [a 0 a 1...a r 1 2a 0 /ktsktsa 1...a r 1 /kts2a 0 ] is a K-square if and only if µ fx has period 13 where µ 2 = kts. One can obtain kts using Lemma 2.3 for example using Remark 2.5 kts = a 7 = b 6x c 7 a 6 b 7 x c 6 where c 6 = c 7. Now kts = vtsβts 2 for some polynomial βts. Therefore kts is a square if and only s 7 if vts/s 7 is a square. Using the definition of s 7 in Remark 2.5 and clearing the denominator of vts/s 7 one takes α 13 ts to be the square free part. Hence kts is a square if and only if α 13 ts is a square. 17

7.2 Periods 15 and 30 Theorem 7.2. Let fx = x 2 + u 2 4vx + w be defined over a quadratic field K where ut s = 1 { 41 +t 10 1+2t+t 2 2 1+34t 69t 2 60t 3 3t 4 570t 5 +943t 6 +792t 7 +1315t 8 +1262t 9 +273t 10 +36t 11 + 95t 12 +42t 13 +5t 14 +s 2 1 7t+6t 2 2t 3 +t 4 +t 5 2 +2s 3+22t+6t 2 126t 3 +151t 4 276t 5 +116t 6 +84t 7 } 53t 8 +30t 9 +38t 10 +10t 11 +t 12 ; vts = 1+t3 s 1+8t 2t 2 +8t 3 +3t 4 +t5 8t+15t 2 +11t 4 +8t 5 +t 6 1+t 8 1+2t+t 2 ; wts = 1 7t+13t2 +7t 3 +33t 4 +15t 5 +3t 6 +t 7 +s1 7t+6t 2 2t 3 +t 4 +t 5 21 +t 5 1 +2t+t 2 where ts X 1 16K X 1 16 : s 2 = tt 2 +1t 2 +2t 1 and tt 1t+1t 2 + 1t 2 2t 1t 2 +2t 1 0. Then one has: i. The continued fraction of fx is periodic with period 30. The field Q 15 is the quadratic field with the smallest over which there is a quartic polynomial whose square root has a periodic continued fraction with period 30. Moreover there are at most finitely many such quartic polynomials over a quadratic field K. ii. There exists a µ K such that the continued fraction expansion of µ fx is of period 15 if and only if α 15 ts is a K-square for some ts X 1 16K 18

tt 1t+1t 2 +1t 2 2t 1t 2 +2t 1 0 where α 15 ts = 1+t 1 +2t+t 2 s 3 st+5s 2 t+17s 3 t+5t 2 +20st 2 45s 2 t 2 90s 3 t 2 69t 3 216st 3 12s 2 t 3 + 114s 3 t 3 +470t 4 +1384st 4 +888s 2 t 4 +153s 3 t 4 1786t 5 3844st 5 1447s 2 t 5 +111s 3 t 5 +3598t 6 +4340st 6 + 723s 2 t 6 +276s 3 t 6 4018t 7 4160st 7 1936s 2 t 7 +156s 3 t 7 +4430t 8 +4488st 8 1144s 2 t 8 +129s 3 t 8 3474t 9 + 2090st 9 1081s 2 t 9 +95s 3 t 9 1048t 10 +2428st 10 1175s 2 t 10 +38s 3 t 10 1996t 11 +3304st 11 548s 2 t 11 + 18s 3 t 11 3102t 12 +1304st 12 256s 2 t 12 +7s 3 t 12 1006t 13 +732st 13 101s 2 t 13 +s 3 t 13 526t 14 +380st 14 15s 2 t 14 62t 15 +48st 15 +250t 16 8st 16 +122t 17 st 17 +19t 18 +t 19 s 5 +s 3 t 13s 4 t 32s 5 t 12s 2 t 2 + 35s 3 t 2 +393s 4 t 2 +421s 5 t 2 +t 3 +69st 3 +287s 2 t 3 1241s 3 t 3 4839s 4 t 3 2920s 5 t 3 133t 4 1841st 4 3007s 2 t 4 +14737s 3 t 4 +31199s 4 t 4 +11415s 5 t 4 +2624t 5 +20091st 5 +12842s 2 t 5 92859s 3 t 5 113607s 4 t 5 25416s 5 t 5 23200t 6 106863st 6 +16038s 2 t 6 +350211s 3 t 6 +241891s 4 t 6 +33947s 5 t 6 +105093t 7 +253022st 7 356848s 2 t 7 827395s 3 t 7 328917s 4 t 7 34336s 5 t 7 237961t 8 54966st 8 +1300808s 2 t 8 +1255195s 3 t 8 + 343061s 4 t 8 +23370s 5 t 8 +204632t 9 854374st 9 2229106s 2 t 9 1368280s 3 t 9 259986s 4 t 9 8160s 5 t 9 + 107496t 10 +1766206st 10 +2726998s 2 t 10 +1243556s 3 t 10 +86922s 4 t 10 430s 5 t 10 489355t 11 2857553st 11 3173649s 2 t 11 557066s 3 t 11 8950s 4 t 11 +5200s 5 t 11 +1247799t 12 +3839261st 12 +1399993s 2 t 12 30086s 3 t 12 65338s 4 t 12 2930s 5 t 12 1686328t 13 1618311st 13 350716s 2 t 13 21942s 3 t 13 +40482s 4 t 13 +1040s 5 t 13 + 863640t 14 +1583195st 14 +603068s 2 t 14 626330s 3 t 14 8202s 4 t 14 10s 5 t 14 1303543t 15 483020st 15 + 2536536s 2 t 15 332694s 3 t 15 +8998s 4 t 15 672s 5 t 15 139293t 16 3155332st 16 +2113176s 2 t 16 392826s 3 t 16 + 17338s 4 t 16 91s 5 t 16 +950128t 17 3451268st 17 +2602492s 2 t 17 331599s 3 t 17 +6863s 4 t 17 192s 5 t 17 + 1419280t 18 5186604st 18 +2217984s 2 t 18 174197s 3 t 18 +6461s 4 t 18 135s 5 t 18 +2944963t 19 4980589st 19 + 1438957s 2 t 19 111725s 3 t 19 +3949s 4 t 19 40s 5 t 19 +3275313t 20 3930407st 20 +931395s 2 t 20 58043s 3 t 20 + 1419s 4 t 20 21s 5 t 20 +3117520t 21 2882435st 21 +483570s 2 t 21 22335s 3 t 21 +629s 4 t 21 8s 5 t 21 +2645648t 22 1693321st 22 +202366s 2 t 22 8889s 3 t 22 +215s 4 t 22 s 5 t 22 +1811983t 23 838386st 23 +78936s 2 t 23 2839s 3 t 23 + 31s 4 t 23 +1076709t 24 365798st 24 +24800s 2 t 24 497s 3 t 24 +s 4 t 24 +553144t 25 126518st 25 +5206s 2 t 25 42s 3 t 25 +229512t 26 32626st 26 +726s 2 t 26 2s 3 t 26 +76551t 27 6439st 27 +69s 2 t 27 +20445t 28 933st 28 + 3s 2 t 28 +4008t 29 81st 29 +504t 30 3st 30 +35t 31 +t 32 1 +t s +5t+8st 8t 2 2st 2 +15t 3 +8st 3 + 3st 4 +11t 5 +8t 6 +t 7. Proof: An equation describing an elliptic curve with a torsion point of order 16 is given by y 2 +1 cxy by = x 3 bx 2 where 1 c = t 1t4 +2t 3 +6t 1 s+ t5 +t 4 +14t 3 +6t 2 +9t+1 ; t+1 5 t 2 +2t 1 t+1 5 b = t 13 3t 4 +8t 3 2t 2 +8t 1 s tt 13 t 2 +1t 4 +8t 3 +10t 2 8t+5 t+1 8 t 2 +2t 1 t+1 8 t 2 +2t 1 where ts X 1 16 : s 2 = tt 2 +1t 2 +2t 1 and tt 1t+1t 2 +1t 2 2t 1t 2 +2t 1 0. In order to produce fx one needs to apply the transformations in Proposition 4.1. That X 1 16Q 15 is the quadratic field with the smallest containing rational points which are not cusps can be found in [3]. The finiteness result follows because X 1 16 is of genus 2. 19

In view of Lemma 2.3 and Remark 2.4 one deduces that kts in the expansion fx = [a 0 a 1...a r 1 2a 0 /ktsktsa 1...a r 1 /kts2a 0 ] is a K-square if and only if µ fx has period 15 where µ 2 = kts. One can obtain kts using Lemma 2.3 for example using Remark 2.5 kts = a 7 = b 8x c 7 a 8 b 7 x c 8 where c 7 = c 8. Now kts = b 8 /b 7 = βts2 s 8 vts for some polynomial βts. Using the definition of s 8 1 in Remark 2.5 and clearing the denominator of s 8 vts one defines α 15ts to be the square free part. Now kts is a K-square if and only if α 15 ts is a K-square. 7.3 Periods 17 and 34 Theorem 7.3. Let fx = x 2 +u 2 4vx+w where 1 { ut s = 16t 6 1 3t+t 3 2 s 2 2 +3t+t 2 2 6st 2 11t 20t 2 20t 3 9t 4 +5t 5 +7t 6 +2t 7 } + t8 +49t+150t 2 +239t 3 +254t 4 +167t 5 +6t 6 90t 7 120t 8 79t 9 12t 10 +4t 11 ; vts = 1+2t+2t2 +t 3 1 t t 2 +4t 3 +6t 4 +4t 5 +3t 6 +t 7 +s1 t+2t 3 +t 4 2t 5 1 3t+t 3 2 ; wts = s2+3t+t2 +t5 +11t+11t 2 +10t 3 +t 4 2t 5 4t 3 1 3t+t 3 where ts X 1 18K X 1 18 : s 2 = t 6 + 2t 5 + 5t 4 + 10t 3 + 10t 2 + 4t + 1 and tt+1t 2 +t+1t 3 3t 1 0. Then one has i. The field Q 33 is the quadratic field with the smallest over which there are quartic polynomials whose square root has a periodic continued fraction with period 34. Over a quadratic field K there are at most finitely many such quartic polynomials. ii. There exists a µ K such that the continued fraction expansion of µ fx is of period 17 if and only if α 17 ts is a K-square for some ts X 1 18K 20

tt+1t 2 +t+1t 3 3t 1 0 where α 17 ts = 1 3t+t 3 1+t2s +5t+st+6t 2 +3t 3 +t 4 1 +s t st 2t 2 +3st 2 +9t 3 +5st 3 +21t 4 +st 4 +14t 5 + 4t 6 +t 7 4s 2 4s 3 +4t+12st 4s 2 t 4s 3 t+37t 2 +41st 2 17s 2 t 2 s 3 t 2 +138t 3 +64st 3 2s 2 t 3 4s 3 t 3 + 235t 4 +54st 4 37s 2 t 4 16s 3 t 4 +80t 5 205st 5 174s 2 t 5 25s 3 t 5 578t 6 720st 6 239s 2 t 6 19s 3 t 6 1370t 7 801st 7 160s 2 t 7 7s 3 t 7 1183t 8 234st 8 69s 2 t 8 s 3 t 8 +216t 9 +213st 9 24s 2 t 9 +1424t 10 + 213st 10 6s 2 t 10 +1475t 11 +100st 11 s 2 t 11 +912t 12 +38st 12 +428t 13 +9st 13 +157t 14 +st 14 +41t 15 +8t 16 + t 17 16s 4 16s 5 +24s 2 t+112s 3 t 72s 4 t 32s 5 t+4t 2 +108st 2 +468s 2 t 2 +172s 3 t 2 296s 4 t 2 +8s 5 t 2 +166t 3 + 1240st 3 +1988s 2 t 3 304s 3 t 3 +70s 4 t 3 +152s 5 t 3 +1483t 4 +5975st 4 +3894s 2 t 4 +1314s 3 t 4 +2071s 4 t 4 +239s 5 t 4 + 6776t 5 +15176st 5 +9404s 2 t 5 +11520s 3 t 5 +4284s 4 t 5 +80s 5 t 5 +17831t 6 +27326st 6 +33578s 2 t 6 +27812s 3 t 6 + 3459s 4 t 6 142s 5 t 6 +29373t 7 +51974st 7 +82930s 2 t 7 +33300s 3 t 7 +57s 4 t 7 178s 5 t 7 +35080t 8 +110326st 8 + 127366s 2 t 8 +20106s 3 t 8 2154s 4 t 8 88s 5 t 8 +47247t 9 +201895st 9 +129842s 2 t 9 +2454s 3 t 9 1909s 4 t 9 21s 5 t 9 + 97308t 10 +289240st 10 +95864s 2 t 10 5290s 3 t 10 864s 4 t 10 2s 5 t 10 +200855t 11 +332136st 11 +58224s 2 t 11 4360s 3 t 11 241s 4 t 11 +326410t 12 +317611st 12 +33652s 2 t 12 1772s 3 t 12 43s 4 t 12 +411028t 13 +257510st 13 + 19260s 2 t 13 438s 3 t 13 4s 4 t 13 +411057t 14 +177292st 14 +9976s 2 t 14 60s 3 t 14 +334919t 15 +103132st 15 + 4204s 2 t 15 2s 3 t 15 +226785t 16 +49927st 16 +1334s 2 t 16 +128639t 17 +19583st 17 +302s 2 t 17 +60753t 18 + 6080st 18 +46s 2 t 18 +23634t 19 +1472st 19 +4s 2 t 19 +7527t 20 +264st 20 +1933t 21 +31st 21 +382t 22 +2st 22 + 55t 23 +5t 24. Proof: The Tate s equation describing an elliptic curve with a point of finite order 18 is given by y 2 +1 cxy by = x 3 bx 2 where 1 c = t 2 3t 2 2t 3 t 3 3t 1 s 2t5 +t 4 +10t 3 +11t 2 +11t+5 2t 2 t 3 ; 3t 1 b = t+1t2 +t+1t 4 +2t 3 t+1 2t 5 t 3 3t 1 2 s+ t+1t2 +t+1t 7 +3t 6 +4t 5 +6t 4 +4t 3 t 2 t 1 2t 5 t 3 3t 1 2 where ts X 1 18 : s 2 = t 6 +2t 5 +5t 4 +10t 3 +10t 2 +4t+1 and tt+1t 2 +t+ 1t 3 3t 1 0. One uses the transformations in Proposition 4.1 to produce fx. That X 1 18Q 33 is the quadratic field with the smallest containing rational points which are not cusps can be found in [3]. The finiteness result follows because X 1 18 is of genus 2. According to Lemma 2.3 and Remark 2.4 one deduces that kts in the expansion fx = [a 0 a 1...a r 1 2a 0 /ktsktsa 1...a r 1 /kts2a 0 ] is a K-square if and only if µ fx has period 17 where µ 2 = kts. One can obtain kts using Lemma 2.3 for example using Remark 2.5 kts = a 9 = b 8x c 9 a 8 b 9 x c 8 where c 8 = c 9. Now kts = b 8 /b 9 = s 9βts 2 for some polynomial βt s. Using the definition of vt s s 9 in Remark 2.5 and clearing the denominator of s 9 /vts one sets α 17 ts to be the square free part. Now kts is a K-square if and only if α 17 ts is a K-square. Acknowledgements. All calculations were performed using Sage and Mathematica. 21

References [1] William W. Adams and Michael J. Razar. Multiples of points on elliptic curves and continued fractions. Proc. London Math. Soc. 41:481 498 1980. [2] A. J. Van der Poorten. Periodic continued fractions and elliptic curves. In High Primes and Misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams Fields Institute Communications 42 pages 353 365. American Mathematical Society 2004. [3] S. Kamienny and F. Najman. Torsion groups of elliptic curves over quadratic fields. Acta Arithmetica 152:291 305 2012. [4] D. S. Kubert. Universal bounds on the torsion of elliptic curves. Proc. London Math. Soc. 333:193 237 1976. [5] F. Najman. Complete classication of torsion of elliptic curves over quadratic cyclotomic elds. J. Number Theory 130:1964 1968 2010. [6] F. P. Rabarison. Structure de torsion des courbes elliptiques sur les corps quadratiques. Acta Arithmetica 1441:17 52 2010. [7] W. M. Schmidt. On continued fractions and diophantine approximation in power series fields. Acta Arithmetica XCV2:139 166 2000. [8] A. J. van der Poorten and X. C. Tran. Periodic continued fractions in elliptic function fields. Algorithmic Number Theory Lecture Notes in Computer Science 2369:390 404 2002. Department of Mathematics and Actuarial Science American University in Cairo mmsadek@aucegypt.edu 22