\relax 
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{Introduction}}{1}}
\newlabel{eqn:bsd-gen}{{1}{1}}
\citation{prasad}
\citation{Ko}
\citation{BD-rigid-gz}
\citation{BD-jochnowitz}
\citation{BD-MC}
\citation{Ne3}
\citation{GZ}
\citation{darmon_hpxh}
\citation{BDD}
\citation{LRV}
\citation{BD-jochnowitz}
\citation{Hi3}
\citation{Hi3}
\citation{BeDi}
\citation{DR1}
\citation{DR1}
\newlabel{eqn:hf-isotypic}{{2}{3}}
\newlabel{eqn:hf-isotypic2}{{3}{3}}
\newlabel{eqn:test-vectors}{{4}{3}}
\newlabel{eqn:dual-test-vectors}{{5}{3}}
\citation{DR1}
\citation{DLR}
\newlabel{eqn:garrett-hida-f}{{6}{4}}
\newlabel{eqn:garrett-hida-f11}{{7}{4}}
\newlabel{eqn:garrett-hida-g}{{8}{4}}
\newlabel{Lpfgh}{{9}{4}}
\newlabel{eqn:fourLps}{{10}{4}}
\citation{DLR}
\citation{DR2}
\citation{SU}
\citation{SU}
\citation{DR1}
\citation{DR1}
\citation{DR1}
\newlabel{eqn:target-aj-et}{{11}{5}}
\citation{DR1}
\citation{durham}
\citation{kato}
\citation{LLZ1}
\citation{liu1}
\citation{liu2}
\newlabel{eqn:spec-classes}{{13}{6}}
\newlabel{classes}{{14}{6}}
\citation{DLR}
\citation{DR2}
\citation{SU}
\citation{SU}
\citation{DLR}
\citation{DR2}
\citation{durham}
\citation{milne}
\citation{jannsen}
\citation{jannsen}
\citation{jannsen}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Global $\Lambda $-adic cohomology classes}}{8}}
\newlabel{sec:lambda-adic-class}{{1}{8}}
\newlabel{sec:cycles-and-correspondences}{{1.1}{8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Cycles, Chow groups, and correspondences}}{8}}
\newlabel{eqn:epsilon-cyc}{{15}{8}}
\newlabel{eqn:cycle-class-map}{{16}{8}}
\newlabel{eqn:cycle-class-map-bis}{{17}{8}}
\newlabel{AJet-general}{{18}{8}}
\citation{diamond-shurman}
\newlabel{sec:modular-curves}{{1.2}{9}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{Modular curves}}{9}}
\newlabel{eqn:proj-x1-x0}{{19}{9}}
\newlabel{eqn:finite-group-rings}{{20}{9}}
\newlabel{eqn:completed-group-rings}{{21}{9}}
\newlabel{cocycle-twist}{{22}{9}}
\newlabel{eqn:pairing-s}{{23}{9}}
\newlabel{eqn:adjoint-hecke}{{24}{10}}
\newlabel{eqn:commutation-w}{{25}{10}}
\newlabel{eqn:galois-w}{{27}{10}}
\newlabel{eqn:defUp}{{28}{10}}
\newlabel{eqn:Up-on-differentials}{{29}{10}}
\newlabel{eqn:def-eord-eordstar}{{30}{10}}
\newlabel{eqn:degeneracy}{{31}{10}}
\citation{diamond-shurman}
\newlabel{eqn:factoring-the-maps}{{32}{11}}
\newlabel{eqn:def-Up}{{33}{11}}
\newlabel{eq-corr}{{34}{11}}
\newlabel{eqn:pairing-Gammas}{{35}{11}}
\newlabel{eqn:specialise-pairing}{{36}{11}}
\newlabel{eqn:def-theta-epsilon}{{37}{11}}
\newlabel{eqn:twisted-pairing-Gammas}{{38}{11}}
\newlabel{lemma:Gamma-s-compat}{{1.1}{12}}
\newlabel{eqn:ohta-pairing-deRham}{{39}{12}}
\newlabel{eqn:ohta-pairing-etale}{{40}{12}}
\newlabel{sec:twisted-diagonal}{{1.3}{12}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.3}{Twisted diagonal cycles}}{12}}
\newlabel{eqn:def-Deltaf}{{41}{12}}
\newlabel{eqn:Up-pi1-pi2}{{42}{13}}
\newlabel{eqn:pi-ineq}{{43}{13}}
\newlabel{Up-compf}{{1.2}{13}}
\newlabel{eqn:formally-regularising}{{44}{13}}
\citation{milne}
\newlabel{eqn:def-Deltafs}{{45}{14}}
\newlabel{eqn:proj-Wrs}{{46}{14}}
\newlabel{prop:Up-compat}{{1.3}{14}}
\newlabel{eqn:def-epsilona}{{47}{14}}
\newlabel{eqn:def-Delta}{{48}{14}}
\newlabel{prop:null-homologous}{{1.4}{14}}
\newlabel{def-Deltas}{{49}{15}}
\newlabel{Up-comp}{{50}{15}}
\newlabel{prop:Delta-Q-zeta-bis}{{1.6}{15}}
\newlabel{eqn:delta-flat-1.3}{{51}{15}}
\newlabel{sec:AJet}{{1.4}{15}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.4}{Global cohomology classes}}{15}}
\newlabel{AJet}{{53}{15}}
\newlabel{eqn:def-kappas1}{{54}{15}}
\newlabel{kun}{{55}{15}}
\citation{milne}
\newlabel{lemma:kill-kernel-prs}{{1.8}{16}}
\newlabel{eqn:from-kappas2-to-kappas3}{{56}{16}}
\newlabel{V1}{{57}{16}}
\newlabel{eqn:def-hVrs}{{59}{16}}
\newlabel{prop:compatibility-ddot}{{1.9}{16}}
\citation{W}
\newlabel{eqn:from-kappas-to-kappas4}{{60}{17}}
\newlabel{eqn:Hida-infty-ord}{{61}{17}}
\newlabel{eqn:def-kappa-infty}{{63}{17}}
\newlabel{sec-Hida}{{1.5}{17}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.5}{Modular forms and Galois representations in families}}{17}}
\newlabel{subsubsec}{{1.5.1}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{1.5.1}{Classical modular forms and Galois representations}}{17}}
\newlabel{modform}{{64}{17}}
\newlabel{eqn:local-triangular-class}{{65}{17}}
\newlabel{def:Vfpm}{{1.10}{18}}
\newlabel{Vphi*}{{66}{18}}
\newlabel{subsec:L}{{1.5.2}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{1.5.2}{$\Lambda $-adic modular forms}}{18}}
\newlabel{def:L}{{1.11}{18}}
\newlabel{Gammas}{{1.12}{19}}
\newlabel{subsec:Hi}{{1.5.3}{19}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{1.5.3}{Hida families}}{19}}
\newlabel{def:padic-fam}{{1.13}{19}}
\citation{Hi86}
\citation{Emerton}
\newlabel{eqn:def-epsilon-cyc}{{67}{20}}
\newlabel{Hida-thm}{{1.14}{20}}
\newlabel{defVV}{{68}{20}}
\newlabel{eqn:local-triangular}{{69}{20}}
\newlabel{sec:lambda-adic-class-hida}{{1.6}{21}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.6}{The $\Lambda $-adic class attached to two Hida families}}{21}}
\newlabel{VfghN}{{70}{21}}
\newlabel{projector}{{71}{21}}
\newlabel{def:kappa-fgh}{{1.15}{21}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Local $\Lambda $-adic cohomology classes}}{21}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{Local Galois representations}}{21}}
\newlabel{lemma:4-step-filtration}{{2.1}{21}}
\citation{Sa}
\citation{Ne2}
\citation{Sa}
\citation{BK}
\citation{Ne2}
\citation{Gr}
\citation{Fl}
\citation{Fl}
\citation{Ne2}
\newlabel{3decom}{{72}{22}}
\newlabel{eqn:def-kappap-f-gh}{{73}{22}}
\newlabel{prop:cristalline-lambda}{{2.2}{22}}
\newlabel{Hfin}{{74}{22}}
\newlabel{cor:cristalline-lambda}{{2.3}{23}}
\newlabel{local-contributions}{{75}{23}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{Classical specializations}}{23}}
\newlabel{cor:4-step-filtration}{{2.4}{23}}
\citation{Ne2}
\newlabel{sec:w2}{{2.2.1}{24}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{2.2.1}{Weight two specializations}}{24}}
\newlabel{prop:specialisation-wt-2}{{2.5}{24}}
\newlabel{cor:cristalline-wt2}{{2.6}{24}}
\newlabel{subsec:w1}{{2.2.2}{24}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{2.2.2}{Weight one specializations}}{24}}
\newlabel{eqn:classes-wt1}{{76}{24}}
\citation{Fal2}
\newlabel{prop:the-clincher}{{2.7}{25}}
\newlabel{H1f}{{77}{25}}
\newlabel{prop:later}{{2.8}{25}}
\citation{mazur-wiles-mc}
\citation{BK}
\newlabel{blo}{{2.3}{26}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{Dieudonn\'e modules and the Bloch-Kato logarithm}}{26}}
\newlabel{eqn:faltings-comparison}{{78}{26}}
\newlabel{eqn:define-eta-f-star}{{79}{26}}
\newlabel{eqn:define-eta-phistar}{{80}{26}}
\citation{BK}
\citation{ohta}
\citation{Wake}
\newlabel{eqn:bloch-kato-logarithm-bis}{{81}{27}}
\newlabel{AJpsyn}{{82}{27}}
\newlabel{sec:Ohta}{{2.4}{27}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{Ohta's periods and $\Lambda $-adic test vectors}}{27}}
\citation{ohta}
\citation{Wake}
\citation{LZ}
\newlabel{eqn:ohtaB}{{83}{28}}
\newlabel{ohtawake}{{84}{28}}
\newlabel{eqn:explicit-for-c+}{{85}{28}}
\newlabel{eqn:explicit-for-c-}{{86}{28}}
\newlabel{ohtawakeg+}{{87}{28}}
\newlabel{ohtawakeg-}{{88}{28}}
\newlabel{eqn:explicit-for-c+g}{{89}{28}}
\newlabel{eqn:explicit-for-c-g}{{90}{28}}
\newlabel{eqn:the-whole-point-of-introducing-this-notation-in-the-first-place}{{91}{28}}
\newlabel{eqn:test-vectors2}{{92}{28}}
\citation{LZ}
\newlabel{eqn:dual-test-vectors2}{{93}{29}}
\newlabel{eqn:ohta-classes}{{94}{29}}
\newlabel{eqn:specialised-ohta-classes}{{95}{29}}
\newlabel{subsec:log}{{2.5}{29}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5}{The logarithm of weight two specialisations}}{29}}
\newlabel{logs}{{96}{29}}
\newlabel{eqn:class-on-quotient}{{97}{30}}
\newlabel{prop:from-log-to-AJ}{{2.10}{30}}
\newlabel{eqn:formula-for-kappa-f}{{98}{30}}
\newlabel{eqn:formula-for-kappa-f-bis}{{99}{30}}
\newlabel{eqn:def-Deltaf-circ}{{100}{30}}
\citation{CI-Duke}
\citation{CI-hidden}
\citation{CI-Duke}
\newlabel{cor:from-log-to-AJ}{{2.11}{31}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{The syntomic Abel-Jacobi map on products of semistable curves}}{31}}
\newlabel{sec:cohomology-semistable}{{3.1}{31}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{The cohomology of semistable curves}}{31}}
\newlabel{eqn:coleman-iovita}{{101}{31}}
\citation{CI-Duke}
\newlabel{comp-iso-0}{{102}{32}}
\newlabel{eqn:display-N}{{103}{32}}
\newlabel{eqn:display-s}{{104}{32}}
\newlabel{defPhi-W}{{105}{32}}
\newlabel{def:pure}{{3.1}{32}}
\newlabel{eqn:H1-stable}{{106}{32}}
\citation{Bes-inv}
\citation{besser-loeffler-zerbes}
\citation{Ne1}
\citation{NN}
\newlabel{prop:pure-of-weight-1}{{3.2}{33}}
\newlabel{ex-se}{{107}{33}}
\newlabel{eqn:def-r-prime}{{108}{33}}
\newlabel{eqn:pd-sums}{{109}{33}}
\newlabel{sec:recipe}{{3.2}{33}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{An analytic recipe for the syntomic Abel-Jacobi map}}{33}}
\citation{DR1}
\citation{Bes-inv}
\citation{besser-loeffler-zerbes}
\citation{NN}
\citation{besser-loeffler-zerbes}
\citation{besser-loeffler-zerbes}
\newlabel{AJp}{{110}{34}}
\newlabel{lemma:choose-P}{{3.3}{34}}
\newlabel{eqn:choose-rho}{{111}{34}}
\newlabel{thm:recipe}{{3.4}{34}}
\citation{besser-loeffler-zerbes}
\citation{besser-loeffler-zerbes}
\citation{besser-loeffler-zerbes}
\citation{besser-loeffler-zerbes}
\citation{Bes-inv}
\citation{KaMa}
\citation{KaMa}
\citation{coleman-bordeaux}
\citation{BrEm}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Bloch-Kato logarithms of weight two specializations}}{35}}
\newlabel{sec:bloch-kato-AJ}{{4}{35}}
\newlabel{one-var}{{112}{35}}
\newlabel{sec:rig}{{4.1}{35}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{The rigid geometry of modular curves }}{35}}
\citation{mazur-wiles-mc}
\citation{coleman-bordeaux}
\citation{BrEm}
\newlabel{eqn:Phi-infty-V}{{113}{36}}
\newlabel{eqn:def-Phi0}{{114}{36}}
\newlabel{thCol}{{4.1}{36}}
\citation{atkin-li}
\newlabel{restrict-to-X0N}{{4.2}{37}}
\newlabel{eqn:restrict-to-X0N}{{115}{37}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Test vectors and their associated de Rham cohomology classes}}{37}}
\newlabel{f,s,omega}{{116}{37}}
\newlabel{prop:atkin-li}{{4.3}{37}}
\newlabel{prop:frobenius-on-primitives}{{4.4}{37}}
\newlabel{eqn:eigen-restrict}{{117}{37}}
\newlabel{cor:deplete-via-Phi}{{4.5}{38}}
\newlabel{eqn:testf-star-bis}{{118}{38}}
\newlabel{eqn:eta-fs-pullback}{{119}{38}}
\newlabel{frobf}{{120}{38}}
\newlabel{lemma:etaf-support}{{4.6}{38}}
\newlabel{sec:AJDelta}{{4.3}{39}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.3}{Twisted diagonal cycles under the syntomic Abel-Jacobi map}}{39}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{4.3.1}{Evaluation of ${\@mathrm {AJ}}_p(\Delta _{s,s}^\circ )$ at $\eta _{{\mathaccentV {breve}015{f}}^*} \otimes \omega _{{\mathaccentV {breve}015{g}}} \otimes \omega _{{\mathaccentV {breve}015{h}}}$.}}{39}}
\newlabel{lemma:verify-conditions}{{4.8}{39}}
\newlabel{eqn:first-AJ}{{121}{39}}
\newlabel{le}{{4.9}{39}}
\newlabel{xiPP}{{122}{39}}
\newlabel{eqn:eta-fs-pullback-bis}{{123}{39}}
\newlabel{eqn:AJ-second}{{124}{39}}
\newlabel{anti-ord}{{4.10}{39}}
\citation{Emerton}
\newlabel{lemma:ord-pullback-coho}{{4.11}{40}}
\newlabel{eqn:bring-in-p-adic-forms}{{125}{40}}
\newlabel{lemma:AJfourth}{{4.12}{40}}
\newlabel{eqn:AJfourth}{{126}{40}}
\newlabel{eqn:formula-rho}{{127}{41}}
\newlabel{eqn:formula-for-xiP}{{128}{41}}
\newlabel{eqn:formula-for-xiP-bis}{{130}{41}}
\newlabel{prop:eval-e-ord-xi-P}{{4.13}{41}}
\newlabel{eqn:eliminate-messy-terms}{{131}{41}}
\newlabel{eqn:product-rule}{{132}{41}}
\newlabel{thm:AJ-p-Delta}{{4.14}{41}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{4.3.2}{Evaluation of ${\@mathrm {AJ}}_p(\Delta _{s,s}^\circ )$ at $\omega _{{\mathaccentV {breve}015{f}}} \otimes \eta _{{\mathaccentV {breve}015{g}}^*} \otimes \omega _{{\mathaccentV {breve}015{h}}}$.}}{42}}
\newlabel{asserts}{{133}{42}}
\newlabel{eqn:formula-rho-bis}{{134}{42}}
\newlabel{eqn:formula-for-xiP-ter}{{135}{42}}
\newlabel{prop:eval-e-ord-xi-P-bis}{{136}{42}}
\newlabel{thm:AJ-p-Delta-g}{{4.15}{42}}
\newlabel{sec:garrett-rankin}{{4.4}{42}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.4}{Garrett-Hida $p$-adic $L$-functions}}{42}}
\newlabel{prop:bloch-kato-log-in-families}{{4.16}{42}}
\newlabel{eqn:starting-point-now}{{137}{42}}
\newlabel{prop:bloch-kato-log-in-families-g}{{4.17}{43}}
\newlabel{eqn:victor1}{{138}{43}}
\newlabel{eqn:victor2}{{139}{43}}
\newlabel{eqn:victor3}{{140}{43}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{The explicit reciprocity law}}{43}}
\newlabel{sec:erl}{{5}{43}}
\newlabel{subsec:PR}{{5.1}{43}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{Perrin-Riou's $\Lambda $-adic regulator}}{43}}
\newlabel{ukappa}{{141}{43}}
\newlabel{id-B}{{142}{43}}
\citation{BDR2}
\citation{LZ}
\citation{LZ}
\newlabel{log-exp}{{143}{44}}
\newlabel{LZ-Lambda-expdual0}{{5.1}{44}}
\newlabel{cLL}{{144}{44}}
\citation{LZ}
\citation{LZ}
\citation{LZ}
\newlabel{eqn:measures}{{145}{45}}
\newlabel{cLL-bis-prelim}{{146}{45}}
\newlabel{cLL-bis}{{147}{45}}
\newlabel{eqn:def-period-Jy}{{148}{45}}
\newlabel{LZ-Lambda-expdual}{{5.2}{45}}
\newlabel{thetapsi}{{149}{45}}
\newlabel{eqn:def-L-ukappa}{{150}{45}}
\newlabel{sec:Lp}{{5.2}{46}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2}{The triple product $p$-adic L-functions via $\Lambda $-adic cohomology classes}}{46}}
\newlabel{pL-PR}{{5.3}{46}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Application to the Birch and Swinnerton-Dyer conjecture}}{46}}
\newlabel{sec:BSD}{{6}{46}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.1}{Bounding Mordell-Weil groups}}{46}}
\citation{ddt}
\citation{ddt}
\newlabel{eqn:coho-induced}{{151}{47}}
\newlabel{eqn:def-delta-global}{{152}{47}}
\newlabel{eqn:comm-diag-resp}{{153}{47}}
\newlabel{defSelmer}{{154}{47}}
\newlabel{prop:es-argument}{{6.2}{47}}
\newlabel{eqn:resp-h1-fin}{{155}{47}}
\citation{DR1}
\newlabel{prop:bounding-mw}{{6.3}{48}}
\newlabel{sec:reclaw1}{{6.2}{48}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.2}{Proof of Theorem C}}{48}}
\newlabel{main2}{{6.4}{48}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3}{Proof of Theorem A and its corollaries}}{49}}
\newlabel{cor:main-prelim}{{6.5}{49}}
\newlabel{thm:main-prelim-surj}{{6.6}{49}}
\newlabel{eqn:classes-bis}{{156}{49}}
\newlabel{theoremA}{{6.7}{49}}
\newlabel{def:non-vanishing}{{6.8}{50}}
\newlabel{lemma:psi0}{{6.9}{50}}
\newlabel{eqn:simultaneous}{{157}{50}}
\newlabel{thm:main-quadratic}{{6.10}{50}}
\newlabel{dec}{{158}{51}}
\newlabel{thm:mainA5}{{6.11}{51}}
\bibcite{atkin-li}{AL78}
\bibcite{BeDi}{BeDi}
\bibcite{durham}{BCDDPR}
\bibcite{BD-rigid-gz}{BD97}
\newlabel{sec:theoremsBD}{{6.4}{52}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4}{Proof of Theorems B and D}}{52}}
\newlabel{gclasses}{{159}{52}}
\newlabel{lemma:main-prelim-bis}{{6.12}{52}}
\newlabel{theoremB}{{6.13}{52}}
\newlabel{eqn:def-kappa-alpha-alpha-alpha-beta}{{160}{52}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{52}}
\bibcite{BD-jochnowitz}{BD99}
\bibcite{BD-MC}{BD05}
\bibcite{BDD}{BDD07}
\bibcite{BDR1}{BDR1}
\bibcite{BDR2}{BDR2}
\bibcite{Bes-inv}{Be00}
\bibcite{BK}{BK93}
\bibcite{besser-loeffler-zerbes}{BLZ}
\bibcite{BrEm}{BrEm10}
\bibcite{coleman-bordeaux}{Co97}
\bibcite{CI-Duke}{CI99}
\bibcite{CI-hidden}{CI10}
\bibcite{darmon_hpxh}{Da}
\bibcite{ddt}{DDT}
\bibcite{DLR}{DLR}
\bibcite{DR1}{DR13}
\bibcite{DR2}{DR15}
\bibcite{diamond-shurman}{DS05}
\bibcite{Emerton}{Em99}
\bibcite{Fal}{Fa89}
\bibcite{Fal2}{Fa97}
\bibcite{Fl}{Fl90}
\bibcite{Gr}{Gr89}
\bibcite{GZ}{GZ86}
\bibcite{Hi1}{Hi85}
\bibcite{Hi86}{Hi86}
\bibcite{Hi3}{Hi93}
\bibcite{jannsen}{Ja}
\bibcite{kato}{Ka98}
\bibcite{KaMa}{KM85}
\bibcite{Ko}{Ko89}
\bibcite{liu1}{Liu1}
\bibcite{liu2}{Liu2}
\bibcite{LLZ1}{LLZ1}
\bibcite{LZ}{LZ12}
\bibcite{LRV}{LRV13}
\bibcite{mazur-wiles-mc}{MW84}
\bibcite{milne}{Mi}
\bibcite{Ne1}{Ne1}
\bibcite{Ne2}{Ne2}
\bibcite{Ne3}{Ne3}
\bibcite{NN}{NeNi}
\bibcite{ohta}{Oh95}
\bibcite{prasad}{Pr}
\bibcite{Sa}{Sa97}
\bibcite{SU}{SU}
\bibcite{Wake}{Wa}
\bibcite{W}{W88}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{12.7778pt}
\newlabel{tocindent1}{17.77782pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}