\relax 
\citation{weil}
\citation{iwasawa}
\citation{mazur_tate_teitelbaum}
\citation{mazur_tate}
\citation{gross_sequals0}
\citation{washington}
\citation{gross_zagier}
\citation{mazur_tate}
\citation{mazur_tate}
\citation{gross_sequals0}
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {1}The class number formula}{10}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:class_result}{{1}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.1}Dirichlet's analytic class number formula}{10}}
\newlabel{sec:dirichlet}{{1.1}{10}}
\citation{gross_sequals0}
\citation{gross_sequals0}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.2}Gross's refined class number formula}{12}}
\newlabel{sec:gross}{{1.2}{12}}
\citation{passi}
\citation{hales1}
\citation{hales2}
\newlabel{conjecture:gross1}{{1.2.3}{13}}
\citation{deligne_ribet}
\newlabel{conjecture:gross2}{{1.2.4}{14}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.3}A refined class number formula for derivatives of Dirichlet $L$-series}{14}}
\newlabel{sec:circular_units}{{1.3}{14}}
\newlabel{thm:cu_order_of_vanishing}{{1.3.2}{16}}
\newlabel{conj:cu}{{1.3.3}{17}}
\newlabel{fact:injectodd}{{1.3.4}{17}}
\newlabel{thm:cu_evidence}{{1.3.5}{17}}
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}Partial proof of the refined class number formula for circular units}{18}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:class_proof}{{2}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}The Euler system of circular units}{18}}
\citation{koly3}
\newlabel{prop:euler1}{{2.1.1}{19}}
\newlabel{eqn:comp}{{2.4}{19}}
\newlabel{prop:euler2}{{2.1.2}{19}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Divisibility properties of the circular units}{19}}
\newlabel{lemma:derivation_formula}{{2.2.1}{20}}
\newlabel{lemma:iso90}{{2.2.3}{20}}
\newlabel{prop:koly_induction}{{2.2.4}{21}}
\newlabel{eqn:A}{{2.13}{22}}
\newlabel{eqn:B}{{2.14}{22}}
\newlabel{eqn:C}{{2.16}{22}}
\newlabel{thm:thaine}{{2.2.5}{23}}
\newlabel{eqn:ordpksl}{{2.18}{23}}
\newlabel{ineq1}{{2.20}{24}}
\newlabel{ineq2}{{2.21}{24}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}Formal properties of ${\theta ^{'}(\omega ,S)}$}{24}}
\newlabel{sec:cu_formal}{{2.3}{24}}
\newlabel{lemma:a}{{2.3.1}{24}}
\newlabel{lemma:b}{{2.3.2}{24}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}The order of vanishing of ${\theta ^{'}(\omega ,S)}$}{25}}
\newlabel{lemma:c}{{2.4.1}{25}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.5}The leading coefficient}{26}}
\newlabel{sec:cu_lc}{{2.5}{26}}
\newlabel{lemma:d}{{2.5.1}{26}}
\newlabel{lemma:e}{{2.5.2}{26}}
\newlabel{lemma:killnp}{{2.5.3}{26}}
\newlabel{prop:ind_for_lc}{{2.5.4}{27}}
\newlabel{eqn:lhs1}{{2.37}{29}}
\newlabel{eqn:lhs2}{{2.39}{29}}
\newlabel{eqn:rhs1}{{2.42}{29}}
\newlabel{eqn:rhs2}{{2.43}{30}}
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}The Birch and Swinnerton-Dyer conjecture}{31}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:bsd_result}{{3}{31}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}The classical case}{31}}
\newlabel{sec:bsd_classical}{{3.1}{31}}
\newlabel{eqn:define_ap}{{3.1}{31}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Modular elliptic curves}{33}}
\citation{mazur_tate}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}The Mazur-Tate conjectures}{35}}
\newlabel{sec:mazur_tate}{{3.3}{35}}
\citation{mazur_tate}
\newlabel{eqn:darmon_mt}{{3.29}{36}}
\citation{mazur_tate}
\citation{mazur_tate}
\citation{mazur_tate}
\newlabel{lemma:compatibility_modular}{{3.3.2}{37}}
\citation{mazur_tate}
\citation{mazur_tate}
\newlabel{eqn:mt4}{{3.36}{38}}
\newlabel{eqn:mtdisc}{{3.37}{38}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}A conjecture of Mazur-Tate type for derivatives of $L$-functions}{39}}
\newlabel{sec:result_heg_point}{{3.4}{39}}
\newlabel{conj:darmon}{{3.4.3}{42}}
\newlabel{thm:main}{{3.4.4}{42}}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\citation{bertolini_darmon}
\newlabel{thm:lcESp}{{3.4.6}{43}}
\citation{gross_baby_gz}
\citation{waldspurger}
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4}Partial proof of the refined Birch and Swinnerton-Dyer conjecture for Heegner points}{45}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:bsd_proof}{{4}{45}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}The descent formalism}{45}}
\newlabel{sec:cohomological}{{4.1}{45}}
\newlabel{lemma:gl2}{{4.1.2}{45}}
\citation{gross_durham}
\newlabel{eqn:map1}{{4.7}{46}}
\newlabel{lemma:hasse}{{4.1.3}{46}}
\citation{milne}
\newlabel{eqn:map2}{{4.10}{47}}
\newlabel{thm:tate}{{4.1.4}{47}}
\newlabel{eqn:map3}{{4.14}{48}}
\newlabel{prop:global_cft}{{4.1.5}{48}}
\newlabel{eqn:map4}{{4.17}{48}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}The Euler system of Heegner points}{49}}
\citation{gross_durham}
\citation{gross_durham}
\citation{koly3}
\citation{gross_durham}
\newlabel{prop:h_euler1}{{4.2.1}{50}}
\newlabel{prop:h_euler2}{{4.2.2}{50}}
\newlabel{prop:action_tau_hegpoint}{{4.2.3}{50}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.3}Derivatives in group rings}{51}}
\newlabel{sec:derivatives}{{4.3}{51}}
\newlabel{lemma:lsets}{{4.3.1}{51}}
\newlabel{eqn:der1}{{4.26}{51}}
\newlabel{lemma:deriv_formula}{{4.3.2}{52}}
\newlabel{eqn:der2}{{4.29}{52}}
\newlabel{lemma:tau_action_derivative}{{4.3.3}{53}}
\newlabel{eqn:diff_deriv}{{4.31}{53}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.4}The Heegner cohomology classes}{53}}
\newlabel{sec:heg_class}{{4.4}{53}}
\newlabel{lemma:solvable}{{4.4.1}{53}}
\newlabel{eqn:cond_l}{{4.32}{53}}
\newlabel{hypothesis:fixed2}{{4.4.2}{53}}
\newlabel{lemma:fixed}{{4.4.3}{54}}
\newlabel{eqn:ecs}{{4.34}{54}}
\newlabel{prop:tau_action_heg_class}{{4.4.4}{54}}
\citation{milne}
\newlabel{thm:local_dl}{{4.4.6}{55}}
\newlabel{cor:kernel}{{4.4.7}{56}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.5}An application of the Chebotarev density theorem}{57}}
\newlabel{sec:chebotarev}{{4.5}{57}}
\newlabel{hyp:P_not_trivial}{{4.5.1}{57}}
\newlabel{hyp:sel_large}{{4.5.2}{57}}
\newlabel{lemma:notorsion}{{4.5.3}{57}}
\newlabel{lemma:inj_s}{{4.5.4}{57}}
\newlabel{lemma:inj_q}{{4.5.5}{57}}
\newlabel{lemma:inj_sel}{{4.5.6}{57}}
\newlabel{cond:cond_l}{{4.5.7}{58}}
\newlabel{prop:chebotarev}{{4.5.8}{58}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.6}A vanishing theorem for derivatives of Heegner points}{59}}
\newlabel{lemma:modules}{{4.6.1}{59}}
\newlabel{lemma:p_rank}{{4.6.2}{60}}
\newlabel{thm:vanishing}{{4.6.3}{60}}
\newlabel{cond:primel}{{4.6.5}{61}}
\newlabel{prop:other_eigenspace}{{4.6.7}{63}}
\newlabel{prop:rmax}{{4.6.8}{63}}
\newlabel{prop:vanish_pt}{{4.6.9}{63}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.7}The first non-vanishing derivatives of Heegner points}{64}}
\newlabel{prop:coker}{{4.7.2}{64}}
\newlabel{cond:primelp}{{4.7.4}{65}}
\newlabel{prop:other_eigenspacep}{{4.7.6}{66}}
\newlabel{prop:vanish_pt_p}{{4.7.7}{66}}
\newlabel{eqn:order_pm}{{4.73}{66}}
\newlabel{thm:descent_p}{{4.7.8}{67}}
\newlabel{map:is_injective}{{4.77}{67}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.8}The order of vanishing of ${\theta ^{'}(E,S)}$}{68}}
\newlabel{eqn:AL1}{{4.79}{68}}
\newlabel{eqn:AL2}{{4.80}{68}}
\newlabel{prop:taylor_exp}{{4.8.1}{68}}
\newlabel{lemma:aug_ideal}{{4.8.2}{69}}
\newlabel{prop:nd_divides}{{4.8.3}{69}}
\newlabel{eqn:dterm}{{4.85}{70}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.9}The leading coefficient}{70}}
\bibcite{bertolini_darmon}{BD}
\bibcite{bump_friedberg_hoffstein}{BFH}
\bibcite{deligne_ribet}{DR}
\bibcite{gross_x0n}{Gr1}
\bibcite{gross_baby_gz}{Gr2}
\bibcite{gross_sequals0}{Gr3}
\bibcite{gross_durham}{Gr4}
\bibcite{gross_zagier}{GZ}
\bibcite{hales1}{H1}
\bibcite{hales2}{H2}
\bibcite{iwasawa}{Iw}
\bibcite{koly1}{Ko1}
\bibcite{koly2}{Ko2}
\bibcite{koly3}{Ko3}
\bibcite{lang}{La}
\bibcite{mazur1}{Ma1}
\bibcite{mazur2}{Ma2}
\bibcite{mazur_swinnerton_dyer}{MS}
\bibcite{mazur_tate_teitelbaum}{MTT}
\bibcite{mazur_tate}{MT}
\bibcite{mazur_wiles}{MW}
\bibcite{milne}{Mi}
\bibcite{murty_murty}{MM}
\bibcite{passi}{Pa}
\bibcite{rubin1}{Ru1}
\bibcite{rubin2}{Ru2}
\bibcite{rubin3}{Ru3}
\bibcite{rubin4}{Ru4}
\bibcite{rubin5}{Ru5}
\bibcite{schoof}{Sch}
\bibcite{serre}{Se}
\bibcite{thaine}{Th}
\bibcite{waldspurger}{Wal}
\bibcite{washington}{Wa}
\bibcite{weil}{We}