Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...
Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...
Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
and<br />
<strong>Periodic</strong> <strong>Cont<strong>in</strong>ued</strong> <strong>Fractions</strong> <strong>in</strong> <strong>Elliptic</strong> <strong>Function</strong> <strong>Fields</strong> 109<br />
Y4(X, t) =[X 2 + 1<br />
1<br />
1<br />
4 (4t − 1) , 2(X − 2 )/4t ,2(X − 2 ) , 2X2 + 1<br />
4 (4t − 1) /4t,<br />
2(X − 1<br />
1<br />
2 ) , 2(X − 2 )/4t ,2X2 + 1<br />
4 (4t − 1) ].<br />
Thus κ4(t) =4t. This entails that Y4(X, 1<br />
4s2 )/s has the periodic cont<strong>in</strong>ued fraction<br />
expansion of period length r =3:<br />
[ X 2 + 1<br />
4 (s2 − 1) /s , 2(X − 1<br />
1<br />
2 )/s , 2s(X − 2 ) , 2X2 + 1<br />
4 (s2 − 1) /s ].<br />
For m =6,and t ∈ Q \{0, −1}, the surface C6(t) isgiven by<br />
u6(t) = 1<br />
4 (3t2 +6t− 1), v6(t) =4t(t +1), w6(t) =− 1<br />
2 (t − 1). (12)<br />
and its cont<strong>in</strong>ued fraction is detailed by<br />
[ X 2 + 1<br />
4 (3t2 +6t− 1) , X + 1<br />
2 (t − 1) /2t(t +1), 2 X − 1<br />
2 (t +1) ,<br />
<br />
1 X − 2 (t +1) /2t ,2 X + 1<br />
2 (t − 1) /(t +1),<br />
2 X 2 + 1<br />
4 (3t2 +6t− 1) /4t ,...].<br />
Thus κ6(t) =4t. Itfollows that Y6(X, s2 )/2s has the periodic cont<strong>in</strong>ued fraction<br />
expansion of period length r =5:<br />
[ X 2 + 1<br />
4 (3s4 +6s 2 − 1) /2s , X + 1<br />
2 (s2 − 1) /s(s2 +1),<br />
<br />
1 X − 2 (s2 +1) /s , X − 1<br />
2 (s2 +1) /s ,<br />
<br />
1 X + 2 (s2 − 1) /s(s2 +1), 2 X2 + 1<br />
4 (3t2 +6t− 1) /2s ].<br />
F<strong>in</strong>ally, because this provides the last of the cases with odd period length,<br />
the elliptic surface C8(t) :Y 2<br />
8 (X, t) =D8(X, t) isdef<strong>in</strong>ed by<br />
u8(t) =(4t 4 +4t 3 − 16t 2 +8t − 1)/4t 2 ,<br />
v8(t) =4(t − 1)(2t − 1), w8(t) =−(2t 2 − 4t +1)/2t, (13)<br />
and, if t ∈ Q \{0, 1<br />
2 , 1}, then Y8(X, t) has the cont<strong>in</strong>ued fraction expansion<br />
[ X 2 + u8(t) , 1<br />
2<br />
X +(2t 2 − 4t +1)/2t /(t − 1)(2t − 1) ,<br />
2 X − (2t 2 − 4t +1)/2t , 1<br />
2tX − (2t − 1)/2t /(t − 1)(2t − 1) ,<br />
2(2t − 1) X − (2t − 1)/2t /t 2 , 1<br />
2t3X − (2t 2 − 4t +1)/2t /(t − 1)(2t − 1) 2 ,<br />
2(2t − 1) X +(2t 2 − 4t +1)/2t /t 3 , 1<br />
2t3X 2 + u8(t) /(t − 1)(2t − 1) 2 ,...].<br />
Thus κ8(t) =4(t−1)(2t − 1) 2 /t3 <br />
2 2 .Itfollows that Y8 X, 1/(1 − s ) /2s(1 + s )<br />
has a cont<strong>in</strong>ued fraction expansion with period r =7for s ∈ Q \{0, ±1}. For<br />
example<br />
1<br />
20<br />
Y8( 1<br />
6<br />
<br />
1 1<br />
X, − 3 )= 720 X4 − 898X2 + 1920X + 245761<br />
=[(X 2 − 449)/720 , 3(X − 23)/4 , (X + 17)/60 , −(X − 15)/4 ,<br />
−(X − 15)/4 , (X + 17)/60 , 3(X − 23)/4 , 2(X 2 − 449)/720 ].