\relax \@writefile{toc}{\contentsline {section}{\tocsection {}{}{Introduction}}{1}} \citation{mazur_swinnerton_dyer} \citation{mtt} \citation{greenberg_stevens} \citation{mtt} \citation{mtt} \citation{greenberg_stevens} \citation{greenberg_stevens} \newlabel{eqn:wttwo}{{1}{2}} \newlabel{eqn:signs}{{3}{2}} \newlabel{eqn:gs1}{{4}{2}} \newlabel{eqn:gs_apprime}{{5}{2}} \citation{mtt} \citation{zhang_annals} \citation{genus} \citation{rubin} \citation{perrin_riou} \citation{greenberg} \newlabel{eqn:mttconj}{{6}{3}} \newlabel{eqn:logE}{{7}{3}} \newlabel{thm:main}{{1}{3}} \citation{bd_paper1} \citation{bdis} \citation{bd_paper3} \citation{bd_paper1} \citation{bd_paper3} \citation{murty_murty} \newlabel{thm:main2}{{7}{4}} \newlabel{eqn:klfhp}{{8}{4}} \newlabel{thm:main3}{{9}{4}} \newlabel{eqn:factL}{{9}{4}} \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Modular forms and Hida families}}{5}} \newlabel{sec:mfhf}{{1}{5}} \newlabel{sec:msymbols}{{1.1}{5}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Modular symbols}}{5}} \newlabel{eqn:actiononPk}{{10}{5}} \newlabel{eqn:vkaction}{{11}{5}} \newlabel{prop:shimura}{{1.1}{5}} \citation{mtt} \citation{mtt} \newlabel{lemma:actionup}{{1.2}{6}} \newlabel{prop:birch_manin}{{1.3}{6}} \newlabel{subsec:hida_theory}{{1.2}{7}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{Hida theory}}{7}} \citation{greenberg_stevens} \newlabel{eqn:deffk}{{12}{8}} \newlabel{eqn:oldform}{{13}{8}} \newlabel{eqn:normalise_periods}{{14}{8}} \newlabel{sec:mvms}{{1.3}{8}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.3}{Measure-valued modular symbols}}{8}} \newlabel{eqn:actiononF}{{15}{8}} \citation{greenberg_stevens} \citation{greenberg_stevens} \newlabel{eqn:speck}{{16}{9}} \newlabel{eqn:defrhokonMS}{{17}{9}} \newlabel{eqn:Uponmeasures}{{18}{9}} \newlabel{thm:lambda-adic-symbol}{{1.5}{9}} \newlabel{prop:modsymbD}{{1.8}{10}} \newlabel{eqn:changeofvar}{{19}{10}} \newlabel{lemma:apkint}{{1.10}{10}} \newlabel{eqn:decompint}{{20}{11}} \newlabel{eqn:upj}{{22}{11}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.4}{The Mazur-Kitagawa $p$-adic $L$-functions}}{11}} \newlabel{def:mazur_kitagawa}{{1.11}{11}} \citation{greenberg_stevens} \newlabel{thm:interpolation_mazur}{{1.12}{12}} \newlabel{eqn:interp1}{{25}{12}} \newlabel{eqn:V1asint}{{26}{12}} \newlabel{eqn:interp2}{{27}{12}} \newlabel{eqn:V2asint}{{28}{12}} \newlabel{eqn:interp3}{{29}{12}} \newlabel{eqn:factorisationL_p}{{30}{12}} \citation{bd_paper1} \citation{bdis} \newlabel{eqn:interpolation_sharp}{{31}{13}} \@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Modular forms on quaternion algebras}}{13}} \newlabel{sec:quaternions}{{2}{13}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{Basic definitions}}{13}} \newlabel{eqn:factorisationN}{{32}{13}} \newlabel{def:buzzard}{{2.1}{13}} \newlabel{rmk:buzzard}{{2.2}{13}} \citation{vigneras} \newlabel{eqn:newspeck}{{33}{14}} \citation{gross_montreal} \newlabel{eqn:sap}{{35}{15}} \newlabel{eqn:actTlonSk}{{37}{15}} \newlabel{eqn:dblcst}{{38}{15}} \newlabel{eqn:defsigmaa}{{39}{15}} \newlabel{eqn:actUponSA}{{40}{15}} \newlabel{eqn:actUponSk}{{41}{15}} \newlabel{eqn:actUponSinfty}{{42}{16}} \newlabel{eqn:unionUp}{{43}{16}} \newlabel{sec:bruhat_tits}{{2.2}{16}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{The Bruhat-Tits tree}}{16}} \newlabel{eqn:defceta}{{44}{16}} \newlabel{eqn:defceta2}{{45}{16}} \newlabel{eqn:defgl1l2}{{46}{16}} \newlabel{eqn:defTpc}{{47}{16}} \newlabel{eqn:defUpc}{{48}{16}} \newlabel{eqn:correct-formula-not-like-the-bs-of-massimo}{{49}{17}} \newlabel{eqn:quadratic_form}{{50}{17}} \newlabel{eqn:scalar_product}{{51}{17}} \newlabel{eqn:petersson}{{52}{18}} \newlabel{sec:jacquet_langlands}{{2.3}{18}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{The Jacquet-Langlands correspondence}}{18}} \newlabel{thm:jacquet_langlands}{{2.4}{18}} \newlabel{eqn:normalisation}{{53}{18}} \citation{greenberg_stevens} \citation{greenberg_stevens} \citation{chenevier} \citation{greenberg_stevens} \citation{buzzard} \citation{chenevier} \newlabel{thm:lambda-adic-forms}{{2.5}{19}} \newlabel{eqn:defphiinfty}{{54}{19}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{Measure-valued forms}}{19}} \newlabel{eqn:keyrule}{{55}{19}} \newlabel{eqn:defmuL}{{56}{19}} \newlabel{lemma:GammainvmuL}{{2.8}{19}} \newlabel{lemma:apkintquat}{{2.9}{20}} \newlabel{lemma:basicfact}{{2.10}{20}} \newlabel{prop:oldforms}{{2.11}{21}} \newlabel{eqn:elegant-fact1}{{57}{21}} \newlabel{eqn:elegant-fact2}{{58}{21}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5}{Forms of weight two and $p$-adic boundary measures}}{21}} \newlabel{eqn:defpi}{{59}{21}} \newlabel{lemma:indepmuphi}{{2.12}{21}} \citation{teitelbaum} \citation{darmon_cbms} \citation{darmon_cbms} \newlabel{eqn:poisson}{{60}{22}} \newlabel{eqn:coleman}{{61}{22}} \newlabel{eqn:coleman_multiplicative}{{62}{22}} \newlabel{eqn:riemannprod}{{63}{22}} \citation{bdg} \newlabel{eqn:compat}{{65}{23}} \newlabel{prop:ordpmult}{{2.15}{23}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6}{Indefinite integrals}}{23}} \newlabel{def:indefinite}{{2.16}{23}} \newlabel{prop:invGammaindefint}{{2.17}{23}} \newlabel{eqn:logint}{{68}{24}} \newlabel{prop:hecke_equivariance}{{2.18}{24}} \newlabel{eqn:lefthandside}{{70}{24}} \newlabel{eqn:righthandside}{{72}{24}} \newlabel{prop:indef_def}{{2.19}{24}} \newlabel{eqn:indef_def}{{73}{25}} \newlabel{lemma:Lambdaint}{{2.21}{25}} \newlabel{cor:easy}{{2.22}{25}} \newlabel{lemma:comparemu}{{2.23}{25}} \newlabel{eqn:contribu1}{{74}{25}} \citation{BDI} \citation{BDI} \newlabel{eqn:contribu2}{{76}{26}} \newlabel{eqn:contribu3}{{77}{26}} \newlabel{eqn:rearranged}{{78}{26}} \newlabel{sec:elliptic_curves}{{2.7}{26}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7}{Elliptic curves and the $\@mathcal {L}$-invariant}}{26}} \citation{gvdp} \newlabel{thm:cerednik_drinfeld}{{2.24}{27}} \newlabel{thm:apprime}{{2.25}{27}} \newlabel{eqn:analytic_Linv}{{79}{27}} \newlabel{eqn:apprime}{{81}{27}} \newlabel{cor:goodbranch}{{2.26}{27}} \@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Hida $p$-adic $L$-functions attached to imaginary quadratic fields}}{27}} \newlabel{sec:lfunctions}{{3}{27}} \citation{gross_montreal} \newlabel{subsec:optimal}{{3.1}{28}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Optimal embeddings and special values}}{28}} \newlabel{def:splitting}{{3.1}{28}} \newlabel{eqn:optimal}{{82}{28}} \newlabel{eqn:actionofGD}{{83}{28}} \newlabel{eqn:defQPsi}{{84}{29}} \newlabel{eqn:normalisetaupsi}{{85}{29}} \newlabel{eqn:invariantk}{{86}{29}} \newlabel{eqn:invariant2}{{87}{29}} \newlabel{eqn:integralquotient}{{88}{29}} \newlabel{eqn:fundregion}{{89}{29}} \citation{hatcher1} \citation{hatcher2} \citation{hatcher1} \citation{bdis} \newlabel{eqn:fromphitoc}{{90}{30}} \newlabel{eqn:fromphitoc2}{{91}{30}} \newlabel{eqn:choosePsij}{{92}{30}} \newlabel{eqn:algebraic_part_K}{{93}{30}} \newlabel{eqn:algebraic_part_K2}{{94}{30}} \newlabel{prop:hatcher}{{3.3}{30}} \citation{hui1} \citation{hui2} \citation{gross_montreal} \citation{hatcher1} \citation{hatcher2} \newlabel{prop:hatcher2}{{3.4}{31}} \newlabel{subsec:2lfunctions}{{3.2}{31}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Two-variable $p$-adic $L$-functions}}{31}} \newlabel{def:p_adic_L_function_K}{{3.5}{31}} \newlabel{rem:twovariable}{{3.6}{31}} \citation{bd_paper1} \citation{bd_paper3} \citation{bd_paper3} \citation{bd_paper3} \newlabel{lemma:formulaforord}{{3.7}{32}} \newlabel{eqn:formulaforord}{{95}{32}} \newlabel{sec:interpolation}{{3.3}{32}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{The interpolation formula}}{32}} \newlabel{thm:interpolation_inert}{{3.8}{32}} \newlabel{eqn:vanishesat2}{{96}{32}} \newlabel{eqn:defLj}{{97}{33}} \newlabel{lemma:interpolationPsi}{{3.9}{33}} \newlabel{eqn:lasteq}{{98}{33}} \newlabel{lemma:actionofsigmap}{{3.10}{34}} \newlabel{lemma:partialp}{{3.11}{34}} \newlabel{thm:interpolation_split}{{3.12}{34}} \newlabel{eqn:sumoverGD}{{99}{34}} \newlabel{sec:derivatives}{{3.4}{35}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.4}{Calculation of derivatives}}{35}} \newlabel{prop:derivative}{{3.13}{35}} \citation{bd_paper3} \citation{gvdp} \newlabel{eqn:bdweight2}{{100}{36}} \newlabel{cor:derivative}{{3.15}{36}} \@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Heegner points on Shimura curves}}{36}} \newlabel{sec:heegner}{{4}{36}} \newlabel{subsec:shimura}{{4.1}{36}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Shimura curves}}{36}} \citation{boutot-carayol} \citation{boutot-carayol} \citation{gvdp} \newlabel{thm:cd2}{{4.1}{37}} \newlabel{rmk:cd2}{{4.2}{37}} \newlabel{subsec:parametrizations}{{4.2}{37}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Modular parametrizations}}{37}} \newlabel{thm:modular_parametrisation}{{4.3}{37}} \citation{bd_paper3} \newlabel{subsec:cm}{{4.3}{38}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.3}{Heegner points}}{38}} \newlabel{prop:complex_multiplication}{{4.4}{38}} \newlabel{prop:evalJ_chi}{{4.5}{38}} \citation{zhang} \citation{kolyvagin_logachev} \citation{zhang_annals} \newlabel{thm:zhang}{{4.6}{39}} \newlabel{thm:pinpointPchi}{{4.7}{39}} \newlabel{eqn:factorell}{{101}{39}} \newlabel{cor:actfrobonP}{{4.8}{39}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.4}{Heegner points and derivatives of Hida $L$-functions}}{40}} \newlabel{thm:derivative2}{{4.9}{40}} \newlabel{cor:derivative2}{{4.10}{40}} \@writefile{toc}{\contentsline {section}{\tocsection {}{5}{The main result}}{40}} \newlabel{sec:main}{{5}{40}} \newlabel{sec:factorisation}{{5.1}{40}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{A factorisation of $p$-adic $L$-functions }}{40}} \newlabel{eqn:eta}{{102}{40}} \newlabel{prop:crucial_fact}{{5.1}{40}} \newlabel{eqn:factorisation}{{103}{40}} \citation{murty_murty} \citation{murty_murty} \newlabel{prop:eta_anal}{{5.2}{41}} \newlabel{eqn:condchi1a}{{104}{41}} \newlabel{eqn:murtymurty}{{105}{41}} \newlabel{eqn:murtymurty2}{{106}{41}} \newlabel{cor:crucial_fact2}{{5.3}{41}} \newlabel{sec:proof}{{5.2}{41}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2}{Proof of the main result}}{41}} \newlabel{thm:mainchar}{{5.4}{41}} \citation{murty_murty} \newlabel{eqn:ords}{{107}{42}} \newlabel{eqn:ordk}{{108}{42}} \newlabel{eqn:formulaforell}{{109}{42}} \newlabel{eqn:newformulaforell}{{110}{42}} \newlabel{eqn:hatchercor}{{111}{42}} \bibcite{boutot-carayol}{BC} \bibcite{bd_paper1}{BD1} \bibcite{bd_paper3}{BD2} \bibcite{genus}{BD3} \bibcite{bdg}{BDG} \bibcite{bdis}{BDIS} \bibcite{BDI}{BDI} \bibcite{buzzard}{Bu} \bibcite{chenevier}{Ch} \bibcite{darmon_cbms}{Da} \bibcite{greenberg}{Gre} \bibcite{gross_montreal}{Gr} \bibcite{greenberg_stevens}{GS} \bibcite{gvdp}{GvdP} \bibcite{hatcher1}{Ha1} \bibcite{hatcher2}{Ha2} \bibcite{hui1}{HX1} \bibcite{hui2}{HX2} \bibcite{jacquet_langlands}{JL} \bibcite{kolyvagin_logachev}{KL} \bibcite{manin}{Man} \bibcite{murty_murty}{MM} \bibcite{mazur_swinnerton_dyer}{M-Sw-D} \bibcite{mtt}{MTT} \bibcite{perrin_riou}{PR} \bibcite{rubin}{Ru} \bibcite{serre_trees}{Se} \bibcite{teitelbaum}{Te} \bibcite{vigneras}{Vi} \bibcite{waldspurger}{Wa} \bibcite{wiles}{W} \bibcite{zhang_annals}{Zh1} \bibcite{zhang}{Zh2} \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{12.7778pt} \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{29.38873pt} \newlabel{tocindent3}{0pt} \@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{43}}