\relax 
\citation{BD1}
\citation{gross_montreal}
\citation{zhang}
\citation{mtt}
\citation{BD1}
\citation{BD2}
\citation{BD5}
\citation{BD1}
\citation{BD1}
\citation{mtt}
\citation{bd_derived_heights}
\newlabel{thm:main_conjecture}{{1}{3}}
\newlabel{cor:main1}{{2}{3}}
\newlabel{eqn:conjeq}{{{1}}{3}}
\citation{bd_derived_regulators}
\citation{bd_derived_heights}
\citation{zhang}
\citation{gross_montreal}
\citation{BD2}
\citation{BD2}
\newlabel{cor:main2}{{3}{4}}
\newlabel{cor:mainzhang}{{4}{4}}
\citation{vatsal1}
\citation{vatsal2}
\citation{BD1}
\newlabel{cor:mainvatsal}{{5}{5}}
\newlabel{assumptions}{{6}{5}}
\citation{mazur_rubin}
\citation{rubin}
\citation{mazur_rubin}
\citation{vigneras}
\@writefile{toc}{\contentsline {section}{\numberline {1}$p$-adic $L$-functions}{7}}
\newlabel{sec:p-adic_L-function}{{1}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Modular forms on quaternion algebras}{7}}
\newlabel{subsec:modularquaternion}{{1.1}{7}}
\newlabel{eqn:formpairing}{{{2}}{8}}
\citation{eichler}
\citation{jacquet_langlands}
\citation{diamond_taylor}
\citation{shimura_book}
\newlabel{prop:jacquet_langlands}{{1.3}{10}}
\newlabel{eqn:jl}{{{9}}{10}}
\newlabel{eqn:dblcst}{{{10}}{10}}
\newlabel{eqn:dblcstn}{{{11}}{11}}
\newlabel{prop:stw}{{1.4}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}$p$-adic Rankin $L$-functions}{12}}
\newlabel{subsec:p-adic_L-functions}{{1.2}{12}}
\newlabel{eqn:completion}{{{12}}{12}}
\citation{vigneras}
\newlabel{eqn:defGinftytilde}{{{13}}{13}}
\newlabel{eqn:palphae}{{{17}}{13}}
\newlabel{eqn:stab}{{{19}}{13}}
\citation{mtt}
\citation{BD1}
\newlabel{eqn:tildenu}{{{20}}{14}}
\newlabel{eqn:defginfty}{{{21}}{14}}
\newlabel{lemma:sign_fe}{{1.5}{14}}
\citation{zhang}
\newlabel{def:rankin}{{1.6}{15}}
\citation{ddt}
\@writefile{toc}{\contentsline {section}{\numberline {2}Selmer Groups}{16}}
\newlabel{sec:selmer}{{2}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Galois representations and cohomology}{16}}
\newlabel{subsec:cohomology}{{2.1}{16}}
\citation{ribet}
\newlabel{ass:selmer}{{2.1}{17}}
\newlabel{lemma:ribet_appl}{{2.2}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Finite/singular structures}{20}}
\newlabel{subsec:finite/singular}{{2.2}{20}}
\newlabel{prop:isotropy}{{2.3}{20}}
\newlabel{lemma:struct_l_split}{{2.4}{21}}
\newlabel{lemma:struct_l_inert}{{2.5}{21}}
\newlabel{lemma:local_calc}{{2.6}{22}}
\citation{bd_derived_regulators}
\newlabel{lemma:local_free}{{2.7}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Definition of the Selmer group}{23}}
\newlabel{eqn:resproj}{{27}{23}}
\newlabel{eqn:globalrec}{{{28}}{24}}
\newlabel{prop:global_duality}{{2.10}{24}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Some Preliminaries}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}$\Lambda $-modules}{25}}
\newlabel{prop:Lambda}{{3.1}{25}}
\newlabel{eqn:pseudo}{{{29}}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Controlling the Selmer group}{26}}
\newlabel{thm:chebotarev1}{{3.2}{26}}
\newlabel{eqn:rule_action}{{{31}}{26}}
\citation{bd_derived_regulators}
\citation{bd_derived_regulators}
\citation{bd_derived_regulators}
\newlabel{eqn:chebotarev_condition1}{{{32}}{27}}
\newlabel{prop:h1free}{{3.3}{27}}
\newlabel{thm:control}{{3.4}{28}}
\newlabel{eqn:esGinv}{{33}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Rigid pairs}{28}}
\newlabel{sec:rigid_pairs}{{3.3}{28}}
\citation{ramakrishna}
\citation{ddt}
\citation{wiles}
\citation{wiles}
\citation{ddt}
\citation{ddt}
\newlabel{prop:isolated_selmer}{{3.6}{30}}
\citation{ddt}
\citation{ddt}
\citation{ddt}
\newlabel{prop:selmeradjoint}{{3.7}{31}}
\newlabel{prop:selmertrivadj}{{3.8}{31}}
\citation{ddt}
\citation{ddt}
\newlabel{thm:chebotarev2}{{3.10}{32}}
\newlabel{eqn:chebotarev_condition2}{{{34}}{33}}
\newlabel{eqn:chebotarev_condition2case2}{{{35}}{34}}
\newlabel{thm:chebotarev2prime}{{3.11}{34}}
\newlabel{prop:congadmissible}{{3.12}{35}}
\newlabel{eqn:congform}{{{36}}{35}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Euler System Argument}{35}}
\newlabel{sec:euler}{{4}{35}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The Euler system}{35}}
\newlabel{sec:euler_system}{{4.1}{35}}
\newlabel{thm:residue}{{4.1}{36}}
\newlabel{thm:value}{{4.2}{36}}
\newlabel{cor:reciprocity}{{4.3}{36}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}The argument}{37}}
\newlabel{thm:mainf}{{4.4}{37}}
\newlabel{eqn:mainphi_prelim}{{{37}}{37}}
\newlabel{eqn:mainphi}{{{38}}{37}}
\newlabel{lemma:propertieskappaprime}{{4.5}{38}}
\newlabel{lemma:relationell}{{4.6}{38}}
\newlabel{eqn:sumkappatilde}{{{39}}{39}}
\newlabel{lemma:drop}{{4.8}{40}}
\newlabel{lemma:crucial}{{4.9}{40}}
\newlabel{eqn:chain1}{{{40}}{40}}
\newlabel{eqn:chain2}{{{41}}{41}}
\newlabel{eqn:esselmerduals}{{{42}}{41}}
\newlabel{eqn:star}{{{43}}{42}}
\newlabel{eqn:esselmerdualsg}{{{44}}{42}}
\newlabel{eqn:isomg}{{{45}}{42}}
\citation{roberts}
\citation{BD1}
\newlabel{eqn:starstar}{{{46}}{43}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Shimura curves}{43}}
\newlabel{sec:curves}{{5}{43}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}The moduli definition}{43}}
\newlabel{subsec:moduli}{{5.1}{43}}
\citation{boutot-carayol}
\citation{buzzard}
\citation{deligne-rapoport}
\citation{buzzard}
\citation{bas.appendix}
\citation{deligne-rapoport}
\citation{katz-mazur}
\citation{buzzard}
\citation{bas.appendix}
\citation{boutot-carayol}
\citation{joli.mathann}
\citation{boutot-carayol}
\citation{BD3}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}The Cerednik-Drinfeld theorem}{45}}
\newlabel{subsec:cerednik}{{5.2}{45}}
\citation{drinfeld}
\citation{joli.mathann}
\citation{boutot-carayol}
\newlabel{thm:cerednik}{{5.1}{46}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Character groups}{46}}
\newlabel{subsec:characters}{{5.3}{46}}
\citation{bas.appendix}
\newlabel{prop:characters}{{5.2}{47}}
\citation{boutot-carayol}
\citation{ribet1}
\citation{ribet}
\citation{joli.duke}
\newlabel{prop:characters+}{{5.3}{48}}
\newlabel{prop:graph}{{5.4}{48}}
\newlabel{prop:characters-}{{5.5}{48}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Hecke operators and the Jacquet-Langlands correspondence}{48}}
\newlabel{subsec:hecke}{{5.4}{48}}
\citation{ribet}
\citation{BD1}
\citation{shimura_book}
\citation{ribet}
\citation{vigneras}
\newlabel{lemma:cosets}{{5.6}{49}}
\citation{BD4}
\newlabel{prop:identifications}{{5.7}{50}}
\citation{BD1}
\newlabel{prop:operators}{{5.8}{51}}
\citation{BD2}
\citation{BD3}
\citation{ribet}
\citation{ribet1}
\citation{ribet1}
\newlabel{prop:sequence}{{5.9}{52}}
\citation{gerritzen_vdp}
\citation{ribet}
\newlabel{cor:jacquet-langlands}{{5.10}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Connected components}{53}}
\newlabel{subsec:components}{{5.5}{53}}
\citation{grothendieck}
\citation{bas.appendix}
\citation{ribet}
\citation{joli.compositio}
\citation{ribet}
\newlabel{prop:grothendieck}{{5.11}{54}}
\newlabel{cor:components}{{5.12}{54}}
\newlabel{prop:structure}{{5.13}{54}}
\citation{ribet}
\citation{buzzard}
\citation{joli.duke}
\citation{grothendieck}
\citation{bas.appendix}
\citation{bas.appendix}
\citation{raynaud.picard}
\newlabel{prop:specialization}{{5.14}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Raising the level and groups of connected components}{57}}
\newlabel{sec:raising}{{5.6}{57}}
\newlabel{thm:raising}{{5.15}{57}}
\citation{ribet}
\citation{gerritzen_vdp}
\citation{manin}
\newlabel{lemma:multiplicity}{{5.16}{59}}
\newlabel{eqn:uniformization}{{{48}}{59}}
\citation{BLR}
\newlabel{eqn:[]versus<>}{{{49}}{60}}
\newlabel{thm:multiplicity}{{5.17}{60}}
\newlabel{eqn:tate1}{{{50}}{60}}
\newlabel{eqn:tate2}{{{51}}{60}}
\citation{serre}
\citation{BLR}
\newlabel{eqn:tate3}{{{52}}{61}}
\newlabel{eqn:tate34}{{{53}}{61}}
\newlabel{eqn:tate4}{{{54}}{61}}
\newlabel{eqn:tate5}{{{55}}{61}}
\newlabel{eqn:tate6}{{{57}}{62}}
\newlabel{eqn:specialization_hat}{{{58}}{63}}
\newlabel{eqn:specialization_tilde}{{{59}}{63}}
\newlabel{cor:multiplicity}{{5.18}{63}}
\citation{BD1}
\@writefile{toc}{\contentsline {section}{\numberline {6}The theory of complex multiplication}{64}}
\newlabel{sec:heegner}{{6}{64}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Construction of the Euler System}{66}}
\newlabel{sec:construction}{{7}{66}}
\@writefile{toc}{\contentsline {section}{\numberline {8}The first explicit reciprocity law}{66}}
\newlabel{sec:explicit1}{{8}{66}}
\citation{BD3}
\citation{boutot-carayol}
\citation{BD3}
\newlabel{lemma:residue_reformulation}{{8.1}{67}}
\citation{vigneras}
\citation{BD3}
\newlabel{eqn:tildenu+}{{{60}}{69}}
\@writefile{toc}{\contentsline {section}{\numberline {9}The second explicit reciprocity law}{69}}
\newlabel{sec:explicit2}{{9}{69}}
\newlabel{eqn:kummer2}{{{61}}{69}}
\newlabel{eqn:isomodell2}{{{62}}{70}}
\newlabel{eqn:kummer3}{{{63}}{70}}
\newlabel{eqn:jacobi}{{{64}}{70}}
\citation{ihara2}
\newlabel{lemma:ihara}{{9.1}{71}}
\newlabel{prop:ihara}{{9.2}{71}}
\citation{serre1}
\citation{diamond_taylor}
\newlabel{eqn:jss}{{{65}}{72}}
\newlabel{eqn:serre}{{{66}}{72}}
\newlabel{eqn:naka}{{{67}}{72}}
\citation{cornut}
\citation{diamond_taylor}
\citation{diamond_taylor}
\citation{ribet}
\citation{waterhouse}
\newlabel{eqn:tildej}{{{68}}{73}}
\newlabel{thm:get_serious}{{9.3}{73}}
\citation{ribet}
\newlabel{cor:gamma=g}{{9.4}{74}}
\citation{BD5}
\citation{vatsal2}
\citation{BD5}
\bibcite{boutot-carayol}{BC}
\bibcite{bd_derived_regulators}{BD0}
\bibcite{bd_derived_heights}{BD$\frac  {1}{2}$}
\bibcite{BD1}{BD1}
\bibcite{BD2}{BD2}
\bibcite{BD3}{BD3}
\bibcite{BD4}{BD4}
\bibcite{BD5}{BD5}
\bibcite{bosch}{BLR}
\bibcite{BLR}{BoLeRi}
\bibcite{buzzard}{Bu}
\bibcite{cornut}{Co}
\bibcite{daghigh}{Dag}
\bibcite{darmon_thesis}{Da}
\bibcite{ddt}{DDT}
\bibcite{deligne-rapoport}{DR}
\bibcite{drinfeld}{Dr}
\bibcite{diamond_taylor}{DT}
\bibcite{bas.appendix}{Ed}
\bibcite{eichler}{Ei}
\bibcite{gross_montreal}{Gr1}
\bibcite{gross_zagier}{Gr2}
\bibcite{grothendieck}{Groth}
\bibcite{gerritzen_vdp}{GvdP}
\bibcite{ihara1}{I1}
\bibcite{ihara2}{I2}
\bibcite{jacquet_langlands}{JL}
\bibcite{joli.mathann}{JoLi1}
\bibcite{joli.compositio}{JoLi2}
\bibcite{joli.duke}{JoLi3}
\bibcite{katz-mazur}{KM}
\bibcite{manin}{M}
\bibcite{mazur_special}{Ma1}
\bibcite{mazur_rubin}{MR}
\bibcite{mtt}{MTT}
\bibcite{ramakrishna}{Ram}
\bibcite{raynaud.picard}{Ray}
\bibcite{ribet1}{Ri1}
\bibcite{ribet}{Ri2}
\bibcite{roberts}{Ro}
\bibcite{rubin}{Ru}
\bibcite{serre1}{Se1}
\bibcite{serre}{Se2}
\bibcite{shimura_book}{Sh}
\bibcite{vatsal1}{Va1}
\bibcite{vatsal2}{Va2}
\bibcite{vigneras}{Vi}
\bibcite{waterhouse}{Wa}
\bibcite{wiles}{W}
\bibcite{zhang}{Zh}