\relax 
\citation{bertolini_darmon}
\citation{PR93}
\citation{PR01}
\citation{Pollack02}
\citation{Kurihara01}
\citation{Kobayashi02}
\citation{iovita_pollack}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{vatsal}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}}
\newlabel{thm:main_bd}{{1.1}{2}}
\citation{PR93}
\citation{PR01}
\citation{Pollack02}
\citation{Kurihara01}
\citation{Kobayashi02}
\citation{iovita_pollack}
\citation{bertolini_darmon}
\citation{PR93}
\citation{Pollack02}
\citation{Kobayashi02}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{conj:main_bd}{{1.3}{4}}
\newlabel{thm:main}{{1.4}{4}}
\newlabel{ass:technical}{{1.6}{4}}
\citation{bertolini_darmon}
\newlabel{ass:iovita}{{1.7}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {2}The plus/minus $p$-adic $L$-functions}{5}}
\newlabel{sec:analytic}{{2}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Modular forms on quaternion algebras}{5}}
\citation{bertolini_darmon}
\newlabel{prop:tp}{{2.3}{6}}
\citation{bertolini_darmon}
\citation{Pollack02}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Rankin $L$-functions}{7}}
\newlabel{eqn:star}{{1}{8}}
\newlabel{eqn:filtration}{{2}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Action of $K_p^\times $ on ${\cal  T}$ when $p$ is split.}}{9}}
\newlabel{pic:split}{{1}{9}}
\newlabel{lemma:punit}{{2.4}{9}}
\citation{bertolini_darmon}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Action of $K_p^\times $ on ${\cal  T}$ when $p$ is inert.}}{10}}
\newlabel{pic:inert}{{2}{10}}
\newlabel{lemma:compat}{{2.6}{11}}
\newlabel{eqn:compat1}{{4}{11}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces The inner sum}}{12}}
\newlabel{pic:edges}{{3}{12}}
\newlabel{eqn:compat2}{{5}{12}}
\newlabel{eqn:compat3}{{7}{12}}
\newlabel{eqn:compat}{{8}{13}}
\newlabel{lemma:div_p^n}{{2.7}{13}}
\newlabel{prop:div}{{2.8}{14}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{lemma:norm_compatible}{{2.9}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Selmer groups}{15}}
\newlabel{sec:selmer}{{3}{15}}
\citation{bertolini_darmon}
\newlabel{eqn:defselmer}{{9}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Local conditions at $\ell \not =p$}{17}}
\newlabel{sec:locall}{{3.1}{17}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{lemma:local_control}{{3.2}{18}}
\citation{bertolini_darmon}
\newlabel{def:admissible}{{3.3}{19}}
\newlabel{lemma:localfreel}{{3.4}{19}}
\citation{iovita_pollack}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Local conditions at $p$}{20}}
\newlabel{sec:local_p}{{3.2}{20}}
\newlabel{ass:iovita_local}{{3.5}{20}}
\newlabel{thm:local_points}{{3.6}{20}}
\citation{iovita_pollack}
\citation{iovita_pollack}
\citation{iovita_pollack}
\citation{iovita_pollack}
\citation{iovita_pollack}
\newlabel{lemma:injective}{{3.7}{21}}
\citation{iovita_pollack}
\citation{iovita_pollack}
\citation{greenberg_iovita_pollack}
\citation{greenberg_iovita_pollack}
\newlabel{lemma:46IP}{{3.8}{22}}
\newlabel{lemma:free}{{3.9}{22}}
\citation{faltings}
\citation{breuil}
\citation{fontaine_laffaille}
\newlabel{thm:cont_finite}{{3.10}{23}}
\citation{greenberg_iovita_pollack}
\newlabel{cor:localfree}{{3.11}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Generalised Selmer groups}{25}}
\newlabel{def:selmer_finite}{{3.12}{25}}
\citation{bertolini_darmon}
\newlabel{def:compact_sel}{{3.14}{26}}
\citation{bertolini_darmon}
\citation{Pollack02}
\citation{bertolini_darmon}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Freeness results for Selmer groups}{27}}
\newlabel{sec:algebraic}{{3.4}{27}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bd_derived_regulators}
\newlabel{prop:chebotarev}{{3.15}{28}}
\newlabel{def:admissible_set}{{3.16}{28}}
\newlabel{eqn:trivS}{{10}{28}}
\newlabel{lemma:controlS}{{3.17}{28}}
\citation{ddt}
\citation{ddt}
\newlabel{eqn:comdi}{{11}{29}}
\newlabel{lemma:seltrivS}{{3.18}{29}}
\newlabel{prop:poitou_tate}{{3.19}{30}}
\newlabel{prop:h1free0}{{3.20}{30}}
\citation{ddt}
\citation{ddt}
\citation{ddt}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{darmon_book}
\newlabel{prop:h1free}{{3.21}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Construction of the Euler system}{31}}
\newlabel{sec:euler}{{4}{31}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{prop:local_behavior}{{4.1}{32}}
\newlabel{lemma:anih}{{4.2}{33}}
\newlabel{prop:division}{{4.3}{33}}
\newlabel{eqn:defkappaellpm}{{13}{33}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{prop:reclaw1}{{4.4}{34}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{prop:congadmissible}{{4.5}{35}}
\newlabel{eqn:congform}{{14}{35}}
\newlabel{prop:reclaw2}{{4.6}{35}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{Kato}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{cor:reciprocity}{{4.7}{36}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Proof of the main result}{36}}
\newlabel{ass:assforms}{{5.1}{36}}
\newlabel{thm:main_form}{{5.2}{36}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{eqn:mainphi_prelim}{{15}{37}}
\newlabel{eqn:mainphi}{{16}{38}}
\newlabel{eqn:divpit}{{17}{38}}
\newlabel{lemma:propertieskappaprime}{{5.3}{38}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{lemma:relationell}{{5.4}{39}}
\newlabel{lemma:drop}{{5.6}{39}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{lemma:crucial}{{5.7}{40}}
\newlabel{eqn:esselmerduals}{{18}{40}}
\newlabel{eqn:starpi}{{19}{41}}
\newlabel{eqn:esselmerdualsg}{{20}{41}}
\newlabel{eqn:isomg}{{21}{41}}
\newlabel{eqn:starstar}{{22}{41}}
\bibcite{bd_derived_regulators}{BD1}
\bibcite{bertolini_darmon}{BD2}
\bibcite{bloch_kato}{BK}
\bibcite{breuil}{Br}
\bibcite{darmon_book}{Da}
\bibcite{ddt}{DDT}
\bibcite{faltings}{Fa}
\bibcite{fontaine_laffaille}{FL}
\bibcite{greenberg_iovita_pollack}{GIP}
\bibcite{iovita_pollack}{IP}
\bibcite{Kato}{Ka}
\bibcite{Kobayashi02}{Kob}
\bibcite{kolyvagin}{Kol}
\bibcite{Kurihara01}{Ku}
\bibcite{PR90}{PR1}
\bibcite{PR93}{PR2}
\bibcite{PR94}{PR3}
\bibcite{PR01}{PR4}
\bibcite{Pollack02}{Po1}
\bibcite{Pollack03}{Po2}
\bibcite{Tate}{Ta}
\bibcite{vatsal}{Va}