; TeX output 2005.05.05:1248 e̍6XIhtml: html:PnK`y
cmr101+46XIehtml: html:. >J-
cmcsc10VisibilityofMordell-WeilGroups%t}+-
cmcsc10WilliamA.Steinhtml:^ٓR cmr71|s html:R Abstract.]/ W*ePintroGduceanotionofvisibilityforMordell-W*eilgroups,(makea conjectureabGoutvisibility*,GKandsupportitwiththeoreticalevidence anddata._TheseresultsshednewlightonrelationsbGetweenMordell- W*eilUUandShafarevich-Tategroups.+@html: html:
<э1KIntroduction=эConsideranexactsequence0P;
!",
cmsy10!
b>
cmmi10CW!BЬ!A!0ofabGelianvqarietiesoveranumbGer3yeldK .f~W*esaythatthecoveringBG!Ais. ':
cmti10optimalsinceitskernelCis*connected.OFAsintroGducedin[html:L*T58 html:],thereisacorrespondinglongexactsequenceUUofGaloiscohomology֙ 0!C (K)!B q(K )!A(K)TH 0er cmmi72
)!BHQC1Ͷ(K(;C)!H
G1Ì(K(;B q)!H
G1(K(;A)!Ǎ TheFstudyoftheMordell-W*eilgroupA(K )iscentralinarithmeticgeometry.F*orexample,{theBirchandSwinnerton-Dyerconjecture(BSDconjecture)of[html:Bir71 html:!,html:T*at66 html:]),PwhichisoneoftheClayMathProblems[html:Wil00 html:Z],PassertsthattheCrankrofA(K )equalstheorderingvqanishingofL(A;s)ats=1,GaandCalsogivesUUaconjecturalformulaforL^(r7)
(A;1)intermsoftheinvqariantsofA.. ThegsgroupH
t1c(K(;A)isalsoofinterestinconnectionwiththeBSDgoconjec-ture,UUbGecauseitcontainstheShafarevich-T*ategroupAO/hV1
wncyr10XMBղ(A=K )=KerP\ u
cmex10 H#1(|p(K(;A)!M5,v5H61(KvN;A)\! ; whichUUisthemostmysteriousob 8jectappGearingintheBSDconjecture.html: html: ĉ ff 6 J="5-:!Aa cmr61Lܟ html: html:L|{Y cmr8Thismaterialisbasedup