14.08.2013 Views

Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...

Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...

Periodic Continued Fractions in Elliptic Function Fields - Macquarie ...

SHOW MORE
SHOW LESS

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 ].

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!