; TeX output 2008.12.08:1440 e̍6XIhtml: html:PnK`y
cmr101+46XIehtml: html:. -
cmcsc10TheModularDegree,CongruencePrimesandMul32tiplicityOne!A -
cmcsc10AmodAUgasheKennethA.RibetWilliamA.SteinHj Abstract.~ TheImoGdulardegreeandcongruenceHnumberIaretwoIfundamental invqariants1of1anellipticcurveover1therationaleld.eF*reyandMGuller have.!askedwhethertheseinvqariants. coincide.dAlthoughthisquestion hasanegativeanswer,ӇweproveatheoremabGouttherelationbGetween theYtwoinvqariants:onedividestheYother,>andtheratioisdivisibleonly byqprimeswhosesquaresdividetheconductoroftheellipticqcurve.%W*e discussmtheratioevenlinthecasewherethesquareofaprimedoGes divide the!conductor,Bandwestudyanaloguesofthetwo invqariants forUUmoGdularabelianvqarietiesofarbitrarydimension.&html: html:
91KIntroductionLet
b>
cmmi10EbGeanellipticcurveover$"V
cmbx10Q
. JBy[2html:BCDT01 html:'*],ZywemayviewEasanabGelianvqarietyquotientoverQofthemoGdularJacobianJٓR cmr70|s(N),MwhereN2istheconductorofE ._AfterpGossiblyreplacingE byanisogenouscurve,)wemayassumeq:thatthekerneloftheq;mapJ0|s(N)
!",
cmsy10!EDzisconnected,x3i.e.,x4thatEisan' ':
cmti10optimalquotientUUofJ0|s(N). Letf 0er cmmi7E
v= u
cmex10P푵anq~q[ٟ^n 2S2|s( 0(N))bGethenewformattachedtoE .pThec}'on-gruenc}'ep numberDrO
\ cmmi5E
KofE(isDthelargestintegersuchDthatthereisanelementg"=Pbnq~q[ٟ^no2S2|s( 0(N))KwithJintegerF*ouriercoGecientsbnXɲthatisorthogonaltoO fE
wwithrespGecttoO
thePetersoninnnerproGduct,PLandcongruenttofE
vmoGd-ulo,rE(i.e.,5an8bn >(moGdrEʯ)for,alln).dSThemo}'dularndegreemEisthe,degreeofthecompGositemapX0|s(N)&!&J0(N)&!&E