; TeX output 2004.09.30:1209 ufv6 html: html:6fv6 ♊src:1macros.texhtml: html:6j src:8 cycloht.texDt G G cmr17Computing7tg G cmmi12p-adicSigmaFVunctionsandCyclotomic HeighqtslύN,XQ cmr12BarryMazur,WilliamStein,JohnTVateύ SeptemrbSer30,2004Vhtml: html:src:9 cycloht.tex*N ff cmbx121LIntros3ductionqsrc:10 cycloht.texK`y
3
cmr10Fixfanellipticcurv!e+b>
3
cmmi10EGover0"V
3
cmbx10Q,givenbyaminimalWeeierstrassequationffhtml: html:Sydz|{Y cmr82+naz1xy+az3yo:=
xz3.+az2xz2.+az4x+az6:Q}src:14 cycloht.tex(1.1)SuppMosefsrc:15 cycloht.texpisaprimeofgoodordinaryreductionforsrc:16 cycloht.texE ,so jp
/
3
msbm10-N2 cmmi8E t,!",
3
cmsy10naEr;p
Y;wherefsrc:17 cycloht.texNE
istheconductorofEGandaEr;p =
pn+1 #E (Fzp]).html: html:ۍsrc:19 cycloht.tex2LTheffCanonical3g ff cmmi12p-adicsigmafunctionsrc:20 cycloht.texLetfffhtml: html:
=Fd(t)
=tn+sz1tz2.+sz2tz3.+sz3tz4.+1?2
t(1+tZzp][[t]])Q}src:24 cycloht.tex(2.1)bMefthecanonicalsrc:25 cycloht.texp-adicd-functionattac!hedtoEGasin[&html:MT91 html:X].html: html:C4src:28 cycloht.tex=N cmbx122.1 Computing g cmmi12n9(t)src:30 cycloht.tex[[DescribMeftheresultinalgorithmhere{methodtocomputed.]] src:33 cycloht.texTheoremf3.1of[&html:MT91 html:X]assertsthatifm
2Zfandsrc:34 cycloht.texQ
2E f(4 p fRf),fthenffhtml: html:u9d(mQ)
=(Q)zm-:Aa cmr62WnfzmĹ(Q):Q}src:37 cycloht.tex(2.2)Wee~usethisrelationtheoremtodeterminesrc:39 cycloht.texsz1candsz2intermsoftheformalendomorphismsrc:40 cycloht.tex[p]andthepthdivisionpMolynomial.[[Idea{ma!ybew!ecouldjustusesrc:41 cycloht.texmi=2insteadofmi=p?! #It'sprobablyeasiertocomputesrc:42 cycloht.tex[2]andfz2 thantocompute[p]andfzp];oifnotm=2,"thensrc:43 cycloht.texm=3?]]oLThen C31 *ufv6 html: html:6fv홊6 w!e<