\relax \citation{kohnen_crelle} \citation{kohnen_crelle} \citation{kohnen_crelle} \newlabel{FirstPage}{{}{1}} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}} \citation{kohnen} \citation{kohnen} \newlabel{eqn:kohnen_waldspurger}{{1}{2}} \newlabel{eqn:formalqseries}{{2}{3}} \newlabel{prop:hida}{{1.2}{3}} \citation{stevens} \citation{mtt} \newlabel{prop:stevens}{{1.3}{4}} \newlabel{thm:main}{{1.5}{5}} \citation{gkz} \citation{kohnen} \@writefile{toc}{\contentsline {section}{\numberline {2}Kohnen's formula}{6}} \newlabel{sec:kohnen}{{2}{6}} \newlabel{eqn:compatd1d2}{{3}{6}} \citation{kohnen} \citation{darmon} \citation{bd_genus} \citation{darmon_icm} \citation{darmon} \newlabel{eqn:fundamentalunit}{{4}{7}} \newlabel{eqn:gammaQ}{{5}{7}} \newlabel{eqn:shintani}{{6}{7}} \newlabel{eqn:kohnen_period}{{7}{7}} \newlabel{thm:kohnen}{{2.1}{7}} \@writefile{toc}{\contentsline {section}{\numberline {3}Stark-Heegner points}{7}} \newlabel{sec:shp}{{3}{7}} \newlabel{eqn:heegnerdisc}{{8}{7}} \citation{darmon} \citation{bd_genus} \citation{bd_genus} \citation{bd_genus} \newlabel{eqn:integralC}{{9}{8}} \newlabel{prop:shimura}{{3.1}{8}} \newlabel{eqn:epsilon}{{10}{8}} \newlabel{prop:stevens_per}{{3.2}{8}} \citation{kohnen} \citation{bd_genus} \newlabel{eqn:measure}{{11}{9}} \newlabel{lemma:fixchoice}{{3.3}{9}} \newlabel{eqn:choose-omega-k}{{12}{9}} \newlabel{eqn:defJ}{{13}{9}} \newlabel{prop:defJ}{{3.4}{9}} \newlabel{eqn:measure_sharp}{{14}{9}} \newlabel{eqn:defJQ}{{15}{10}} \newlabel{lemma:propJQ}{{3.5}{10}} \citation{bd_genus} \citation{bd_genus} \citation{bd_hida} \newlabel{conj:shp}{{3.6}{12}} \newlabel{thm:mainbd}{{3.7}{12}} \citation{darmon} \newlabel{lemma:shpperiods}{{3.8}{13}} \@writefile{toc}{\contentsline {section}{\numberline {4}Proof of Theorem 1.5\hbox {}}{13}} \newlabel{sec:theproof}{{4}{13}} \newlabel{eqn:key_formula}{{17}{13}} \@writefile{toc}{\contentsline {section}{\numberline {5}Gross-Kohnen-Zagier formulae for Stark-Heegner points}{13}} \newlabel{sec:gkz}{{5}{13}} \newlabel{thm:gkz}{{5.1}{13}} \citation{darmon} \citation{MRVT} \citation{mao} \citation{PT-composite} \newlabel{eqn:condd1}{{18}{14}} \newlabel{conj:main}{{5.3}{14}} \citation{shp} \citation{MRVT} \citation{pari} \citation{cnt} \citation{dp_shp} \@writefile{toc}{\contentsline {section}{\numberline {6}Numerical evidence}{15}} \newlabel{sec:gonzalo}{{6}{15}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1}The curve $37a$}{15}} \citation{MRVT} \citation{MRVT} \@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Traces of Stark-Heegner points in $37a$}}{16}} \newlabel{table:37a}{{1}{16}} \@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Coefficients of $g_+$ corresponding to $37a$}}{16}} \newlabel{table:37a-g}{{2}{16}} \citation{PT-p2} \citation{PT-real} \@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Traces of Stark-Heegner points in $37a$ for $\Delta \equiv 2\penalty \z@ \mkern 8mu({\mathgroup \symoperators mod}\mkern 6mu37)$}}{17}} \newlabel{table:37a-2mod37}{{3}{17}} \@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Coefficients of $g_+$ for $\Delta \equiv 2\penalty \z@ \mkern 8mu({\mathgroup \symoperators mod}\mkern 6mu37)$}}{17}} \newlabel{table:37a-g-2mod37}{{4}{17}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2}The mysterious signs}{17}} \newlabel{sec:mysterious-signs}{{6.2}{17}} \citation{PT-real} \citation{MRVT} \citation{MRVT} \@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Traces of Stark-Heegner points in $43a$}}{18}} \newlabel{table:43a}{{5}{18}} \@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces Coefficients of $g_+$ corresponding to $43a$}}{18}} \newlabel{table:43a-g}{{6}{18}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.3}The curve $43a$}{18}} \citation{dataLseries} \citation{MRVT} \citation{datashp} \bibcite{bd_genus}{BD06} \@writefile{lot}{\contentsline {table}{\numberline {7}{\ignorespaces Number of discriminants $\Delta \leq 10000$ we used for each curve. The column labeled $x$ indicates the number of such discriminants for which the precision of 20 significant $p$-adic digits was not enough to recognize the trace of the Stark-Heegner point.}}{19}} \newlabel{table:numdisc}{{7}{19}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Other curves}{19}} \bibcite{bd_hida}{BD07} \bibcite{cnt}{CNT} \bibcite{darmon}{Dar01} \bibcite{darmon_icm}{Dar06} \bibcite{dp_shp}{DP06} \bibcite{shp}{DP} \bibcite{datashp}{DT07} \bibcite{gkz}{GKZ87} \bibcite{kohnen_crelle}{Ko82} \bibcite{kohnen}{Ko85} \bibcite{mtt}{MTT86} \bibcite{mao}{Ma08} \bibcite{MRVT}{MRVT07} \bibcite{pari}{PARI} \bibcite{PT-p2}{PT07a} \bibcite{PT-real}{PT07b} \bibcite{PT-composite}{PT08} \bibcite{stevens}{St94} \bibcite{dataLseries}{To04} \newlabel{LastPage}{{}{20}{}{}{}}