\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{bd_paper1} \citation{bdis} \newlabel{eqn:mttconj}{{6}{3}} \newlabel{eqn:logE}{{7}{3}} \newlabel{thm:main}{{1}{3}} \citation{bd_paper3} \citation{bd_paper1} \citation{bd_paper3} \citation{murty_murty} \newlabel{thm:main2}{{5}{4}} \newlabel{eqn:klfhp}{{8}{4}} \newlabel{thm:main3}{{7}{4}} \newlabel{eqn:factL}{{9}{4}} \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Modular forms and Hida families}}{4}} \newlabel{sec:mfhf}{{1}{4}} \newlabel{sec:msymbols}{{1.1}{4}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Modular symbols}}{4}} \newlabel{eqn:actiononPk}{{10}{4}} \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}{6}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{Hida theory}}{6}} \citation{greenberg_stevens} \newlabel{eqn:deffk}{{12}{7}} \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}} \newlabel{eqn:speck}{{16}{8}} \newlabel{eqn:defrhokonMS}{{17}{8}} \citation{greenberg_stevens} \citation{greenberg_stevens} \newlabel{eqn:Uponmeasures}{{18}{9}} \newlabel{thm:lambda-adic-symbol}{{1.5}{9}} \citation{BDI} \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}} \newlabel{thm:interpolation_mazur}{{1.12}{11}} \newlabel{eqn:interp1}{{25}{11}} \newlabel{eqn:V1asint}{{26}{11}} \newlabel{eqn:interp2}{{27}{11}} \citation{greenberg_stevens} \newlabel{eqn:V2asint}{{28}{12}} \newlabel{eqn:interp3}{{29}{12}} \newlabel{eqn:factorisationL_p}{{30}{12}} \newlabel{eqn:interpolation_sharp}{{31}{12}} \@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Modular forms on quaternion algebras}}{12}} \newlabel{sec:quaternions}{{2}{12}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{Basic definitions}}{12}} \newlabel{eqn:factorisationN}{{32}{12}} \citation{bd_paper1} \citation{bdis} \newlabel{def:buzzard}{{2.1}{13}} \newlabel{rmk:buzzard}{{2.2}{13}} \citation{vigneras} \citation{gross_montreal} \newlabel{eqn:newspeck}{{33}{14}} \newlabel{eqn:sap}{{35}{14}} \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}{15}} \newlabel{eqn:unionUp}{{43}{15}} \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}{16}} \newlabel{eqn:quadratic_form}{{50}{17}} \newlabel{eqn:scalar_product}{{51}{17}} \newlabel{eqn:petersson}{{52}{17}} \citation{greenberg_stevens} \citation{greenberg_stevens} \citation{chenevier} \citation{greenberg_stevens} \citation{buzzard} \citation{chenevier} \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}} \newlabel{thm:lambda-adic-forms}{{2.5}{18}} \newlabel{eqn:defphiinfty}{{54}{18}} \@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}{19}} \newlabel{lemma:basicfact}{{2.10}{20}} \newlabel{prop:oldforms}{{2.11}{20}} \citation{teitelbaum} \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{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}} \newlabel{eqn:compat}{{65}{22}} \citation{bdg} \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}{23}} \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}{24}} \newlabel{lemma:Lambdaint}{{2.21}{24}} \newlabel{cor:easy}{{2.22}{24}} \newlabel{lemma:comparemu}{{2.23}{25}} \newlabel{eqn:contribu1}{{74}{25}} \newlabel{eqn:contribu2}{{76}{25}} \newlabel{eqn:contribu3}{{77}{25}} \newlabel{eqn:rearranged}{{78}{25}} \citation{BDI} \citation{BDI} \citation{BDI} \citation{gvdp} \citation{BDI} \newlabel{sec:elliptic_curves}{{2.7}{26}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7}{Elliptic curves and the $\@mathcal {L}$-invariant}}{26}} \newlabel{thm:cerednik_drinfeld}{{2.24}{26}} \newlabel{thm:apprime}{{2.25}{26}} \newlabel{eqn:analytic_Linv}{{79}{26}} \citation{gross_montreal} \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}} \newlabel{subsec:optimal}{{3.1}{27}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Optimal embeddings and special values}}{27}} \newlabel{def:splitting}{{3.1}{27}} \newlabel{eqn:optimal}{{82}{27}} \newlabel{eqn:actionofGD}{{83}{28}} \newlabel{eqn:defQPsi}{{84}{28}} \newlabel{eqn:normalisetaupsi}{{85}{28}} \newlabel{eqn:invariantk}{{86}{28}} \newlabel{eqn:invariant2}{{87}{28}} \newlabel{eqn:integralquotient}{{88}{29}} \newlabel{eqn:fundregion}{{89}{29}} \newlabel{eqn:fromphitoc}{{90}{29}} \newlabel{eqn:fromphitoc2}{{91}{29}} \newlabel{eqn:choosePsij}{{92}{29}} \newlabel{eqn:algebraic_part_K}{{93}{29}} \citation{hatcher1} \citation{hatcher2} \citation{hatcher1} \citation{bdis} \citation{hui1} \citation{hui2} \citation{gross_montreal} \citation{hatcher1} \citation{hatcher2} \newlabel{eqn:algebraic_part_K2}{{94}{30}} \newlabel{prop:hatcher}{{3.3}{30}} \newlabel{prop:hatcher2}{{3.4}{30}} \newlabel{subsec:2lfunctions}{{3.2}{30}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{Two-variable $p$-adic $L$-functions}}{30}} \citation{bd_paper1} \citation{bd_paper3} \citation{bd_paper3} \citation{bd_paper3} \newlabel{def:p_adic_L_function_K}{{3.5}{31}} \newlabel{rem:twovariable}{{3.6}{31}} \newlabel{lemma:formulaforord}{{3.7}{31}} \newlabel{eqn:formulaforord}{{95}{31}} \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}{32}} \newlabel{lemma:interpolationPsi}{{3.9}{32}} \newlabel{eqn:lasteq}{{98}{33}} \newlabel{lemma:actionofsigmap}{{3.10}{33}} \newlabel{lemma:partialp}{{3.11}{33}} \newlabel{thm:interpolation_split}{{3.12}{34}} \newlabel{eqn:sumoverGD}{{99}{34}} \newlabel{sec:derivatives}{{3.4}{34}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.4}{Calculation of derivatives}}{34}} \newlabel{prop:derivative}{{3.13}{34}} \citation{bd_paper3} \citation{gvdp} \newlabel{eqn:bdweight2}{{100}{35}} \newlabel{cor:derivative}{{3.15}{35}} \@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Heegner points on Shimura curves}}{35}} \newlabel{sec:heegner}{{4}{35}} \citation{boutot-carayol} \citation{boutot-carayol} \newlabel{subsec:shimura}{{4.1}{36}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Shimura curves}}{36}} \newlabel{thm:cd2}{{4.1}{36}} \newlabel{rmk:cd2}{{4.2}{36}} \newlabel{subsec:parametrizations}{{4.2}{36}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Modular parametrizations}}{36}} \citation{gvdp} \citation{bd_paper3} \newlabel{thm:modular_parametrisation}{{4.3}{37}} \newlabel{subsec:cm}{{4.3}{37}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.3}{Heegner points}}{37}} \newlabel{prop:complex_multiplication}{{4.4}{37}} \citation{zhang} \citation{kolyvagin_logachev} \newlabel{prop:evalJ_chi}{{4.5}{38}} \newlabel{thm:zhang}{{4.6}{38}} \newlabel{thm:pinpointPchi}{{4.7}{38}} \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}}{39}} \newlabel{thm:derivative2}{{4.9}{39}} \newlabel{cor:derivative2}{{4.10}{39}} \@writefile{toc}{\contentsline {section}{\tocsection {}{5}{The main result}}{39}} \newlabel{sec:main}{{5}{39}} \newlabel{sec:factorisation}{{5.1}{39}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{A factorisation of $p$-adic $L$-functions }}{39}} \newlabel{eqn:eta}{{102}{39}} \newlabel{prop:crucial_fact}{{5.1}{39}} \citation{murty_murty} \citation{murty_murty} \newlabel{eqn:factorisation}{{103}{40}} \newlabel{prop:eta_anal}{{5.2}{40}} \newlabel{eqn:condchi1a}{{104}{40}} \newlabel{eqn:murtymurty}{{105}{40}} \newlabel{eqn:murtymurty2}{{106}{40}} \newlabel{cor:crucial_fact2}{{5.3}{40}} \citation{murty_murty} \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}} \newlabel{eqn:ords}{{107}{41}} \newlabel{eqn:ordk}{{108}{41}} \bibcite{boutot-carayol}{BC} \bibcite{bd_paper1}{BD1} \bibcite{bd_paper3}{BD2} \bibcite{bd_millenium}{BD3} \bibcite{bdg}{BDG} \bibcite{bdis}{BDIS} \bibcite{BDI}{BDI} \bibcite{buzzard}{Bu} \bibcite{chenevier}{Ch} \bibcite{darmon_cbms}{Da} \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} \newlabel{eqn:formulaforell}{{109}{42}} \newlabel{eqn:newformulaforell}{{110}{42}} \newlabel{eqn:hatchercor}{{111}{42}} \@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{42}} \bibcite{murty_murty}{MM} \bibcite{mazur_swinnerton_dyer}{M-Sw-D} \bibcite{mtt}{MTT} \bibcite{serre_trees}{Se} \bibcite{teitelbaum}{Te} \bibcite{vigneras}{Vi} \bibcite{waldspurger}{Wa} \bibcite{wiles}{W} \bibcite{zhang}{Zh} \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{12.7778pt} \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{29.38873pt} \newlabel{tocindent3}{0pt}